Bockstein homomorphism

Bockstein homomorphism
Name	Bockstein homomorphism
Field	Algebraic topology; Homological algebra
Introduced	1940s

Bockstein homomorphism The Bockstein homomorphism is a primary connecting homomorphism arising from short exact sequences of coefficient groups in homology and cohomology. It was introduced in the mid‑20th century in work connecting algebraic techniques to topological problems and has become a standard tool in studies linking spectral sequences, Steenrod operations, and torsion phenomena. The construction is functorial and interacts with long exact sequences, providing information about torsion, extension classes, and secondary cohomology operations.

Definition and construction

Given a short exact sequence of abelian groups 0 → A → B → C → 0, the associated long exact sequence in cohomology for a space X contains connecting homomorphisms δ: H^n(X;C) → H^{n+1}(X;A). The Bockstein homomorphism is the specific connecting homomorphism obtained when A, B, C are chosen as successive quotients in the standard short exact sequence 0 → Z → Z → Z/nZ → 0 or 0 → Z/nZ → Z/n^2Z → Z/nZ → 0. In particular, for coefficients 0 → Z → Z → Z/pZ → 0 with a prime p, the resulting δ is the mod‑p Bockstein. The formal construction uses chain complexes, boundary maps, and the snake lemma to pass from a short exact sequence of coefficient complexes to a connecting map on cohomology. This yields a natural transformation of cohomology functors: H^*(–;C) → H^{*+1}(–;A).

Properties and naturality

The Bockstein homomorphism is natural with respect to maps of spaces and with respect to maps of coefficient short exact sequences; that is, given continuous f: X → Y and a commuting diagram of coefficient sequences, the diagram of associated connecting homomorphisms commutes. It is a graded homomorphism of degree +1 and satisfies functoriality under pullback along continuous maps and under change‑of‑coefficients maps induced by group homomorphisms between coefficient sequences. When composed with reduction or inclusion maps arising from the same exact sequence, the Bockstein gives relations which identify it as a derivation on the cohomology ring in the sense that it satisfies Leibniz‑type identities when combined with cup product and external product structures.

Exact sequences and relations to cohomology operations

In the long exact cohomology sequence associated to 0 → Z → Z → Z/pZ → 0, the Bockstein δ fits into ... → H^n(X;Z) → H^n(X;Z/pZ) →^{δ} H^{n+1}(X;Z) → ... and measures the obstruction to lifting mod‑p classes to integral classes. Iterated Bocksteins arising from 0 → Z/pZ → Z/p^2Z → Z/pZ → 0 produce higher Bockstein operations; relations among these maps reflect extension classes in Ext groups such as Ext^1(Z/pZ, Z) and Ext^1(Z/pZ, Z/pZ). The Bockstein connects to Steenrod operations: for p=2, the first Bockstein composes with the Steenrod square to yield relations in the Steenrod algebra and to define secondary cohomology operations. In spectral sequences—most notably the Bockstein spectral sequence—these connecting homomorphisms are the differentials on the E_1 page and organize torsion information through successive pages until convergence.

Examples and computations

Classic computations include the integral cohomology of lens spaces and real projective spaces, where the Bockstein detects nontrivial 2‑torsion extension classes. For the real projective space RP^n, the mod‑2 cohomology generator x satisfies δ(x)=x^2 in certain degrees, capturing the nontrivial Stiefel–Whitney class behavior; this interplay appears in computations originally studied by topologists analyzing embedding and immersion problems. In the cohomology of Eilenberg–MacLane spaces K(Z/pZ,1), the Bockstein computes the transgression of degree‑one classes to integral classes and identifies classes generating Ext groups used in the cohomology of classifying spaces such as BZ/pZ and related classifying spaces for finite groups like Feit–Thompson theorem contexts. Algebraic examples include modules over principal ideal domains where the Bockstein corresponds to multiplication by p on torsion summands; explicit chain‑level formulas arise from choosing cocycle representatives and lifting them along the coefficient exact sequence.

Applications in algebraic topology and homological algebra

The Bockstein homomorphism is used to analyze torsion in homology and cohomology, to detect extension classes in Postnikov towers, and to compute differentials in spectral sequences such as the Serre spectral sequence and the Adams spectral sequence. It plays a role in the classification of vector bundles—via Stiefel–Whitney and Chern class computations—in embedding problems studied by Whitney and Haefliger, and in the obstruction theory formalism associated with Whitehead and Postnikov systems. In homological algebra, the Bockstein corresponds to connecting maps in Ext and Tor long exact sequences and informs computations in group cohomology for finite groups studied by mathematicians tied to institutions such as Institute for Advanced Study and Princeton University.

Variants and generalizations

Variants include the mod‑p Bockstein, iterated Bocksteins for p‑power coefficient sequences, and Bockstein operations in generalized cohomology theories such as K‑theory and ordinary homology with local coefficients. The Bockstein spectral sequence generalizes to filtered complexes and to towers of coefficients, while secondary and higher cohomology operations generalize the notion of connecting homomorphisms to capture obstructions not visible to primary operations. In equivariant and motivic contexts, analogues of the Bockstein appear in the cohomology of schemes and in equivariant cohomology theories developed at institutions like Harvard University and Massachusetts Institute of Technology, adapting the construction to categories beyond topological spaces.

Category:Algebraic topology