Reconstructing rational stable motivic homotopy theory

Abstract

Using a recent computation of the rational minus part of $SH(k)$ by Ananyevskiy, Levine and Panin, a theorem of Cisinski and Déglise and a version of the Röndigs and Østvær theorem, rational stable motivic homotopy theory over an infinite perfect field of characteristic different from 2 is recovered in this paper from finite Milnor–Witt correspondences in the sense of Calmès and Fasel.

1 Introduction

By the celebrated Serre finiteness theorem [Ser53] the positive stable homotopy groups of the classical sphere spectrum with rational coefficients are zero. This implies that the stable homotopy category of $S^{1}$ -spectra with rational coefficients $SH_{\mathbb{Q}}$ is naturally equivalent to the homotopy category of $H\mathbb{Q}$ -modules $\operatorname{Ho}(\operatorname{Mod}H\mathbb{Q})$ , where $H\mathbb{Q}$ is the Eilenberg–Mac Lane symmetric spectrum of $\mathbb{Q}$ . By the Robinson theorem [Rob87] the homotopy category of $HA$ -modules $\operatorname{Ho}(\operatorname{Mod}HA)$ , where $A$ is a ring with identity, is equivalent to the derived category $D(A)$ of $A$ . Thus $SH_{\mathbb{Q}}$ is naturally equivalent to the derived category of rational vector spaces $D(\mathbb{Q})$ .

In the motivic world the role of a ring is played by a ‘preadditive category of correspondences’ ${\mathcal{A}}$ whose objects are the smooth algebraic varieties $Sm/k$ over a field $k$ . Using the category theory terminology, ${\mathcal{A}}$ is a ring with several objects, whose objects are those of $Sm/k$ . In turn, the role of the classical derived category over a ring is played by the category $DM_{{\mathcal{A}}}(k)$ , which is just an extension of the celebrated Voevodsky triangulated category [Voe00b] $DM(k)$ to general correspondences. Since motivic homotopy theory requires the Nisnevich topology and contractability of the affine line $\mathbb{A}^{1}$ , we require the relevant properties for ${\mathcal{A}}$ to satisfy (see § 2 for details).

The rational stable motivic homotopy theory $SH(k)_{\mathbb{Q}}$ splits in two parts: $SH^{+}(k)_{\mathbb{Q}}$ and $SH^{-}(k)_{\mathbb{Q}}$ . The plus part $SH^{+}(k)_{\mathbb{Q}}$ is equivalent to Voevodsky’s $DM(k)_{\mathbb{Q}}$ (this follows from a theorem of Cisinski and Déglise [CD12, Theorem 16.2.13]). Ananyevskiy, Levine and Panin [ALP17] have computed $SH^{-}(k)_{\mathbb{Q}}$ as the category of Witt motives with rational coefficients (see also Bachmann [Bac18]). Using these results, we show in Theorem 4.2 that the rational motivic sphere spectrum $\mathbb{S}\otimes \mathbb{Q}$ is naturally equivalent to the ‘additive motivic sphere spectrum’ $\mathbb{S}^{\text{MW}}\otimes \mathbb{Q}$ associated with the additive category of finite Milnor–Witt correspondences $\widetilde{\operatorname{Cor}}$ in the sense of Calmès and Fasel [CF14].

Next, we extend the Röndigs–Østvær theorem [RØ08a, Theorem 1] to the triangulated category $DM_{{\mathcal{A}}}(k)$ (see Theorem 5.3). This extension is of independent interest. For example, it is of great utility to compare various triangulated categories of motives in [Gar18]. The generalized Röndigs–Østvær theorem can also be regarded as a motivic counterpart of the Robinson theorem [Rob87].

Theorem 4.2 computing $\mathbb{S}\,\otimes \,\mathbb{Q}$ and the generalized Röndigs–Østvær’s theorem (Theorem 5.3) together lead to the proof of the main result of the paper which is formulated as follows (see Theorem 5.5).

Theorem (Reconstruction). If $k$ is an infinite perfect field of characteristic not $2$ , then $SH(k)_{\mathbb{Q}}$ is equivalent to the triangulated category of Milnor–Witt motives with rational coefficients $DM_{\text{MW}}(k)_{\mathbb{Q}}$ in the sense of [DF17]. The equivalence preserves the triangulated structure.

One of the approaches to constructing motivic homotopy theory, pioneered by Voevodsky, is to use various correspondences on smooth algebraic varieties. This approach has many computational advantages. Voevodsky [Voe00b] constructed the category of motives $DM(k)$ by using finite correspondences. Later he developed the theory of framed correspondences [Voe01]. One of the aims was to suggest another framework for Morel and Voevodsky’s stable motivic homotopy theory $SH(k)$ . In [GP14b] the author and Panin use Voevodsky’s theory to develop the theory of big framed motives which converts the classical Morel–Voevodsky stable motivic homotopy theory into an equivalent local theory of framed bispectra.

One of the central objects of the theory of (big) framed motives in the sense of [GP14b] is linear framed motives of algebraic varieties. These are explicitly constructed complexes of Nisnevich sheaves with framed correspondences $\mathbb{Z}F(-\times \unicode[STIX]{x1D6E5}^{\bullet },X)$ , where $X\in Sm/k$ . As an application of the reconstruction theorem we prove the following result comparing motivic complexes with framed and Milnor–Witt correspondences respectively (see Theorem 6.1).

Theorem (Comparison). Given an infinite perfect field of characteristic not $2$ and a $k$ -smooth scheme $X$ , each morphism of complexes of Nisnevich sheaves

$$\begin{eqnarray}f_{n}:\mathbb{Z}F(-\times \unicode[STIX]{x1D6E5}^{\bullet },X\times \mathbb{G}_{m}^{\wedge n})\otimes \mathbb{Q}\rightarrow \widetilde{\operatorname{Cor}}(-\times \unicode[STIX]{x1D6E5}^{\bullet },X\times \mathbb{G}_{m}^{\wedge n})_{\operatorname{ nis}}\otimes \mathbb{Q},\quad n\geqslant 0,\end{eqnarray}$$

is a quasi-isomorphism, where the left complex is the $n$ -twisted linear framed motive of $X$ with rational coefficients in the sense of [GP14b].

Throughout the paper we denote by $Sm/k$ the category of smooth separated schemes of finite type over the base field $k$ .

2 Additive categories of correspondences

In this section we set up a framework within which we shall work later.

Definition 2.1. We say that a preadditive category ${\mathcal{A}}$ is a category of correspondences if the following conditions apply.

(i) Its objects are those of $Sm/k$ . Its morphisms are also referred to as ${\mathcal{A}}$ -correspondences or just correspondences.

(ii) There is a functor $\unicode[STIX]{x1D70C}:Sm/k\rightarrow {\mathcal{A}}$ which is the identity map on objects. The image $\unicode[STIX]{x1D70C}(f)$ of a morphism of smooth schemes $f:X\rightarrow Y$ will be referred to as the graph of  $f$ and denoted by $\unicode[STIX]{x1D6E4}_{f}$ . We have, in particular, that $\unicode[STIX]{x1D6E4}_{gf}=\unicode[STIX]{x1D6E4}_{g}\circ \unicode[STIX]{x1D6E4}_{f}$ and $\unicode[STIX]{x1D6E4}_{\operatorname{id}}=\operatorname{id}$ . Thus we have a functor

$$\begin{eqnarray}{\mathcal{A}}:(Sm/k)^{\text{op}}\times Sm/k\rightarrow \operatorname{Ab},\quad (X,Y)\mapsto {\mathcal{A}}(X,Y),\end{eqnarray}$$

such that ${\mathcal{A}}(1_{X},g)=\unicode[STIX]{x1D6E4}_{g}\circ -$ and ${\mathcal{A}}(h,1_{Y})=-\circ \unicode[STIX]{x1D6E4}_{h}$ .

(iii) For every elementary Nisnevich square

the sequence of Nisnevich sheaves

$$\begin{eqnarray}0\rightarrow {\mathcal{A}}(-,U^{\prime })_{\operatorname{ nis}}\rightarrow {\mathcal{A}}(-,U)_{\operatorname{nis}}\oplus {\mathcal{A}}(-,X^{\prime })_{\operatorname{ nis}}\rightarrow {\mathcal{A}}(-,X)_{\operatorname{nis}}\rightarrow 0\end{eqnarray}$$

is exact. Moreover, we require ${\mathcal{A}}(-,\emptyset )_{\operatorname{nis}}=0$ (corresponding to the ‘degenerate distinguished square’, $\emptyset$ , with only one entry in the lower right-hand corner).

(iv) For every ${\mathcal{A}}$ -presheaf ${\mathcal{F}}$ (i.e. an additive contravariant functor from ${\mathcal{A}}$ to Abelian groups Ab) the associated Nisnevich sheaf ${\mathcal{F}}_{\operatorname{nis}}$ has a unique structure of an ${\mathcal{A}}$ -presheaf for which the canonical morphism ${\mathcal{F}}\rightarrow {\mathcal{F}}_{\operatorname{nis}}$ is a morphism of ${\mathcal{A}}$ -presheaves.

(v) There is an action of $Sm/k$ on ${\mathcal{A}}$ in the following sense. Given $U\in Sm/k$ , there is a homomorphism

$$\begin{eqnarray}\unicode[STIX]{x1D6FC}_{U}:{\mathcal{A}}(X,Y)\rightarrow {\mathcal{A}}(X\times U,Y\times U),\end{eqnarray}$$

functorial in $X$ and $Y$ , such that for any morphism $f:U\rightarrow V$ in $Sm/k$ the following square of abelian groups is commutative:

We require $\unicode[STIX]{x1D6FC}_{U}(\operatorname{id}_{X})=\operatorname{id}_{X\times U}$ for all $U,Z\in Sm/k$ . By the functoriality of $\unicode[STIX]{x1D6FC}_{U}$ in $X$ we mean that the following square of Abelian groups is commutative for any $Y\in Sm/k$ and any morphism $f:X^{\prime }\rightarrow X$ in ${\mathcal{A}}$ :

By the functoriality of $\unicode[STIX]{x1D6FC}_{U}$ in $Y$ we mean that the following square of additive functors is commutative for any $X\in Sm/k$ and any morphism $g:Y\rightarrow Y^{\prime }$ in ${\mathcal{A}}$ :

In other words, we have a functor

$$\begin{eqnarray}\boxtimes :{\mathcal{A}}\times Sm/k\rightarrow {\mathcal{A}}\end{eqnarray}$$

sending $(X,U)\in Sm/k\times Sm/k$ to $X\times U\in Sm/k$ and such that $1_{X}\boxtimes f=\unicode[STIX]{x1D6E4}_{1_{X}\times f}$ , $(u+v)\boxtimes f=u\boxtimes f+v\boxtimes f$ for all $f\in \operatorname{Mor}(Sm/k)$ and $u,v\in \operatorname{Mor}({\mathcal{A}})$ .

Remark 2.2. It follows from Definition 2.1(iii) that the canonical morphism

$$\begin{eqnarray}{\mathcal{A}}(-,X)_{\operatorname{nis}}\oplus {\mathcal{A}}(-,Y)_{\operatorname{nis}}\rightarrow {\mathcal{A}}(-,X\sqcup Y)_{\operatorname{nis}}\end{eqnarray}$$

is an isomorphism of Nisnevich sheaves.

Observe that for any category of correspondences ${\mathcal{A}}$ , an ${\mathcal{A}}$ -presheaf ${\mathcal{F}}$ and $U\in Sm/k$ the presheaf

$$\begin{eqnarray}\text{}\underline{\operatorname{Hom}}(U,{\mathcal{F}}):={\mathcal{F}}(-\times U)\end{eqnarray}$$

is an ${\mathcal{A}}$ -presheaf. Moreover, it is functorial in $U$ .

For instance, ${\mathcal{A}}$ can be given by the naive preadditive category of correspondences ${\mathcal{A}}_{\text{naive}}$ , with ${\mathcal{A}}_{\text{naive}}(X,Y)$ being the free abelian group generated by $\operatorname{Hom}_{Sm/k}(X,Y)$ . Non-trivial examples are given by finite correspondences $\operatorname{Cor}$ in the sense of Voevodsky [Voe00b], finite Milnor–Witt correspondences $\widetilde{\operatorname{Cor}}$ in the sense of Calmès and Fasel [CF14] or $K_{0}^{\oplus }$ in the sense of Walker [Wal96]. Given a ring $R$ (not necessarily commutative) which is flat as a $\mathbb{Z}$ -algebra and a category of correspondences ${\mathcal{A}}$ , we can form an additive category of correspondences ${\mathcal{A}}_{R}$ with coefficients in $R$ . By definition, ${\mathcal{A}}_{R}(X,Y):={\mathcal{A}}(X,Y)\otimes R$ for all $X,Y\in Sm/k$ .

