Pith. sign in

REVIEW 1 major objections 3 minor 2 cited by

Modules over algebraic cobordism

T0 review · 1 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Modules over algebraic cobordism are exactly motivic spectra with finite syntomic transfers.

desk verdict Major step toward the MGL-module picture, but the proof of Theorem 3.4.1(i) skips the rank-zero case that the main theorem depends on. read the letter →

arxiv 1908.02162 v2 pith:ODTIGJPN submitted 2019-08-06 math.AG math.ATmath.KT

Elden Elmanto , Marc Hoyois , Adeel A. Khan , Vladimir Sosnilo , Maria Yakerson This is my paper · ORCID
classification math.AGmath.ATmath.KT MSC 14F4219E15
keywords algebraiccobordismMGLmotivichomotopytheoryframedcorrespondencesfinitesyntomictransfersThomspectraderivedgeometrymodulesoverring
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper establishes that the $\infty$-category of modules over Voevodsky's algebraic cobordism spectrum $\mathrm{MGL}$ is equivalent, over any base scheme, to the $\infty$-category of motivic spectra equipped with transfers along finite syntomic morphisms. This matters because it turns a purely algebraic module structure into a geometric structure that can be described concretely, with no resolution of singularities hypothesis. The proof identifies every motivic Thom spectrum built from a nonnegative virtual vector bundle with a framed suspension spectrum of a moduli stack of finite quasi-smooth derived schemes, and then reads off the module description. Over a perfect field, very effective $\mathrm{MGL}$-modules are the same as grouplike motivic spaces with finite syntomic transfers.

What carries the argument

The load-bearing construction is the presheaf $h^{\mathrm{fr}}_S(Y,\xi)$ of $\xi$-twisted tangentially framed correspondences: a span $X \leftarrow Z \rightarrow Y$ in which $f$ is finite quasi-smooth and the cotangent complex satisfies $L_f \simeq -g^*(\xi)$ in $K(Z)$. These presheaves assemble into framed motivic spectra via the reconstruction equivalence $\mathrm{SH}(S) \simeq \mathrm{SH}^{\mathrm{fr}}(S)$, and the paper proves that the Thom spectrum $M_\beta$ of a nonnegative virtual bundle is the framed suspension spectrum of the corresponding moduli stack $\mathrm{FQSm}^\beta_S$. The module theorem then follows by identifying $\mathrm{MGL}$ with $\Sigma^\infty_{\mathbb{T},\mathrm{fr}} \mathrm{FSyn}_S$ and using an adjunction between framed correspondences and finite syntomic correspondences.

What would settle it

Over a perfect field $k$, the theorem predicts that the category of grouplike $\mathbb{A}^1$-invariant sheaves with finite syntomic transfers is prestable and that the $\mathbb{G}_m$-suspension functor is fully faithful; a direct way to falsify the theorem would be to find two non-isomorphic such sheaves whose images become equivalent after one suspension with respect to $\mathbb{G}_m$, since the claimed cancellation theorem forbids this.

Watch

Extended reading notes

Core claim

The central discovery is a symmetric monoidal equivalence $\mathrm{Mod}_{\mathrm{MGL}}(\mathrm{SH}(S)) \simeq \mathrm{SH}_{\mathrm{fsyn}}(S)$ for every scheme $S$, natural in $S$ and compatible with the forgetful functors to $\mathrm{SH}(S)$: a structure of $\mathrm{MGL}$-module on a motivic spectrum is exactly a coherent system of finite syntomic transfers. The same pattern holds for the special linear cobordism spectrum $\mathrm{MSL}$, with transfers along finite syntomic morphisms with trivialized canonical sheaf. Along the way, the paper shows that for any smooth stable tangential structure $\beta \colon B \to K_{>0}$, the motivic Thom spectrum $M_\beta$ is the framed suspension spectrum of the moduli stack $\mathrm{FQSm}^\beta_S$ of finite quasi-smooth derived $S$-schemes with $\beta$-structure; in particular, over a regular equicharacteristic base, $\Omega^\infty_{\mathbb{P}^1}\mathrm{MGL}$ is the $\mathbb{A}^1$-homotopy type of the moduli stack of virtual finite flat local complete intersections.

