Registry · Proposition IV.P91 tau-effective formalized

IV.P91 — χ₋-Dominance Forces Non-Commutativity

In a chi_minus-dominant sector, the dominant character modes occupy the chi_minus-lobe of L where the polarity involution acts as negation; the resulting endomorphism algebra is non-commutative, forcing non-abelian gauge structure for the C-sector.

Book IV Part 5 Ch. 38

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Strong.ColorHolonomy

Symbol: Tau.BookIV.Strong.DominanceForcesNoncommutativity