# The triviality of the 61-stem in the stable homotopy groups of spheres

@article{Wang2016TheTO, title={The triviality of the 61-stem in the stable homotopy groups of spheres}, author={Guozhen Wang and Zhouli Xu}, journal={arXiv: Algebraic Topology}, year={2016} }

We prove that the 2-primary $\pi_{61}$ is zero. As a consequence, the Kervaire invariant element $\theta_5$ is contained in the strictly defined 4-fold Toda bracket $\langle 2, \theta_4, \theta_4, 2\rangle$.
Our result has a geometric corollary: the 61-sphere has a unique smooth structure and it is the last odd dimensional case - the only ones are $S^1, S^3, S^5$ and $S^{61}$.
Our proof is a computation of homotopy groups of spheres. A major part of this paper is to prove an Adams…

## 25 Citations

### The special fiber of the motivic deformation of the stable homotopy category is algebraic

- MathematicsActa Mathematica
- 2021

For each prime $p$, we define a $t$-structure on the category $\widehat{S^{0,0}}/\tau\text{-}\mathbf{Mod}_{harm}^b$ of harmonic $\mathbb{C}$-motivic left module spectra over $\widehat{S^{0,0}}/\tau$,…

### The motivic lambda algebra and motivic Hopf invariant one problem

- Mathematics
- 2021

. We investigate forms of the Hopf invariant one problem in motivic homotopy theory over arbitrary base ﬁelds of characteristic not equal to 2. Maps of Hopf invariant one classically arise from…

### Stable homotopy groups of spheres

- MathematicsProceedings of the National Academy of Sciences
- 2020

The groups of homotopy spheres that classify smooth structures on spheres through dimension 90, except for dimension 4 are determined, which are more heavily on machine computations than previous methods and is therefore less prone to error.

### ELLIPTIC COHOMOLOGY IS UNIQUE UP TO HOMOTOPY

- MathematicsJournal of the Australian Mathematical Society
- 2022

This retroactively reconciles all previous constructions of Tmf of topological modular forms and provides a proof of this fact, although it is claimed no originality for the statement.

### Towards a Browder theorem for spherical classes in $\Omega^lS^{n+l}$

- Mathematics
- 2017

According to Browder if $4n+2\neq 2^{t+1}-2$ then the Kervaire invariant of the cobordism class of a $(4n+2)$-dimensional manifold $M^{4n+2}$ vanishes and $M^{2^{t+1}-2}$ is of Kervaire invariant one…

### The 2-primary Hurewicz image of tmf.

- Mathematics
- 2020

We determine the image of the 2-primary tmf-Hurewicz homomorphism, where tmf is the spectrum of topological modular forms. We do this by lifting elements of tmf_* to the homotopy groups of the…

### Some Recent Trends in Motivic Homotopy Theory

- Mathematics
- 2020

Introduction Since its inception in the 1990s by Morel and Voevodsky, and Voevodsky’s application to the proofs of the Milnor conjecture and the Bloch–Kato conjecture, A1-homotopy theory or, as it is…

### A survey of the homology cobordism group

- Mathematics
- 2022

. In this survey, we aim to clarify the long-standing and rich history of the homology cobordism group Θ 3 Z in the context of smooth manifolds for the ﬁrst time. Further, we present various results…

### Classical and Motivic Adams Charts

- History
- 2014

This document contains large-format Adams charts that compute 2-complete stable homotopy groups, both in the classical context and in the motivic context over C. The charts are essentially complete…

### Spherical classes in $$H_*(\Omega ^lS^{l+n};{\mathbb {Z}}/2)$$H∗(ΩlSl+n;Z/2) for $$4\pmb {\leqslant } l \pmb {\leqslant } 8$$4⩽l⩽8

- Mathematics
- 2018

We show that for $$l\in \{4,5,6,7,8\}$$l∈{4,5,6,7,8}, the only spherical classes in $$H_*\Omega ^lS^{n+l}$$H∗ΩlSn+l arise from the inclusion of the bottom cell, or the Hopf invariant one elements.…

## References

SHOWING 1-10 OF 58 REFERENCES

### The strong Kervaire invariant problem in dimension 62

- Mathematics
- 2014

Using a Toda bracket computation $\langle \theta_4, 2, \sigma^2\rangle$ due to Daniel C. Isaksen [11], we investigate the $45$-stem more thoroughly. We prove that $\theta_4^2=0$ using a $4$-fold Toda…

### The decomposition of stable homotopy.

- MathematicsProceedings of the National Academy of Sciences of the United States of America
- 1967

It is shown that, under the operation of higher Toda bracket (which will be defined in ? 2), certain classes in the stable homotopy ring of spheres w*(S) generate all of w-(S), called the Hopf classes, which are those detected by primary cohomology operations.

### The order of the image of the $J$-homomorphism

- Mathematics
- 1970

The set üS can be identified with the set of all base point preserving maps of $ into itself. SO(n)> acting on S as R with a point a t infinity, is also a set of base point preserving maps of S onto…

### The algebraic Atiyah-Hirzebruch spectral sequence of real projective spectra

- Mathematics
- 2016

In this note, we use Curtis's algorithm and the Lambda algebra to compute the algebraic Atiyah-Hirzebruch spectral sequence of the suspension spectrum of $\mathbb{R}P^\infty$ with the aid of a…

### The Adams spectral sequence of the real projective spaces.

- Mathematics
- 1988

and converges to the stable homotopy i^ί(P) = ί(P) where A denotes the mod 2 Steenrod algebra and H*(P) is the reduced mod 2 cohomology of P. We simply write Ext*'(P) for Ext*'(#*(P),Z/2) and…

### RELATIONS AMONGST TODA BRACKETS AND THE KERVAIRE INVARIANT IN DIMENSION 62

- Mathematics
- 1984

In this paper we use relations amongst Toda brackets and a lot of detailed information about the homotopy groups of spheres to show that there exists a 62-dimensional framed manifold with Kervaire…

### Secondary compositions and the Adams spectral sequence

- Mathematics
- 1970

In each term of the Adams spectral sequence [1, 2] Massey products [10] can be formed and in the E2-term it has been found convenient to describe specific elements by means of these products. In…

### THE HOMOTOPY GROUPS OF tmf AND OF ITS LOCALIZATIONS

- Mathematics
- 2009

(1) π∗(S) −→ π∗(tmf ) −→ MF∗ that we now describe. Both maps are surprisingly close to being isomorphisms (even though π∗(S) and MF∗ have nothing to do with each other). The first map (1) is the…

### The Engulfing Theorem for Topological Manifolds

- Mathematics
- 1966

THEOREM. Every locally tame closed set X, of dimension p ? n 3 in a p-connected topological n-manifold-without-boundary M, can be engulfed by any (p 1)-connected open set V, such that X\ V is…