Geometric Constructions of Mod $p$ Cohomology Operations

Basic Information

• Paper ID: 2510.12574
• Title: Geometric Constructions of Mod $p$ Cohomology Operations
• Author: Herng Yi Cheng
• Classification: math.AT (Algebraic Topology)
• Publication Date: October 15, 2025
• Paper Link: https://arxiv.org/abs/2510.12574

Abstract

Brown's representation theorem establishes that cohomology operations can be represented by continuous maps between Eilenberg-Maclane spaces. By virtue of the Almgren isomorphism theorem, these Eilenberg-Maclane spaces possess explicit geometric models as loop spaces over spheres and relative loop spaces over unit disks. A. Nabutovsky posed the question: what types of maps between loop spaces represent Steenrod squares?

This paper answers this question by constructing maps with explicit formulas from loop spaces over spheres to relative loop spaces over disks, which represent all Steenrod squares, as well as all Steenrod powers and Bockstein homomorphisms for mod $p$ cohomology over all primes $p$.

Research Background and Motivation

1. Core Problem to be Addressed: This paper addresses the fundamental problem of constructing explicit geometric representations for mod $p$ cohomology operations, particularly Steenrod powers and Bockstein homomorphisms.
2. Significance of the Problem:
   • Steenrod operations are among the most important cohomology operations in algebraic topology, yet have long lacked intuitive geometric interpretations
   • Although Brown's representation theorem guarantees that these operations can be represented by maps between Eilenberg-Maclane spaces, it provides no concrete geometric construction
   • Geometric representations facilitate understanding the essence of these abstract operations and may have applications in quantitative homotopy theory