Definition 2.3. We say that a category of correspondences ${\mathcal{A}}$ is a $V$ -category of correspondences (‘ $V$ ’ for Voevodsky) if for any $\mathbb{A}^{1}$ -invariant ${\mathcal{A}}$ -presheaf of abelian groups ${\mathcal{F}}$ the associated Nisnevich sheaf ${\mathcal{F}}_{\operatorname{nis}}$ is $\mathbb{A}^{1}$ -invariant. Recall that a Nisnevich sheaf ${\mathcal{F}}$ of abelian groups is strictly  $\mathbb{A}^{1}$ -invariant if for any $X\in Sm/k$ the canonical morphism

$$\begin{eqnarray}H_{\operatorname{nis}}^{\ast }(X,{\mathcal{F}})\rightarrow H_{\operatorname{ nis}}^{\ast }(X\times \mathbb{A}^{1},{\mathcal{F}})\end{eqnarray}$$

is an isomorphism. A $V$ -category of correspondences ${\mathcal{A}}$ is a strict $V$ -category of correspondences if for any $\mathbb{A}^{1}$ -invariant ${\mathcal{A}}$ -presheaf of abelian groups ${\mathcal{F}}$ the associated Nisnevich sheaf ${\mathcal{F}}_{\operatorname{nis}}$ is strictly $\mathbb{A}^{1}$ -invariant.

Observe that any (strict) $V$ -category of correspondences is a (strict) $V$ -ringoid in the sense of [GP14a]. For example, $\operatorname{Cor}$ and $K_{0}^{\oplus }$ are $V$ -categories of correspondences, which are strict whenever the base field $k$ is perfect (see [Voe00a, Wal96]). The category $\widetilde{\operatorname{Cor}}$ is a $V$ -category of correspondences, which is strict if $k$ is infinite and perfect with $\operatorname{char}k\not =2$ (see [DF17, Kol17]). Observe that if ${\mathcal{A}}$ is a $V$ -category of correspondences then so is ${\mathcal{A}}_{R}$ with $R$ commutative flat as a $\mathbb{Z}$ -algebra. Moreover, if $R$ is a ring of fractions of $\mathbb{Z}$ like, for example, $\mathbb{Z}[1/p]$ or $\mathbb{Q}$ , then ${\mathcal{A}}_{R}$ is a strict $V$ -category of correspondences whenever ${\mathcal{A}}$ is.

Let ${\mathcal{A}}$ be a category of correspondences. Let $Sh(Sm/k)$ (respectively, $Sh({\mathcal{A}})$ ) denote the category of Nisnevich sheaves on $Sm/k$ (respectively, Nisnevich ${\mathcal{A}}$ -sheaves). Similar to [GP12, Corollary 6.4], $Sh({\mathcal{A}})$ is a Grothendieck category such that $\{{\mathcal{A}}{(-,X)_{\operatorname{nis}}\}}_{X\in Sm/k}$ is a family of generators of $Sh({\mathcal{A}})$ . Denote by $D(Sh(Sm/k))$ and $D(Sh({\mathcal{A}}))$ the corresponding derived categories of unbounded complexes. Note that $D(Sh(Sm/k))=D(Sh({\mathcal{A}}_{\text{naive}}))$ .

The category $\mathbb{M}$ of motivic spaces consists of contravariant functors from $Sm/k$ to pointed simplicial sets. We refer the reader to [Jar00, MV99] for the definition of motivic weak equivalences between motivic spaces.

Lemma 2.4. Given any field $k$ , let ${\mathcal{A}}$ be a category of correspondences. Then the natural map

$$\begin{eqnarray}f:{\mathcal{A}}(-,X\times \mathbb{A}^{1})\rightarrow {\mathcal{A}}(-,X)\end{eqnarray}$$

is a motivic weak equivalence in the category of motivic spaces $\mathbb{M}$ .

Proof. We follow an argument of [RØ08a, p. 694]. As in classical algebraic topology, an inclusion of pointed motivic spaces $g:A\rightarrow B$ is an $\mathbb{A}^{1}$ -deformation retract if there exist a map $r:B\rightarrow A$ such that $rg=\operatorname{id}_{A}$ and an $\mathbb{A}^{1}$ -homotopy $H:B\wedge \mathbb{A}_{+}^{1}\rightarrow B$ between $gr$ and $\operatorname{id}_{B}$ which is constant on $A$ . Then $\mathbb{A}^{1}$ -deformation retracts are motivic weak equivalences.

There is an obvious map $r:{\mathcal{A}}(-,X)\rightarrow {\mathcal{A}}(-,X\times \mathbb{A}^{1})$ such that $fr=1$ . Since $Sm/k$ naturally acts on ${\mathcal{A}}$ , it follows that ${\mathcal{A}}(-\times \mathbb{A}^{1},X\times \mathbb{A}^{1})$ is an ${\mathcal{A}}$ -presheaf.

There is a natural isomorphism

$$\begin{eqnarray}\operatorname{Hom}({\mathcal{A}}(-,X\times \mathbb{A}^{1}),{\mathcal{A}}(-\times \mathbb{A}^{1},X\times \mathbb{A}^{1}))\cong {\mathcal{A}}(X\times \mathbb{A}^{1}\times \mathbb{A}^{1},X\times \mathbb{A}^{1}),\end{eqnarray}$$

where the Hom-set on the left is taken in the category of ${\mathcal{A}}$ -presheaves. Consider the functor $\unicode[STIX]{x1D70C}:Sm/k\rightarrow {\mathcal{A}}$ . Denote by $\unicode[STIX]{x1D6FC}$ the obvious map $\mathbb{A}^{1}\times \mathbb{A}^{1}\rightarrow \mathbb{A}^{1}$ . We set $h=\unicode[STIX]{x1D70C}(1_{X}\times \unicode[STIX]{x1D6FC})$ ; then $h$ uniquely determines a morphism of ${\mathcal{A}}$ -presheaves

$$\begin{eqnarray}h^{\prime }:{\mathcal{A}}(-,X\times \mathbb{A}^{1})\rightarrow {\mathcal{A}}(-\times \mathbb{A}^{1},X\times \mathbb{A}^{1}).\end{eqnarray}$$

This morphism can be regarded as a morphism in $\mathbb{M}$ , denoted by the same letter. By adjointness $h^{\prime }$ uniquely determines a map in $\mathbb{M}$ ,

$$\begin{eqnarray}H:{\mathcal{A}}(-,X\times \mathbb{A}^{1})\wedge \mathbb{A}_{+}^{1}\rightarrow {\mathcal{A}}(-,X\times \mathbb{A}^{1}).\end{eqnarray}$$

Then $H$ yields an $\mathbb{A}^{1}$ -homotopy between the identity map and $rf$ . We see that $f$ is a motivic weak equivalence, as required.◻

By the general localization theory of compactly generated triangulated categories [Nee96] one can localize $D(Sh({\mathcal{A}}))$ with respect to the localizing subcategory ${\mathcal{L}}$ generated by complexes of the form

$$\begin{eqnarray}\cdots \rightarrow 0\rightarrow {\mathcal{A}}(-,X\times \mathbb{A}^{1})_{\operatorname{ nis}}\xrightarrow[{}]{pr_{X}}{\mathcal{A}}(-,X)_{\operatorname{nis}}\rightarrow 0\rightarrow \cdots \,,\quad X\in Sm/k.\end{eqnarray}$$

The resulting quotient category $D(Sh({\mathcal{A}}))/{\mathcal{L}}$ is denoted by $D_{\mathbb{A}^{1}}(Sh({\mathcal{A}}))$ .

If we denote by $DM_{{\mathcal{A}}}^{\text{eff}}(k)$ the full subcategory of $D(Sh({\mathcal{A}}))$ consisting of the complexes with strictly $\mathbb{A}^{1}$ -invariant homology sheaves, then, similarly to a theorem of Voevodsky [Voe00a], the composite functor

$$\begin{eqnarray}DM_{{\mathcal{A}}}^{\text{eff}}(k){\hookrightarrow}D(Sh({\mathcal{A}}))\rightarrow D_{\mathbb{A}^{1}}(Sh({\mathcal{A}}))\end{eqnarray}$$

is an equivalence of triangulated categories whenever ${\mathcal{A}}$ is a strict $V$ -category of correspondences. Moreover, the functor

$$\begin{eqnarray}C_{\ast }:D(Sh({\mathcal{A}}))\rightarrow D(Sh({\mathcal{A}})),\quad X\mapsto \text{Tot}(X(-\times \unicode[STIX]{x1D6E5}^{\bullet }))\end{eqnarray}$$

lands in $DM_{{\mathcal{A}}}^{\text{eff}}(k)$ . The kernel of $C_{\ast }$ is ${\mathcal{L}}$ and $C_{\ast }$ is left adjoint to the inclusion functor

$$\begin{eqnarray}i:DM_{{\mathcal{A}}}^{\text{eff}}(k){\hookrightarrow}D(Sh({\mathcal{A}}))\end{eqnarray}$$

(see [Voe00a] for details or [GP14a, Theorem 3.5]).

Let $(\mathbb{G}_{m},1)\in \mathbb{M}$ denote $\mathbb{G}_{m}$ pointed at 1 and let $\mathbb{G}_{m}^{{\mathcal{A}}}$ be the sheaf

$$\begin{eqnarray}\operatorname{Coker}({\mathcal{A}}(-,pt)_{\operatorname{nis}}\rightarrow {\mathcal{A}}(-,\mathbb{G}_{m})_{\operatorname{nis}})\end{eqnarray}$$

induced by the map $pt\mapsto 1\in \mathbb{G}_{m}$ in $Sm/k$ . Regarding it as a complex concentrated in zeroth degree, we have an endofunctor

$$\begin{eqnarray}-\boxtimes \mathbb{G}_{m}^{{\mathcal{A}}}:D_{\mathbb{ A}^{1}}(Sh({\mathcal{A}}))\rightarrow D_{\mathbb{A}^{1}}(Sh({\mathcal{A}})),\end{eqnarray}$$

induced by the action of $Sm/k$ on ${\mathcal{A}}$ . In more detail, by [AG16, Proposition 3.4], $\operatorname{Ch}(Sh({\mathcal{A}}))$ is a Grothendieck category with generators of the form $\{D^{n}{\mathcal{A}}{(-,U)_{\operatorname{nis}}\}}_{n\in \mathbb{Z},U\in Sm/k}$ . Here $D^{n}{\mathcal{A}}(-,U)_{\operatorname{nis}}$ is the complex which is ${\mathcal{A}}(-,U)_{\operatorname{nis}}$ in degrees $n$ and $n-1$ and 0 elsewhere, with interesting differential being the identity map. Every complex $X\in \operatorname{Ch}(Sh({\mathcal{A}}))$ is written as a colimit of generators,

$$\begin{eqnarray}X=\operatorname{colim}_{(D^{n}{\mathcal{A}}(-,U)_{\operatorname{nis}}\rightarrow X)}D^{n}{\mathcal{A}}(-,U)_{\operatorname{ nis}}.\end{eqnarray}$$

We set

$$\begin{eqnarray}X\boxtimes \mathbb{G}_{m}^{{\mathcal{A}}}:=\operatorname{colim}_{(D^{n}{\mathcal{A}}(-,U)_{\operatorname{nis}}\rightarrow X)}D^{n}{\mathcal{A}}(-,U\wedge \mathbb{G}_{m}^{\wedge 1})_{\operatorname{ nis}},\end{eqnarray}$$

where the sheaf ${\mathcal{A}}(-,U\wedge \mathbb{G}_{m}^{\wedge 1})_{\operatorname{nis}}:=\operatorname{Coker}({\mathcal{A}}(-,U\times pt)_{\operatorname{nis}}\rightarrow {\mathcal{A}}(-,U\times \mathbb{G}_{m})_{\operatorname{nis}})$ .

Stabilizing $D_{\mathbb{A}^{1}}(Sh({\mathcal{A}}))$ in the $\mathbb{G}_{m}$ -direction with respect to this endofunctor, we arrive at the category $D_{\mathbb{A}^{1}}^{\text{st}}(Sh({\mathcal{A}}))$ . If ${\mathcal{A}}$ is a strict $V$ -category of correspondences, we can likewise stabilize $DM_{{\mathcal{A}}}^{\text{eff}}(k)$ in the $\mathbb{G}_{m}$ -direction. The resulting category is denoted by $DM_{{\mathcal{A}}}(k)$ . The triangulated equivalence $C_{\ast }:D_{\mathbb{A}^{1}}(Sh({\mathcal{A}}))\rightarrow DM_{{\mathcal{A}}}^{\text{eff}}(k)$ extends to a triangulated equivalence

$$\begin{eqnarray}C_{\ast }:D_{\mathbb{A}^{1}}^{\text{st}}(Sh({\mathcal{A}}))\rightarrow DM_{{\mathcal{A}}}(k).\end{eqnarray}$$

