Registry · Definition III.D17 tau-effective formalized

III.D17 — Spectral Polarity

For each primitive sector S_g, the spectral polarity pol(S_g) = ‖P_{χ₊}(S_g)‖/‖P_{χ₋}(S_g)‖. D: χ₊-dominant, B: χ₊-dominant, C: χ₋-dominant, A: BALANCED (pol = 1). Only the A-sector has equal polarity.

Book III Part 2 Ch. 12

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIII.Sectors.LanglandsReflection

Symbol: spectral_polarity