3. Limitations of Existing Approaches:
   • Traditional Steenrod operation constructions rely primarily on equivariant cohomology and algebraic methods
   • While some geometric constructions exist (such as Michelson's work), they are mainly limited to the case $p=2$
   • A unified geometric construction method applicable to all primes $p$ is lacking
4. Research Motivation:
   • Nabutovsky's direct question prompted this investigation
   • Seeking geometric intuition for Steenrod operations, particularly within the framework of geometric measure theory
   • Providing new tools for the development of quantitative homotopy theory

Core Contributions

1. Construction of Brown Representation of Bockstein Homomorphism: Provides explicit formulas mapping mod $p$ 0-cycles to relative 0-cycles through computation of centroids under cyclic permutations
2. Construction of Cyclic Product Map cyc: A core technical tool mapping $k$-cycles $T$ to $T^p/\mathbb{Z}_p$, serving as the foundation for all Steenrod operation constructions
3. Geometric Representation for All Steenrod Powers: Provides a unified construction method through combining cyclic product maps and other geometric operations
4. Development of "Gluing" Theory: An important technical innovation allowing the gluing of cycle families into higher-dimensional cycles
5. Proof of Almgren Isomorphism Theorem with Inductive Limit Topology: Provides a solid topological foundation for loop spaces

Detailed Methodology

Task Definition

The paper's objective is to construct explicit continuous maps for each prime $p$ and each Steenrod operation $P^i$ and Bockstein homomorphism $\beta$: $P^i: H^m(-) \to H^{m+2i(p-1)}(-)$$\beta: H^m(-) \to H^{m+1}(-)$

These maps should exist as Brown representations between loop spaces.

Model Architecture

1. Definition of Loop Spaces

• $Z_k(M,N)$: Space of mod $p$ integral relative $k$-cycles in $(M,N)$
• Uses inductive limit topology rather than flat topology to ensure continuity of maps
• Establishes weak homotopy equivalence with standard Eilenberg-Maclane spaces: $K(\mathbb{Z}_p,n) \sim_w Z_k(S^{n+k}) \sim_w Z_k(D^{n+k}, \partial D^{n+k})$

2. Construction of Bockstein Homomorphism

For $\beta: H^n(-) \to H^{n+1}(-)$, the Brown representation is: $b: Z_0(S^n) \to Z_0(D^{n+1}, \partial D^{n+1})$$b(x_1 + \cdots + x_k) = \sum_{[(i_1,\ldots,i_p)] \in \{1,\ldots,k\}^p/\mathbb{Z}_p} \frac{x_{i_1} + \cdots + x_{i_p}}{p}$

where the fraction denotes the centroid.

3. Cyclic Product Map

The core technical tool is the cyclic product map: $\text{cyc}: Z_k(S^n) \to Z_{pk}(L^n \times D^{n+1}, L^n \times \partial D^{n+1})$$\text{cyc}(T) = h((T^p \setminus \Delta)/\mathbb{Z}_p)$

where:

• $L^n$ is a lens space
• $h: (S^{p(n+1)-1} \setminus \Delta)/\mathbb{Z}_p \to L^n \times \text{int}D^{n+1}$ is a homeomorphism
• $\Delta$ is the diagonal

4. Gluing Theory

For piecewise smooth maps $f: X \to Z_d(M,N)$, gluing consists of a sequence of continuous homomorphisms: $\Phi_k: I_k(X) \to I_{k+d}(M,N)$ satisfying $\partial \circ \Phi_{k+1} = \Phi_k \circ \partial$ and $\Phi_0(x) = f(x)$.

Technical Innovations

1. Use of Inductive Limit Topology: Resolves the key issue of continuity of maps on loop spaces
2. Piecewise Smooth Approximation Theorem: Proves that any continuous cycle family can be approximated by piecewise smooth families
3. Equivariant Isoperimetric Inequality: Key technical tool in proving continuity of cyclic product maps
4. Geometric Realization of Gluing: Connects abstract homology theory with concrete geometric constructions

Experimental Setup

Theoretical Verification

This is primarily theoretical work, with verification methods including:

1. Formula Verification: Concrete calculations verify that constructed maps indeed represent the corresponding cohomology operations
2. Topological Consistency Checks: Verifies invariance of all constructions under topological transformations
3. Special Case Verification: Validates formulas against known results in special cases

Concrete Examples

• Case $p=2, n=1$: Verifies geometric construction of Steenrod square $Sq^1 = \beta$
• Planar Cycles: Provides simplified formulas when input consists of planar cycles
• Fiber Bundle Examples: Demonstrates application of constructions to concrete geometric objects

Experimental Results

Main Results

1. Theorem 1.2 (Bockstein Homomorphism): Successfully constructs Brown representations of all Bockstein homomorphisms with concise formulas
2. Theorem 1.3 (Steenrod Powers): Constructs geometric representations for all Steenrod powers, unifying the cases $p=2$ and odd primes
3. Theorem 1.7 (Simplification for $p=2$): Provides particularly concise formulas when $p=2$: $\text{sq}^i(T) = \bigcup_{(x,y) \in (T^2 \setminus \Delta)/\mathbb{Z}_2} \left((\text{span}\{x-y\})^{\perp}\right)^{k+i-1} \times \left\{\frac{x+y}{2}\right\}$

Technical Achievements

1. New Proof of Almgren Isomorphism Theorem: Provides a more homotopy-theoretic proof using gluing theory
2. Geometric Realization of Brown Representation Theorem: Concretizes abstract representation theorem into computable geometric maps
3. Rigorous Proof of Continuity: Overcomes technical difficulties in geometric measure theory, rigorously proving continuity of all constructions

Related Work

Historical Development

1. Steenrod's Original Work: Construction of Steenrod operations via equivariant cohomology
2. Almgren-Pitts Theory: Foundational work for applications of geometric measure theory to topology
3. Guth's Work: Application of Steenrod operations in min-max theory

Related Geometric Constructions

1. Lawson's Algebraic Cycle Method: Constructions in complex projective spaces
2. Michelson's Symmetric Product Method: Primarily for the case $p=2$
3. dos Santos and Lima-Filho's Equivariant Method: Using $RO(C_2)$-graded cohomology

Advantages of This Work

• Unified treatment of all primes $p$
• Provides explicit computable formulas
• Establishes a complete theoretical framework

Conclusions and Discussion

Main Conclusions

1. Successfully answers Nabutovsky's question, providing complete geometric description of Steenrod operations
2. Establishes gluing theory as a bridge connecting geometry and algebraic topology
3. Provides new tools for the development of quantitative homotopy theory

Limitations

1. Technical Complexity: Constructions involve extensive technical details from geometric measure theory
2. Computational Complexity: Although formulas are explicit, actual computation remains complex
3. Scope of Applications: Currently primarily theoretical results; practical applications require further development

Future Directions

1. Quantitative Applications: Apply geometric constructions to quantitative studies of homotopy groups of spheres
2. Algorithmic Implementation: Develop effective computational methods
3. Generalizations: Extend to other cohomology operations and more general spaces

In-Depth Evaluation

Strengths

1. Theoretical Depth: Resolves a long-standing important problem
2. Technical Innovation: Use of gluing theory and inductive limit topology represents significant innovation
3. Completeness: Provides unified treatment for all primes $p$
4. Geometric Intuition: Provides geometric interpretation for abstract algebraic concepts

Weaknesses

1. High Technical Threshold: Requires deep background in geometric measure theory and algebraic topology
2. Limited Practical Utility: Currently primarily theoretical contribution with limited apparent practical applications
3. Complex Proofs: Handling of certain technical details is quite involved

Impact

1. Academic Value: Opens new directions in cross-disciplinary research between algebraic topology and geometric measure theory
2. Theoretical Significance: Deepens understanding of the essence of Steenrod operations
3. Potential Applications: May have important applications in quantitative topology and geometric analysis

Applicable Scenarios

• Theoretical research in algebraic topology
• Applications of geometric measure theory
• Development of quantitative homotopy theory
• Topological problems in differential geometry

References

The paper includes 32 major references spanning classical and contemporary work in algebraic topology, geometric measure theory, differential geometry, and other fields, reflecting the interdisciplinary nature and solid theoretical foundation of this research.