Registry · Proposition IV.P106 tau-effective formalized

IV.P106 — Gap mode coherence

Gap mode coherence: for all n >= 3 beyond stabilization, the restriction map satisfies rho(g_{n+1}) = g_n, ensuring the lightest excitation modes at successive stages are consistent and the projective limit g[omega] is well-defined.

Book IV Part 5 Ch. 41

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Strong.YangMillsGap

Symbol: Tau.BookIV.Strong.GapModeCoherence