An official website of the United States government
Given a morphismf \colon X \to Yof schemes over a field, we prove several finiteness results about the fibers of the induced mapf_{\infty} \colon X_{\infty} \to Y_{\infty}on arc spaces. Assuming thatfis quasi-finite andXis separated and quasi-compact, our theorem states thatf_{\infty}has topologically finite fibers of bounded cardinality and its restriction toX_{\infty} \setminus R_{\infty}, whereRis the ramification locus off, has scheme-theoretically finite reduced fibers. We also provide an effective bound on the cardinality of the fibers off_{\infty}whenfis a finite morphism of varieties over an algebraically closed field, describe the ramification locus off_{\infty}, and prove a general criterion forf_{\infty}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 on 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 also discussed.
more »
« less
Embedding codimension of the space of arcs
Abstract We introduce a notion of embedding codimension of an arbitrary local ring, establish some general properties and study in detail the case of arc spaces of schemes of finite type over a field. Viewing the embedding codimension as a measure of singularities, our main result can be interpreted as saying that the singularities of the arc space are maximal at the arcs that are fully embedded in the singular locus of the underlying scheme, and progressively improve as we move away from said locus. As an application, we complement a theorem of Drinfeld, Grinberg and Kazhdan on formal neighbourhoods in arc spaces by providing a converse to their theorem, an optimal bound for the embedding codimension of the formal model appearing in the statement, a precise formula for the embedding dimension of the model constructed in Drinfeld’s proof and a geometric meaningful way of realising the decomposition stated in the theorem.
more »
« less
- Award ID(s):
- 2001254
- PAR ID:
- 10342476
- Date Published:
- Journal Name:
- Forum of Mathematics, Pi
- Volume:
- 10
- ISSN:
- 2050-5086
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
null (Ed.)We investigate under what conditions holomorphic forms defined on the regular locus of a reduced complex space extend to holomorphic (or logarithmic) forms on a resolution of singularities. We give a simple necessary and sufficient condition for this, whose proof relies on the Decomposition Theorem and Saito’s theory of mixed Hodge modules. We use it to generalize the theorem of Greb-Kebekus-Kovács-Peternell to complex spaces with rational singularities, and to prove the existence of a functorial pull-back for reflexive differentials on such spaces. We also use our methods to settle the “local vanishing conjecture” proposed by Mustaţă, Olano, and Popa.more » « less
-
For a local complete intersection subvariety $X = V (I)$ in $P^n$ over a field of characteristic zero, we show that, in cohomological degrees smaller than the codimension of the singular locus of $$X$$, the cohomology of vector bundles on the formal completion of $P^n$ along $$X$$ can be effectively computed as the cohomology on any sufficiently high thickening $$X_t = V (I^t)$$; the main ingredient here is a positivity result for the normal bundle of $$X$$. Furthermore, we show that the Kodaira vanishing theorem holds for all thickenings $$X_t$$ in the same range of cohomological degrees; this extends the known version of Kodaira vanishing on $$X$$, and the main new ingredient is a version of the Kodaira- Akizuki-Nakano vanishing theorem for $$X$$, formulated in terms of the cotangent complex.more » « less
-
We prove the relative Grauert–Riemenschneider vanishing, Kawamata–Viehweg vanishing, and Kollár injectivity theorems for proper morphisms of schemes of equal characteristic zero, solving conjectures of Boutot and Kawakita. Our proof uses the Grothendieck limit theorem for sheaf cohomology and Zariski–Riemann spaces. We also show that these vanishing and injectivity theorems hold for locally Moishezon (respectively, projective) morphisms of quasi-excellent algebraic spaces and semianalytic germs of complex-analytic spaces (respectively, quasi-excellent formal schemes and non-Archimedean analytic spaces), all in equal characteristic zero. We give many applications of our vanishing results. For example, we extend Boutot’s theorem to all Noetherian Q-algebras by showing that pseudo-rationality descends under pure maps of Q-algebras. This solves a conjecture of Boutot and answers a question of Schoutens. The proofs of this Boutot-type result and of our vanishing and injectivity theorems all use a new characterization of rational singularities using Zariski–Riemann spaces.more » « less
-
Splice type surface singularities were introduced by Neumann and Wahl as a generalization of the class of Pham–Brieskorn–Hamm complete intersections of dimension two. Their construction depends on a weighted tree called a splice diagram. In this paper, we study these singularities from the tropical viewpoint. We characterize their local tropicalizations as the cones over the appropriately embedded associated splice diagrams. As a corollary, we reprove some of Neumann and Wahl’s earlier results on these singularities by purely tropical methods, and show that splice type surface singularities are Newton non-degenerate complete intersections in the sense of Khovanskii. We also confirm that under suitable coprimality conditions on its weights, the diagram can be uniquely recovered from the local tropicalization. As a corollary of the Newton non-degeneracy property, we obtain an alternative proof of a recent theorem of de Felipe, González Pérez and Mourtada, stating that embedded resolutions of any plane curve singularity can be achieved by a single toric morphism, after re-embedding the ambient smooth surface germ in a higher-dimensional smooth space. The paper ends with an appendix by Jonathan Wahl, proving a criterion of regularity of a sequence in a ring of convergent power series, given the regularity of an associated sequence of initial forms.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- https://doi.org/10.1017/fmp.2021.19
