Valuations and log canonical thresholds (Q315564)

Given a regular scheme, a tempered valuation \(v\) is a real valuation of \(K(X)\) of finite log discrepancy \(A(v)<\infty\). A valuative function \(\varphi\) is said to be bounded homogeneous if \(\varphi(tv)=t\varphi(v)\) for all tempered valuations \(v\) and \(t\in \mathbb{R}_+\) and if \(\sup\frac{|\varphi(v)|}{A(v)}<\infty\). A typical example of these function is induced from a coherent ideal \(\mathfrak{a}\) on \(X\). One defines a valuative quasi-plurisubharmonic (qpsh) function to be a function that lies within the closure of the set of such functions. The first part of the paper investigate when a tempered valuation is computing, i.e., there exists a qpsh function \(\varphi\) such that \(v\) computes the norm of \(\varphi\) (when \(\varphi\) is induced from an ideal \(\mathfrak{a}\) the norm is precisely the log canonical threshold of \(\mathfrak{a}\), this is closely related to a conjecture of Jonsson and Mustaţă). One result, Theorem 3.25, is that if the retraction of \(v\) on all sufficiently high log resolutions is computing, then \(v\) is computing. The second part of the paper the author defines the restriction of a valuative qpsh function to a regular subscheme and prove a number of expected results including the restriction theorem and the inversion of adjunction. The author also treat some applications in complex algebraic geometry such as extensions of pluri-canonical forms on a dlt pair under some abundance assumption (Proposition 5.18).