[论文解读] Geometric approach to stable homotopy groups of spheres. I. The Hopf invariant

Петр Михайлович Ахметьев|arXiv (Cornell University)|May 6, 2010

Geometric and Algebraic Topology参考文献 33被引用 3

一句话总结

本文利用庞特里亚金-斯通构造，发展了一种基于同伦论的几何拓扑方法，研究球面的稳定同伦群，重点在于霍普夫不变量。该文提供了亚当斯关于稳定霍普夫不变量定理的新几何证明，表明当 $ n = 2^\ell - 1 $ 且 $ \ell \geq 8 $ 时，该不变量在除可能有限多个维度外均消失，其证明基于浸入的cobordism理论与双点流形的特征类。

ABSTRACT

A geometric approach to the stable homotopy groups of spheres is developed in this paper, based on the Pontryagin-Thom construction. The task of this approach is to obtain an alternative proof of the Hill-Hopkins-Ravenel theorem [H-H-R] on Kervaire invariants in all dimensions, except, possibly, a finite number of dimensions. In the framework of this approach, the Adams theorem on the Hopf invariant is studied, for all dimensions with the exception of 15, 31, 63, 127. The new approach is based on the methods of geometric topology.

研究动机与目标

• 基于庞特里亚金-斯通构造，发展一种研究球面稳定同伦群的几何方法。
• 提供希尔-霍普金斯-雷文戴尔关于凯尔弗雷不变量定理的替代证明，排除有限多个维度。
• 利用几何拓扑方法，特别是针对 $ n = 2^\ell - 1 $ 且 $ \ell \geq 8 $ 的维度，重新证明亚当斯关于稳定霍普夫不变量的定理。
• 建立霍普夫不变量与浸入中双点流形特征数之间的联系。
• 通过浸入的cobordism与斯蒂费尔-惠特尼类，将霍普夫不变量的几何理解从代数拓扑中拓展出来。

提出的方法

• 利用庞特里亚金-斯通构造，将稳定同伦群的元素表示为浸入的cobordism类。
• 应用韦尔斯形式的庞特里亚金-斯通定理，通过嵌入到 $ \mathbb{R}^n $ 且余维数为1的浸入来表示稳定同伦群。
• 将稳定霍普夫不变量表达为浸入双点流形的特征数。
• 运用赫什几何控制原理，在cobordism类中寻找具有受控自交结构的浸入。
• 利用双点流形上存在循环或四元数结构的事实，来约束斯蒂费尔-惠特尼类。
• 应用上同调技术，包括欧拉类与特征类的拉回，证明某些特征数模2为零。

实验结果

研究问题

• RQ1 能否通过浸入的双点流形几何表征稳定霍普夫不变量？
• RQ2 对于哪些维度 $ n = 2^\ell - 1 $ 且 $ \ell \geq 8 $，稳定霍普夫不变量为零？
• RQ3 如何利用具有指定法丛的浸入cobordism类来计算霍普夫不变量？
• RQ4 浸入及其双点流形的斯蒂费尔-惠特尼类在决定霍普夫不变量中起什么作用？
• RQ5 能否通过几何控制与特征类理论，而非K-理论，重新证明亚当斯关于霍普夫不变量的定理？

主要发现

• 主要结果表明，当 $ n = 2^\ell - 1 $ 且 $ \ell \geq 8 $ 时，对于任意光滑浸入 $ g: M^{(3n + n_\sigma)/4} \looparrowright \mathbb{R}^n $，若其法丛同构于 $ (n - n_\sigma)/4 $ 个线丛 $ \kappa $ 的直和，且 $ w_1(M)^{\dim M} $ 的取值为零，则霍普夫不变量为零。
• 主要推论表明，当 $ n = 2^\ell - 1 $ 且 $ n \geq 255 $ 时，特征数 $ \langle w_1(M)^{n-1}; [M] \rangle = 0 $，这蕴含稳定霍普夫不变量为零。
• 通过证明特征数公式中两个分量 $ h_\lambda(L_{\mathbf{Q}}) $ 与 $ h_\lambda(L_{\mathbf{H}_{b \times \dot{b}}}) $ 模2为零，表明霍普夫不变量为零。
• 通过上同调恒等式确立了 $ m_{\mathbf{Q}} e^2(\mu_a^*(\psi_+)) = 0 $，从而得出 $ h_\lambda(L_{\mathbf{Q}}) = 0 $。
• 项 $ h_\lambda(L_{\mathbf{H}_{b \times \dot{b}}}) $ 因为在2重覆盖上拉回一个上同调类，且基本类在对偶类下平凡而消失。
• 证明依赖于恒等式 $ 2m_{\mathbf{Q}} e^2(\mu_a^*(\psi_+)) = 0 $，该式由上同调关系导出，从而确认了霍普夫不变量的几何消失性。