Registry · Proposition IV.P92 tau-effective formalized

IV.P92 — Tracelessness from Color-Neutral Vacuum

The strong vacuum Gamma_s^* is color-neutral (total eta-holonomy 0 mod 3), so only transformations with det U = 1 preserve the vacuum, restricting the gauge group from U(3) to SU(3) via the tracelessness condition.

Book IV Part 5 Ch. 38

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Strong.ColorHolonomy

Symbol: Tau.BookIV.Strong.TracelessnessFromColorneutralVacuum