Registry · Definition IV.D15 tau-effective formalized

IV.D15 — Sector Lift Functor

Sector lift functor Lift_S: H_fix[ω] → H_fix[ω]. Ring homomorphism, σ-equivariant. 5 canonical lifts: EM=ι_τ², Weak=ι_τ, Strong=ι_τ³/(1−ι_τ), Gravity=1−ι_τ, Higgs=ι_τ³/(1+ι_τ).

Book IV Part 2 Ch. 4

Dependency Graph

Depends on (2)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIV.Physics.PlanckCharacter

Symbol: Tau.BookIV.Physics.SectorLift