For a scheme , denote by the stabilization of the hypercompletion of its étale –topos, and by the localization of the stable motivic homotopy category at the (desuspensions of) étale hypercovers. For a stable –category , write for the –completion of .
We prove that under suitable finiteness hypotheses, and assuming that is invertible on , the canonical functor
is an equivalence of –categories. This generalizes the rigidity theorems of Suslin and Voevodsky (Invent. Math. 123 (1996) 61–94), Ayoub (Ann. Sci. École Norm. Sup. 47 (2014) 1–145) and Cisinski and Déglise (Compos. Math. 152 (2016) 556–666) to the setting of spectra. We deduce that under further regularity hypotheses on , if is the set of primes not invertible on , then the endomorphisms of the –local sphere in are given by étale hypercohomology with coefficients in the –local classical sphere spectrum:
This confirms a conjecture of Morel.
The primary novelty of our argument is that we use the pro-étale topology of Bhatt and Scholze (Astérisque 369 (2015) 99–201) to construct directly an invertible object with the property that .
"Rigidity in étale motivic stable homotopy theory." Algebr. Geom. Topol. 21 (1) 173 - 209, 2021. https://doi.org/10.2140/agt.2021.21.173