Registry · Definition IV.D260 tau-effective formalized

IV.D260 — Bipolar decomposition of characters

Every character on L decomposes uniquely as chi = chi_+ + chi_- under the lobe-exchange involution sigma. The sigma-invariant part chi_+ lives on the gamma-lobe (EM sector B); the sigma-anti-invariant part chi_- lives on the eta-lobe (Strong sector C). This is the bipolar spectral decomposition.

Book IV Part 1 Ch. 5

Lean Formalization

Module: TauLib.BookIV.Arena.BoundaryHolonomy

Symbol: Tau.BookIV.Arena.BipolarDecompositionOfCharacters