[論文レビュー] Geometric approach towards stable homotopy groups of spheres. The Kervaire invariant II

Петр Михайлович Ахметьев|ArXiv.org|Jan 9, 2008

Homotopy and Cohomology in Algebraic Topology被引用数 4

ひとこと要約

本稿は、cobordism理論とフレームド埋入の自己交叉多様体を用いた、Kervaire不変量1問題に対する幾何的アプローチを提示する。自己交叉多様体における${\mathbb{Z}}/2\oplus{\mathbb{Z}}/2$-コントロールおよび${\mathbb{Z}}/2\oplus{\mathbb{Z}}/4$-構造を導入し、十分に大きな$n = 2^l - 2$に対して、球面の安定ホモトピー群におけるKervaire不変量が消えることを証明することで、高次元における問題を解決する。

ABSTRACT

The notion of the geometrical $\Z/2 \oplus \Z/2$--control of self-intersection of a skew-framed immersion and the notion of the $\Z/2 \oplus \Z/4$-structure (the cyclic structure) on the self-intersection manifold of a $\D_4$-framed immersion are introduced. It is shown that a skew-framed immersion $f:M^{\frac{3n+q}{4}} \looparrowright \R^n$, $0 < q <

研究の動機と目的

• 高次元安定ホモトピー論におけるKervaire不変量1問題を、幾何的cobordism手法を用いて解決すること。
• 歪フレームド埋入の自己交叉多様体における${\mathbb{Z}}/2\oplus{\mathbb{Z}}/2$-コントロールの定義と応用。
• ${\bf D}_4$-フレームド埋入の自己交叉多様体における${\mathbb{Z}}/2\oplus{\mathbb{Z}}/4$-構造の確立。
• 十分に大きな$l$に対して、すべての$n = 2^l - 2$においてKervaire不変量が自明であることを証明すること。
• $\delta^k$および$\Theta^k_{{\bf D}_4}$写像を用いて、Kervaire不変量をより高いcodimensionに一般化すること。

提案手法

• 特徴類を$\mathbb{R}P^{(3(n-q))/4}$に再び取り付けることで、歪フレームド埋入の自己交叉における${\mathbb{Z}}/2\oplus{\mathbb{Z}}/2$-コントロールの概念を導入する。
• ${\bf D}_4$-フレームド埋入およびその自己交叉多様体を、バンドル分解を用いて${\mathbb{Z}}/2\oplus{\mathbb{Z}}/4$-構造を持つものとして定義する。
• 再帰定理を用いて、$n=2^l-2$が十分に大きい場合、任意の歪フレームド埋入が$62$次の再帰を許容することを示し、自己交叉の制御を可能にする。
• $H_*(K({\mathbb{Z}}/2\oplus{\mathbb{Z}}/2,1);{\mathbb{Z}}/2)$における移行準同型および特徴類を用いて、Kervaire不変量の自明性を検出する。
• $Imm^{sf}(n-k,k)$、$Imm^{{\bf D}_4}(n-2k,2k)$、および$\Theta^k_{{\bf D}_4}$を結ぶ可換図式を構成し、Kervaire不変量の一般化を図る。
• 移行準同型を用いて、$H_{62}(K({\mathbb{Z}}/2\oplus{\mathbb{Z}}/2,1);{\mathbb{Z}}/2)$における永久ホモロジー類を定義し、$H_{62}(K({\bf I}_b,1);{\mathbb{Z}}/2)$への同型写像においてその自明性を示す。

実験結果

リサーチクエスチョン

• RQ1 十分に大きな$l$に対して、すべての$n = 2^l - 2$においてKervaire不変量が消えるか？
• RQ2 ${\bf D}_4$-フレームド埋入の自己交叉多様体は、奇数 torsion を除く正規cobordism類において${\mathbb{Z}}/2\oplus{\mathbb{Z}}/4$-構造を備えられるか？
• RQ3 $n=2^l-2$および$l \geq l_0$のとき、$H_{62}(K({\bf I}_b,1);{\mathbb{Z}}/2)$における特徴類$p_{\ast,b} \circ \hat{\eta}_*(\hat{\Lambda})$は自明か？
• RQ4 $\delta^k$および$\Theta^k_{{\bf D}_4}$写像を用いて、cobordism群においてKervaire不変量をより高いcodimensionに一般化できるか？
• RQ5 歪フレームド埋入の特徴類に$62$次の再帰が存在することは、Kervaire不変量の自明性を示唆するか？

主な発見

• すべての$n = 2^l - 2$（$l \geq l_0$）に対してKervaire不変量が自明であり、これによりメイン定理が証明された。
• 歪フレームド埋入の特徴類が$\mathbb{R}P^{(3(n-q))/4}$に$62$次の再帰を許容する場合、自己交叉多様体における${\mathbb{Z}}/2\oplus{\mathbb{Z}}/2$-コントロールが達成される。
• 十分に大きな$n=2^l-2$に対して、すべての${\bf D}_4$-フレームド埋入は、その正規cobordism類において${\mathbb{Z}}/2\oplus{\mathbb{Z}}/4$-構造を持つ代表元を有する。
• $H_{62}(K({\mathbb{Z}}/2\oplus{\mathbb{Z}}/2,1);{\mathbb{Z}}/2)$におけるホモロジー類$(\mu_a \times \kappa_a)^!_*([\bar{\Lambda}^{62}_{k_1,k_2}])$は、well-definedであり、$H_{62}(K({\bf I}_b,1);{\mathbb{Z}}/2)$への同型写像において自明である。
• $H_{62}(K({\bf I}_b,1);{\mathbb{Z}}/2)$における特徴類$p_{\ast,b} \circ \hat{\eta}_*(\hat{\Lambda})$は、相対的類の移行写像による像と一致し、自明である。
• $L^{62}$内の部分多様体$L_0^{10} \subset L^{62}$の正規バンドルは自明であり、$12\kappa_a \oplus 12\mu_a$に分解される。これは、[A2]の補題6.1および補題7.1によりKervaire不変量の自明性を示唆する。