Certificate-Tower Spectral Sequences for Linearized Identity-Eliminator Obstruction Towers
Year: 2026
Type: preprint
Abstract: This is Paper 18 in the 20 Paper PHHT Series This paper constructs certificate-tower spectral sequences for linearized identity-eliminator obstruction towers in identity-eliminator-conserved bilateral homotopy type theory. The certificate tower records recursive lifting problems; it is not itself a filtered complex. An ordinary exact-couple spectral sequence appears only after adding a branchwise filtered cochain realization of the linearized abelian tower. For a chosen lower branch, the stage-r associated graded piece of the filtered realization is the relative twisted obstruction complex C^•Rel(K,L{η_<r};A_r). For a singleton retained glut (p,q), this filtered realization determines a branchwise spectral sequence E_a^{u,v}(p,q;η). The stage-r obstruction is the invariant image of the exact-couple transgression: π_r(d_r(ξ^{(r)}{η<r})) = [c_r(p,q;η_<r)]Indet ∈ 𝒬_r(p,q;η
Author: Betzer, David
Language: English
Subfield: Mathematical Physics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7166732489
Cites:
Cited by:
Related to: