Registry · Definition III.D14 tau-effective formalized

III.D14 — ω-Coupling Sector

The fifth generator ω does not produce an independent sector. Instead, it mediates coupling: characters with non-trivial projection in both B and C lobes simultaneously. The structural reason for 4+1, not 5.

Book III Part 2 Ch. 10

Dependency Graph

Depends on (1)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIII.Sectors.Decomposition

Symbol: omega_coupling_5