No Arabic abstract
In fall of 2019, the Thursday Seminar at Harvard University studied motivic infinite loop space theory. As part of this, the authors gave a series of talks outlining the main theorems of the theory, together with their proofs, in the case of infinite perfect fields. These are our extended notes on these talks.
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 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.
We define a notion of colimit for diagrams in a motivic category indexed by a presheaf of spaces (e.g. an etale 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 categoric
We define the Chow $t$-structure on the $infty$-category of motivic spectra $SH(k)$ over an arbitrary base field $k$. We identify the heart of this $t$-structure $SH(k)^{cheartsuit}$ when the exponential characteristic of $k$ is inverted. Restricting to the cellular subcategory, we identify the Chow heart $SH(k)^{cell, cheartsuit}$ as the category of even graded $MU_{2*}MU$-comodules. Furthermore, we show that the $infty$-category of modules over the Chow truncated sphere spectrum is algebraic. Our results generalize the ones in Gheorghe--Wang--Xu in three aspects: To integral results; To all base fields other than just $C$; To the entire $infty$-category of motivic spectra $SH(k)$, rather than a subcategory containing only certain cellular objects. We also discuss a strategy for computing motivic stable homotopy groups of (p-completed) spheres over an arbitrary base field $k$ using the Postnikov tower associated to the Chow $t$-structure and the motivic Adams spectral sequences over $k$.
We show that an old conjecture of A.A. Suslin characterizing the image of a Hurewicz map from Quillen K-theory in degree $n$ to Milnor K-theory in degree $n$ admits an interpretation in terms of unstable ${mathbb A}^1$-homotopy sheaves of the general linear group. Using this identification, we establish Suslins conjecture in degree $5$ for infinite fields having characteristic unequal to $2$ or $3$. We do this by linking the relevant unstable ${mathbb A}^1$-homotopy sheaf of the general linear group to the stable ${mathbb A}^1$-homotopy of motivic spheres.