REVIEW 5 minor 33 references
The unit map of the algebraic special linear cobordism spectrum
T0 review · 0 major / 5 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read Over characteristic-zero fields the unit map of MSL is an isomorphism on zeroth homotopy modules.
desk verdict A careful and explicit framed-correspondence proof that the MSL unit map is an isomorphism on homotopy modules in characteristic zero; the main risk is inherited from an imported infinite-loop-space theorem. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the category of special-linear-oriented framed correspondences $Fr^{SL}_*(k)$. An ordinary framed correspondence of level $n$ from $X$ to $Y$ cuts out its support as the zero locus of a map $\varphi : U \to \mathbb{A}^n$; an SL-oriented correspondence instead uses a map $\varphi : U \to \tilde{T}_n$ into the tautological bundle over the oriented Grassmannian $\tilde{Gr}_n$, cutting out the support as the preimage of the zero section. A recognition theorem for infinite loop spaces of motivic Thom spectra identifies $\pi_0(\mathrm{MSL})_l(k)$ with $H_0(ZF^{SL}(\Delta^\bullet_k, \mathbb{G}_m^{\wedge l}))$, and the corresponding recognition theorem for suspension spectra identifies $\pi_0(1_k)_l(k)$ with $H_0(ZF(\Delta^\bullet_k, \mathbb{G}_m^{\wedge l}))$. The proof that the induced map $\varepsilon_*$ is an isomorphism has two mechanisms: explicit $\mathbb{A}^1$-homotopies deform any SL-oriented framing into the distinguished affine fiber, proving surjectivity; and a functor from SL-oriented framed correspondences to finite Milnor-Witt correspondences, built from oriented Thom classes, composes with the comparison between Milnor-Witt K-theory and MW-motivic cohomology to give a left inverse, proving injectivity.
What would settle it
Find a single explicit SL-oriented framed correspondence over a characteristic-zero field that is provably not $\mathbb{A}^1$-homotopic to a standard framed correspondence, for example by computing a nontrivial invariant in the cokernel of the natural inclusion $Fr_n \to Fr^{SL}_n$; if such a class exists, surjectivity of $\varepsilon_*$ fails. A more numerical check: for $k = \mathbb{Q}$ and $l=1$ the theorem predicts $\pi_0(\mathrm{MSL})_1(\mathbb{Q}) \cong \mathbb{Q}^\times$, and the explicit presentation via SL-oriented framed correspondences should have no torsion; a direct computation exhibiting an element of order $2$ in that presentation would falsify the theorem.
Extended reading notes
Core claim
Let $k$ be a field of characteristic $0$. The paper's main theorem (3.6.1) states that the unit map at the level of framed correspondences is a graded ring isomorphism $$\varepsilon_* : H_0(ZF(\$\Delta$^\bullet_k, \mathbb{G}$_m^{{\wedge *}}$)) \xrightarrow{\sim} H_0($ZF^{{SL}}$(\$\Delta$^\bullet_k, \mathbb{G}$_m^{{\wedge *}}$)).$$ Here $ZF$ is the stabilized free abelian group on framed correspondences and $ZF^{SL}$ its special-linear-oriented variant; the upper index records the power of the multiplicative group used as the target. Proposition 3.6.3 converts this into a spectrum-level statement: the unit map $e : 1_k \to \mathrm{MSL}$ induces an isomorphism of homotopy modules $\pi_0(1_k)_* \cong \pi_0(\mathrm{MSL})_*$, where a homotopy module is the motivic analogue of the sequence of stable homotopy groups of a spectrum. The paper then draws two consequences: the Chow-Witt cohomology theory $H^*(-, K^{MW}_*)$ and MW-motivic cohomology $H^{*,*}_{MW}(-, \mathbb{Z})$ each carry a unique special linear orientation.
Load-bearing premise
The result rests on the imported identification that translates the zeroth homotopy group of a motivic Thom spectrum of a rank-zero vector bundle into the zeroth homology of a group-completed, $\mathbb{A}^1$-localized framed-correspondence complex; if that identification fails, the map $\varepsilon_*$ shown to be an isomorphism is not the unit map of MSL on homotopy groups.
Editorial extensions
If this is right
- Over characteristic-zero fields the zeroth homotopy sheaves of MSL are canonically the sheaves of Milnor-Witt K-theory, since they agree with those of the sphere spectrum.
- The Chow-Witt cohomology theory $H^*(-, K^{MW}_*)$ carries a unique special linear orientation.
- The MW-motivic cohomology spectrum carries a unique special linear orientation.
- Unlike the algebraic cobordism spectrum MGL, whose unit map kills the motivic Hopf element and factors through $1/\eta$, MSL needs no $\eta$-quotient for its unit map to be an isomorphism on $\pi_0$.
- The geometric presentation gives explicit generators for $\pi_0(\mathrm{MSL})_l(k)$: SL-oriented framed correspondences modulo $\mathbb{A}^1$-homotopy and suspension, with relations governed by Milnor-Witt K-theory.
Reading between the lines
- We infer that the same correspondence-level strategy should compute the unit map for other Thom spectra built from oriented vector bundles, provided the relevant complement is $\mathbb{A}^1$-chain connected as it is for the oriented Grassmannian.
- We infer that the characteristic-zero assumption enters through the cited identification of framed-correspondence homology with Milnor-Witt K-theory, since the paper's own deformation argument does not invoke characteristic zero; a preprint extension noted by the paper would then carry the theorem to odd characteristic after inverting the characteristic.
- We infer that the explicit deformation proof could be turned into a practical test for equality of low-degree classes in $\pi_0(\mathrm{MSL})$: reduce to Milnor-Witt K-theory via the left inverse, then check the difference against the known relations.
- We infer that the uniqueness of the special linear orientation may extend to any effective cohomology theory represented by a homotopy module in the heart of the homotopy $t$-structure, since only the isomorphism $\pi_0(\mathrm{MSL})_* \cong \pi_0(1)_*$ is used.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that for a field k of characteristic 0, the unit map e: 1_k -> MSL induces an isomorphism of graded homotopy modules pi_0(1_k)_* -> pi_0(MSL)_* (Theorem 3.6.1 together with Proposition 3.6.3). The strategy is to use E-framed correspondences to present pi_0(1_k)_l(k) and pi_0(MSL)_l(k) as zeroth homology groups of complexes of linear framed and SL-oriented framed correspondences, respectively, and then to compare these presentations directly. Surjectivity of the comparison map epsilon_* is proved by explicit A^1-deformations that move any SL-oriented framed correspondence into the image of the usual framed correspondences (Proposition 4.1.5); injectivity is proved by constructing a left inverse alpha_SL using oriented Thom classes and finite Milnor-Witt correspondences (Section 4.3). As applications, the paper derives uniqueness of special linear orientations for Chow-Witt groups and for MW-motivic cohomology (Corollaries 3.6.5 and 3.6.7).
Significance. If correct, the result gives a geometric, generator-and-relations proof of an isomorphism that is foundational for the structure of the algebraic special linear cobordism spectrum. The main strengths of the paper are its concreteness and internal coherence: surjectivity is established by explicit A^1-homotopies, and injectivity by a transparent left inverse rather than by an indirect comparison. The paper is also honest about its reliance on substantial external machinery, above all Theorem 2.2.5 imported from [EHK+19b] and the computations of Neshitov and of Calmes-Fasel. Within those dependencies, the logical chain from the unit map of MSL to the map epsilon_* is carefully laid out. The applications to unique SL-orientations are natural and clearly derived from the main theorem.
minor comments (5)
- [Section 3.2, Corollary 3.2.2] The passage from the colimit over n of the equivalences of Theorem 2.2.5 to an equivalence with Maps(Sigma_T^infty(-)_+, MSL) is stated in one sentence; please spell out that compactness of Sigma_T^infty X_+ is used to commute the colimit over n with the mapping space, just as it is used for the colimit over p in Section 3.2.1. This is the precise point at which the map epsilon_* is identified with the actual unit map of MSL, so making the compactness argument explicit would remove a potentially delicate step.
- [Section 4.3, proof of Theorem 3.6.1] The functor alpha_SL is defined on SL-oriented framed correspondences and it is asserted that it factors through stabilization and descends to H_0(ZF^SL(Delta^bullet_k, G_m^{wedge l})); please add a sentence explaining compatibility with the disjoint-union relation and with the A^1-homotopy relation, since this descent is what makes alpha_SL a left inverse on homology rather than only on generators.
- [Section 4.1, Proposition 4.1.5] The proof begins by assuming that the correspondence has level n > 0, but the reduction from level 0 is only implicit; state explicitly that every class can be represented by a suspension, so that the n > 0 case implies surjectivity for all levels.
- [Introduction, page 2] There is a typo in 'a a framed correspondence' in the paragraph about Voevodsky's framed correspondences; it should read 'a framed correspondence'.
- [Section 3.5.2] The ring structure on H_0(ZF^SL(Delta^bullet_k, G_m^{wedge *})) is said to be constructed by the same argument as in [Nes18, Section 3]; a brief indication of the product formula for SL-oriented framed correspondences, analogous to the product of framed correspondences, would improve readability.
Circularity Check
No significant circularity: the central isomorphism is proven by explicit deformations and a left inverse, not assumed as input.
full rationale
The paper's central claim is not assumed as input. Theorem 3.6.1 is proven by an explicit surjectivity argument via A1-homotopies in Proposition 4.1.5 and an injectivity argument via the left inverse α_SL constructed in Section 4.3; neither step invokes the desired isomorphism to prove itself. The imported infinite loop-space identification Theorem 2.2.5, attributed to joint prior work and the author's thesis, is a structural tool used to translate the unit map into the map ε_*; it does not contain the target isomorphism, and no equation in the paper reduces Theorem 3.6.1 to that theorem by construction. Neshitov's description of H_0(ZF(Δ•_k,G_m^{∧*})) and Calmès–Fasel's computation of MW-motivic cohomology are external benchmarks rather than fitted inputs. The proof is therefore self-contained once these external results are granted. The only vulnerable link, the identification of π_0(MSL) with H_0(ZF^SL(...)), is a correctness risk inherited from the imported theorem, not a circular step.
Assumptions & free parameters
assumptions (6)
- domain assumption Theorem 2.2.5: infinite P^1-loop spaces of Thom spectra of rank-0 vector bundles are equivalent to group-completed A^1-localized E-framed correspondence presheaves.
- domain assumption Neshitov's theorem: H_0(ZF(Δ^•_k, G_m^{∧*})) ≅ KMW_{≥0}(k) over fields of characteristic 0.
- domain assumption Calmes-Fasel theorem: H^{*,*}_{MW}(Spec L, Z) ≅ KMW_*(L), computed via finite MW-correspondences.
- domain assumption Levine's proposition: compatibility of oriented Thom classes under composition of tautological bundles over oriented Grassmannians.
- standard math A^1-chain connectedness of A^{n+1} \ {0} for n > 0 over field extensions.
- standard math SL(L) acts transitively on Gr(n,N)(L) and the action lifts to ~T(n,N).
invented entities (2)
-
SL-oriented framed correspondences (Fr^{SL}_n(X,Y))
-
Category Fr^{SL}_*(k) and the functor α_SL
Cite this review
Pith. "Pith review of The unit map of the algebraic special linear cobordism spectrum." pith.science (2026). https://pith.science/paper/7B7O4SNN
@misc{pith2026190803859,
author = {Pith},
title = {Pith review of: The unit map of the algebraic special linear cobordism spectrum},
year = {2026},
howpublished = {\url{https://pith.science/paper/7B7O4SNN}},
note = {Machine review of arXiv:1908.03859}
}
abstract
In joint work with Elmanto, Hoyois, Khan and Sosnilo, we computed infinite $\mathbb{P}^1$-loop spaces of motivic Thom spectra, using the technique of framed correspondences. This result allows us to express non-negative $\mathbb{G}_m$-homotopy groups of motivic Thom spectra in terms of geometric generators and relations. Using this explicit description, we show that the unit map of the algebraic special linear cobordism spectrum induces an isomorphism on $\mathbb{G}_m$-homotopy sheaves.
Reference graph
Works this paper leans on
-
[1]
" write newline "" before.all 'output.state := FUNCTION output.nonempty.mrnumber duplicate missing pop "" 'skip if duplicate empty 'pop " " swap * " " * write if FUNCTION fin.entry write newline INTEGERS nameptr namesleft numnames FUNCTION format.names 's := #1 'nameptr := s num.names 'numnames := numnames 'namesleft := namesleft #0 > s nameptr " f. vv ll...
-
[2]
Cancellation theorem for framed motives of algebraic varieties
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
work page Pith review arXiv 2018
-
[3]
The 0-th stable A^1-homotopy sheaf and quadratic zero cycles
A. Asok and C. Haesemeyer, The 0 -th stable A ^1 -homotopy sheaf and quadratic zero cycles , 2011, http://arxiv.org/abs/1108.3854v1 arXiv:1108.3854v1
work page Pith review arXiv 2011
-
[4]
A. Asok and F. Morel, Smooth varieties up to ^1 -homotopy and algebraic h -cobordisms, Adv. Math. 5 (2011), no. 227, pp. 1990--2058
work page 2011
-
[5]
Bachmann, The generalized slices of H ermitian K -theory , J
T. Bachmann, The generalized slices of H ermitian K -theory , J. Topol. 10 (2017), no. 4, pp. 1124--1144
work page 2017
-
[6]
On the effectivity of spectra representing motivic cohomology theories
T. Bachmann and J. Fasel, On the effectivity of spectra representing motivic cohomology theories, 2018, http://arxiv.org/abs/1710.00594v3 arXiv:1710.00594v3
work page Pith review arXiv 2018
-
[7]
T. Bachmann and M. Hoyois, Norms in motivic homotopy theory, 2018, http://arxiv.org/abs/1711.03061v4 arXiv:1711.03061v4
arXiv 2018
-
[8]
Nilpotence in normed MGL-modules
T. Bachmann and J. Hahn, Nilpotence in normed -modules, 2019, http://arxiv.org/abs/1906.01306 arXiv:1906.01306
work page Pith review arXiv 2019
Show all 33 references
-
[9]
Calm \`e s and J
B. Calm \`e s and J. Fasel, The category of finite MW -correspondences, 2017, http://arxiv.org/abs/1412.2989v2 arXiv:1412.2989v2
2017 arXiv
-
[10]
, A comparison theorem for MW-motivic cohomology, 2017, http://arxiv.org/abs/1708.06100 arXiv:1708.06100
2017 arXiv
-
[11]
D \'e glise, Orientation theory in arithmetic geometry, 2018, http://arxiv.org/abs/1111.4203v3 arXiv:1111.4203v3
F. D \'e glise, Orientation theory in arithmetic geometry, 2018, http://arxiv.org/abs/1111.4203v3 arXiv:1111.4203v3
2018 arXiv
-
[12]
Déglise and J
F. Déglise and J. Fasel, MW -motivic complexes, 2017, http://arxiv.org/abs/1708.06095 arXiv:1708.06095
2017 arXiv
-
[13]
Druzhinin and J
A. Druzhinin and J. Kylling, Framed correspondences and the zeroth stable motivic homotopy group in odd characteristic, 2018, http://arxiv.org/abs/1809.03238v2 arXiv:1809.03238v2
2018 arXiv
-
[14]
Druzhinin and I
A. Druzhinin and I. Panin, Surjectivity of the etale excision map for homotopy invariant framed presheaves, 2018, http://arxiv.org/abs/1808.07765v1 arXiv:1808.07765v1
2018 arXiv
-
[15]
Elmanto, M
E. Elmanto, M. Hoyois, A. A. Khan, V. Sosnilo, and M. Yakerson, Framed transfers and motivic fundamental classes, to appear in J. Topol., 2019, http://arxiv.org/abs/1809.10666 arXiv:1809.10666
2019 arXiv
-
[16]
, Modules over algebraic cobordism, 2019, http://arxiv.org/abs/1908.02162 arXiv:1908.02162
2019 arXiv
-
[17]
, Motivic infinite loop spaces, 2019, http://arxiv.org/abs/1711.05248v5 arXiv:1711.05248v5
2019 arXiv
-
[18]
Gepner, M
D. Gepner, M. Groth, and T. Nikolaus, Universality of multiplicative infinite loop space machines, Algebr. Geom. Topol. 15 (2015), no. 6, pp. 3107--3153
2015
-
[19]
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
-
[20]
Garkusha and I
G. Garkusha and I. Panin, Framed motives of algebraic varieties (after V. Voevodsky), 2018, http://arxiv.org/abs/1409.4372v4 arXiv:1409.4372v4
2018 arXiv
-
[21]
, Homotopy invariant presheaves with framed transfers, 2018, http://arxiv.org/abs/1504.00884v3 arXiv:1504.00884v3
2018 arXiv
-
[22]
G\"ortz and T
U. G\"ortz and T. Wedhorn, Algebraic Geometry I, Vieweg, 2010
2010
-
[23]
Hoyois, From algebraic cobordism to motivic cohomology, J
M. Hoyois, From algebraic cobordism to motivic cohomology, J. Reine Angew. Math. 702 (2015), pp. 173--226
2015
-
[24]
, Cdh descent in equivariant homotopy K -theory, 2017, http://arxiv.org/abs/1604.06410v3 arXiv:1604.06410v3
2017 arXiv
-
[25]
Levine, Toward an enumerative geometry with quadratic forms , 2018, http://arxiv.org/abs/1703.03049v3 arXiv:1703.03049v3
M. Levine, Toward an enumerative geometry with quadratic forms , 2018, http://arxiv.org/abs/1703.03049v3 arXiv:1703.03049v3
2018 arXiv
-
[26]
Morel, An introduction to A ^1 -homotopy theory , ICTP Trieste Lecture Note Ser
F. Morel, An introduction to A ^1 -homotopy theory , ICTP Trieste Lecture Note Ser. 15 (2003), pp. 357--441
2003
-
[27]
, A ^1 -Algebraic Topology over a Field , Lecture Notes in Mathematics, Springer Berlin Heidelberg, 2012
2012
-
[28]
Mazza, V
C. Mazza, V. Voevodsky, and C. Weibel, Lecture Notes on Motivic Cohomology, Clay Mathematics Monographs, vol. 2, AMS, 2006
2006
-
[29]
Neshitov, Framed correspondences and the Milnor-Witt K-theory, J
A. Neshitov, Framed correspondences and the Milnor-Witt K-theory, J. Inst. Math. Jussieu 17 (2018), no. 4, pp. 823--852
2018
-
[30]
Panin and C
I. Panin and C. Walter, On the algebraic cobordism spectra MSL and MSp, 2010, http://arxiv.org/abs/1011.0651 arXiv:1011.0651
2010 arXiv
-
[31]
Voevodsky, A ^1 -Homotopy Theory , Doc
V. Voevodsky, A ^1 -Homotopy Theory , Doc. Math., Extra Volume: Proceedings of the ICM, Volume I (1998), pp. 579--604
1998
-
[32]
, Notes on framed correspondences, unpublished, 2001, http://www.math.ias.edu/vladimir/files/framed.pdf
2001
-
[33]
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
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.