Cdh descent, cdarc descent, and Milnor excision

DOI10.1007/S00208-020-02083-5MaRDI QIDQ2664148zbMATH OpenOpenAlexFDO

Authors Elden Elmanto, Marc Hoyois, Ryomei Iwasa, Shane Kelly

Publication date 20 April 2021

Published in Mathematische Annalen (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2002.11647

Schemes and morphisms (14A15) Global theory and resolution of singularities (algebro-geometric aspects) (14E15) Étale and other Grothendieck topologies and (co)homologies (14F20) Motivic cohomology; motivic homotopy theory (14F42) (K)-theory and homology; cyclic homology and cohomology (19D55)

Abstract: We give necessary and sufficient conditions for a cdh sheaf to satisfy Milnor excision, following ideas of Bhatt and Mathew. Along the way, we show that the cdh infinity-topos of a quasi-compact quasi-separated scheme of finite valuative dimension is hypercomplete, extending a theorem of Voevodsky to nonnoetherian schemes. As an application, we show that if E is a motivic spectrum over a field k which is n-torsion for some n invertible in k, then the cohomology theory on k-schemes defined by E satisfies Milnor excision.

Review text

In this paper, the authors study the so-called \textit{Milnor excision} in various context. This is a very important property -- it gives global result (of functors) from gluing data (of spaces). Various topologies were introduced, including the cdp, rh, and cdh topologies (the latter extends the cdh topology introduced by Voevodsky to the non-noetherian setting), which are of ``completely decomposed nature. The details involve studying the Riemann-Zariski space of a scheme in section 2, to reveal some delicate information of the scheme (e.g. valuative dimension and homotopy dimension of certain \(\infty\)-topoi). Notably, it confirms in \S 2.4 that the homotopy dimension of the \(\infty\)-topos of cdh-sheaves on the category of finitely presented schemes over a qcqs scheme is bounded above by its valuative dimension and this \(\infty\)-topos hypercomplete (Theorem 2.4.15 and Corollary 2.4.16). In section 3, it introduces several other topologies, including the cdarc topology, of ``valuative nature (which resembles some other work like the v-topology in [\textit{B. Bhatt} and \textit{P. Scholze}, Invent. Math. 209, No. 2, 329--423 (2017; Zbl 1397.14064)] and arc-topology in [\textit{B. Bhatt} and \textit{A. Mathew}, Duke Math. J. 170, No. 9, 1899--1988 (2021; Zbl 1478.14036)]). The main results, Theorems 3.3.4 and 3.3.11, give criteria for Milnor excision and cdarc descent. In the last subsection, these are applied to deduce interesting result about Milnor excision and descent properties for functors defined by motivic spectra and motivic complexes (Theorem 3.4.8, Corollaries 3.4.9 and 3.4.10; the authors also mention ongoing work removing the torsion assumptions, hence having even stronger Milnor excision properties). The results as well as the techniques used in this paper will be very useful, and could have other interesting applications.

Recommendations

Cites work

Cited in

(15)

This page was built for publication: Cdh descent, cdarc descent, and Milnor excision

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2664148)