1 Introduction
The mathematical framework for motivic homotopy theory has been established over the last 25 years [Reference Bachmann47]. An interesting aspect witnessed by the complex and real numbers, $\mathbb C$ , $\mathbb R$ , is that Betti realisation functors provide mutual beneficial connections between the motivic theory and the corresponding classical and $C_{2}$ equivariant stable homotopy theories [Reference Gabber46], [Reference Bachmann, Calmés, Déglise, Fasel and Østvær29], [Reference Østvær33], [Reference Dwyer and Friedlander14], [Reference Spitzweck26], [Reference Schmidt and Strunk39], [Reference Hornbostel and Yagunov40]. We amplify this philosophy by extending it to deeper base schemes of arithmetic interest. This allows us to understand the fabric of the cellular part of the stable motivic homotopy category of $\mathbb {Z}[1/2]$ in terms of $\mathbb C$ , $\mathbb R$ and $\mathbb {F}_3$ – the field with three elements. If $\ell $ is a regular prime, a number theoretic notion introduced by Kummer in 1850 to prove certain cases of Fermat’s last theorem [Reference Morel73], we show an analogous result for the ring $\mathbb {Z}[1/\ell ]$ .
For context, recall that a scheme X – for example, an affine scheme $\mathrm {Spec}(A)$ – has an associated prospace $X_{\acute {e}t}$ , denoted by $A_{\acute {e}t}$ in the affine case, called the étale homotopy type of X representing the étale cohomology of X with coefficients in local systems; see [Reference Gheorghe, Wang and Xu3] and [Reference Bachmann and Hopkins27] for original accounts and [Reference Mathew, Naumann and Noel38, §5] for a modern definition. For specific schemes, $X_{\acute {e}t}$ admits an explicit description after some further localisation; see the work of Dwyer–Friedlander in [Reference Dugger and Isaksen23, Reference Röndigs, Spitzweck and Østvær24]. For example, they established the pushout square
Here the completion $(\mathord )^\wedge $ takes into account the cohomology of the local coefficient systems $\mathbb {Z}/2^n(m)$ .
Remark 1.1. If k is a field, then $k_{\acute {e}t}$ is a prospace of type $K(\pi ,1)$ , where $\pi $ is the Galois group over k of the separable closure of k. If S is a henselian local ring with residue class field k, then $k_{\acute {e}t}\rightarrow S_{\acute {e}t}$ is an equivalence (by Galois descent, this reduces to the case S strictly henselian local, which is clear). For instance, $\mathbb C_{\acute {e}t}\simeq *$ is contractible, $\mathbb R_{\acute {e}t} \simeq \mathbb R\mathbb P^\infty $ is equivalent to the classifying space of the group $C_2$ of order 2 and $(\mathbb {F}_p)_{\acute {e}t} \simeq (\mathbb {Z}_p)_{\acute {e}t}$ is equivalent to the profinite completion of a circle. That is, up to completion, (1.1) can be expressed more suggestively as $\mathbb {Z}[1/2]_{\acute {e}t} \simeq S^1 \vee \mathbb R\mathbb P^\infty $ . For our generalisation to stable motivic homotopy invariants, it will be essential to keep track of the fields and not just their étale homotopy types.
The presentation of $\mathbb {Z}[1/2]_{\acute {e}t}^\wedge $ has powerful consequences; for example, taking the $2$ adic étale Ktheory of (1.1) yields a pullback square. Combined with the Quillen–Lichtenbaum conjecture for the 2primary algebraic Ktheory of $\mathbb {Z}[1/2]$ (see [Reference Østvær17], [Reference Dugger and Isaksen74], [Reference Gras58], [Reference Bousfield34]), one obtains the pullback square
We show that replacing algebraic Ktheory in (1.2) by an arbitrary cellular motivic spectrum over $\mathbb {Z}[1/2]$ still yields a pullback square. Let $\mathcal {SH}(X)$ denote the motivic stable homotopy category of X; see [Reference Bachmann42], [Reference Bachmann and Hoyois22], [Reference Pstrągowski54, §5], [Reference Friedlander11, §4.1]. We write $\mathcal {SH}(X)^{\text {cell}} \subset \mathcal {SH}(X)$ for the full subcategory of cellular motivic spectra [Reference Dundas, Röndigs and Østvær20]; that is, the localising subcategory generated by the bigraded spheres $S^{p,q}$ for all integers $p,q\in \mathbb {Z}$ . For simplicity we state a special case of Theorem 4.7; see Example 4.10.
Theorem 1.2. For every $\mathcal {E} \in \mathcal {SH}(\mathbb {Z}[1/2])^{\text {cell}}$ there is a pullback square
Here, for $X \in \mathrm {S}\mathrm {ch}{}_{\mathbb {Z}[1/2]}$ , we denote by $\mathcal {E}(X)$ the (ordinary) spectrum of maps from $\mathbf {1}_X$ to $p^*\mathcal {E}$ in $\mathcal {SH}(X)$ , where $\mathbf {1}_X \in \mathcal {SH}(X)$ denotes the unit object and $p: X \to \mathbb {Z}[1/2]$ is the structure map.
Example 1.3. The motivic spectra representing algebraic Ktheory, $\mathrm {KGL}$ , hermitian Ktheory, $\mathrm {KO}$ , Witttheory, $\mathrm {KW}$ , motivic cohomology or higher Chow groups, $\mathrm {H}\mathbb {Z}$ , and algebraic cobordism, $\mathrm {MGL}$ , are cellular (at least after localisation at $2$ ) by respectively [Reference Dundas, Röndigs and Østvær20, Theorem 6.2], [Reference Siegel62, Theorem 1], [Reference Lurie36, Proposition 8.1] and [Reference Röndigs, Spitzweck and Østvær69, Corollary 10.4], [Reference Dundas, Röndigs and Østvær20, Theorem 6.4]. We refer to [Reference Artin and Mazur10, Proposition 8.12] for cellularity of the corresponding (very effective or connective) covers $\mathrm {kgl}$ , $\mathrm {ko}$ , $\mathrm {kw}$ , in the sense of [Reference Lam70] and MilnorWitt motivic cohomology $\mathrm {H}\widetilde {\mathbb {Z}}$ , in the sense of [Reference Isaksen and Østvær8], [Reference Elmanto and Shah6].
In the case of $\mathcal {E}=\mathrm {KGL}$ , Theorem 1.2 recovers the stable version of [Reference Bousfield34, Theorem 1.1], and for $\mathcal {E}=\mathrm {KO}$ it recovers [Reference Bökstedt15, Theorem 1.1] (in fact, we extend these results to arbitrary $2$ regular number fields, not necessarily totally real). The squares for $\mathrm {KW}$ , $\mathrm {H}\mathbb {Z}$ , $\mathrm {H}\widetilde {\mathbb {Z}}$ , $\mathrm {MGL}$ , $\mathrm {kgl}$ , $\mathrm {ko}$ , $\mathrm {kw}$ appear to be new.
A striking application of Theorem 1.2 is that it relates the universal motivic invariants over $\mathbb {Z}[1/2]$ to the same invariants over $\mathbb C$ , $\mathbb R$ and $\mathbb {F}_{3}$ . That is, applying (1.3) to the motivic sphere $\mathcal {E}=\mathbf {1}_{\mathbb {Z}[1/2]}$ enables computations of the stable motivic homotopy groups of $\mathbb {Z}[1/2]$ . We identify, up to oddprimary torsion, the endomorphism ring of $\mathbf {1}_{\mathbb {Z}[1/2]}$ with the Grothendieck–Witt ring of quadratic forms of the Dedekind domain $\mathbb {Z}[1/2]$ defined in [Reference Bachmann, Elmanto and Østvær53, Chapter IV, §3]. This extends Morel’s fundamental computation of $\pi _{0,0}(\mathbf {1})$ over fields [Reference Pstrągowski54, §6] to an arithmetic situation.
Theorem 1.4. The unit map $\mathbf {1}_{\mathbb {Z}[1/2]} \to \mathrm {KO}_{\mathbb {Z}[1/2]}$ induces an isomorphism
Remark 1.5. The étale homotopy types of various other rings and applications to algebraic Ktheory and group homology of general linear groups were worked out in [Reference Dugger and Isaksen23], [Reference Röndigs, Spitzweck and Østvær24], [Reference Neukirch57], [Reference Bousfield34]. We show similar generalisations of (1.3) with $\mathbb {Z}[1/2]$ replaced by $\mathcal O_F[1/2]$ , for F any $2$ regular number field, or by $\mathbb {Z}[1/\ell ]$ , $\mathbb {Z}[1/\ell ,\zeta _\ell ]$ , where $\ell $ is an odd regular prime and $\zeta _\ell $ is a primitive $\ell $ th root of unity; to achieve this, we slightly alter the other terms in (1.3). See Theorems 4.7, 4.11, 4.14, 5.2 for precise statements.
Another application, which will be explored elsewhere, is the spherical Quillen–Lichtenbaum property saying the canonical map from stable motivic homotopy groups to stable étale motivic homotopy groups is an isomorphism in certain degrees. Slice completeness is an essential input for showing the spherical property; we deduce this for base schemes such as $\mathbb {Z}[1/2]$ in Proposition 11.
As a final comment, we expect that most of the applications we establish hold over more general base schemes, where convenient reductions to small fields are not possible. The proofs will require significantly different ideas.
Organisation
In Section 2 we give proofs for some more or less standard facts about nilpotent completions in stable $\infty $ categories with tstructures. While these results are relatively straightforward generalisations of Bousfield’s pioneering work [Reference Hodgkin and Østvær18], we could not locate a reference in the required generality. These nilpotent completions will be our primary tool throughout the rest of the article. In Section 3 we prove a variant of Gabber rigidity. We show that, for example, if $E \in \mathcal {SH}(X)^{\text {cell}}$ where X is essentially smooth over a Dedekind scheme, then $E(X_x^h)_\ell ^\wedge \simeq E(x)_\ell ^\wedge $ for any point $x \in X$ such that $\ell $ is invertible in $k(x)$ . Here $X_x^h$ denotes the henselisation of X along x. Our principal results are shown in Section 4. We establish a general method for exhibiting squares as above and provide a criterion for cartesianess in terms of étale and real étale cohomology; see Proposition 7. Next we verify this criterion for regular number rings, reducing essentially to global class field theory – which is also how Dwyer–Friedlander established (1.1). In Section 5 we discuss some applications, including a proof of Theorem 1.4.
Notation and conventions
We freely use the language of (stable) infinity categories, as set out in [Reference Scheiderer48, Reference Andradas, Bröcker and Ruiz49]. Given a (stable) $\infty $ category $\mathcal C$ and objects $c, d \in \mathcal C$ , we denote by $\mathrm {Map}(c,d) = \mathrm {Map}_{\mathcal C}(c,d)$ (respectively $\mathrm {map}(c,d) = \mathrm {map}_{\mathcal {C}}(c,d)$ ) the mapping space (respectively mapping spectrum). Given a symmetric monoidal category $\mathcal C$ , we denote the unit object by $\mathbf {1} = \mathbf {1}_{\mathcal {C}}$ . We assume familiarity with the motivic stable category $\mathcal {SH}(S)$ ; see, for example, [Reference Friedlander11, §4.1]. We write $\Sigma ^{p,q} = \Sigma ^{pq} \wedge {\mathbb {G}_m^{\wedge q}}$ for the bigraded suspension functor and $S^{p,q} = \Sigma ^{p,q} \mathbf {1}$ for the bigraded spheres.
2 Nilpotent completions
We axiomatise some wellknown facts about nilpotent completions in presentably symmetric monoidal stable $\infty $ categories with a tstructure. Our arguments are straightforward generalisations of [Reference Hodgkin and Østvær18] and [Reference Druzhinin50]. Theorems 2.1 and 2.2 are the main results in this section.
2.1 Overview
Throughout we let $\mathcal C$ be a presentably symmetric monoidal $\infty $ category (i.e., the tensor product preserves colimits in each variable separately) provided with a tstructure which is compatible with the symmetric monoidal structure (i.e., $\mathcal C_{\ge 0} \otimes \mathcal C_{\ge 0} \subset \mathcal C_{\ge 0}$ ) and weakly left complete, by which we mean that for $X \in \mathcal C$ we have $X \simeq \operatorname *{\mathrm {lim}}_n X_{\le n}$ . Given $E \in \mathrm {CAlg}(\mathcal C)$ and $X \in \mathcal C$ , recall [51, Construction 2.7] the standard cosimplicial resolution (or cobar construction)
whose limit is (for us by definition) the Enilpotent completion $X_E^\wedge $ .
We call $X \in \mathcal C$ bounded below if $X \in \cup _n \mathcal C_{\ge n}$ . Recall that $R \in \mathrm {CAlg}(\mathcal C^\heartsuit )$ is called idempotent if the multiplication map $R \otimes ^\heartsuit R \to R \in \mathcal C^\heartsuit $ is an equivalence.
Theorem 2.1. Let $\mathcal C$ be weakly left complete, $E \in \mathrm {CAlg}(\mathcal C_{\ge 0})$ and $X \in \mathcal C$ . Suppose that $\pi _0 E \in \mathrm {CAlg}(\mathcal C^\heartsuit )$ is idempotent and X is bounded below. Then the canonical map
is an equivalence.
One way of producing idempotent algebras is by taking quotients of the unit. Given $L_1, \dots , L_n \in \mathcal C_{\ge 0}$ and maps $x_i: L_i \to \mathbf {1}$ , we set
The object $\pi _0(\mathbf {1}/(x_1, \dots , x_n)) \in \mathrm {CAlg}(\mathcal C^\heartsuit )$ is idempotent. For varying m, the $\mathbf {1}/x_i^m$ s form an inverse system indexed on $\mathbb {N}$ in an evident way; by taking tensor products, the objects $X/(x_1^{m_1}, \dots , x_n^{m_n})$ form an $\mathbb {N}^n$ indexed inverse system. We define the xcompletion of X as the limit
Theorem 2.2. Suppose each $L_i\in \mathcal C_{\ge 0}$ is strongly dualisable with dual $DL_i \in \mathcal C_{\ge 0}$ . If $X \in \mathcal C$ is bounded below and $\mathcal C$ is weakly left complete, then there is a canonical equivalence
To apply Theorem 2.2 in motivic stable homotopy theory we consider, for a scheme S, the homotopy tstructure on $\mathcal {SH}(S)$ ; see, for example, [Reference Friedlander11, §B], [Reference Röndigs and Østvær66, §1].
Theorem 2.3. Let S be a noetherian scheme of finite Krull dimension and suppose $X \in \mathcal {SH}(S)$ is bounded below.

