Pith. sign in

REVIEW 4 cited by

Motivic cohomology of mixed characteristic schemes

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

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

arxiv 2412.06635 v2 pith:QSADWOVG submitted 2024-12-09 math.AG math.KTmath.NT

Tess Bouis This is my paper · ORCID
classification math.AGmath.KTmath.NT
keywords cohomologymotivicschemesconstructionmathbbtheoryinputinvariant
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

We introduce a theory of motivic cohomology for quasi-compact quasi-separated schemes, which generalises the construction of Elmanto--Morrow in the case of schemes over a field. Our construction is non-$\mathbb{A}^1$-invariant in general, but it uses the classical $\mathbb{A}^1$-invariant motivic cohomology of smooth $\mathbb{Z}$-schemes as an input. The main new input of our construction is a global filtration on topological cyclic homology, whose graded pieces provide an integral refinement of derived de Rham cohomology and Bhatt--Morrow--Scholze's syntomic cohomology. Our theory satisfies various expected properties of motivic cohomology, including relations to \'etale cohomology and to non-connective algebraic $K$-theory.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 4 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. $\mathbb{A}^1$-invariant motivic cohomology of schemes

    math.KT 2025-08 conditional novelty 8.0 of 10

    A new A1-invariant motivic cohomology for all qcqs schemes is constructed from the slice filtration of KGL, with a spectral sequence to homotopy K-theory and etale/syntomic comparisons.

  2. Finite-coefficient Gersten injectivity fails in ramified mixed characteristic

    math.KT 2026-08 accept novelty 7.0 of 10

    The paper constructs a nonzero mod-3 K_2 class on a ramified regular local ring that dies in the fraction field, disproving finite-coefficient Gersten injectivity in this setting.

  3. Weibel vanishing and the projective bundle formula for mixed characteristic motivic cohomology

    math.AG 2025-07 conditional novelty 7.0 of 10

    Mixed characteristic motivic cohomology satisfies Weibel vanishing, the projective bundle formula, comparison to Milnor K-theory, and pro cdh descent.

  4. Beilinson--Lichtenbaum phenomenon for motivic cohomology

    math.AG 2025-06 conditional novelty 7.0 of 10

    Over Prüfer and valuation rings, p-adic motivic cohomology is the Nisnevich-local truncation of Bhatt-Lurie syntomic cohomology, and over Dedekind domains it recovers Bloch's cycle complexes.

Pith tools