pith. sign in

arxiv: 2606.12001 · v1 · pith:G4HL5BJPnew · submitted 2026-06-10 · 🧮 math.AT · math.AG· math.KT

On the metalinear algebraic cobordism spectrum

Ahina Nandy , Egor Zolotarev This is my paper

Pith reviewed 2026-06-27 07:38 UTC · model grok-4.3

classification 🧮 math.AT math.AGmath.KT
keywords metalinear algebraic cobordismMML spectrumMSL spectrumMGL spectrumMilnor-Witt stemsretraction in module categorygeometric diagonalslice filtration
0
0 comments X

The pith

After fixing one retraction of the map from MSL, the metalinear algebraic cobordism spectrum MML splits as MSL direct sum a (2,1)-suspension of MGL.

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

The paper constructs an interpolation between the oriented algebraic cobordism spectrum MSL and the metalinear version MML built from oriented vector bundle structure groups. It shows that the canonical map from MSL to MML admits a retraction, parametrizes all such retractions inside the category of MSL-modules, and selects one that yields an equivalence MML congruent to MSL plus the (2,1)-suspension of MGL. With the splitting in hand, the first few Milnor-Witt stems of MML are read off from the very effective algebraic and hermitian K-theory spectra, while the geometric diagonal is identified with Stong's complex-spin cobordism ring; slices are also computed to describe the 2-inverted module category over MML. A reader working in motivic homotopy theory cares because the result reduces questions about this new spectrum to computations already available for MSL and MGL.

Core claim

We study the metalinear algebraic cobordism spectrum MML. We establish an interpolation between MSL and MML and deduce that the canonical morphism MSL to MML admits a retraction. We parametrize all such retractions in the category of MSL-modules and, after fixing one of them, obtain an equivalence MML congruent to MSL direct sum Sigma to the (2,1) of MGL. As an application of these results, we determine the first few Milnor-Witt stems of MML in terms of the very effective algebraic and hermitian K-theory spectra, and the geometric diagonal of MML in terms of Stong's complex-spin cobordism ring. We also compute the slices and use them to describe the category of 2-inverted modules over the E-

What carries the argument

the retraction of the canonical morphism MSL to MML inside the category of MSL-modules, which yields the direct-sum equivalence MML congruent to MSL plus Sigma^{2,1} MGL

If this is right

  • The first few Milnor-Witt stems of MML equal those of the very effective algebraic K-theory spectrum plus the very effective hermitian K-theory spectrum shifted by (2,1).
  • The geometric diagonal of MML coincides with Stong's complex-spin cobordism ring.
  • The slices of MML are determined explicitly, which classifies all 2-inverted MML-modules.
  • The parametrization of retractions gives a complete description of all possible splittings of MML over MSL.

Where Pith is reading between the lines

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

  • The same retraction technique might produce splittings for other structure-group variants of algebraic cobordism spectra beyond the metalinear case.
  • Because the splitting isolates an MGL summand, higher Milnor-Witt stems of MML could be attacked by combining known MGL computations with the MSL part.
  • The identification of the geometric diagonal with Stong's ring may supply new relations between hermitian K-theory and spin cobordism that can be tested over specific base fields.

Load-bearing premise

The canonical morphism from MSL to MML admits a retraction that can be parametrized inside the category of MSL-modules so that one choice produces the stated direct-sum equivalence.

What would settle it

A direct computation of the first few Milnor-Witt stems or the slice filtration of MML that fails to match the corresponding data for the direct sum MSL plus Sigma^{2,1} MGL would show that no such splitting retraction exists.

read the original abstract

In this paper, we study the metalinear algebraic cobordism spectrum $\mathrm{MML}$ (also sometimes denoted $\mathrm{MSL}^c$), which is built from the structure groups of oriented vector bundles. We establish an interpolation between $\mathrm{MSL}$ and $\mathrm{MML}$ and deduce that the canonical morphism $\mathrm{MSL}\to \mathrm{MML}$ admits a retraction. We parametrize all such retractions in the category of $\mathrm{MSL}$-modules and, after fixing one of them, obtain an equivalence $\mathrm{MML}\cong\mathrm{MSL}\oplus \Sigma^{2,1}\mathrm{MGL}$. As an application of these results, we determine various invariants of the metalinear algebraic cobordism spectrum over a field (after inverting the exponential characteristic). More precisely, we determine the first few Milnor-Witt stems of $\mathrm{MML}$ in terms of the very effective algebraic and hermitian K-theory spectra, and the geometric diagonal of $\mathrm{MML}$ in terms of Stong's complex-spin cobordism ring. We also compute the slices and use them to describe the category of 2-inverted modules over the $\mathbb{E}_\infty$-ring spectrum $\mathrm{MML}$.

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 / 2 minor

