Registry · Theorem V.T32 tau-effective formalized

V.T32 — Gravitational wave properties

Gravitational waves in the tau-framework propagate at speed c (null intertwiners), have exactly two polarizations (+ and x, corresponding to the two fiber directions gamma and eta in T^2), carry spin 2 (holonomy gap is bilinear on fiber), and emit quadrupole radiation.

Book V Part 2 Ch. 14

Dependency Graph

Depends on (3)

Depended on by (7)

Lean Formalization

Module: TauLib.BookV.GravityField.LinearEinstein

Symbol: Tau.BookV.GravityField.GravitationalWaveProperties