Divisorial valuations via arcs

From MaRDI portal
(Redirected from Publication:935909)



Abstract: This paper shows a finiteness property of a divisorial valuation in terms of arcs. First we show that every divisorial valuation over an algebraic variety corresponds to an irreducible closed subset of the arc space. Then we define the codimension for this subset and give a formula of the codimension in terms of "relative Mather canonical class". By using this subset, we prove that a divisorial valuation is determined by assigning the values of finite functions. We also have a criterion for a divisorial valuation to be a monomial valuation by assigning the values of finite functions.


The main purpose of this article is to extend to the case of a non-smooth ambient variety \(X\) the connection of \textit{L. Ein, R. Lazarsfeld}, and \textit{M. Mustaţă} [Compos. Math. 140, No. 5 (2004; Zbl 1060.14004)] between divisorial valuations of its function field and the geometry of the arc space. The main application is that each divisorial valuation \(v\) is characterized by its values \(v(f_i)\) on a finite number of functions \(f_i\). It is pointed out that the \(f_i\) might be related with the key polynomials of \textit{S. MacLane} [Trans. Am. Math. Soc. 40, 363--395 (1936; Zbl 0015.29202)], from which a similar result can be proven. Another application is the precise characterization of monomial valuations on toric varieties in terms of a system of parameters. To every irreducible constructible subset \(C\) of the arc space of \(X\) that is not contained in the arc space of any proper subvariety, a valuation of the function field of \(X\) is attached via the order of vanishing along the generic point of \(C\). Important types of subsets of the arc space are: quasi-cylinders and contact loci. The valuations attached to irreducible components of such sets are the so-called cylinder valuations and contact valuations. The authors show that for valuations, divisorial \(\iff\) cylinder \(\iff\) contact. The proofs rely on a formula, in terms of a relative Mather canonical divisor, for the codimension of the subset of the arc space maximal among the sets defining the same divisorial valuation \(v\).




Cited in
(28)








This page was built for publication: Divisorial valuations via arcs

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