On arc fibers of morphisms of schemes

arXiv2206.08060MaRDI QIDQ6402264FDOQ6402264

Authors: Christopher Chiu, Tommaso de Fernex, Roi Docampo 

Publication date: 16 June 2022

Abstract: Given a morphism $fcolonXoY$ of schemes over a field, we prove several finiteness results about the fibers of the induced map on arc spaces $f_{i}nftycolon{X}_{i}nftyo{Y}_{i}nfty$. Assuming that $f$ is quasi-finite and $X$ is separated and quasi-compact, our theorem states that $f_{i}nfty$ has topologically finite fibers of bounded cardinality and its restriction to $X_{i}nftysetminus{R}_{i}nfty$, where $R$ is the ramification locus of $f$, has scheme-theoretically finite reduced fibers. We also provide an effective bound on the cardinality of the fibers of $f_{i}nfty$ when $f$ is a finite morphism of varieties over an algebraically closed field, describe the ramification locus of $f_{i}nfty$, and prove a general criterion for $f_{i}nfty$ to be a morphism of finite type. We apply these results to further explore the local structure of arc spaces. One application is that the local ring at a stable point of the arc space of a variety has finitely generated maximal ideal and topologically Noetherian spectrum, something that should be contrasted with the fact that these rings are not Noetherian in general; a lower-bound to the dimension of these rings is also obtained. Another application gives a semicontinuity property for the embedding dimension and embedding codimension of arc spaces which extends to this setting a theorem of Lech on Noetherian local rings and translates into a semicontinuity property for Mather log discrepancies. Other applications are discussed in the paper.

Mathematics Subject Classification ID

Local structure of morphisms in algebraic geometry: étale, flat, etc. (14B25) Arcs and motivic integration (14E18)

This page was built for publication: On arc fibers of morphisms of schemes

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