Load-bearing premise

The proof for arbitrary base schemes rests on a technical fact: algebraic $K$-theory and the $K$-theory summands used to build $\mathrm{MGL}$ are determined by their values on smooth algebras, so that the twisted framed correspondences satisfy the required base-change comparison; if that fact failed for any of these summands, the equivalence would only be known over fields.

Editorial extensions

If this is right

  • Every $\mathrm{MGL}$-module carries coherent finite syntomic transfers, and this transfer structure is sufficient to characterize $\mathrm{MGL}$-modules among motivic spectra.
  • Over a perfect field, very effective $\mathrm{MGL}$-modules are equivalent to grouplike motivic spaces with finite syntomic transfers, giving a cancellation theorem for the suspension functor on $\mathbb{A}^1$-invariant sheaves with finite syntomic transfers.
  • The infinite $\mathbb{P}^1$-loop space $\Omega^\infty_{\mathbb{T}}\mathrm{MGL}$ over a pro-smooth base over a field is the group completion of the moduli stack of finite syntomic schemes, and over a field it has a smooth Hilbert-scheme model classifying finite local complete intersections in $\mathbb{A}^\infty$.
  • For $n>0$, $\Omega^\infty_{\mathbb{T}}\Sigma^n_{\mathbb{T}}\mathrm{MGL}$ is the $\mathbb{A}^1$-homotopy type of the moduli stack of finite quasi-smooth derived schemes of virtual dimension $-n$.
  • Motivic cohomology $\mathrm{H}\mathbb{Z}$ is an $\mathrm{MGL}$-module and is equivalent to the suspension spectrum of the constant sheaf $\mathbb{Z}$ with its canonical finite syntomic transfers.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The framed-correspondence machinery used for MGL and MSL should also produce transfer descriptions for modules over other motivic Thom ring spectra attached to smooth stable tangential structures, for example symplectic or quadratic Grothendieck–Witt structures.
  • Because the moduli-stack and Hilbert-scheme models are explicit, algebraic cobordism computations could be attacked by studying group completions of Hilbert schemes of finite local complete intersections, a more geometric route than working with the formal spectrum $\mathrm{MGL}$.
  • A further question the paper leaves open is whether the module equivalence is compatible with the six-functor formalism; if it were, all $\mathrm{MGL}$-modules would inherit Gysin transfers and duality for finite syntomic morphisms automatically.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 3 minor

Summary. The paper proves that for every scheme S, the ∞-category of MGL-module spectra is equivalent to the ∞-category of motivic spectra with finite syntomic transfers (Theorem 4.1.3), and similarly for MSL with an orientation condition (Theorem 4.2.1). The proof is built on a description of motivic Thom spectra of positive-rank virtual vector bundles as framed suspension spectra of moduli stacks of finite quasi-smooth derived schemes with the corresponding tangential structure (Theorem 3.3.10). Over perfect fields, the motivic recognition principle is used to deduce explicit models for infinite P^1-loop spaces, for instance identifying Ω∞_P^1 MGL with the group completion of the moduli stack of finite syntomic schemes, and the paper also gives Hilbert-scheme models and identifies HZ as an MGL-module.

Significance. If the main theorems hold, the paper gives a complete and base-scheme-independent description of MGL-modules in terms of coherent finite syntomic transfers, without any resolution-of-singularities hypothesis. This is a major advance in motivic homotopy theory and provides a structured, Quillen-style universal property for algebraic cobordism. The paper is careful about functoriality and multiplicative structures, and it contains substantial appendices (A and B) that lay out the technical foundations, including a proof of the left Kan extension criterion used for arbitrary base schemes. These strengths make the paper a likely important reference for the field.

