The strong Kervaire invariant problem in dimension 62

DOI10.2140/GT.2016.20.1611MaRDI QIDQ309032zbMATH OpenOpenAlexFDO

Authors Zhouli Xu

Publication date 7 September 2016

Published in Geometry \& Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1410.6199

zbMATH Keywords

Kervaire invariant

Mathematics Subject Classification ID

Stable homotopy of spheres (55Q45)

Abstract: Using a Toda bracket computation $langlehet{a}_4,2,sigm{a}^{2}angle$ due to Daniel C. Isaksen [11], we investigate the $45$-stem more thoroughly. We prove that $het{a}_4^2=0$ using a $4$-fold Toda bracket. By [2], this implies that $het{a}_5$ exists and there exists a $het{a}_5$ such that $2het{a}_5=0$. Based on $het{a}_4^2=0$, we simplify significantly the $9$-cell complex construction in [1] to a $4$-cell complex, which leads to another proof that $het{a}_5$ exists.

Review text

The strong Kervaire invariant problem for \(n\) asks whether or not there exists \(\theta_n\in \pi_{2^{n+1}-2}S^0\) such that \(2\theta_n=0\). In their celebrated paper [Ann. Math. (2) 184, No. 1, 1--262 (2016; Zbl 1366.55007)], \textit{M. A. Hill} et al. showed nonexistence of \(\theta_n\) for \(n>6\). The existence of \(\theta_5\) has been shown by \textit{M. G. Barratt} et al. [J. Lond. Math. Soc., II. Ser. 30, 533--550 (1984; Zbl 0606.55010)]. Before the paper under review, the existence of \(\theta_5\) with \(2\theta_5=0\) was claimed by W-H. Lin and S.~O.~Kochman independently. Unfortunately, their computation of the Toda bracket \(\langle \theta_4,2,\sigma^2\rangle\) had errors. In this paper, the author shows the affirmative answer for the strong Kervaire invariant problem for \(n=5\) by using the same Toda bracket, which was given by D. C. Isaksen. Indeed, he obtains the result by verifying two theorems: \(\langle \theta_4,2,\sigma^2+\kappa\rangle\) contains 0 with indeterminacy \(\{0,\rho_{15}\theta_4\}\), and \(\theta_4=\langle 2,\sigma^2+\kappa,2\sigma,\sigma\rangle\) with zero indeterminacy. These imply \(\theta_4^2=0\). The result now follows from a theorem of \textit{M. G. Barratt} et al. [Contemp. Math. 19, 9--22 (1983; Zbl 0528.55010)]: If there exists \(\theta_n\) with \(2\theta_n=0\) and \(\theta_n^2=0\), then there exists \(\theta_{n+1}\) with \(2\theta_{n+1}=0\).

Recommendations

• scientific article; zbMATH DE number 2084984
• scientific article; zbMATH DE number 3864102
• scientific article; zbMATH DE number 3911292
• Relations Amongst Toda Brackets and the Kervaire Invariant in Dimension 62
• The triviality of the 61-stem in the stable homotopy groups of spheres

Cited in

(18)

• The Bernstein problem in dimension 6
• Some extensions in the Adams spectral sequence and the 51-stem
• Motivic stable homotopy and the stable 51 and 52 stems
• The triviality of the 61-stem in the stable homotopy groups of spheres
• scientific article; zbMATH DE number 3864102 (Why is no real title available?)
• scientific article; zbMATH DE number 3911292 (Why is no real title available?)
• Relations Amongst Toda Brackets and the Kervaire Invariant in Dimension 62
• scientific article; zbMATH DE number 4030504 (Why is no real title available?)
• scientific article; zbMATH DE number 1223475 (Why is no real title available?)
• scientific article; zbMATH DE number 2084984 (Why is no real title available?)
• Stable stems
• Mahowald square and Adams differentials
• Intersection forms of spin 4-manifolds and the pin(2)-equivariant Mahowald invariant
• Stable homotopy groups of spheres: from dimension 0 to 90
• Stable homotopy groups
• The Adams differentials on the classes h_j^3
• The Adams differentials on the e-family
• Classical stable homotopy groups of spheres via \(\mathbb{F}_2\)-synthetic methods

This page was built for publication: The strong Kervaire invariant problem in dimension 62

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q309032)