Registry · Remark IV.R295 tau-effective formalized

IV.R295 — Bosons and fermions

The integer/half-integer spin distinction maps to pure fiber modes (m+n even, integer spin, bosonic) versus mixed base-fiber modes (half-integer spin, fermionic); the spin-statistics connection follows from topological properties of the mode space on T^2 within the tau^3 fibered product.

Book IV Part 3 Ch. 16

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.CRAddressSpace

Symbol: Tau.BookIV.QuantumMechanics.BosonsAndFermions