major comments (1)
  1. [§3.4, Theorem 3.4.1(i) and its proof] Theorem 3.4.1(i) asserts the equivalence MGL_S ≃ Σ∞_{T,fr}FSyn_S, but the proof says this is an instance of Theorem 3.3.10 with β the inclusion of the rank-n summand of K-theory. For (i) the relevant summand is the rank-0 summand ι_0: K_0→K, whereas Theorem 3.3.10 is stated and proved only for β: B→K_{>0}. The proof of Theorem 3.3.10 relies on Theorem 3.2.1, which is proved only for ξ∈K(Y) of rank>0, and the comparison theorems in §2.4, notably Theorem 2.4.9, equally assume rank>0. Remark 3.3.15 gives only a loop-space-level equivalence over perfect fields and explicitly states that it does not suffice for the module theorem. Since Theorem 4.1.3 depends on Theorem 3.4.1(i), the proof of the main theorem is incomplete as written. Please supply a proof of the rank-zero spectrum-level equivalence, or give an alternative argument that covers the rank-0 summand.
minor comments (3)
  1. [Throughout] The paper repeatedly says that certain proofs are 'exactly the same' as in [EHK+19] or 'almost identical' to results in that paper; given the technical weight of these results, it would be helpful to include a short dictionary or at least spell out the changes needed in the twisted-rank setting.
  2. [§3.4, proof of Theorem 3.4.1(i)] The proof should explicitly state why the rank-0 inclusion satisfies the hypotheses of Theorem 3.3.10, or else redirect the reader to a separate argument; the current one-line appeal to Theorem 3.3.10 is misleading because that theorem is restricted to positive-rank structures.
  3. [Abstract and §1.6] There are minor formatting issues in the abstract and in the author affiliation line (for example, the corrupted 'F akult¨at'); these should be corrected in the final version.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main equivalence is derived from independent inputs; the rank-zero gap flagged in the paper is a correctness issue, not a circular one.

full rationale

I found no circular step in the derivation chain. The central theorem Mod_MGL(SH(S)) ≃ SH_fsyn(S) is proved from Theorem 3.4.1(i), which identifies MGL with a framed suspension spectrum, and from the reconstruction theorem SH(S)≃SH_fr(S) cited from Hoy20. Neither of these inputs assumes the target equivalence between MGL-modules and finite-syntomic-transfer spectra. Several load-bearing inputs are papers by overlapping authors (EHK+19, Hoy20, BH20), but they are independently developed theorems with stated assumptions that do not include the present conclusion; per the rules, such self-citations are external evidence, not circularity. The paper itself flags a real limitation in Remark 3.3.15: for rank-zero β one can obtain only a loop-space-level equivalence over perfect fields, and the proof of Theorem 3.4.1(i) invokes Theorem 3.3.10 for the rank-zero summand ι_0 even though Theorem 3.3.10 is explicitly stated and proved for β : B→K_{>0}. This is a substantive gap in the written proof of the main theorem, and it also affects Lemma 4.1.1, but it is not a circularity: the missing equivalence would connect two independently defined objects and does not reduce to the statement being proved. No fitted parameter is renamed as a prediction, and no ansatz is smuggled in via citation in a way that forces the conclusion by construction.

Assumptions & free parameters 0 free parameters · 6 assumptions · 2 invented entities

No numerical parameters are fitted and no empirical constants appear; this is a proof-based paper. The central claim depends on several sophisticated external results, including companion papers by the same authors on framed correspondences and the reconstruction theorem, as well as the Garkusha-Neshitov-Panin comparison and the Bhatt-Lurie/Mathew left Kan extension criterion for algebraic K-theory. None of these inputs assumes the target equivalence, so the circularity burden is low. The invented entities are formal mathematical objects, not unexplained physical postulates.

