Registry · Remark V.R71 tau-effective formalized

V.R71 — Two polarizations from two fiber directions

The two gravitational wave polarizations have a structural origin: the fiber T^2 is two-dimensional with independent directions gamma and eta, each contributing one polarization mode. This is not a coincidence of the traceless-transverse gauge in 4D.

Book V Part 2 Ch. 14

Lean Formalization

Module: TauLib.BookV.GravityField.LinearEinstein

Symbol: Tau.BookV.GravityField.TwoPolarizationsFromTwoFiberDirections