1. There is an equivalence $X_{\mathrm {MGL}}^\wedge \simeq X_\eta ^\wedge $ .

2. If $1/\ell \in S$ , then there is an equivalence $X_{H\mathbb {F}_\ell }^\wedge \simeq X_{\eta ,\ell }^\wedge $ .
Proof. The homotopy tstructure is weakly left complete by [Reference Röndigs and Østvær66, Corollary 3.8].
(1) Owing to [Reference Lurie36, Theorem 3.8, Corollary 3.9] we have $\mathrm {MGL} \in \mathcal {SH}(S)_{\ge 0}$ and $\pi _0(\mathrm {MGL}) \simeq \pi _0(\mathbf {1}/\eta )$ .
(2) We need to prove that $\mathrm {H}\mathbb {F}_\ell \in \mathcal {SH}(S)_{\ge 0}$ and $\pi _0(\mathrm {H}\mathbb {F}_\ell ) \simeq \pi _0(\mathbf {1}/(\eta ,\ell ))$ . Since $x_i\in \pi _{2i,i}\mathrm {MGL}$ and $\Sigma ^{2i,i}\mathrm {MGL}=\Sigma ^i{\mathbb {G}_m^{\wedge i}}\wedge \mathrm {MGL}\in \mathcal {SH}(S)_{\ge i}\subset \mathcal {SH}(S)_{>0}$ , both of these claims follow from the Hopkins–Morel isomorphism
shown in [Reference Röndigs, Spitzweck and Østvær69, Theorem 10.3].Footnote ^{1}
Remark 2.4. Theorem 2.3 implies that a map $\alpha : E \to F \in \mathcal {SH}(S)_{\ge 0}$ is an $(\eta ,\ell )$ adic equivalence if and only if $\alpha \wedge \mathrm {H}\mathbb {F}_\ell $ is an equivalence, which is also easily seen by considering homotopy objects. This weaker statement, however, cannot be used as a replacement for Theorem 2.3 in this work.
2.2 Proofs
Recall that $\mathcal C$ is a presentably symmetric monoidal $\infty $ category equipped with a compatible tstructure.
Definition 1.

1. Let $E \in \mathrm {CAlg}(\mathcal C)$ . Then $X \in \mathcal C$ is Enilpotent if it lies in the thick subcategory generated by objects of the form $E \otimes Y$ for $Y \in \mathcal C$ .

2. Let $R \in \mathrm {CAlg}(\mathcal C^\heartsuit )$ be idempotent. Then $F \in \mathcal C^\heartsuit $ is strongly Rnilpotent if F admits a finite filtration whose subquotients are Rmodules.Footnote ^{2} Moreover, $X \in \mathcal C$ is strongly Rnilpotent if it is bounded in the tstructure and all homotopy objects are strongly Rnilpotent.
Example 2.5. If $X \in \mathcal C$ is an Emodule in the homotopy category, then it is a summand of $X \otimes E$ and thus X is Enilpotent.
Lemma 2.6. Suppose $R \in \mathrm {CAlg}(\mathcal C^\heartsuit )$ is idempotent.

1. Let
$$ \begin{align*} A \to B \to C \to D \to E \in \mathcal C^\heartsuit \end{align*} $$be an exact sequence. If $A,B,D,E$ are strongly Rnilpotent, then so is $\mathcal C$ . 
2. An object $X \in \mathcal C$ is strongly Rnilpotent if and only if it is Rnilpotent and bounded in the tstructure.
Proof. (1) The proofs of [Reference Druzhinin50, Lemmas 7.2.7–7.2.9] apply unchanged. (2) Example 2.5 implies that strongly Rnilpotent objects are Rnilpotent, being finite extensions of homotopy Rmodules. It thus suffices to show that if X is Rnilpotent, then its homotopy objects $\pi _i^{\mathcal C}(X) \in \mathcal C^\heartsuit $ are strongly Rnilpotent. This is clear for free Rmodules, and the property is preserved by taking summands and shifts and cofibres by (1). The result follows.
Definition 2.

1. If $E \in \mathrm {CAlg}(\mathcal C)$ , $X \in \mathcal C$ , a tower of the form
$$ \begin{align*} X \to \dots \to X_2 \to X_1 \to X_0 \end{align*} $$is called an Enilpotent resolution if each $X_i$ is Enilpotent and for every Enilpotent $Y \in \mathcal C$ , we have$$ \begin{align*} \operatorname*{\mathrm{colim}}_n [X_n, Y] \xrightarrow{\simeq} [X, Y]. \end{align*} $$ 
2. If $R \in \mathrm {CAlg}(\mathcal C^\heartsuit )$ is idempotent and $X \in \mathcal C$ , a tower of the form
$$ \begin{align*} X \to \dots \to X_2 \to X_1 \to X_0 \end{align*} $$is called a strongly Rnilpotent resolution if each $X_i$ is strongly Rnilpotent and for every strongly Rnilpotent $Y \in \mathcal C$ , we have$$ \begin{align*} \operatorname*{\mathrm{colim}}_n [X_n, Y] \xrightarrow{\simeq} [X, Y]. \end{align*} $$
Proposition 3. For $X, Y \in \mathcal C$ and $X_\bullet , Y_\bullet E$ nilpotent (respectively strongly Rnilpotent) resolutions, we have
Thus, any map $X \to Y$ induces a canonical morphism of towers $X_\bullet \to Y_\bullet $ . In particular, if $X \simeq Y$ , then $X_\bullet \simeq Y_\bullet \in \mathrm {Pro}(\mathcal C)$ and $\operatorname *{\mathrm {lim}}_n X_n \simeq \operatorname *{\mathrm {lim}}_n Y_n$ .
Proof. Essentially, by definition we have
The colimit is equivalent to $\mathrm {Map}(X, Y_n)$ by the definition of a resolution.
Lemma 2.7. Let $E \in \mathrm {CAlg}(\mathcal C)$ and $X \in \mathcal C$ .

