Registry · Definition III.D13 tau-effective formalized

III.D13 — 4+1 Sector Decomposition

Five generators yield four primitive sectors (α→D, π→A, γ→B, η→C) plus one coupling sector (ω). Char(L) = D-sector ⊔ A-sector ⊔ B-sector ⊔ C-sector ⊔ ω-sector. Induced by Langlands₀, not postulated.

Book III Part 2 Ch. 10

Dependency Graph

Depends on (3)

III.T05 III.D11 III.D14

Depended on by (31)

III.D15 III.D17 III.D18 III.D38 III.D43 III.D47 III.P03 III.P18 III.R07 III.T08 III.T42 IV.D01 IV.D02 IV.D03 IV.D04 IV.D05 IV.D06 IV.D09 IV.D11 IV.D15 IV.D21 IV.D321 IV.D322 IV.D323 IV.D325 IV.T125 V.D24 V.P06 V.T12 V.T20 VII.R52

Lean Formalization

Module: TauLib.BookIII.Sectors.Decomposition

Symbol: Sector