凯尔瓦尔不变量1问题

已解决，2009年拓扑学

问题陈述

确定所有维数 $n = 4k + 2$ ，使得存在光滑闭稳定标架流形 $M^n$ ，其凯尔瓦尔不变量 $\Phi(M^n) \in \mathbb{Z}/2\mathbb{Z}$ （由稳定标架诱导的中间维同调 $H_{2k+1}(M^n; \mathbb{Z}/2\mathbb{Z})$ 上相交形式的二次加细的 Arf 不变量）等于 $1$ 。

1969年，威廉·布劳德证明：凯尔瓦尔不变量为 $1$ 的光滑闭标架流形仅可能存在于维数 $n = 2^{j+1} - 2$ ，且当且仅当 $\bmod\,2$ 亚当斯谱序列 $E_2$ 页中的类 $h_j^2$ 存活并代表球面稳定同伦群 $\pi_{2^{j+1}-2}^S$ 中的元素 $\theta_j$ 。维数 $2, 6, 14, 30$ 和 $62$ （ $1 \le j \le 5$ ）中的构造于1984年前完成（最终由迈克尔·巴拉特、约翰·琼斯和马克·马霍瓦尔德完成）。2009年（2016年发表于 Annals of Mathematics），迈克尔·A·希尔、迈克尔·J·霍普金斯与道格拉斯·C·拉文内尔利用等变稳定同伦论和 $C_8$ 切片谱序列证明了对所有 $j \ge 7$ （即维数 $254$ 及以上） $\theta_j$ 均不存在，仅留下维数 $126$ （ $j = 6$ ）悬而未决。2024年12月，林伟南、王国祯与徐宙利发布预印本（`arXiv:2412.10879`，尚未经同行评审），借助计算机辅助的亚当斯谱序列计算证明了 $h_6^2$ 是永久循环，从而确立了维数 $126$ 中的存在性。

凯尔瓦尔不变量问题处于米歇尔·凯尔瓦尔与约翰·米尔诺于1963年开创的怪球分类理论的核心地位：同伦 $n$ 球面群 $\Theta_n$ 受球面稳定同伦群 $\pi_n^S$ 与凯尔瓦尔不变量同态的严格控制。希尔、霍普金斯和拉文内尔引入的等变同伦论工具——特别是希尔–霍普金斯–拉文内尔范数函子以及 $G$ 谱的切片滤过——深刻改变了远超凯尔瓦尔问题本身的等变同伦论与染色同伦论。

参考文献

William Browder (1969). The Kervaire invariant of framed manifolds and its generalization · DOI:10.2307/1970747
Michael A. Hill, Michael J. Hopkins, Douglas C. Ravenel (2016). On the nonexistence of elements of Kervaire invariant one · DOI:10.4007/annals.2016.184.1.1 · arXiv:0908.3724
Weinan Lin, Guozhen Wang, Zhouli Xu (2024). On the Last Kervaire Invariant Problem · arXiv:2412.10879 [预印本,未经同行评审]

问题历史

1960米歇尔·凯尔瓦尔引入 $(4k+2)$ 维标架流形的 $\mathbb{Z}/2\mathbb{Z}$ 值凯尔瓦尔不变量，并用它构造出一个不具有光滑结构的 $10$ 维分段线性流形。
1969威廉·布劳德证明：凯尔瓦尔不变量为1的光滑闭标架流形仅可能存在于维数 $n = 2^{j+1} - 2$ ，且仅当 $h_j^2$ 在 $\bmod\,2$ 亚当斯谱序列中存活时才存在。
1984迈克尔·巴拉特、约翰·琼斯与马克·马霍瓦尔德证明了维数 $62$ 中凯尔瓦尔不变量为1的元素 $\theta_5$ 的存在性，完成了 $n = 2, 6, 14, 30, 62$ 的肯定情形。
2009迈克尔·希尔、迈克尔·霍普金斯与道格拉斯·拉文内尔宣布证明：对所有 $j \ge 7$ ，在维数 $2^{j+1} - 2$ （即维数 $254$ 及以上）中不存在凯尔瓦尔不变量为1的光滑标架流形，仅留下维数 $126$ 尚未解决。
2024林伟南、王国祯与徐宙利发布预印本（`arXiv:2412.10879`），证明了 $h_6^2$ 在亚当斯谱序列中是永久循环，从而确立了最后一个悬而未决的维数 $126$ 中凯尔瓦尔不变量为1的光滑标架流形的存在性。