[Paper Review] Geometric approach towards stable homotopy groups of spheres. The Kervaire invariant II

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

Homotopy and Cohomology in Algebraic Topology4 citations

TL;DR

This paper presents a geometric approach to the Kervaire Invariant One Problem using cobordism theory and self-intersection manifolds of framed immersions. It introduces the ${\mathbb{Z}}/2\oplus{\mathbb{Z}}/2$-control and ${\mathbb{Z}}/2\oplus{\mathbb{Z}}/4$-structure on self-intersection manifolds, proving that for sufficiently large $n = 2^l - 2$, the Kervaire invariant vanishes in the stable homotopy groups of spheres, resolving the problem in high dimensions.

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 <

Motivation & Objective

• To resolve the Kervaire Invariant One Problem in high-dimensional stable homotopy theory using geometric cobordism methods.
• To define and apply the ${\mathbb{Z}}/2\oplus{\mathbb{Z}}/2$-control of self-intersection manifolds of skew-framed immersions.
• To establish the existence of ${\mathbb{Z}}/2\oplus{\mathbb{Z}}/4$-structures on self-intersection manifolds of ${\bf D}_4$-framed immersions.
• To prove that the Kervaire invariant is trivial for all $n = 2^l - 2$ when $l \geq l_0$, for some $l_0$.
• To generalize the Kervaire invariant homomorphism to higher codimensions via $\delta^k$ and $\Theta^k_{{\bf D}_4}$ maps.

Proposed method

• Introduces the notion of ${\mathbb{Z}}/2\oplus{\mathbb{Z}}/2$-control for self-intersection of skew-framed immersions via retraction of characteristic classes to $\mathbb{R}P^{(3(n-q))/4}$.
• Defines ${\bf D}_4$-framed immersions and their self-intersection manifolds with ${\mathbb{Z}}/2\oplus{\mathbb{Z}}/4$-structures via bundle decompositions.
• Uses the Retraction Theorem to show that for large $n=2^l-2$, any skew-framed immersion admits a retraction of order $q=62$, enabling control of self-intersections.
• Applies transfer homomorphisms and characteristic classes in $H_*(K({\mathbb{Z}}/2\oplus{\mathbb{Z}}/2,1);{\mathbb{Z}}/2)$ to detect triviality of the Kervaire invariant.
• Constructs a commutative diagram linking $Imm^{sf}(n-k,k)$, $Imm^{{\bf D}_4}(n-2k,2k)$, and $\Theta^k_{{\bf D}_4}$ to generalize the Kervaire invariant.
• Employs the transfer homomorphism to define a permanent homology class in $H_{62}(K({\mathbb{Z}}/2\oplus{\mathbb{Z}}/2,1);{\mathbb{Z}}/2)$, showing its triviality under the isomorphism to $H_{62}(K({\bf I}_b,1);{\mathbb{Z}}/2)$.

Experimental results

Research questions

• RQ1 Does the Kervaire invariant vanish for all $n = 2^l - 2$ when $l$ is sufficiently large?
• RQ2 Can the self-intersection manifold of a ${\bf D}_4$-framed immersion be equipped with a ${\mathbb{Z}}/2\oplus{\mathbb{Z}}/4$-structure in the regular cobordism class modulo odd torsion?
• RQ3 Is the characteristic class $p_{\ast,b} \circ \hat{\eta}_*(\hat{\Lambda})$ trivial in $H_{62}(K({\bf I}_b,1);{\mathbb{Z}}/2)$ for $n=2^l-2$ and $l \geq l_0$?
• RQ4 Can the Kervaire invariant be generalized to higher codimensions via $\delta^k$ and $\Theta^k_{{\bf D}_4}$ maps in the cobordism groups?
• RQ5 Does the existence of a retraction of order $q=62$ for the characteristic class of a skew-framed immersion imply triviality of the Kervaire invariant?

Key findings

• For all $n = 2^l - 2$ with $l \geq l_0$, the Kervaire invariant is trivial, proving the Main Theorem.
• The ${\mathbb{Z}}/2\oplus{\mathbb{Z}}/2$-control of self-intersection manifolds is achieved when the characteristic class of the skew-framing admits a retraction of order $q$ to $\mathbb{R}P^{(3(n-q))/4}$.
• Every ${\bf D}_4$-framed immersion admits a representative in its regular cobordism class with a ${\mathbb{Z}}/2\oplus{\mathbb{Z}}/4$-structure for sufficiently large $n=2^l-2$.
• The homology class $(\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)$ is well-defined and trivial under the isomorphism to $H_{62}(K({\bf I}_b,1);{\mathbb{Z}}/2)$.
• The characteristic class $p_{\ast,b} \circ \hat{\eta}_*(\hat{\Lambda})$ in $H_{62}(K({\bf I}_b,1);{\mathbb{Z}}/2)$ coincides with the image of the relative class under the transfer, and is trivial.
• The normal bundle of the submanifold $L_0^{10} \subset L^{62}$ is trivial and decomposes as $12\kappa_a \oplus 12\mu_a$, which implies the triviality of the Kervaire invariant via Lemma 6.1 and Lemma 7.1 from [A2].