pith. sign in

arxiv: 2606.22193 · v1 · pith:VKGVGGUSnew · submitted 2026-06-20 · 🧮 math.AG · math.AT

Computing framed motives

Grigory Garkusha This is my paper

Pith reviewed 2026-06-26 11:01 UTC · model grok-4.3

classification 🧮 math.AG math.AT
keywords framed motivesmotivic Thom spectraframed motivic cohomologyAtiyah-Hirzebruch spectral sequencetorsion framed motivic cohomologypermutation-free framed correspondencesstable motivic homotopy theorysymmetric group actions
0
0 comments X

The pith

After inverting a finite set of primes, the bigraded homotopy sheaves of motivic Thom spectra reduce to framed motivic cohomology.

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

The paper develops a motivic Atiyah-Hirzebruch spectral sequence as the main tool for computing framed motives of motivic Thom spectra. This sequence relates the motives directly to framed motivic cohomology, so that after inverting a finite set of primes the bigraded homotopy sheaves become explicit in terms of the cohomology groups. The work also examines symmetric-group actions on framed correspondences, introduces torsion framed motivic cohomology for new computational descriptions, and builds a category of permutation-free framed correspondences that reconstructs rational stable motivic homotopy theory. A reader would care because these steps turn abstract homotopy invariants into concrete, calculable objects in algebraic geometry and homotopy theory.

Core claim

The central claim is that the motivic Atiyah-Hirzebruch spectral sequence computes framed motives associated to motivic Thom spectra in terms of framed motivic cohomology after inverting a finite set of primes; analyzing the symmetric-group actions in framed correspondences yields a theory of torsion framed motivic cohomology and a category of permutation-free framed correspondences from which rational stable motivic homotopy theory is reconstructed.

What carries the argument

motivic Atiyah-Hirzebruch spectral sequence relating framed motives to framed motivic cohomology

If this is right

  • Bigraded homotopy sheaves of motivic Thom spectra are computed in terms of framed motivic cohomology after inverting a finite set of primes.
  • Torsion framed motivic cohomology supplies new computational descriptions of framed motivic cohomology groups.
  • A category of permutation-free framed correspondences reconstructs rational stable motivic homotopy theory.
  • Symmetric-group actions on framed correspondences are analyzed to support the torsion theory.

Where Pith is reading between the lines

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

  • The spectral sequence approach may extend to compute homotopy sheaves for other classes of spectra in motivic homotopy theory.
  • The permutation-free category offers a route to isolate rational information without dealing with full symmetric actions.
  • Explicit computations in low-dimensional cases could test whether the prime inversion is necessary for all spectra.

Load-bearing premise

The motivic Atiyah-Hirzebruch spectral sequence exists and converges in a manner that permits the stated computations of homotopy sheaves.

What would settle it

A specific motivic Thom spectrum whose bigraded homotopy sheaves, after inverting the relevant primes, fail to equal the groups given by framed motivic cohomology would falsify the computation claim.

read the original abstract

We develop methods for computing framed motives associated with motivic Thom spectra. Our main tool is a motivic Atiyah--Hirzebruch spectral sequence relating framed motives to framed motivic cohomology. As a consequence, after inverting a finite set of primes, the bigraded homotopy sheaves of motivic Thom spectra are computed in terms of framed motivic cohomology. We further analyze the symmetric-group actions inherent in framed correspondences and introduce a theory of torsion framed motivic cohomology that yields new computational descriptions of framed motivic cohomology groups. These constructions lead to a category of permutation-free framed correspondences from which we reconstruct rational stable motivic homotopy theory.

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

1 major / 0 minor

Summary. The manuscript develops methods for computing framed motives of motivic Thom spectra, with the motivic Atiyah-Hirzebruch spectral sequence as the main tool relating framed motives to framed motivic cohomology. As a consequence, after inverting a finite set of primes, the bigraded homotopy sheaves of motivic Thom spectra are identified with framed motivic cohomology. The work further examines symmetric-group actions on framed correspondences, introduces torsion framed motivic cohomology for new computational descriptions, and constructs a category of permutation-free framed correspondences to reconstruct rational stable motivic homotopy theory.

Significance. If the claimed spectral sequence exists, is natural, and converges strongly in the relevant bidegrees after localization, the results would supply explicit computational tools for homotopy sheaves of Thom spectra and a reconstruction of rational stable motivic homotopy theory, which could be of interest in motivic homotopy theory and algebraic geometry.

major comments (1)
  1. [Abstract (main tool and consequence statements)] The central claim that the bigraded homotopy sheaves equal framed motivic cohomology after inverting finitely many primes is presented as a direct consequence of the motivic Atiyah-Hirzebruch spectral sequence (whose E2-page is framed motivic cohomology), yet the provided text supplies no explicit construction of the spectral sequence, no analysis of its differentials, and no convergence argument in the relevant bidegrees. This step is load-bearing for all stated computations of homotopy sheaves.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading and for identifying the need for greater explicitness around the central spectral sequence. We address the major comment below.