Given a category of correspondences ${\mathcal{A}}$ and $p>0$ , we shall write $D_{\mathbb{A}^{1}}^{\text{st}}(Sh({\mathcal{A}}))[p^{-1}]$ (respectively, $D_{\mathbb{A}^{1}}^{\text{st}}(Sh({\mathcal{A}}))_{\mathbb{ Q}}$ ) to denote the category $D_{\mathbb{A}^{1}}^{\text{st}}(Sh({\mathcal{A}}\otimes \mathbb{Z}[1/p]))(k)$ (respectively, $D_{\mathbb{A}^{1}}^{\text{st}}(Sh({\mathcal{A}}\otimes \mathbb{Q}))(k)$ ). Note that ${\mathcal{A}}\otimes \mathbb{Z}[1/p]$ and ${\mathcal{A}}\otimes \mathbb{Q}$ are categories of correspondences.

Definition 2.5. We say that a category of correspondences ${\mathcal{A}}$ is symmetric monoidal if the usual product of schemes defines a symmetric monoidal structure on ${\mathcal{A}}$ .

The categories $\operatorname{Cor}$ , $\widetilde{\operatorname{Cor}}$ , $K_{0}^{\oplus }$ are examples of symmetric monoidal $V$ -categories (see [CF14, DF17, Sus03, SV00, Wal96] for more details). ${\mathcal{A}}_{\text{naive}}$ is obviously symmetric monoidal.

Given a symmetric monoidal category of correspondences ${\mathcal{A}}$ , a theorem of Day [Day70] implies that the category of ${\mathcal{A}}$ -presheaves $PSh({\mathcal{A}})$ is a closed symmetric monoidal category with a tensor product defined as

$$\begin{eqnarray}X\otimes Y=\int ^{(U,V)\in {\mathcal{A}}\times {\mathcal{A}}}X(U)\otimes Y(V)\otimes {\mathcal{A}}(-,U\times V).\end{eqnarray}$$

The monoidal unit equals ${\mathcal{A}}(-,pt)$ with $pt=\operatorname{Spec}k$ .

The tensor product is then extended to a tensor product $\widetilde{\otimes }$ on $Sh({\mathcal{A}})$ . Namely, for all $F,G\in Sh({\mathcal{A}})$ we set $F\,\widetilde{\otimes }\,G$ to be the sheaf associated with the presheaf $F\otimes G$ defined above. With this tensor product $Sh({\mathcal{A}})$ is a closed symmetric monoidal category with ${\mathcal{A}}(-,pt)_{\operatorname{nis}}$ a monoidal unit. Likewise, $\widetilde{\otimes }$ is extended to chain complexes $\operatorname{Ch}(Sh({\mathcal{A}}))$ , which also defines a closed symmetric monoidal structure on the derived category $D(Sh({\mathcal{A}}))$ with respect to the derived tensor product $\widetilde{\otimes }^{L}$ (we also refer the reader to [SV00, § 2] and [CD09, Example 3.3]). It is straightforward to show that the localizing subcategory ${\mathcal{L}}$ of $D(Sh({\mathcal{A}}))$ defined above is closed under the derived tensor product $\widetilde{\otimes }^{L}$ . As a result, one obtains a symmetric monoidal product on $D_{\mathbb{A}^{1}}^{\text{st}}(Sh({\mathcal{A}}))$ (and on $DM_{{\mathcal{A}}}^{\text{eff}}(k)$ , $DM_{{\mathcal{A}}}(k)$ if ${\mathcal{A}}$ is a strict $V$ -category).

Remark 2.6. Let ${\mathcal{A}}$ be a symmetric monoidal strict $V$ -category of correspondences. With a little extra care we describe the tensor product in $DM_{{\mathcal{A}}}(k)$ explicitly as follows. The endofunctor $-\boxtimes \mathbb{G}_{m}^{{\mathcal{A}}}:\operatorname{Ch}(Sh({\mathcal{A}}))\rightarrow \operatorname{Ch}(Sh({\mathcal{A}}))$ equals $-\,\widetilde{\otimes }\,\mathbb{G}_{m}^{{\mathcal{A}}}$ . $DM_{{\mathcal{A}}}(k)$ is equivalent to the homotopy category of the symmetric $\mathbb{G}_{m}^{{\mathcal{A}}}$ -spectra associated to a monoidal motivic model category structure on $\operatorname{Ch}(Sh({\mathcal{A}}))$ . We also refer the reader to [DF17], where a monoidal model structure is defined in the case of $MW$ -correspondences.

3 The additive motivic sphere spectrum $\mathbb{S}^{{\mathcal{A}}}$

Let $Sp_{S^{1},\mathbb{G}_{m}}(k)$ denote the category of symmetric $(S^{1},\mathbb{G}_{m})$ -bispectra, where the $\mathbb{G}_{m}$ -direction is associated with the pointed motivic space $(\mathbb{G}_{m},1)$ . It is equipped with a stable motivic model category structure [Jar00]. Denote by $SH(k)$ its homotopy category. The category $SH(k)$ has a closed symmetric monoidal structure with the motivic sphere spectrum $\mathbb{S}$ as monoidal unit (see [Jar00] for details). Given $p>0$ , the category $Sp_{S^{1},\mathbb{G}_{m}}(k)$ has a further model structure whose weak equivalences are the maps of bispectra $f:X\rightarrow Y$ such that the induced map of bigraded Nisnevich sheaves $f_{\ast }:\text{}\underline{\unicode[STIX]{x1D70B}}_{\ast ,\ast }^{\mathbb{A}^{1}}(X)\otimes \mathbb{Z}[1/p]\rightarrow \text{}\underline{\unicode[STIX]{x1D70B}}_{\ast ,\ast }^{\mathbb{A}^{1}}(Y)\otimes \mathbb{Z}[1/p]$ is an isomorphism. In what follows we denote its homotopy category by $SH(k)[p^{-1}]$ . The category $SH(k)_{\mathbb{Q}}$ is defined in a similar fashion. The corresponding classes of weak equivalences are also called $p^{-1}$ -stable/ $\mathbb{Q}$ -stable motivic weak equivalences. We also refer the reader to [RØ08b, Appendix A] for general localization theory of motivic spectra.

It is worth mentioning that any other kind of motivic spectra or motivic functors in the sense of [DRØ03] together with the stable motivic model structure lead to equivalent definitions of $SH(k)[p^{-1}]$ and $SH(k)_{\mathbb{Q}}$ , respectively.

The isomorphism $\operatorname{tw}:(\mathbb{G}_{m},1)\wedge (\mathbb{G}_{m},1)\overset{\cong }{\longrightarrow }(\mathbb{G}_{m},1)\wedge (\mathbb{G}_{m},1)$ permuting factors is an involution, that is, $\operatorname{tw}^{2}=\operatorname{id}$ . It gives an endomorphism $\unicode[STIX]{x1D700}:\mathbb{S}\rightarrow \mathbb{S}$ such that $\unicode[STIX]{x1D700}^{2}=\operatorname{id}$ . If we denote by $SH(k)[2^{-1}]$ the stable motivic homotopy theory with $\mathbb{Z}[1/2]$ -coefficients, then

$$\begin{eqnarray}\unicode[STIX]{x1D700}_{+}=-\frac{\unicode[STIX]{x1D700}-1}{2}\quad \text{and}\quad \unicode[STIX]{x1D700}_{-}=\frac{\unicode[STIX]{x1D700}+1}{2}\end{eqnarray}$$

are two orthogonal idempotent endomorphisms of $\mathbb{S}[2^{-1}]$ such that $\unicode[STIX]{x1D700}_{+}+\unicode[STIX]{x1D700}_{-}=\operatorname{id}$ and $\unicode[STIX]{x1D700}=\unicode[STIX]{x1D700}_{-}-\unicode[STIX]{x1D700}_{+}$ . It follows that

$$\begin{eqnarray}\mathbb{S}[2^{-1}]=\mathbb{S}_{+}\oplus \mathbb{S}_{-},\end{eqnarray}$$

where $\mathbb{S}_{+}$ (respectively, $\mathbb{S}_{-}$ ) corresponds to the idempotent $\unicode[STIX]{x1D700}_{+}$ (respectively, $\unicode[STIX]{x1D700}_{-}$ ).

By [Mor03, § 6] the stable algebraic Hopf map $\unicode[STIX]{x1D702}:\mathbb{S}\rightarrow \mathbb{S}^{-1,-1}$ satisfies $\unicode[STIX]{x1D702}\unicode[STIX]{x1D700}_{+}=0$ , $\unicode[STIX]{x1D702}\unicode[STIX]{x1D700}=\unicode[STIX]{x1D702}$ in $SH(k)[2^{-1}]$ . Moreover,

$$\begin{eqnarray}\mathbb{S}_{-}{\hookrightarrow}\mathbb{S}[2^{-1}]\xrightarrow[{}]{\unicode[STIX]{x1D702}}\mathbb{S}^{-1,-1}[2^{-1}]{\twoheadrightarrow}\mathbb{S}_{-}^{-1,-1}\end{eqnarray}$$

is an isomorphism in $SH(k)[2^{-1}]$ , denoted by the same letter $\unicode[STIX]{x1D702}$ . In particular, there is an isomorphism

$$\begin{eqnarray}\mathbb{S}_{-}\cong \mathbb{S}[\unicode[STIX]{x1D702}^{-1},2^{-1}]=\operatorname{hocolim}_{SH(k)[2^{-1}]}(\mathbb{S}\overset{\unicode[STIX]{x1D702}}{\longrightarrow }\mathbb{S}^{-1,-1}\overset{\unicode[STIX]{x1D702}}{\longrightarrow }\mathbb{S}^{-2,-2}\overset{\unicode[STIX]{x1D702}}{\longrightarrow }\cdots \,).\end{eqnarray}$$

The decomposition $\mathbb{S}[2^{-1}]=\mathbb{S}_{+}\oplus \mathbb{S}_{-}$ of the monoidal unit of $SH(k)[2^{-1}]$ implies $SH(k)[2^{-1}]$ is a product of symmetric monoidal triangulated categories

$$\begin{eqnarray}SH(k)[2^{-1}]=SH(k)_{+}\times SH(k)_{-},\end{eqnarray}$$

where $\mathbb{S}_{+}$ and $\mathbb{S}_{-}$ are monoidal units for $SH(k)_{+}$ and $SH(k)_{-}$ , respectively.

Consider a category of correspondences ${\mathcal{A}}$ . There is a natural triangulated functor

$$\begin{eqnarray}F:SH(k)\rightarrow D_{\mathbb{A}^{1}}^{\text{st}}(Sh({\mathcal{A}})).\end{eqnarray}$$

In more detail, there is an adjoint pair [GP12, § 6]

$$\begin{eqnarray}SH_{S^{1}}(k)\rightleftarrows \operatorname{Ho}(\operatorname{Mod}{\mathcal{A}}^{\text{EM}}),\end{eqnarray}$$

where $\operatorname{Mod}{\mathcal{A}}^{\text{EM}}$ is the category of ${\mathcal{A}}^{\text{EM}}$ -modules equipped with the stable projective motivic model structure over the Eilenberg–Mac Lane spectral category ${\mathcal{A}}^{\text{EM}}$ associated with ${\mathcal{A}}$ . Also, there is a zig-zag of triangulated equivalences between $\operatorname{Ho}(\operatorname{Mod}{\mathcal{A}}^{\text{EM}})$ and $D_{\mathbb{A}^{1}}(Sh({\mathcal{A}}))$ . Then the resulting functor

$$\begin{eqnarray}SH_{S^{1}}(k)\rightarrow D_{\mathbb{A}^{1}}(Sh({\mathcal{A}}))\end{eqnarray}$$

is naturally extended to $\mathbb{G}_{m}$ -spectra in both categories.

The functor $F$ sends each bispectrum $\unicode[STIX]{x1D6F4}_{S^{1}}^{\infty }\unicode[STIX]{x1D6F4}_{\mathbb{G}_{m}}^{\infty }X_{+}$ , $X\in Sm/k$ , to a $\mathbb{G}_{m}$ -spectrum isomorphic to

$$\begin{eqnarray}{\mathcal{A}}(X)_{\mathbb{G}_{m}}^{\infty }:=({\mathcal{A}}(-,X)_{\operatorname{ nis}},{\mathcal{A}}(-,X\wedge \mathbb{G}_{m}^{\wedge 1})_{\operatorname{ nis}},{\mathcal{A}}(-,X\wedge \mathbb{G}_{m}^{\wedge 2})_{\operatorname{ nis}},\ldots )\in D_{\mathbb{A}^{1}}^{\text{st}}(Sh({\mathcal{A}})).\end{eqnarray}$$

Here each entry is a complex in degree $0$ , each ${\mathcal{A}}(-,X\wedge \mathbb{G}_{m}^{\wedge n})_{\operatorname{nis}}$ is a sheaf associated to the presheaf

$$\begin{eqnarray}{\mathcal{A}}(-,X\times \mathbb{G}_{m}^{\wedge n}))={\mathcal{A}}(-,X\times \mathbb{G}_{m}^{\times n}))\bigg/\mathop{\sum }_{s=1}^{n}(i_{s})_{\ast }{\mathcal{A}}(-,X\times \mathbb{G}_{m}^{\times n-1})),\end{eqnarray}$$

