No Arabic abstract
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 do three things in this paper: (1) study the analog of localization sequences (in the sense of algebraic $K$-theory of stable $infty$-categories) for additive $infty$-categories, (2) define the notion of nilpotent extensions for suitable $infty$-categories and furnish interesting examples such as categorical square-zero extensions, and (3) use (1) and (2) to extend the Dundas-Goodwillie-McCarthy theorem for stable $infty$-categories which are not monogenically generated (such as the stable $infty$-category of Voevodskys motives or the stable $infty$-category of perfect complexes on some algebraic stacks). The key input in our paper is Bondarkos notion of weight structures which provides a ring-with-many-objects analog of a connective $mathbb{E}_1$-ring spectrum. As applications, we prove cdh descent results for truncating invariants of stacks extending the work of Hoyois-Krishna for homotopy $K$-theory, and establish new cases of Blancs lattice conjecture.
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.
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.
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