No Arabic abstract
We construct well-behaved extensions of the motivic spectra representing generalized motivic cohomology and connective Balmer--Witt K-theory (among others) to mixed characteristic Dedekind schemes on which 2 is invertible. As a consequence we lift the fundamental fiber sequence of $eta$-periodic motivic stable homotopy theory established in [arxiv:2005.06778] from fields to arbitrary base schemes, and use this to determine (among other things) the $eta$-periodized algebraic symplectic and SL-cobordism groups of mixed characteristic Dedekind schemes containing 1/2.
Over any field of characteristic not 2, we establish a 2-term resolution of the $eta$-periodic, 2-local motivic sphere spectrum by shifts of the connective 2-local Witt K-theory spectrum. This is curiously similar to the resolution of the K(1)-local sphere in classical stable homotopy theory. As applications we determine the $eta$-periodized motivic stable stems and the $eta$-periodized algebraic symplectic and SL-cobordism groups. Along the way we construct Adams operations on the motivic spectrum representing Hermitian K-theory and establish new completeness results for certain motivic spectra over fields of finite virtual 2-cohomological dimension. In an appendix, we supply a new proof of the homotopy fixed point theorem for the Hermitian K-theory of fields.
We strengthen some results in etale (and real etale) motivic stable homotopy theory, by eliminating finiteness hypotheses, additional localizations and/or extending to spectra from HZ-modules.
We establish a kind of degree zero Freudenthal Gm-suspension theorem in motivic homotopy theory. From this we deduce results about the conservativity of the P^1-stabilization functor. In order to establish these results, we show how to compute certain pullbacks in the cohomology of a strictly homotopy invariant sheaf in terms of the Rost--Schmid complex. This establishes the main conjecture of [BY18], which easily implies the aforementioned results.
For a finite Galois extension of fields L/k with Galois group G, we study a functor from the G-equivariant stable homotopy category to the stable motivic homotopy category over k induced by the classical Galois correspondence. We show that after completing at a prime and eta (the motivic Hopf map) this results in a full and faithful embedding whenever k is real closed and L = k[i]. It is a full and faithful embedding after eta-completion if a motivic version of Serres finiteness theorem is valid. We produce strong necessary conditions on the field extension L/k for this functor to be full and faithful. Along the way, we produce several results on the stable C_2-equivariant Betti realization functor and prove convergence theorems for the p-primary C_2-equivariant Adams spectral sequence.
We determine systematic regions in which the bigraded homotopy sheaves of the motivic sphere spectrum vanish.