where the natural additive functors $i_{s}:{\mathcal{A}}(-,X\times \mathbb{G}_{m}^{\times (\ell -1)})\rightarrow {\mathcal{A}}(-,X\times \mathbb{G}_{m}^{\times \ell })$ are induced by the embeddings $i_{s}:\mathbb{G}_{m}^{\times (\ell -1)}\rightarrow \mathbb{G}_{m}^{\times \ell }$ of the form

$$\begin{eqnarray}(x_{1},\ldots ,x_{\ell -1})\longmapsto (x_{1},\ldots ,1,\ldots ,x_{\ell -1}),\end{eqnarray}$$

in which 1 is the $s$ th coordinate.

Note that $F$ factors through the stable $\mathbb{A}^{1}$ -derived category $D_{\mathbb{A}^{1}}(k):=D_{\mathbb{A}^{1}}^{\text{st}}(Sh({\mathcal{A}}_{\text{naive}}))$ in the sense of Morel [Mor04] (see also [CD12, § 5.3]). In what follows we shall denote by $H_{\mathbb{A}^{1}}\mathbb{Z}$ its monoidal unit. Note that $H_{\mathbb{A}^{1}}\mathbb{Z}$ is the image of $\mathbb{S}$ under the canonical functor

$$\begin{eqnarray}SH(k)\rightarrow D_{\mathbb{A}^{1}}(k).\end{eqnarray}$$

As above, one has decompositions

$$\begin{eqnarray}H_{\mathbb{A}^{1}}\mathbb{Z}[2^{-1}]=H_{\mathbb{ A}^{1}}\mathbb{Z}_{+}\oplus H_{\mathbb{A}^{1}}\mathbb{Z}_{-},\quad D_{\mathbb{A}^{1}}(k)[2^{-1}]=D_{\mathbb{ A}^{1}}(k)_{+}\times D_{\mathbb{A}^{1}}(k)_{-}.\end{eqnarray}$$

In what follows we shall write $\mathbb{S}^{{\mathcal{A}}}$ to denote the spectrum ${\mathcal{A}}(pt)_{\mathbb{G}_{m}}^{\infty }$ and call it the additive motivic ${\mathcal{A}}$ -sphere spectrum. Taking the Eilenberg–Mac Lane $S^{1}$ -spectra for each sheaf ${\mathcal{A}}(-,X\wedge \mathbb{G}_{m}^{\wedge n})_{\operatorname{nis}}$ (see, for example, [Mor06, § 3.2]), we can regard $\mathbb{S}^{{\mathcal{A}}}$ as an ordinary $(S^{1},\mathbb{G}_{m})$ -bispectrum (and denote it by the same letter if there is no likelihood of confusion).

The canonical triangulated functor

$$\begin{eqnarray}F:SH(k)\rightarrow D_{\mathbb{A}^{1}}^{\text{st}}(Sh({\mathcal{A}}))\end{eqnarray}$$

takes the ordinary motivic sphere $\mathbb{S}$ to a spectrum isomorphic to $\mathbb{S}^{{\mathcal{A}}}$ . $F(\unicode[STIX]{x1D702})$ induces a morphism

$$\begin{eqnarray}\unicode[STIX]{x1D702}_{{\mathcal{A}}}:\mathbb{S}^{{\mathcal{A}}}\rightarrow (\mathbb{S}^{{\mathcal{A}}})^{-1,-1}.\end{eqnarray}$$

We also set

$$\begin{eqnarray}\mathbb{S}^{{\mathcal{A}}}[\unicode[STIX]{x1D702}_{{\mathcal{A}}}^{-1}]:=\operatorname{hocolim}_{D_{\mathbb{A}^{1}}^{\text{st}}(Sh({\mathcal{A}}))}(\mathbb{S}^{{\mathcal{A}}}\xrightarrow[{}]{\unicode[STIX]{x1D702}_{{\mathcal{A}}}}(\mathbb{S}^{{\mathcal{A}}})^{-1,-1}\xrightarrow[{}]{\unicode[STIX]{x1D702}_{{\mathcal{A}}}}(\mathbb{S}^{{\mathcal{A}}})^{-2,-2}\xrightarrow[{}]{\unicode[STIX]{x1D702}_{{\mathcal{A}}}}\cdots \,)\end{eqnarray}$$

and $\mathbb{S}_{-}^{{\mathcal{A}}}\cong F(\mathbb{S}_{-})$ , $\mathbb{S}_{+}^{{\mathcal{A}}}\cong F(\mathbb{S}_{+})$ . Then we have the following relations in $D_{\mathbb{A}^{1}}^{\text{st}}(Sh({\mathcal{A}}))$ :

$$\begin{eqnarray}\mathbb{S}^{{\mathcal{A}}}[2^{-1}]=\mathbb{S}_{+}^{{\mathcal{A}}}\oplus \mathbb{S}_{-}^{{\mathcal{A}}}\quad \text{and}\quad \mathbb{S}_{-}^{{\mathcal{A}}}\cong \mathbb{S}^{{\mathcal{A}}}[\unicode[STIX]{x1D702}_{{\mathcal{A}}}^{-1},2^{-1}].\end{eqnarray}$$

As above, $\unicode[STIX]{x1D702}_{{\mathcal{A}}}$ annihilates $\mathbb{S}_{+}^{{\mathcal{A}}}$ and is an isomorphism on $\mathbb{S}_{-}^{{\mathcal{A}}}$ .

Remark 3.1. Following an equivalent description of $DM_{{\mathcal{A}}}(k)$ over a symmetric monoidal strict $V$ -category of correspondences in Remark 2.6 in terms of $\mathbb{G}_{m}^{{\mathcal{A}}}$ -symmetric spectra (in this case $D_{\mathbb{A}^{1}}^{\text{st}}(Sh({\mathcal{A}})),DM_{{\mathcal{A}}}(k)$ are canonically equivalent), the additive motivic ${\mathcal{A}}$ -sphere spectrum $\mathbb{S}^{{\mathcal{A}}}$ is nothing but the symmetric sequence

$$\begin{eqnarray}({\mathcal{A}}(-,pt),\mathbb{G}_{m}^{{\mathcal{A}}},\mathbb{G}_{m}^{{\mathcal{A}}}~\widetilde{\otimes }~\mathbb{G}_{m}^{{\mathcal{A}}},\ldots ,(\mathbb{G}_{m}^{{\mathcal{A}}})^{\widetilde{\otimes }n},\ldots ),\end{eqnarray}$$

where $\unicode[STIX]{x1D6F4}_{n}$ acts on $(\mathbb{G}_{m}^{{\mathcal{A}}})^{\widetilde{\otimes }n}$ by permutation. It is a commutative monoid in the category of symmetric sequences in $\operatorname{Ch}(Sh({\mathcal{A}}))$ (see [Hov01, § 7]). Moreover, the motivic model category $Sp^{\unicode[STIX]{x1D6F4}}(\operatorname{Ch}(Sh{\mathcal{A}}),\mathbb{G}_{m}^{{\mathcal{A}}})$ of symmetric $\mathbb{G}_{m}^{{\mathcal{A}}}$ -spectra associated with the motivic model category structure on $\operatorname{Ch}(Sh{\mathcal{A}})$ is the category of modules in the category of symmetric sequences over the commutative monoid $\mathbb{S}^{{\mathcal{A}}}$ . The homotopy category of $Sp^{\unicode[STIX]{x1D6F4}}(\operatorname{Ch}(Sh{\mathcal{A}}),\mathbb{G}_{m}^{{\mathcal{A}}})$ , which is equivalent to $DM_{{\mathcal{A}}}(k)$ , is a closed symmetric monoidal category with $\mathbb{S}^{{\mathcal{A}}}$ a monoidal unit.

Definition 3.2. Let ${\mathcal{A}}$ be a category of $V$ -correspondences. Following [Voe00b, SV00, Sus03], the ${\mathcal{A}}$ -motive of a smooth algebraic variety  $X\in Sm/k$ , denoted by $M_{{\mathcal{A}}}(X)$ , is the complex associated to the simplicial Nisnevich sheaf

$$\begin{eqnarray}n\longmapsto {\mathcal{A}}(-\times \unicode[STIX]{x1D6E5}^{n},X)_{\operatorname{ nis}},\quad \unicode[STIX]{x1D6E5}^{n}=\operatorname{Spec}k[t_{0},\ldots ,t_{n}]/(t_{0}+\cdots +t_{n}-1).\end{eqnarray}$$

Lemma 3.3. Let ${\mathcal{A}}$ be a strict category of $V$ -correspondences and ${\mathcal{X}}$ a motivic $S^{1}$ -spectrum such that its presheaves $\unicode[STIX]{x1D70B}_{\ast }({\mathcal{X}})$ of homotopy groups are homotopy invariant ${\mathcal{A}}$ -presheaves. Then every Nisnevich local fibrant replacement ${\mathcal{X}}_{f}$ of ${\mathcal{X}}$ is motivically fibrant.

Proof. Since ${\mathcal{A}}$ is a strict category of $V$ -correspondences, the sheaves $\unicode[STIX]{x1D70B}_{\ast }({\mathcal{X}})_{\operatorname{nis}}$ are strictly $\mathbb{A}^{1}$ -invariant. Our claim now follows from [Mor06, Theorem 6.2.7].◻

Remark 3.4. It is worth mentioning that Lemma 3.3 does not depend on Morel’s connectivity theorem [Mor06, Theorem 6.1.8]. Indeed, it easily follows for connected spectra from the Brown–Gersten spectral sequence. Then we use the fact that ${\mathcal{X}}_{f}=\operatorname{hocolim}_{n\rightarrow -\infty }({\mathcal{X}}_{{\geqslant}n})_{f}$ , where ${\mathcal{X}}_{{\geqslant}n}$ is the naive $n$ th truncation of ${\mathcal{X}}$ .

The spectrum ${\mathcal{A}}(X)_{\mathbb{G}_{m}}^{\infty }$ is motivically equivalent to the spectrum

$$\begin{eqnarray}M_{{\mathcal{A}}}^{\mathbb{G}_{m}}(X):=(M_{{\mathcal{A}}}(X),M_{{\mathcal{A}}}(X\wedge \mathbb{G}_{m}^{\wedge 1}),M_{{\mathcal{A}}}(X\wedge \mathbb{G}_{m}^{\wedge 2}),\ldots )\end{eqnarray}$$

consisting of complexes of Nisnevich ${\mathcal{A}}$ -sheaves associated with the simplicial sheaves $n\longmapsto {\mathcal{A}}(-\times \unicode[STIX]{x1D6E5}^{n},X\wedge \mathbb{G}_{m}^{\wedge q})_{\operatorname{nis}}$ .

Definition 3.5. Let ${\mathcal{A}}$ be a category of $V$ -correspondences. The bivariant ${\mathcal{A}}$ -motivic cohomology groups are defined by

$$\begin{eqnarray}H_{{\mathcal{A}}}^{p,q}(X,Y):=H_{\operatorname{ nis}}^{p}(X,{\mathcal{A}}(-\times \unicode[STIX]{x1D6E5}^{\bullet },Y\wedge \mathbb{G}_{m}^{\wedge q})_{\operatorname{ nis}}[-q]),\end{eqnarray}$$

where the right-hand side stands for Nisnevich hypercohomology groups of $X$ with coefficients in ${\mathcal{A}}(-\times \unicode[STIX]{x1D6E5}^{\bullet },Y\wedge \mathbb{G}_{m}^{\wedge q})_{\operatorname{nis}}[-q]$ (the shift is cohomological).

Following [GP18], we say that the bigraded presheaves $H_{{\mathcal{A}}}^{\ast ,\ast }(-,Y)$ satisfy the cancellation property if all maps

$$\begin{eqnarray}\unicode[STIX]{x1D6FD}^{p,q}:H_{{\mathcal{A}}}^{p,q}(X,Y)\rightarrow H_{{\mathcal{A}}}^{p+1,q+1}(X\wedge \mathbb{G}_{m},Y)\end{eqnarray}$$

induced by the structure maps of the spectrum $M_{{\mathcal{A}}}^{\mathbb{G}_{m}}(Y)$ are isomorphisms.

Given $Y\in Sm/k$ , write

$$\begin{eqnarray}M_{{\mathcal{A}}}^{\mathbb{G}_{m}}(Y)_{f}:=(M_{{\mathcal{A}}}(Y)_{f},M_{{\mathcal{A}}}(Y\wedge \mathbb{G}_{m}^{\wedge 1})_{f},M_{{\mathcal{A}}}(Y\wedge \mathbb{G}_{m}^{\wedge 2})_{f},\ldots ),\end{eqnarray}$$

where each $M_{{\mathcal{A}}}(Y\wedge \mathbb{G}_{m}^{\wedge n})_{f}$ is a fibrant Nisnevich local replacement of $M_{{\mathcal{A}}}(Y\wedge \mathbb{G}_{m}^{\wedge n})$ . It is important to note that each $M_{{\mathcal{A}}}(Y\wedge \mathbb{G}_{m}^{\wedge n})_{f}$ can be constructed within $\operatorname{Ch}(Sh({\mathcal{A}}))$ whenever ${\mathcal{A}}$ is a strict category of $V$ -correspondences (this can be shown similarly to [GP12, Theorem 5.12]). Observe as well that ${\mathcal{A}}(Y)_{\mathbb{G}_{m}}^{\infty }$ is motivically equivalent to $M_{{\mathcal{A}}}^{\mathbb{G}_{m}}(Y)_{f}$ .