read point-by-point responses

  1. Referee: [Abstract (main tool and consequence statements)] The central claim that the bigraded homotopy sheaves equal framed motivic cohomology after inverting finitely many primes is presented as a direct consequence of the motivic Atiyah-Hirzebruch spectral sequence (whose E2-page is framed motivic cohomology), yet the provided text supplies no explicit construction of the spectral sequence, no analysis of its differentials, and no convergence argument in the relevant bidegrees. This step is load-bearing for all stated computations of homotopy sheaves.

    Authors: We agree that the current manuscript does not supply a fully self-contained construction, differential analysis, or convergence proof for the motivic Atiyah-Hirzebruch spectral sequence in the relevant bidegrees after localization. While the paper states the existence of the sequence and derives the stated consequences from it, these foundational details are insufficiently expanded. In the revised version we will insert a dedicated section that (i) constructs the spectral sequence via the standard Postnikov tower in the category of framed motives, (ii) identifies its E2-page with framed motivic cohomology, (iii) analyzes the possible differentials, and (iv) proves strong convergence in the bidegrees needed for the homotopy-sheaf computations after inverting the finite set of primes. This revision will make the load-bearing step transparent and verifiable. revision: yes

Circularity Check

0 steps flagged

No significant circularity; spectral sequence positioned as independent tool yielding consequences

full rationale

The abstract frames the motivic Atiyah-Hirzebruch spectral sequence as the developed main tool, with the homotopy sheaf computations presented explicitly as consequences after prime inversion. No equations, self-definitions, fitted parameters renamed as predictions, or load-bearing self-citations appear in the provided text that would reduce the central claim to its own inputs by construction. The derivation chain is therefore self-contained against external benchmarks, with the spectral sequence serving as the non-tautological bridge rather than a redefinition of the target.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; all such items remain unidentified.

pith-pipeline@v0.9.1-grok · 5615 in / 1108 out tokens · 33577 ms · 2026-06-26T11:01:33.282266+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

