Registry · Definition IV.D154 tau-effective formalized

IV.D154 — Color Charge

Color charge of a character mode chi_{m,n} on T^2 is the holonomy class c(chi_{m,n}) := n mod 3 in Z/3Z = {0,1,2}, conventionally labeled red (0), green (1), blue (2), determined by the eta-winding number.

Book IV Part 5 Ch. 38

Dependency Graph

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Strong.ColorHolonomy

Symbol: Tau.BookIV.Strong.ColorCharge