[论文解读] 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不变量一问题的几何方法。它引入了自交流形上的${\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 <

研究动机与目标

• 通过几何cobordism方法解决高维稳定同伦理论中的Kervaire不变量一问题。
• 定义并应用斜框架浸入的自交流形的${\mathbb{Z}}/2\oplus{\mathbb{Z}}/2$-控制。
• 在${\bf D}_4$-框架浸入的自交流形上建立${\mathbb{Z}}/2\oplus{\mathbb{Z}}/4$-结构的存在性。
• 证明当$l \geq l_0$时，对所有$n = 2^l - 2$，Kervaire不变量为平凡。
• 通过$\delta^k$和$\Theta^k_{{\bf D}_4}$映射将Kervaire不变量同态推广到更高余维。

提出的方法

• 通过将特征类收缩到$\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 $充分大时，任意斜框架浸入均存在阶为$q=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$-框架浸入的自交流形是否能在模奇挠的正规cobordism类中装备${\mathbb{Z}}/2\oplus{\mathbb{Z}}/4$-结构？
• RQ3 当$n=2^l-2$且$l \geq l_0$时，特征类$p_{\ast,b} \circ \hat{\eta}_*(\hat{\Lambda})$在$H_{62}(K({\bf I}_b,1);{\mathbb{Z}}/2)$中是否为平凡？
• RQ4 能否通过$\delta^k$和$\Theta^k_{{\bf D}_4}$映射在cobordism群中将Kervaire不变量推广到更高余维？
• RQ5 斜框架浸入的特征类存在阶为$q=62$的收缩，是否意味着Kervaire不变量为平凡？

主要发现

• 当所有$l \geq l_0$时，$n = 2^l - 2$，Kervaire不变量为平凡，从而证明了主定理。
• ${\mathbb{Z}}/2\oplus{\mathbb{Z}}/2$-控制在斜框架的特征类可收缩到$\mathbb{R}P^{(3(n-q))/4}$时实现。
• 对充分大的$n=2^l-2$，每个${\bf D}_4$-框架浸入在其正规cobordism类中均存在一个带有${\mathbb{Z}}/2\oplus{\mathbb{Z}}/4$-结构的代表。
• 同调类$(\mu_a \times \kappa_a)^!_*([\bar{\Lambda}^{62}_{k_1,k_2}]) \in H_{62}(K({\mathbb{Z}}/2\oplus{\mathbb{Z}}/2,1);{\mathbb{Z}}/2)$在同构于$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_0^{10} \subset L^{62}$的法丛为平凡，并分解为$12\kappa_a \oplus 12\mu_a$，这通过[A2]中的引理6.1和引理7.1意味着Kervaire不变量的平凡性。