Lemma 3.6. Suppose ${\mathcal{A}}$ is a strict $V$ -category of correspondences. The bigraded presheaves $H_{{\mathcal{A}}}^{\ast ,\ast }(-,Y)$ satisfy the cancellation property if and only if $M_{{\mathcal{A}}}^{\mathbb{G}_{m}}(Y)_{f}$ is motivically fibrant as an ordinary motivic bispectrum.

Proof. Using Lemma 3.3, this is proved similarly to [GP18, Lemma 4.5]. ◻

Corollary 3.7. Suppose ${\mathcal{A}}$ is a strict $V$ -category of correspondences satisfying the cancellation property. Then the presheaves $H_{{\mathcal{A}}}^{\ast ,\ast }(-,Y)$ are represented in $SH(k)$ by the bispectrum $M_{{\mathcal{A}}}^{\mathbb{G}_{m}}(Y)_{f}$ . Specifically,

$$\begin{eqnarray}H_{{\mathcal{A}}}^{p,q}(X,Y)=SH(k)(X_{+},S^{p,q}\wedge M_{{\mathcal{A}}}^{\mathbb{G}_{m}}(Y)_{f}),\quad p,q\in \mathbb{Z},\end{eqnarray}$$

where $S^{p,q}=S^{p-q}\wedge (\mathbb{G}_{m},1)^{\wedge q}$ .

Under the assumptions of Corollary 3.7 we can compute $\mathbb{S}^{{\mathcal{A}}}[\unicode[STIX]{x1D702}_{{\mathcal{A}}}^{-1}]$ up to an isomorphism in $D_{\mathbb{A}^{1}}^{\text{st}}(Sh({\mathcal{A}}))$ as follows:

$$\begin{eqnarray}\mathbb{S}^{{\mathcal{A}}}[\unicode[STIX]{x1D702}_{{\mathcal{A}}}^{-1}]\cong \operatorname{hocolim}_{DM_{{\mathcal{A}}}(k)}(M_{{\mathcal{A}}}^{\mathbb{G}_{m}}(pt)_{f}\xrightarrow[{}]{}\unicode[STIX]{x1D6FA}_{(\mathbb{G}_{m},1)}(M_{{\mathcal{A}}}^{\mathbb{G}_{m}}(pt)_{f})\xrightarrow[{}]{}\unicode[STIX]{x1D6FA}_{(\mathbb{G}_{m},1)^{\wedge 2}}(M_{{\mathcal{A}}}^{\mathbb{G}_{m}}(pt)_{f})\xrightarrow[{}]{}\cdots \,).\end{eqnarray}$$

Here the maps of the colimit are induced by $\unicode[STIX]{x1D702}_{{\mathcal{A}}}$ . Denote the right-hand side by $M_{{\mathcal{A}}}^{\mathbb{G}_{m}}(pt)_{f}[\unicode[STIX]{x1D702}^{-1}]$ . This is termwise a spectrum,

$$\begin{eqnarray}M_{{\mathcal{A}}}^{\mathbb{G}_{m}}(pt)_{f}[\unicode[STIX]{x1D702}^{-1}]=(\unicode[STIX]{x1D6FA}_{(\mathbb{G}_{m},1)}^{\infty }(M_{{\mathcal{A}}}(pt)_{f}),\unicode[STIX]{x1D6FA}_{(\mathbb{G}_{m},1)}^{\infty -1}(M_{{\mathcal{A}}}(pt)_{f}),\unicode[STIX]{x1D6FA}_{(\mathbb{G}_{m},1)}^{\infty -2}(M_{{\mathcal{A}}}(pt)_{f}),\ldots ),\end{eqnarray}$$

where each

$$\begin{eqnarray}\unicode[STIX]{x1D6FA}_{(\mathbb{G}_{m},1)}^{\infty -n}(M_{{\mathcal{A}}}(pt)_{f}):=\operatorname{hocolim}_{DM_{{\mathcal{A}}}^{\text{eff}}(k)}(M_{{\mathcal{A}}}(\mathbb{G}_{m}^{\wedge n})_{f}\xrightarrow[{}]{}\unicode[STIX]{x1D6FA}_{(\mathbb{G}_{m},1)}(M_{{\mathcal{A}}}(\mathbb{G}_{m}^{\wedge n})_{f})\rightarrow \cdots \,).\end{eqnarray}$$

Since the structure maps of $M_{{\mathcal{A}}}^{\mathbb{G}_{m}}(pt)_{f}[\unicode[STIX]{x1D702}^{-1}]$ are schemewise equivalences by the cancellation property, it follows from the construction of $M_{{\mathcal{A}}}^{\mathbb{G}_{m}}(pt)_{f}[\unicode[STIX]{x1D702}^{-1}]$ that all homotopy sheaves $\unicode[STIX]{x1D70B}_{i,j}^{\mathbb{A}^{1}}(M_{{\mathcal{A}}}^{\mathbb{G}_{m}}(pt)_{f}[\unicode[STIX]{x1D702}^{-1}])$ are concentrated in weight $0$ only. By [Mor03, Lemma 4.3.11], the canonical map of sheaves

$$\begin{eqnarray}\unicode[STIX]{x1D70B}_{n}^{\mathbb{A}^{1}}(\unicode[STIX]{x1D6FA}_{(\mathbb{G}_{m},1)}(\unicode[STIX]{x1D6FA}_{(\mathbb{G}_{m},1)}^{\infty -n}(M_{{\mathcal{A}}}(pt)_{f})))\rightarrow \unicode[STIX]{x1D70B}_{n}^{\mathbb{A}^{1}}(\unicode[STIX]{x1D6FA}_{(\mathbb{G}_{m},1)}^{\infty -n}(M_{{\mathcal{A}}}(pt)_{f}))_{-1},\quad n\in \mathbb{Z},\end{eqnarray}$$

is an isomorphism, hence the composite map of sheaves is an isomorphism for all $n\geqslant 0$

$$\begin{eqnarray}\displaystyle \unicode[STIX]{x1D6FD}_{n}:\unicode[STIX]{x1D70B}_{-n,-n}^{\mathbb{A}^{1}}(M_{{\mathcal{A}}}^{\mathbb{G}_{m}}(pt)_{f}[\unicode[STIX]{x1D702}^{-1}]) & \rightarrow & \displaystyle \unicode[STIX]{x1D70B}_{-n-1,-n-1}^{\mathbb{A}^{1}}(\unicode[STIX]{x1D6FA}_{(\mathbb{G}_{m},1)}M_{{\mathcal{A}}}^{\mathbb{G}_{m}}(pt)_{f}[\unicode[STIX]{x1D702}^{-1}])\nonumber\\ \displaystyle & \rightarrow & \displaystyle (\unicode[STIX]{x1D70B}_{-n-1,-n-1}^{\mathbb{A}^{1}}(M_{{\mathcal{A}}}^{\mathbb{G}_{m}}(pt)_{f}[\unicode[STIX]{x1D702}^{-1}]))_{-1},\nonumber\end{eqnarray}$$

where the left map is induced by the structure map.

Denote by ${\mathcal{W}}^{{\mathcal{A}}}$ the strictly $\mathbb{A}^{1}$ -invariant sheaf $\unicode[STIX]{x1D70B}_{0,0}^{\mathbb{A}^{1}}(M_{{\mathcal{A}}}^{\mathbb{G}_{m}}(pt)_{f}[\unicode[STIX]{x1D702}^{-1}])$ . If we regard it as a complex concentrated in zeroth degree, then the collection of complexes

$$\begin{eqnarray}{\mathcal{W}}_{\mathbb{G}_{m}}^{{\mathcal{A}}}:=({\mathcal{W}}^{{\mathcal{A}}},{\mathcal{W}}^{{\mathcal{A}}},{\mathcal{W}}^{{\mathcal{A}}},\ldots ),\end{eqnarray}$$

together with isomorphisms $\unicode[STIX]{x1D6FD}_{0}:{\mathcal{W}}^{{\mathcal{A}}}\rightarrow ({\mathcal{W}}^{{\mathcal{A}}})_{-1}$ , is an object of $DM_{{\mathcal{A}}}(k)$ , which is $\mathbb{A}^{1}$ -local as an ordinary bispectrum (after taking the Eilenberg–Mac Lane spectrum of each sheaf ${\mathcal{W}}^{{\mathcal{A}}}$ ). Notice that the homotopy module of ${\mathcal{W}}_{\mathbb{G}_{m}}^{{\mathcal{A}}}$ in the sense of [Mor03, Definition 5.2.4] is given by $(M_{\ast },\unicode[STIX]{x1D707}_{\ast })$ with each $M_{n}={\mathcal{W}}^{{\mathcal{A}}}$ and $\unicode[STIX]{x1D707}_{n}=\unicode[STIX]{x1D6FD}_{0}$ , $n\in \mathbb{Z}$ . There is a canonical morphism of spectra

(1) $$\begin{eqnarray}H:M_{{\mathcal{A}}}^{\mathbb{G}_{m}}(pt)_{f}[\unicode[STIX]{x1D702}^{-1}]\rightarrow {\mathcal{W}}_{\mathbb{ G}_{m}}^{{\mathcal{A}}},\end{eqnarray}$$

induced by taking the zeroth homology sheaf of each complex $\unicode[STIX]{x1D6FA}_{(\mathbb{G}_{m},1)}^{\infty -n}(M_{{\mathcal{A}}}(pt)_{f})$ .

Let $\text{}\underline{W}$ be the Nisnevich sheaf of Witt rings on $Sm/k$ . Following [ALP17, p. 380], we take the model $\text{}\underline{W}:=\text{}\underline{K}_{0}^{\text{MW}}/h$ . The isomorphism $\text{}\underline{W}\cong \unicode[STIX]{x1D70B}_{n>0,n>0}^{\mathbb{A}^{1}}(\mathbb{S})$ gives the canonical isomorphism of sheaves $\unicode[STIX]{x1D700}:\text{}\underline{W}\cong \text{}\underline{\operatorname{Hom}}((\mathbb{G}_{m},1),\text{}\underline{W})$ . More precisely, it takes $w\in \text{}\underline{W}(U)$ to $p_{1}^{\ast }(\unicode[STIX]{x1D702}\cdot [t])\cdot p_{2}^{\ast }(w)\in \text{}\underline{W}(U\wedge (\mathbb{G}_{m},1))$ , where $t$ is the canonical unit on $\mathbb{G}_{m}$ and $[t]\in \text{}\underline{K}_{1}^{\text{MW}}(\mathbb{G}_{m})$ the corresponding section.

Definition 3.8. Suppose ${\mathcal{A}}$ is a strict $V$ -category of correspondences satisfying the cancellation property and $R$ a flat $\mathbb{Z}$ -algebra. We say that the spectrum $\mathbb{S}^{{\mathcal{A}}}[\unicode[STIX]{x1D702}_{{\mathcal{A}}}^{-1}]$ is of Witt type with $R$ -coefficients if the zeroth cohomology sheaf ${\mathcal{W}}_{R}^{{\mathcal{A}}}=\unicode[STIX]{x1D70B}_{0,0}^{\mathbb{A}^{1}}(M_{{\mathcal{A}}}^{\mathbb{G}_{m}}(pt)_{f}[\unicode[STIX]{x1D702}^{-1}])\otimes R$ of the complex $\unicode[STIX]{x1D6FA}_{(\mathbb{G}_{m},1)}^{\infty }(M_{{\mathcal{A}}}(pt)_{f})\otimes R$ is the only non-zero cohomology sheaf (the other cohomology sheaves are required to be zero) and ${\mathcal{W}}_{R}^{{\mathcal{A}}}$ is isomorphic to the Nisnevich sheaf $\text{}\underline{W}_{R}=\text{}\underline{W}\otimes R$ . We also require the diagram

to be commutative. If $R=\mathbb{Z}$ then we just say that $\mathbb{S}^{{\mathcal{A}}}[\unicode[STIX]{x1D702}_{{\mathcal{A}}}^{-1}]$ is of Witt type.

Lemma 3.9. Suppose ${\mathcal{A}}$ is a strict $V$ -category of correspondences satisfying the cancellation property and $R$ a ring of fractions of $\mathbb{Z}$ . If the spectrum $\mathbb{S}^{{\mathcal{A}}}[\unicode[STIX]{x1D702}_{{\mathcal{A}}}^{-1}]$ is of Witt type with $R$ -coefficients then it is isomorphic in $SH(k)$ to the bispectrum

$$\begin{eqnarray}\text{}\underline{W}_{R}^{\mathbb{G}_{m}}:=(\text{}\underline{W}_{R},\text{}\underline{W}_{R},\ldots ),\end{eqnarray}$$

in which every structure map is induced by $\unicode[STIX]{x1D700}$ .

