Registry · Proposition IV.P90 tau-effective formalized

IV.P90 — Color-Charged Modes Have n \neq 0 \pmod{3

A character mode chi_{m,n} on T^2 carries nontrivial color charge if and only if n is not congruent to 0 mod 3; modes with n equiv 0 mod 3 are color-neutral and belong to the singlet representation.

Book IV Part 5 Ch. 38

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.Strong.ColorHolonomy

Symbol: Tau.BookIV.Strong.ColorchargedModesHaveNNeq0Pmod3