pith. sign in

arxiv: 2410.21181 · v3 · submitted 2024-10-28 · 🧮 math.AT

New simple η-torsion families of elements in the stable stems

Irina Bobkova , J.D. Quigley This is my paper

Pith reviewed 2026-05-23 19:10 UTC · model grok-4.3

classification 🧮 math.AT
keywords stable homotopy groupsη-torsiontmf-Hurewicz mapperiodic familiesstable stemsAdams spectral sequence
0
0 comments X

The pith

Five 192-periodic families of simple η-torsion elements exist in the stable stems with trivial tmf image.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper constructs five infinite families of elements in the stable homotopy groups of spheres. Each family is periodic with period 192, consists of simple η-torsion elements, and maps to zero under the tmf-Hurewicz homomorphism. It further shows that several other 192-periodic families already known to lie in the tmf-Hurewicz image are also simple η-torsion elements. These constructions add concrete new examples to the known structure of the stable stems in high degrees.

Core claim

We produce five 192-periodic infinite families of simple η-torsion elements in the stable homotopy groups of spheres with trivial image under the tmf-Hurewicz homomorphism. We also establish that several other 192-periodic families in the stable stems, which are in the tmf-Hurewicz image, consist of simple η-torsion elements.

What carries the argument

192-periodic families of simple η-torsion elements, built from specific maps or differentials that enforce periodicity and the torsion and image properties.

If this is right

  • The kernel of the tmf-Hurewicz map contains at least five infinite 192-periodic families of simple η-torsion elements.
  • Some elements already known to lie in the tmf image are nevertheless simple η-torsion.
  • The period 192 organizes infinite families with these algebraic properties in the stable stems.
  • These families supply new examples that are detected neither by tmf nor by ordinary η-multiplication.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The result indicates that the stable stems contain a richer supply of periodic torsion elements outside the tmf image than previously catalogued.
  • Similar constructions might be attempted at other periods or in related spectra to produce additional families.
  • The families provide concrete test cases for any conjectural description of the image of the tmf-Hurewicz map in high degrees.

Load-bearing premise

Specific maps or differentials exist in an underlying spectral sequence and can be computed to generate the claimed periodicity, simplicity, and image properties.

What would settle it

An explicit computation of one of the required differentials showing that the resulting element has non-trivial tmf image or fails to be η-torsion would contradict the families.

read the original abstract

We produce five 192-periodic infinite families of simple $\eta$-torsion elements in the stable homotopy groups of spheres with trivial image under the tmf-Hurewicz homomorphism. We also establish that several other 192-periodic families in the stable stems, which are in the tmf-Hurewicz image, consist of simple $\eta$-torsion elements.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 3 minor

Summary. The paper constructs five 192-periodic infinite families of simple η-torsion elements in the stable homotopy groups of spheres that map to zero under the tmf-Hurewicz homomorphism. It further shows that several additional 192-periodic families lying in the tmf-Hurewicz image are likewise simple η-torsion elements. The constructions rely on explicit maps and differentials in an underlying spectral sequence, with direct verification of the torsion and image properties.

Significance. If the constructions and verifications hold, the result supplies new explicit infinite families in the stable stems with controlled η-torsion and tmf-image behavior. This adds concrete data to the structure of π_*(S^0) and its relation to tmf, using standard methods of stable homotopy theory.

minor comments (3)
  1. The definition of 'simple' η-torsion in §2 could be cross-referenced more explicitly to the precise condition used in the verifications of the five families.
  2. Figure 4.2: the labeling of the differentials generating the 192-periodicity could include a brief reminder of the underlying ring spectrum to aid readers unfamiliar with the setup.
  3. A short table summarizing the five families (period, degree range, and key differential) would improve readability of the main results in §5.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary, significance assessment, and recommendation to accept the manuscript. There are no major comments to address.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The paper's central claims rest on explicit constructions of maps and differentials in spectral sequences, followed by direct verification that the resulting elements are simple η-torsion with trivial tmf-Hurewicz image. These steps use standard, externally established tools of stable homotopy theory (Adams-type spectral sequences, tmf, periodicity operators) whose validity does not depend on the families being constructed. No equation reduces to a prior fit or self-citation by construction, no uniqueness theorem is imported from the authors' own prior work to force the result, and no ansatz is smuggled in. The argument is therefore independent of its own outputs.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claim rests on standard background in stable homotopy theory and the tmf spectrum; no free parameters or invented entities are visible from the abstract.

axioms (2)
  • standard math The stable homotopy groups of spheres form a graded ring equipped with the Hopf map η and associated torsion operations.
    Standard background invoked implicitly by any discussion of η-torsion in π_*^s.
  • domain assumption The tmf spectrum exists as an E_∞ ring spectrum with a Hurewicz homomorphism to the sphere spectrum.
    The tmf-Hurewicz image is a central object in the claim and is treated as given.