32 extracted references

  1. [1]

    Ananyevskiy, G

    A. Ananyevskiy, G. Garkusha, I. Panin, Cancellation theorem for framed motives of algebraic varieties, Adv. Math. 383 (2021), article 107681

    2021

  2. [2]

    A. K. Bousfield, E. M. Friedlander, Homotopy theory ofΓ-spaces, spectra, and bisimplicial sets, in Geometric applications of homotopy theory (Proc. Conf., Evanston, Ill., 1977), II, Lecture Notes in Mathematics, V ol. 658, Springer-Verlag, 1978, pp. 80-130

    1977

  3. [3]

    Calm `es, J

    B. Calm `es, J. Fasel, A comparison theorem for Milnor–Witt motivic cohomology, in Milnor-Witt Motives (T. Bachmann, B. Calm`es, F. D´eglise, J. Fasel, P. A. Østvær, eds.), Mem. Amer. Math. Soc. 311, no. 1572, 2025

    2025

  4. [4]

    Druzhinin, H

    A. Druzhinin, H. Kolderup, P. A. Østvær, StrictA1-invariance over the integers, Mem. Europ. Math. Soc., to appear

  5. [5]

    Druzhinin, I

    A. Druzhinin, I. Panin, Surjectivity of the etale excision map for homotopy invariant framed presheaves, Proc. Steklov Inst. Math. 320 (2023), 91-114

    2023

  6. [6]

    Dugger, A primer on homotopy colimits, https://pages.uoregon.edu/ddugger/, 2008

    D. Dugger, A primer on homotopy colimits, https://pages.uoregon.edu/ddugger/, 2008

    2008

  7. [7]

    E. M. Friedlander, A. Suslin, The spectral sequence relating algebraic K-theory to motivic cohomology, Ann. Sci. ´Ecole Norm. Sup. (4) 35 (2002), 773-875

    2002

  8. [8]

    Garkusha, Reconstructing rational stable motivic homotopy theory, Compos

    G. Garkusha, Reconstructing rational stable motivic homotopy theory, Compos. Math. 155(7) (2019), 1424-1443

    2019

  9. [9]

    Garkusha, Correspondences and stable homotopy theory, Trans

    G. Garkusha, Correspondences and stable homotopy theory, Trans. London Math. Soc. 10(1) (2023), 124-155

    2023

  10. [10]

    Garkusha, D

    G. Garkusha, D. Jones, Recollements for derived categories of enriched functors and triangulated categories of motives, J. Algebra 589 (2022), 238-272

    2022

  11. [11]

    Garkusha, A

    G. Garkusha, A. Neshitov, Fibrant resolutions for motivic Thom spectra, Annals of K-theory 8(3) (2023), 421-488

    2023

  12. [12]

    Garkusha, A

    G. Garkusha, A. Neshitov, I. Panin, Framed motives of relative motivic spheres, Trans. Amer. Math. Soc. 374(7) (2021), 5131-5161

    2021

  13. [13]

    Garkusha, I

    G. Garkusha, I. Panin, K-motives of algebraic varieties, Homology, Homotopy Appl. 14(2) (2012), 211-264

    2012

  14. [14]

    Garkusha, I

    G. Garkusha, I. Panin, The triangulated category of K-motivesDK e f f − (k), J. K-theory 14(1) (2014), 103-137

    2014

  15. [15]

    Garkusha, I

    G. Garkusha, I. Panin, Homotopy invariant presheaves with framed transfers, Cambridge J. Math. 8(1) (2020), 1-94

    2020

  16. [16]

    Garkusha, I

    G. Garkusha, I. Panin, Framed motives of algebraic varieties (after V . V oevodsky), J. Amer. Math. Soc. 34(1) (2021), 261-313

    2021

  17. [17]

    Grothendieck and J

    A. Grothendieck and J. Dieudonn ´e, ´El´ements de G ´eom´etrie Alg´ebrique IV .´Etude locale des sch ´emas et des mor- phismes de sch´emas (Troisi`eme Partie), Publ. Math. IH´ES 28 (1966), 5-255

    1966

  18. [18]

    Ph. S. Hirschhorn, Localization of model categories, American Mathematical Society, Providence, RI, 2003

    2003

  19. [19]

    Hovey, Spectra and symmetric spectra in general model categories, J

    M. Hovey, Spectra and symmetric spectra in general model categories, J. Pure Appl. Algebra 165(1) (2001), 63- 127

    2001

  20. [20]

    Isaksen, Flasque model structures for simplicial presheaves, K-Theory 36 (2005), 371-395

    D. Isaksen, Flasque model structures for simplicial presheaves, K-Theory 36 (2005), 371-395

    2005

  21. [21]

    Levine, A comparison of motivic and classical stable homotopy theories, J

    M. Levine, A comparison of motivic and classical stable homotopy theories, J. Topology 7(2) (2014), 327-362. 29

    2014

  22. [22]

    C. R. F. Maunder, The spectral sequence of an extraordinary cohomology theory, Math. Proc. Cambridge Phil. Soc. 59(3) (1963), 567-574

    1963

  23. [23]

    Morel,A 1-Algebraic topology over a field, Lecture Notes in Mathematics, No

    F. Morel,A 1-Algebraic topology over a field, Lecture Notes in Mathematics, No. 2052, Springer-Verlag, 2012

    2052

  24. [24]

    Morel, The stableA 1-connectivity theorems, K-theory 35 (2006), 1-68

    F. Morel, The stableA 1-connectivity theorems, K-theory 35 (2006), 1-68

    2006

  25. [25]

    R ¨ondigs, M

    O. R ¨ondigs, M. Spitzweck, Stable homotopy groups of motivic spheres, Open Book Ser. 6, Mathematical Sciences Publishers, 2025, pp. 197-246

    2025

  26. [26]

    R ¨ondigs, M

    O. R ¨ondigs, M. Spitzweck, P. A. Østvær, The first stable homotopy groups of motivic spheres, Ann. of Math. 189 (2019), 1-74

    2019

  27. [27]

    Schwede, On the homotopy groups of symmetric spectra, Geom

    S. Schwede, On the homotopy groups of symmetric spectra, Geom. Topology 12 (2008), 1313-1344

    2008

  28. [28]

    Schwede, Symmetric spectra, An Electronic Book, v3.0/April 12, 2012

    S. Schwede, Symmetric spectra, An Electronic Book, v3.0/April 12, 2012

    2012

  29. [29]

    The Stacks Project Authors, Stacks Project, https://stacks.math.columbia.edu

  30. [30]

    V oevodsky, Triangulated category of motives over a field, in Cycles, Transfers and Motivic Homology Theories (V

    V . V oevodsky, Triangulated category of motives over a field, in Cycles, Transfers and Motivic Homology Theories (V . V oevodsky, A. Suslin and E. Friedlander, eds.), Ann. Math. Studies, Princeton Univ. Press, 2000

    2000

  31. [31]

    V oevodsky, Cohomological theory of presheaves with transfers, in Cycles, Transfers and Motivic Homology Theories (V

    V . V oevodsky, Cohomological theory of presheaves with transfers, in Cycles, Transfers and Motivic Homology Theories (V . V oevodsky, A. Suslin and E. Friedlander, eds.), Ann. Math. Studies, Princeton Univ. Press, 2000

    2000

  32. [32]

    V oevodsky, Notes on framed correspondences, www.math.ias.edu/vladimir/publications, unpublished, 2001

    V . V oevodsky, Notes on framed correspondences, www.math.ias.edu/vladimir/publications, unpublished, 2001. DEPARTMENT OFMATHEMATICS, SWANSEAUNIVERSITY, FABIANWAY, SWANSEASA1 8EN, UK Email address:g.garkusha@swansea.ac.uk URL:https://ggarkusha.github.io 30

    2001