Modulus sheaves with transfers

MaRDI QIDQ6371136zbMATH OpenFDO

Authors Shane Kelly, Hiroyasu Miyazaki

Publication date 24 June 2021

Mathematics Subject Classification ID

Valuations and their generalizations for commutative rings (13A18) Algebraic cycles (14C25) Ramification problems in algebraic geometry (14E22) Motivic cohomology; motivic homotopy theory (14F42) Grothendieck topologies and Grothendieck topoi (18F10)

Abstract: We generalise Kahn, Miyazaki, Saito, Yamazaki's theory of modulus pairs to pairs $(X,D)$ consisting of a qcqs scheme $X$ equipped with an effective Cartier divisor $D$ representing a ramification bound. We develop theories of sheaves on such pairs for modulus versions of the Zariski, Nisnevich, 'etale, fppf, and qfh-topologies. We extend the Suslin-Voevodsky theory of correspondances to modulus pairs, under the assumption that the interior $U=XsetminusD$ is Noetherian. The resulting point of view highlights connections to (Raynaud-style) rigid geometry, and potentially provides a setting where wild ramification can be compared with irregular singularities. This framework leads to a homotopy theory of modulus pairs $underlineMH(X,D)$ and a theory of motives with modulus $underlineMD{M}^{eff}(X,D)$ over a general base $(X,D)$. For example, the case where $X$ is the spectrum of a rank one valuation ring (of mixed or equal characteristic) equipped with a choice $D$ of pseudo-uniformiser is allowed.

This page was built for publication: Modulus sheaves with transfers

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