# 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}
}
• Published 10 January 2016
• Mathematics
• arXiv: Algebraic Topology
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

## Tables from this paper

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

• Mathematics
Acta 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

• Mathematics
Proceedings 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

• J. M. Davies
• Mathematics
Journal 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}$

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

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

. 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

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

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

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.

• J. Cohen
• Mathematics
Proceedings 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 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

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

(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

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