[论文解读] The cohomology of the mod 2 Steenrod algebra

Robert Bruner, John Rognes|arXiv (Cornell University)|Jan 1, 2021

Homotopy and Cohomology in Algebraic Topology参考文献 11被引用 39

一句话总结

本论文在上同调度数 0 ≤ s ≤ 128 和内部度数 0 ≤ t ≤ 200 的范围内，提供了模 2 Steenrod 代数的完整极小自由解析，以及 Ext^s,t_A(F2, F2) 所有基元素的显式链映射，还提供了一个实现 Sq0 运算的链映射。其主要贡献是一个经过计算验证、机器可处理的数据集，可支持在这些界限内对 Steenrod 代数上同调中的乘积、Toda 束以及高阶结构进行计算，为稳定同伦论研究提供了基础性资源。

ABSTRACT

A minimal resolution of the mod 2 Steenrod algebra in the range $0 \leq s \leq 128$, $0 \leq t \leq 200$, together with chain maps for each cocycle in that range and for the squaring operation $Sq^0$ in the cohomology of the Steenrod algebra.

研究动机与目标

• 在 0 ≤ s ≤ 128 和 0 ≤ t ≤ 200 的范围内，计算 F2 关于模 2 Steenrod 代数 A 的极小自由解析。
• 将此范围内 Ext^s,t_A(F2, F2) 的每个基元素提升为显式链映射，以支持代数结构的计算。
• 提供一个实现霍普夫代数平方运算 Sq0: Ext^s,t → Ext^s,2t 的链映射。
• 通过多种计算检验验证数据，确保其正确性和完整性，以供后续同伦计算使用。

提出的方法

• 使用软件包 ext，版本 1.9.3，该工具可为有限 A-模生成极小解析。
• 解析以结构化文本文件形式编码：Def（F2 模），MAXFILT（s ≤ 128），Shape（自由 A-模 Cs 的维数和度数），以及 Diff.s/hDiff.s（Milnor 基下的微分 ds）。
• 每个 Ext^s,t 基元素的链映射存储在 s g/Map.aug 文件中，条目指定链映射对每个生成元的像。
• 乘积和 Toda 束通过 himults 和 brackets.sym 文件计算，这些文件基于微分和链映射数据生成，无需零 homotopy。
• Sq0 运算编码在 Sq0/Map.aug 中，每行指定一个余循环在 Sq0 下的像。
• 执行了多种有效性检验：d² = 0，核与像维数匹配，Map 文件的完整性，以及映射满足 dm = md。

实验结果

研究问题

• RQ1 在 s ≤ 128 和 t ≤ 200 的范围内，Ext^s,t_A(F2, F2) 的完整结构是什么，包括乘积和高阶运算？
• RQ2 如何显式计算并编码 Ext 上的 Sq0 运算为链映射？
• RQ3 在此范围内，Toda 束（Massey 积）的精确结构是什么，如何在无需零 homotopy 的情况下计算？
• RQ4 如何验证解析和链映射以确保计算的正确性和完整性？
• RQ5 在该范围内，Adams 族谱算子如 P 和 v1 的作用是什么，其不确定性如何计算？

主要发现

• 解析在 s = 128 和 t = 200 范围内完整，每个 s 的 Cs 维数均已计算，且每个生成元的内部度数均明确记录。
• 微分 ds 以机器可读（Diff.s）和人类可读（hDiff.s）两种格式存储，使用 Steenrod 代数的 Milnor 基。
• 数据集包含 Ext^s,t_A(F2, F2) 所有基元素的显式链映射，可完整计算代数结构。
• Sq0 运算编码在 Sq0/Map.aug 中，条目如 "2 1 0" 表示 Sq0(20) 包含 21。
• Toda 束从链映射计算，无需零 homotopy，存储在 brackets.sym 文件中，条目如 "2_8 in < h4, 0, 1_0 >"。
• 有效性检验确认了 d² = 0，每阶段的正合性，Map 文件的完整性，以及链映射的正确性（dm = md），确保数据可信赖，适用于后续研究。