1. The tower of partial totalisations of the standard cosimplicial objects $X \otimes E^{\otimes \bullet }$ is an Enilpotent resolution of X.

2. Suppose that $E \in \mathcal C_{\ge 0}$ and $\pi _0 E$ is idempotent. Then if $X \to X_\bullet $ is any Enilpotent resolution by bounded below objects (e.g., if X is bounded below, the one arising from (1)), then $X \to \tau _{\le \bullet } X_\bullet $ is a strongly $\pi _0(E)$ nilpotent resolution.
Proof. (1) Since partial totalisations are finite limits, they commute with $\otimes X$ , by stability, and are thus given by $X_i = X \otimes \mathrm {cof}(I^{\otimes i} \to \mathbf {1})$ , where $I = \mathrm {fib}(\mathbf {1} \to E)$ , see [51, Proposition 2.14]. In the notation of loc. cit. we get $\mathrm {cof}(X_i \to X_{i1}) \simeq \Sigma \mathrm {cof}(T_i(E, X) \to T_{i1}(E, X))$ and $X_0 = 0$ . This implies $X_i$ is Enilpotent by [51, Proposition 2.5(1)]. To conclude, it suffices to prove that if Y is Enilpotent, then $\operatorname *{\mathrm {colim}}_i\, \mathrm {map}(X_i, Y) \simeq \mathrm {map}(X, Y)$ . The class of objects Y satisfying the latter equivalence is thick, so we may assume that Y is an Emodule. We are reduced to proving that $\operatorname *{\mathrm {colim}}_i\, \mathrm {map}(I^{\otimes i} \otimes X, Y) = 0$ . But this is a summand of $\operatorname *{\mathrm {colim}}_i\, \mathrm {map}(I^{\otimes i} \otimes X \otimes E, Y)$ , Y being an Emodule, and the transition maps $I^{\otimes i+1} \otimes E \to I^{\otimes i} \otimes E$ are null by [51, Proposition 2.5(2)], so the colimit vanishes as desired.
(2) We first show that each $\tau _{\le n} X_n$ is strongly Rnilpotent and, more generally, that if Y is Enilpotent, then each $\pi _i(Y)$ is strongly Rnilpotent. By Lemma 2.6(1) we may assume Y is a (free) Emodule; in this case, each $\pi _i(Y)$ is a $\pi _0(E)$ module. Suppose $Y \in \mathcal C$ is strongly $\pi _0(E)$ nilpotent. Then Y is Enilpotent since any $\pi _0(E)$ module is an Emodule. Finally, we have
Here the first equivalence holds since Y is bounded above and the second because Y is Enilpotent.
Next we prove that the Enilpotent completion only depends on $\pi _0(E)$ .
Proof of Theorem 2.1. For $E \in \mathrm {CAlg}(\mathcal C_{\ge 0})$ and $X \in \mathcal C$ , denote by $R_n(E, X)$ the nth partial totalisation of $X \otimes E^{\otimes \bullet }$ , so that $X \to R_\bullet (E, X)$ is a tower with limit $X \to X_E^\wedge $ . By left completeness and cofinality we have
By Lemma 2.7, the righthand side is the limit of a strongly $\pi _0(E)$ nilpotent resolution, which by Proposition 3 only depends on X and $\pi _0(E)$ .
Remark 2.8. The proof also verifies that any strongly $\pi _0(E)$ nilpotent resolution of X has limit $X_{\pi _0 E}^\wedge $ .
We now turn to the study of xcompletions.
Lemma 2.9. Let $L_1, \dots , L_n \in \mathcal C$ be strongly dualisable and $x_i: L_i \to \mathbf {1}$ . Let $Y \in \mathcal C$ and suppose that, for every i, the map
is null. Then there is an equivalence
Proof. As a first observation, note that the maps $Y \otimes L_i \xrightarrow {x_i} Y$ and $Y \xrightarrow {Dx_i} Y \otimes DL_i$ correspond under the equivalence $\mathrm {Map}(Y \otimes L_i, Y) \simeq \mathrm {Map}(Y, Y \otimes D(L_i))$ . It follows that $Dx_i$ is null.
First consider the case $n=1$ . By definition we have $\mathrm {fib}(X \to X/x^m) \simeq X \otimes L^{\otimes m}$ . Hence, it suffices to prove $\operatorname *{\mathrm {colim}}_m\, \mathrm {map}(X \otimes L^{\otimes m}, Y) = 0$ . This term can be identified with $\operatorname *{\mathrm {colim}}_m\, \mathrm {map}(X, (DL)^{\otimes m} \otimes Y)$ , and the transition maps in this system are null by our first observation. In the general case, we note the equivalence
Hence, we get
The first equivalence holds since colimits commute and the other two hold by induction.
Lemma 2.10. Suppose $L \in \mathcal C_{\ge 0}$ is strongly dualisable with strong dual $DL \in \mathcal C_{\ge 0}$ . Then, for all $X \in \mathcal C$ , there are equivalences
Proof. By assumption we have $\mathcal C_{\ge 0} \otimes L \subset \mathcal C_{\ge 0}$ . The same holds for $DL$ , which implies $\mathcal C_{\le 0} \otimes L \subset \mathcal C_{\le 0}$ . In other words, $\otimes L: \mathcal C \to \mathcal C$ is texact and hence $\pi _i(X \otimes L) \simeq \pi _i(X) \otimes L$ . Being in the heart $\mathcal C^\heartsuit $ , the latter tensor product is equivalent to $\pi _i(X) \otimes ^\heartsuit \pi _0(L)$ .
Let us quickly verify that $\pi _0(\mathbf {1}/(x_1, \dots , x_n))$ is indeed an idempotent algebra in $\mathcal C^\heartsuit $ .
Lemma 2.11. Let $L_1, \dots , L_n \in \mathcal C_{\ge 0}$ and $x_i: L_i \to \mathbf {1}$ . Then $R = \pi _0(\mathbf {1}/(x_1, \dots , x_n))$ defines an idempotent object of $\mathrm {CAlg}(\mathcal C^\heartsuit )$ and the multiplication maps $\pi _0(L_i) \otimes ^\heartsuit R \xrightarrow {x_i} R$ are null.
Proof. Recall that idempotent commutative algebras in $\mathcal C^\heartsuit $ are the same as maps $\pi _0(\mathbf {1}) \to A \in \mathcal C^\heartsuit $ such that the induced map $A \to A \otimes ^\heartsuit A$ is an isomorphism [Reference Andradas, Bröcker and Ruiz49, Proposition 4.8.2.9]. Note that
More generally, let us prove that if $\pi _0(\mathbf {1}) \to A \in \mathcal C^\heartsuit $ is an idempotent algebra and $L \in \mathcal C_{\ge 0}$ , $x: L \to \mathbf {1}$ , then $\pi _0(A/x)$ is also an idempotent algebra on which multiplication by x is null. Consider the commutative diagram of cofibre sequences
Here c and e ‘multiply L into the left factor A’ and all of the other maps are the canonical projections. Since A is idempotent, $\pi _0(A \otimes A) \simeq A$ and $\pi _0(A \otimes A/x) \simeq \pi _0(A/x) \simeq \pi _0(A/x \otimes A)$ . Under these identifications we have $\pi _0(a) = \pi _0(b)$ and so $\pi _0(ed) = \pi _0(bc) = \pi _0(ac) = 0$ . Since $\pi _0(d)$ is an epi we deduce $\pi _0(e) = 0$ , and hence $\pi _0(u)$ is an isomorphism. This concludes the proof since, under our identifications, $\pi _0(e)$ is multiplication by x on $\pi _0(A/x)$ and $\pi _0(u)$ is $\pi _0(A/x)\to \pi _0(A/x)\otimes ^\heartsuit \pi _0(A/x)$ .
We can now identify xcompletions as Enilpotent completions for an appropriate E.
Proof of Theorem 2.2. Lemma 2.11 shows $R_n = \pi _0(\mathbf {1}/(x_1, \dots , x_n))$ is idempotent.
Step 1: The map $R_n \otimes L_i \xrightarrow {x_i} R_n$ is null. Indeed, by Lemma 2.10, we have $R_n \otimes L_i \simeq R_n \otimes ^\heartsuit \pi _0(L_i)$ , and so this follows from Lemma 2.11.
Step 2: We show the homotopy objects of $X/(x_1^{e_1}, \dots , x_n^{e_n})$ are strongly $R_n$ nilpotent for all $e_i \ge 1$ . By an induction argument, using the octahedral axiom, $X/x^m$ is a finite extension of copies of $X/x$ . Hence, each $X/(x_1^{e_1}, \dots , x_n^{e_n})$ is a finite extension of copies of $X/(x_1, \dots , x_n)$ ; thus, we may assume $e_i=1$ . By induction on n and Lemma 2.10, together with Lemma 2.6(1), it suffices to show that if $M \in \mathcal C^\heartsuit $ is $R_i$ nilpotent, then both the kernel and cokernel of
are $R_{i+1}$ nilpotent. The proof given in [Reference Druzhinin50, Lemma 7.2.10] goes through unchanged in our setting.
Step 3: We show that
is a strongly $R_n$ nilpotent resolution of X. Since we assume X is connected, step 2 shows
is bounded with strongly $R_n$ nilpotent homotopy objects. Owing to Lemma 2.6(2), it is in fact strongly $R_n$ nilpotent. We thus need to show that if Y is strongly $R_n$ nilpotent, then
Since Y is bounded above, we may remove $\tau _{\le m}$ in the above expression without changing the colimit. We may assume that Y is an $R_n$ module in $\mathcal C^\heartsuit $ . By step 1 the map $L_i \otimes Y \to Y$ is null, and so the claim follows from Lemma 2.9.
Conclusion of proof: By left completeness we have
According to step 3, this is the limit of a strongly $R_n$ nilpotent resolution of X, which coincides with $X_{R_n}^\wedge $ by Remark 2.8.
3 Rigidity for stable motivic homotopy of henselian local schemes
In this section we prove results to the effect that if X is a suitable henselian local scheme with closed point x and E is an appropriate motivic spectrum, then $E(X) \simeq E(x)$ . Such results are known as ‘rigidity’. Many instances have been proved before, mainly if X is essentially smooth over a field; see, for example, [Reference Lurie35, Reference Levine1]. Our main novelty is that we replace the base by a Dedekind domain, at the cost of imposing much stronger assumptions on E.
Given a presentably symmetric monoidal stable $\infty $ category $\mathcal C$ and a morphism $a: L \to \mathbf {1}$ with L strongly dualisable, we denote by $\mathcal C_a^\wedge $ the acompletion; that is, the localisation at maps which become an equivalence after $\otimes \mathrm {cof}(a)$ . We refer to [Reference Isaksen7, §2.1], [Reference Artin and Mazur10, §2.5] for more details; in particular, the acompletion of X is given by the object $X_a^\wedge $ from the previous section.
Given a family of objects $\mathcal G \subset \mathcal C$ (which for us will always be bigraded spheres $\Sigma ^{**} \mathbf {1}$ ), we write $\mathcal C^{\text {cell}}$ for the localising subcategory generated by $\mathcal G$ . Noting that $\mathcal C_a^\wedge $ is equivalent to the localising tensor ideal generated by $\mathrm {cof}(a)$ , by, for example, [Reference Isaksen7, Example 2.3], we see that if $L \in \mathcal G$ , then these two operations commute, and so we shall write
Recall the element $h := 1 + \langle 1 \rangle \in \pi _{0,0}(\mathbf {1})$ , where $\langle 1 \rangle $ is the switch map on ${\mathbb {G}_m} \wedge {\mathbb {G}_m}$ , and the element $\rho := [1] \in \pi _{1,1}(\mathbf {1})$ corresponding to $1 \in \mathcal O^\times $ .
Proposition 4. Suppose X is a henselian local scheme and essentially smooth over a Dedekind scheme. Write $i:x \to X$ for the inclusion of the closed point and let $n \in \mathbb {Z}$ .

