Registry · Remark IV.R290 tau-effective not_applicable

IV.R290 — Historical resonance: Penrose twistors

Penrose's twistor theory also uses CR-geometry to mediate between twistor space and spacetime; in the tau-framework both abstract holomorphy and spacetime geometry are readouts of the same fibered product tau^3 = tau^1 x_f T^2, so the twistor correspondence is base-fiber duality.

Book IV Part 3 Ch. 16

Lean Formalization

Module: