REVIEW 8 cited by
mathbb{A}¹-invariant motivic cohomology of schemes
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
mathbb{A}¹-invariant motivic cohomology of schemes
read the original abstract
Voevodsky outlined a conjectural programme that his slice filtration in motivic homotopy theory should give rise to a good theory of $\mathbb{A}^1$-invariant motivic cohomology. This paper achieves his vision in the generality of arbitrary quasicompact, quasiseparated schemes, by introducing a theory of $\mathbb{A}^1$-invariant motivic cohomology which is related to Weibel's homotopy $K$-theory via an Atiyah--Hirzebruch spectral sequence, and which we compare to \'etale and syntomic cohomology in the style of the original conjectures of Beilinson and Lichtenbaum. In addition, it is represented by an absolute motivic spectrum and therefore satisfies cdh descent, and modules over it offer a candidate for the derived category of $\mathbb{A}^1$-invariant motives. We establish some of Voevodsky's open conjectures on slices, in particular relating the zeroth slice of the motivic sphere to homotopy $K$-theory. In the final section we prove analogous results for the Hermitian $K$-theory of qcqs schemes on which $2$ is invertible. As an auxiliary tool we introduce cdh-motivic cohomology, defined as the cdh sheafification of the left Kan extension of the motivic cohomology of smooth $\mathbb{Z}$-schemes. We offer a new approach to control the latter, independent of previous work on $\mathbb{A}^1$-invariant motivic cohomology of smooth schemes over mixed characteristic Dedekind domains: our approach is based on recent developments in $p$-adic cohomology, in particular syntomic and prismatic cohomology. The cdh-motivic cohomology is also a necessary ingredient in the last two authors' and Bouis' construction of non-$\mathbb{A}^1$-invariant motivic cohomology of qcqs schemes.
Forward citations
Cited by 8 Pith papers
-
Negative $K$-theory and Hodge theory
For complex varieties with klt or rational singularities, negative K-theory is shown to be governed by mixed Hodge weights and higher singularity types, with new proof in dimension three and partial results in dimension four.
-
Descendability and descent in topological weaves
Finitely presented surjections of algebraic spaces are descendable in topological weaves, yielding v-descent for rational motivic sheaves and h-descent for étale motivic spectra under bounded cohomological dimension.
-
Descendability and descent in topological weaves
A general descendability criterion for topological six-functor formalisms yields h-descent for étale motivic spectra and rational motivic cohomology, plus arc-descent in weights ≤1.
-
On The Morel Structure Conjecture
Witt K-theory is effective over any perfect field of characteristic 2, finishing the proof of the Morel structure conjecture.
-
Presenting restricted Steinberg modules of general linear groups
Restricted Steinberg modules of GL_n admit unimodular apartment generators and Bykovskii/circuit presentations, and their coinvariants compute relative homology of partial Borel–Serre compactifications.
-
Negative $K$-theory and Hodge theory
Negative K-groups of complex varieties are analyzed via mixed Hodge theory, higher singularities, Chow groups, and the Minimal Model Program.
-
A note on polyhedral cones and toric polylogarithms
Establishes a GL_n(Q)-equivariant isomorphism between a simplicial cone chain complex and the trace-fixed weight-n Gersten complex for Milnor K-theory of G_m^n over Q, refining prior work via cone algebras and Steinbe...
-
Periodic phenomena in stable motivic homotopy theory
A survey of periodic phenomena in stable motivic homotopy theory, organizing known motivic Adams spectral sequence computations and open problems; no new theorem is proven.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.