Registry · Remark IV.R343 tau-effective formalized

IV.R343 — Massive versus massless

Massive particles correspond to fiber modes on T^2 with nonzero breathing amplitude > 0; massless particles are base-only modes on tau^1 with = 0; the dispersion relation E^2 = (pc)^2 + (mc^2)^2 follows from the Pythagorean decomposition of the H_infinity eigenvalue into fiber and base components.

Book IV Part 3 Ch. 23

Lean Formalization

Module: TauLib.BookIV.MassDerivation.BreathingModes

Symbol: Tau.BookIV.MassDerivation.MassiveVersusMassless