Proof. This immediately follows from Definition 3.8 and the observation that the morphism of spectra (1) is a motivic equivalence. ◻

We are now in a position to prove the main result of this section.

Theorem 3.10. Suppose ${\mathcal{A}}$ is a strict $V$ -category of correspondences satisfying the cancellation property.

1. (1) If the spectrum $\mathbb{S}^{{\mathcal{A}}}[\unicode[STIX]{x1D702}_{{\mathcal{A}}}^{-1}]$ is of Witt type with $\mathbb{Q}$ -coefficients then the canonical morphism

   $$\begin{eqnarray}\mathbb{S}_{-}\otimes \mathbb{Q}\rightarrow \mathbb{S}_{-}^{{\mathcal{A}}}\otimes \mathbb{Q}\end{eqnarray}$$
   is an isomorphism in $SH(k)$ .

2. (2) If the spectrum $\mathbb{S}^{{\mathcal{A}}}[\unicode[STIX]{x1D702}_{{\mathcal{A}}}^{-1}]$ is of Witt type with $\mathbb{Z}[1/2]$ -coefficients then the canonical morphism

   $$\begin{eqnarray}H_{\mathbb{A}^{1}}\mathbb{Z}_{-}\rightarrow \mathbb{S}_{-}^{{\mathcal{A}}}\end{eqnarray}$$
   is an isomorphism in $SH(k)$ .

Proof. (1) It follows from [ALP17] that the composite morphism

$$\begin{eqnarray}\mathbb{S}_{-}\otimes \mathbb{Q}\rightarrow \mathbb{S}_{-}^{{\mathcal{A}}}\otimes \mathbb{Q}\rightarrow \text{}\underline{W}_{\mathbb{ Q}}^{\mathbb{G}_{m}}\end{eqnarray}$$

is an isomorphism in $SH(k)$ . By Lemma 3.9 the right morphism is an isomorphism in $SH(k)$ , and hence so is the left one.

(2) It follows from [Bac18, Proposition 37] that the composite morphism

$$\begin{eqnarray}H_{\mathbb{A}^{1}}\mathbb{Z}_{-}\rightarrow \mathbb{S}_{-}^{{\mathcal{A}}}\rightarrow \text{}\underline{W}^{\mathbb{G}_{m}}[2^{-1}]\end{eqnarray}$$

is an isomorphism in $SH(k)$ . By Lemma 3.9 the right morphism is an isomorphism in $SH(k)$ , and hence so is the left one.◻

4 The Milnor–Witt sphere spectrum $\mathbb{S}^{\text{MW}}$

Throughout this section $k$ is an infinite perfect field with $\operatorname{char}k\not =2$ . We refer the reader to [CF14] for basic facts and definitions on the category of finite Milnor–Witt correspondences $\widetilde{\operatorname{Cor}}$ . It is a strict $V$ -category of correspondences by [DF17]. It follows from [FØ17] that $\widetilde{\operatorname{Cor}}$ has the cancellation property. We denote the additive sphere spectrum associated with $\widetilde{\operatorname{Cor}}$ by $\mathbb{S}^{\text{MW}}$ .

By [CF14, Proposition 5.11] $\widetilde{\operatorname{Cor}}(-,Y)$ is a Zariski sheaf, but not a Nisnevich sheaf in general [CF14, Example 5.12]. However, $\widetilde{\operatorname{Cor}}(-,pt)$ is the Nisnevich sheaf $\text{}\underline{K}_{0}^{\text{MW}}$  [CF14, Example 4.5], which is homotopy invariant by [Fas08, Corollaire 11.3.3]. Since $\widetilde{\operatorname{Cor}}$ is a strict additive $V$ -category of correspondences by [DF17], we see that the Nisnevich sheaf $\widetilde{\operatorname{Cor}}(-,pt)$ is strictly homotopy invariant. In particular, the normalized complex $M_{\text{MW}}(pt)$ associated to the simplicial sheaf $\widetilde{\operatorname{Cor}}(-\times \unicode[STIX]{x1D6E5}^{\bullet },pt)$ has only one non-trivial homology sheaf $\text{}\underline{K}_{0}^{\text{MW}}$ . It follows from [CF14, Proposition 5.34] that $\unicode[STIX]{x1D70B}_{0}^{\mathbb{A}^{1}}(\operatorname{Hom}((\mathbb{G}_{m},1)^{\wedge n},M_{\text{MW}}(pt)))$ is isomorphic to the sheaf $\text{}\underline{W}$ of Witt rings. Thus the spectrum $\mathbb{S}^{\text{MW}}[\unicode[STIX]{x1D702}^{-1}]$ is of Witt type. Theorem 3.10 now implies the following result.

Proposition 4.1. The canonical morphisms

$$\begin{eqnarray}\mathbb{S}_{-}\otimes \mathbb{Q}\rightarrow \mathbb{S}_{-}^{\text{MW}}\otimes \mathbb{Q}\quad \text{and}\quad H_{\mathbb{ A}^{1}}\mathbb{Z}_{-}\rightarrow \mathbb{S}_{-}^{\text{MW}}\end{eqnarray}$$

are isomorphisms in $SH(k)$ .

It follows from properties of finite Milnor–Witt correspondences [CF14] that $\mathbb{S}_{+}^{\text{MW}}$ is isomorphic to $\mathbb{S}^{\operatorname{Cor}}[2^{-1}]$ in $DM_{\text{MW}}(k)[2^{-1}]:=DM_{\widetilde{\operatorname{Cor}}}(k)[2^{-1}]$ . Thus we have a splitting,

$$\begin{eqnarray}\mathbb{S}^{\text{MW}}[2^{-1}]\cong \mathbb{S}^{\operatorname{Cor}}[2^{-1}]\oplus \mathbb{S}_{-}^{\text{MW}}.\end{eqnarray}$$

A theorem of Cisinski and Déglise [CD12, Theorem 16.2.13] shows that the canonical map $\mathbb{S}_{+}\otimes \mathbb{Q}\rightarrow \mathbb{S}^{\operatorname{Cor}}\otimes \mathbb{Q}$ is an isomorphism in $SH(k)$ . Combining this with Proposition 4.1, we have proved the following theorem, which is the main result of the section.

Theorem 4.2. Given an infinite perfect field $k$ of characteristic not $2$ , the canonical morphism of bispectra

$$\begin{eqnarray}\mathbb{S}\otimes \mathbb{Q}\rightarrow \mathbb{S}^{\text{MW}}\otimes \mathbb{Q}\end{eqnarray}$$

is an isomorphism in $SH(k)$ .

Let $H_{\mathbb{A}^{1}}^{\ast ,\ast }(X)$ be the cohomology theory represented in $SH(k)$ by the bispectrum $H_{\mathbb{A}^{1}}\mathbb{Z}$ . The following statement is a consequence of the preceding theorem and a result of Déglise and Fasel [DF17, Corollary 4.2.6],

Corollary 4.3. Given an infinite perfect field $k$ of characteristic not $2$ , $n\geqslant 0$ and $X\in Sm/k$ , there is a natural isomorphism

$$\begin{eqnarray}H_{\mathbb{A}^{1}}^{2n,n}(X)\otimes \mathbb{Q}\cong \widetilde{CH}^{n}(X)\otimes \mathbb{Q},\end{eqnarray}$$

where the right-hand side is the $n$ th rational Chow–Witt group of $X$ . In particular, if $-1$ is a sum of squares in $k$ , then $H_{\mathbb{A}^{1}}^{2n,n}(X)\otimes \mathbb{Q}\cong CH^{n}(X)\otimes \mathbb{Q},$ where $CH^{n}(X)\otimes \mathbb{Q}$ is the $n$ th rational Chow group of $X$ .

5 Reconstructing $SH(k)_{\mathbb{Q}}$ from finite Milnor–Witt correspondences

In this section we prove the main result of the paper stating that $SH(k)_{\mathbb{Q}}$ is recovered as $DM_{\text{MW}}(k)_{\mathbb{Q}}$ whenever the base field $k$ is infinite perfect of characteristic not $2$ . To this end, we need to extend Röndigs and Østvær’s theorem [RØ08a] to preadditive categories of correspondences. Throughout this section ${\mathcal{A}}$ is a category of correspondences.

Following [RØ08a, § 2], define the category $\mathbb{M}^{{\mathcal{A}}}$ of motivic spaces with ${\mathcal{A}}$ -correspondences as all contravariant additive functors from ${\mathcal{A}}$ to simplicial abelian groups. A scheme $U$ in $Sm/k$ defines a representable motivic space ${\mathcal{A}}(-,U)\in \mathbb{M}^{{\mathcal{A}}}$ . Let ${\mathcal{U}}:\mathbb{M}^{{\mathcal{A}}}\rightarrow \mathbb{M}$ denote the evident forgetful functor induced by the graph $Sm/k\rightarrow {\mathcal{A}}$ . It has a left adjoint $\mathbb{Z}^{{\mathcal{A}}}:\mathbb{M}\rightarrow \mathbb{M}^{{\mathcal{A}}}$ defined as the left Kan extension functor determined by

$$\begin{eqnarray}\mathbb{Z}^{{\mathcal{A}}}((U\times \unicode[STIX]{x1D6E5}^{n})_{+})={\mathcal{A}}(-,U)\otimes \mathbb{Z}(\unicode[STIX]{x1D6E5}^{n}).\end{eqnarray}$$

If $X$ is a motivic space, let $X^{{\mathcal{A}}}$ be short for $\mathbb{Z}^{{\mathcal{A}}}(X)$ .

Similarly to [RØ08a, § 2.1], we define a projective motivic model category structure on $\mathbb{M}^{{\mathcal{A}}}$ . This model category is denoted by $\mathbb{M}_{\operatorname{mot}}^{{\mathcal{A}}}$ . The projective motivic model category of motivic spaces is denoted by $\mathbb{M}_{\operatorname{mot}}$ . We have a Quillen pair

$$\begin{eqnarray}\mathbb{Z}^{{\mathcal{A}}}:\mathbb{M}_{\operatorname{mot}}\rightleftarrows \mathbb{M}_{\operatorname{mot}}^{{\mathcal{A}}}:{\mathcal{U}}.\end{eqnarray}$$

Using Definition 2.3(1) and Lemma 2.4, the proof of the following lemma literally repeats [RØ08a, Lemma 9].

Lemma 5.1. A map between motivic spaces with ${\mathcal{A}}$ -correspondences is a motivic weak equivalence in $\mathbb{M}_{\operatorname{mot}}^{{\mathcal{A}}}$ if and only if it is so when considered as a map between ordinary motivic spaces.

Let $\unicode[STIX]{x1D704}:pt=\operatorname{Spec}k\rightarrow \mathbb{G}_{m}$ be the embedding $\unicode[STIX]{x1D704}(pt)=1\in \mathbb{G}_{m}$ . The mapping cylinder yields a factorization of the induced map

$$\begin{eqnarray}\operatorname{Spec}k_{+}{\hookrightarrow}\operatorname{Cyl}(\unicode[STIX]{x1D704})\overset{\simeq }{\longrightarrow }(\mathbb{G}_{m})_{+}\end{eqnarray}$$

into a projective cofibration and a simplicial homotopy equivalence in $\mathbb{M}$ . Let $\mathbb{G}$ denote the cofibrant pointed presheaf $\operatorname{Cyl}(\unicode[STIX]{x1D704})/\operatorname{Spec}k_{+}$ and $T:=S^{1}\wedge \mathbb{G}$ .

Following [RØ08a, § 2.4], we define a motivic spectrum

$$\begin{eqnarray}H{\mathcal{A}}=({\mathcal{U}}(pt_{+}),{\mathcal{U}}(T^{{\mathcal{A}}}),{\mathcal{U}}((T^{\wedge 2})^{{\mathcal{A}}}),\ldots ).\end{eqnarray}$$

The structure maps are induced by morphisms

$$\begin{eqnarray}\unicode[STIX]{x1D6FC}_{T}:(T^{\wedge n})^{{\mathcal{A}}}\rightarrow \text{}\underline{\operatorname{Hom}}_{\mathbb{ M}^{{\mathcal{A}}}}(T^{{\mathcal{A}}},(T^{\wedge n+1})^{{\mathcal{A}}})\end{eqnarray}$$

(recall that $Sm/k$ acts on ${\mathcal{A}}$ ).

Given a symmetric monoidal category of correspondences ${\mathcal{A}}$ , a theorem of Day [Day70] implies that $\mathbb{M}^{{\mathcal{A}}}$ is a closed symmetric monoidal category with a tensor product defined as

$$\begin{eqnarray}X\odot Y=\int ^{(U,V)\in {\mathcal{A}}\times {\mathcal{A}}}X(U)\otimes Y(V)\otimes {\mathcal{A}}(-,U\times V).\end{eqnarray}$$

As an example, ${\mathcal{A}}(-,U)\odot {\mathcal{A}}(-,V)={\mathcal{A}}(-,U\times V)$ . The monoidal unit equals ${\mathcal{A}}(-,pt)$ with $pt=\operatorname{Spec}k$ . Similarly to [DRØ03, Example 3.4], $H{\mathcal{A}}$ is a commutative motivic symmetric ring spectrum.