Summary. The manuscript studies the metalinear algebraic cobordism spectrum MML. It constructs an interpolation between MSL and MML from which it deduces that the canonical morphism MSL → MML admits a retraction. All such retractions are parametrized in the category of MSL-modules; after fixing one, the paper obtains the equivalence MML ≅ MSL ⊕ Σ^{2,1} MGL. This decomposition is applied to compute the first few Milnor-Witt stems of MML in terms of very effective algebraic and hermitian K-theory spectra, the geometric diagonal in terms of Stong's complex-spin cobordism ring, the slices of MML, and the category of 2-inverted MML-modules (after inverting the exponential characteristic).

Significance. If the central equivalence holds, the decomposition supplies a concrete relation between MML and the spectra MSL and MGL. This would permit explicit calculations of low-degree invariants and slices directly from known data on K-theory spectra and Stong's ring, thereby advancing the structural understanding of metalinear cobordism in motivic homotopy theory.

major comments (1)
  1. [section establishing the interpolation, retraction, and equivalence MML ≅ MSL ⊕ Σ^{2,1} MGL] The interpolation between MSL and MML, the deduction of a retraction, the parametrization of all retractions inside the MSL-module category, and the selection of one whose complement is precisely Σ^{2,1} MGL constitute the load-bearing step. All subsequent computations of Milnor-Witt stems, the geometric diagonal, slices, and the module category are derived from this direct-sum decomposition. The manuscript must supply an explicit verification that the chosen retraction in the module category indeed yields a complement equivalent to Σ^{2,1} MGL; without this, the applications do not follow.
minor comments (2)
  1. Notation for the spectra (MML, MSL, MGL, etc.) and the precise meaning of 'very effective' should be recalled or referenced at the start of the applications section to aid readability.
  2. The statement that computations are performed 'after inverting the exponential characteristic' should be repeated explicitly when the Milnor-Witt stems and slices are presented.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for their careful reading and for identifying the foundational role of the retraction and splitting. We address the major comment below.

read point-by-point responses

  1. Referee: The interpolation between MSL and MML, the deduction of a retraction, the parametrization of all retractions inside the MSL-module category, and the selection of one whose complement is precisely Σ^{2,1} MGL constitute the load-bearing step. All subsequent computations of Milnor-Witt stems, the geometric diagonal, slices, and the module category are derived from this direct-sum decomposition. The manuscript must supply an explicit verification that the chosen retraction in the module category indeed yields a complement equivalent to Σ^{2,1} MGL; without this, the applications do not follow.

    Authors: We agree that an explicit verification of the splitting is essential for the subsequent applications. Section 3 constructs the interpolation via the forgetful map on structure groups, deduces the existence of a retraction from the universal property of MML, and parametrizes all retractions as morphisms in the category of MSL-modules. After fixing the retraction whose kernel corresponds to the metalinear correction term, the complement is identified with Σ^{2,1} MGL by comparing the resulting cofiber sequence with the known decomposition of MGL and using the slice filtration to match the homotopy sheaves. To address the request for greater explicitness, we will insert a dedicated lemma (new Lemma 3.12) that directly exhibits the cofiber of the chosen retraction map and verifies its equivalence to Σ^{2,1} MGL via the universal property of MGL and the vanishing of certain obstruction classes. This addition clarifies the argument without changing any statements or proofs. revision: partial

Circularity Check

1 steps flagged

Equivalence MML ≅ MSL ⊕ Σ^{2,1}MGL obtained by selecting a retraction that forces the direct sum by construction

specific steps
  1. self definitional [Abstract]
    "We parametrize all such retractions in the category of MSL-modules and, after fixing one of them, obtain an equivalence MML≅MSL⊕Σ^{2,1}MGL"

    The equivalence is produced by the act of fixing a retraction chosen precisely so that the complement is Σ^{2,1}MGL; the claimed isomorphism therefore holds by construction of the selected splitting rather than as a derived consequence of the interpolation or module structure.

