How to determine the sign of a valuation on C[x,y]?

Abstract

Given a divisorial discrete valuation 'centered at infinity' on C[x,y], we show that its sign on C[x,y] (i.e. whether it is negative or non-positive on non-constant polynomials) is completely determined by the sign of its value on the 'last key form' (key forms being the avatar of 'key polynomials' of valuations (introduced by [Maclane, 1936]) in 'global coordinates'). The proof involves computations related to the cone of curves on certain compactifications of C^2 and gives a characterization of the divisorial valuations centered at infinity whose 'skewness' can be interpreted in terms of the 'slope' of an extremal ray of these cones, yielding a generalization of a result of [Favre-Jonsson, 2007]. A by-product of these arguments is a characterization of valuations which 'determine' normal compactifications of C^2 with one irreducible curve at infinity in terms of an associated 'semigroup of values'.

12 pages

References in corpus (3)

• Dynamics on Berkovich spaces in low dimensions
• Analytic Compactifications of C^2 part I - curvettes at infinity
• An effective criterion for algebraic contractibility of rational curves

Cited by in corpus (7)

• The cone of curves and the Cox ring of rational surfaces given by divisorial valuations
• Non-positive and negative at infinity divisorial valuations of Hirzebruch surfaces
• Intersection of valuation rings in $k[x,y]$
• An effective criterion for algebraic contractibility of rational curves
• Mori dream surfaces associated with curves with one place at infinity
• Seshadri-type constants and Newton-Okounkov bodies for non-positive at infinity valuations of Hirzebruch surfaces
• Discrete equivalence of non-positive at infinity plane valuations