Suppose ${\mathcal{A}}$ is a symmetric monoidal category of correspondences. Repeating the proof of [RØ08a, Lemma 10] word for word, the projective motivic model structure on $\mathbb{M}_{\operatorname{mot}}^{{\mathcal{A}}}$ is symmetric monoidal. Following [Hov01, RØ08a], one can define the stable monoidal model category of symmetric $T$ -spectra $\mathbb{MSS}^{{\mathcal{A}}}$ associated to $\mathbb{M}_{\operatorname{mot}}^{{\mathcal{A}}}$ (with projective model structure). The homotopy category of $\mathbb{MSS}^{{\mathcal{A}}}$ is a model for $D_{\mathbb{A}^{1}}^{\text{st}}(Sh({\mathcal{A}}))(k)$ . It is also a model for $DM_{{\mathcal{A}}}(k)$ whenever ${\mathcal{A}}$ is a strict $V$ -category of correspondences (for this, repeat the proof of [RØ08a, Theorem 11] word for word).

Below we shall need the following theorem proved by Riou in [LYZ13, Appendix B] (see also the proof of [HKØ17, Theorem 5.8]).

Theorem 5.2 (Riou).

Let $k$ be a perfect field. Let $p$ denote the caracteristic exponent of $k$ (i.e.  $p>0$ or $p=1$ if the characteristic of $k$ is zero). Then, for any smooth finite type $k$ -scheme $U$ , the suspension spectrum $\unicode[STIX]{x1D6F4}_{T}^{\infty }U_{+}$ is strongly dualizable in $SH(k)[1/p]$ .

We are now in a position to prove the Röndigs–Østvær theorem for ${\mathcal{A}}$ -correspondences. Notice that in all known examples a $V$ -category of correspondences is strict whenever the base field $k$ is (infinite) perfect (of characteristic not $2$ if ${\mathcal{A}}=\widetilde{\text{Cor}}$ ). We also remind the reader that the category $SH(k)[p^{-1}]$ is defined on p. 1430. It is the homotopy category of the stable model category of motivic functors with weak equivalences being $p^{-1}$ -stable motivic equivalences.

Theorem 5.3 (Röndigs and Østvær).

If $k$ is a perfect field of exponential characteristic $p$ and ${\mathcal{A}}$ is a symmetric monoidal category of correspondences, then the homotopy category of $\operatorname{Mod}H{\mathcal{A}}_{\mathbb{Z}[1/p]}$ (respectively, $\operatorname{Mod}H{\mathcal{A}}_{\mathbb{Q}}$ ) is equivalent to $D_{\mathbb{A}^{1}}^{\text{st}}(Sh({\mathcal{A}}))(k)[1/p]$ (respectively, $D_{\mathbb{A}^{1}}^{\text{st}}(Sh({\mathcal{A}}))(k)\otimes \mathbb{Q}$ ). The equivalence preserves the triangulated structure. In particular, $\operatorname{Ho}(\operatorname{Mod}H{\mathcal{A}}_{\mathbb{Z}[1/p]})$ (respectively, $\operatorname{Ho}(\operatorname{Mod}H{\mathcal{A}}_{\mathbb{Q}})$ ) is equivalent to $DM_{{\mathcal{A}}}(k)[1/p]$ (respectively, $DM_{{\mathcal{A}}}(k)\otimes \mathbb{Q}$ ) if ${\mathcal{A}}$ is a symmetric monoidal strict $V$ -category of correspondences.

Proof. We verify the theorem for categories with $\mathbb{Z}[1/p]$ -coefficients, because the proof of the statement for categories with rational coefficients repeats that for $\mathbb{Z}[1/p]$ -coefficients word for word. The proof of the theorem for categories with $\mathbb{Z}[1/p]$ -coefficients is the same with the original Röndigs–Østvær theorem [RØ08a]. The only difference is that we shall have to deal somewhere with $p^{-1}$ -stable weak equivalences of motivic functors instead of ordinary stable weak equivalences.

We must show that the canonical pair of adjoint (triangulated) functors

$$\begin{eqnarray}\unicode[STIX]{x1D6F7}:\operatorname{Mod}H{\mathcal{A}}_{\mathbb{Z}[1/p]}\rightleftarrows \mathbb{MSS}^{{\mathcal{A}}_{\mathbb{Z}[1/p]}}:\unicode[STIX]{x1D6F9}\end{eqnarray}$$

is a Quillen equivalence ( $\unicode[STIX]{x1D6F9}$ forgets correspondences).

Similarly to [RØ08a, Lemma 43], it suffices to prove that the unit of the adjunction

(2) $$\begin{eqnarray}H{\mathcal{A}}_{\mathbb{Z}[1/p]}\wedge U_{+}\rightarrow \unicode[STIX]{x1D6F9}\unicode[STIX]{x1D6F7}(H{\mathcal{A}}_{\mathbb{Z}[1/p]}\wedge U_{+})\end{eqnarray}$$

is a stable motivic weak equivalence of motivic symmetric spectra for every smooth scheme $U$ . Note that $\unicode[STIX]{x1D6F9}\unicode[STIX]{x1D6F7}(H{\mathcal{A}}_{\mathbb{Z}[1/p]}\wedge U_{+})$ is the symmetric spectrum $({\mathcal{A}}(-,U)\otimes \mathbb{Z}[1/p],(U_{+}\wedge T)^{{\mathcal{A}}\otimes \mathbb{Z}[1/p]},(U_{+}\wedge T^{\wedge 2})^{{\mathcal{A}}\otimes \mathbb{Z}[1/p]},\ldots )$ .

By Theorem 5.2, $U_{+}$ is dualizable in $SH(k)[p^{-1}]$ for every $k$ -smooth scheme $U$ . Suppose $X$ is a motivic functor in the sense of [DRØ03] and $B$ is a cofibrant finitely presentable motivic space such that $-\wedge B$ is dualizable in $SH(k)[p^{-1}]$ . When $X$ preserves motivic weak equivalences of cofibrant finitely presentable motivic spaces, then the evaluation of the assembly map

$$\begin{eqnarray}X\wedge B\rightarrow X\circ (-\wedge B)\end{eqnarray}$$

is a $p^{-1}$ -stable weak equivalence between motivic symmetric spectra by [RØ08a, Corollary 56] (though [RØ08a, Corollary 56] is proved within an ordinary stable motivic model structure of motivic functors, it is also true within the $p^{-1}$ -stable model structure). We use here the notation and terminology of [DRØ03]. Recall that motivic functors give a model for motivic symmetric spectra, and hence for $SH(k)$  [DRØ03].

Consider a motivic functor associated with $H{\mathcal{A}}$ (denoted by the same letters)

$$\begin{eqnarray}H{\mathcal{A}}:c\mathbb{M}{\hookrightarrow}\mathbb{M}\xrightarrow[{}]{\mathbb{Z}^{{\mathcal{A}}}}\mathbb{M}^{{\mathcal{A}}}\xrightarrow[{}]{{\mathcal{U}}}\mathbb{M}.\end{eqnarray}$$

Here $c\mathbb{M}$ is the full subcategory of $\mathbb{M}$ of cofibrant finitely presentable motivic spaces. $\mathbb{Z}^{{\mathcal{A}}}:\mathbb{M}_{\operatorname{mot}}\rightarrow \mathbb{M}_{\operatorname{mot}}^{{\mathcal{A}}}$ is a left Quillen functor, hence it preserves motivic weak equivalences between cofibrant motivic spaces. By Lemma 5.1, ${\mathcal{U}}$ preserves weak equivalences in $\mathbb{M}_{\operatorname{mot}}^{{\mathcal{A}}}$ . It follows that $H{\mathcal{A}}$ preserves motivic equivalences of cofibrant finitely presentable motivic spaces. Hence,

$$\begin{eqnarray}H{\mathcal{A}}\wedge U_{+}\rightarrow H{\mathcal{A}}\circ (-\wedge U_{+})\end{eqnarray}$$

is a $p^{-1}$ -stable weak equivalence between motivic symmetric spectra by [RØ08a, Corollary 56]. Similarly,

(3) $$\begin{eqnarray}H{\mathcal{A}}_{\mathbb{Z}[1/p]}\wedge U_{+}\rightarrow H{\mathcal{A}}_{\mathbb{Z}[1/p]}\circ (-\wedge U_{+})\end{eqnarray}$$

is a $p^{-1}$ -stable weak equivalence between motivic symmetric spectra. Obviously,

$$\begin{eqnarray}\text{}\underline{\unicode[STIX]{x1D70B}}_{\ast ,\ast }^{\mathbb{A}^{1}}(H{\mathcal{A}}_{\mathbb{Z}[1/p]}\circ (-\wedge U_{+}))\cong \text{}\underline{\unicode[STIX]{x1D70B}}_{\ast ,\ast }^{\mathbb{A}^{1}}(H{\mathcal{A}}_{\mathbb{Z}[1/p]}\circ (-\wedge U_{+}))\otimes \mathbb{Z}[1/p].\end{eqnarray}$$

This is because fibrant replacements of the $T$ -spectrum $H{\mathcal{A}}_{\mathbb{Z}[1/p]}\circ (\mathbb{S}_{k}\wedge U_{+})$ , where $\mathbb{S}_{k}$ is the motivic sphere spectrum, can be computed in $\mathbb{MSS}^{{\mathcal{A}}_{\mathbb{Z}[1/p]}}$ .

We claim that

$$\begin{eqnarray}\text{}\underline{\unicode[STIX]{x1D70B}}_{\ast ,\ast }^{\mathbb{A}^{1}}(H{\mathcal{A}}_{\mathbb{Z}[1/p]}\wedge U_{+})\cong \text{}\underline{\unicode[STIX]{x1D70B}}_{\ast ,\ast }^{\mathbb{A}^{1}}(H{\mathcal{A}}_{\mathbb{Z}[1/p]}\wedge U_{+})\otimes \mathbb{Z}[1/p].\end{eqnarray}$$

Indeed, this follows from an isomorphism in $SH(k)$ ,

$$\begin{eqnarray}\displaystyle H{\mathcal{A}}_{\mathbb{Z}[1/p]}\wedge U_{+} & \cong & \displaystyle \operatorname{hocolim}(H{\mathcal{A}}\overset{p}{\longrightarrow }H{\mathcal{A}}\overset{p}{\longrightarrow }H{\mathcal{A}}\overset{p}{\longrightarrow }\cdots \,)\wedge U_{+}\nonumber\\ \displaystyle & \cong & \displaystyle \operatorname{hocolim}(H{\mathcal{A}}\wedge U_{+}\overset{p}{\longrightarrow }H{\mathcal{A}}\wedge U_{+}\overset{p}{\longrightarrow }\cdots \,).\nonumber\end{eqnarray}$$

We see that (3) is not only a $p^{-1}$ -stable weak equivalence between motivic symmetric spectra, but also an ordinary stable motivic equivalence.

Ordinary symmetric $T$ -spectra are obtained from motivic spaces by evaluating them at spheres $S^{0},T,T^{\wedge 2},\ldots$ (see [DRØ03, §3.2]). The evaluation of the motivic space $H{\mathcal{A}}_{\mathbb{Z}[1/p]}\wedge U_{+}$ is the symmetric $T$ -spectrum

$$\begin{eqnarray}({\mathcal{U}}(pt_{+}),{\mathcal{U}}(T^{{\mathcal{A}}_{\mathbb{Z}[1/p]}}),{\mathcal{U}}((T^{\wedge 2})^{{\mathcal{A}}_{\mathbb{Z}[1/p]}}),\ldots )\wedge U_{+}.\end{eqnarray}$$

The evaluation of the motivic space $H{\mathcal{A}}_{\mathbb{Z}[1/p]}\circ (-\wedge U_{+})$ is the symmetric $T$ -spectrum

$$\begin{eqnarray}\unicode[STIX]{x1D6F7}\unicode[STIX]{x1D6F9}(H{\mathcal{A}}_{\mathbb{Z}[1/p]}\wedge U_{+})=({\mathcal{U}}({\mathcal{A}}_{\mathbb{Z}[1/p]}(-,U)),{\mathcal{U}}((U_{+}\wedge T)^{{\mathcal{A}}_{\mathbb{Z}[1/p]}}),{\mathcal{U}}((U_{+}\wedge T^{\wedge 2})^{{\mathcal{A}}_{\mathbb{Z}[1/p]}}),\ldots ).\end{eqnarray}$$

Furthermore, the evaluation of the morphism (3) is the morphism (2). We see that the morphism (2) is a stable motivic equivalence of motivic symmetric spectra, as was to be shown. ◻

Remark 5.4. Very recently Elmanto and Kolderup [EK17] have suggested another approach to the Röndigs–Østvær theorem for ${\mathcal{A}}=\widetilde{\text{Cor}}$ that uses Lurie’s $\infty$ -categorical version of the Barr–Beck theorem.

Theorem 5.5 (Reconstruction).

