Registry · Remark IV.R330 tau-effective formalized

IV.R330 — Massless particles

A massless mode has m_k = 0: its T^2 configuration offers no resistance to deformation, with all energy from the base direction (frequency); the massive/massless distinction is geometric, where mass is the cost of maintaining a rigid fiber configuration against base evolution.

Book IV Part 3 Ch. 22

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.EnergyEntropy

Symbol: Tau.BookIV.QuantumMechanics.MasslessParticles