2025-11-20T22:58:15.687720

Geometric Constructions of Mod $p$ Cohomology Operations

Cheng

The Brown Representability Theorem implies that cohomology operations can be represented by continuous maps between Eilenberg-Maclane spaces. These Eilenberg-Maclane spaces have explicit geometric models as spaces of cycles on round spheres and spaces of relative cycles on unit disks, due to the Almgren Isomorphism Theorem. A. Nabutovsky asked what maps between spaces of cycles represent the Steenrod squares. In this work we answer this question by constructing maps with explicit formulas from spaces of cycles on spheres to spaces of relative cycles on disks that represent all Steenrod squares, as well as all Steenrod powers and Bockstein homomorphisms on mod $p$ cohomology, for all primes $p$.

academic

Geometric Constructions of Mod $p$ Cohomology Operations

基本信息

论文ID: 2510.12574
标题: Geometric Constructions of Mod $p$ Cohomology Operations
作者: Herng Yi Cheng
分类: math.AT (代数拓扑)
发表时间: 2025年10月15日
论文链接: https://arxiv.org/abs/2510.12574

摘要

Brown表示定理表明，上同调运算可以由Eilenberg-Maclane空间之间的连续映射表示。由于Almgren同构定理，这些Eilenberg-Maclane空间具有作为圆球上的循环空间和单位圆盘上的相对循环空间的显式几何模型。A. Nabutovsky提出了一个问题：什么样的循环空间之间的映射表示Steenrod平方？

本文通过构造从球面上的循环空间到圆盘上的相对循环空间的具有显式公式的映射，回答了这个问题，这些映射表示所有Steenrod平方，以及所有素数 $p$ 上的mod $p$ 上同调的所有Steenrod幂和Bockstein同态。

研究背景与动机

要解决的问题：本文要解决的核心问题是为mod $p$ 上同调运算（特别是Steenrod幂和Bockstein同态）构造显式的几何表示。
问题的重要性：
- Steenrod运算是代数拓扑中最重要的上同调运算之一，但长期以来缺乏直观的几何解释
- Brown表示定理虽然保证了这些运算可以用Eilenberg-Maclane空间之间的映射表示，但没有给出具体的几何构造
- 几何表示有助于理解这些抽象运算的本质，并可能在定量同伦论中有应用
现有方法的局限性：
- 传统的Steenrod运算构造主要基于等变上同调和代数方法
- 虽然存在一些几何构造（如Michelson的工作），但主要局限于 $p=2$ 的情况
- 缺乏统一的、适用于所有素数 $p$ 的几何构造方法
研究动机：
- Nabutovsky的直接提问促使了这项研究
- 寻求Steenrod运算的几何直觉，特别是在几何测度论框架下
- 为定量同伦论的发展提供新工具

核心贡献

构造了Bockstein同态的Brown表示：给出了显式公式，将mod $p$ 0-循环映射到相对0-循环，通过计算循环排列下的重心
构造了循环乘积映射cyc：这是一个核心技术工具，将 $k$ -循环 $T$ 映射到 $T^p/\mathbb{Z}_p$ ，是所有Steenrod运算构造的基础
为所有Steenrod幂提供了几何表示：通过组合循环乘积映射和其他几何运算，给出了统一的构造方法
发展了"胶合"(gluing)理论：这是一个重要的技术创新，允许将循环族胶合成更高维的循环
证明了带归纳极限拓扑的Almgren同构定理：为循环空间提供了坚实的拓扑基础

方法详解

任务定义

本文的任务是为每个素数 $p$ 和每个Steenrod运算 $P^i$ 以及Bockstein同态 $\beta$ ，构造显式的连续映射： $P^i: H^m(-) \to H^{m+2i(p-1)}(-)$ $\beta: H^m(-) \to H^{m+1}(-)$

这些映射应该作为循环空间之间的Brown表示存在。

模型架构

1. 循环空间的定义

$Z_k(M,N)$ ： $(M,N)$ 中的mod $p$ 积分相对 $k$ -循环空间
使用归纳极限拓扑而非平坦拓扑，以保证映射的连续性
建立了与标准Eilenberg-Maclane空间的弱同伦等价： $K(\mathbb{Z}_p,n) \sim_w Z_k(S^{n+k}) \sim_w Z_k(D^{n+k}, \partial D^{n+k})$

2. Bockstein同态的构造

对于 $\beta: H^n(-) \to H^{n+1}(-)$ ，Brown表示为： $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}$

其中分数表示重心。

3. 循环乘积映射

核心技术是循环乘积映射： $\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)$

其中：

$L^n$ 是透镜空间
$h: (S^{p(n+1)-1} \setminus \Delta)/\mathbb{Z}_p \to L^n \times \text{int}D^{n+1}$ 是同胚
$\Delta$ 是对角线

4. 胶合理论

对于分片光滑映射 $f: X \to Z_d(M,N)$ ，胶合是一系列连续同态： $\Phi_k: I_k(X) \to I_{k+d}(M,N)$ 满足 $\partial \circ \Phi_{k+1} = \Phi_k \circ \partial$ 和 $\Phi_0(x) = f(x)$ 。

技术创新点

归纳极限拓扑的使用：解决了循环空间上映射连续性的关键问题
分片光滑逼近定理：证明了任何连续的循环族都可以用分片光滑族逼近
等变等周不等式：在证明循环乘积映射连续性时的关键技术工具
胶合的几何实现：将抽象的同调理论与具体的几何构造联系起来

实验设置

理论验证

本文主要是理论工作，验证方式包括：

公式验证：通过具体计算验证构造的映射确实代表相应的上同调运算
拓扑一致性检查：验证所有构造在拓扑变换下的不变性
特殊情况验证：在已知结果的特殊情况下验证公式的正确性

具体例子

$p=2, n=1$ 的情况：验证了Steenrod平方 $Sq^1 = \beta$ 的几何构造
平面循环的情况：给出了当输入是平面循环时的简化公式
纤维丛的例子：展示了构造在具体几何对象上的应用

实验结果

主要结果

定理1.2（Bockstein同态）：成功构造了所有Bockstein同态的Brown表示，公式简洁明了
定理1.3（Steenrod幂）：为所有Steenrod幂构造了几何表示，统一了 $p=2$ 和奇素数的情况
定理1.7（ $p=2$ 的简化）：当 $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\}$