Registry · Proposition V.P105 tau-effective formalized

V.P105 — Twistor embedding

The Penrose transform for massless fields on Minkowski space embeds into the E1 readout of the boundary holonomy algebra: H^1(PT, O(n)) embeds into the set of characters in H_partial[omega] with zero mass that factor through fiber sectors. Twistor theory captures the massless sector of the boundary algebra in the flat-space limit.

Book V Part 7 Ch. 64

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Orthodox.OtherApproaches

Symbol: Tau.BookV.Orthodox.TwistorEmbedding