1. If $1/n \in X$ , then $i^*: \mathcal {SH}(X)_{n}^{\wedge \text {cell}} \to \mathcal {SH}(x)_{n}^{\wedge \text {cell}}$ is an equivalence.

2. If $1/2n \in X$ , then $i^*: \mathcal {SH}(X)_{nh}^{\wedge \text {cell}} \to \mathcal {SH}(x)_{nh}^{\wedge \text {cell}}$ is an equivalence.

3. $i^*: \mathcal {SH}(X)[\rho ^{1}]^{\text {cell}} \to \mathcal {SH}(x)[\rho ^{1}]^{\text {cell}}$ is an equivalence.
Many proofs in the sequel will follow the pattern of this one. We spell out many details here, which are suppressed in the following proofs.
Proof. If S is a quasicompact quasiseparated scheme – for example, affine – the category $\mathcal {SH}(S)$ is compactly generated by suspension spectra of finitely presented smooth Sschemes [Reference Mantovani37, Proposition C.12]. Thus, $\mathcal {SH}(S)^{\text {cell}}$ is compactly generated by the spheres, and for every $a \in \pi _{**}(\mathbf {1}_S)$ , the category $\mathcal {SH}(S)_a^{\wedge \text {cell}}$ is compactly generated by $\Sigma ^{**}\mathbf {1}/a$ . Now let $f: S' \to S$ be a morphism, where $S'$ is also quasicompact quasiseparated. We use $f^*$ to transport elements of $\pi _{**}(\mathbf {1}_S)$ to $\pi _{**}(\mathbf {1}_{S'})$ , and when no confusion can arise, we denote them by the same letter. Thus, for example, we set
The functor $f^*: \mathcal {SH}(S)_a^{\wedge \text {cell}} \to \mathcal {SH}(S')_a^{\wedge \text {cell}}$ preserves colimits and the compact generator. Therefore, it admits a right adjoint $f_*$ preserving colimits. This implies that $f^*$ is fully faithful if and only if the map $\mathbf {1} \to f_*f^*\mathbf {1} \in \mathcal {SH}(S)_a^{\wedge \text {cell}}$ is an equivalence; see, for example, [Reference Heller and Ormsby4, Lemma 22]; in this case, the functor is an equivalence since its essential image will be a localising subcategory containing the generator.
We can simplify this condition further. By acompleteness and Lemma 3.1, it follows that $\mathbf {1} \to f_*f^*\mathbf {1}$ is an equivalence if and only if $\mathbf {1}/a \to f_*f^*(\mathbf {1}/a)$ is an equivalence; that is, if and only if
If $b \in \pi _{**}(\mathbf {1})$ , then in our compactly generated situations the bperiodisation $\mathcal {E}[b^{1}]$ is given by the colimit
Since $f_*$ preserves colimits, it commutes with bperiodisation by Lemma 3.1. We shall make use of the fact that a map is an equivalence if and only if it is an equivalence after bperiodisation and bcompletion; see, for example, [Reference Artin and Mazur10, Lemma 2.16]. Thus, to prove fully faithfulness it would also be sufficient, as well as necessary, to prove
We will use many different variants of these observations in the sequel.
(0) We claim the functor
is an equivalence provided $1/2 \in X$ and that
is an equivalence without any assumptions on X. For the first claim, by the above remarks it suffices to prove that $\pi _{**}(\mathbf {1}[\eta ^{1}])$ satisfies the required rigidity, which via [Reference Elmanto and Shah6, Proposition 5.2] reduces to the same statement for the Witt ring $W(\mathord )$ . This is true by [Reference Ananyevskiy and Druzhinin41, Lemma 4.1]. Since $\mathcal {SH}(S)[\eta ^{1}, 1/2] \simeq \mathcal {SH}(S)[\rho ^{1}, 1/2]$ (see Lemma 3.2), the second claim reduces to (3).
(1) It suffices to establish an isomorphism on $\eta $ periodisation and $\eta $ completion. We first treat the $\eta $ complete case; that is, we need to show that $\mathbf {1} \to i_*i^* \mathbf {1} \in \mathcal {SH}_{n,\eta }^{\wedge \text {cell}}$ is an equivalence. By Theorem 2.3(2) with $\ell =n$ , we have
for any bounded below E in $\mathcal {SH}(S)$ . The cellularisation functor $\mathcal {SH}(S) \to \mathcal {SH}(S)^{\text {cell}}$ preserves limits and hence $(n,\eta )$ completions. Moreover, $\mathrm {H}\mathbb {Z}/n \in \mathcal {SH}(S)^{\text {cell}}$ if $1/n \in S$ by [Reference Röndigs, Spitzweck and Østvær69, Corollary 10.4]. Hence, the above formula for $E_{n,\eta }^\wedge $ also makes sense, and is true, in $\mathcal {SH}(S)^{\text {cell}}$ . Thus, we need to show the map $\mathrm {H}\mathbb {Z}/2^{\wedge t} \to i_*(\mathrm {H}\mathbb {Z}/2^{\wedge t}) \in \mathcal {SH}(X)^{\text {cell}}$ is an equivalence, for $t \ge 1$ . Lemma 3.1 implies that $i_*(E \wedge i^*F) \simeq i_*(E) \wedge F$ , for any $E \in \mathcal {SH}(x)$ , $F \in \mathcal {SH}(X)^{\text {cell}}$ . In this way, we reduce to $t=1$ ; that is, it suffices to show
Owing to [Reference Röndigs, Spitzweck and Østvær69, Theorem 3.9], $\pi _{**}(\mathrm {H}\mathbb {Z}/n_S)$ is given by the Zariski cohomology of S with coefficients in a truncation of the étale cohomology of $\mu _n^{\otimes \mathord }$ . When $S=X$ or $S=x$ , the scheme S is Zariski local, so $\pi _{**}(\mathrm {H}\mathbb {Z}/n_S)$ is simply given by certain étale cohomology groups of S with coefficients in $\mu _n^{\otimes \mathord }$ . The rigidity result follows now from [Reference Spitzweck and Østvær28, Theorem 1].
Next we treat the $\eta $ periodic case. If n is even, then $1/2 \in X$ and so the result follows from (0). If n is odd, then ncomplete objects are $2$ periodic and the result also follows from (0).
(2) Again it suffices to prove that we have an isomorphism after $\eta $ completion and $\eta $ periodisation; (0) handles the $\eta $ periodic case. For the $\eta $ complete case, we use that $\pi _0(\mathbf {1}/(nh,\eta )) \simeq \pi _0(1/(2n,\eta ))$ (see Lemma 3.2), whence $\mathbf {1}_{nh,\eta }^\wedge \simeq \mathbf {1}_{2n,\eta }^\wedge $ by Theorem 2.2; this reduces to (1).
(3) By [Reference Behrens and Shah5, Theorem 35] we have $\mathcal {SH}(S)[\rho ^{1}] \simeq \mathcal {SH}(S_{r\acute {e}t})$ , where the righthand side denotes hypersheaves on the small real étale site of S. In this situation we have a natural tstructure; see, for example, [Reference Isaksen7, §2.2], such that the map $\mathbf {1}_{r\acute {e}t} \to \mathrm {H}_{r\acute {e}t}\mathbb {Z}$ is a morphism of connective ring spectra inducing an isomorphism on $\pi _0$ , where by $\mathrm {H}_{r\acute {e}t}\mathbb {Z}$ we mean the constant sheaf of spectra. Hence, applying Theorem 2.1 in this situation, and repeating the above discussion using that $\mathrm {H}_{r\acute {e}t}\mathbb {Z}$ is cellular and stable under base change, essentially by definition, we find that in order to prove $\mathbf {1} \to i_*i^* \mathbf {1} \in \mathcal {SH}(S)[\rho ^{1}]^{\text {cell}}$ is an equivalence, it suffices to prove $\mathrm {H}_{r\acute {e}t} \mathbb {Z} \to i_* \mathrm {H}_{r\acute {e}t} \mathbb {Z}$ is an equivalence. In other words, we need to show
Since the real étale and Zariski cohomological dimension coincide [Reference Levine65, Theorem 7.6], we are reduced to $H^0_{r\acute {e}t}$ , which follows from [Reference Levine2, Propositions II.2.2, II.2.4].
Lemma 3.1. Let $F: \mathcal C \to \mathcal D$ be a symmetric monoidal functor between symmetric monoidal categories admitting a right adjoint G, and let $x: A \to \mathbf {1}$ be a morphism in $\mathcal C$ with A strongly dualisable. Then for $X \in \mathcal D$ , there is a natural equivalence $G(X \otimes FA) \simeq G(X) \otimes A$ , and under this equivalence the map
corresponds to
Suppose that $\mathcal C, \mathcal D$ are presentably symmetric monoidal stable $\infty $ categories and G preserves colimits. Write $\mathcal C'$ for the localising subcategory of $\mathcal C$ generated by strongly dualisable objects. Then the above result also holds for any $A \in \mathcal C'$ .
Proof. Since F is symmetric monoidal, G is lax symmetric monoidal, and there is a canonical map $GX \otimes GFA \to G(X \otimes FA)$ . Composing with the unit $A \to GFA$ , we obtain a natural map $GX \otimes A \to G(X \otimes FA)$ , which is an equivalence by the Yoneda lemma. Since this equivalence is natural in A as well, the claim about x also follows.
For the second statement, the subcategory comprising $A \in \mathcal C$ for which the natural transformation $GX \otimes A \to G(X \otimes FA)$ is an equivalence for all $X \in \mathcal D$ is localising since G preserves colimits and it contains all strongly dualisable objects by the first part and hence all of $\mathcal C'$ .
Lemma 3.2. In $\pi _{*,*}(\mathbf {1})$ we have the relations
It follows that
Proof. By [Reference Jardine19, Theorem 1.2], all of the Milnor–Witt relations hold in $\pi _{*,*}(\mathbf {1})$ , including $\eta h = 0$ . Our definition of h agrees with Druzhinin’s by [Reference Jardine19, Lemma 3.10]. We now compute
using the logarithm relation $[ab] = [a] + [b] + \eta [a][b]$ as well as $[1]=0$ , which holds by definition.
For the last part, note that inverting either $\eta $ or $\rho $ kills h (by the first or third relation) and hence makes $\eta $ and $\rho $ inverses of each other up to a factor of $1/2$ (by the second relation).
Example 3.3. Suppose that $1/2 \in X$ , where X is henselian local and essentially smooth over a Dedekind scheme. Applying Proposition 4(2) with $n=1$ , we learn that $\mathcal {SH}(X)_h^{\wedge \text {cell}} \to \mathcal {SH}(x)_h^{\wedge \text {cell}}$ is an equivalence. By Lemma 3.2, both the $\eta $ periodic and $\rho $ periodic objects are htorsion. We conclude $\mathcal {SH}(X)_h^\wedge [\eta ^{1}] \simeq \mathcal {SH}(X)[\eta ^{1}]$ and similarly for $\rho $ . Thus, there is an equivalence
A similar equivalence holds for $\rho $ . With reference to Proposition 4, this shows (2) implies (3).
Example 3.4. We have $(E_{ab}^\wedge )_a^\wedge \simeq E_a^\wedge $ since $ab$ periodic objects are aperiodic. Hence, in Proposition 4, (2) implies (1).
4 Topological models for stable motivic homotopy of regular number rings
We shall exhibit pullback squares describing $\mathcal {SH}(\mathcal {O}_{F}[1/\ell ])_\ell ^{\wedge \text {cell}}$ for suitable number fields F and prime numbers $\ell $ in terms of $\mathcal {SH}(k)_\ell ^{\wedge \text {cell}}$ for fields of the form $k=\mathbb C,\mathbb R,\mathbb {F}_{q}$ . To facilitate comparison with the work of Dwyer–Friedlander [Reference Röndigs, Spitzweck and Østvær24], we formally dualise our terminology and exhibit pushout squares in the opposite category.
4.1 Setup
Let $\ell $ be a prime (or, more generally, any integer, but we do not need or use this extra generality). We shall use the notation $\ell ' = \ell $ if $\ell $ is odd and $\ell ' = \ell h$ if $\ell =2$ .
Definition 5.

1. We write
$$ \begin{align*} \mathcal{C\!M}_S \subset (\mathrm{CAlg}(\mathcal{P}\mathrm{r}^{\mathrm{L}})^{\mathrm{op}})_{/\mathcal{SH}(S)^{\text{cell}}} \end{align*} $$for the full subcategory comprising functors $F\colon \mathcal {SH}(S)^{\text {cell}} \to \mathcal C$ , where $\mathcal C$ is generated under colimits by $F(\mathcal {SH}(S)^{\text {cell}})$ (or, equivalently, by $F(S^{p,q})$ for $p,q \in \mathbb {Z}$ ). 
2. We denote by $M_{\ell '}$ the functor
$$ \begin{align*} \mathrm{S}\mathrm{ch}{}_{\mathbb{Z}[1/\ell]} \to \mathcal{C\!M}_{\mathbb{Z}[1/\ell]}, \quad X \mapsto \mathcal{SH}(X)_{\ell'}^{\wedge\text{cell}}, \quad (f: X \to Y) \mapsto (f^*: \mathcal{SH}(Y)_{\ell'}^{\wedge\text{cell}} \to \mathcal{SH}(X)_{\ell'}^{\wedge\text{cell}})^{\mathrm{op}}. \end{align*} $$
We also put $\mathcal {C\!M} = \mathcal {C\!M}_{\mathbb {Z}}$ and, by abuse of notation, $M(X) := M_0(X) = \mathcal {SH}(X)^{\text {cell}} \in \mathcal {C\!M}$ . Note that $\mathcal {C\!M}_S = \mathcal {C\!M}_{/M_0(S)}$ and $M_{\ell '}(X) = M(X)_{\ell '}^\wedge $ . Next, we clarify the meaning of colimits in $\mathcal {C\!M}_S$ .
Lemma 4.1. Let $F: I \to \mathcal {C\!M}_S$ be a diagram and write $F': I^{\mathrm {op}} \to \mathcal {C}\mathrm {at}{}_\infty $ for the underlying diagram of categories. Then $\operatorname *{\mathrm {lim}}_{I^{\mathrm {op}}} F' \in \mathcal {C}\mathrm {at}{}_\infty $ is presentably symmetric monoidal and admits a natural functor from $\mathcal {SH}(S)^{\text {cell}}$ . Let $\mathcal C$ denote its subcategory generated under colimits by the image of $\mathcal {SH}(S)^{\text {cell}}$ . Then there is an equivalence $\operatorname *{\mathrm {colim}}_I F \simeq \mathcal C$ .
Proof. The forgetful functor
preserves limits [Reference Scheiderer48, Propositions 5.5.3.13, 1.2.13.8], [Reference Andradas, Bröcker and Ruiz49, Corollary 3.2.2.5], and hence the limit admits a canonical functor from $\mathcal {SH}(S)^{\text {cell}}$ . For $\mathcal D \in \mathcal {C\!M}$ we have
It remains to show the inclusion is an equivalence; that is, every map $\mathcal D \to \operatorname *{\mathrm {lim}}_{I^{\mathrm {op}}} F'$ in $\mathrm {CAlg}(\mathcal {P}\mathrm {r}^{\mathrm {L}})_{\mathcal {SH}(S)^{\text {cell}}/}$ factors through $\mathcal C$ . This holds for the generators, by assumption, so we are done.
Next we reformulate and slightly extend our rigidity results from Section 3.
Lemma 4.2. Let $\bar {x}$ be the spectrum of a separably closed field, $X \in \mathrm {S}\mathrm {ch}{}_{\mathbb {Z}[1/\ell ]}$ an essentially smooth over a Dedekind domain, $\bar x \to X$ a map and $y \in X$ a specialisation of the image of x. In $\mathcal {C\!M}_{\mathbb {Z}[1/\ell ]}$ there is a commutative diagram
Here the unlabelled maps are the canonical ones. In fact, there is a family of such commutative diagrams, parametrised by the (nonempty) set $X_y^h \times _X \bar x$ .
Proof. Let $X'$ be the henselisation of X along y. By [Reference Bachmann and Wickelgren71, Tags 03HV, 07QM(1)], the map $X' \to X$ hits the image of $\bar x$ , and hence there exists a lift $s'$ in the commutative diagram
Applying M and using that $M(y) \to M(X')$ is an equivalence by Proposition 4, the result follows.
Corollary 6. The following hold under the assumptions in Lemma 4.2.

1. If $y\in X$ is separably closed, then s is an equivalence.

2. If $\bar x, \bar y \in \mathrm {S}\mathrm {ch}{}_{\mathbb {Z}[1/\ell ]}$ are separably closed fields there is a (nonunique) equivalence $M(\bar x) \simeq M(\bar y)$ .
Proof. (1) We have constructed a symmetric monoidal cocontinuous functor $F: \mathcal {SH}(\bar y)_{\ell '}^{\wedge \text {cell}} \to \mathcal {SH}(\bar x)_{\ell '}^{\wedge \text {cell}}$ under $\mathcal {SH}(\mathbb {Z}[1/\ell ])^{\text {cell}}$ . Denote its right adjoint by G. Arguing as in the proof of Proposition 4, it suffices to show $\mathcal {E} \to GF \mathcal {E}$ is an equivalence. That is, $\mathcal {E} \to GF \mathcal {E}$ induces an isomorphism on $\pi _{**}$ for $\mathcal {E} = \mathrm {H}\mathbb {F}_\ell $ , $\mathcal {E} = \mathrm {H}_{r\acute {e}t} \mathbb {Z}$ and, if $\ell $ is even, $\mathcal {E} = \mathbf {1}[\eta ^{1}]$ . For any separably closed field of characteristic $\ne \ell $ we have $\pi _{**}(\mathrm {H}\mathbb {F}_\ell ) \simeq \mathbb {F}_\ell [\tau ]$ (see, for example, [Reference Hoyois12, Corollary C.2(2)], [Reference Hornbostel and Yagunov40, Theorem 18.2.7]), $W = \mathbb {Z}/2$ and $\mathrm {H}_{r\acute {e}t} \mathbb {Z} = 0$ (the real spectrum being empty). Moreover, all of the maps are algebra maps over the corresponding algebra for $\mathbb {Z}[1/\ell ]$ . Thus, the map for $\pi _{**} \mathrm {H}_{r\acute {e}t} \mathbb {Z}$ is trivially an isomorphism, and the one for $\pi _{**} \mathbf {1}[\eta ^{1}]$ is an isomorphism because as an algebra it is determined by W according to [Reference Elmanto and Shah6, Proposition 5.2]. The isomorphism for $\mathrm {H}\mathbb {F}_\ell $ will hold if and only if $F(\tau ) = \tau $ , which holds provided $F(\tau ^n) = \tau ^n$ for some $n \ge 1$ . But, for $n\gg 0$ , $\tau ^n$ exists over $\mathbb {Z}[1/\ell ]$ (if $\ell =2$ , this holds with $n=1$ and for $\ell $ odd; see, e.g., [Reference Washington9, §4.5(2)]).
(2) Let $x, y \in \mathrm {Spec}(\mathbb {Z}[1/\ell ])$ be the images of $\bar x, \bar y$ . We may assume y is a specialisation of x. Let X be the strict henselisation of $\mathrm {Spec}(\mathbb {Z}[1/\ell ])$ along y, with closed point $y'$ . By (1) applied with $X=X'$ we have $M(y') \simeq M(\bar x)$ , and by applying it with $(X, \bar x, y) = (\{y'\}, \bar y, y')$ we get $M(y') \simeq M(\bar y)$ .
Remark 4.3. This common category $M(\bar x) \simeq M(\bar y)$ is known as $\ell $ complete $\mathrm {MU}$ based (even) synthetic spectra [Reference Gras59].
4.2 Criterion
Recall that for $X \in \mathrm {S}\mathrm {ch}{}_{\mathbb {Z}[1/\ell ]}$ the objects $\mathrm {H}\mathbb {F}_\ell , \mathrm {H}_{r\acute {e}t} \mathbb {Z} \in \mathcal {SH}(X)$ are cellular and stable under base change. For $\mathrm {H}\mathbb {F}_\ell $ this is [Reference Röndigs, Spitzweck and Østvær69, Corollary 10.4, Theorem 8.22]. For $\mathrm {H}_{r\acute {e}t} \mathbb {Z}$ this follows from the expression $\mathrm {H}_{r\acute {e}t} \mathbb {Z} \simeq o(\mathrm {H}\mathbb {Z})[1/\rho ]$ [Reference Behrens and Shah5], where $o: \mathcal {SH} \to \mathcal {SH}(X)$ is the unique cocontinuous symmetric monoidal functor. In particular, any morphism between $M(X)$ and $M(Y)$ in $\mathcal {C\!M}_{\mathbb {Z}[1/\ell ]}$ preserves these objects.
Proposition 7. Let $X_0, X_1, X_2, X_3 \in \mathrm {S}\mathrm {ch}{}_{\mathbb {Z}[1/\ell ]}$ be essentially smooth over Dedekind schemes and consider a commutative square
in $\mathcal {C\!M}_{\mathbb {Z}[1/\ell ]}$ . In order for (4.1) to be coCartesian, it suffices that the following conditions hold:

1. For each m, the square

2. The square

3. If $2 \mid \ell $ , then $\mathrm {vcd}_2(K(X_i)) < \infty $ .
If $X_0$ contains a primitive $\ell $ th root of unity, then condition (1) can be replaced by

(1’) For each m, the square
Proof. To conclude that the square is coCartesian, it suffices, by Lemma 4.1, to prove the functor
is fully faithful. Let us denote by $p_{1*}: \mathcal {SH}(X_1)_{\ell '}^{\wedge \text {cell}} \to \mathcal {SH}(X_0)_{\ell '}^{\wedge \text {cell}}$ the right adjoint of the functor corresponding to $M(X_1) \to M(X_0)$ , and similarly for $p_{2*}, p_{3*}$ . We need to prove that
Note that each of the left adjoints preserves the compact generators, which is true for any morphism in $\mathcal {C\!M}$ , and hence $p_{i*}$ preserves colimits and therefore it commutes with periodisation. Moreover, $p_{i*}$ commutes with $\wedge \mathcal {E}$ for every $\mathcal {E} \in \mathcal {SH}(X_0)^{\wedge \text {cell}}_{\ell '}$ , and with completion at homotopy elements, by Lemma 3.1. We may check the desired equivalence after completing at $\eta $ and after inverting $\eta $ , and similarly for other homotopy elements. For the $\eta $ periodic statement, we further invert $2$ respectively complete at $2$ . In the $2$ complete (still $\eta $ periodic) case, either we have $2 \nmid \ell $ and the statement is vacuous or $1/2 \in X_i$ and using the fundamental fibre sequence [Reference Elmanto and Shah6, Corollary 1.2, Proposition 5.7], it suffices to establish the analogous equivalence for $\mathrm {kw}_{2,\ell '}^\wedge $ . Recall that $\mathrm {kw}_{2,\ell '}^\wedge $ is in fact cellular [Reference Elmanto and Shah6, Proposition 5.7]. In the $2$ periodic (still $\eta $ periodic) case, arguing as in the proof of Proposition 4, it suffices to establish the analogous equivalence for $\mathrm {H}_{r\acute {e}t} \mathbb {F}_\ell '$ . For the $\eta $ complete statement, arguing as in the proof of Proposition 4, we have $\mathbf {1}_{\eta ,\ell '}^\wedge \simeq \mathbf {1}_{\mathrm {H}\mathbb {F}_\ell }^\wedge $ and we see that it suffices to establish the analogous equivalence for $\mathrm {H}\mathbb {F}_\ell $ . In summary, we need to prove the commutative square of ordinary spectra
is Cartesian for all $* \in \mathbb {Z}$ and $\mathcal {E}$ one of $\mathrm {kw}_{2,\ell '}^\wedge , \mathrm {H}\mathbb {F}_\ell , \mathrm {H}_{r\acute {e}t}\mathbb {F}_\ell '$ .
Before we start proving this, we need to make another preliminary remark. Suppose that
is a commutative diagram of filtered spectra such that ${\mathcal {E}}^{(i)}_n = 0$ for n sufficiently small and the induced diagrams of associated graded objects
are pullbacks for each i. Then the square
is a pullback; indeed, an induction argument implies
is a pullback for every i.
Next we show how the conditions (1)–(3) imply that the squares are Cartesian. The pullback square for $\mathrm {H}_{r\acute {e}t} \mathbb {F}_\ell '$ is precisely condition (2), and the one for $\mathrm {H}\mathbb {F}_\ell $ is precisely condition (1). The condition involving $\mathrm {kw}_{2,\ell '}^\wedge $ is only nonvacuous if $2 \mid \ell $ , whence $1/2 \in X_i$ and $\mathrm {kw}_2^\wedge \simeq \mathrm {kw}_{2,\ell '}^\wedge $ . Consider the filtration of $\mathrm {kw}$ by powers of $\beta $ , pulled back to $X_i$ . The Postnikov filtration gives rise to the said filtration, and so it is complete, and $\mathrm {H}W$ gives all subquotients [Reference Elmanto and Shah6, Theorem 4.4, Lemma 4.3]. Since $\mathrm {kw}$ is connective, the preliminary remark allows us to replace $\mathrm {kw}_2^\wedge $ by $\mathrm {H}W_2^\wedge $ , which on mapping spectra yields $\Gamma (\mathord , \underline {W}_2^\wedge )$ , where $\Gamma $ denotes global sections of a Nisnevich sheaf of spectra. On mapping spectra the cellular motivic spectrum $\underline {K}^W$ [Reference Elmanto and Shah6, Proposition 5.7, Theorem 4.4] yields compatible filtrations of $\Gamma (\mathord , \underline {W})$ by $\Gamma (\mathord , \underline {I}^n)$ (see [Reference Elmanto and Shah6, Definition 2.6]), where I is the fundamental ideal of even dimensional quadratic forms. Condition (3) together with [Reference Elmanto and Shah6, Proposition 2.3] implies $\operatorname *{\mathrm {lim}}_n \Gamma (\mathord , \underline {I}^n/2) \simeq 0$ . Thus, the filtration $\Gamma (\mathord , (\underline {W}/\underline {I}^n)_2^\wedge )$ of $\Gamma (\mathord , \underline {W}_2^\wedge )$ is exhaustive. Using the preliminary remark, we may replace $\Gamma (\mathord , \underline {W}_2^\wedge )$ by $\Gamma (\mathord , \underline {I}^*/\underline {I}^{*+1})$ , which coincides with $\mathrm {map}({\mathbb {G}_m^{\wedge *}}, (\mathrm {H}\mathbb {Z}/2)/\tau )$ according to [Reference Elmanto and Shah6, Theorem 2.1, Lemma 2.7]. For this, we may establish the pullback square for $\mathrm {H}\mathbb {F}_\ell $ , which implies the pullback square for $\mathrm {H}\mathbb {Z}_\ell ^\wedge $ and hence for $\mathrm {H}\mathbb {Z}_\ell ^\wedge /2 \simeq \mathrm {H}\mathbb {Z}/2$ since $2 \mid \ell $ .
Finally, suppose that $\zeta _\ell \in X_0$ . This yields $\tau \in \pi _{0,1}(\mathrm {H}\mathbb {F}_\ell )(X_0)$ given by the Bockstein on $[\zeta _\ell ]$ . The cofibres of $\tau $ powers yield a filtration of $\mathrm {H}\mathbb {F}_\ell $ which pulls back to compatible filtrations on the $X_i$ s. The explicit construction of the motivic complexes [Reference Röndigs, Spitzweck and Østvær69, Theorem 3.9] shows that these filtrations are bounded, separated and exhaustive and have subquotients $\Gamma _{\mathrm {Zar}}(X_i, R^m\epsilon _* \mathbb {F}_\ell )$ . Via the preliminary remark, the desired Cartesian square thus reduces to condition (1’).
Remark 4.4.

○ In all of our examples, the chain complexes in conditions (1’) and (2) will be concentrated in a single degree.

○ If $\bar x$ is the spectrum of a separably closed field, then $\Gamma _{\mathrm {Zar}}(\bar x, R^m\epsilon _* \mathbb {F}_\ell ) = 0$ for $m> 0$ , and similarly $\Gamma _{r\acute {e}t}(\bar x, \mathbb {Z}) = 0$ .

○ If the square (4.1) in Proposition 7 is coCartesian, then conditions (1) and (2) hold and (1’) holds whenever $\zeta _\ell \in X_0$ . Condition (3) is not necessary in general for the square to be coCartesian (consider, for example, any square comprising identity maps).
4.3 Models for stable motivic homotopy types
4.3.1 Arithmetic preliminaries
Lemma 4.5. Suppose K is a global field with ring of integers $\mathcal O_K$ and put $U = \mathrm {Spec}(\mathcal O_K[1/\ell ])$ . If $\epsilon : U_{\acute {e}t} \to U_{\mathrm {Zar}}$ is the change of topology functor, then
The sheaf R is determined by the exact sequence
Here the middle term is a constant sheaf, whereas the righthand term is a sum of a constant sheaf and skyscraper sheaves, and the map is given by addition in the first component and restriction in the others.
Proof. From [Reference Bachmann, Kong, Wang and Xu52, Remark II.2.2] we can read off the isomorphisms
and the short exact sequence
For the exact sequence, recall $Br(K_v) = \mathbb {Z}/2$ if v is a real place, $=0$ if v is a complex place and $=\mathbb {Q}/\mathbb {Z}$ if v is a nonArchimedean place [Reference Röndigs, Spitzweck and Østvær67, p. 163, 193]. Moreover, the kernel of the restriction map is precisely the sum over the nonArchimedean places missing in U. The Kummer short exact sequence
on $U_{\acute {e}t}$ yields a long exact sequence for $R^i\epsilon _*$ . Since $R^i\epsilon _* {\mathbb {G}_m}$ vanishes in odd degrees, $R^i\epsilon _* \mu _\ell $ is given by the kernel or cokernel of multiplication by $\ell $ . This immediately yields the desired results for $i \ne 2,3$ , and the snake lemma produces an exact sequence
Since b is a surjection of Zariski sheaves, the result follows.
Corollary 8. Suppose $Pic(U)$ is uniquely $\ell $ divisible and $k(U)$ has a unique place of characteristic $\ell $ . Then $H^j(U, R^i \epsilon _* \mu _\ell ) = 0$ for $j>0$ and
Proof. Since $\mu _\ell _{U_{\mathrm {Zar}}}$ is constant and constant sheaves are flasque, the claims for $i=0$ are clear. The claims about $a_{r\acute {e}t} \mathbb {Z}/(2,\ell )$ follow because $R(U) \simeq \mathrm {Sper}(k)$ is discrete. Since the Zariski cohomological dimension of U is $1$ , it remains to show that $H^0_{\mathrm {Zar}}(U, {\mathbb {G}_m}/\ell ) \simeq \mathcal O^\times (U)/\ell $ , $H^1_{\mathrm {Zar}}(U, {\mathbb {G}_m}/\ell ) = 0$ , and $H^*_{\mathrm {Zar}}(U, R) = 0$ for $*=0, 1$ . Using the short exact sequences $0 \to \mu _\ell \to {\mathbb {G}_m} \to \ell {\mathbb {G}_m} \to 0$ and $0 \to \ell {\mathbb {G}_m} \to {\mathbb {G}_m} \to {\mathbb {G}_m}/\ell \to 0$ , the first two claims are equivalent to unique $\ell $ divisibility of $Pic(U)$ . The exact sequence defining R is, in fact, a flasque resolution, so its $H^0$ and $H^1$ are given by the kernel and cokernel of the induced map on global sections. This induced map is an isomorphism as needed if and only if $\mathrm {Spec}(\mathcal O_K) \setminus U$ consists of precisely one point, which holds by assumption.
Lemma 4.6. Let $\ell $ be prime, K a global field and $U \subset Spec(\mathcal O_K)$ open. Let $H \subset \mathcal O^\times (U)/\ell $ be an arbitrary subgroup. There exist $x_1, \dots , x_n \in U^{(1)}$ such that the restriction
is an isomorphism. If H is nontrivial, there exist infinitely many such choices.
Proof. First recall the following fact (see, e.g., [Reference Serre56, Exercise VI.1.2]): If $a \in \mathcal O(U)$ is an $\ell $ th power in $k(x)$ for all but finitely many $x \in U^{(1)}$ , then a is an $\ell $ th power.
If H is nontrivial, pick $1 \ne a \in H$ . Since H is a $\mathbb {Z}/\ell $ vector space, we may write $H = \langle a \rangle \times H'$ , where $\langle a \rangle \simeq \mathbb {Z}/\ell $ is the subgroup generated by a. By the above fact, there exists $x \in U^{(1)}$ such that the image of a in $k(x)^\times /\ell $ is nonzero and in fact infinitely many choices of x. Since $k(x)$ is finite, $k(x)^\times /\ell \simeq \mathbb {Z}/\ell \simeq \langle a \rangle $ . We are thus reduced to proving the result for $H'$ and conclude by induction since $\mathcal O^\times (U)/\ell $ is finite according to Dirichlet’s unit theorem [Reference Serre56, Corollary 11.7].
In [Reference Bachmann30], Gras introduced the narrow tame kernel $K_{2}^{+}(\mathcal O_{F})$ as the subgroup of $K_{2}(\mathcal O_{F})$ where the regular symbols on all of the real embeddings of F vanish; that is, there is an exact sequence
We refer to [Reference Berrick, Karoubi and Østvær31, Definition 7.8.1] for the arithmetic notion of $\ell $ regular number fields.
Definition 9. Let $\ell $ be a prime number. A number field F is called $\ell $ regular if the $\ell $ Sylow subgroup of the narrow tame kernel $K_{2}^{+}(\mathcal O_{F})$ is trivial.
See [Reference Bachmann30], [Reference Milnor and Husemoller32], [Reference Gras and Jaulent60], [Reference Bökstedt15] for complementary results about these families of number fields. For example, the field of rational numbers $\mathbb {Q}$ is $\ell $ regular for every prime $\ell $ , and $\mathbb {Q}(\zeta _\ell )$ is $\ell $ regular if $\ell $ is a regular prime number in the sense of Kummer [Reference Morel73]. In [Reference Kylling, Röndigs and Østvær68], Siegel conjectured there are infinitely many regular prime numbers.
We have the following explicit characterisation of $\ell $ regular number fields.
Proposition 10. Let F be a number field. We write ${\mathcal O}_{F}^{\prime }$ for the ring of $\ell $ integers $\mathcal O_F[1/\ell ]$ .

1. F is $2$ regular if and only if the prime ideal $(2)$ does not split in $F/\mathbb {Q}$ and the narrow Picard group $Pic_{+}({\mathcal O}_{F}^{\prime })$ has odd order.

2. Let $\ell $ be an odd prime number and assume $\mu _{\ell }\subset F$ . Then F is $\ell $ regular if and only if the prime ideal $(\ell )$ does not split in $F/\mathbb {Q}$ and the $\ell $ Sylow subgroup of the Picard group $Pic({\mathcal O}_{F}^{\prime })$ is trivial.

3. Let $\ell $ be an odd prime number. Assume $\mu _{\ell }\not \subset F$ and F contains the maximal real subfield of $\mathbb {Q}(\zeta _{\ell })$ . Then F is $\ell $ regular if and only if the prime ideals above $(\ell )$ in F do not split in the quadratic extension $F(\zeta _{\ell })/F$ and the $\ell $ Sylow subgroups of the Picard groups $Pic({\mathcal O}_{F})$ and $Pic({\mathcal O}_{F(\zeta _{\ell })})$ are isomorphic.
Proof. This is a reformulation of [Reference Bachmann30, Corollary on pp. 328329]. See also [Reference Gras and Jaulent60, Proposition 2.2] when $\ell =2$ .
For further reference, we recall that a commutative square of abelian groups
is called biCartesian if it is a pullback when viewed as a commutative square of spectra.
4.3.2 Stable motivic homotopy types of 2regular number fields
Theorem 4.7. Suppose F is a $2$ regular number field with r real and c pairs of complex embeddings. Let $x, y_1, \dots , y_{c} \in \mathrm {Spec}({\mathcal O}_{F}^{\prime })$ be closed points.

1. There is a canonical commutative square in $\mathcal {C\!M}$

2. The square in (1) is a pushout if and only if there is a naturally induced isomorphism
$$ \begin{align*} ({\mathcal O}_{F}^{\prime})^\times/2 \simeq (\mathbb R^\times/2)^{r} \times k(x)^\times/2 \times \prod_i k(y_i)^\times/2 \quad (\simeq (\mathbb{Z}/2)^{1+r+c}). \end{align*} $$ 
3. There exist infinitely many choices of $x, y_1, \dots , y_{c}$ such that the map in (2) is an isomorphism.
Proof. To simplify notation, throughout this proof we put $M := M_{2h}$ .
(1) For $z \in \mathrm {Spec}({\mathcal O}_{F}^{\prime })$ and $\alpha : K \hookrightarrow \mathbb C$ , Lemma 4.2 furnishes a map $f_{z,\alpha }: M(\mathbb C) \to M(z)$ and a homotopy between $M(\mathbb C) \to M(z) \to M({\mathcal O}_{F}^{\prime })$ , and the map $M(\mathbb C) \to M({\mathcal O}_{F}^{\prime })$ induced by $\alpha $ . In (1), the bottom and righthand maps are the canonical ones. Write $\alpha _1, \bar \alpha _1, \dots , \alpha _c, \bar \alpha _c, \beta _1, \dots , \beta _r$ for the complex and real embeddings. Let $\alpha _{c+i} = \iota \circ \beta _i$ , where $\iota : \mathbb R \to \mathbb C$ is the canonical embedding. The lefthand map is $f_{x,\alpha _i}$ on component i. The top map is $f_{y_i, \alpha _i}$ on the ith component if $i \le c$ and induced by $\iota $ on the remaining components. In all cases, the induced composite map $M(\mathbb C) \to M({\mathcal O}_{F}^{\prime })$ is either equal or homotopic to the map induced by $\alpha _i$ . Thus, the square commutes.
(2) We use the criterion from Proposition 7. Condition (3) holds since the fields are finitely generated. For condition (2), the square
is clearly biCartesian because the map ${\mathcal O}_{F}^{\prime } \to \mathbb R^r$ induces an isomorphism on real spectra.
Next we check condition (1’). Owing to [Reference Bökstedt15, Proposition 2.1(5)] the $2$ regularity assumption implies $Pic({\mathcal O}_{F}^{\prime })$ has odd order, so it is uniquely $2$ divisible, and F has only one place of characteristic $2$ . Thus, Corollary 8 applies and it remains to check the bicartesianess of three squares. The first one is
Observe that if $X, Y$ are connected schemes and $f: M(X) \to M(Y)$ is any map in $\mathcal {C\!M}_{\mathbb {Z}[1/2]}$ , then $f^*: H^0(Y, \mathbb {Z}/2) \to H^0(X, \mathbb {Z}/2)$ is an isomorphism. Indeed, this reduces to the case of the structure map $M(X) \to M(\mathbb {Z}[1/2])$ , where it is obvious. Thus, the square for $m=0$ is biCartesian because the vertical maps are isomorphisms. When $m=2$ , the square is the same as in condition (2) above and hence it is biCartesian. The remaining square for $m=1$ takes the form
Since the inclusion of abelian groups into spectra preserves finite products, this square is biCartesian if and only if the stated condition holds.
(3) Dirichlet’s unit theorem [Reference Serre56, Corollary 11.7] implies $({\mathcal O}_{F}^{\prime })^\times \simeq \mu ({\mathcal O}_{F}^{\prime }) \times \mathbb {Z}^{r+c}$ ; here $\mu ({\mathcal O}_{F}^{\prime })$ is the finite abelian group of roots of unity in ${\mathcal O}_{F}^{\prime }$ . It is cyclic, being a finite multiplicative subgroup of a field, and since $\{\pm 1\} \in \mu ({\mathcal O}_{F}^{\prime })$ , the group has even order. It follows that $({\mathcal O}_{F}^{\prime })^\times /2 \simeq \mathbb {Z}/2 \times (\mathbb {Z}/2)^{r+c}$ . Moreover, $2$ regularity implies the naturally induced map $({\mathcal O}_{F}^{\prime })^\times /2 \to (\mathbb R^\times /2)^{r} \simeq (\mathbb {Z}/2)^{r}$ is surjective [Reference Bökstedt15, Proposition 2.1(5)]; we write $U_+ \simeq (\mathbb {Z}/2)^{1+c}$ for its kernel. The condition in part (2) holds if and only if the induced map $U_+ \to k(x)^\times /2 \times \prod _i k(y_i)^\times /2$ is an isomorphism. Lemma 4.6 implies the latter is true for infinitely many choices of $x, y_i$ .
Remark 4.8. As in Examples 3.3 and 3.4, Theorem 4.7(1) implies similar pushout squares with respect to completions at $2$ , h and with respect to periodisations at $\rho $ , $\eta $ . For example, we have a pushout square in $\mathcal {C\!M}$
Remark 4.9. The various embeddings $\alpha _i: K \to \mathbb C$ differ by automorphisms of $\mathbb C$ . It follows that one may choose the maps $f_{x,\alpha _i}$ to be of the form $\sigma _i \circ f_{x,\alpha _1}$ . Thus, applying an automorphism of $M_{2h}(\mathbb C^{r+s})$ in the square of Theorem 4.7, we may assume that all of the lefthand vertical maps $M_{2h}(\mathbb C) \to M_{2h}(x)$ are the same. The square being a pushout now is equivalent to saying that there are lifts of $M_{2h}(x), M_{2h}(y_i)$ to $\mathcal {C\!M}_{M_{2h}(\mathbb C)/}$ and an equivalence
Here $\vee $ denotes the coproduct in $\mathcal {C\!M}_{M(\mathbb C)/}$ .
Example 4.10. When $F=\mathbb {Q}$ , we consider $\mathbb {Z}[1/2]^\times \simeq \{\pm 1\} \times \{(1/2)^n\}$ and $\mathbb {Z}[1/2]^\times /2 \simeq \mathbb {Z}/2\{1, 2\}$ . Here $\mathbb {Z}/2\{2\}$ is the kernel of the surjection $\mathbb {Z}[1/2]^\times /2\to \mathbb R^\times /2$ . We need to find a closed point $x \in \mathrm {Spec}(\mathbb {Z}[1/2])$ such that $2$ is not a square in $k(x)$ . This holds when $k(x) = \mathrm {Spec}(\mathbb {F}_q)$ , where $q\equiv \pm 3\bmod 8$ . In particular, the canonical map
is fully faithful. To deduce Theorem 1.2 from the introduction, let $\mathcal E \in \mathcal {SH}(\mathbb {Z}[1/2])_2^{\wedge \text {cell}}$ and compute $\mathrm {map}(\mathbf {1}, \mathcal E)$ using the above square.
4.3.3 Stable motivic homotopy types of $\ell $ regular number fields
Theorem 4.11. Let F be a number field with c pairs of complex embeddings and $\ell $ be an odd prime number. Suppose F is $\ell $ regular and $\mu _{\ell }\subset F$ . Let $x, y_1, \dots , y_c \in \mathrm {Spec}({\mathcal O}_{F}^{\prime })$ be closed points.

1. There is a canonical commutative square in $\mathcal {C\!M}$

2. The square is a pushout if and only if there is a naturally induced isomorphism
$$ \begin{align*} ({\mathcal O}_{F}^{\prime})^\times/\ell \simeq k(x)^\times/\ell \times \prod_{i} k(y_i)^\times/\ell \quad (\simeq (\mathbb{F}_\ell)^{1+c}). \end{align*} $$ 
3. There exist infinitely many choices of $x,y_1, \dots , y_c$ satisfying (2).
Proof. The proof is essentially the same as that of Theorem 4.7. The maps $x, y_i\to \mathrm {Spec}({\mathcal O}_{F}^{\prime })$ together with choices of embeddings of K into $\mathbb C$ induce, via Lemma 4.2, the maps $M_\ell (\mathbb C) \to M_\ell (x),M_\ell (y_i)$ in the commutative square. One verifies, using Corollary 8 and $\mathbb {Z}/(2, \ell ) = 0$ , that condition (1’) of Proposition 7 reduces to the condition stated in (2). The other conditions hold trivially; since K contains a primitive $\ell $ th root of unity, the real spectrum $\mathrm {Sper}({\mathcal O}_{F}^{\prime }) = \emptyset $ . The existence of infinitely many choices in (3) follows from Lemma 4.6.
Remark 4.12. Arguing as in Remark 4.9, we find that there are lifts of $M_{\ell }(x), M_{\ell }(y_i)$ to $\mathcal {C\!M}_{M_{\ell }(\mathbb C)/}$ and an equivalence
Example 4.13. Theorem 4.11 applies to $F=\mathbb {Q}(\zeta _\ell )$ if $\ell $ is regular – we note that $(\ell )$ is totally ramified in F and $K_{2}(\mathbb {Z}[\zeta _\ell ])/\ell \equiv \mu _{\ell }\otimes Pic(\mathbb {Z}[\zeta _\ell ])$ . In this case, ${\mathcal O}_{F}^{\prime }=\mathbb {Z}[1/\ell ,\zeta _\ell ]$ and $k(x)=\mathbb {F}_{p}$ , where p is a prime number which is congruent to $1 \bmod \ell $ but is not congruent to $1 \bmod \ell ^{2}$ by [Reference Röndigs, Spitzweck and Østvær24, Example 1.9].
Theorem 4.14. Let $\ell $ be an odd regular prime and $p\ne \ell $ a prime number. There is a commutative square in $\mathcal {C\!M}_{\mathbb {Z}[1/\ell ]}$
The square is a pushout if p generates the multiplicative group of units $(\mathbb {Z}/{\ell ^2})^\times $ .
Proof. We get the square from Lemma 4.2 and proceed by verifying the conditions in Proposition 7. Since $\mathbb {Z}[1/\ell ]$ has a unique real embedding, condition (2) holds. Condition (3) is vacuous. Next we verify condition (1). Let us write $\Gamma (X, \mathbb {F}_\ell (i))$ for the motivic complex and $\Gamma _{\acute {e}t}(X, \mathbb {F}_\ell (i)) \simeq \Gamma _{\acute {e}t}(X, \mu _\ell ^{\otimes i})$ for its étale version. If $A = \mathbb {Z}[1/\ell , \zeta _\ell ]$ , then $H^0_{\acute {e}t}(A, \mathbb {F}_\ell ) = \mathbb {F}_\ell $ , $H^1_{\acute {e}t}(A, \mathbb {F}_\ell ) = A^\times /\ell $ and $H^*_{\acute {e}t}(A, \mathbb {F}_\ell ) = 0$ else; see [Reference Bachmann, Kong, Wang and Xu52, Remark II.2.2]. Corollary 8 implies that $\Gamma (A, \mathbb {F}_\ell (i)) \simeq \Gamma _{\acute {e}t}(A, \mathbb {F}_\ell (i))_{\ge i}$ . A transfer argument shows $\Gamma (\mathbb {Z}[1/\ell ], \mathbb {F}_\ell (i))$ is a summand of $\Gamma (A, \mathbb {F}_\ell (i))$ , and similarly for $\Gamma _{\acute {e}t}$ . We deduce the equivalence
The same is true for $\mathbb C,\mathbb R,\mathbb {F}_p$ since they are Nisnevich local. Consequently, condition (1) will hold if the square
is Cartesian and the maps