pith-pipeline@v0.9.0 · 5576 in / 1306 out tokens · 32969 ms · 2026-05-23T19:10:38.380652+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

  1. [1]

    On the groups J ( X ) - I V

    John Frank Adams. On the groups J ( X ) - I V . Topology , 5(1):21--71, 1966

    work page 1966

  2. [2]

    Computation of the homotopy of the spectrum tmf

    Tilman Bauer. Computation of the homotopy of the spectrum tmf. In Proceedings of the conference on groups, homotopy and configuration spaces, University of Tokyo, Japan, July 5--11, 2005 in honor of the 60th birthday of Fred Cohen , pages 11--40. Coventry: Geometry & Topology Publications, 2008

    work page 2005

  3. [3]

    The topological modular forms of \( R P^2\) and \( R P^2 C P^2\)

    Agn \`e s Beaudry, Irina Bobkova, Viet-Cuong Pham, and Zhouli Xu. The topological modular forms of \( R P^2\) and \( R P^2 C P^2\) . J. Topol. , 15(4):1864--1926, 2022

    work page 1926

  4. [4]

    Prasit Bhattacharya, Irina Bobkova, and J.D. Quigley. New infinite families in the stable homotopy groups of spheres. arXiv preprint arXiv:2404.10062 , 2024

    work page arXiv 2024

  5. [5]

    The Goodwillie tower and the EHP sequence , volume 1026 of Mem

    Mark Behrens. The Goodwillie tower and the EHP sequence , volume 1026 of Mem. Am. Math. Soc. Providence, RI: American Mathematical Society (AMS), 2012

    work page 2012

  6. [6]

    Behrens, M

    M. Behrens, M. Hill, M. J. Hopkins, and M. Mahowald. Detecting exotic spheres in low dimensions using coker \(J\) . J. Lond. Math. Soc., II. Ser. , 101(3):1173--1218, 2020

    work page 2020

  7. [7]

    K -theoretic counterexamples to R avenel's telescope conjecture

    Robert Burklund, Jeremy Hahn, Ishan Levy, and Tomer M Schlank. K -theoretic counterexamples to R avenel's telescope conjecture. arXiv preprint arXiv:2310.17459 , 2023

    work page arXiv 2023

  8. [8]

    Mark Behrens, Mark Mahowald, and J.D. Quigley. The 2-primary H urewicz image of tmf . Geometry & Topology , 27(7):2763--2831, 2023

    work page 2023

  9. [9]

    Bruner and John Rognes

    Robert R. Bruner and John Rognes. The Adams spectral sequence for topological modular forms , volume 253 of Math. Surv. Monogr. Providence, RI: American Mathematical Society (AMS), 2021

    work page 2021

  10. [10]

    Davis and Mark Mahowald

    Donald M. Davis and Mark Mahowald. \(v_ 1-\) and \(v_ 2-\) periodicity in stable homotopy theory. Am. J. Math. , 103:615--659, 1981

    work page 1981

  11. [11]

    Henriques

    Andr \'e G. Henriques. The homotopy groups of \(tmf\) and of its localizations. In Topological modular forms. Based on the Talbot workshop, North Conway, NH, USA, March 25--31, 2007 , pages 189--205. Providence, RI: American Mathematical Society (AMS), 2014

    work page 2007

  12. [12]

    On the nonexistence of elements of K ervaire invariant one

    Michael A Hill, Michael J Hopkins, and Douglas C Ravenel. On the nonexistence of elements of K ervaire invariant one. Annals of Mathematics , 184(1):1--262, 2016

    work page 2016

  13. [13]

    Daniel C. Isaksen. Stable stems. Mem. Amer. Math. Soc. , 262(1269):viii+159, 2019

    work page 2019

  14. [14]

    Stable homotopy groups of spheres

    Daniel C Isaksen, Guozhen Wang, and Zhouli Xu. Stable homotopy groups of spheres. Proceedings of the National Academy of Sciences , 117(40):24757--24763, 2020

    work page 2020

  15. [15]

    Isaksen, Guozhen Wang, and Zhouli Xu

    Daniel C. Isaksen, Guozhen Wang, and Zhouli Xu. Stable homotopy groups of spheres: from dimension 0 to 90. Publ. Math. Inst. Hautes \' E tudes Sci. , 137:107--243, 2023

    work page 2023

  16. [16]

    Kervaire and John W

    Michel A. Kervaire and John W. Milnor. Groups of homotopy spheres. I . Ann. Math. (2) , 77:504--537, 1963

    work page 1963

  17. [17]

    On the last K ervaire invariant problem

    Weinan Lin, Guozhen Wang, and Zhouli Xu. On the last K ervaire invariant problem. arXiv preprint arXiv:2412.10879 , 2024

    work page arXiv 2024

  18. [18]

    On the surjectivity of the tmf- Hurewicz image of \(A_1\)

    Viet-Cuong Pham. On the surjectivity of the tmf- Hurewicz image of \(A_1\) . Algebr. Geom. Topol. , 23(1):217--241, 2023

    work page 2023