pith. sign in
module module high

IndisputableMonolith.Cosmology.NonAbelianSuppression

show as:
view Lean formalization →

The module defines non-abelian gauge sectors in Recognition Science cosmology, each specified by coupling α_i and boson mass M_i. It supplies vacuum corrections together with massless and massive suppression factors for U(1), SU(2) and SU(3) cases. Cosmologists working with RS-native early-universe dynamics would cite these constructions. The module proceeds by sequential definitions that import the RS time quantum τ₀ from Constants and organize the suppression results into named functions.

claimA gauge sector is given by coupling strength $α_i$ and boson mass $M_i$. The module defines vacuumCorrection, massless_correction, massive_suppression and large_ratio_suppression together with sector-specific maps u1_sector, su2_sector, su3_sector.

background

The module sits inside the cosmology domain of Recognition Science, which obtains all physics from the unified forcing chain (T0–T8) and the Recognition Composition Law. It imports the fundamental RS time quantum τ₀ = 1 tick from Constants. The central object is GaugeSector, a structure carrying coupling α_i and mass M_i; sibling declarations then supply the associated correction and suppression maps for vacuum energy and for massless or massive bosons.

proof idea

This is a definition module, no proofs. It consists of a sequence of definitions and auxiliary declarations that build the suppression functions from the imported Constants.

why it matters in Recognition Science

The module supplies the non-abelian suppression machinery required by the broader Recognition cosmology framework. It supports calculations that incorporate the phi-ladder mass formula, the eight-tick octave and D = 3 spatial dimensions while remaining inside RS-native units (c = 1, ħ = φ^{-5}). No downstream theorems are listed, yet the constructions enable consistent gauge corrections in cosmological models.

scope and limits

depends on (1)

Lean names referenced from this declaration's body.

declarations in this module (11)