Unstable \'etale motives

TL;DR

This paper establishes a rigidity theorem for certain $p$-complete étale sheaves over schemes, extending prior results to the unstable setting and enabling new constructions in motivic homotopy theory.

Contribution

It generalizes rigidity results to the unstable setting for $p$-complete étale sheaves and constructs an unstable étale realization functor for motivic spaces.

Findings

Rigidity theorem for $p$-complete étale sheaves over schemes.

Application to $2$-effective and $4$-connective motivic sheaves.

Construction of an unstable étale realization functor.

Abstract

We prove a rigidity result for certain $p$-complete \'etale $\mathbf{A}^{1}$-invariant sheaves of anima over a qcqs finite-dimensional base scheme $S$ of bounded \'etale cohomological dimension with $p$ invertible on $S$. This generalizes results of Suslin--Voevodsky, Ayoub, Cisinski--D\'eglise, and Bachmann to the unstable setting. Over a perfect field we exhibit a large class of sheaves to which our main theorem applies, in particular the $p$-completion of the \'etale sheafification of any $2$-effective $2$-connective motivic space, as well as the $p$-completion of any $4$-connective $\mathbf{A}^{1}$-invariant \'etale sheaf. We use this rigidity result to prove (a weaker version of) an \'etale analog of Morel's theorem stating that for a Nisnevich sheaf of abelian groups, strong $\mathbf{A}^{1}$-invariance implies strict $\mathbf{A}^{1}$-invariance. Moreover, this allows us to construct an unstable \'etale realization functor on $2$-effective $2$-connective motivic spaces.