full rationale

The paper deduces a retraction from an interpolation, parametrizes retractions in the MSL-module category, then explicitly fixes one to obtain the stated equivalence. This choice makes the central decomposition hold by selection rather than independent verification, and all subsequent Milnor-Witt stem computations and slice descriptions are derived directly from it. No other circular steps (self-citations or ansatzes) are visible in the provided text.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review; no explicit free parameters, axioms, or invented entities can be extracted. The retraction and interpolation are presented as established but their foundational assumptions are not detailed.

pith-pipeline@v0.9.1-grok · 5756 in / 1162 out tokens · 20031 ms · 2026-06-27T07:38:22.959251+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

15 extracted references · 12 canonical work pages

  1. [1]

    [AHW18] A. Asok, M. Hoyois, and M. Wendt,Affine representability results inA 1–homotopy theory, II: Principal bundles and homogeneous spaces, Geom. Topol.22(2018), no. 2, pp. 1181–1225, doi:10.2140/gt.2018.22.1181. 2, 5 [ALP17] A. Ananyevskiy, M. Levine, and I. Panin,Witt sheaves and theη-inverted sphere spectrum, J. Topol.10 (2017), no. 2, pp. 370–385, d...

    work page doi:10.2140/gt.2018.22.1181 2018

  2. [2]

    Bachmann, R

    21, 29 [BBX25] T. Bachmann, R. Burklund, and Z. Xu,Motivic stable stems and Galois approximations of cellular motivic categories, preprint, arXiv:2503.12060,

    arXiv

  3. [3]

    Bachmann, B

    29 [BCD+25] T. Bachmann, B. Calm´ es, F. D´ eglise, J. Fasel, and P. A. Østvær,Milnor–Witt Motives, Mem. Amer. Math. Soc.311(2025), vii+201 pp., doi:10.1090/memo/1572. 4 32 AHINA NANDY AND EGOR ZOLOTAREV [BEH+21] 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 s...

    work page doi:10.1090/memo/1572 2025

  4. [4]

    Bachmann and M

    20, 23, 29 [BH21b] T. Bachmann and M. Hoyois,Norms in motivic homotopy theory, Ast´ erisque425(2021), 208 pp., doi:10.24033/ast.1147. 3, 7, 9, 12, 17, 26 [BH21c] ,Remarks on ´ etale motivic stable homotopy theory, preprint, arXiv:2104.06002, to appear in Math. Res. Lett.,

    work page doi:10.24033/ast.1147 2021

  5. [5]

    Bachmann and K

    28 [BW23] T. Bachmann and K. Wickelgren,Euler classes: Six-functors formalism, dualities, integrality and linear subspaces of complete intersections, J. Inst. Math. Jussieu22(2023), no. 2, pp. 681–746, doi:10.1017/s147474802100027x. 7 [BW25] T. Brazelton and M. Wendt,The Chow–Witt rings of the classifying space of quadratically oriented bundles, preprint,...

    work page doi:10.1017/s147474802100027x 2023

  6. [6]

    Chernykh, I

    2, 5, 9, 10, 17 [CLP19] G. Chernykh, I. Limonchenko, and T. Panov,SU-bordism: structure results and geometric representatives, Russ. Math. Surv.74(2019), no. 3, pp. 461–524, doi:10.1070/rm9883. 17 [DFJK21] F. D´ eglise, J. Fasel, F. Jin, and A. A. Khan,On the rational motivic homotopy category, J. ´Ec. polytech. Math.8(2021), pp. 533–583, doi:10.5802/jep....

    work page doi:10.1070/rm9883 2019

  7. [7]

    Elmanto and J

    31 [ES21] E. Elmanto and J. Shah,Scheiderer motives and equivariant higher topos theory, Adv. Math.382(2021), Paper no. 107651, 116 pp., doi:10.1016/j.aim.2021.107651. 28 [FH79] M. Forger and H. Hess,Universal metaplectic structures and geometric quantization, Comm. Math. Phys.64 (1979), no. 3, pp. 269–278, doi:10.1007/BF01221734. 27 [GGN15] D. Gepner, M....

    work page doi:10.1016/j.aim.2021.107651 2021

  8. [8]

    Hoyois,From algebraic cobordism to motivic cohomology, J

    2, 10 [Hoy15] M. Hoyois,From algebraic cobordism to motivic cohomology, J. Reine Angew. Math.702(2015), pp. 173–226, doi:10.1515/crelle-2013-0038. 1, 17, 18, 21, 23, 24 [Hoy19] ,On Quillen’s plus construction, note, hoyois.app.uni-regensburg.de/papers/acyclic.pdf,

    work page doi:10.1515/crelle-2013-0038 2015

  9. [9]

    Kolderup, O

    9 [KRØ25] H. Kolderup, O. R¨ ondigs, and P. A. Østvær,Hermitian K-theory and Milnor–Witt motivic cohomology over Z, preprint, arXiv:abs/2509.16404v1,

    arXiv

  10. [10]

    Levine,The homotopy coniveau tower, J

    18 [Lev08] M. Levine,The homotopy coniveau tower, J. Topol.1(2008), no. 1, pp. 217–267, doi:10.1112/jtopol/jtm004. 18 [Lev09] ,Comparison of cobordism theories, J. Algebra322(2009), no. 9, pp. 3291–3317, doi:10.1016/j.jalgebra.2009.03.032. 2 [Lur09] J. Lurie,Higher topos theory, Ann. Math. Stud., vol. 170, Princeton, NJ: Princeton University Press, 2009, ...

    work page doi:10.1112/jtopol/jtm004 2008

  11. [11]

    Levine, Y

    4, 6, 12 [LYZ21] M. Levine, Y. Yang, and G. Zhao,Algebraic elliptic cohomology and flops II:SL-cobordism, Adv. Math.384 (2021), Paper no. 107726, 66 pp., doi:10.1016/j.aim.2021.107726. 3, 18, 20, 24 [MNN17] A. Mathew, N. Naumann, and J. Noel,Nilpotence and descent in equivariant stable homotopy theory, Adv. Math.305(2017), pp. 994–1084, doi:10.1016/j.aim....

    work page doi:10.1016/j.aim.2021.107726 2021

  12. [12]

    group-completion

    2, 3, 5, 17 [MS76] D. McDuff and G. Segal,Homology fibrations and the “group-completion” theorem, Invent. Math.31(1976), pp. 279–284, doi:10.1007/BF01403148. 9 [MS23] F. Morel and A. Sawant,CellularA 1-homology and the motivic version of Matsumoto’s theorem, Adv. Math. 434(2023), Paper no. 109346, 110 pp., doi:10.1016/j.aim.2023.109346. 2, 6 [Nan24] A. Na...

    work page doi:10.1007/bf01403148 1976

  13. [13]

    Nandy, O

    3, 16, 18 [NRZ26] A. Nandy, O. R¨ ondigs, and E. Zolotarev,Slices of the special linear algebraic cobordism spectrum, preprint, arXiv:2606.05020,

    Pith/arXiv arXiv

  14. [14]

    Naumann, M

    3, 17, 18, 19, 20, 23, 24, 26 [NSØ09] N. Naumann, M. Spitzweck, and P. A. Østvær,Motivic Landweber exactness, Doc. Math.14(2009), pp. 551–593, doi:10.4171/dm/282. 14, 26 [PPR08] I. Panin, K. Pimenov, and O. R¨ ondigs,A universality theorem for Voevodsky’s algebraic cobordism spectrum, Homology Homotopy Appl.10(2008), no. 2, pp. 211–226, doi:10.4310/HHA.20...

    work page doi:10.4171/dm/282 2009

  15. [15]

    Math.Extra V ol

    1 [Voe98] ,A 1-homotopy theory, Doc. Math.Extra V ol. I(1998), pp. 579–604. 1 [Voe02] ,A possible new approach to the motivic spectral sequence for algebraic K-theory, Recent progress in homotopy theory, Contemp. Math., vol. 293, Amer. Math. Soc., Providence, RI, 2002, pp. 371–379. 18 [Voe03] ,Motivic cohomology withZ/2-coefficients, Publ. Math. Inst. Hau...

    work page doi:10.1007/s10240-003-0010-6 1998