Registry · Definition V.D50 tau-effective formalized

V.D50 — Matter character --- V.D03

The matter character T^mat is the direct sum of the EM, weak, and strong sector boundary projections: T^mat_n(x) = eta_n(T^EM_n(x) + T^wk_n(x) + T^s_n(x)). Gravity appears on the curvature side, not the matter side; the omega-sector is encoded through crossing-point coupling.

Book V Part 2 Ch. 13

Dependency Graph

Depends on (2)

Depended on by (10)

Lean Formalization

Module: TauLib.BookV.GravityField.TauEinsteinEq

Symbol: Tau.BookV.GravityField.MatterCharacterVd03