Registry · Definition V.D47 tau-effective formalized

V.D47 — Null intertwiner

A null intertwiner is an element phi in H_partial[omega] whose temporal component (D-sector projection) and spatial component (fiber sector projection) satisfy ||pr_D(phi)||^2 = ||pr_fiber(phi)||^2 under the boundary character pairing.

Book V Part 2 Ch. 12

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.GravityField.LorentzNoMinkowski

Symbol: Tau.BookV.GravityField.NullIntertwiner