For a scheme X, denote by SH(X_et^hyp) the stabilization of the hypercompletion of its etale infty-topos, and by SH_et(X) the localization of the stable motivic homotopy category SH(X) at the (desuspensions of) etale hypercovers. For a stable infty-category C, write C_p^comp for the p-completion of C. We prove that under suitable finiteness hypotheses, and assuming that p is invertible on X, the canonical functor e_p^comp: SH(X_et^hyp)_p^comp -> SH_et(X)_p^comp is an equivalence of infty-categories. The primary novelty of our argument is that we use the pro-etale topology to construct directly an invertible object Sptw[1] in SH(X_et^hyp)_p^comp with the property that e_p^comp(Sptw[1]) = Sigma^infty Gm.
We discuss the structure of integral etale motivic cohomology groups of smooth and projective schemes over algebraically closed fields, finite fields, local fields, and arithmetic schemes.
We strengthen some results in étale (and real étale) motivic stable homotopy theory, by eliminating finiteness hypotheses, additional localizations and/or extending to spectra from HZ-modules.
Let X be a Noetherian scheme of finite dimension and denote by rho the (additive inverse of the) morphism in SH(X) from S to Gm corresponding to the unit -1. Here SH(X) denotes the motivic stable homotopy category. We show that the category obtained by inverting rho in SH(X) is canonically equivalent to the (simplicial) local stable homotopy category of the site X_ret, by which we mean the small real etale site of X, comprised of etale schemes over X with the real etale topology. One immediate application is that SH(RR)[rho^-1] is equivalent to the classical stable homotopy category. In partic…
A rigidity property for the homotopy invariant stable linear framed presheaves is established. As a consequence a variant of Gabber rigidity theorem is obtained for a cohomology theory representable in the motivic stable homotopy category by a $ϕ$-torsion spectrum with $ϕ\in\mathrm{GW}(k)$ of rank coprime to the (exponential) characteristic of the base field $k$. It is shown that the values of such cohomology theories at an essentially smooth Henselian ring and its residue field coincide. The result is applicable to cohomology theories representable by $n$-torsion spectra as well as to the one…
In this paper, we construct a refined, relative version of the étale realization functor of motivic spaces, first studied by Isaksen and Schmidt. Their functor goes from the $\infty$-category of motivic spaces over a base scheme $S$ to the $\infty$-category of $p$-profinite spaces, where $p$ is a prime which is invertible in all residue fields of $S$. In the first part of this paper, we refine the target of this functor to an $\infty$-category where $p$-profinite spaces is a further completion. Roughly speaking, this $\infty$-category is generated under cofiltered limits by those spaces whose …
In this paper we use ideas of the non-abelian Iwasawa main conjecture to prove a result about the first Galois cohomology of continuous Galois modules V_p(j) for large Tate-twist j and V_p a Q_p vector space. We show that under a technical hypothesis that H^1(K, V_p(j)) is generated by twists of norm-compatible units in an infinite tower of number fields with elements in V_p(j-1). This confirms a consequence of the non-abelian Iwasawa main conjecture. Using the "Bloch-Kato-conjecture" a similar result is proven for motivic cohomology with finite coefficients.
We construct an intermediate cohmology between motivic cohomology and Weil-etale cohomology. Using this, the Bass conjecture on finite generation of motivic cohomology, and the Beilinson-Tate on the finite generation of Weil-etale cohomology are related.
We prove: if the (étale or de Rham) realization functor is conservative on the category $DM_{gm}$ of Voevodsky motives with rational coefficients then motivic zeta functions of arbitrary varieties are rational and numerical motives are Kimura-finite. The latter statement immediately implies that the category of numerical motives is (essentially) Tannakian. This observation becomes actual due to the recent announcement of J. Ayoub that the De Rham cohomology realization is conservative on $DM_{gm}(k)$ whenever $\operatorname{char} k=0$. We apply this statement to exterior powers of motives comi…
We show that if G is a finite constant group acting on a scheme X such that the order of G is invertible in the residue fields of X, then the G-equivariant motivic stable homotopy category of X is equivalent to the stabilization of the category of motivic G-spaces with finite étale transfers over X at the trivial representation sphere. Along the way we obtain several results of independent interest, among them: we construct and study norms in the motivic homotopy theory of stacks, and we extend the homotopy t-structure to DM-stacks and establish some favorable properties.
We determine the mod p cohomological invariants for several affine group schemes G in chararacteristic p. These are invariants of G-torsors with values in etale motivic cohomology, or equivalently in Kato's version of Galois cohomology based on differential forms. In particular, we find the mod 2 cohomological invariants for the symmetric groups and the orthogonal groups in characteristic 2, which Serre computed in characteristic not 2. We also determine all operations on the mod p etale motivic cohomology of fields, extending Vial's computations of the operations on the mod p Milnor K-theory …
We define a notion of colimit for diagrams in a motivic category indexed by a presheaf of spaces (e.g. an étale classifying space), and we study basic properties of this construction. As a case study, we construct the motivic analogs of the classical extended and generalized powers, which refine the categorical versions of these constructions as special cases. We also offer more computationally tractable models of these constructions using equivariant motivic homotopy theory. This is the first in a series of papers on power operations in motivic stable homotopy theory.
Let $k$ be an algebraically closed field of exponential characteristic $p$. Given any prime $\ell\neq p$, we construct a stable étale realization functor $$\underline{\text{Ét}}_{\ell}:\text{Spt}(k)\rightarrow \text{Pro}(\text{Spt})^{H\mathbb{Z}/\ell}$$ from the stable $\infty$-category of motivic $\mathbb{P}^1$-spectra over $k$ to the stable $\infty$-category of $(H\mathbb{Z}/\ell)^*$-local pro-spectra (see section 3 for definition). This is induced by the étale topological realization functor á la Friedlander. The constant presheaf functor naturally induces the functor \[\text{SH}[1/p]\right…
Let k be a field and denote by SH(k) the motivic stable homotopy category. Recall its full subcategory HI_0(k) of effective homotopy modules. Write NAlg(HI_0(k)) for the category of normed motivic spectra with underlying spectrum an effective homotopy module. In this article we provide an explicit description of NAlg(HI_0(k)) as the category of sheaves with generalized transfers and étale norms, and explain how this is closely related to the classical notion of Tambara functors.
We give an algebro-geometric interpretation of $C_2$-equivariant stable homotopy theory by means of the $b$-topology introduced by Claus Scheiderer in his study of $2$-torsion phenomena in étale cohomology. To accomplish this, we first revisit and extend work of Scheiderer on equivariant topos theory by functorially associating to a $\infty$-topos $\mathscr{X}$ with $G$-action a presentable stable $\infty$-category $\mathrm{Sp}^G(\mathscr{X})$, which recovers the $\infty$-category $\mathrm{Sp}^G$ of genuine $G$-spectra when $\mathscr{X}$ is the terminal $G$-$\infty$-topos. Given a scheme $X$ w…
Motivic homotopy theory with ramification filtrations
RIKEN iTHEMS（理化学研究所 iTHEMS）；Institute for Fundamental Mathematics, Communication Science Laboratories, NTT, Inc.（日本电信电话株式会社 通信科学基础数学研究所）；Graduate School of Mathematical Sciences, the University of Tokyo（东京大学大学院数理科学研究科）
The category of framed correspondences Fr_*(k), framed presheaves and framed sheaves were invented by Voevodsky in his unpublished notes [17]. Based on the notes [17] a new approach to the classical Morel--Voevodsky motivic stable homotopy theory was developed by G.Garkusha and I.Panin in [8]. The purpose of this paper is to prove Theorem 1.1 stating that if the ground field k is infinite, then the surjectivity of the etale excision property is true for any A1-invariant stable radditive framed presheaf of Abelian groups F. The injectivity of the etale excision was proved in [9]. The surjectivi…
If $f:S' \to S$ is a finite locally free morphism of schemes, we construct a symmetric monoidal "norm" functor $f_\otimes: \mathcal H_*(S') \to\mathcal H_*(S)$, where $\mathcal H_*(S)$ is the pointed unstable motivic homotopy category over $S$. If $f$ is finite étale, we show that it stabilizes to a functor $f_\otimes: \mathcal{SH}(S') \to \mathcal{SH}(S)$, where $\mathcal{SH}(S)$ is the $\mathbb P^1$-stable motivic homotopy category over $S$. Using these norm functors, we define the notion of a normed motivic spectrum, which is an enhancement of a motivic $E_\infty$-ring spectrum. The main co…
Let T be a torus, X a smooth quasi-compact separated scheme equipped with a T-action, and [X/T] the associated quotient stack. Given any localizing A1-homotopy invariant of dg categories E, we prove that the derived completion of E([X/T]) at the augmentation ideal I of the representation ring R(T) of T agrees with the Borel construction associated to the T-action on X. Moreover, for certain localizing A1-homotopy invariants, we extend this result to the case of a linearly reductive group scheme G. As a first application, we obtain an alternative proof of Krishna's completion theorem in algebra…
In this article we prove that the numerical Grothendieck group of every smooth proper dg category is invariant under primary field extensions, and also that the mod-n algebraic K-theory of every dg category is invariant under extensions of separably closed fields. As a byproduct, we obtain an extension of Suslin's rigidity theorem, as well as of Yagunov-Ostvaer's equivariant rigidity theorem, to singular varieties. Among other applications, we show that base-change along primary field extensions yields a faithfully flat morphism between noncommutative motivic Galois groups. Finally, along the …
