ケルヴェア不変量1の問題

解決済み、2009年位相幾何学(トポロジー)

問題の内容

滑らかな閉安定枠付き多様体 $M^n$ であって、その安定枠から誘導される中間次元ホモロジー $H_{2k+1}(M^n; \mathbb{Z}/2\mathbb{Z})$ 上の交差形式の二次細分のアルフ不変量として定義されるケルヴェア不変量 $\Phi(M^n) \in \mathbb{Z}/2\mathbb{Z}$ が $1$ となるものが存在するような次元 $n = 4k + 2$ をすべて決定せよ。

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月、林偉南（Weinan Lin）、王国禎（Guozhen Wang）、徐宙利（Zhouli Xu）はプレプリント（`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$ でのみ存在し、かつそれは $\bmod\,2$ アダムズスペクトル系列で $h_j^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の滑らかな枠付き多様体の存在を確立した。