assumptions (6)
  • domain assumption Reconstruction theorem: SH(S) ≃ SH_fr(S) for any scheme S, from Hoy20, Theorem 18.
    Bridges motivic spectra and framed motivic spectra; used in Theorems 3.2.1 and 4.1.3 and throughout the comparison with framed suspension spectra.
  • domain assumption Motivic recognition principle for framed motivic spaces over perfect fields, from EHK+19, Theorem 3.5.14.
    Converts framed suspension spectra into group-completed loop spaces; used in Corollaries 3.2.2 and 3.3.12 and in the very effective module statement Theorem 4.1.4.
  • domain assumption Algebraic K-theory and its summands are left Kan extended from smooth algebras, Proposition A.0.4 attributed to Mathew, building on Bhatt and Lurie.
    Load-bearing for base change over arbitrary schemes in Theorem 2.5.4 and for the smoothness criterion for stable tangential structures in Lemma 3.3.9.
  • domain assumption Theorem of Garkusha, Neshitov, and Panin on framed relative motivic spheres, Theorem 3.1.4.
    Main input in the proof of Theorem 3.1.3 identifying Thom spectra of vector bundles with framed suspension spectra; proved in GNP18 and Druzhinin.
  • domain assumption Formalism of motivic Thom spectra, the J-homomorphism, and their monoidal properties, from BH20, Section 16.
    Provides the definition of M_β and the symmetric monoidal framework used in Theorems 3.2.1 and 3.3.10.
  • standard math Foundations of derived algebraic geometry from Lurie's Spectral Algebraic Geometry and Toen-Vezzosi.
    Needed for quasi-smooth derived schemes, cotangent complexes, étale topology, and the closed gluing arguments pervasive in Sections 2 and 3.
invented entities (2)
  • ∞-category SH_fsyn(S) of motivic spectra with finite syntomic transfers
    purpose: Target of the main equivalence with MGL-modules.
    A new mathematical structure defined in Section 4.1 from spans with finite syntomic left leg. It is an internal construction, not an empirical or unexplained physical entity.
  • Moduli stack FQSm^β_S of β-structured finite quasi-smooth derived schemes
    purpose: Geometric model for motivic Thom spectra and their infinite loop spaces.
    Defined in Definition 3.3.1 as a presheaf of finite quasi-smooth schemes with a lift of the shifted cotangent complex to B. It is a mathematical construction whose value is established by the proved equivalences.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Modules over algebraic cobordism." pith.science (2026). https://pith.science/paper/ODTIGJPN

@misc{pith2026190802162,
  author       = {Pith},
  title        = {Pith review of: Modules over algebraic cobordism},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ODTIGJPN}},
  note         = {Machine review of arXiv:1908.02162}
}
abstract

We prove that the $\infty$-category of $\mathrm{MGL}$-modules over any scheme is equivalent to the $\infty$-category of motivic spectra with finite syntomic transfers. Using the recognition principle for infinite $\mathbb{P}^1$-loop spaces, we deduce that very effective $\mathrm{MGL}$-modules over a perfect field are equivalent to grouplike motivic spaces with finite syntomic transfers. Along the way, we describe any motivic Thom spectrum built from virtual vector bundles of nonnegative rank in terms of the moduli stack of finite quasi-smooth derived schemes with the corresponding tangential structure. In particular, over a regular equicharacteristic base, we show that $\Omega^\infty_{\mathbb{P}^1}\mathrm{MGL}$ is the $\mathbb{A}^1$-homotopy type of the moduli stack of virtual finite flat local complete intersections, and that for $n>0$, $\Omega^\infty_{\mathbb{P}^1} \Sigma^n_{\mathbb{P}^1} \mathrm{MGL}$ is the $\mathbb{A}^1$-homotopy type of the moduli stack of finite quasi-smooth derived schemes of virtual dimension $-n$.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Virtual fundamental classes of derived stacks I

    math.AG 2019-09 conditional novelty 8.0 of 10

    The paper constructs virtual fundamental classes for quasi-smooth derived Artin stacks in étale motivic Borel-Moore homology and proves functoriality, base change, excess intersection, a non-transverse Bézout theorem,...

  2. The unit map of the algebraic special linear cobordism spectrum

    math.KT 2019-08 accept novelty 6.0 of 10

    Over characteristic 0 fields, the unit map from the motivic sphere spectrum to the special linear cobordism spectrum MSL is an isomorphism on homotopy modules, proven by comparing framed and SL-oriented framed corresp...

Reference graph

Works this paper leans on

