Registry · Definition IV.D51 tau-effective formalized

IV.D51 — Character Modes

Character modes on fiber T² are χ_{m,n}(θ_γ, θ_η) = exp(i(mθ_γ + nθ_η)) for (m,n) ∈ Z². Mode label m counts γ-circle windings (EM lobe), n counts η-circle windings (Strong lobe).

Book IV Part 3 Ch. 16

Dependency Graph

Depends on (1)

IV.D50

Depended on by (9)

IV.D52 IV.D53 IV.D57 IV.D58 IV.L01 IV.P11 IV.P14 IV.R15 IV.T16

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.CRAddressSpace

Symbol: Tau.BookIV.QuantumMechanics.CharacterModes