Stable homotopy groups of spheres: from dimension 0 to 90 (Q6161724): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
Property / cites work
 
Property / cites work: On the non-existence of elements of Hopf invariant one / rank
 
Normal rank
Property / cites work
 
Property / cites work: Relations Amongst Toda Brackets and the Kervaire Invariant in Dimension 62 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some differentials in the Adams spectral sequence. II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Milnor-Moore theorems for bialgebras in characteristic zero / rank
 
Normal rank
Property / cites work
 
Property / cites work: The telescope conjecture at height 2 and the tmf resolution / rank
 
Normal rank
Property / cites work
 
Property / cites work: Detecting exotic spheres in low dimensions using coker <i>J</i> / rank
 
Normal rank
Property / cites work
 
Property / cites work: A new differential in the Adams spectral sequence / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Adams Spectral Sequence for Topological Modular Forms / rank
 
Normal rank
Property / cites work
 
Property / cites work: An extension in the Adams spectral sequence in dimension 54 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The motivic cofiber of \(\tau\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(\mathbb{C}\)-motivic modular forms / rank
 
Normal rank
Property / cites work
 
Property / cites work: The special fiber of the motivic deformation of the stable homotopy category is algebraic / rank
 
Normal rank
Property / cites work
 
Property / cites work: The \(\eta\)-local motivic sphere / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the nonexistence of elements of Kervaire invariant one / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5849389 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4656991 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Remarks on motivic homotopy theory over algebraically closed fields / rank
 
Normal rank
Property / cites work
 
Property / cites work: The cohomology of motivic \(A\)(2) / rank
 
Normal rank
Property / cites work
 
Property / cites work: When is a fourfold Massey product defined? / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stable Stems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Motivic stable homotopy and the stable 51 and 52 stems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Groups of homotopy spheres. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Chain Functor For Bordism / rank
 
Normal rank
Property / cites work
 
Property / cites work: Stable homotopy groups of spheres. A computer-assisted approach / rank
 
Normal rank
Property / cites work
 
Property / cites work: Bordism, stable homotopy and Adams spectral sequences / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4327007 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4736209 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some differentials in the Adams spectral sequence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Matric Massey products / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5653373 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3173630 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Secondary compositions pairings and the Adams spectral sequence / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5557008 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Synthetic spectra and the cellular motivic category / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3747338 / rank
 
Normal rank
Property / cites work
 
Property / cites work: On the cohomology of the Steenrod algebra / rank
 
Normal rank
Property / cites work
 
Property / cites work: Compositional Methods in Homotopy Groups of Spheres. (AM-49) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Motivic cohomology with \(\mathbb Z/2\)-coefficients / rank
 
Normal rank
Property / cites work
 
Property / cites work: Motivic Eilenberg-MacLane spaces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computations of the Adams-Novikov \(E_2\)-term / rank
 
Normal rank
Property / cites work
 
Property / cites work: The triviality of the 61-stem in the stable homotopy groups of spheres / rank
 
Normal rank
Property / cites work
 
Property / cites work: Some extensions in the Adams spectral sequence and the 51-stem / rank
 
Normal rank
Property / cites work
 
Property / cites work: The strong Kervaire invariant problem in dimension 62 / rank
 
Normal rank

Revision as of 06:39, 1 August 2024

scientific article; zbMATH DE number 7692199
Language Label Description Also known as
English
Stable homotopy groups of spheres: from dimension 0 to 90
scientific article; zbMATH DE number 7692199

    Statements

    Stable homotopy groups of spheres: from dimension 0 to 90 (English)
    0 references
    0 references
    0 references
    0 references
    5 June 2023
    0 references
    This paper provides \(2\)-primary information on the stable homotopy groups of spheres up to dimension \(90\), with only a few undetermined cases. Whilst this continues on from the first author's monograph [\textit{D. C. Isaksen}, Stable stems. Providence, RI: American Mathematical Society (AMS) (2019; Zbl 1454.55001)], the authors exploit crucial new ingredients here. This is an impressive body of work, representing a snapshot of substantial progress achieved using modern methods. A key ingredient is the interplay between classical and \(\mathbb{C}\)-motivic (cellular) homotopy theory. Recall that motivic homotopy theory provides a second grading (the weight) and one has the motivic homotopy class \(\tau\) (working \(2\)-completely); inverting \(\tau\) allows passage to classical homotopy theory. (As the authors note, the usage of \(\mathbb{C}\)-motivic cellular stable homotopy theory can now be circumvented by using synthetic homotopy theory [\textit{P. Pstragowski}, Invent. Math. 232, No. 2, 553--681 (2023; Zbl 07676257)], but essentially applying the same approach to the calculations.) Here, these methods are made much more powerful and precise by using the results of [\textit{B. Gheorghe} et al., Acta Math. 226, No. 2, 319--407 (2021; Zbl 1478.55006)] which show that \(\mathbb{C}\)-motivic cellular stable homotopy theory is a `deformation' of classical stable homotopy theory: the `generic fibre' is classical stable homotopy theory whereas the `special fibre' is algebraic, identifying with the stable derived category of \(BP_*BP\)-comodules [\textit{M. Hovey}, Contemp. Math. 346, 261--304 (2004; Zbl 1067.18012)]. This is intimately related to the role of the cofibre \(C \tau\) of \(\tau\) in the \(\mathbb{C}\)-motivic stable homotopy category. In particular, the \(\mathbb{C}\)-motivic Adams spectral sequence for \(C \tau\) is isomorphic to the algebraic Novikov spectral sequence that computes the \(E_2\)-page of the \(BP\) Adams-Novikov spectral sequence. The work of the second author [\textit{G. Wang}, Chin. Ann. Math., Ser. B 42, No. 4, 551--560 (2021; Zbl 1471.55001)] has made the latter accessible to machine computation. A further new ingredient is the usage of the motivic modular forms spectrum \(mmf\). The \(\mathbb{C}\)-motivic Adams spectral sequence of \(mmf\) is understood [\textit{D. C. Isaksen}, Homology Homotopy Appl. 11, No. 2, 251--274 (2009; Zbl 1193.55009); \textit{B. Gheorghe} et al., J. Eur. Math. Soc. (JEMS) 24, No. 10, 3597--3628 (2022; Zbl 1498.14050)]; via the unit map this provides information for the motivic sphere spectrum. With these tools in hand, the authors proceed as follows. They first compute by machine the cohomology of the \(\mathbb{C}\)-motivic Steenrod algebra and the algebraic Novikov spectral sequence. Using the cell structure of \(C\tau\), Adams differentials for \(C\tau\) can be pushed forward or pulled back to yield Adams differentials for the motivic sphere spectrum. Further information on Adams differentials is given by standard arguments (such as Toda bracket shuffles) and comparison with the case of \(mmf\). Thereafter, hidden \(\tau\)-extensions are treated. Finally, inverting \(\tau\) yields the required classical information. For some background material, the reader is referred to the first author's monograph; some details are provided on the finer points of Adams spectral sequence calculations, such as hidden extensions, Massey products, Toda brackets and their relations. Of necessity, the paper is not self-contained: the charts and data sets (available on Zenobo, as per references) are essential companions. Indeed, one of the main results is stated as follows: \textit{The classical Adams spectral sequence for the sphere spectrum is displayed in the charts in [\textit{D. C. Isaksen} et al., ``Classical and \(\mathbf{C} \)-motivic Adams charts'', Zenobo (2022; \url{doi:10.5281/zenodo.6987156})], up to the \(90\)-stem}. Most of the results covered in the text are provided in tabular form in the final section of the paper (containing 25 tables over 31 pages). These are mostly for the motivic setting, using the trigrading \((s,f,w)\), where \(s\) is the stem, \(f\) is the Adams filtration, and \(w\) is the motivic weight. The body of the paper serves to explain how these computations are obtained and to offer a guide to the techniques used. The text is not necessarily intended for linear reading; the user will truly appreciate its value when delving deep to understand particular calculations and phenomena. The authors document carefully the remaining unresolved uncertainties that start in dimension \(84\). There are some differentials that are undetermined and also some unresolved hidden \(2\)-extensions. This means that the additive structure of a few stable homotopy groups in this range is not determined here.
    0 references
    stable homotopy groups
    0 references
    \(\mathbb{C}\)-motivic cellular homotopy theory
    0 references
    Adams spectral sequence
    0 references
    algebraic Novikov spectral sequence
    0 references
    motivic modular forms
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references