Hostname: page-component-586b7cd67f-tf8b9 Total loading time: 0 Render date: 2024-11-23T03:24:43.408Z Has data issue: false hasContentIssue false

Reconstructing rational stable motivic homotopy theory

Published online by Cambridge University Press:  25 June 2019

Grigory Garkusha*
Affiliation:
Department of Mathematics, Swansea University, Fabian Way, Swansea SA1 8EN, UK email [email protected]
Rights & Permissions [Opens in a new window]

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.

Type
Research Article
Copyright
© The Author 2019 

1 Introduction

By the celebrated Serre finiteness theorem [Reference SerreSer53] 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 [Reference RobinsonRob87] 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 [Reference Voevodsky, Voevodsky, Suslin and FriedlanderVoe00b] $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 [Reference Cisinski and DégliseCD12, Theorem 16.2.13]). Ananyevskiy, Levine and Panin [Reference Ananyevskiy, Levine and PaninALP17] have computed $SH^{-}(k)_{\mathbb{Q}}$ as the category of Witt motives with rational coefficients (see also Bachmann [Reference BachmannBac18]). 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 [Reference Calmès and FaselCF14].

Next, we extend the Röndigs–Østvær theorem [Reference Röndigs and ØstværRØ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 [Reference GarkushaGar18]. The generalized Röndigs–Østvær theorem can also be regarded as a motivic counterpart of the Robinson theorem [Reference RobinsonRob87].

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 [Reference Déglise and FaselDF17]. 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 [Reference Voevodsky, Voevodsky, Suslin and FriedlanderVoe00b] constructed the category of motives $DM(k)$ by using finite correspondences. Later he developed the theory of framed correspondences [Reference VoevodskyVoe01]. One of the aims was to suggest another framework for Morel and Voevodsky’s stable motivic homotopy theory $SH(k)$ . In [Reference Garkusha and PaninGP14b] 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 [Reference Garkusha and PaninGP14b] 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 [Reference Garkusha and PaninGP14b].

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 [Reference Voevodsky, Voevodsky, Suslin and FriedlanderVoe00b], finite Milnor–Witt correspondences $\widetilde{\operatorname{Cor}}$ in the sense of Calmès and Fasel [Reference Calmès and FaselCF14] or $K_{0}^{\oplus }$ in the sense of Walker [Reference WalkerWal96]. 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 [Reference Garkusha and PaninGP14a]. For example, $\operatorname{Cor}$ and $K_{0}^{\oplus }$ are $V$ -categories of correspondences, which are strict whenever the base field $k$ is perfect (see [Reference Voevodsky, Voevodsky, Suslin and FriedlanderVoe00a, Reference WalkerWal96]). 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 [Reference Déglise and FaselDF17, Reference KolderupKol17]). 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 [Reference Garkusha and PaninGP12, 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 [Reference JardineJar00, Reference Morel and VoevodskyMV99] 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 [Reference Röndigs and ØstværRØ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 [Reference NeemanNee96] 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 [Reference Voevodsky, Voevodsky, Suslin and FriedlanderVoe00a], 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 [Reference Voevodsky, Voevodsky, Suslin and FriedlanderVoe00a] for details or [Reference Garkusha and PaninGP14a, 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 [Reference Al Hwaeer and GarkushaAG16, 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 [Reference Calmès and FaselCF14, Reference Déglise and FaselDF17, Reference SuslinSus03, Reference Suslin and VoevodskySV00, Reference WalkerWal96] for more details). ${\mathcal{A}}_{\text{naive}}$ is obviously symmetric monoidal.

Given a symmetric monoidal category of correspondences ${\mathcal{A}}$ , a theorem of Day [Reference DayDay70] 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 [Reference Suslin and VoevodskySV00, § 2] and [Reference Cisinski and DégliseCD09, 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 [Reference Déglise and FaselDF17], 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 [Reference JardineJar00]. 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 [Reference JardineJar00] 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 [Reference Röndigs and ØstværRØ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 [Reference Dundas, Röndigs and ØstværDRØ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 [Reference MorelMor03, § 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 [Reference Garkusha and PaninGP12, § 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 [Reference MorelMor04] (see also [Reference Cisinski and DégliseCD12, § 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, [Reference MorelMor06, § 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 [Reference HoveyHov01, § 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 [Reference Voevodsky, Voevodsky, Suslin and FriedlanderVoe00b, Reference Suslin and VoevodskySV00, Reference SuslinSus03], 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 [Reference MorelMor06, Theorem 6.2.7].◻

Remark 3.4. It is worth mentioning that Lemma 3.3 does not depend on Morel’s connectivity theorem [Reference MorelMor06, 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 [Reference Garkusha and PaninGP18], 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 [Reference Garkusha and PaninGP12, 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 [Reference Garkusha and PaninGP18, 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 [Reference MorelMor03, 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 [Reference MorelMor03, 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 [Reference Ananyevskiy, Levine and PaninALP17, 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 [Reference Ananyevskiy, Levine and PaninALP17] 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 [Reference BachmannBac18, 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 [Reference Calmès and FaselCF14] 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 [Reference Déglise and FaselDF17]. It follows from [Reference Fasel and ØstværFØ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 [Reference Calmès and FaselCF14, Proposition 5.11] $\widetilde{\operatorname{Cor}}(-,Y)$ is a Zariski sheaf, but not a Nisnevich sheaf in general [Reference Calmès and FaselCF14, Example 5.12]. However, $\widetilde{\operatorname{Cor}}(-,pt)$ is the Nisnevich sheaf $\text{}\underline{K}_{0}^{\text{MW}}$  [Reference Calmès and FaselCF14, Example 4.5], which is homotopy invariant by [Reference FaselFas08, Corollaire 11.3.3]. Since $\widetilde{\operatorname{Cor}}$ is a strict additive $V$ -category of correspondences by [Reference Déglise and FaselDF17], 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 [Reference Calmès and FaselCF14, 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 [Reference Calmès and FaselCF14] 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 [Reference Cisinski and DégliseCD12, 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 [Reference Déglise and FaselDF17, 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 [Reference Röndigs and ØstværRØ08a] to preadditive categories of correspondences. Throughout this section ${\mathcal{A}}$ is a category of correspondences.

Following [Reference Röndigs and ØstværRØ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 [Reference Röndigs and ØstværRØ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 [Reference Röndigs and ØstværRØ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 [Reference Röndigs and ØstværRØ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 [Reference DayDay70] 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 [Reference Dundas, Röndigs and ØstværDRØ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 [Reference Röndigs and ØstværRØ08a, Lemma 10] word for word, the projective motivic model structure on $\mathbb{M}_{\operatorname{mot}}^{{\mathcal{A}}}$ is symmetric monoidal. Following [Reference HoveyHov01, Reference Röndigs and ØstværRØ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 [Reference Röndigs and ØstværRØ08a, Theorem 11] word for word).

Below we shall need the following theorem proved by Riou in [Reference Levine, Yang and ZhaoLYZ13, Appendix B] (see also the proof of [Reference Hoyois, Kelly and ØstværHKØ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 [Reference Röndigs and ØstværRØ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 [Reference Röndigs and ØstværRØ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 [Reference Dundas, Röndigs and ØstværDRØ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 [Reference Röndigs and ØstværRØ08a, Corollary 56] (though [Reference Röndigs and ØstværRØ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 [Reference Dundas, Röndigs and ØstværDRØ03]. Recall that motivic functors give a model for motivic symmetric spectra, and hence for $SH(k)$  [Reference Dundas, Röndigs and ØstværDRØ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 [Reference Röndigs and ØstværRØ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 [Reference Dundas, Röndigs and ØstværDRØ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 [Reference Elmanto and KolderupEK17] 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 [Reference MorelMor04]). 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 [Reference Schwede and ShipleySS00, 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 [Reference Schwede and ShipleySS00, 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 [Reference Déglise and FaselDF17, 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 [Reference Garkusha and PaninGP14b] 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 [Reference Garkusha, Neshitov and PaninGPN16, 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 [Reference Garkusha and PaninGP14b]. 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 [Reference Ananyevskiy, Garkusha and PaninAGP16] 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 [Reference Garkusha and PaninGP14b] for details).

It is natural to compare twisted complexes defined by various categories of correspondences. There is constructed a functor in [Reference Déglise and FaselDF17],

$$\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 [Reference SuslinSus03] together with [Reference Ananyevskiy, Levine and PaninALP17, Theorem 3.4] and [Reference Cisinski and DégliseCD12, 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 [Reference SuslinSus03] 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.

Acknowledgements

I would like to thank I. Panin for numerous discussions on motivic homotopy theory. I am also grateful to A. Druzhinin, J. Fasel and A. Neshitov for helpful discussions on Milnor–Witt correspondences. I thank D.-C. Cisinski for pointing out results of Riou, thanks to which the main theorem of this paper has been improved. This paper was written during my visit to IHES in September 2016. I would like to thank the Institute for its kind hospitality.

References

Al Hwaeer, H. and Garkusha, G., Grothendieck categories of enriched functors , J. Algebra 450 (2016), 204241.10.1016/j.jalgebra.2015.09.052Google Scholar
Ananyevskiy, A., Garkusha, G. and Panin, I., Cancellation theorem for framed motives of algebraic varieties, Preprint (2016), arXiv:1601.06642.Google Scholar
Ananyevskiy, A., Levine, M. and Panin, I., Witt sheaves and the 𝜂-inverted sphere spectrum , J. Topology 10 (2017), 370385.10.1112/topo.12015Google Scholar
Bachmann, T., Motivic and real étale stable homotopy theory , Compos. Math. 154 (2018), 883917.10.1112/S0010437X17007710Google Scholar
Calmès, B. and Fasel, J., The category of finite $MW$ -correspondences, Preprint (2014),arXiv:1412.2989v2.Google Scholar
Cisinski, D. C. and Déglise, F., Local and stable homological algebra in Grothendieck abelian categories , Homology Homotopy Appl. 11 (2009), 219260.10.4310/HHA.2009.v11.n1.a11Google Scholar
Cisinski, D. C. and Déglise, F., Triangulated categories of mixed motives, Preprint (2009), arXiv:0912.2110v3.Google Scholar
Day, B., On closed categories of functors , in Reports of the midwest category seminar, IV, Lecture Notes in Mathematics, vol. 137 (Springer, Berlin, 1970), 138.Google Scholar
Dundas, B., Röndigs, O. and Østvær, P. A., Motivic functors , Doc. Math. 8 (2003), 489525.Google Scholar
Déglise, F. and Fasel, J., $MW$ -motivic complexes, Preprint (2017), arXiv:1708.06095.Google Scholar
Elmanto, E. and Kolderup, H., Modules over Milnor–Witt Motivic cohomology, Preprint (2017), arXiv:1708.05651.Google Scholar
Fasel, J., Groupes de Chow–Witt , Mém. Soc. Math. Fr. (N.S.) 113 (2008).Google Scholar
Fasel, J. and Østvær, P. A., A cancellation theorem for Milnor–Witt correspondences, Preprint (2017), arXiv:1708.06098.Google Scholar
Garkusha, G., Comparing motives of smooth algebraic varieties , C. R. Math. Acad. Sci. Paris 356 (2018), 11001105.10.1016/j.crma.2018.11.006Google Scholar
Garkusha, G., Neshitov, A. and Panin, I., Framed motives of relative motivic spheres, Preprint (2016), arXiv:1604.02732.Google Scholar
Garkusha, G. and Panin, I., K-motives of algebraic varieties , Homology Homotopy Appl. 14 (2012), 211264.10.4310/HHA.2012.v14.n2.a13Google Scholar
Garkusha, G. and Panin, I., The triangulated category of K-motives DK - eff(k) , J. K-theory 14 (2014), 103137.10.1017/is014004013jkt263Google Scholar
Garkusha, G. and Panin, I., Framed motives of algebraic varieties (after V. Voevodsky), Preprint (2014), arXiv:1409.4372v2.Google Scholar
Garkusha, G. and Panin, I., On the motivic spectral sequence , J. Inst. Math. Jussieu 17 (2018), 137170.10.1017/S1474748015000419Google Scholar
Hovey, M., Spectra and symmetric spectra in general model categories , J. Pure Appl. Algebra 165 (2001), 63127.10.1016/S0022-4049(00)00172-9Google Scholar
Hoyois, M., Kelly, S. and Østvær, P. A., The motivic Steenrod algebra in positive characteristic , J. Eur. Math. Soc. (JEMS) 19 (2017), 38133849.10.4171/JEMS/754Google Scholar
Jardine, J. F., Motivic symmetric spectra , Doc. Math. 5 (2000), 445552.Google Scholar
Kolderup, H., Homotopy invariance of Nisnevich sheaves with Milnor–Witt transfers, Preprint (2017), arXiv:1708.04229.Google Scholar
Levine, M., Yang, Y. and Zhao, G., Algebraic elliptic cohomology theory and flops, I, Preprint (2013), arXiv:1311.2159.Google Scholar
Morel, F., An introduction to A1 -homotopy theory, ICTP Lecture Notes Series, vol. 15 (Abdus Salam International Centre for Theoretical Physics, Trieste, 2003), 357442.Google Scholar
Morel, F., On the motivic 𝜋0 of the sphere spectrum , in Enriched and motivic homotopy theory, NATO Science Series, vol. 131 (Kluwer, Dordrecht, 2004), 219260.10.1007/978-94-007-0948-5_7Google Scholar
Morel, F., The stable A1 -connectivity theorems , K-theory 35 (2006), 168.10.1007/s10977-005-1562-7Google Scholar
Morel, F. and Voevodsky, V., A1 -homotopy theory of schemes , Publ. Math. Inst. Hautes Études Sci. 90 (1999), 45143.10.1007/BF02698831Google Scholar
Neeman, A., The Grothendieck duality theorem via Bousfield’s techniques and Brown representability , J. Amer. Math. Soc. 9 (1996), 205236.10.1090/S0894-0347-96-00174-9Google Scholar
Robinson, A., The extraordinary derived category , Math. Z. 196 (1987), 231238.10.1007/BF01163657Google Scholar
Röndigs, O. and Østvær, P. A., Modules over motivic cohomology , Adv. Math. 219 (2008), 689727.10.1016/j.aim.2008.05.013Google Scholar
Röndigs, O. and Østvær, P. A., Rigidity in motivic homotopy theory , Math. Ann. 341 (2008), 651675.10.1007/s00208-008-0208-5Google Scholar
Schwede, S. and Shipley, B., Algebras and modules in monoidal model categories , Proc. Lond. Math. Soc. (3) 80 (2000), 491511.10.1112/S002461150001220XGoogle Scholar
Serre, J.-P., Groupes d’homotopie et classes de groupes abéliens , Ann. of Math. (2) 58 (1953), 258294.10.2307/1969789Google Scholar
Suslin, A., On the Grayson spectral sequence , Tr. Mat. Inst. Steklova 241 (2003), 218253; (Russian). English transl. in Proc. Steklov Inst. Math. 241 (2003), 202–237.Google Scholar
Suslin, A. and Voevodsky, V., Bloch–Kato conjecture and motivic cohomology with finite coefficients , in The arithmetic and geometry of algebraic cycles (Banff, AB, 1998), NATO Science Series C: Mathematics, Physics and Science, vol. 548 (Kluwer, Dordrecht, 2000), 117189.10.1007/978-94-011-4098-0_5Google Scholar
Voevodsky, V., Cohomological theory of presheaves with transfers , in Cycles, transfers and motivic homology theories, Ann. Math. Studies, eds Voevodsky, V., Suslin, A. and Friedlander, E. (Princeton University Press, Princeton, NJ, 2000).Google Scholar
Voevodsky, V., Triangulated category of motives over a field , in Cycles, transfers and motivic homology theories, Ann. Math. Studies, eds Voevodsky, V., Suslin, A. and Friedlander, E. (Princeton University Press, Princeton, NJ, 2000).Google Scholar
Voevodsky, V., Notes on framed correspondences, unpublished, 2001. Also available atmath.ias.edu/vladimir/files/framed.pdf.Google Scholar
Walker, M. E., Motivic cohomology and the K-theory of automorphisms, PhD Thesis, University of Illinois at Urbana-Champaign, 1996.Google Scholar