Mixed characteristic motivic cohomology satisfies Weibel vanishing, the projective bundle formula, comparison to Milnor K-theory, and pro cdh descent.
A procdh topology
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
abstract
In this article we propose a definition of a procdh topos. We show that it encodes procdh excision, has bounded homotopy dimension and therefore is hypercomplete and admits a conservative family of fibre functors. We also describe the local rings. As an application, we show that nonconnective $K$-theory is the procdh sheafification of connective $K$-theory, and that the motivic cohomology recently proposed by Elmanto and Morrow is the procdh sheafification of Voevodsky's motivic cohomology.
fields
math.AG 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Weibel vanishing and the projective bundle formula for mixed characteristic motivic cohomology
Mixed characteristic motivic cohomology satisfies Weibel vanishing, the projective bundle formula, comparison to Milnor K-theory, and pro cdh descent.