Registry · Definition IV.D346 established formalized

IV.D346 — tau-Charge Conjugation C_tau = sigma

The tau-charge-conjugation operator C_tau is uniquely identified with the polarity involution sigma on L = S^1 v S^1. Proof: (a) any physical C reverses U(1)-holonomy charge Q = chi_plus - chi_minus; (b) sigma: j |-> -j sends chi_plus - chi_minus |-> -(chi_plus - chi_minus), reversing Q; (c) sigma is the unique involution on L swapping lobe_+ <-> lobe_- while fixing omega (from I.D18 bipolar decomposition uniqueness). Therefore C_tau = sigma.

Book IV Part 3 Ch. 24

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.Electroweak.MajoranaStructure

Symbol: c_tau_equals_sigma