Registry · Definition IV.D50 tau-effective formalized

IV.D50 — CR-Structure on τ³

The CR-structure on τ³ is the triple (H, J, ν): H = fiber tangent T² (spanned by ∂/∂θ_γ, ∂/∂θ_η), J rotates within H (J² = -id), ν = base direction ∂/∂t. CR-type (1,1): one complex dimension, one real codimension.

Book IV Part 3 Ch. 16

Dependency Graph

Depends on (1)

Depended on by (7)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.CRAddressSpace

Symbol: Tau.BookIV.QuantumMechanics.CrstructureOn