If $k$ is an infinite perfect field with $\operatorname{char}k\not =2$ , then $SH(k)_{\mathbb{Q}}$ is equivalent to $DM_{\text{MW}}(k)_{\mathbb{Q}}$ . The equivalence preserves the triangulated structure.

Proof. $SH(k)_{\mathbb{Q}}$ is equivalent to $D_{\mathbb{A}^{1}}(k)_{\mathbb{Q}}$ (see [Mor04]). By Theorem 5.3, the latter is equivalent to the homotopy category of $\mathbb{S}^{{\mathcal{A}}_{\text{naive}}}\otimes \mathbb{Q}$ -modules. $\mathbb{S}^{{\mathcal{A}}_{\text{naive}}}\otimes \mathbb{Q}$ is motivically equivalent to the commutative monoid spectrum $\mathbb{S}\otimes \mathbb{Q}$ . By [SS00, Theorem 4.3], the homotopy category of $\mathbb{S}^{{\mathcal{A}}_{\text{naive}}}\otimes \mathbb{Q}$ -modules is equivalent to the homotopy category of $\mathbb{S}\otimes \mathbb{Q}$ -modules. By Theorem 4.2, $\mathbb{S}\otimes \mathbb{Q}$ is motivically equivalent to the commutative monoid spectrum $\mathbb{S}^{\text{MW}}\otimes \mathbb{Q}$ . By [SS00, Theorem 4.3], the homotopy category of $\mathbb{S}\otimes \mathbb{Q}$ -modules is equivalent to the homotopy category of $\mathbb{S}^{\text{MW}}\otimes \mathbb{Q}$ -modules. We see that $SH(k)_{\mathbb{Q}}$ is equivalent to the homotopy category of $\mathbb{S}^{\text{MW}}\otimes \mathbb{Q}$ -modules. By Theorem 5.3, the latter category is triangle equivalent to $DM_{\text{MW}}(k)_{\mathbb{Q}}$ , as was to be shown.◻

Remark 5.6. The triangulated equivalence of Theorem 5.5 is in fact symmetric monoidal. The main point here is that the natural functor between categories of correspondences ${\mathcal{A}}_{\text{naive}}\rightarrow \widetilde{\text{Cor}}$ is extended to a symmetric monoidal triangulated functor $D_{\mathbb{A}^{1}}(k)\rightarrow DM_{\text{MW}}(k)$ (see also [DF17, Section 3.3]). Consider a commutative diagram of natural triangulated functors

The proof of the preceding theorem implies that the lower and the vertical functors are equivalences. We see that the upper functor is an equivalence. It is right adjoint to the functor $D_{\mathbb{A}^{1}}(k)_{\mathbb{Q}}\rightarrow DM_{\text{MW}}(k)_{\mathbb{Q}}$ . It follows that the latter functor is an equivalence, too. It is plainly symmetric monoidal.

6 Comparing motivic complexes with framed and $MW$ -correspondences

In this section we apply the reconstruction theorem (Theorem 5.5) to compare rational motives with framed and Milnor–Witt correspondences respectively. Throughout this section the base field $k$ is infinite perfect of characteristic different from $2$ .

It is shown in [GP14b] that the suspension bispectrum $\unicode[STIX]{x1D6F4}_{S^{1}}^{\infty }\unicode[STIX]{x1D6F4}_{\mathbb{G}}^{\infty }X_{+}\in SH(k)$ of a $k$ -smooth algebraic variety $X$ is stably equivalent to the bispectrum

$$\begin{eqnarray}M_{fr}^{\mathbb{G}}(X)=(M_{fr}(X),M_{fr}(X\times \mathbb{G}_{m}^{\wedge 1}),M_{fr}(X\times \mathbb{G}_{m}^{\wedge 2}),\ldots ),\end{eqnarray}$$

each term of which is a twisted framed motive of $X$ . Since the functor $\widetilde{\mathbb{Z}}:{\mathcal{X}}\mapsto \widetilde{\mathbb{Z}}[{\mathcal{X}}]$ respects stable weak equivalences of bispectra, it follows that the bispectrum $\widetilde{\mathbb{Z}}[\unicode[STIX]{x1D6F4}_{S^{1}}^{\infty }\unicode[STIX]{x1D6F4}_{\mathbb{G}}^{\infty }X_{+}]\in SH(k)$ is stably equivalent to the bispectrum

$$\begin{eqnarray}\mathbb{Z}M_{fr}^{\mathbb{G}}(X)=(\mathbb{Z}M_{fr}(X),\mathbb{Z}M_{fr}(X\times \mathbb{G}_{m}^{\wedge 1}),\mathbb{Z}M_{fr}(X\times \mathbb{G}_{m}^{\wedge 2}),\ldots ).\end{eqnarray}$$

By [GPN16, Theorem 1.2], the latter bispectrum is stably equivalent to the bispectrum

$$\begin{eqnarray}LM_{fr}^{\mathbb{G}}(X):=(LM_{fr}(X),LM_{fr}(X\times \mathbb{G}_{m}^{\wedge 1}),LM_{fr}(X\times \mathbb{G}_{m}^{\wedge 2}),\ldots )\end{eqnarray}$$

consisting of twisted linear framed motives in the sense of [GP14b]. If we take a levelwise Nisnevich local fibrant replacement of $LM_{fr}(X\times \mathbb{G}_{m}^{\wedge n})$ , we get a bispectrum

$$\begin{eqnarray}LM_{fr}^{\mathbb{G}}(X)_{f}:=(LM_{fr}(X)_{f},LM_{fr}(X\times \mathbb{G}_{m}^{\wedge 1})_{f},LM_{fr}(X\times \mathbb{G}_{m}^{\wedge 2})_{f},\ldots ),\end{eqnarray}$$

where each $LM_{fr}(X\times \mathbb{G}_{m}^{\wedge n})_{f}$ is a Nisnevich local fibrant replacement of the $S^{1}$ -spectrum $LM_{fr}(X\times \mathbb{G}_{m}^{\wedge n})$ . It follows from the cancellation theorem for linear framed motives [AGP16] that $LM_{fr}^{\mathbb{G}}(X)_{f}$ is a motivically fibrant bispectrum. In particular, $(\mathbb{S}\wedge X_{+})\otimes \mathbb{Q}$ is computed locally in the Nisnevich topology as the bispectrum

$$\begin{eqnarray}LM_{fr}^{\mathbb{G}_{m}}(X)\otimes \mathbb{Q}=(LM_{fr}(X)\otimes \mathbb{Q},LM_{fr}(X\times \mathbb{G}_{m}^{\wedge 1})\otimes \mathbb{Q},\ldots )\end{eqnarray}$$

consisting of twisted rational linear framed motives of $X$ . Each $S^{1}$ -spectrum $LM_{fr}(X\times \mathbb{G}_{m}^{\wedge n})$ is the Eilenberg–Mac Lane spectrum associated with the simplicial Nisnevich sheaf $\mathbb{Z}F(-\times \unicode[STIX]{x1D6E5}^{\bullet },X\times \mathbb{G}_{m}^{\wedge n})$ defined in terms of the category of linear framed correspondences $\mathbb{Z}F_{\ast }(k)$ and stabilized in the $\unicode[STIX]{x1D70E}$ -direction (see [GP14b] for details).

It is natural to compare twisted complexes defined by various categories of correspondences. There is constructed a functor in [DF17],

$$\begin{eqnarray}F:Fr_{\ast }(k)\rightarrow \widetilde{\operatorname{Cor}}.\end{eqnarray}$$

It induces morphisms of twisted complexes

$$\begin{eqnarray}f_{n}:\mathbb{Z}F(-\times \unicode[STIX]{x1D6E5}^{\bullet },X\times \mathbb{G}_{m}^{\wedge n})\rightarrow \widetilde{\operatorname{Cor}}(-\times \unicode[STIX]{x1D6E5}^{\bullet },X\times \mathbb{G}_{m}^{\wedge n})_{\operatorname{ nis}},\quad n\geqslant 0.\end{eqnarray}$$

A question, originally due to Calmès and Fasel, is whether the $f_{n}$ are quasi-isomorphisms of complexes of Nisnevich sheaves. The following theorem answers this question in the affirmative with rational coefficients.

Theorem 6.1 (Comparison).

Given an infinite perfect field of characteristic not $2$ and a $k$ -smooth scheme $X$ , each morphism of complexes of Nisnevich sheaves

$$\begin{eqnarray}f_{n}:\mathbb{Z}F(-\times \unicode[STIX]{x1D6E5}^{\bullet },X\times \mathbb{G}_{m}^{\wedge n})\otimes \mathbb{Q}\rightarrow \widetilde{\operatorname{Cor}}(-\times \unicode[STIX]{x1D6E5}^{\bullet },X\times \mathbb{G}_{m}^{\wedge n})_{\operatorname{ nis}}\otimes \mathbb{Q},\quad n\geqslant 0,\end{eqnarray}$$

is a quasi-isomorphism.

Proof. We defined the bispectrum $M_{\text{MW}}^{\mathbb{G}_{m}}(X)$ on p. 1432. Taking levelwise Nisnevich local fibrant replacements, we get a bispectrum $M_{\text{MW}}^{\mathbb{G}_{m}}(X)_{f}$ . The canonical morphism of bispectra $\unicode[STIX]{x1D6F4}_{S^{1}}^{\infty }\unicode[STIX]{x1D6F4}_{\mathbb{G}}^{\infty }X_{+}\rightarrow M_{\text{MW}}(X)_{f}$ factors as

$$\begin{eqnarray}\unicode[STIX]{x1D6F4}_{S^{1}}^{\infty }\unicode[STIX]{x1D6F4}_{\mathbb{G}}^{\infty }X_{+}\rightarrow LM_{fr}^{\mathbb{G}_{m}}(X)_{f}\rightarrow M_{\text{MW}}^{\mathbb{G}_{m}}(X)_{f}.\end{eqnarray}$$

As we have shown above, the left arrow is rationally a stable motivic equivalence. $F$ is a map between fibrant bispectra which are both locally given by twisted complexes with linear framed and finite Milnor–Witt correspondences, respectively. It follows that the morphisms of the corollary are quasi-isomorphisms if and only $(F\circ \ell )\otimes \mathbb{Q}$ is an isomorphism in $SH(k)$ . But the latter follows from Theorem 5.5.◻

Remark 6.2. Bachmann and Ananyevskiy recently pointed out to the author that Theorem 6.1 cannot be true with integer coefficients even for $X=pt$ . Moreover, it is not true with $\mathbb{Z}[1/p_{1},\ldots ,1/p_{s}]$ -coefficients for any finite collection of primes $p_{1},\ldots ,p_{s}$ . Therefore the quasi-isomorphism of the comparison theorem is genuinely rational.

7 Concluding remarks

The methods developed in the previous sections should also be applicable to compute $SH(k)_{\mathbb{Q}}$ in terms of the hypothetical category of ‘Hermitian correspondences’ $K_{0}^{h}$ . Its objects are those of $Sm/k$ and morphisms are given by certain bimodules with duality with/without coefficients in some line bundles. $K_{0}^{h}$ is expected to be a symmetric monoidal strict $V$ -category of correspondences satisfying the cancellation property. It is also expected that

$$\begin{eqnarray}\mathbb{S}^{K_{0}^{h}}[2^{-1}]\cong \text{}\underline{W}_{\mathbb{ Z}[1/2]}^{\mathbb{G}_{m}}\oplus \mathbb{S}^{K_{0}^{\oplus }}[2^{-1}].\end{eqnarray}$$

Suslin’s theorem [Sus03] together with [ALP17, Theorem 3.4] and [CD12, Theorem 16.2.13] then would imply that $\mathbb{S}\otimes \mathbb{Q}$ is isomorphic to $\mathbb{S}^{K_{0}^{h}}\otimes \mathbb{Q}$ . The proof of Theorem 5.5 would then be the same for showing that $SH(k)_{\mathbb{Q}}$ is equivalent to $DM_{K_{0}^{h}}(k)_{\mathbb{Q}}$ .

The Suslin theorem [Sus03] comparing Grayson’s cohomology with motivic cohomology is then extended to finite Milnor–Witt correspondences as follows. It states that there is a natural functor between categories of $V$ -correspondences

$$\begin{eqnarray}K_{0}^{h}\rightarrow \widetilde{\operatorname{Cor}}\end{eqnarray}$$

such that the induced morphism of twisted complexes of Nisnevich sheaves

$$\begin{eqnarray}K_{0}^{h}(-\times \unicode[STIX]{x1D6E5}^{\bullet },\mathbb{G}_{m}^{\wedge n})_{\operatorname{ nis}}\rightarrow \widetilde{\operatorname{Cor}}(-\times \unicode[STIX]{x1D6E5}^{\bullet },\mathbb{G}_{m}^{\wedge n})_{\operatorname{ nis}}\end{eqnarray}$$

is locally a quasi-isomorphism (at least over infinite perfect fields of characteristic not $2$ ). The extension of the Suslin theorem should be reduced to the original Suslin theorem.

We invite the interested reader to construct the category of ‘Hermitian correspondences’ $K_{0}^{h}$ with the desired properties.