Registry · Definition V.D54 tau-effective formalized

V.D54 — Cocycle defect

The cocycle defect Delta(chi) = G_omega(chi) - kappa_tau * T^mat_omega(chi) in H_partial[omega] measures how far a candidate boundary character chi departs from satisfying the tau-Einstein identity. A character is Einstein-admissible iff Delta(chi) = 0.

Book V Part 2 Ch. 15

Dependency Graph

Depends on (2)

Depended on by (5)

Lean Formalization

Module: TauLib.BookV.GravityField.NonlinearEinstein

Symbol: Tau.BookV.GravityField.CocycleDefect