45 extracted references · 30 canonical work pages · cited by 2 Pith papers

  1. [1]

    Ananyevskiy, G

    A. Ananyevskiy, G. Garkusha, and I. Panin, Cancellation theorem for framed motives of algebraic varieties, 2018, http://arxiv.org/abs/1601.06642v2 arXiv:1601.06642v2

    arXiv 2018

  2. [2]

    Barwick, On the algebraic K -theory of higher categories, J

    C. Barwick, On the algebraic K -theory of higher categories, J. Topol. 9 (2016), no. 1, pp. 245--347

    work page 2016

  3. [3]

    On the infinite loop spaces of algebraic cobordism and the motivic sphere

    T. Bachmann, E. Elmanto, M. Hoyois, A. A. Khan, V. Sosnilo, and M. Yakerson, On the infinite loop spaces of algebraic cobordism and the motivic sphere, 2020, http://arxiv.org/abs/1911.02262v3 arXiv:1911.02262v3

    work page Pith review arXiv 2020

  4. [4]

    Bachmann and J

    T. Bachmann and J. Fasel, On the effectivity of spectra representing motivic cohomology theories, 2018, http://arxiv.org/abs/1710.00594v3 arXiv:1710.00594v3

    arXiv 2018

  5. [5]

    Bachmann and M

    T. Bachmann and M. Hoyois, Norms in motivic homotopy theory, to appear in Ast \'e risque, 2020, http://arxiv.org/abs/1711.03061 arXiv:1711.03061

    arXiv 2020

  6. [6]

    Bhatt and D

    B. Bhatt and D. Halpern-Leistner, Tannaka duality revisited, Adv. Math. 316 (2017), pp. 576--612

    work page 2017

  7. [7]

    Cisinski and F

    D.-C. Cisinski and F. D \'e glise, Integral mixed motives in equal characteristic, Doc. Math., Extra Volume: Alexander S. Merkurjev's Sixtieth Birthday (2015), pp. 145--194

    work page 2015

  8. [8]

    Clausen, A

    D. Clausen, A. Mathew, N. Naumann, and J. Noel, Descent in algebraic K -theory and a conjecture of Ausoni--Rognes, J. Eur. Math. Soc. 22 (2020), no. 4, pp. 1149--1200

    work page 2020

