Asymptotic order-of-vanishing functions on the pseudoeffective cone (Q2397676)

Take \(X\) a normal projective variety over an algebraically closed field \(k\) and denote by \(K(X)\) its function field. In [\textit{L. Ein} et al., Ann. Inst. Fourier 56, 6, 1701--1734 (2006; Zbl 1127.14010)] for any discrete valuation \(v\) of \(K(X)\) over \(k\) and any \(D\) effective big Cartier divisor on \(X\) the \textit{asymptotic order of vanishing of \(D\) along \(v\)} is defined as \(v(||D||)\), the limit when \(m\) tends to infinity of the ratio \(v(|mD|)/m\). Recall that \(v(|D|)\) is the minimum of \(v(D')\) when \(D' \in |D|\) (in fact the general value of \(v(D')\) for \(D' \in |D|\)) and \(v(D)\) is \(v(f)\) where \(f\) is a local equation of \(D\) at the generic point of the center of \(v\) on \(X\). This definition extends to big \(\mathbb{Q}\)-divisors and it is known (see the reference above) that depends only on the numerical class of \(D\). Hence it provides a continuous functions on the cone Big\((X)\) of big \(\mathbb{R}\)-divisors. The main result of the paper under review (see Thm. 2) studies the extension of this function to the closure PE\((X)\) of Big\((X)\), the so-called cone of pseudoeffective divisors. In particular, it is shown that the limit when \(\epsilon\) tends to \(0^+\) of \(v(||D+\epsilon A||)\) does not depend on the choice of any ample divisor \(A\), defining then \(\sigma_v:\) PE\((X) \to \mathbb{R}_{\geq 0} \cup \{\infty\}\) a lower semicontinuous function which moreover is continuous in the points where the pseudoeffective cone is locally polyhedral.