Bockstein Spectral Sequence¶
Use successive mod-p homology pages and higher Bockstein differentials to distinguish p-power torsion from free homology.
Core Idea¶
The mod-p Bockstein spectral sequence starts from mod-p homology of a suitable integral chain complex and uses successive differentials to expose p-power torsion information. In the torsion-free-chain formulation, multiplication by p and reduction mod p give an exact couple. The first differential is a Bockstein homomorphism; higher pages contain higher Bocksteins.[^ref-09c2702d5f68]
Scope of Application¶
For finite-type integral homology, a Z/pˢ summand yields a pair of mod-p classes killed by dˢ, while free summands survive to the limit. The construction is useful in homology of spaces and explicit chain complexes. A sequence at one prime cannot detect torsion at other primes.[^ref-09c2702d5f68]
Clarity¶
The first page is not simply the free part of integral homology mod p; adjacent-degree torsion can contribute classes. If d¹ vanishes, higher torsion may still be present. This separates the single live Bockstein Homomorphism from the full page-by-page construction.[^ref-09c2702d5f68]
Manages Complexity¶
Fixing p decomposes a mixed integral-homology question into one prime-local calculation based on vector spaces. Later differentials restore the torsion-exponent information that one mod-p page lacks. The simple convergence statement requires the finite-type assumptions stated in the full V2.[^ref-09c2702d5f68]
Abstract Reasoning¶
Specify C and p, form the exact couple, calculate mod-p homology and follow classes through successive dʳ. A two-term complex with boundary multiplication by p² has two first-page classes, zero d¹, and a nonzero d² linking them. A free rank-one complex instead has a class that survives.[^ref-09c2702d5f68]
Knowledge Transfer¶
The same exact-couple reasoning works for suitable algebraic and topological chain complexes. Cohomological and generalized Bockstein variants require their own maps, grading and convergence targets; a similarly named spectral sequence is not automatically the same construction.[^ref-2734262f7d3d]
[^ref-09c2702d5f68]: J. P. May, A Primer on Spectral Sequences, Example 2.3. [^ref-2734262f7d3d]: John McCleary, A User's Guide to Spectral Sequences, chapter 10.
Relationships to Other Abstractions¶
Current abstraction Bockstein Spectral Sequence Domain-specific
Parents (1) — more general patterns this builds on
-
Bockstein Spectral Sequence presupposes Bockstein homomorphism Domain-specific
The named spectral sequence requires the coefficient-sequence Bockstein connecting map as its first differential.
Hierarchy path (1) — routes to 1 parentless root
- Bockstein Spectral Sequence → Bockstein homomorphism → Function (Mapping)
Neighborhood in Abstraction Space¶
Bockstein Spectral Sequence sits in a sparse region of the domain-specific corpus (83rd percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.
Family — Sheaves & Birational Geometry (22 abstractions)
Nearest neighbors
- Cyclic homology — 0.82
- Jacobian variety — 0.82
- Quantum Cohomology — 0.82
- Singular Homology — 0.81
- Alexander Duality — 0.81
Computed from structural-signature embeddings · 2026-10-08