Show all 45 references
  1. [9]

    D \'e glise, Orientation theory in arithmetic geometry, K -theory (V

    F. D \'e glise, Orientation theory in arithmetic geometry, K -theory (V. Srinivas, S. K. Roushon, R. A. Rao, A. J. Parameswaran, and A. Krishna, eds.), Tata Institute of Fundamental Research Publications, vol. 19, 2018, pp. 241--350, preprint http://arxiv.org/abs/1111.4203 arX...

    2018 arXiv

  2. [10]

    D \'e glise, F

    F. D \'e glise, F. Jin, and A. A. Khan, Fundamental classes in motivic homotopy theory, to appear in J. Eur. Math. Soc., 2020, http://arxiv.org/abs/1805.05920 arXiv:1805.05920

    2020 arXiv

  3. [11]

    Druzhinin, Framed motives of smooth affine pairs, 2020, http://arxiv.org/abs/1803.11388v8 arXiv:1803.11388v8

    A. Druzhinin, Framed motives of smooth affine pairs, 2020, http://arxiv.org/abs/1803.11388v8 arXiv:1803.11388v8

    2020 arXiv

  4. [12]

    Elmanto, M

    E. Elmanto, M. Hoyois, A. A. Khan, V. Sosnilo, and M. Yakerson, Motivic infinite loop spaces, 2019, http://arxiv.org/abs/1711.05248v5 arXiv:1711.05248v5

    2019 arXiv

  5. [13]

    , Framed transfers and motivic fundamental classes, J. Topol. 13 (2020), no. 2, pp. 460--500, preprint http://arxiv.org/abs/1809.10666v1 arXiv:1809.10666v1

    2020 arXiv

  6. [14]

    Elmanto and H

    E. Elmanto and H. Kolderup, On modules over motivic ring spectra, Ann. K-Theory 5 (2020), no. 2, pp. 327--355, preprint http://arxiv.org/abs/1708.05651 arXiv:1708.05651

    2020 arXiv

  7. [15]

    Galatius, I

    S. Galatius, I. Madsen, U. Tillmann, and M. Weiss, The homotopy type of the cobordism category, Acta Math. 202 (2009), no. 2, pp. 195--239

    2009

  8. [16]

    Garkusha and A

    G. Garkusha and A. Neshitov, Fibrant resolutions for motivic Thom spectra, 2018, http://arxiv.org/abs/1804.07621v1 arXiv:1804.07621v1

    2018 arXiv

  9. [17]

    Garkusha, A

    G. Garkusha, A. Neshitov, and I. Panin, Framed motives of relative motivic spheres, 2018, http://arxiv.org/abs/1604.02732v3 arXiv:1604.02732v3

    2018 arXiv

  10. [18]

    Garkusha and I

    G. Garkusha and I. Panin, Framed motives of algebraic varieties (after V. Voevodsky), to appear in J. Amer. Math. Soc., 2020, http://arxiv.org/abs/1409.4372 arXiv:1409.4372

    2020 arXiv

  11. [19]

    , Homotopy invariant presheaves with framed transfers, Cambridge J. Math. 8 (2020), no. 1, pp. 1--94, preprint http://arxiv.org/abs/1504.00884 arXiv:1504.00884

    2020 arXiv

  12. [20]

    Grothendieck, \'E l \'e ments de G \'e om \'e trie A lg \'e brique: IV

    A. Grothendieck, \'E l \'e ments de G \'e om \'e trie A lg \'e brique: IV. \'E tude locale des sch \'e mas et des morphismes de sch \'e mas, Q uatri \`e me partie , Publ. Math. I.H. \'E .S. 32 (1967)

    1967

  13. [21]

    Gruson, Une propri \'e t \'e des couples hens \'e liens , Colloque d'alg \`e bre commutative, exp

    L. Gruson, Une propri \'e t \'e des couples hens \'e liens , Colloque d'alg \`e bre commutative, exp. n o 10, Publications des s \'e minaires de math \'e matiques et informatique de Rennes, 1972

    1972

  14. [22]

    Haugseng, Iterated spans and classical topological field theories, Math

    R. Haugseng, Iterated spans and classical topological field theories, Math. Z. 289 (2018), no. 3, pp. 1427--1488, preprint http://arxiv.org/abs/1409.0837 arXiv:1409.0837

    2018 arXiv

  15. [23]

    Hoyois, The localization theorem for framed motivic spaces, to appear in Compos

    M. Hoyois, The localization theorem for framed motivic spaces, to appear in Compos. Math., 2020, http://arxiv.org/abs/1807.04253 arXiv:1807.04253

    2020 arXiv

  16. [24]

    A. A. Khan, Motivic homotopy theory in derived algebraic geometry, Ph.D. thesis, Universit \"a t Duisburg-Essen, 2016, available at https://www.preschema.com/thesis/thesis.pdf

    2016

  17. [25]

    A. A. Khan and D. Rydh, Virtual Cartier divisors and blow-ups, 2019, http://arxiv.org/abs/1802.05702v2 arXiv:1802.05702v2

    2019

  18. [26]

    Levine and F

    M. Levine and F. Morel, Algebraic Cobordism, Springer, 2007

    2007

  19. [27]

    Lowrey and T

    P. Lowrey and T. Sch \"u rg, Derived algebraic cobordism, J. Inst. Math. Jussieu 15 (2016), pp. 407--443

    2016

  20. [28]

    Lurie, Derived Algebraic Geometry, Ph.D

    J. Lurie, Derived Algebraic Geometry, Ph.D. Thesis, 2004, https://www.math.ias.edu/ lurie/papers/DAG.pdf

    2004

  21. [29]

    , ( ,2) -Categories and the Goodwillie Calculus I, 2009, https://www.math.ias.edu/ lurie/papers/GoodwillieI.pdf

    2009

  22. [30]

    , Higher Algebra, September 2017, https://www.math.ias.edu/ lurie/papers/HA.pdf

    2017

  23. [31]

    , Higher Topos Theory, April 2017, https://www.math.ias.edu/ lurie/papers/HTT.pdf

    2017

  24. [32]

    , Spectral Algebraic Geometry, February 2018, https://www.math.ias.edu/ lurie/papers/SAG-rootfile.pdf

    2018

  25. [33]

    Navarro, Riemann--Roch for homotopy invariant K -theory and Gysin morphisms, 2016, http://arxiv.org/abs/1605.00980v1 arXiv:1605.00980v1

    A. Navarro, Riemann--Roch for homotopy invariant K -theory and Gysin morphisms, 2016, http://arxiv.org/abs/1605.00980v1 arXiv:1605.00980v1

    2016 arXiv

  26. [34]

    Nikolaus, The group completion theorem via localizations of ring spectra, 2017, https://www.uni-muenster.de/IVV5WS/WebHop/user/nikolaus/papers.html

    T. Nikolaus, The group completion theorem via localizations of ring spectra, 2017, https://www.uni-muenster.de/IVV5WS/WebHop/user/nikolaus/papers.html

    2017

  27. [35]

    Panin, Oriented cohomology theories of algebraic varieties II, Homology Homotopy Appl

    I. Panin, Oriented cohomology theories of algebraic varieties II, Homology Homotopy Appl. 11 (2009), no. 1, pp. 349--405

    2009

  28. [36]

    Quillen, Elementary Proofs of Some Results of Cobordism Theory Using Steenrod Operations, Adv

    D. Quillen, Elementary Proofs of Some Results of Cobordism Theory Using Steenrod Operations, Adv. Math. 7 (1971), no. 1, pp. 29--56

    1971

  29. [37]

    Raptis, Some characterizations of acyclic maps, J

    G. Raptis, Some characterizations of acyclic maps, J. Homotopy Relat. Struct. 14 (2019), pp. 773--785, preprint http://arxiv.org/abs/1711.08898 arXiv:1711.08898

    2019 arXiv

  30. [38]

    R \"o ndigs and P

    O. R \"o ndigs and P. A. stv r, Modules over motivic cohomology, Adv. Math. 219 (2008), no. 2, pp. 689--727

    2008

  31. [39]

    Randal-Williams, ``Group-completion'', local coefficient systems and perfection, Q

    O. Randal-Williams, ``Group-completion'', local coefficient systems and perfection, Q. J. Math. 64 (2013), no. 3, pp. 795--803

    2013

  32. [40]

    Rydh, Noetherian approximation of algebraic spaces and stacks, J

    D. Rydh, Noetherian approximation of algebraic spaces and stacks, J. Algebra 422 (2015), pp. 105--147

    2015

  33. [41]

    Spitzweck, A commutative P ^1 -spectrum representing motivic cohomology over D edekind domains , M \'e m

    M. Spitzweck, A commutative P ^1 -spectrum representing motivic cohomology over D edekind domains , M \'e m. Soc. Math. Fr. 157 (2018), preprint http://arxiv.org/abs/1207.4078 arXiv:1207.4078

    2018 arXiv

  34. [42]

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

  35. [43]

    To \"e n and G

    B. To \"e n and G. Vezzosi, Homotopical Algebraic Geometry. II. Geometric stacks and applications, Mem. Amer. Math. Soc. 193 (2008), no. 902, preprint http://arxiv.org/abs/math/0404373 arXiv:math/0404373

    2008 arXiv

  36. [44]

    Voevodsky, Notes on framed correspondences, unpublished, 2001, http://www.math.ias.edu/vladimir/files/framed.pdf

    V. Voevodsky, Notes on framed correspondences, unpublished, 2001, http://www.math.ias.edu/vladimir/files/framed.pdf

    2001

  37. [45]

    Yakerson, Motivic stable homotopy groups via framed correspondences, Ph.D

    M. Yakerson, Motivic stable homotopy groups via framed correspondences, Ph.D. thesis, University of Duisburg-Essen, 2019, available at https://duepublico2.uni-due.de/receive/duepublico_mods_00070044?q=iakerson

    2019

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.