Abstract
Given a klt singularity \(x\in (X, D)\), we show that a quasimonomial valuation v with a finitely generated associated graded ring is a minimizer of the normalized volume function \({\widehat{\text{vol}}}_{(X,D),x}\), if and only if v induces a degeneration to a Ksemistable log Fano cone singularity. Moreover, such a minimizer is unique among all quasimonomial valuations up to rescaling. As a consequence, we prove that for a klt singularity \(x\in X\) on the Gromov–Hausdorff limit of Kähler–Einstein Fano manifolds, the intermediate Ksemistable cone associated with its metric tangent cone is uniquely determined by the algebraic structure of \(x\in X\), hence confirming a conjecture by Donaldson–Sun.
Introduction
Throughout this paper, we work over the field \(\mathbb {C}\) of complex numbers. In [38], the normalized volume function was defined for any klt singularity \(o\in (X,D)\) and the question of studying the geometry of its minimizer was proposed. See [8, 40,41,42, 47] for the results obtained recently. In particular, the existence of a minimizer of the normalized volume conjectured in [40] was confirmed in [8]. On the other hand, in [47], we intensively studied the case when the minimizer is a divisorial valuation. In the current paper, we want to investigate the case when the minimizing valuations are quasimonomial of rational rank possibly greater than one. We note that this kind of cases do occur (see, e.g. [8] or the Appendix to the current paper) and it was conjectured in [38] that any minimizer is quasimonomial.
The Strategy of Studying a Minimizer
After the existence being settled in [8], the remaining work of the theoretic study of a minimizer of the normalized volume function is to understand its geometry (see the conjectures in [38, 47]). Our method does not say much about the part of the conjecture saying that the minimizer must be quasimonomial. Therefore, in the following we will always just assume that the minimizer is quasimonomial. Partly inspired by the differential geometrical theory on the metric tangent cone, the strategy of understanding it consists of two steps, for which we apply quite different techniques:
In the first step, we deal with a special case of a log Fano cone singularities. Such a singularity has a good torus action and a valuation induced by an element \(\xi \in {\mathfrak {t}}_{\mathbb {R}}^+\). This is indeed the case that has been studied in Sasakian–Einstein geometry on the link of a cone singularity (see, e.g. [16, 51] etc.). In particular, when an isolated Fano cone singularity \((X_0, \xi _0)\) admits a Ricciflat Kähler cone metric, it was shown in [51] that the normalized volume achieves its minimum at the associated Reeb vector field \(\xi _0\) among all \(\xi \in {\mathfrak {t}}^{+}_{\mathbb {R}}\). Here we work on the algebraic side and only assume Ksemistability instead of the existence of a Ricciflat Kähler cone metric. We also improve this result by removing the isolated condition on the singularity and more importantly showing that \(\xi\) is indeed the only minimizer among all quasimonomial valuations centered at o, which form a much more complicated space than just the Reeb cone. In the rank 1 case, namely the case of a cone over a Fano variety, this question was investigated in [40, 42] which used arguments from [24]. Here to treat the higher rank case, we work along a somewhat different approach using more ingredients from the convex geometry inspired by a circle of ideas from the Newton–Okounkov body construction (see, e.g. [37, 54]) (see Sect. 2.2).
In the second step, given a quasimonomial valuation in \({\text{Val}}_{X,x}\) which minimizes the normalized volume function \({\widehat{\text{vol}}}_{(X,D)}\), we aim to obtain a degeneration from the klt singularity \(o\in (X,D)\) to a log Fano cone singularity \((X_0,D_0, \xi )\), and then we can study this degeneration family to deduce results for general klt singularities from the results for log Fano cone singularities. Our study of the degeneration heavily relies on recent developments in the minimal model program (MMP) based on [7] (cf. e.g. [46, 69] etc.). In the rank 1 case, i.e., when the minimizing valuation is divisorial, we showed in [47] that the valuation yields a Kollár component (see also [8]). With such a Kollár component, we can indeed complete the picture. For the case that the quasimonomial minimizing valuation has a higher rational rank, the birational models we construct should be considered as asymptotic approximations. In particular, unlike the rank 1 case, we cannot conclude the conjectural finite generation of the associated graded ring. Thus we have to post it as an assumption. Nevertheless, once we have the finite generation, then we can degenerate both the approximating models and the sequences of ideals to establish a process of passing the results obtained in the Step 1 for the log Fano cone singularity in the central fiber to prove results for the general fiber (see Sect. 2.3).
Geometry of Minimizers
Now we give a precise statement of our results. Assume \(x\in X\) is a singularity defined by the local ring \((R, \mathfrak {m})\). Denote by \({\text{Val}}_{X,x}\) the set of real valuations on R that are centered at \(\mathfrak {m}\). For any \(v\in {\text{Val}}_{X,x}\), we denote by \({\text{gr}}_v(R)\) the associated graded ring. First we prove the following result, which partially generalizes [47, Theorem 1.2] to the higher rank case. We refer to Sect. 2.1 for other notations used in the statements.
Theorem 1.1
Let\(x\in (X,D)\)be a klt singularity. Letvbe a quasimonomial valuation in\({\text{Val}}_{X,x}\)that minimizes\({\widehat{{\text{Vol}}}}_{(X,D)}\)and has a finitely generated associated graded ring\({\text{gr}}_v(R)\). Then the following properties hold:

1.
There is a natural divisor \(D_0\) defined as the degeneration of D such that
$$\begin{aligned} \big (X_0:={\text{Spec}}\big ({\text{gr}}_v(R)\big ), D_0\big ) \end{aligned}$$is a klt singularity;

2.
v is a Ksemistable valuation;

3.
Let\(v'\)be another quasimonomial valuation in\({\text{Val}}_{X,x}\)that minimizes\({\widehat{{\text{vol}}}}_{(X,D)}\). Then\(v'\)is a rescaling ofv.
For the definition of Ksemistable valuations, see Definition 2.63. The definition uses the notion of Ksemistability of log Fano cone singularities (see [15]), which in turn generalizes the original Ksemistability introduced by Tian [65] and Donaldson [19]. In fact, this leads to a natural refinement of [38, Conjecture 6.1].
Conjecture 1.2
Given any arbitrary klt singularity \(x\in (X={\text{Spec}}(R),D)\) . The unique minimizer v is quasimonomial with a finitely generated associated graded ring, and the induced degeneration
is Ksemistable. In other words, any klt singularity \(x\in (X,D)\) always has a unique Ksemistable valuation up to rescaling.
We shall also prove the following converse to Theorem 1.1.2, which was known in the rank 1 case by [47, Theorem 1.2].
Theorem 1.3
If (X, D) admits aKsemistable valuationvovero, thenvminimizes\({\widehat{{\text{vol}}}}_{(X,D)}\). In particular, if\((X,D,\xi )\)is a Ksemistable Fano cone singularity, then\({\text{wt}}_{\xi }\)is a minimizer of\({\widehat{{\text{vol}}}}_{(X,D)}\).
Applications to Singularities on GH Limits
As proposed in [38], one main application of our work is to study a singularity \(x\in X\) appearing on any Gromov–Hausdorff limit (GH) of Kähler–Einstein Fano manifolds. By the work of Donaldson–Sun and Tian [21, 64, 66], we know that \(M_\infty\) is homeomorphic to a normal algebraic variety. Donaldson and Sun [21] also proved that \(M_\infty\) has at worst klt singularities. For any point on the Gromov–Hausdorff limit, we can consider the metric tangent cone C using the limiting metric (see [12, 13]). In [22], Donaldson and Sun described C as a degeneration of a cone W and they conjectured that both C and W only depend on the algebraic structure of the singularity. Intuitively, W and C should be considered, respectively, as a ‘canonical’ Ksemistable and a Kpolystable degeneration of \(o\in M_{\infty }\). We refer to Sect. 3.1 for more details of this conjecture.
Here we want to verify the semistable part of the conjecture, namely we will show that the valuation used to construct W in [22] is Ksemistable, and since such a valuation is unique by Theorem 1.1, it does not depend on what kind of metric it carries but only the algebraic structure. We note that all the assumptions in Theorem 1.1 are automatically satisfied in this situation, which essentially follows from the work of [22].
Theorem 1.4
(See [22, Conjecture 3.22]) Denote by\({\text{Spec}}(R)\)the germ of a singularityoon a Gromov–Hausdorff limit\(M_{\infty }\)of a sequence of Kähler–Einstein Fano manifolds. Using the notation in [22] (see Sect. 3.1.1), the coneWassociated with the metric tangent cone is isomorphic to\({\text{Spec}}({\text{gr}}_v(R))\)wherevis the unique Ksemistable valuation in\({\text{Val}}_{M_{\infty },o}\). In particular, it is uniquely determined by the algebraic structure of the singularity.
A standard point of the proof of Theorem 1.4 is to deduce the stability from the metric. For now, we only need the following statement, which generalize [15] to the case of nonisolated singularities (see Remark 3.6).
Theorem 1.5
(= Theorem 3.5) If\((X, \xi _0)\)admits a Ricciflat Kähler cone metric, then\(A_X(\xi _0)=n\)and\((X, \xi _0)\)is Ksemistable.
Remark 1.6
In a forthcoming work [45], we plan to complete the proof of [22, Conjecture 3.22] by showing that the metric tangent cone C is also uniquely determined by the algebraic structure of the germ \((o\in M_{\infty })\). In fact, after Theorem 1.4, what remains to show is that C only depends on the algebraic structure of the Ksemistable Fano cone singularity \((W,\xi _v)\). It follows from a combination of two wellexpected speculations. The first one is an improvement of Theorem 1.5 which says that a Fano cone C with a Ricci flat Kähler cone metric is indeed Kpolystable. This was solved in [4] for the quasiregular case. In [45], we plan to extend [4] to the irregular case. The second one is that any Ksemistable log Fano cone has a unique Kpolystable log Fano cone degeneration. In the case of smoothable Fano varieties (a regular case), this was proved independently in [44, 60] using analytic tools. In [45], we will use the algebraic tools developed in [40, 47] and the current paper, especially the ones related to Tequivariant degeneration, to investigate the problem again and give a purely algebrogeometric treatment.
As a consequence of our work, we also obtain the following formula for singularities appearing on the Gromov–Hausdorff limits (GH) of Kähler–Einstein Fano manifolds, which sharpens [59, Proposition 3.10] (see Corollary 3.7) as well as partially [48, Theorem 1.3.4]:
Theorem 1.7
Let \(M_{\infty }\) be a GH limit of Kähler–Einstein Fano manifolds. Let \(o\in M_{\infty }\) be a singularity, and \(\pi :(Y,y)=(R',\mathfrak {m}_y)\rightarrow (M_{\infty },o)=(R,\mathfrak {m}_o)\) be a quasiétale finite map, that is \(\pi\) is étale in codimension one, then
In fact, for a quasiétale finite covering \((Y,y)\rightarrow (X,x)\) between any klt singularities, as we expect the minimizer of \(y\in Y\) is unique and thus Ginvariant, such a formula should also hold. However, for now we cannot prove this in the full generality.
Outline of the Paper
In this section, we give an outline as well as the organization of the paper. The paper is divided into two parts. In Part I, we study the geometry of the minimizer of a klt singularity in general. We note that this part is completely algebraic.
In Sect. 2.1, we recall a few concepts and establish some background results, especially on valuations and Tvarieties (i.e. varieties with a torus action).
In Sect. 2.2, we focus on studying log Fano cone singularity (see Definition 2.23) and put it into our framework as mentioned in Sect. 1.1. In particular, we want to show that a Ksemistable log Fano cone singularity does not only minimize the normalized volumes among the valuations in the Reeb cone, but indeed also among all valuations in \({\text{Val}}_{X,x}\). Furthermore, it is unique among all quasimonomial valuations. Our main approach is to use the ideas from the construction of Newton–Okounkov body to reduce the volume of valuations to the volume of convex bodies and then apply the known convexity of the volume function in such setting. This is obtained by three steps with increasing generality: we first consider toric singularities with toric valuations (see Sect. 2.2.2.1) where we set up the convex geometry problem; then general Tsingularities with toric valuations (see Sect. 2.2.2.2); and eventually Tsingularities with Tinvariant valuations (see Sect. 2.2.2.3).
In Sect. 2.3, we investigate a quasimonomial minimizer of a general klt singularities by intensively using the minimal model program and degeneration techniques. First in Sect. 2.3.1, we show that given a quasimonomial minimizer \(v\in {\text{Val}}_{X}\) of \({\widehat{{\text{vol}}}}_{(X,D)}\), one can find birational models which can be considered to approximate the valuation. This construction will be used later if we assume that the degeneration exists, i.e., the associated graded ring is finitely generated. In particular, we conclude that such a degeneration is also klt. Then in Sect. 2.3.2, we show that any quasimonomial minimizer is Ksemistable, and in Sect. 2.3.3, we use the degeneration technique and the uniqueness of the quasimonomial minimizer for a log Fano cone singularity obtained in Sect. 2.2 to conclude the uniqueness of the quasimonomial minimizer for a general singularity if one minimizer has a finitely generated associated graded ring.
In Part II (= Sect. 3.1), we apply our theory to the singularities that appeared on the Gromov–Hausdorff limit \(M_{\infty }\) of Kähler–Einstein Fano manifolds. Obviously, we need to establish the results that connect the previous existing differential geometry work to our algebraic results in Part I. Our aim is to show that the semistable cone W associated with the metric tangent cone in Donaldson–Sun’s work depends only on the algebraic structure of the singularity. It follows from the work in [22] such a cone is induced by a valuation v and it always carries an (almost) Sasakian–Einstein metric. What remains to show is then such a cone is Ksemistable, i.e., the valuation v is a Ksemistable quasimonomial valuation. This is achieved in Sect. 3.1.2. Then the finite degree multiplication formula is deduced in Sect. 3.1.3.
In Appendix A, we illustrate our discussion on ndimensional \(D_{k+1}\) singularities. In particular, we verify that all the candidates calculated out in [38], including all those irregular ones, are indeed minimizers of \({\widehat{{\text{vol}}}}\) (except possibly for \(D_4\) in dimension 4).
Part I: Geometry of Minimizers
Preliminary and Background Results
Notation and conventions: We follow [35, 36] for the standard conventions in birational geometry. For a log pair (X, D), we also use \(a_l(E;\,X,D)\) to mean the log discrepancy of E with respect to (X, D), i.e., \(a_l(E;\,X,D)=a(E;\,X,D)+1\). Similarly, we also define \(a_l(E;\, X,D+c\cdot \mathfrak {a})\) for an ideal \(\mathfrak {a}\subset \mathcal {O}_X\) and \(c\ge 0\).
When \(x\in X\), we use \({\text{Val}}_{X,x}\) to denote all the real valuations of K(X) whose center on X is x. If \(x\in (X,D)\) is a klt singularity, for any valuation \(v\in {\text{Val}}_{X,x}\), we can define its log discrepancy \(A_{(X,D)}(v)\) (see [32]) which is always positive, and its volume \({\text{vol}}_{X,x}(v)\). Following [38], we define the normalized volume
if \(A_{X,D}(v)<+\infty\), or \({\widehat{{\text{vol}}}}_{(X,D),x}(v)=+\infty\) if \(A_{X,D}(v)=+\infty\). Let \(X={\text{Spec}}(R)\) be a germ of algebraic singularity with \(x\in X\) corresponding to the maximal ideal \(\mathfrak {m}\). We will denote by \({\text{PrId}}_{X,x}\) the set of all the \(\mathfrak {m}\)primary ideals.
In this note, any singularity \(x\in X\) means the germ of an algebraic singularity, i.e., \(X={\text{Spec}}(R)\) where R is essentially of finite type over \(\mathbb {C}\). Let \(x\in (X,D)\) be a klt singularity. We call a divisorial valuation \({\text{ord}}_S\) in \({\text{Val}}_{X,x}\) gives a Kollár component if there is a model \(\mu :Y\rightarrow X\) isomorphic over \(X{\setminus } \{x\}\) with the exceptional divisor given by S such that \((Y,\mu _*^{1}D+S)\) is plt and \(K_Y\mu _*^{1}DS\) is ample over X. We denote by \({\text{Kol}}_{X,D,x}\) the set of Kollár components over \(x\in (X,D)\).
Normalized Volumes
In this section, we summarize some known results of the normalized volumes.
Definition 2.1
For any klt singularity \(x\in (X, D)\), we define its normalized volume to be the following positive number:
We often abbreviate it as \({\widehat{{\text{vol}}}}(X,D)\) if x is clear or \({\widehat{{\text{vol}}}}(X,x)\) if \(D=0\). We have the following description of \({\widehat{{\text{vol}}}}(X,D)\) using the (normalized) multiplicities:
Theorem 2.2
[41] There is an equality
In [47], we showed that the right hand of (1) is obtained by a minimizer \(\mathfrak {a}\) if and only if the minimum is calculated by the valuative ideals of a Kollár component. In general, [8] showed that if we replace an ideal \(\mathfrak {a}\) by a graded ideal sequence \(\{\mathfrak {a}_{\bullet }\}\), the minimum can always be obtained. Then we can easily show that a valuation v that computes the log canonical threshold of such a graded ideal sequence \(\{\mathfrak {a}_{\bullet }\}\) satisfies the identity \({\widehat{{\text{vol}}}}_{(X,D)}(v)={\widehat{{\text{vol}}}}(X,D)\).
Theorem 2.3
[8] There exists a valuation\(v\in {\text{Val}}_{X,x}\)such that
Remark 2.4
In [32], it was conjectured that any valuation computing the log canonical threshold of a graded sequence of ideals at a smooth point is quasimonomial (see [32, Conjecture B]). We can naturally extend this conjecture from a smooth point to a klt pair (X, D) and then have the following fact observed in [8]: the strong version of Conjecture B for klt pair (X, D) in [32] implies that any minimizer v of \({\widehat{{\text{vol}}}}_{(X,D)}\) is quasimonomial.
Another characterization of the normalized volume is by using the volumes of models:
Theorem 2.5
[47] For any model\(Y\rightarrow X\)which is isomorphic over\(X{\setminus } \{x\}\)with a nontrivial exceptional divisor, we can define its volume\({\text{vol}}(Y/X)\)as in [47]. Then we have
Approximation
For the latter, we need the following result:
Lemma 2.6
Given real numbers\(\alpha _i\)\((i=1,2,\ldots ,r)\) such that\(\alpha _1,\ldots ,\alpha _r\) and 1 are\(\mathbb {Q}\)linearly independent. Let\(\delta _i\in \{1,1\}\). Then for any\(\epsilon >0\), we can find\(p_1,\ldots ,p_r\) and\(q\in \mathbb {Z}\)such that for any i\((i=1,2,\ldots ,r)\),
Proof
Let \(v=(\alpha _1,\ldots ,\alpha _r)\in \mathbb {R}^r\) be a vector; then we consider the sequence
By Weyl’s criterion for equidistribution, using the assumption that \(\alpha _1,\ldots ,\alpha _r\) and 1 are \(\mathbb {Q}\)linearly independent, we know that this sequence is equidistributed in \([0,1]^r\). So our lemma follows easily. \(\square\)
We denote the norm \(\cdot \) on \(\mathbb {R}^r\) to be \(x=\max _{1\le i\le r}x_i\).
Lemma 2.7
Let\(v\in \mathbb {R}^r\) be a vector. For any\(\epsilon >0\), there existsr rational vectors\(\{v_1\), \(v_2,\ldots,\,\)\(v_r\}\)and integers\(\{q_1, \ldots,\)\(q_r\}\) such that

1.
\(q_{i}v_i\in \mathbb {Z}^r\),

2.
v is in the convex cone generated by \(v_1\),…, \(v_r\), i.e., \(v=\sum a_iv_i\) for some\(a_i>0\); and

3.
\(v_iv<\frac{\epsilon }{q_i}\).
Proof
After relabelling, we can assume that \(v=(\alpha _1,\ldots ,\alpha _r)\) with \((1, \alpha _1,\ldots ,\alpha _j)\) is linearly independent and span the space \({\text{span}} (1, \alpha _1,\ldots ,\alpha _r)\). Then possibly replacing \(\epsilon\) by a smaller one, once we could approximate \(\alpha _1\),…, \(\alpha _j\), we automatically get the approximation of all \(\alpha _i\)\((1\le i \le r)\). Therefore, we may and will assume that \((1, \alpha _1,\ldots ,\alpha _r)\) is linearly independent.
Applying Lemma 2.6 for all \(2^r\) choices of \(\delta _1,\ldots ,\delta _r\), we find \(v_1\),…, \(v_{2^r}\) vectors, it suffices to show that we can choose r vectors out of them so that the condition (2) is satisfied.
Let \(w_i=v_iv\); then we know that the signs of the components of \(w_1\),…, \(w_{2^r}\) exhaust all \(2^r\) possible. Clearly it suffices to show that 0 can be written as a positive linear combination of \(w_1\),…, \(w_{2^r}\). We prove this by induction on r. Let \(w_1,\ldots ,w_{2^{r1}}\) be precisely the vectors with positive first component. Then using the induction, we know that there exist positive numbers \(a_1,\ldots ,a_{2^{r1}}\) such that \(\sum ^{2^{r1}}_{i=1} a_iw_i\) has the form \((a,0,\ldots ,0)\) with \(a>0\). Similarly, we find positive numbers \(a_{2^{r1}+1},\ldots ,a_{2^r}\) such that \(\sum ^{2^{r}}_{i=2^{r1}+1} a_iw_i\) is of the form \((b,0,\ldots ,0)\) with \(b>0\). Then we know that
\(\square\)
Valuations and Associated Graded Rings
Given a valuation v whose valuative semigroup is denoted by \(\Phi\). Let \(\Phi ^g\) be the corresponding group generated by \(\Phi\), and \(\Phi ^g_+\supset \Phi\) be the semigroup of nonnegative values. We can define the generalized Rees algebra as in [61, Section 2.1]
By [61, Proposition 2.3], we know \(\mathcal {R}_v\) is faithfully flat over \(k[\Phi ^g_+]\).
The valuations that our approach can deal with are called quasimonomial valuations. It is known that it is the same as Abhyankar valuation (see, e.g. [23, Proposition 2.8]).
Definition 2.8
\(v=v_{\alpha }\) is called a quasimonomial valuation over x of rational rank r: if there exists a log resolution \(Z\rightarrow X\) with divisors \(E_1\),…, \(E_r\) over x, and r nonnegative numbers \(\alpha =(\alpha _1\),…, \(\alpha _r)\) which are \(\mathbb {Q}\)linearly independent, such that

1.
\(\bigcap ^r_{i=1} E_i\ne \emptyset\);

2.
there exists a component \(C \subset \bigcap E_{i}\), such that around the generic point \(\eta\) of C, \(E_i\) is given by the equation \(z_i\), and

3.
for \(f\in \mathcal {O}_{X,\eta }\subset \hat{\mathcal {O}}_{X,\eta }\) can be written as \(f=\sum c_{\beta }z^{\beta }\), with either \(c_{\beta }=0\) or \(c_{\beta }(\eta )\) is a unit; then
$$\begin{aligned} v_{\alpha }(f)=\min \left\{ \sum \alpha _i\beta _i\ c_{\beta }(\eta )\ne 0\right\} . \end{aligned}$$
In fact, for any \((\alpha '_1,\ldots , \alpha '_r)\in \mathbb {R}^r_{\ge 0}\), we can define a valuation as above, which is quasimonomial with rational rank equal to the dimension of the \(\mathbb {Q}\)linear vector space
On the other hand, if we choose \(\alpha \in \mathbb {Z}^r_{\ge 0}\), the corresponding valuation is given by the toroidal divisor coming from the weighted blow up with weight \(\alpha\).
In the following, we also need a slight generalization of Definition 2.8, namely instead of assuming that \((Z, E_1+\cdots +E_r)\) is simple normal crossing at \(\eta\), we assume
where \((\eta ' \in Z',E'_1+\cdots +E'_r)\) is a semilocal snc scheme, and G is an abelian group. Denote the pull back of \(E_i\) by \(n_iE_i'\). Then for \(\alpha =(\alpha _1,\ldots , \alpha _r)\in \mathbb {R}^r_{\ge 0}\), we can define \(v_{\alpha }\) to be the restriction of \(v_{\alpha '}\) at \(\eta '\in (Z',E'_1+\cdots +E'_r)\) as in Definition 2.8, where \(\alpha '=(n_1\alpha _1,\ldots , n_r\alpha _r)\).
Definition 2.9
Let (Z, E) be a pair which is (Zariski) locally an abelian group quotient of a snc pair (with reduced boundary). Denote the center of v on (Z, E) by \(\eta\); we say v is computed on \(\eta \in (Z,E)\), if

1.
\(\overline{\eta }\) is a component of the intersection of component of E;

2.
\(v=v_{\alpha }\) for some \(\alpha \in \mathbb {R}^{r}_{>0}\).
For a general pair of a normal variety Z and a \(\mathbb {Q}\)divisor E, we say that v is computed on the center \(\eta\) of v in (Z, E) if in a neighborhood U of \(\eta\), \((U, E_U(=E^{=1}_U))\) is locally a quotient of snc pair and v is computed on \((U, E_U(=E^{=1}_U))\) in the above sense.
Lemma 2.10
Let\(v_{\alpha }\) be a quasimonomial valuation as defined in Definition 2.8with the maximal rational rank r, whose associated graded ring\({\text{gr}}_{v_{\alpha }}(R)\) is finitely generated. Then we can choose\(\epsilon\) sufficiently small such that for any\(\alpha '\in \mathbb {Q}^r\) with\(\alpha \alpha '<\epsilon\), there is an isomorphism\({\text{gr}}_{v_{\alpha }}(R)\rightarrow {\text{gr}}_{v_{\alpha '}}(R)\) induced by a morphism sending a set of homogeneous generators of\({\text{gr}}_{v_{\alpha }}(R)\) to one of\({\text{gr}}_{v_{\alpha '}}(R)\).
Proof
Since \({\text{gr}}_{v_{\alpha }}(R)\) is finitely generated, we can find a finite set of homogenous generators \(f_1,\ldots ,f_k\), and construct a surjection of graded rings
where \(t_i\) has the same degree as \(\deg (f_i)\), which by our assumption can be written as \(\sum ^r_{i=1}b^j_{i}\alpha _i\).
We can lift \(f_i\) to \(g_i\in R\) such that \(\mathbf{in}_v(g_i)=f_i\), and make the morphism
Consider the filtration
for any \(b\in \Phi\). We can similarly construct a Rees algebra
There is a surjection \(\mathcal {R}^*\rightarrow \mathcal {R}_{v_{\alpha }}\), which degenerates \(\psi\) to \(\phi\) over \({\text{Spec}}R(\Phi )\). Denote by I the kernel of \(\psi\), which we know degenerates to \(I_0\) the kernel of \(\phi\). By the flatness over \(R(\Phi )\), we know any element \(h'\in I_0\) can be lifted to an element \(h\in I\). Geometrically, this gives a pointed embedding \((x\in X)\subset (0\in \mathbb {C}^k)\), whose degeneration along one direction, denoted by \(\xi _{\alpha }\), on \(\mathbb {C}^n\) gives the embedding \((o\in X_0={\text{Spec}}({\text{gr}}_vR))\subset (0\in \mathbb {C}^r)\).
Let \(h_1,\ldots ,h_m\) be elements in I whose degenerations \(h_1',\ldots , h_m'\) generate \(I_0\). Assume \(h_j=h'_j+h_j''\) with \(\deg (h'_j)=\sum ^r_{i=1} c^j_i\alpha _i\) and the monomials of \(h_j''\) has degree larger than \(\sum ^r_{i=1} c^j_i\alpha _i\). We can choose \(\epsilon\) sufficiently small such that if \(\alpha '=(\alpha '_1,\ldots , \alpha '_r)\) satisfies \(\alpha '\alpha <\epsilon\), then any monomial of \(h_j''(t_1,\ldots ,t_k)\) has a corresponding degree larger than \(c^j_i\alpha '_i\) where \(\deg (t_i)\) is set to be \(\sum ^r_{i=1}b^j_{i}\alpha '_i\). Then the condition that v has the maximal rational rank implies that \(h_j'\) is the leading term of \(h_j\) if \(\deg (t_i)=\sum ^r_{i=1}b^j_{i}\alpha '_i\).
Consider the filtration given by setting the degree of \(t_j\) to be \(\sum _i b^j_i\alpha '_i\) and it induces a filtration on R by its image. We denote the corresponding vector of the degeneration by \(\xi _{\alpha '}\). Our argument above says for the filtration induced by \(\xi _{\alpha '}\), the associated graded ring given by the filtration coincides with \({\text{gr}}_v(R)\). Since the graded ring is an integral domain, by Lemma 2.11(1) the filtration comes from a valuation \(v'\). Now we claim \(v'\) is the same as the one given by \(v_{\alpha '}\), which implies what we aim to prove.
In fact, by [63], we know that for our embedding \((x\in X)\subset (0\in \mathbb {C}^k)\), we can indeed assume there is a toroidal morphism \(V\rightarrow \mathbb {C}^k\), such that the birational transform of X in V gives the model Z in Definition 2.8 and the divisors \(E_i\) are from the transversal intersection of Z and components \(F_i\) of \({\text{Ex}}(V/\mathbb {C}^k)\). Assume \(F_i\) at \(\eta \in \bigcap ^r_{i=1} F_i\) yield a coordinate \(y_i\), and its restriction to Z induces the coordinate \(z_i\) for \(E_i\). By the transversality of Z and components of \({\text{Ex}} (V/\mathbb {C}^k)\), we know that for any function \(f\in R\), if we lift it as a function \(\tilde{f} \in k[x_1,\ldots ,x_k]\), then
where \(\xi _{\alpha '}\) is the corresponding toroial valuation induced by \(\alpha '\) over \(\mathbb {C}^k\). However, by our definition \(\xi _{\alpha '}(\tilde{f})=v'(f)\), which implies \(v_{\alpha '}=v'\). \(\square\)
Let \(\Phi ^g\) be an ordered subgroup of the real numbers \(\mathbb {R}\). Let \((R, \mathfrak {m})\) be the local ring at a normal singularity \(o\in X\). A \(\Phi ^g\)graded filtration of R, denoted by \({\mathcal {F}}:=\{{\mathcal {F}}^m\}_{m\in \Phi ^g}\), is a decreasing family of \(\mathfrak {m}\)primary ideals of R satisfying the following conditions:
 (i):

\({\mathcal {F}}^m\ne 0\) for every \(m\in \Phi ^g\), \({\mathcal {F}}^m=R\) for \(m\le 0\) and \(\bigcap _{m\ge 0}{\mathcal {F}}^m=(0)\);
 (ii):

\({\mathcal {F}}^{m_1}\cdot {\mathcal {F}}^{m_2}\subseteq {\mathcal {F}}^{m_1+m_2}\) for every \(m_1, m_2\in \Phi ^g\).
Given such an \({\mathcal {F}}\), we get an associated order function
Using the above (i)–(ii), it is easy to verify that v satisfies \(v(f+g)\ge \min \{v(f), v(g)\}\) and \(v(fg)\ge v(f)+v(g)\). We also have the associated graded ring:
For any real valuation v with valuative group \(\Phi ^g\), \(\{{\mathcal {F}}^m\}:=\{\mathfrak {a}_m(v)\}\) is a \(\Phi ^g\)graded filtration of R. We need the following known facts:
Lemma 2.11
(See [61, 62]) With the above notations, the following statement holds:

(1)
([62, Page 8]) If\({\text{gr}}_{{\mathcal {F}}}R\) is an integral domain, then\(v=v_{{\mathcal {F}}}\) is a valuation centered at\(o\in X\). In particular, \(v(fg)=v(f)+v(g)\) for any\(f,g\in R\).

(2)
[57] A valuation v is quasimonomial if and only if the Krull dimension of \({\text{gr}}_v R\)is the same as the Krull dimension of R.
Singularities with Good Torus Actions
For general results of Tvarieties in algebraic geometry, see [1, 2, 43, 56]. Assume \(X={\text{Spec}}_{\mathbb {C}}(R)\) is an affine variety with \({\mathbb {Q}}\)Gorenstein klt singularities. Denote by T the complex torus \((\mathbb {C}^*)^r\). Assume X admits a good Taction in the following sense;
Definition 2.12
(See [43]) Let X be a normal affine variety. We say that a Taction on X is good if it is effective and there is a unique closed point \(x\in X\) that is in the orbit closure of any Torbit. We shall call x the vertex point of the Tvariety X.
For a singularity \(x\in X\) (sometimes also denote by \(o\in X\)) with a good Taction, we will also call it a Tsingularity for simplicity.
Let \(N={\text{Hom}}(\mathbb {C}^*, T)\) be the coweight lattice and \(M=N^*\) the weight lattice. We have a weight space decomposition
The action being good implies \(R_0=\mathbb {C}\), which will always be assumed in the below. An ideal \({\mathfrak {a}}\) is called homogeneous if \(\mathfrak {a}=\bigoplus _{\alpha \in \Gamma }{\mathfrak {a}}\cap R_\alpha\). Denote by \(\sigma ^{\vee }\subset M_{\mathbb {Q}}\) the cone generated by \(\Gamma\) over \(\mathbb {Q}\), which is called the weight cone (or the moment cone). The cone \(\sigma \subset N_{\mathbb {R}}\), dual to \(\sigma ^\vee\), is the same as the following set:
For the convenience and by comparison with Sasaki geometry, we will introduce:
Definition 2.13
With the above notations, a vector \(\xi \in {\mathfrak {t}}^+_\mathbb {R}\) will be called a Reeb vector on the Tvariety X.
We recall the following structure results for any Tvarieties:
Theorem 2.14
([1, Theorem 3.4]) Let\(X={\text{Spec}}(R)\)be a normal affine variety and suppose\(T={\text{Spec}}\left( \mathbb {C}[M]\right)\)acts effectively onXwith the weight cone\(\sigma ^{\vee } \subset M_{{\mathbb {Q}}}\). Then there exists a normal semiprojective varietyYsuch that\(\pi :X\rightarrow Y\)is the good quotient underTaction and a polyhedral divisor\({\mathfrak {D}}\)and there is an isomorphism of graded algebras:
In other words, Xis equal to\({\text{Spec}}_\mathbb {C}\big ( \bigoplus _{u\in \sigma ^{\vee } \cap M} H^0(Y, \mathcal {O}({\mathfrak {D}}(u)) ) \big )\).
Here a variety Y being semiprojective variety means it is projective over an affine variety Z, which can be chosen to be \(Z={\text{Spec}}(H^0(Y,\mathcal {O}_Y))\).
We refer to Example 4.2 for a concrete example. From now on, let X be an affine variety with a good action such that \(o\in X\) is the vertex point. Then we know that Y is projective since
(see [43]). We collect some known results about valuations on Tvarieties.
Theorem 2.15
Assume aTvarietyXis determined by the data\((Y, \sigma , {\mathfrak {D}})\)such thatYis a projective variety, \(\sigma\)is a maximal dimension cone in\(N_{\mathbb {R}}\)and\({\mathfrak {D}}\)is a polyhedral divisor.

1.
For anyTinvariant quasimonomial valuation v, there exist a quasimonomial valuation\(v^{(0)}\)overYand\(\xi \in M_{\mathbb {R}}\)such that for any\(f\cdot \chi ^u\in R_u\), we have:
$$\begin{aligned} v(f\cdot \chi ^u)=v^{(0)}(f)+\langle u, \xi \rangle . \end{aligned}$$We will use\((v^{(0)}, \xi )\)to denote such a valuation.

2.
Tinvariant prime divisors onXare either vertical or horizontal. Any vertical divisor is determined by a divisorZonYand a vertexv of \({\mathfrak {D}}_Z\), and will be denoted by\(D_{(Z,v)}\). Any horizontal divisor is determined by a ray\(\rho\)of\(\sigma\)and will be denoted by\(E_\rho\).

3.
LetDbe aTinvariant vertical effective\(\mathbb {Q}\)divisor. If\(K_X+D\) is \({\mathbb {Q}}\)Cartier, then the log canonical divisor has a representation\(K_X+D=\pi ^*H+{\text{div}}(\chi ^{u_0})\)where\(H=\sum _Z a_Z\cdot Z\)is a principal\({\mathbb {Q}}\)divisor onYand\(u_0\in M_{{\mathbb {Q}}}\). Moreover, the log discrepancy of the horizontal divisor\(E_\rho\)is given by:
$$\begin{aligned} A_{(X,D)}(E_\rho )=\langle u_0, n_\rho \rangle , \end{aligned}$$(3)where\(n_\rho\)is the primitive vector along the ray\(\rho\).
Proof
In the first statement, the case for valuations with rational rank 1 follows from [2, 11]. It can be extended to quasimonomial valuations trivially since any such valuation is a limit of valuation of rational rank 1. The second statement is in [56, Proposition 3.13] and the third statement is in [43, Section 4]. \(\square\)
As mentioned, we have the identity \(\sigma ={\mathfrak {t}}^+_{\mathbb {R}}\). For any \(\xi \in \mathfrak {t}^+_{\mathbb {R}}\), we can define a valuation
It is easy to verify that \({\text{wt}}_\xi \in {\text{Val}}_{X,x}\). We also define the rank of \(\xi\), denoted by \({\text{rk}}(\xi )\), to be the dimension of the subtorus \(T_\xi\) (as a subgroup of T) generated by \(\xi \in {\mathfrak {t}}\).
Lemma 2.16
For any\(\xi \in \mathfrak {t}^+_{\mathbb {R}}\), \({\text{wt}}_\xi\) is a quasimonomial valuation of rational rank equal to the rank of\(\xi\). Moreover, the center of\({\text{wt}}_\xi\) is x.
Proof
This follows from the work on Tvarieties. By [1], \(X={\text{Spec}}_Y \left( R(Y, {\mathfrak {D}})\right)\) for a polyhedral divisor \({\mathfrak {D}}\) over a semiprojective variety Y. The rational rank of \({\text{wt}}_\xi\) is equal to the rank of \(\xi\). Let \(Y_{\xi }=X \,//\, T_{\xi }\), then
More explicitly, we will realize \({\text{wt}}_{\xi }\) as a monomial valuation on a log smooth model. By [1, Theorem 3.4], if we let
then there exists a birational morphism \(\mu : \tilde{X}\rightarrow X\) and a projection \(\pi : \tilde{X}\rightarrow Y\) such that the generic fiber of \(\pi\) is a normal affine toric variety of dimension r. This toric variety, denoted by Z, is associated with the polyhedral cone \(\sigma \subset N_{\mathbb {R}}\). Each valuation \({\text{wt}}_{\xi }\) corresponds to a vector \(\xi\) contained in the interior of \(\sigma\). Let U be a Zariski open set of Y such that the fiber of \(\pi : \tilde{X}\rightarrow X\) over any point \(p\in U\) is isomorphic to Z. Then \({\text{wt}}_\xi\) is the natural extension of the corresponding toric valuation on Z. As a consequence, it is a quasimonomial valuation on \(U\times Z\) and hence on the original X.
Next we can also realize \({\text{wt}}_\xi\) on a log smooth model. Let \(\tilde{Z}\rightarrow Z\) be a fixed toric resolution of singularities. Then we can follow the construction in [43, Section 2] to obtain a toroidal resolution \(\mathscr {X}\rightarrow X\) that dominates \(\tilde{X}\) and its restriction over U is isomorphic to \(\tilde{Z}\times U\). Let \(q\in \tilde{Z}\) be a contracting point of the torus action generated by \(\xi\) and choose a point \(p\in U\). Then it is easy to see that \({\text{wt}}_{\xi }\) is realized as a monomial valuation with nonnegative weights at \((p, q)\in U\times \tilde{Z}\). \(\square\)
Remark 2.17
The quasimonomial property also follows from Lemma 2.11(2).
By the construction in the above proof, the log discrepancy of \({\text{wt}}_{\xi }\) can indeed be calculated in a similar way as in the toric case, and the toric case is wellknown (see, e.g. [3, 9, Proposition 7.2]). Assume X is a normal affine variety with \({\mathbb {Q}}\)Gorenstein klt singularities and a good Taction. Let D be a Tinvariant vertical divisor. As in [51, 2.7], we can solve for a nowherevanishing section Tequivariant section s of \(m(K_X+D)\) where m is sufficiently divisible (also see Remark 2.19).
Lemma 2.18
Using the same notion as in the Theorem 2.15, the log discrepancy of\({\text{wt}}_{\xi }\) is given by: \(A_{(X,D)}({\text{wt}}_\xi )=\langle u_0, \xi \rangle\). Moreover, let sbe a Tequivariant nowherevanishing holomorphic section of\(m(K_X+D)\), and denote\({\mathcal {L}}_\xi\) the Lie derivative with respect to the holomorphic vector field associated with\(\xi\). Then\(A_{(X,D)}(\xi )=\lambda\) if and only if
Proof
Let \(\mathscr {X}\rightarrow \tilde{X} \rightarrow X\) be the same morphisms as in the proof of Lemma 2.16 and let \(\mathscr {D}\) and \(\tilde{D}\) be the strictly transform of D on \(\mathscr {X}\) and \(\tilde{X}\), respectively. Then the situation can be reduced to the toric case (see also [43, Section 4]):
Next we discuss the second statement. Because the map \(\xi \mapsto {\mathcal {L}}_{\xi }(s)/s\) is linear, we just need to verify the statement for rational \(\xi\). Then in the case \(D=\emptyset\), this follows from what was already showed in [38] and [40, Proof of Proposition 6.16]. The same argument applies in the logarithmic case. \(\square\)
Remark 2.19
Using the structure theory of Tvarieties and under the assumption that \(K_X+D\) is \({\mathbb {Q}}\)Gorenstein, one can write down a nowherevanishing holomorphic section s explicitly by using [56, Theorem 3.21] and [43, Proposition 4.4]. So one can also directly verify the equality \(\langle u_0, \xi \rangle =\frac{1}{m}({\mathcal {L}}_\xi s/s)\).
As a consequence of the above lemma, we can extend \(A_{(X,D)}(\xi )\) to a linear function on \({\mathfrak {t}}_{\mathbb {R}}\).
Definition 2.20
Using the same notation as in the Theorem 2.15, for any \(\eta \in {\mathfrak {t}}_{\mathbb {R}}\), we define:
By Lemma 2.18, \(A_{(X,D)}(\eta )=\frac{1}{m} {\mathcal {L}}_\eta s/s\) where s is a Tequivariant nowherevanishing holomorphic section of \(m(K_X+D)\).
We will need the following important convexity property originally discovered in [51] for cones with isolated singularities (see also [22] for the case of metric tangent cones).
Proposition 2.21
(See Proposition 2.39) The volume function\({\text{vol}}={\text{vol}}_{X,x}\) is strictly convex on\({\mathfrak {t}}_{\mathbb {R}}^+\). If\(\xi _0\) is a minimizer of\({\widehat{{\text{vol}}}}_{{\mathfrak {t}}_{\mathbb {R}}^+}\), then for any vector\(\xi \in {\mathfrak {t}}^+_\mathbb {R}\), we have the inequality
with the equality holds if and only if\(\xi\) is a rescaling of\(\xi _0\).
Since we allow any klt singularity with good torus action, this is a gentle generalization of Martelli–Sparks–Yau’s result. We will give an algebraic proof of the above result in Sect. 2.2.2. In particular, we will interpret this as a phenomenon in convex geometry.
For klt Tsingularities, we have the following improvement of Theorem 2.2 in the equivariant case:
Theorem 2.22
(See [47]) Let (X, D) be aTequvariant klt singularity. Denote by\({\text{Val}}_{X,x}^{T}\)the set ofTinvariant valuations centered atx, \({\text{PrId}}^T_{X,x}\)the set of homogeneous\({\mathfrak {m}}\)primary ideals, and\({\text{Kol}}^T_{X,x}\)the set ofTinvariant Kollár component. Then we have the identity:
Proof
We first show
In fact, given any \({\mathfrak {m}}\)primary ideal \({\mathfrak {a}}\), we consider the initial ideal sequence
which we know is a graded sequence of Tequivariant ideals. Then we know that
which confirms our claim.
Then to finish the proof, it suffices to show
We follow the strategy in the proof of [47]. Given a Tequivariant primary ideal \({\mathfrak {a}}\), we can take the an Tequivariant dlt modification \(Y\rightarrow X\) by running a Tequivariant model on a Tequivariant resolution. Then any exceptional divisor S on Y / X is equivariant, and we know that
where the equalities follow from [47]. \(\square\)
KSemistability of Log Fano Cone Singularity
For a Tequivariant singularity, the valuations induced by vector fields in the Reeb cone play a special role, so we give the following:
Definition 2.23
(See also [16]) Let (X, D) be an affine klt pair with a good T action (see Definition 2.12). For any \(\xi \in {\mathfrak {t}}^+_\mathbb {R}\), we say that the associated valuation \({\text{wt}}_{\xi }\) gives a toric valuation. For a fixed \(\xi\), we call the triple \((X,D,\xi )\) a klt singularity with a log Fano cone structure that is polarized by \(\xi\).
We proceed to study the Ksemistable log Fano cone singularity \((X,D, \xi )\) in the sense of Collins–Székelyhidi [15, 16], which generalizes the Ksemistability for Fano varieties (see [19, 65]). We first define the special test configurations of log Fano cone singularities.
Definition 2.24
(See [15, 16]) Let \((X, D, \xi _0)\) be a log Fano cone singularity and T be the torus generated by \(\xi _0\).
A Tequivariant special test configuration (or Tequivariant special degeneration) of \((X, D, \xi _0)\) is a quadruple \(({\mathcal {X}}, {\mathcal {D}}, \xi _0; \eta )\) with a map \(\pi : ({\mathcal {X}}, {\mathcal {D}})\rightarrow {\mathbb {A}}^1(= \mathbb {C})\) satisfying the following conditions:

1.
\(\pi\) is a flat family of log pairs such that the fibres away from 0 are isomorphic to (X, D) and \({\mathcal {X}}={\text{Spec}}({\mathcal {R}})\) is affine, where \({\mathcal {R}}\) is a finitely generate flat \(\mathbb {C}[t]\) algebra. The torus T acts on \({\mathcal {X}}\), and we write \(\mathcal {R}=\bigoplus _{\alpha }\mathcal {R}_{\alpha }\) as the decomposition into weight spaces;

2.
\(\eta\) is an algebraic holomorphic vector field on \({\mathcal {X}}\) generating a \(\mathbb {C}^*\)action on \(({\mathcal {X}},{\mathcal {D}})\) such that \(\pi\) is \(\mathbb {C}^*\)equivariant where \(\mathbb {C}^*\) acts on the base \(\mathbb {C}\) by multiplication (so that \(\pi _*\eta =t\partial _t\) if t is the affine coordinate on \({\mathbb {A}}^1\)) and there is a \(\mathbb {C}^*\)equivariant isomorphism \(\phi : ({\mathcal {X}}, {\mathcal {D}}) \times\, _{\mathbb {C}}\mathbb {C}^*\cong (X,D) \times \mathbb {C}^*\);

3.
the algebraic holomorphic vector field \(\xi _0\) on \({\mathcal {X}}\times _{\mathbb {C}}\mathbb {C}^*\) (via the isomorphism \(\phi\)) extends to a holomorphic vector field on \({\mathcal {X}}\) (still denoted by \(\xi _0\)) and generates a Taction on \(({\mathcal {X}}, {\mathcal {D}})\) that commutes with the \(\mathbb {C}^*\)action generated by \(\eta\) and preserves \((X_0, D_0)\);

4.
\((X_0, D_0)\) has klt singularities and \((X_0, D_0, \xi _0_{X_0})\) is a log Fano cone singularity (see Definition 2.23).
\(({\mathcal {X}}, {\mathcal {D}}, \xi _0; \eta )\) is a product test configuration if there is a Tequivariant isomorphism \(({\mathcal {X}}, {\mathcal {D}})\cong (X, D)\times \mathbb {C}\) and \(\eta =\eta _0+t\partial _t\) with \(\eta _0\in {\mathfrak {t}}\).
By abuse of notation, we will denote \(\xi _0_{X_0}\) by \(\xi _0\). For simplicity, we will just say that \(({\mathcal {X}}, {\mathcal {D}})\) is a (Tequivariant) special test configuration if \(\xi _0\) and \(\eta\) are clear. We also say that \((X,D,\xi _0)\) specially degenerates to \((X_0,D_0,\xi _0; \eta )\) (or simply to \((X_0, D_0)\)).
If \(({\mathcal {X}}, {\mathcal {D}}, \xi _0;\eta )\) is a special test configuration, then under the base change \({\mathbb {A}}^1\rightarrow {\mathbb {A}}^1, t\mapsto t^d\), we can pull back it to get a new special test configuration \(({\mathcal {X}}\times _{{\mathbb {A}}^1,t^d}{\mathbb {A}}^1, {\mathcal {D}}\times _{{\mathbb {A}}^1, t^d}{\mathbb {A}}^1, \xi _0; d \cdot (t^d)^*(\eta ))\), which will be simply denoted by \(({\mathcal {X}}, {\mathcal {D}}, \xi _0;\eta )\times _{{\mathbb {A}}^1,t^d}{\mathbb {A}}^1\).
Let \(({\mathcal {X}}, {\mathcal {D}}, \xi _0; \eta )\) be a Tequivariant special test configuration of \((X, D, \xi _0)\). We can define the Futaki invariant \({\text{Fut}}(X_0, D_0, \xi _0; \eta )\) following [15, 16] where the index character was used. However, for our purpose, we reformulate the definition as the derivative of the normalized volume and we only consider special test configurations.
Since Taction and \(\mathbb {C}^*\)action commute with each other, \(X_0\) has a \(T'=(T\times \mathbb {C}^*)\)action generated by \(\{\xi _0, \eta \}\). Let \({\mathfrak {t}}'={\text{Lie}} (T')\). For any \(\xi \in {\mathfrak {t}}'^{+}_{\mathbb {R}}\), we have \({\text{wt}}_{\xi }\in {\text{Val}}_{X_0,o'}\) where \(o'\in X_0\) is the vertex point of the central fiber \(X_0\). So we can define its volume \({\text{vol}}({\text{wt}}_\xi )\) and normalized volume \({\widehat{{\text{vol}}}}({\text{wt}}_\xi )\). For simplicity of notations, we will frequently just write \(\xi\) in place of \({\text{wt}}_\xi\). Recall that the volume \({\text{vol}}(\xi )\) is equal to:
and the normalized volume is given by:
Here \(A(\xi )=A_{(X_0,D_0)}({\text{wt}}_\xi )\).
Remark 2.25
By [16, 51], for any \(\xi \in {\mathfrak {t}}'^{+}_{\mathbb {R}}\), the volume of \({\text{wt}}_\xi\) can be obtained by using the index characters. Let \(X_0={\text{Spec}}_{\mathbb {C}} (B)\) and \(B=\bigoplus _{\alpha '} B_{\alpha '}\) be the weight decomposition with respect to \(T'\). For any \(\xi \in {\mathfrak {t}}'^+_{\mathbb {R}}\), the index character is defined as:
Then by [16, 51], \(\Phi (t, \xi )\) has the expansion (recall that \(\dim X=n\)):
Definition 2.26
(See [15, 16]) Let \((X_0, D_0, \xi _0)\) be a log Fano cone singularity with an good action by \(T'\cong (\mathbb {C}^*)^{r+1}\). Denote \({\text{vol}}={\text{vol}}_{(X_0,D_0)}\) on \({\mathfrak {t}}'^+_\mathbb {R}\) and \(A=A_{(X_0,D_0)}\) on \({\mathfrak {t}}'_\mathbb {R}\) (see Definition 2.20). Assume \(\xi _0\in {\mathfrak {t}}'^{+}_{\mathbb {R}}\). For any \(\eta \in {\mathfrak {t}}'_{\mathbb {R}}\), we define:
If \(({\mathcal {X}}, {\mathcal {D}}, \xi _0; \eta )\) is a special test configuration of \((X, D, \xi _0)\), then the Futaki invariant of \(({\mathcal {X}}, {\mathcal {D}}, \xi _0; \eta )\), denoted by \({\text{Fut}}({\mathcal {X}}, {\mathcal {D}}, \xi _0; \eta )\) is defined to be \({\text{Fut}}(X_0, D_0, \xi _0; \eta )\).
Remark 2.27
When \(\xi _0\) generates a onedimensional torus (i.e., \(T\cong \mathbb {C}^*\)), then taking quotient by T, we get a special test configuration \((\mathcal {Y},{\mathcal {E}})\) of the log Fano pair \((Y,E)=(X,D){\setminus }\{x\}/\langle \xi _0\rangle\), and we have \({\text{Fut}}({\mathcal {X}}, {\mathcal {D}}, \xi _0; \eta )\) is a rescaling of the Futaki invariant of \(({\mathcal {Y}}, {\mathcal {E}})\) defined in [19, 65] (see, e.g. [40, Lemma 6.20]). This also verifies that the definition coincides with the one in [16] (up to a constant) as any vector can be approximated by rational ones, and the Futaki invariants in both definitions are continuous and coincide when \(\xi _0\) is rational.
We will need another form of the Futaki invariant later. For any \(\xi \in {\mathfrak {t}}'^{+}_{\mathbb {R}}\), if we denote \(\hat{\xi }=\frac{\xi }{A(\xi )}\) such that \(\hat{\xi }\) lies on the truncated affine hyperplane
then we can transform the normalized volume to the usual volume:
Moreover we can calculate:
where we have denoted:
Notice that \(\widehat{T}_{\xi _0}(\eta )\) in the tangent space of P at \(\widehat{\xi }_0\). In other words, \(A(\widehat{T}_{\xi _0}(\eta ))=0\) (see (4)).
The calculation (11) amounts to showing that renormalization of the test configuration does not change the Futaki invariant:
Definition 2.28
We say that \((X, D, \xi _0)\) is Ksemistable, if for any Tequivariant special test configuration \({\mathcal {X}}\) that degenerates \((X,D,\xi _0)\) to \((X_0, D_0,\xi _0; \eta )\), we have
Applying the above discussion, we can then put the study of Ksemistablity of a local singularity in the framework of the minimization of normalized volumes.
Let \({\mathfrak {t}}'\) be the Lie algebra of \(T'=T\times \mathbb {C}^*\), \(N'={\text{Hom}}(\mathbb {C}^*, T')\) and \(t'_{\mathbb {R}}=N'\otimes _{\mathbb {Z}}\mathbb {R}\). Denote by \({\mathfrak {t}}'^{+}_{\mathbb {R}}\) the positive cone of \({\mathfrak {t}}'_{\mathbb {R}}\) on the central fiber. Denote the ray in \({\mathfrak {t}}'_{\mathbb {R}}\) emanating from \(\xi _0\) in the direction of \(\eta\) by:
Lemma 2.29
If\((X,D,\xi _0)\) is Ksemistable, then for any special test configuration\(({\mathcal {X}}, {\mathcal {D}}, \xi _0; \eta )\),
for any\(\xi \in (\xi _0+\mathbb {R}_{\ge 0}(\eta ))\cap {\mathfrak {t}}'^{+}_{\mathbb {R}}\), where\({\mathfrak {t}}'_{\mathbb {R}}={\mathfrak {t}}_{\mathbb {R}}\oplus \mathbb {R}(\eta )\).
Proof
For any \(\xi _\lambda =\xi _0\lambda \eta \in {\mathfrak {t}}'^+_\mathbb {R}\), we have: \({\widehat{{\text{vol}}}}(\xi _\lambda )={\text{vol}}(\widehat{\xi _\lambda })\) (see (10)). Notice that
So \(\widehat{\xi _\lambda }\in \widehat{\xi _0}+\mathbb {R}_{\ge 0}(\widehat{T}_{\xi _0}(\eta ))\cap {\mathfrak {t}}'^+_\mathbb {R}\). Consider the function \(f(s)={\text{vol}}(\widehat{\xi _0}+s(\widehat{\xi _\lambda }\widehat{\xi _0}))\). Then \(f(0)={\widehat{{\text{vol}}}}(\xi )\) and
By the Ksemistability assumption we have \(f'(0)\ge 0\). By Proposition 2.21 (= Proposition 2.39), f(s) is a convex function. So we get \(f(1)={\widehat{{\text{vol}}}}(\xi _\lambda )\ge f(0)={\widehat{{\text{vol}}}}(\xi _0)\). \(\square\)
Normalized Volumes Over Log Fano Cone Singularities
In this section, we will study log Fano cone singularities \((X,D,\xi )\) (see Definition 2.23). In differential geometry, the stability theory in such settings has been investigated in the context of searching for a Sasakian–Einstein metric (see [16, 51], etc.). In particular, we will focus on the case that when the singularity is Ksemistable and show that in this case the natural toric valuation \({\text{wt}}_{\xi }\) is the only minimizer up to rescaling among all Tinvariant quasimonomial valuations. For invoking different tools, we divide the argument in Sect. 2.2.2.1 into three steps with increasing generality: we first consider toric singularities with toric valuations, then general Tsingularities with toric valuations and eventually Tsingularities with Tinvariant valuations.
Special Test Configurations from Kollár Components
In this section, we study the special test configuration of Tvarieties associated with Kollár components.
Let S be a Kollár component over \(o\in (X,D)\) and \(\pi : Y\rightarrow X\) be the plt blow up extracting S and let
In [47] we used the deformation to the normal cone construction to get a degeneration of X to an orbifold cone over S with codimension one orbifold locus \(\Delta _S\). We will simply call it an orbifold cone over \((S,\Delta _S)\). Here we recall the corresponding algebraic description.
Denote the associated graded ring of \(v_0={\text{ord}}_S\) by
From now on, we always assume the Kollár component S is Tinvariant so that T acts equivariantly on \(Y\rightarrow X\), and we have a decomposition:
T acts equivariantly on the extended Rees algebra:
Let \({\mathcal {X}}={\text{Spec}}({\mathcal {R}}')\). Then we get a flat family \(\pi : {\mathcal {X}}\rightarrow {\mathbb {A}}^1\) satisfying \(X_t={\mathcal {X}}\times _{{\mathbb {A}}^1} \{t\}=X\) and \(X_0={\mathcal {X}}\times _{{\mathbb {A}}^1}\{0\}={\text{Spec}}(A)\). Let \({\mathcal {D}}\) be the strict transform of \(D\times {\mathbb {A}}^1\) under the birational morphism \({\mathcal {X}}\dasharrow X\times {\mathbb {A}}^1\).
Definition 2.30
Assume that \(o\in (X,D)\) is a klt singularity with a good Taction and S is a Tequivariant Kollár component. Let \(\mathcal {X}\rightarrow \mathbb {A}^1\) be the associated degeneration which degenerates (X, D) to a \((X_0,D_0)\) and admits a \(T'=T\times \mathbb {C}^*\)action. For any \(f=\sum f_k\in {\mathcal {R}}'\), \({\text{ord}}_S(f)=\min \{k; \,f_k\ne 0\}\). Over \(X_0\), \({\text{ord}}_S\) corresponds to the \(\mathbb {C}^*\)action corresponding to the \(\mathbb {Z}\)grading. Denote the generating vector by \(\xi _S\in {\mathfrak {t}}'^+_\mathbb {R}\).
With the above notations, we say that \(({\mathcal {X}}, {\mathcal {D}}, \xi _0; \,\xi _S)\) is the special test configuration associated with the Kollár component S. If \(\xi _0\) and \(\xi _S\) are clear, we just use \(({\mathcal {X}}, {\mathcal {D}})\) to denote the special test configuration.
Lemma 2.31
Let\(({\mathcal {X}}, {\mathcal {D}}, \xi _0; \xi _S)\)denote the special test configuration associated with a Tinvariant Kollár componentS. Let\((X_0,D_0)\)be the corresponding pair on the special fiber. For any\(\xi _0\in {\mathfrak {t}}_{\mathbb {R}}^+\), let\(\xi _0\) also denote the induced Reeb vector on\(X_0\) (see Definition 2.13). Then we have the following equalities:

1.
\(A_{(X,D)}({\text{ord}}_S)=A_{(X_0, D_0)}({\text{wt}}_{\xi _S})\) and\({\text{vol}}_{(X,D)}({\text{ord}}_S)={\text{vol}}_{(X_0,D_0)}({\text{wt}}_{\xi _S})\);

2.
\(A_{(X,D)}({\text{wt}}_{\xi _0})=A_{(X_0,D_0)}({\text{wt}}_{\xi _0})\) and\({\text{vol}}_{(X,D)}({\text{wt}}_{\xi _0})={\text{vol}}_{(X_0,D_0)}({\text{wt}}_{\xi _0})\) .
Proof
The first statement is clear (see [47]). For the second statement, we first show the equality for log discrepancies. By Lemma 2.18, we just need to show the weights of holomorphic pluricanonical forms with respect to \(\xi _0\), on X and \(X_0\), respectively, are equal. Assume that s is a nonvanishing Tequivariant section of \(\mathcal {O}(m (K_X+D))\). Let \(\mu : Y\rightarrow X\) be the extraction of S. Then because of the identity
with \(A=A_{(X,D)}(S)\), if we denote by f a Tinvariant local section of \(\mathcal {O}_Y(mS)\), locally around S we have the identity:
where \(s'\) is a local generator of \(m (K_Y+\mu _*^{1}D)\). By taking the Poincaré residue, \(\mathcal {O}_S(m(K_S+\Delta _S))\) is generated by \(\left. (s'/\mathrm{d}f)\right _S=:\mathrm{d}z\). For any \(u\in T\cong (\mathbb {C}^*)^r\), we have \(u\circ s=u^\beta s\) and \(u\circ f=u^{\gamma } f\), for some \(\beta , \gamma \in \mathbb {Z}^r\), by the equivariance of the the data. Then
So \(u\circ s'=u^{\beta (A1)\gamma } s'\). As a consequence:
A nonvanishing holomorphic section of \(m(K_{X_0}+D_0)\) on \(X_0=C(S,\Delta )\) is given by \(\mathrm{d}z \otimes (\mathrm{d}f^{A})\) (see [40, 6.2.2] and Theorem 2.15.3). Therefore,
We also note that
Now the equality of the volumes follows from the identity:
\(\square\)
For a later purpose, we need a little more:
Proposition 2.32
LetS be a Tinvariant Kollár component and\(({\mathcal {X}}, {\mathcal {D}})\)be the special test configuration associated with S. Then there is a Tequivariant nowherevanishing holomorphic section\(\mathscr {S}\) of\(m(K_{{\mathcal {X}}/{\mathbb {A}}^1}+{\mathcal {D}})\)for m sufficiently divisible.
Proof
We will use the same notations as used in the above proof. Let \(\tilde{\mu }=\mu \times {\text{id}}: Y\times {\mathbb {A}}^1\rightarrow X\times {\mathbb {A}}^1\) be the extraction of \(S\times {\mathbb {A}}^1\). To construct the special test configuration, we first consider the deformation to the normal cone by blowing up \(S\times \{0\}\). Then \(\tilde{\mu }^*(t^{mA} s\wedge \mathrm{d}t)\) is a meromorphic section of \(\tilde{\mu }^* m(K_{X\times {\mathbb {A}}^1}+ (D\times {\mathbb {A}}^1))\) on \(Y\times {\mathbb {A}}^1\) satisfying:
In local coordinates, \(s'=\mathrm{d}f\wedge \mathrm{d}z\). After blowing up \(S\times \{0\}\), \(t^{m}f\) becomes a coordinate, denoted by w, along the fiber of the normal bundle of \(S\subset Y\). So we have:
Notice that \(\mathrm{d}(w^A)\wedge \mathrm{d}z\) is a nonvanishing holomorphic section of \(m(K_{X_0}+D_0)\) over \(X_0=C(S,\Delta )\); thus \(\tilde{\mu }^*(t^{mA}s\wedge \mathrm{d}t)\otimes \partial _t\) descends to a Tequivariant holomorphic section \(\mathscr {S}\) of \(m(K_{{\mathcal {X}}/{\mathbb {A}}^1}+{\mathcal {D}})\). \(\square\)
Remark 2.33
Notice that we have
The minus sign is compatible with the fact that on the central fiber \(t\partial _t=\xi _S\). Moreover, if we restrict both sides of (13), then we see that \(A_{(X_0,D_0)}(S)=A_{(X,D)}(S)\) as mentioned.
We can now generalize the minimization result in [40, 42, 47] to the higher rank case.
Theorem 2.34
\((X, D, \xi _0)\)is Ksemistable if and only if\({\text{wt}}_{\xi _0}\)is a minimizer of\({\widehat{{\text{vol}}}}_{(X,D)}\)in\({\text{Val}}_{X,x}\).
Proof
First we assume \((X, D, \xi _0)\) is Ksemistable. By Theorem 2.22, we only need to show that for any Tinvariant Kollár component S,
Let \(({\mathcal {X}}, {\mathcal {D}})\) be the special test configuration associated with S. Since S is Tinvariant, there is a Taction on \({\mathcal {X}}\). Let \(T'=T\times \mathbb {C}^*=(\mathbb {C}^*)^{d+1}\). Then there is a \(T'\)action on \({\mathcal {X}}\) which is effective if C(S) is not isomorphic to X. The canonical valuation \({\text{ord}}_S\) corresponds to \({\text{wt}}_{\xi _S}\) for some \(\xi _S\in {\mathfrak {t}}'^{+}_\mathbb {R}\) which is taken to be \(\eta\) in the definition of the special test configuration. As a consequence the ray \(\xi _0+\mathbb {R}_{\ge 0} (\eta )\) is equal to
For any \(b\in \mathbb {R}_{\ge 0}\), denote \(\xi _b=\xi _0+b \xi _S\), then we have
On the other hand, because \(\xi _b/(1+b)\rightarrow \xi _S\) as \(b\rightarrow +\infty\), by the rescaling invariance of \({\widehat{{\text{vol}}}}\) and the continuity of \({\widehat{{\text{vol}}}}\) on \({\mathfrak {t}}'^{+}_{\mathbb {R}}\), we have
Combining the above inequalities, we get \({\widehat{{\text{vol}}}}_{(X,D)}({\text{ord}}_{\xi _S})\ge {\widehat{{\text{vol}}}}_{(X,D)}({\text{wt}}_{\xi _0})\).
For the converse direction, we assume \({\widehat{{\text{vol}}}}_{(X,D)}\) obtains its minimum at \({\text{wt}}_{\xi _0}\) and let \(({\mathcal {X}}, {\mathcal {D}}, \xi _0; \eta )\) be any special test configuration.
If we let \(\xi _\epsilon =\xi _0  \epsilon \eta \in {\mathfrak {t}}'^+_\mathbb {R}\), then \({\text{wt}}_{\xi _\epsilon }\) can be considered as a valuation on \({\mathcal {X}}\). Using the embedding \(\mathbb {C}(X)\rightarrow \mathbb {C}({\mathcal {X}})=\mathbb {C}(X\times \mathbb {C}^*)=\mathbb {C}(X\times \mathbb {C})\), \({\text{wt}}_{\xi _\epsilon }\) can be restricted to become a valuation \(w_\epsilon\) on X (see [11, 40] for the regular case). Alternatively, by equivariantly embedding of \({\mathcal {X}}\) into \(\mathbb {C}^N\times \mathbb {C}\), \({\text{wt}}_{\xi _\epsilon }\) is induced by a linear holomorphic vector field, still denoted by \(\xi _\epsilon\), on \(\mathbb {C}^N\). The weight function associated with \(\xi _\epsilon\) induces a filtration on R whose associated graded ring is equal to the coordinate ring of \(X_0\). By Lemma 2.11, this filtration is indeed determined by a valuation \(w_\epsilon\) on X. As a consequence we have \({\text{vol}}_{(X,D)}(w_\epsilon )={\text{vol}}_{(X_0, D_0)}({\text{wt}}_{\xi _\epsilon })\) because \(w_\epsilon\) and \({\text{wt}}_{\xi _\epsilon }\) have the same associated graded ring. On the other hand, we claim that for each fixed \(\epsilon\),
This follows from the general construction in the proof of Lemma 2.10 (see Lemma 2.58). If \(\epsilon \ll 1\) we can choose a sequence of rational vector fields \(\xi _{k,\epsilon }\in {\mathfrak {t}}^+_{{\mathbb {Q}}}\) approaching \(\xi _\epsilon\) as \(k\rightarrow +\infty\). Then the \(\mathbb {C}^*\)action generated by \(\xi _{k,\epsilon }\) corresponds to a Kollár component \(S_{k,\epsilon }\) which is isomorphic to the quotient \(X_0/\langle \exp (\mathbb {C}\cdot \xi _{k,\epsilon })\rangle\). In other words, up to a base change, \(({\mathcal {X}}, {\mathcal {D}}, \xi _0; \xi _{k,\epsilon })\) is equivalent to the special test configuration associated with \(S_{k,\epsilon }\) and there exists constants \(c_{k,\epsilon }>0\) such that \({\text{wt}}_{\xi _{k,\epsilon }}_{\mathbb {C}(X)}=c_{k,\epsilon } \cdot {\text{ord}}_{S_{k,\epsilon }}\rightarrow w_\epsilon\) as \(k\rightarrow +\infty\). So by Lemma 2.31.1, we have \(A_{(X,D)}(c_{k,\epsilon }\cdot {\text{ord}}_{S_{k,\epsilon }})=A_{(X_0,D_0)}({\text{wt}}_{\xi _{S_{k,\epsilon }}})\) (see also [40, Proposition 6.16.2]). Taking \(k\rightarrow +\infty\), we get the identity (14).
Thus we get \({\widehat{{\text{vol}}}}_{(X,D)}(w_\epsilon )={\widehat{{\text{vol}}}}_{(X_0,D_0)}({\text{wt}}_{\xi _\epsilon })\). As a consequence,
The last inequality is because \(w_{0}={\text{wt}}_{\xi _0}\) on \(\mathbb {C}(X)\) and hence by assumption \({\widehat{{\text{vol}}}}_{(X,D)}(w_\epsilon )\) obtains the minimum at \(\epsilon =0\). \(\square\)
By the construction in the above proof and Theorem 2.22, we also get the following:
Proposition 2.35
To test Ksemistability of a log Fano cone singularity\((X,D,\xi _0)\), we only need to test on the special test configurations associated with Kollár components, i.e., we only need to check for any Tequivariant Kollár component S, the generalized Futaki invariant\({\text{Fut}}(X_0,D_0,\xi _0;\,\eta )\ge 0\), where\((X_0,D_0)\)is the induced special degeneration by S and\(\eta =\xi _S\).
The following purely algebrogeometric statement can be seen as a generalization of a result in [39], which was proved there by an analytic method.
Proposition 2.36
Let\((X,D,\xi _0)\) be a log Fano cone singularity, which specially degenerates to\((X_0,D_0,\xi _0; \eta )\)via a Tequivariant special test configuration. Then\((X,D,\xi _0)\) is Ksemistable if\((X_0,D_0,\xi _0)\) is Ksemistable.
Proof
We use a degeneration argument which is similar to the one used in [8, 47].
Let \(\mathfrak {a}\) be an mprimary ideal on (X, x). Let \(T'\cong (\mathbb {C}^*)^{r+1}\) denote the torus generated by \(\xi _0\) and \(\eta\); then by choosing a lexicographic order on \(\mathbb {Z}^{r+1}\), we can degenerate \(\mathfrak {a}^m\) to \({\mathfrak {b}}_m:=\mathbf {in}(\mathfrak {a}^m)\) on \((X_0, o')\) which is \(T'\)equivariant. Denote \(X_0={\text{Spec}}(R^{(0)})\). By the lower semicontinuity of log canonical thresholds and the flatness of the degeneration, we get
Taking \(m\rightarrow +\infty\), we get
So we know that \((X,D,\xi _0)\) is Ksemistable by Theorem 2.34. \(\square\)
Convexity and Uniqueness
The results in this section do not depend on other sections. Here we aim to show the volume function on the Reeb cone is strictly convex and hence conclude the uniqueness of the minimizer when the log Fano cone singularity is Ksemistable. Our main approach is to describe the volume of a valuation as the volume of a convex body and then reduce the question to a known result in convex geometry. This is standard in our first step where we treat toric singularities. Then we generalize it to an arbitrary log Fano cone singularity with only toric valuations, by considering valuations with real rank larger than one. In the last step, we study a Ksemistable log Fano cone singularity and compare its volume with those of Tinvariant quasimonomial valuations.
Toric Valuations on Toric Varieties
In this section we will consider the case of toric singularities, where the minimization problem can be reduced to a convex geometric problem as known from [51]. For the latter application, we will consider a more general setting of strictly convex cones. This problem was considered by Gigena [27] in a different context.
Let \(\sigma \subset N\otimes _{\mathbb {Z}}{\mathbb {R}}\) be a strictly convex cone. For \(u_0\in {\text{relint}}(\sigma ^{\vee })\), denote \(H_{0}=\{\xi \in N_{\mathbb {R}}; \langle u_0, \xi \rangle =1\}\). Then \(\hat{H}_0:=H_0\cap \sigma\) is a bounded convex set on the affine space \(H_0\). For any \(\xi \in {\text{relint}}(\sigma )\), we denote the bounded polyhedron
To state the next key result, we denote by \({\text{vol}}_{\hat{H}_0}\) the restriction of the function \(\xi \mapsto {\text{vol}}(\Delta _\xi )\) to \(\xi \in \hat{H}_0\) and let
Lemma 2.37
[27]

1.
The function\(\xi \mapsto {\text{vol}}(\Delta _\xi )\) is a strictly convex function for\(\xi \in {\text{relint}}(\sigma )\), where\({\text{relint}}(\sigma )=\sigma ^{\circ }\) denotes the relative interior of the cone\(\sigma\).

2.
\({\text{vol}}_{\hat{H}_0}\) is a strictly convex proper function for\(\xi \in \hat{H}_0=H_{0}\cap \sigma\). As a consequence, there is a unique minimizer\(\xi _0\) of\({\text{vol}}_{\hat{H}_0}\). Moreover, \(\xi _0\in \hat{H}_0=H_0\cap \sigma\) is a minimizer of\({\text{vol}}(\Delta _\xi )_{\hat{H}_0}\) if and only if\(u_0\) is the barycenter of\(\Pi _{\xi _0}\).
For the reader’s convenience, we provide a proof of this result by deriving the volume formula and reducing the minimization to a calculus problem as in [27].
Proof
We first derive a formula for \({\text{vol}}(\xi )={\text{vol}}(\Delta _\xi )\) for any \(\xi \in {\text{relint}}(\sigma )\). To do this, fix a cross section \(\tilde{u}: \tilde{\Pi } \rightarrow \sigma ^{\vee }\). For example, we can choose \(\tilde{\xi }\in {\text{relint}}(\sigma )\) and let \(\tilde{\Pi }=\sigma ^{\vee }\cap \{u\in y; \langle u, \tilde{\xi }\rangle =1\}\). Consider the parametrization:
Denote \(u(y)=\tilde{u}(y)/\langle \tilde{u}(y), \xi \rangle\). The Jacobian determinant of F is equal to
So we get
For simplicity, denote \(\Phi (\xi )={\text{vol}}(\Delta _\xi )\). Then its firstorder derivative is equal to
where \({\text{bc}}(\Pi _\xi )\) is the Euclidean barycenter of the bounded cross section \(\Pi _{\xi }\). In the last identity, we used the expression for the volume element \(\mathrm{d}{\text{vol}}_{\Pi }\) of \(\Pi _{\xi }:=F(1, \Pi )\), which is equal to \(s\cdot \mathrm{d}y\) with s being equal to
Similarly, we get the expression for the secondorder derivative of \({\text{vol}}(\Delta _\xi )\):
We see that \(\Phi (\xi )\) is strictly convex with respect to \(\xi \in {\text{relint}}(\sigma )\):
This proves the item 1 of Lemma 2.37.
Since \(H_0\) is affine, \({\widehat{{\text{vol}}}}_{\hat{H}_0}\) is also strict convex function for \(\xi \in \hat{H}_0\cap H_0\cap \sigma\). As \(\xi \rightarrow \partial \hat{H}_0\), \(\Delta _{\xi }\) becomes unbounded, so \({\text{vol}}(\Delta _\xi )\) approaches \(+\infty\). So we see that \({\text{vol}}(\xi )_{\hat{H}_0}\) is a strictly proper function. As a consequence, there exists a unique minimizer of \({\text{vol}}_{\hat{H}_0}\).
If \({\text{vol}}(\Delta _\xi )\) obtains the minimum at \(\xi _0\in H_0\), then by Lagrangian multiplier method there exists \(\lambda _0\in \mathbb {R}\) such that \((\xi _0, \lambda _0)\) is a critical point of the function:
In other words, \((\xi _0, \lambda _0)\) satisfy
Combining this with (17), we see that
This completes the proof of Lemma 2.37. \(\square\)
Remark 2.38
We notice that there is a similarity of the volume formula in (16) with the formula for the volumes of \(\mathbb {C}^*\)invariant valuations derived in [40]. We will see in Proposition 2.45 that this is not a coincidence. The properness of \({\widehat{{\text{vol}}}}({\text{wt}}_\xi )\) with respect to \(\xi\) also follows from the properness estimate in [38].
Now we can easily deal with the case of toric singularities. Let \(\sigma \subset N\otimes _{\mathbb {Z}}\mathbb {R}\) be a strictly convex rational polyhedral cone and \(X=X(\sigma )\) is the associated toric variety. The dual cone is \(\sigma ^{\vee }=\{u\in M_{\mathbb {R}}; \langle u, \xi \rangle \ge 0 \text { for any } \xi \in \sigma \}\). There is a onetoone correspondence between toric valuations in \({\text{Val}}_{X,x}\) and the vectors in the relative interior \({\text{relint}}(\sigma )\) of \(\sigma\). Indeed, if we can write \(X={\text{Spec}} (R)\) where
then the valuation associated with \(\xi \in {\text{relint}}(\sigma )\) is given by
Then it is easy to verify that
By our assumption \(K_X+D=K_X+\sum a_iD_i\) is \(\mathbb {Q}\)Cartier. Let \(\{v_i\}_{i\in I}\) be primitive integral vectors along the edges of \(\sigma\) which corresponds to the divisor \(D_i\). Then there exists \(u_0\in {\text{relint}}(\sigma ^{\vee })\cap M_{\mathbb {Q}}\) such that \(\langle u_0, v_i\rangle =1a_i\) for any \(i\in I\). The log discrepancy of any toric valuation has a simple expression:
So the normalized volume of \(v_\xi\) is given by
Then the existence and uniqueness of the minimizer of \({\widehat{{\text{vol}}}}\) among toric valuations \(v_{\xi }\) immediately follows from Lemma 2.37.
Toric Valuations on TVarieties
In this section, we treat a general Fano cone singularity with varying toric valuations. By using the Newton–Okounkov body technique, we will show that the volume function on the space of toric valuations associated with elements from the Reeb cone can be interpreted as a volume function of convex bodies as considered in the previous section. By applying Lemma 2.37, we get the strict convexity (see Proposition 2.39). As mentioned before, this is a generalization, from the case of isolated singularities to general klt singularities with good torus actions, of the important convexity property originally discovered in [51]. Unlike their use of analytic tools, our proof is algebraic. Notice that Proposition 2.39 was used in the proof of Theorem 2.34.
Let X be an ndimensional normal affine variety with an effective algebraic action by \(T=(\mathbb {C}^*)^r\). Then by [1], there exists a normal semiprojective variety Y of dimension \(d:=nr\) and a proper polyhedral divisor \({\mathfrak {D}}\) such that \(X={\text{Spec}} (R)\), where
Fix any \(u_0\in {\text{relint}}(\sigma ^{\vee })\), we shall use the same notation as before. For example, \(H_{0}=\{\xi \in N_{\mathbb {R}}; \langle u_0, \xi \rangle =1\}\) and \(\hat{H}_0=H_0\cap \sigma\). Denote by \({\text{vol}}_{\hat{H}_0}\) the restriction of \({\text{vol}}\) to \(\hat{H}_0\). The goal of this section is to prove the following result:
Proposition 2.39
The function\({\text{vol}}:\xi \mapsto {\text{vol}}({\text{wt}}_{\xi })\) is a strictly convex function of\(\xi \in {\text{relint}}(\sigma )\). The function\({\text{vol}}_{\hat{H}_0}\) is a strictly convex and proper function of\(\xi \in \hat{H}_0=H_0\cap \sigma\). As a consequence, there exists a unique minimizer of\({\text{vol}}_{\hat{H}_0}\).
To prove Proposition 2.39, we apply the ideas from the theory of Newton–Okounkov body to realize the volumes of \({\text{wt}}_{\xi }\) as volumes of convex bodies, and then apply Lemma 2.37.
Proof
We start by choosing a lexicographic order on \(\mathbb {Z}^r\) such that there is a \(\mathbb {Z}^r\) valued valuation:
We extend this valuation to a \(\mathbb {Z}^n\)valued valuation in the following way: fix a smooth point \(p\in Y\) and algebraic coordinates \(\{z_1, \dots , z_{nr}\}\) at p. Choose \(nr\)\(\mathbb {Q}\)linearly independent positive real numbers: \(\mathbf{\alpha }=\{\alpha _1, \dots , \alpha _{nr}\}\). Denote by \(w_\alpha\) the quasimonomial valuation on \(\mathbb {C}(Y)\) associated with these data. In other words, for any \(f\in \mathbb {C}(Y)\), we have
Then the valuative group G of \(w_\alpha\) is a subgroup of \(\mathbb {R}\) and G is isomorphic to \(\mathbb {Z}^{nr}\). We now define the following lexicographic order on \(\mathbb {Z}^r\times G \cong \mathbb {Z}^{r}\times \mathbb {Z}^{nr}=\mathbb {Z}^n\):
Any \(f\in \mathbb {C}(X)\) can be decomposed into nonzero weight components \(f=\sum _{u\in \sigma ^{\vee }\cap M} f_u\cdot \chi ^u\) with \(f_u\in \mathbb {C}^*(Y)\). We let \(u_f={\mathbb {V}}_1(f)\in \sigma ^{\vee }\) and denote by \(f_{u_f}\) the corresponding nonzero component. Then we can define a \(\mathbb {Z}^n\)valued valuation on \(\mathbb {C}(X)\) (see Remark 2.44):
The valuation group of \({\mathbb {V}}\) is isomorphic to \(\mathbb {Z}^n=\mathbb {Z}^r\times \mathbb {Z}^{nr}\) and the valuation semigroup \({\mathcal {S}}\) of \({\mathbb {V}}\) generates a convex cone \(\hat{\sigma }\) in \(\mathbb {Z}^n\). Let \(P: \mathbb {Z}^n\rightarrow \mathbb {Z}^r\) denote the projection from \(\mathbb {Z}^n\) to \(\mathbb {Z}^r\). Then \(P(\hat{\sigma })=\sigma\). For any \(\xi \in \sigma \subset N_{\mathbb {R}}\cong \mathbb {R}^r\), we can extend it by zeros to become \(\hat{\xi }=(\xi , 0)\in \mathbb {R}^n\). Then we have \(\langle y, \hat{\xi }\rangle =\langle P(y), \xi \rangle\). For any \(\xi \in {\text{relint}}(\sigma )\), denote
We want to relate the volume of valuation to the volume of \(\Delta _\xi\). Following [37], we need to show that \({\mathbb {V}}\) satisfies the following properties (which is equivalent to \({\mathbb {V}}\) being a good valuation in the sense of [34, Definition 7.3]):
Lemma 2.40
Let\({\mathcal {S}}\) denote the semigroup of the valuation\({\mathbb {V}}\). Then\({\mathcal {S}}\) satisfies the following three properties:

(P1)
\({\mathcal {S}}\cap \{y\  \ \langle P(y), \xi \rangle =0\}=\{0\}\);

(P2)
Denote by\(e_i\)the ith standard vector of\(\mathbb {Z}^r\). There exist finitely many vectors \(\left( e_i, v^{(i)}_k\right)\) spanning a semigroup\(B\subset \mathbb {Z}^n\) such that\({\mathcal {S}}\subset B\);

(P3)
\({\mathcal {S}}\) generates\(\mathbb {Z}^n\) as a group.
Proof
The last condition follows from the fact the valuative semigroup \({\mathcal {S}}\) of \({\mathbb {V}}\) generates the valuative group which is isomorphic to \(\mathbb {Z}^n\). To verify the first two conditions, we just need to show that there exists a constant \(C>0\) such that for any u and \(f\in H^0(Y, {\mathfrak {D}}(u))\), we have
The following argument to prove this estimate is motivated by the argument in [37]:
For b sufficiently divisible, \({\mathfrak {D}}(m u)\) is Cartier. Denote by \(L_{mu}\) the line bundle associated with \({\mathfrak {D}}(mu)\) and \(L_u\) the \(\mathbb {Q}\)line bundle associated with \({\mathfrak {D}}(u)\). Fix a global section \(g_{mu}\in H^0(Y, {\mathfrak {D}}(m u))\) such that \(g_{mu}^{1}\) is a local equation for \({\mathfrak {D}}(mu)\) near \(p\in Y\). Then for any \(f\in H^0(Y, {\mathfrak {D}}(u))\) we have the identity:
For simplicity of notation, we write \(g_u:=g_{mu}^{1/m}\) as a multisection of the \({\mathbb {Q}}\)line bundle \(L_u\). Then (20) can be written as
We will bound both terms on the righthand side of (21). By Izumi’s theorem, \(w_\alpha\) is comparable to \({\text{ord}}_{p}\). In other words there exists a constant \(C>0\) such that:
So to show the inequality (19), we can replace \(w_\alpha\) by \({\text{ord}}_{p}\).
Let \(k={\text{ord}}_{p}(f g_u^{1})=\frac{1}{m}{\text{ord}}_{p} (f^m g^{1}_{mu})\). Then
Let \(\mu : \tilde{Y}\rightarrow Y\) be the blow up of Y at p. Fix a very ample divisor H on Y. Then \(\tilde{H}:=\mu ^*H\epsilon E\) is ample for \(\epsilon\) sufficiently small. So we get \((\pi ^*L_uk E)\cdot \tilde{H}^{d1}\ge 0\) and hence the estimate:
So we are left with showing that
Now by [1, Proposition 2.11], the polyhedral divisor \({\mathfrak {D}}: u\rightarrow {\mathfrak {D}}(u)\) is a convex, piecewise linear, strictly semiample maps from \(\sigma ^{\vee }\) to \({\text{CaDiv}}_{{\mathbb {Q}}}(Y)\) . More precisely, we have (see, [1, Definition 2.9] for relevant definitions)

1.
\({\mathfrak {D}}(u)+{\mathfrak {D}}(u')\le {\mathfrak {D}}(u+u')\) holds for any two elements \(u, u'\in \sigma ^{\vee }\),

2.
\(u\rightarrow {\mathfrak {D}}(u)\) is piecewisely linear, i.e., there is a quasifan \(\Lambda\) in \(M_{{\mathbb {Q}}}\) having \(\sigma ^{\vee }\) as its support such that \({\mathfrak {D}}\) is linear on the cones of \(\Lambda\),

3.
\({\mathfrak {D}}(u)\) is always semiample, and \({\mathfrak {D}}(u)\) is big for \(u\in {\text{relint}}(\sigma ^{\vee })\).
In the second item above, \(\Lambda\) being quasifan means that it is a finite collection of cones in \(M_{{\mathbb {Q}}}\) satisfying natural compatible properties. Any \(u\in \sigma ^{\vee }\) is contained in some cone \(\lambda\) of \(\Lambda\). Choose a finite set of generators \(\{u_i\}_{i\in I}\subset M_{\mathbb {Q}}\) of \(\lambda\); then \(u=\sum _{i\in I} a_i u_i\) with \(a_i\ge 0\in {\mathbb {Q}}\) and \({\mathfrak {D}}(u)=\sum _{i\in I} a_i {\mathfrak {D}}(u_i)\) as \(\mathbb {Q}\)Cartier divisors.
Because \(\xi \in {\text{relint}}(\sigma )\), \(\langle u_i, \xi \rangle >0\) for any \(i\in I\). So it is easy to see that there exists \(C_\lambda >0\) depending only on \(\lambda\) such that:
Because there are finitely many cones in \(\Lambda\), we get estimate (24).
By using piecewise linearity, we can use the same argument to show that there exists \(C>0\) independent of \(u\in \sigma ^{\vee }\), satisfying:
Combining (21)–(25) and the above discussions, we get the wanted estimate (19). \(\square\)
Lemma 2.41
With the above notation, for any\(\xi \in {\text{relint}}(\sigma )\), we have:
Proof
With the good properties of \({\mathbb {V}}\) obtained via Lemma 2.40, we can prove this result by using the general theory developed in [33, 34, 37, 54]. We use the argument similar to the one used in [17, 33, 34]. Denote \(\mathfrak {a}_\lambda =\{f\in R; {\text{wt}}_\xi (f)\ge \lambda \}\). By the estimate (19), we know that the cone \(\hat{\sigma }\subset \mathbb {Z}^n\) does not contain a line. Moreover, we can choose a linear function \(\ell : \mathbb {R}^n\rightarrow \mathbb {R}\) such that \(\hat{\sigma }\) lies in \(\ell _{\ge 0}\) and intersects the hyperplane \(\ell ^{1}(0)\) only at the origin. In fact, we can choose \(\ell\) to be the linear function associated with \(\xi \in {\text{relint}}(\sigma )\). Then we have the following identity:
Define the semigroups of \(\mathbb {Z}^{n+1}\):
Because \({\mathcal {S}}={\mathbb {V}}(R)\) generates \(\mathbb {Z}^n\), we can choose \(C\gg 1\) such that \(\tilde{\Gamma }'_1\) generates \(\mathbb {Z}^n\). Then \(\tilde{\Gamma }'\) also generates \(\mathbb {Z}^{n+1}\). By the general theory of Newton–Okounkov bodies from [33, 37, 54], we have
where
are the Newton–Okounkov bodies of \(\tilde{\Gamma }\) and \(\tilde{\Gamma }'\), respectively. By (27) we have:
Combining this with (28), we get
If \(\xi =\sum _{j=1}^r a_j e_j\), we have \(\ell (\theta )=\ell _{\xi }(\theta )=\sum _j a_j \theta _j\) and:
So we get
By combining the above identities (29)–(31), we get the identity (26). \(\square\)
We can complete the proof of Proposition 2.39 by using the similar argument as in the toric case. Indeed, Lemma 2.37.1 and Lemma 2.41 together imply that \({\text{vol}}({\text{wt}}_\xi )\) is a proper strictly convex function of \(\xi \in \hat{H}_0=H_0\cap \sigma\). So there exists a unique minimizer of \({\text{vol}}({\text{wt}}_\xi )\) among \(\xi \in \hat{H}_0=H_0\cap \sigma\). Similarly to the item 2 of Lemma 2.37, \(\xi _0\) is a minimizer of \({\text{vol}}({\text{wt}}_\xi )\) if and only if \(\xi _0\) is the barycenter of the measured convex domain \((\Pi _{\xi _0}, (P_{\Pi _{\xi _0}})_*(\mathrm{d}{\text{vol}}_{\Pi _{\xi _0}}))\) where \(\Pi _{\xi _0}:=\{y\in \hat{\sigma }; \langle P(y),\xi _0\rangle =1\}\) and \(\mathrm{d}{\text{vol}}_{\Pi _{\xi _0}}\) is the standard Euclidean volume form on \(\Pi _{\xi _0}\). \(\square\)
Now assume that (X, D) is a klt singularity. In particular, \(K_X+D\) is \(\mathbb {Q}\)Gorenstein. Then by Theorem 2.15.3, there is a \(u_0\in M\) and a principal divisor \({\text{div}}(f)=\sum _Z a_Z \cdot Z\) on Y such that \({\text{div}}(f\cdot \chi ^{u_0})=K_X+D\) and the log discrepancy of the toric valuation \({\text{wt}}_\xi\) is calculated as
So the normalized volume is given by
In particular, we have \({\widehat{{\text{vol}}}}({\text{wt}}_\xi )={\text{vol}}(\xi )\) for \(\xi \in \hat{H}_0=H_0\cap \sigma\). As a corollary of Proposition 2.39, we immediately get Proposition 2.21.
TInvariant QuasiMonomial Valuations on TVarieties
As in the previous section, we assume that there is an effective good \(T=(\mathbb {C}^*)^{r}\) action on an affine normal variety \(X={\text{Spec}}(R)\). In this section, we aim to show the following theorem:
Theorem 2.42
Let\((X,D,\xi )\)be a Fano cone singularity. If\({\text{wt}}_\xi\)is the minimizer of\({\widehat{{\text{vol}}}}_{(X,D)}\), then it is unique among all Tinvariant quasimonomial valuations.
Remark 2.43

(i)
By Theorem 2.34, the assumption is indeed equivalent to \((X,D,\xi )\) being Ksemistable.

(ii)
Let v be another Tinvariant minimizer. If we could show the associated graded ring \({\text{gr}}_v(R)\) is finitely generated, then similar to the argument in Theorem 2.34, we can degenerate X to \(X_0\) via v and both \(\xi\) and \(\xi _v\) would be the minimizers of \({\widehat{{\text{vol}}}}_{X_0,D_0}\), which is contradictory to Proposition 2.39. Using this method, we can give another proof of uniqueness of divisorial minimizers proved in [47] with a different argument. However, for general quasimonomial minimizers, since we do not know yet the finite generation of the associated graded ring, we have to adapt a different argument. We also note that later in Proposition 2.69 we will show any quasimonomial minimizer is automatically Tinvariant.
The idea of the proof is to first connect any Tinvariant quasimonomial valuation v with \(v_\xi\) by a family of Tinvariant quasimonomial valuations \(v_t\). This depends on the description of Tinvariant valuations in [2]. Next we extend v to a valuation \({\mathbb {V}}\) of rational rank n and prove that it satisfies properties as in Lemma 2.40. Then we can use the works of Newton–Okounkov bodies to realize the volumes of valuations as volumes of convex bodies as has been done in the previous subsection. Finally, we use the previous convex geometric result to get the strict convexity of the volumes \({\text{vol}}(v_t)\) with respect to t which implies the uniqueness of the minimizer.
Proof
By [1], there exists a normal semiprojective Y of dimension \(d:=nr\) and a proper polyhedral divisor \({\mathfrak {D}}: \sigma ^{\vee }\rightarrow {\text{CarDiv}}(Y)\) such that
By Theorem 2.15.1, any (quasimonomial) Tinvariant valuation is of the form \(v=(v^{(0)}, \zeta )\) defined via the following identity:
If v is quasimonomial, then \(v^{(0)}\) is a quasimonomial valuation on \(\mathbb {C}(Y)\). Let s be the rational rank of \(v^{(0)}\). There exists a birational morphism \(\psi : Y'\rightarrow Y\), a regular closed point \(p\in Y'\), algebraic coordinates \(\{z';\, z''\}=\{z_1, \dots , z_{s};\, z_{s+1}, \dots , z_{d}\}\) and s rationally independent positive real numbers \(\beta =(\beta _1, \dots , \beta _{s})\) such that \(v^{(0)}\) is the quasimonomial valuation associated with these data. More precisely, if the Laurent series of an \(f\in \mathbb {C}(Y')\) has the form
we will say that \(z_1^{m_1}\dots z_{s}^{m_{s}}\) appears in the Laurent expansion of f if \(\chi _m(z'')\ne 0\). Then we have
In the representation (32), we can replace Y by \(Y'\) and \({\mathfrak {D}}(u)\) by \(\psi ^*{\mathfrak {D}}(u)\). So for the simplicity of notations, in the following discussion, we will still denote \(Y'\) by Y. Moreover, if we let \(D_i=\{z_i=0\}\) for \(i=1, \dots , d=nr\), then by resolving the singularities of \((Y, \sum _i D_i)\), we can also assume \(\sum _{i=1}^{nr} D_i\) has simple normal crossings by possibly replacing Y by a new birational model.
As before, we fix a lexicographic order on \(\mathbb {Z}^{r}\) and define for any \(f\in R\),
Again we will first extend this \(\mathbb {Z}^{r}\)valuation \({\mathbb {V}}_1\) to become a \(\mathbb {Z}^n\)valued valuation. Denote \(u_f={\mathbb {V}}_1(f)\in \sigma ^{\vee }\) and \(f_{u_f}\) the corresponding nonzero component. Define \({\mathbb {V}}_2(f)=v^{(0)}(f_{u_f})\). Because \(\{\beta _i\}\) are \(\mathbb {Q}\)linearly independent, we can write \({\mathbb {V}}_2(f)=\sum _{i=1}^{s} m^{*}_i \beta _i\) for a uniquely determined \(m^*:=m^*(f_{u_f})=\{m^*_i:=m^*_i(f_{u_f})\}\). Moreover, the Laurent expansion of f has the following form:
Then \(\chi _{m^*}(z'')\) in the expansion of (34) is contained in \(\mathbb {C}(Z)\), where \(Z=\{z_1=0\}\cap\cdots\cap \{z_s=0\}=D_1\cap \dots \cap D_{s}\).
Extend the set \(\{\beta _1, \dots , \beta _{s}\}\) to \(d=nr\)\({\mathbb {Q}}\)linearly independent positive real numbers \(\{\beta _1, \dots , \beta _{s}; \gamma _1, \dots , \gamma _{ds}\}\). Define \({\mathbb {V}}_3(f)=w_{\gamma }(\chi _{m^*}(z''))\) where \(w_{\gamma }\) is the quasimonomial valuation with respect to the coordinates \(z''\) and the \((ds)\) tuple \(\{\beta _1, \dots , \beta _{s}; \gamma _1, \dots , \gamma _{ds}\}\).
Now we assign the lexicographic order on \({\mathbb {G}}:=\mathbb {Z}^{r}\times G_2\times G_3\cong \mathbb {Z}^{r}\times \mathbb {Z}^{s}\times \mathbb {Z}^{nrs}\) and define \({\mathbb {G}}\)valued valuation:
Remark 2.44
The construction of \({\mathbb {V}}\) is an example of composite of valuations (see [70, VI.16]).
Let \({\mathcal {S}}\) be the valuative semigroup of \({\mathbb {V}}\). Then \({\mathcal {S}}\) generates a cone \(\tilde{\sigma }\). Let \(P_1: \mathbb {R}^n\rightarrow \mathbb {R}^{r}\), \(P_2: \mathbb {R}^n\rightarrow \mathbb {R}^{s}\) and \(P=(P_1, P_2): \mathbb {R}^n\rightarrow \mathbb {R}^{r+s}\) be the natural projections. Then \(P_1(\tilde{\sigma })=\sigma \subset \mathbb {R}^r\).
For any \(\xi \in {\text{int}}(\sigma )\), denote by \({\text{wt}}_\xi\) the valuation associated with \(\xi\). We can connect \({\text{wt}}_\xi\) and v by a family of quasimonomial valuations: \(v_t= ((1t)\xi +t \zeta , t v^{(0)})\) defined as
So the vertical part of \(v_t\) corresponds to the vector \(\Xi _t:=((1t)\xi +t\zeta , t\beta )\in \mathbb {R}^{r+s}\). Extend \(\Xi _t\) to \(\tilde{\Xi }_t:=(\Xi _t, 0)\in \mathbb {R}^n\) and define the following set:
Because \({\widehat{{\text{vol}}}}\) is rescaling invariant, we can assume \(A_{(X,D)}(v)=A_{(X,D)}(\xi )=1\). Then by the Tinvariance of \(v_t\), we easily get
So by Proposition 2.45 we have
Because \(\tilde{\Xi }_t\) is linear with respect to t, by Lemma 2.37\(\phi (t):={\text{vol}}(\Delta _{\tilde{\Xi }_t})\) is strictly convex as a function of \(t\in [0,1]\). By assumption \(\phi (0)={\text{vol}}(v_0)={\widehat{{\text{vol}}}}({\text{wt}}_{\xi })\) is a minimum. So by the strict convexity we get \(\phi (1)={\text{vol}}(\Delta _{\tilde{\Xi }_1})={\widehat{{\text{vol}}}}(v)\) is strictly bigger than \({\widehat{{\text{vol}}}}({\text{wt}}_\xi )\). \(\square\)
Proposition 2.45
For any\(\xi \in {\text{relint}}(\sigma )\) and the quasimonomial valuation\(v=(\eta , v^{(0)}) \in {\text{Val}}_{V, o}\) as above, we have the following identity:
Proof
The rest of this subsection is devoted to proof of the Proposition 2.45. Similar to the proof of Lemma 2.41, we know Proposition 2.45 follows if we can show that \({\mathbb {V}}\) constructed above satisfies those properties stated in Lemma 2.40, which in turn follow from the following uniform estimates: there exists a constant C such that for any \(f\in R_u\),
So we only need to concentrate on proving (37). To get the first inequality, we will use the same argument leading to (19). To get the second estimate, we will use a sequence of divisorial valuations to approximate and prove that the estimates obtained are uniform with respect to approximations.
Fix \(u\in \sigma ^{\vee }\) and \(f=f_u \cdot \chi ^u\in R_u\). For b sufficiently divisible, \({\mathfrak {D}}(b u)\) is Cartier. We will denote by \(L_{bu}\) the line bundle associated with \({\mathfrak {D}}(bu)\) and \(L_u\) the \(\mathbb {Q}\)line bundle associated with \({\mathfrak {D}}(u)\). Choose a global section \(g_{bu}\in H^0(Y, {\mathfrak {D}}(b u))\) such that \(g_{bu}^{1}\) is a local equation for \({\mathfrak {D}}(bu)\) near \(p\in Y\). Then for any \(f\in H^0(Y, {\mathfrak {D}}(u))\) we have
For the simplicity of notation, we write \(g_u:=g_{bu}^{1/b}\) as a multisection of the \({\mathbb {Q}}\)line bundle \(L_u\). Then (38) can be written as
We will bound both terms on the righthand side of (39). Using the piecewise linearity, we can easily show as before that there exists \(C>0\) independent of \(u\in \sigma ^{\vee }\), satisfying
So we only need to bound the term \({\mathbb {V}}_2(f g_u^{1})\). Denote \(\tilde{f^b}=f^b g_{bu}^{1}\). Consider the Taylor expansion of F at p as in (33):
where \(m^*=v^{(0)}(\tilde{f^b})\). Notice that \(\tilde{f^b}\) is now regular at p. We can choose \(\beta =(\beta '_1, \dots , \beta '_{s})\in {\mathbb {Q}}^{s}\) sufficiently close to \((\beta _1, \dots , \beta _{s})\) such that
for any \(m\ne m^*\) appearing in (40).
Next consider the weighted blow up of Y along the smooth subvariety \(Z=\bigcap _{i=1}^s \{z_i=0\}\) with weights \(\mathbf{a}=(a_1, \dots , a_{s}):=(q \beta '_1, \dots , q \beta '_{s})\) where q is the least common multiple of the denominators of \(\beta '\). We will denote this weighted blow up by \(\mu _{Y}=\mu _{Y, \beta '}: \tilde{Y}\rightarrow Y\) with the exceptional divisor denoted by \(E=E_{\beta '}\). Since Z is a smooth subvariety of Y, we have \(E={\mathbb {P}}(N_Z, \mathbf{a})=(N_Z{\setminus } \{Z\})/\mathbb {C}^*\), where \(N_Z\) is the normal bundle of \(Z\subset Y\) and \(\tau \in \mathbb {C}^*\) acts along the fiber of the normal bundle \(N_Z\rightarrow Z\) by \(\tau \circ (x_1, \dots , x_{s})= (\tau ^{a_1}x_1, \dots , \tau ^{a_{s}} x_{s})\). So we have a fibration \(\pi _E: E\rightarrow Z\) with each fiber being isomorphic to the weighted projective space \({\mathbb {P}}(\mathbf{a}):={\mathbb {P}}(a_1, \dots , a_s)\). In particular, the inverse image of \(p\in Z\subset Y\) under \(\mu _Y\), denoted by \(E_p\), is a fiber of \(\pi _E\) which is isomorphic to the weighted projective space \({\mathbb {P}}(\mathbf{a})\).
Denoted by \(v^{(0)}_{\beta '}\) the quasimonomial valuation centered at \(p\in Y\) but with the weight \(\beta '\) instead of \(\beta\). Then \(v^{(0)}_{\beta '}\) is a divisorial valuation and equal to \(q^{1}\cdot {\text{ord}}_{E}\). Because of (41),
Then
and moreover near \(\pi _E^{1}(p)\) we have \(e=\pi _E^*(\chi _{m^*}) \cdot s\), where s is a local generator of \((\mu _Y^*L_{bu}k_0bq E)_E\).
Fix a very ample divisor H on Y. There exists a sufficiently small positive constant \(0<\epsilon _0=\epsilon _0(\beta ')\ll 1\) such that
is still ample on \(\tilde{Y}\). Then we have
This implies
Thus it suffices to get a uniform estimate of the righthand side of (42), when \(\beta '\) converges to \(\beta\). This is similar to (but easier than) the argument of Lemma 2.48. By Lemma 2.47, we know that \(\epsilon _0>0\) can be fixed as a uniform constant. Using (48), the term contain \((qE)^i\) appearing in the intersection will become rational Segre classes \(s^i(\beta ')\) which continuously depend on \(\beta '\). We also see that the denominator will be of the form
which is nonzero, if we fix \(\epsilon _0\) to be sufficiently small. We postpone more details into the proof of the more complicated case treated by Lemma 2.48.
Remark 2.46
As mentioned above, this argument for the estimate of \(k_0\) is essentially the same as the the argument in the proof of Lemma 2.40.
Next we estimate \(w_\gamma (\chi _{m^*})\). By Izumi’s theorem, there exists a positive constant \(C>0\) such that
as valuations on \(\mathbb {C}(Z)\). So to prove the second estimate in (37), we just need to estimate \({\text{ord}}_p(\chi _{m^*})={\text{ord}}_p(e)\).
Let \(\mu _E: \tilde{E}\rightarrow E\) denote the blow up of E along the fiber \(E_p\). The exceptional divisor denoted by F is isomorphic to \({\mathbb {P}}^{ds1}\times {\mathbb {P}}(\mathbf{a})\). In fact, since we have a fibration \({\mathbb {P}}(\mathbf{a})\rightarrow E\rightarrow Z\), if \(\mu _Z: \tilde{Z}\rightarrow Z\) denotes the blow up of \(p\in Z\) with the exceptional divisor \(F_Z\cong {\mathbb {P}}^{ds1}\), then \(\tilde{E}=\mu _Z^*({\mathbb {P}}(N, \mathbf{a}))\) and there is an induced fibration \(\pi _{\tilde{E}}: \tilde{E}\rightarrow \tilde{Z}\). If we let
then \(\mu _E^* ek_1 b F\in H^0(\tilde{E}, \mu _E^*Mk_1 b F)\) where \(M=(\mu _{Y}^*L_{bu}k_0 b q E)_E\).
Since \(\tilde{H}_{\epsilon _0}=\mu _Y^*H\epsilon _0 q E\) is ample on E, there exists \(\epsilon _1\) such that \(\mu _E^*(\tilde{H}_{\epsilon _0}_E)\epsilon _1 F\) is ample on \(\tilde{E}\). Then we have the following inequality:
So we get the following estimate:
Finally, we want to show that the above estimate can be made uniformly with respect to \(\beta '\) that is sufficiently close to \(\beta\). We first bound \(\epsilon _0\) and \(\epsilon _1\) uniformly in the following:
Lemma 2.47
\(\epsilon _0\) and\(\epsilon _1\) can be chosen to be uniform with respect to\(\beta '\) that is close to\(\beta\). More precisely, there exists\(\delta =\delta (\beta )>0\), \(\epsilon _0=\epsilon _0(\beta )>0\), \(\epsilon _1=\epsilon _1(\beta )>0\)such that if\(\beta '\beta \le \delta\) then\(\tilde{H}_{\epsilon _0}:=\mu _{Y, \beta '}^*H\epsilon _0 q E_{\beta '}\) is ample on\(\tilde{Y}\) and\(\mu _E^*(\tilde{H}_{\epsilon _0}_E)\epsilon _1 F\) is ample on\(\tilde{E}\).
Proof
We first verify there is a uniform \(\epsilon\) such that \(\tilde{H}_{\epsilon _0}\) is ample. In fact, it suffices to show the uniform \(\epsilon\) for nefness. We can assume H is sufficiently ample, such that \(HD_i\) is ample for any \(i=1,\ldots ,s\). Then \(\mu _{Y, \beta '}^*D_i=\tilde{D}_i+q\beta _i'E\) where \(\tilde{D}_i\) is the birational transform on \(\tilde{Y}\). As \(\bigcap ^s_{i=1}\tilde{D}_i\) is empty, a curve C on \(\tilde{Y}\) is not contained in at least one \(\tilde{D}_i\), which implies \(C\cdot \tilde{D}_i\ge 0\). Thus
From this, we can easily see that we could take \(\epsilon _0=\frac{1}{2}\min \{\beta _i\}\) and \(\tilde{H}_{\epsilon _0}\) is ample for \(\beta '\beta <\epsilon _0\).
Now we can similarly argue for \(\epsilon _1\). For this we need \(HD_i\) is ample for any \(i=1,\ldots ,nr\). Denote by \(F_1\),…, \(F_{ds}\) the restrictions of the birational transforms of \(D_{s+1},\ldots , D_{d}\) on \(\tilde{E}\). Then for an irreducible curve C on \(\tilde{E}\), if its image on it is not contained in one of \(F_j\) for some j. Then \(\mu _E^*(\mu ^*_YD_{j}_E)=F_j+F,\) which implies that
Thus we can take \(\epsilon _1=1\) and replace \(\tilde{H}_{\epsilon _0}\) by \(\tilde{H}_{\epsilon _0}+\mu _Y^*H\). \(\square\)
Notice that we have the commutative diagram
We also have \((E)_E={\mathbb {P}}(N_Z, \mathbf{a})(1)\) and \(\mu _E^*(E)_E={\mathbb {P}}(\mu _Z^*N_Z, \mathbf{a})(1)\). So
is ample.
Lemma 2.48
The righthand side of (43) is uniformly bounded independent of\(\beta '\) if\(\beta '\beta \le \delta\) where\(\delta =\delta (\beta )\) is the same one as that in Lemma 2.47.
Proof
As \(F\cong {\mathbb {P}}^{ds1}\times {\mathbb {P}}(\mathbf{a})\), by (45) we get the denominator of (43) to be
By the commutative diagram (44), we have
For simplicity, we denote
Using (45) and (46), the numerator of (43) is equal to
By the standard intersection theory (cf. [25, Section 4]), we have
where \(s_i(Q, \mathbf{a})\) is the weighted Segre class which can be defined as follows (cf. [25, Section 3.1]): let the total weighted Chern class of \(Q=\mu _Z^*N_Z\) be given by
and \(\sum _i s_i(Q, \mathbf{a}) t^i=c(Q, \mathbf{a})^{1}\); then \(s_i(Q, \mathbf{a})=q^{i} \tilde{s}_i(Q, \beta ')\) where \(\tilde{s}_i(Q, \beta ')\) depends only on \(\beta '\) and \(c_1(L_i)\). Using (48), we see that each term in (47) depends continuously on \(\beta '\). So we can indeed make the numerator of (43) uniform with respect to \(\beta '\). \(\square\)
Models and Degenerations
In [47], we showed that a divisorial minimizer always comes from a Kollár component, and it can yield a degeneration which is the key for us to deduce results on general klt singularities from cone singularities. However, it is less clear, at least to us, what should be the corresponding construction for a higher rank quasimonomial valuations. Nevertheless, in this section, we try to develop an approach to use models to approximate a quasimonomial valuations, with possibly higher rank.
Weak lc Model of a QuasiMonomial Minimizer
Let us first fix some notation. Let \(v\in {\text{Val}}_{X,x}\) be a quasimonomial valuation. We know that there exists a log smooth model (Y, E) over X such that v is computed at its center \(\eta\) on (Y, E) (see Definition 2.9). Denote by \(E_j\) (\(j=1,\ldots ,r\)) the components of E containing \(\eta\). In the following, we look at valuations \(v_{\alpha }\) computed on \(\eta \in (Y,E)\) for \(\alpha \in \mathbb {R}^r_{\ge 0}\). In fact, if we rescale \(v_{\alpha }\) such that \(A_{X,D}(v_{\alpha })=1\), then all such points canonically form a simplex \(\Delta \subset {\text{Val}}_{X,x}\) with the vertices given by \(v_j={\text{ord}}_{E_j}/ A_{X,D}(E_j)\).
In the above setting, for any two toroidal valuations which can be written \(v_{\alpha }\) and \(v_{\alpha '}\) on the fixed model \(Y\rightarrow (X,D)\), we define
Recall we have defined the volume of a model \({\text{vol}}(Y/X)\) (or abbreviated as \({\text{vol}}(Y)\)) over a klt singularity (X, D) in [47].
Definition 2.49
Let \(x\in (X,D)\) be a klt singularity and \(v\in {\text{Val}}_{x,X}\) a quasimonomial valuation. We say that v admits a weak lc model if there exists a birational morphism \(\mu :Y^{\text{wlc}}\rightarrow X\) such that

(a)
\({\text{Ex}} (\mu )=\mu ^{1}(x)=\sum ^r_{j=1} S_j\);

(b)
\((Y^{\text{wlc}},\mu _*^{1}D+\sum ^r_{j=1} S_j)\) is log canonical;

(c)
\(K_{Y^{\text{wlc}}}\mu _*^{1}D\sum ^r_{j=1} S_j\) is nef over X; and

(d)
\((Y^{\text{wlc}},\mu _*^{1}D+\sum ^r_{j=1} S_j)\) is qdlt at the generic point \(\eta\) of a component of the intersection of \(S_j\)\((j=1,2,\ldots , r)\), where v can be computed (see Definition 2.9).
The main theorem of this section is the following:
Theorem 2.50
Let\(x\in (X,D)\)be a klt point. If\(v\in {\text{Val}}_{X,x}\)is a quasimonomial valuation which minimizes\({\widehat{{\text{vol}}}}_{(X,D)}\), then it admits a\(\mathbb {Q}\)factorial weak log canonical model.
Proof
We fix a model as in Definition 2.8 which computes \(v=v_{\alpha }\). We can further assume that the codimension of \(\eta\) in the model is the same as the rational rank of v. Let \(\mathfrak {a}_{\bullet }\) be the valuative ideals of v, i.e., \(\mathfrak {a}_{k}=\{f \ v(f)\ge k\}\). Let \(c={\text{lct}}(X,D, \mathfrak {a}_{\bullet })\).
Lemma 2.51
For any\(\epsilon\), there exists toroidal divisors\(S_1,\ldots ,S_r\) given by vectors\(s_1\),…, \(s_r\in \mathbb {Z}^r_{>0}\) and\(\epsilon _0>0\), such that

1.
\((X, D+(1\epsilon _0)c\cdot \frac{1}{m}\mathfrak {a}_m)\) has a positive log discrepancy for any divisorE;

2.
v is in the convex cone generated by\(s_1,\ldots ,s_r\), and

3.
for any j, the log discrepancy\(a_l(S_j, X,D+(1\epsilon _0)c\cdot \frac{1}{m}\mathfrak {a}_m)<\epsilon\) for any\(m\gg 0\).
Proof
Applying Lemma 2.7, for any \(\epsilon\), we can find vectors \(s_j=(s_{ij})=(\frac{r_{ij}}{q_j})_{1\le i \le r}\)\((j=1,2,\ldots r)\) with \(r_{ij}, q_j\in \mathbb {N}\), such that

1.
the vector \(\alpha =(\alpha _i)\) can be written as
$$\begin{aligned} \alpha =\sum ^r_{j=1} c_js_j \quad \hbox {with}\ c_j>0; \end{aligned}$$ 
2.
for any i and j,
$$\begin{aligned} s_{ij} \alpha _j<\frac{\epsilon }{q_j}. \end{aligned}$$
Clearly, we can assume \({\text{gcd}}(r_{1j},\ldots , r_{rj},q_j)=1\). Thus we conclude that for the integral divisor corresponding to the toric blow up of \((E_1,\ldots ,E_r)\) with coordinates \((r_{1j},\ldots , r_{rj})\), we get an exceptional divisor \(S_j\). Fix a sufficiently large positive number \(N_0\) such that \(q_j\le N_0\).
Since v is a minimizer of \({\widehat{{\text{vol}}}}(X,D)\), we know that
where \(\mathfrak {a}_k=\{f\ v(f)\ge k\}\). So we conclude that (see [52])
which we denote by c. Denote by \(\epsilon _0=\frac{\epsilon }{N_0}\), and pick up N such that
then for any m sufficiently large such that

(a)
\(( X,D+(1\epsilon _0 )c\cdot \frac{1}{m}\mathfrak {a}_m)\) is klt,

(b)
\(a_{l}(E_i, X, D+(1\epsilon _0)c \cdot \frac{1}{m} \mathfrak {a}_m)\le N\),
we have
So for any j, since \(a_l(v; X, D+c\cdot \frac{1}{m} \mathfrak {a}_m)\le 0\), we have
Here all the constants r, N and c only depend on the fixed log resolution \(Z\rightarrow (X,D)\) and v but not the choices of \(S_j\). So we can replace the constant \(\epsilon\) and obtain the lemma. \(\square\)
By Lemma 2.51, we can use [7] to construct a \(\mathbb {Q}\)factorial model \(\mu :Y\rightarrow X\) such that

1.
\(S_1\),…, \(S_r\) are the only exceptional divisors,

2.
there is an effective \(\mathbb {Q}\)divisor L on X, such that \((Y, \mu _*^{1}(D+L)+\sum ^r_{j=1} a_jS_j)\) is klt with \(1\epsilon<a_j<1\), and
$$\begin{aligned} K_Y+\mu _*^{1}(D+L)+\sum ^r_{j=1} a_jS_j\sim _{\mathbb {Q},X}0. \end{aligned}$$
Furthermore, we can assume Y is obtained by running an MMP from a toroidal blow up of Z extracting \(S_1\),…, \(S_r\). In particular, \(Z\dasharrow Y\) does not change the generic point of the component of the intersection of \(\bigcap ^r_{j=1} S_j\).
Then by running a relative MMP \(g:Y\dasharrow Y_1\) over X for
we obtain a model \(\mu _1:Y_1\rightarrow X\), such that \(K_{Y_1}\mu _{1*}^{1}Dg_*S\) is nef.
By the ACC of the log canonical thresholds (see [28]), we know that there exists a constant \(\beta <1\) which only depends on \(\dim X\) and the coefficients of D such that if we choose \(1\epsilon >\beta\), then we can conclude that \((K_{Y}, \mu _*^{1}D+S)\) is log canonical, as \((K_{Y}, \mu _*^{1}D+\beta \cdot S)\) is log canonical. Further, the same holds for \(Y_1\) as \(\big( Y_1,g_*(\mu _*^{1}(D+L)+\sum ^r_{j=1} a_jS_j)\big)\) is log canonical. This implies that the MMP process \(Y\dasharrow Y_1\) is isomorphic around any lc center of \(({Y},\mu _*^{1}D+S)\), since otherwise we will have for a divisor E over this center with
which is a contradiction.
Therefore, \(Y_1\rightarrow X\) gives a weak log canonical model. \(\square\)
Remark 2.52
The above argument indeed implies that any quasimonomial valuation which computes the log canonical threshold of a graded sequence of ideals has a weak log canonical model.
In the following, we want to show that the volumes of the models produced in Theorem 2.50 converge to \({\widehat{{\text{vol}}}}(v)\) if the corresponding simplexes converge to v.
Lemma 2.53
Fix\(f:Y\rightarrow (X,D)\)a log resolution, with Z a component of the intersection of some exceptional divisors\(E_i\)\((i\in J)\)on Y. Then there exists a constant N (depending \(Y\rightarrow (X,D)\)) which satisfies the following property: let S be a toroidal divisor over\(\eta (Z)\in (Y,E=\sum _{i\in J} E_i)\) and\(\mu :Y_{S}\rightarrow X\)a weak lc model over X with the only exceptional divisor S; then for any quasimonomial valuation v computed at the generic point \(\eta (Z)\in (Y,E)\) satisfying\(a\cdot {\text{ord}}_Sv<\epsilon\) for some\(a>0\), we have
Proof
Denote by \(E_i\) (\(i\in I\supset J\)) all the exceptional divisors of Y over X and by \(A_{(X,D)}(E_i)=a_i\); then we know that
We will show \(N=\sum _{i\in I} a_i\) suffices. Let \(Y'\rightarrow Y\) be the toroidal blow up extracting S (if S is on Y, then we let \(Y'=Y\)) and denote by \(g:Y'\rightarrow X\). Define the divisor \(F=g^{1}_*D+S+\sum _{i\in I}b_iE_i\) on \(Y'\). Then as \(a\cdot {\text{ord}}_Sv<\epsilon\) and \(A_{Y',F}({\text{ord}}_S)=0\), let \(J_0\subset J\) be all the indices \(E_i\) which contain the center of v; we know
Finally, since \(K_{Y_S}+\mu ^{1}_*D+S\) is antinef, by the negativity lemma, we know that
\(\square\)
Lemma 2.54
Let\(\Delta _i\subset \Delta\) be a sequence of subsimplices with rational vertices, such that each\(\Delta _i\) corresponds to a weak lc model constructed in Theorem 2.50 and the vertices\(v^j_{i}\) of\(\Delta _i\)converge to v. Then
Proof
By the proof of Theorem 2.50 we know

1.
there exists \(\mu _i:Y_i\rightarrow X\) a \(\mathbb {Q}\)factorial weak lc model which precisely extracts the divisors \(S_{i,j}\) corresponding to the prime integral vector on \(\mathbb {R}_{>0}v_i^j\), and

2.
for any \(\epsilon\), we can find i sufficiently large such that for any (i, j) there exists a constant \(q_j\) such that \({\text{ord}}_{S_{i,j}}q_j\cdot v< \epsilon\).
Then for any \(\epsilon\), we can find i sufficiently large such that if we pick a rational vector \(v_*\) which after a rescaling by \(q_j\) is sufficiently close to v with
By the proof of Theorem 2.50, we can assume there exists \(Y_*\rightarrow X\) a weak lc model of \(v_*\) extracting the corresponding divisor \(S_*\). Then we claim
Granted it for now, we know the log pull back of \(K_{Y_*}+ \mu ^{1}_*D+S_*\) is larger or equal to the pull back of
which means \({\widehat{{\text{vol}}}}(v_*)\ge (1\epsilon )^n{\text{vol}}(Y_i)\).
We continue to show the claim by a similar argument as in Lemma 2.53: fix \(Z\rightarrow X\) a log resolution. Denote by \(E_k\) (\(k\in \{1,2,\ldots ,q\}\)) the exceptional divisors of Y over X whose intersection gives the center \({\text{Center}}_Y(v)\) and denote by \(A_{(X,D)}(E_k)=a_k\). Denote the corresponding vector of \(S_{i,j}\) by \((n_1,\ldots ,n_q)\), so \(A_{(X,D)}(S_{i,j})=\sum ^q_{k=1} n_ka_k\). We consider a model \(Z_*\rightarrow Z\), which extracts the birational transform \(E_*\) of \(S_*\). Then for any \(S_{i,j}\), after relabelling, we can assume its vector is in the fan generated by \(E_1,\ldots ,E_{q1}\) and \(E_*\). Therefore, by the same argument as in Proposition 2.53, since \({\text{ord}}_{S_{i,j}}q_j\cdot v_*<\epsilon\), we know the log discrepancy of \(S_{i,j}\) with respect to \(({Y_*}, \mu ^{1}_*D+S_*)\) is less or equal to
\(\square\)
In the following, we take a detour to illustrate on how we use the models to understand the limiting process in [47, Theorem 1.3] when v is quasimonomial.
A weak log canonical model provides us an explicit subset of valuations which can be used to understand the original abstract approximation process by Kollár components in [47, Theorem 1.3]: let v a quasimonomial minimizing valuation of a klt pair \(x\in (X,D)\) and \(Y^{\text{wlc}}\rightarrow X\) be a weak log canonical model of (X, D) for v given by Theorem 2.50. Fix \(f^{\text{dlt}}:Y^{\text{dlt}}\rightarrow Y ^{\text{wlc}}\) a dlt modification of \((Y^{\text{wlc}},\mu _*^{1}D+\sum ^r_{j=1} S_j)\). Write the pull back of \(K_{Y^{\text{wlc}}}+\mu _*^{1}D+\sum ^r_{j=1} S_j\) to be \(K_{Y^{\text{dlt}}}+\Delta ^{\text{dlt}}\). As in [18], we can formulate the dual complex \({\mathcal {DR}}(\Delta ^{\text{dlt}})\), which does not depend on the dlt modification. Moreover, as in the case of simplex, \({\mathcal {DR}}(\Delta ^{\text{dlt}})\) also forms a natural subspace of
(see [49, 53] for more discussions on the background).
We will need a strengthening of [47, Theorem 1.3].
Proposition 2.55
There exists a sequence of Kollár components\(T_i\) whose rescalings correspond to rational points on\({\mathcal {DR}}(\Delta ^{\text{dlt}})\), i.e.\(a_l(T_i; Y^{\text{wlc}},\mu _*^{1}D+\sum ^r_{j=1} S_{j})=0\), such that
where\(c_i=\frac{1}{A_{X,D}(T_i)}\).
Proof
We will construct a sequence of Kollár component \(T_i\) and choose \(c_i=\frac{1}{A_{X,D}(T_i)}\), such that

a)
\(a_l(T_i; Y^{\text{wlc}},\mu _*^{1}D+\sum ^r_{j=1} S_{j})=0\);

b)
\(\{ c_i\cdot {\text{ord}}_{T_i }\}\) has a limit \(v'\ge v\);

c)
\({\text{vol}}(v')={\text{vol}}(v)\).
In fact, from [47, Proposition 2.3], we can conclude \(v=v'\).
Denote by \(\Delta _0\) the simplex in \(\Delta ^{\text{dlt}}\) generated by \(S_1\),…, \(S_r\) around \(\eta\). By Theorem 2.50, we can find a sequence of rational simplices \(\{\Delta _i\}_{i=1}^{\infty }\) with vertices \(S_{i,j}\)\((j=1,\ldots ,r)\) such that \(\Delta _{i+1}\subset \Delta _{i}\), \(\lim _i{\Delta _{i}}=v\) and for each \(\Delta _i\) we have a weak log canonical model \(\mu _i:Y^{\text{wlc}}_i\rightarrow X\). Furthermore, we can require the constant \(\epsilon _i\) and \(\epsilon _{0,i}\) in Lemma 2.51 converges to 0.
By the negativity lemma we know that on a common resolution the pull back of \(K_{Y_i^{\text{wlc}}}+\mu _{i*}^{1}D+\sum ^r_{j=1} S_{i,j}\) is larger or equal to the pull back of \(K_{Y_{i+1}^{\text{wlc}}}+\mu _{i+1*}^{1}D+\sum ^r_{j=1} S_{i+1,j}\). In particular, for any divisor T and i with
T is contained in \({\mathcal {DR}}(\Delta ^{\text{dlt}})\). By the proof of [47, Lemma 3.8] we can find a Kollár component \(T_i\) such that
We denote by \(v_i=c_i\cdot {\text{ord}}_{T_i}\) where \(c_i=\frac{1}{A_{X,D}(T_i)}\); then \({\text{vol}}(v_i)={\widehat{{\text{vol}}}}({\text{ord}}_{T_i})\). Since \({\text{vol}}(P)\) is a continuous function on the compact set \({{\mathcal {DR}}(\Delta ^{\text{dlt}})}\) (see [10]), we know after replacing by a sequence, we can assume that \(v_i\) has a limit \(v'\) and we know that
where the last equality follows from Lemma 2.54. Since \({\text{vol}}(v)={\widehat{{\text{vol}}}}(v)\le {\widehat{{\text{vol}}}}(v')={\text{vol}}(v')\), indeed the equality holds.
It remains to show the property b) holds, which is similar to the proof of [47, Theorem 1.3]. Denote by \(v(f)= p\). For a fixed i, choose \(l=\lceil i/p \rceil\). Denote by \(m_{i,j}\) the vanishing order of \(\mathfrak {a}_i\) along \(S_{i,j}\). Since \(A_{X,D}(v)=1\) and v computes the log canonical threshold of \(\{\mathfrak {a}_{\bullet }\}\), we know \(c={\text{lct}}(X,D; \mathfrak {a}_{\bullet })=1.\) Then by Lemma 2.51.3, there exists \(a_{i,j}>(1\epsilon _i)\)\((1\le j \le r)\) such that
Therefore, we have
Then we have the following implications:
where the fifth arrow follows from the negative lemma. Recall
As \(A_{X,D}(S_{i,j})\rightarrow \infty\) when \(i\rightarrow \infty\), we know that \(\lim _{i\rightarrow \infty } \frac{m_{i,j}}{i}\rightarrow \infty\), Thus
\(\square\)
Minimizing Valuations and Ksemistability
In this section, we aim to prove the a quasimonomial valuation v is a minimizer only if it is Ksemistable. As we mentioned, we need to make the expected technical assumption that the associated graded ring \({\rm{gr}}_v(R)\) is finitely generated.
Definition 2.56
Let \(x\in X={\text{Spec}}(R)\) be a normal singularity. Let \(v\in {\text{Val}}_{X,x}\) be a valuation and we assume \({\rm{gr}}_v(R)\) is finitely generated. Denote \(X_0={\text{Spec}}({\rm{gr}}_vR)\). Let the rational rank of v be r. Then there is a \(T={(\mathbb {C}^*)^r}\)action on \(X_0\) induced by the \(\mathbb {Z}^r\)grading. We denote by \(\xi _v \in {\mathfrak {t}}_{\mathbb {R}}^+\) the natural vector given by the valuation v, namely \(\xi _v(f)= \min _{f_{\alpha }\ne 0}\{ \alpha \}\) for any \(f=\sum _{\alpha } f_{\alpha }\in {\rm{gr}}_v(R)\).
In this section, we will always consider the degeneration induced by a valuation in the following case: \(x\in (X,D)\) is a klt singularity, and v is a quasimonomial valuation over x whose associated graded ring is finitely generated. We denote \(X_0={\text{Spec}}({\rm{gr}}_v R)\). By Lemma 2.10, we can choose a sequence \(v_i\rightarrow v\), where \(v_i\) is a rescaling of a divisorial valuation, denoted by \(S_i\) over x and we have \({\rm{gr}}_vR\cong {\rm{gr}}_{v_i}R\).
Lemma 2.57
(See [31]) Under the above assumption, we can construct a model\(\mu :Y\rightarrow X\) such that the only exceptional divisor is\(S_i\) and\(S_i\)is ample over X.
Proof
Let \(\{\mathfrak {a}_{\bullet }\}\) be the valuative ideal sequence of \({\text{ord}}_{S_i}\). It suffices to prove that \(\bigoplus _i \mathfrak {a}_i\) is finitely generated given the associated graded ring is finitely generated. We lift generators \(\bar{f}_i\in \mathfrak {a}_{j_i}/\mathfrak {a}_{j_i+1}\)\((i=1,\ldots ,r)\) of \({\rm{gr}}_v(R)\) to elements \(f_i\in \mathfrak {a}_{j_i}\). Let \(d=\max j_i\), and let \(\{g_i\}\) (\(1\le i \le k\)) be a set of generators of \(\mathfrak {a}_j\) for \((0\le j \le d)\); then we show that \(\bigoplus _i \mathfrak {a}_i\) is generated by \(\{g_i\}\). We denote the graded ring generated by \(\{ g_i\}\) to be \(\bigoplus _i {\mathfrak {b}}_i \subset \bigoplus _i \mathfrak {a}_i\).
Consider \(\mathfrak {a}_m\); we claim \({\mathfrak {b}}_m+\mathfrak {a}_{m+p}=\mathfrak {a}_m\) for any \(p\ge 0\), which clearly implies \({\mathfrak {b}}_m=\mathfrak {a}_m.\) For \(p=0\), this is trivial. Assume we have proved this for \(p=p_01\). Then for any \(f\in \mathfrak {a}_m\), we can write \(f=g+f'\) where \(g\in {\mathfrak {b}}_m\) and \(f'\in \mathfrak {a}_{m+p_01}\). Since
where \(f_{\overline{i}}^{\alpha }=f_1^{\alpha _1}\cdots f_r^{\alpha _r}=f_1\cdots f_1\cdot f_2\cdots f_r\) is a product of \(\alpha _1+\cdots+ \alpha _r\) terms and \(\sum ^r_{i=1} j_i\cdot \alpha _i=m+p1\). By considering some \(f_i\) to be in \(\mathfrak {a}_{j_i'}\) instead of \(\mathfrak {a}_{j_i}\) for some \(0\le j'_{i}\le j_i\) as \(\mathfrak {a}_{j_i'}\supset \mathfrak {a}_{j_i}\), we can assume \(f_1^{\alpha _1}\cdots f_r^{\alpha _r}\) is in \(\mathfrak {a}_m\), which is then by definition in \({\mathfrak {b}}_m\). \(\square\)
We assume that \(X_0\) is normal and define \(D_0\) to be the closure of D (as \(\mathbb {Q}\)divisor) in the following way: for each prime Weil divisor E on X with the ideal \(p_E\), we can consider the degeneration \(\mathbf{in}(p_E)\) and let the degeneration \(E_0\) to be its divisorial part. Then for a general \(\mathbb {Q}\)divisor \(D=\sum _i a_iE_i\), we define \(D_0=\sum _i a_iE_{i,0}\).
Lemma 2.58
With the above notation, we have\({\text{vol}}(v)={\text{vol}}(\mathrm{wt}_{\xi _v})\). Furthermore,\(K_{X_0}+D_0\) is\(\mathbb {Q}\)Cartier and\(A_{(X,D)}(v)=A_{(X_0,D_0)}(\mathrm{wt}_{\xi _v})\).
Proof
The first part is straightforward. For the second part, since the closure of a Cartier divisor \({\rm{div}}(f)\) is given by the Cartier divisor \({\rm{div}}(\mathbf{in}_v(f))\), we see that \(K_{X_0}+D_0\) is \(\mathbb {Q}\)Cartier as \(K_X+D\) is \(\mathbb {Q}\)Cartier.
Then as \({\rm{gr}}_{v}(R)\) is finitely generated, we conclude that there is a sequence of rescaling of divisorial valuations \(\xi _{v_i}\) approximating \(\xi _v\) such that \({\rm{gr}}_{v_i}(R)\) is isomorphic to \(X_0\) (see Lemma 2.10). By Lemma 2.57, we know that the degeneration \(X_0\) can be considered as an orbifold cone over \(S_i\), which is normal since we assume \(X_0\) is normal. In particular, we have
Taking the limit \(i\rightarrow \infty\), we get the following statement. \(\square\)
If v is a minimizer such that the associated graded ring \({\rm{gr}}_{v}(R)\) is finitely generated, however, since the Kollár component produced in Proposition 2.55 may not be in interior of the simplex containing v, we cannot directly apply Lemma 2.10. We need to show that
Proposition 2.59
Let v be a minimizer of\({\widehat{{\text{vol}}}}\) such that the associated graded ring\({\rm{gr}}_{v}(R)\) is finitely generated. Let\(c_i\cdot {\text{ord}}_{S_i}\)be chosen sufficiently close to v as in Lemma 2.10; then\(S_i\) is a Kollár component.
Proof
By the proof of Theorem 2.50, we already know that \(S_i\) can be extracted alone to get a model \(\mu _i:Y_i\rightarrow X\) such that \((Y_i,\mu ^{1}_*(D)+S_i)\) is log canonical and \(S_i\) is \(\mu _i\)ample. Therefore, we can degenerate \(x\in (X,D)\) to \(o\in (X_0:={\text{Spec}}({\rm{gr}}_{S_i}(R)),D_0)\), where \(D_0\) is given by the adjunction. Recall that \({\text{Spec}}({\rm{gr}}_{S_i}(R)) \cong {\text{Spec}}({\rm{gr}}_{v}(R))\) and \((X_0,D_0)\) is aways semilogcanonical (slc), as so is \((S_i, D_{S_i})\) where \((K_{Y_i}+\mu _*^{1}D+S_i)_{S_i}:=K_{S_i}+D_{S_i}\). Here we use the fact that \(S_i\) is CM as Y is potentially klt. By Lemma 2.58, we know that \({\widehat{{\text{vol}}}}_{X,D}(v)={\widehat{{\text{vol}}}}_{X_0,D_0}(v_0:=\xi _v)\).
Now we assume \(S_i\) is not a Kollár component. By Lemma 2.60, we know that there exists a Tinvariant valuation w over \(o\in (X_0,D_0)\) such that \({\widehat{{\text{vol}}}}_{X_0,D_0}(w)<{\widehat{{\text{vol}}}}_{X,D} (v_0)\). So by Theorem 2.2, we know that there exists a Tequivariant primary ideal I such that the normalized multiplicity \({\text{mult}}(I)\cdot {\text{lct}}^n(I)\le {\text{vol}}(w)\). Since any valuation over o has its log discrepancy to be positive with respect to \((X_0,D_0)\), by Lemma 1.61, we can construct a model \(Z\rightarrow (X_0,D_0)\) which precisely extracts a divisor G calculating the log canonical threshold of I with respect to \((X_0,D_0)\). This yields a \(\mathbb {C}^*\)degeneration of \(X_0\) to a model Y, on which we can define the normalized volume of \(\eta\) as in Sect. 2.2.1. Then
By the argument of Theorem 2.64, we can construct a degeneration from (X, D) to \((Y={\text{Spec}}({\rm{gr}}_{{\text{ord}}_F}({\rm{gr}}_{v}R)),E)\). Moreover, the calculation as in (52) (see Remark 2.65) shows that this contradicts the assumption that v is a minimizer. \(\square\)
Lemma 2.60
Let\((S,D_S)\) be a slc pair with\(K_SD_S\) ample. Assume that\((S,D_S)\) is not klt. Let\(o\in (Y,D_Y):=C(S,D_S;r(K_S+D_S))\). Then\(\inf _{v} {\widehat{{\text{vol}}}}_o(v)=0\)where v runs through all \(\mathbb {C}^*\)invariant valuations.
Proof
Since \((S,D_S)\) is not klt, there exists a divisor E over S such that \(A_{(S,D_S)}(E)=0\). Consider a set of valuations \(\{v_s; s\in [0,\infty )\}\subset {\text{Val}}_{Y,o}\) defined in the following way: for any \(f=\sum _k f_k\in \bigoplus _{k=0}^{\infty }H^0(S,kr(K_SD_S))\), \(v_s(f)\) is given by
Because \(A_{(S,D_S)}(E)=0\), we have \(A_{Y,D_Y}(v_s)\equiv r^{1}\). By using similar method as in [40, Section 4.14.2], we get the formula for the normalized volume of \(v_s\):
Since \(\mathrm{d}{\text{vol}}(R^{(x)})\) is a positive measure with finite total mass, it is clear that \({\widehat{{\text{vol}}}}(v_s)\rightarrow 0\) as \(s\rightarrow +\infty\). \(\square\)
Lemma 2.61
Let\(o\in (X,D)\) be a slc singularity such that\({mld}_{X,D}(o)>0\). Let I be a primary ideal cosupported on o. Then we can find a model\(\mu :Z\rightarrow X\)which extracts precisely a divisor G computing the log canonical threshold of I with respect to (X, D) such that\(G\) is\(\mu\)ample.
Proof
By [36, 10.56], there exists a semi log resolution \(\phi :X'\rightarrow X\) of \((X,D+cI)\) with the properties there, where \(c={\text{lct}}(I; X,D)\). By a tiebreak argument, using the fact that \(\phi _*(\mathcal {O}_{X'})=\mathcal {O}_X\), we can find a small \(\mathbb {Q}\)divisor H passing through o, such that there exists a unique divisor G over o with the log discrepancy 0 with respect to \((X,D+(c\epsilon )I+H)\).
Choose a sufficiently close \(\epsilon '<\epsilon\), then on \(X'\) the only divisor with negative log discrepancy with respect to \((X,D+(c\epsilon ')I+H)\) is G. By [55], we can construct the semilogcanonical modification \(\mu :Z\rightarrow X\) of \((X,D+(c\epsilon ')I+H)\), which thus only extracts G with \(G\) being \(\mu\)ample. \(\square\)
Theorem 2.62
Let \(X_0= {\rm{Spec}}({\rm{gr}}_vR)\) and denote by \(D_0\) the closure of D on \(X_0\). Then \((X_0,D_0)\) is klt.
Proof
By Lemma 2.10, under our assumption, we can choose a valuation divisorial \(v'\) such that \({\rm{gr}}_{v}R\) is isomorphic to \({\rm{gr}}_{v'}(R)\). Then Proposition 2.59 implies that \(v'\) indeed can be chosen to be a Kollár component. Thus by the argument in [47], we know \((X_0,D_0)\) is a klt pair, as it is an orbifold cone over a log Fano pair. \(\square\)
Definition 2.63
Under the above assumptions, we say that a quasimonomial valuation over \(x\in X\) is Ksemistable if \({\rm{gr}}_v(R)\) is finitely generated and the corresponding triple \((X_0, D_0,\xi _v)\) as in Definition 2.56 is Ksemistable in the sense of Definition 2.28.
Proof of Theorem 1.3
By Theorem 2.34, we already know this for the log Fano cone case when the valuation on the singularity is given by a triple \((X,D,\mathrm{wt}_{\xi })\) as in Theorem 2.34. In the general case, if v induces a special test configuration of (X, D) to \((X_0, D_0, \xi _v)\), then for any ideal \(\mathfrak {a}\in {\mathrm{PrId}}_{X,x}\), we can get a graded ideal sequence \({\mathfrak {b}}_{\bullet }=\{\mathbf{in}(\mathfrak {a}^k)\}\), satisfying
\(\square\)
Theorem 2.64
If \(x\in (X,D)\) is a klt singularity and \(v\in {\text{Val}}_{X,x}\) which is a quasimonomial minimizer of \({\widehat{{\text{vol}}}}_{(X,D)}\) such that its associated graded ring \({\rm{gr}}_v(R)\) is finitely generated, then v is a Ksemistable valuation.
The proof of this theorem is similar to the case of Kollár component minimizer as in Section 6 of [47]. For reader’s convenience, we include a brief sketch here.
Proof
Using the notation, we can assume the quasimonomial valuation \(v=v_{\alpha }\) on a log smooth model with the weight \(\alpha =(\alpha _1,\ldots ,\alpha _r)\) and \(\alpha _1\),…, \(\alpha _r\) are \(\mathbb {Q}\)linearly independent. Let \(\Phi\) and \(\Phi ^g\) denote the valuative semigroup and valuative group of v. Denote by \({\mathcal {R}}\) the extended Rees algebra:
Then \({\mathcal {R}}\) is faithfully flat over \({\rm{Spec}}(\mathbb {C}[\Phi ])\) ( [61, Proposition 2.3]). The central fiber \(X_0\) is given by \({\rm{Spec}}({\rm{gr}}_vR)\) where
Let \(\xi _0=\xi _v\) denote the induced valuation on the central fiber \(X_0\) as in Definition 2.56.
For any Kollár component S over \(o'\in (X_0,D_0)\), let \(({\mathcal {Y}}, {\mathcal {D}}', \xi _0; \eta )\) be the associated special test configuration which degenerates \((X_0, D_0)\) to an orbifold cone \((Y_0, D'_0)\) over S, i.e., \(S=Y_0/ \langle {\text {e}}^{\mathbb {C}\xi _{S}}\rangle\). By Proposition 2.35, it suffices to show that
for any such special test configurations.
Let \(\Phi \subset \mathbb {R}_{\ge 0}\) be the valuative monoid of v. Then we have a \(\Phi \times \mathbb {Z}_{\ge 0}\)valued function on R.
We give \(\Gamma :=\Phi \times \mathbb {Z}_{\ge 0}\subset \mathbb {R}_{\ge 0}\times \mathbb {R}_{\ge 0}\) the lexicographic order \((m_1, u_1)<(m_2, u_2)\) if and only if \(m_1<m_2\), or \(m_1=m_2\) and \(u_1<u_2\). If we denote
then \(Y_0={\text{Spec}}_{\mathbb {C}} \left( {\rm{gr}}_w R\right)\).
Also denote
Then \({\text{Spec}} (A)=X_0\). Moreover if we define the extended Rees ring of A with respect to the filtration associated with \({\text{ord}}_S\):
where \(\mathfrak {b}_k=\{f\in A; {\text{ord}}_S(f)\ge k\}\). Then the flat family \({\mathcal {Y}}\rightarrow {\mathbb {A}}^1\) is given by the \({\text{Spec}}_{\mathbb {C}[t]}\left( \mathcal {A}\right)\). In particular, we have
Pick up a set of homogeneous generators \(\bar{f}_1, \dots , \bar{f}_p\) for \({\rm{gr}}_w R\) with \(\deg (\bar{f}_i)=(m_i, u_i)\). Lift them to generators \(f_1, \dots , f_p\) for A such that \(f_i\in A_{m_i}\). Set \(P=\mathbb {C}[x_1, \dots , x_p]\) and give P the \(\Gamma\)grading by \(\deg (x_i)=(m_i, u_i)\) so that the surjective map
is a map of graded rings. Let \(\bar{g}_1, \dots , \bar{g}_q\in P\) be a set of homogeneous generators of the kernel and set \(\deg (\bar{g}_j)=(n_j, v_j)\).
Since \(\bar{g}_j(\bar{f}_1, \dots , \bar{f}_p)=0 \in {\rm{gr}}_wR\), it follows that
By the flatness of \({\mathcal {A}}\) over \(\mathbb {C}[t]\), there exists \(g_j\in \bar{g}_j+(P_{n_j})_{> v_j}\) such that \(g_j(f_1, \dots , f_p)=0\) for \(1\le j\le q\). So \(\{g_j\}\) form a Gröbner basis of J with respect to the order function \({\text{ord}}_S\), where J is kernel surjection \(P\rightarrow A\). In other words, if we let \(K=(\bar{g}_1, \dots , \bar{g}_q)\) denote the kernel \(P\rightarrow {\mathcal {A}}_0\). Then K is the initial ideal of J with respect to the order determined by \({\text{ord}}_{S}\). As a consequence, we have
where \(\tilde{g}_j=\tau ^{v_j} g_j(\tau ^{u_1} x_1, \dots , \tau ^{u_p} x_p)\).
Now we lift \(f_1, \dots , f_p\) to generators \(F_1, \dots , F_p\) of R. Then we have: \(g_j(F_1, \dots , F_p)\) lies in \(R_{> n_j}\). By flatness of \({\mathcal {R}}\) over \(\mathbb {C}[\Phi ]\), there exist \(G_j\in g_j+P_{> n_j}\) such that \(G_j(F_1, \dots , F_p)=0\). Let I be the kernel of \(P\rightarrow R\); then \(\{G_j\}\) form a Gröbner basis with respect to the order function v and the associated initial ideal is J.
Given the above data, we know that there is an action of \(T:=(\mathbb {C}^*)^{r+1}=(\mathbb {C}^*)^r\times \mathbb {C}^*\)action on \(\mathbb {C}^p\). The valuation v corresponds to a linear holomorphic vector field \(\xi _0\) with an associated weight function denoted by \(\lambda _0\). \({\text{ord}}_S\) corresponds to another linear holomorphic vector field \(\xi _S\) on \(\mathbb {C}^p\) whose associated weight function will be denoted by \(\lambda _\infty\).
Notice that because v is a real valuation, \(\Phi ^g\) is a subgroup of \(\mathbb {R}\). We denote by \(C\subset \Phi ^g\times \mathbb {Z}\subset \mathbb {R}\times \mathbb {Z}\) the finite set consisting of the differences \((n'_j, v'_j)(n_j, v_j)\). Let M be a positive integer that is larger than all coordinates of \((m,u)(n,v)\) for all pairs of elements \((m,u), (n,v)\in C\) and let \(\epsilon\) be sufficiently small such that \(1>M\epsilon\). Denote by \(e_0^*\) (resp. \(e_1^*\)) the projection of \(\mathbb {R}\times \mathbb {Z}\) to \(\mathbb {R}\) (resp. \(\mathbb {Z}\)) and define
Then for \(\epsilon\) sufficiently small, \(\lambda _\epsilon : \mathbb {R}\times \mathbb {Z}\rightarrow \mathbb {R}\) satisfies \(0<\lambda _\epsilon (n_j, v_j)< \lambda _\epsilon (n'_j, v'_j)\). As a consequence, the linear holomorphic vector field \(\xi _\epsilon \in {\mathfrak {t}}^+_\mathbb {R}\) associated with \(\lambda _\epsilon\) degenerates both X and \(X_0\) to \(Y_0\). On the other hand, the weight function \(\lambda _\epsilon\) determines a filtration on \(P=\mathbb {C}[x_1,\dots , x_p]\) which in turn induces quotient filtrations on R and \({\rm{gr}}_v R\). Because the associated graded rings of the filtrations are both isomorphic to \({\rm{gr}}_wR\), by Lemma 2.11\(\lambda _\epsilon\) induces a quasimonomial valuation over X and a quasimonomial valuation over \(X_0\), both of which will be denoted by \(w_\epsilon\).
Since \(\lambda _\epsilon\) is linear with respect to \(\epsilon\), \(\{\xi _\epsilon \}\) is a ray in \({\mathfrak {t}}^+_\mathbb {R}\) emanating from \(\xi _0\). Denoting \(\eta =\frac{\mathrm{d}}{\mathrm{d}\epsilon }_{\epsilon =0}\xi _\epsilon \in {\mathfrak {t}}_{\mathbb {Q}}\), we then get a special test configuration \(({\mathcal {X}},{\mathcal {D}},\xi _0;\eta )\) of (X, D) to \((Y_0,D'_0)\), and also a special test configuration of \((X_0,D_0)\) to \((Y_0,D'_0)\).
By Lemma 2.58, we have the identities of normalized volumes:
Now we use the minimizing assumption: \({\widehat{{\text{vol}}}}_{(X,D)}(w_\epsilon )\ge {\widehat{{\text{vol}}}}_{(X,D)}(v)\), which via the above identities gives \({\widehat{{\text{vol}}}}_{(Y_0,D'_0)}(\xi _\epsilon )\ge {\widehat{{\text{vol}}}}_{(Y_0,D'_0)}(\xi _0)\). So we get:
Because S is an arbitrary Kollár component over \((X_0,D_0)\), we get \((X_0,D_0; \xi _0)\) is Ksemistable. As discussed above, this implies v is indeed Ksemistable. \(\square\)
Remark 2.65
The above argument works as long as we can find an equivariant degeneration \(Y_0\) of \(X_0={\text{Spec}}({\rm{gr}}_v (R))\), such that we can define the normalized volume on the toric valuations for \(\mathrm{wt}_{\xi }\) where \(\xi \in {\mathfrak {t}}_{\mathbb {R}}(Y)\), since we still have the convexity of the normalized volumes in this setting (see Proposition 2.39).
Uniqueness in General
In this section, we will verify the uniqueness of quasimonomial minimizer if we assume one of them has a finitely generated associated graded ring. This assumption is always fulfilled when the minimizer is divisorial [8, 47] and is conjectured to hold in general.
Assume a quasimonomial valuation v minimizes \({\widehat{{\text{vol}}}}_{(X,D)}\) with a finitely generated associated graded ring. Then \((X_0,D_0, \xi _v)\) is a Ksemistable log Fano cone singularity by Theorem 2.64. By Lemma 2.10, there is a divisorial valuation \(v'\) which after scaling is sufficiently close to v and satisfies that
\(X_0={\text{Spec}}({\text{gr}}_{v'}R)\) is the central fiber of a special test configuration \(\mathcal {X}\rightarrow \mathbb {A}^1\).
Let w be a quasimonomial minimizer of \({\widehat{{\text{vol}}}}_{X,x}\) over \(x\in X\). There exists a weak log canonical model \(Y\rightarrow X\) constructed by Theorem 2.50 with the exceptional divisor \(\sum ^r_{i=1}S_i\) on which w is computed. Denote by \(\{\mathfrak {a}_{\bullet }\}\) the valuative graded ideal sequence of w. As in [47, Section 3], we can degenerate \(\{\mathfrak {a}_{\bullet }\}\) to \(\{{\mathfrak {b}}_{\bullet }\}:=\{\mathbf{in}_v(\mathfrak {a}_{\bullet })\}\) to get a flat family of ideal sequences, and we have
Moreover, since \((X_0,D_0,\xi )\) is Ksemistable, we know \({\text{wt}}_{\xi }\) minimizes \({\text{vol}}_{X_0,D_0}\); thus the last inequality is indeed an equality. As \({\text{mult}}(\mathfrak {a}_{\bullet })={\text{mult}}({\mathfrak {b}}_{\bullet })\), we indeed have \({\text{lct}}(\mathfrak {a}_{\bullet })={\text{lct}}({\mathfrak {b}}_{\bullet })\) and we denote it by c.
Lemma 2.66
There is a\(\mathbb {Q}\)factorial equivariant family\(\tilde{\mu }:\mathcal {Y}\rightarrow \mathcal {X}\) over\(\mathbb {A}^1\), whose general fiber gives\(Y\rightarrow X\). Furthermore, \((\mathcal {Y}, \mu _*^{1}\mathcal {D}+ \sum \mathcal {S}_i+Y_0)\) is log canonical and\(Y_0\) is irreducible.
Proof
By Lemma 2.51, for any \(\epsilon\), we can choose \(S_j\) and \(\epsilon _0\) such that \(a(S_j, X, D+(1\epsilon _0 )c\cdot \frac{1}{m} \mathfrak {a}_m)<\epsilon\) for any sufficiently large m. For \(\mathfrak {a}_m\), we let \(\overline{\mathfrak {a}}_m\) be the family on \(\mathcal {X}\), which degenerates \(\mathfrak {a}_m\) to its initial ideal. Then \(S_i\) in Theorem 2.50 will induce divisors \(\mathcal {S}_i\) over \(\mathcal {X}\) such that
It then follows from the standard approximation that for any \(\epsilon _0>0\) we can assume m sufficiently large such that \((X_0, D_0+(1\epsilon _0 )c\cdot \frac{1}{m} \mathbf{in}(\mathfrak {a}_m))\) is log canonical. By inversion of adjunction, this implies that
is log canonical. In particular, we know that we can find \(\mathcal {Y}\rightarrow \mathcal {X}\) which precisely extracts the divisors \(\mathcal {S}_i\) such that a general fiber yields Y.
It remains to show that \((\mathcal {Y}, \mu _*^{1}\mathcal {D}+ \sum \mathcal {S}_i+Y_0)\) is log canonical. Again by ACC of log canonical thresholds [28], it suffices to show that for the constant \(\beta\) chosen in Theorem 2.50, \((\mathcal {Y}, \mu _*^{1}\mathcal {D}+ \beta \cdot \sum \mathcal {S}_i+Y_0)\) is log canonical. But this is implied by the fact that the log pull back of \(K_\mathcal {Y}+\mu _*^{1}\mathcal {D}+\beta \sum \mathcal {S}_i\) is less or equal to the log pull back of \(K_\mathcal {X}+\mathcal {D}+(1\epsilon _0 )c\cdot \frac{1}{m} \overline{ \mathfrak {a}}_m\). \(\square\)
Then we can define a quasimonomial valuation \(w_0\) as in Definition–Proposition 2.67 over \(X_0\).
Definition–Proposition 2.67
Let \(\eta _0\) be the generic point of a component of \(\overline{\eta }\cap Y_0\). Let \(T_i\) be the (not necessarily irreducible) reduction divisor of \(\mathcal {S}_i\) at the generic point \(\eta _0\). Then \({\text{ord}}_{T_1}\), \({\text{ord}}_{T_2}\), …, and \({\text{ord}}_{T_r}\) generate a rank r sublattice in \({\text{Val}}_{Y_0,\eta _0}\). Furthermore, we can define a quasimonomial valuation \(v_0\) over \(\eta _0\) which is of rational rank r, such that \(v_0(T_i)=\alpha _i\).
Proof
By [18, Proposition 34] we know that \((\mathcal {Y}, Y_0+\sum \mathcal {S}_i+\tilde{\mu }_*^{1}\mathcal {D})\) is qdlt at the generic point of the log canonical center given by an irreducible component \(Z_0\) of \(Y_0\cap \mathcal {Z}\), so we can define such a quasimonomial valuation \(v_0\) over \(\eta\). \(\square\)
The following lemma implies that such a degeneration is indeed uniquely determined:
Lemma 2.68
Let\(w_0\)be a degeneration of a quasimonomial minimizer w. Then for any function\(f\in R\), we have
Proof
We easily see \(w(f)\le w_0(\mathbf{in}(f))\) and now we assume \(w(f)< w_0(\mathbf{in}(f))\) from some f and we will argue this is contradictory to the fact that \({\text{vol}}(w)={\text{vol}}(w_0)\) as in the proof of [47, Proposition 2.3].
We prove it by contradiction. Assume this is not true, we fix \(g\in R\) such that
Denote by \(r= ls>0.\) Fix \(k\in \mathbb {R}_{>0}\). Consider
So \(\mathbf{in}({\mathfrak {b}}_k)\subset \mathfrak {a}_k\), and we want to estimate the dimension of
Fix a positive integer \(m<\frac{k}{l}\) and elements
whose images in \({\mathfrak {b}}_{kml}/{\mathfrak {b}}_{kml+r}\) form a \(\mathbb {C}\)linear basis.
We claim that
are \(\mathbb {C}\)linear independent in \(\mathfrak {a}_k/{\mathfrak {b}}_k\). Granted this for now, we know since \({\text{vol}}(v)>0\), then
which then implies \({\text{vol}}(w')>{\text{vol}}(w'_0)\) and yields a contradiction.
Now we prove the claim.
Step 1: For any \(1\le m \le \frac{k}{l}, 1\le j\le k_m\),
Thus \(\mathbf{in}(f^m\cdot g^{(j)}_{m})\in \mathfrak {a}_k\).
Step 2: Since taking the initial induces an isomorphism of \(\mathbb {C}\)linear spaces between \(R/{\mathfrak {b}}_k\) and \({\text{gr}}_vR/\mathbf{in}({\mathfrak {b}}_k)\) ( [47, Lemma 4.1]), to show \(\mathbf{in}(f^m\cdot g^{(j)}_{m})\) is linearly independent, it suffices to show that \(f^m\cdot g^{(j)}_{m}\) is linearly independent in \(R/{\mathfrak {b}}_k\). This is verbatim the same as Step 2 in the proof of [47, Proposition 2.3] once we replace v by w. \(\square\)
Proposition 2.69
Let\(x\in X\)be a Tsingularity. Assume a minimizer v of\({\widehat{{\text{vol}}}}_{X,x}\)is quasimonomial, then vis Tinvariant.
Proof
It suffices to prove this for \(T=\mathbb {C^*}\), since if a valuation v is \(\mathbb {C}^*\)equivariant for any \(\mathbb {C}^*\), then it is Tinvariant.
We have seen that the degeneration sequence \(\{{\mathfrak {b}}_{\bullet }\}:= \{\mathbf{in}(\mathfrak {a}_{\bullet })\}\) has the same log canonical threshold c as v. We fix \(\epsilon\) and assume that for \(m\in \Phi\) sufficiently large,
is klt.
As in the construction of \(S_i\), and the proof of Theorem 2.50 (see Lemma 2.51), we can indeed assume that
We are going to show that \(S_i\) is equivariant, which then clearly implies v is equivariant. We consider the family of ideals \(\mathfrak {a}_{m, \mathbb {A}^1}\) which \(\mathbb {C}^*\)equivariantly degenerates \(\mathfrak {a}_m\) to \({\mathfrak {b}}_m\). Since \(\mathfrak {a}_{m, \mathbb {A}^1}\) is \(\mathbb {C}^*\)equivariant, we can construct a \(\mathbb {C}^*\)equivariant model \(\mathcal {Y}\rightarrow \mathcal {X}\), which extracts exactly the closure \(\mathcal {S}_i\) of \(S_i\times {\mathbb {C}^*}\) as the log discrepancy
and \((X\times \mathbb {A}^1, D\times \mathbb {A}^1+(c\epsilon )\frac{1}{m}\mathfrak {a}_{m, \mathbb {A}^1})\) is klt. Furthermore, we can assume \(\mathcal {S}_i\) is antiample over \(X\times \mathbb {A}^1\).
Thus \(\mathcal {Y}\) is indeed \(Y\times \mathbb {A}^1\) where \(Y=\mathcal {Y}\times _{\mathbb {A}^1}\{t\}\) for some \(t\ne 0\) as they are isomorphic in codimension 1, and both are the antiample model of the same divisorial valuation over \(X\times \mathbb {A}^1\). This implies that \(S_i\) is equivariant. \(\square\)
Now we can complete the proof of Theorem 1.1.
Proof of Theorem 1.1
For the first part, it is Theorem 2.62.
For the second part, it is Theorem 2.64.
For the last part, using Proposition 2.69 and Theorem 2.42, we know that \(w_0\) is the same as \(\xi _v\) on \((X_0,D_0)\). Then for any \(g\in R\), by Lemma 2.68 we have
thus \(w=v\). \(\square\)
Part II: Singularities on GH Limits
Canonicity of the Semistable Cone
Metric Tangent Cones and Valuations
Let \((M_i, \omega _i)\) be a sequence of smooth Kähler–Einstein Fano manifolds. By Gromov’s compactness in Riemannian geometry, it is known that a subsequence converges to a limit metric space in the Gromov–Hausdorff topology:
By the work of Donaldson–Sun [21] and Tian ([64, 66, 4.14–4.16], see also [67]), we know that \(M_\infty\) is homeomorphic to a normal algebraic variety. Donaldson–Sun [21] also showed that \(M_\infty\) has at worst normal klt singularities and admits a Kähler–Einstein metric \(\omega _\infty\) in the sense of pluripotential theory (see also [6]). On the regular locus \(M^{\text{reg}}_\infty\), \(\omega _\infty\) is a smooth Kähler–Einstein metric. To understand the metric behavior near the singular locus, it is important to understand the metric tangent cones of \((M_\infty , d_\infty )\) which is a metric cone by [12]. From now on, fix \(o\in M_\infty\) and denote by \(C:=C_o M_{\infty }\) a metric tangent cone at \(o\in M_\infty\). In other words, there exists a sequence of positive numbers \(\{r_k\}_{k\in {\mathbb {N}}}\) converging to 0 such that
where the convergence is the pointed Gromov–Hausdorff topology. We know that C admits a Ricciflat Kähler cone structure by the work of Cheeger et al. [13]. More recently, Donaldson–Sun proved in [22] that C is an affine variety with a torus action and can be obtained in three steps: in the first step, they defined a filtration \(\{{\mathcal {F}}^\lambda \}_{\lambda \in \mathcal {S}}\) of the local ring \(R=\mathcal {O}_{M_{\infty },o}\) using the limiting metric structure \(d_\infty\). Here \(\mathcal {S}\) is a set of positive numbers that they called the holomorphic spectrum which depends on the torus action on the metric tangent cone C. In the second step, they proved that the associated graded ring of \(\{\mathcal {F}^\lambda \}\) is finitely generated and hence defines an affine variety, denoted by W. In the last step, they showed that W equivariantly degenerates to C. Notice that this process depends crucially on the limiting metric \(d_\infty\) on \(M_\infty\). On the other hand, they made the following conjecture:
Conjecture 3.1
(Donaldson–Sun) Both W and C depend only on the algebraic structure of \(M_\infty\)near o.
One goal of the project proposed in [38] is to prove this conjecture. We observed in [38, 47] that \(\{{\mathcal {F}}^{\lambda }\}\) comes from a valuation \(v_0\). This is due to the fact that W is an irreducible variety since it degenerates to the normal variety C. As mentioned in [29], this was implicit in [20, 22]. More explicitly, if we denote by \(X={\text{Spec}}(R)\) the germ of \(o\in M_{\infty }\), by the work in [22], one can embed both X and C into a common ambient space \(\mathbb {C}^N\), and \(v_0\) on X is induced by the monomial valuation \({\text{wt}}_{\xi _0}\) where \(\xi _0\) is the linear holomorphic vector field with \(2{\text{Im}}(\xi _0)\) being the Reeb vector field of the Ricci flat Kähler cone metric on C. By this construction, it is clear that the induced valuation by \(v_0\) on W is nothing but \({\text{wt}}_{\xi _0}\).
Here in this paper we also observe that \(v_0\) is a quasimonomial valuation. As pointed out in Lemma 2.11, this follows from a general fact due to Piltant ([57], see [61, Proposition 3.1]) that a valuation \(v_0\) is quasimonomial if and only if the associated graded ring has the same Krull dimension as \(\dim X\). See also Lemma 2.16 where the quasimonomial property of \({\text{wt}}_{\xi _0}\) on W and C is explained.
More importantly, we conjectured in [38] that \(v_0\) can be characterized as the unique minimizer of \({\widehat{{\text{vol}}}}_{M_\infty , o}\). For now we cannot prove this conjecture in the full generality. Nevertheless, as a corollary of the theory developed in this paper (and its predecessors [38, 40, 42, 47]), we can already prove Theorem 1.4 and confirm [22, Conjecture 3.22] for W:
Proof of Theorem 1.4
By the above discussion, for any valuation \(v_0\) as above, we already know that it is quasimonomial and centered at \(o\in M_\infty\) and the induced valuation on \(W={\text{Spec}}({{\text{gr}}_{v_0}}R)\) is equal to \({\text{wt}}_{\xi _0}\). By Theorem 3.5, we know that \((C, \xi _0)\) is Ksemistable.
We claim that \((W, \xi _0)\) is a klt Fano cone singularity and is Ksemistable. To see this, we first note that there exists a prime divisorial valuation S which has a finitely generated associated graded ring and degenerates X to W. As in the proof of Theorem 2.64, such an S can be obtained by perturbing \(\xi _0\) in the Reeb cone of C so that we can ensure that this perturbed vector generates a \(\mathbb {C}^*\) in the big torus that preserves the klt Fano cone singularity C. As a consequence, S is isomorphic to the quotient of C by the \(\mathbb {C}^*\)action. This implies that S is a Kollár component over C. By inversion of adjunction, we also conclude that W has klt singularities. Now since \((W, \xi _0)\) equivariantly degenerates to \((C, \xi _0)\), by Lemma 2.36, we know that \((W, \xi _0)\) is indeed Ksemistable (see also Remark 3.2).
By Theorem 1.3, \(v_0\) is a minimizer of \({\widehat{{\text{vol}}}}_{M_\infty ,o}\) and by Theorem 1.1.3, \(v_0\) is the unique minimizer of \({\widehat{{\text{vol}}}}_{M_\infty ,o}\) among all quasimonomial valuations in \({\text{Val}}_{M_{\infty }, o}\), and it only depends on the algebraic structure of R. Therefore, W only depends on the algebraic structure of the germ \(o\in M_{\infty }\). \(\square\)
Remark 3.2
There is an alternative but essentially equivalent way to show directly that \(v_0\) is a minimizer of \({\widehat{{\text{vol}}}}_{M_\infty , o}\). First, in the proof of Theorem 2.64, we have constructed a degeneration of \((M_\infty , o)\) to (C, o). On the other hand, we know that \({\widehat{{\text{vol}}}}_{M_\infty ,o}(v_0)={\widehat{{\text{vol}}}}_{C,o}({\text{wt}}_{\xi _0})\) and \({\text{wt}}_{\xi _0}\) minimizes \({\widehat{{\text{vol}}}}_{C,o}\). We can then use the same idealdegeneration argument as in the proof of Lemma 2.36 to conclude that \(v_0\) is the minimizer of \({\widehat{{\text{vol}}}}_{M_\infty ,o}\). Theorem 1.1 then also implies \((W, \xi _0)\) is a klt Fano cone singularity which is indeed Ksemistable by Lemma 2.36.
Minimizers from Ricci Flat Kähler Cone Metrics
Let \((X, \xi _0)\) be a Fano cone singularity. Recall that this implies that X is a normal affine variety with at worst klt singularities. Moreover, there is a good T action where \(T\cong (\mathbb {C}^*)^r\) and \(\xi _0\in {\mathfrak {t}}_{\mathbb {R}}^+\). On X there exists a Tequivariant nowherevanishing holomorphic mpluricanonical form \(s\in mK_X\). Such holomorphic form can be solved uniquely up to a constant as in [51, 2.7]. In the following, we will use the following volume form on X:
We can assume that \((X, \xi _0)\) is equivariantly embedded into \((\mathbb {C}^N, \xi _0)\) with \(\xi _0=\sum _i a_i z_i\frac{\partial }{\partial z_i}\) with \(a_i\in \mathbb {R}_{>0}\). Choose any reference Kähler cone metric on \(\mathbb {C}^N\), which is possibly degenerate.^{Footnote 1} For example, we can choose \(\delta >0\) such that \(\delta a_i<1\), for all i, and define a radius function:
Then \(r^2\) is a \(C^{\lfloor 2/(\delta a_i)\rfloor }\)function on \(\mathbb {C}^N\) and has no critical points on \(\mathbb {C}^N{\setminus } \{0\}\). The corresponding Kähler cone metric on \(\mathbb {C}^N\) is equal to
The restriction \(\omega _X:=\omega _{\mathbb {C}^N}_{X}\) is a Kähler cone metric on X. Moreover, \(2{\text{Im}}(\xi _0)=J(r\partial _r)\) is the Reeb vector field of \(\omega _{\mathbb {C}^N}\) and \(\omega _X\). For later purpose, we record following identities which can be verified directly:
Since T acts on X, T also acts on the set of functions on X by \(\tau \circ f(x)=f(\tau ^{1}x)\) for any \(\tau \in T\) and \(x\in X\). For convenience, we introduce the following:
Definition 3.3
Denote by \(PSH(X,\xi _0)\) the set of bounded real functions \({\varphi }\) on X that satisfies

1.
\(\tau \circ {\varphi }={\varphi }\) for any \(\tau \in T\);

2.
\(r^2_{\varphi }:=r^2 {\text {e}}^{{\varphi }}\) is a proper strictly plurisubharmonic function on X.
Definition 3.4
We say that \(r^2_{\varphi }:=r^2 {\text {e}}^{{\varphi }}\) where \({\varphi }\in PSH(X, \xi _0)\) is the radius function of a Ricciflat Kähler cone metric on \((X, \xi _0)\) if \({\varphi }\) is smooth on \(X^{\text{reg}}\) and there exists a positive constant \(C>0\) such that
Compared with the weak Kähler–Einstein case, it is expected that the regularity condition in the above definition is automatically satisfied. With this regularity assumption, on the regular part \(X^{\text{reg}}\), both sides of (57) are smooth volume forms and we have \(r_{{\varphi }}\partial _{r_{\varphi }}=2 {\text{Re}}(\xi _0)\) or, equivalently, \(\xi _0=r_{\varphi }\partial _{r_{\varphi }}i J(r_{\varphi }\partial _{r_{\varphi }})\). Moreover, taking \(\mathcal {L}_{r_{\varphi }\partial _{r_{\varphi }}}\) on both sides gives us the identity \(\mathcal {L}_{r_{\varphi }\partial _{r_{\varphi }}}{\text {d}}V=2n\; {\text {d}}V\). Equivalently we have
where \(s\in mK_X\) is the chosen Tequivariant nonvanishing holomorphic section. By Lemma 2.18, this implies \(A_{X}({\text{wt}}_{\xi _0})=n\) (see [29, 42] for this identity in the quasiregular case). The main goal of this section is to give a proof of the following fact:
Theorem 3.5
If \((X, \xi _0)\) admits a Ricciflat Kähler cone metric, then \(A_X(\xi _0)=n\) and \((X, \xi _0)\) is Ksemistable.
Remark 3.6

1.
In the case when X has isolated singularities at \(o\in X\), this was proved in [15] using an approximation by rational elements in \({\mathfrak {t}}_\mathbb {R}^+\) to reduce to the orbifold case studied in [58]. The proof given below for the general case is different and is a direct generalization of a corresponding proof in the usual Kähler case. We also depend heavily the calculations from [51] which have also appeared in different forms in [16, 22].

2.
As already mentioned, after Berman’s work [4], it is natural to expect that \((X, \xi _0)\) should actually be Kpolystable. Since this requires more technical arguments involving geodesic rays and we do not need this stronger conclusion in this paper, we will leave its verification in [45].
As an immediate corollary, we can also verify that the volume density is equal to the normalized volume at any point on the Gromov–Hausdorff limit. In [29] Hein–Sun pointed out the relationship between these two quantities. Here the volume density of the limit metric space \(M_\infty\) at o is defined to be
where \(\omega _{2n}=\frac{\pi ^n}{n!}\) denotes the volume of the unit ball in the flat \(\mathbb {C}^n\).
Corollary 3.7
Let \(o\in M_\infty\) be a closed point. Then we have the identity:
Proof
If \((C,d_C)\) denotes the metric tangent cone of \((M_{\infty }, d_\infty )\) at o, then by standard metric geometry it is known that
Let \(\xi _0\) be the holomorphic vector field such that \(2{\text{Im}}(\xi _0)\) is the Reeb vector field of the Ricciflat Kähler cone metric \({\sqrt{1}\partial \bar{\partial }}r_{\varphi }^2\). Then we claim that
As explained in [29, Appendix C] (see also [15, 22]) we know that
By Theorem 3.5, \(A_C(\xi _0)=n\). So we have \(n^n\Theta (C,o)={\widehat{{\text{vol}}}}(\xi _0)={\widehat{{\text{vol}}}}(M_\infty , o)\), where the second identity is by Theorems 1.3 and 3.5. \(\square\)
Remark 3.8
Both sides of (61) are equal to
where \(r_{\varphi }\) is the radius function for the Kähler cone metric on C.
The rest of this section is devoted to the proof of Theorem 3.5. Since \(A_X(\xi _0)=n\) has been shown, we will focus on the second statement.
Now assume that \(({\mathcal {X}}, \xi _0;\eta )\) is a special test configuration of X that is induced by a Kollár component. Because \(\eta\) commutes with \(\xi _0\) and generates a \(\mathbb {C}^*\)action, we can assume that \(\eta =\sum _i b_i z_i\frac{\partial }{\partial z_i}\) with \(b_i\in \mathbb {Z}\). Let \(\sigma (t): \mathbb {C}^*\rightarrow {\text {Aut}}(\mathbb {C}^N)\) be the oneparameter subgroup generated by the vector field \(\eta\). Then \(\sigma (t)(z_i)=t^{b_i} z_i\) and thus for the choice of radius function in (54)
where the function \({\varphi }(t)\) is given by
Notice that \({\varphi }(t)\) satisfies the condition \(\xi _0({\varphi })=\bar{\xi }_0({\varphi })=0\), which corresponds to the fact that \({\varphi }(t)\) descends to become a basic function on the link of (X, x).
Following [16], we consider the following cone version of Ding energy:
Definition 3.9
For any function \({\varphi }\in PSH(X, \xi _0)\), we define
where \(E({\varphi })\) is defined by its variations:
By [16], \(E({\varphi })\) is a welldefined function of \({\varphi }\). Moreover by calculating in the polar coordinate with respect to \(r^2_{\varphi }\), one easily sees that \(D({\varphi }+c)=D({\varphi })\). The Euler–Lagrangian equation of \(D({\varphi })\) is the equation of Ricciflat Kähler cone metric in (57). The following lemma is a generalization of a wellknown fact in the regular case.
Lemma 3.10
\(E({\varphi }(t))\) is a concave function with respect to\(s=\log t^2 \in \mathbb {R}\).
Proof
We want to show that \(\frac{{\text {d}}^2}{{\text {d}}s^2} E({\varphi })\le 0\) for any \(s\in \mathbb {R}\). By a change of variable, it is clear that we just need to show this when \(t=1\) or equivalently when \(s=0\). Denoting \({\dot{{\varphi }}}=\frac{\partial }{\partial s}{\varphi }=\frac{\partial }{\partial (\log t^2)}{\varphi }(t)\), we calculate the secondorder derivative of \(E({\varphi })\) with respect to \(s\in \mathbb {R}\). For the simplicity of notation, we denote \(C(n, \xi _0)=(n1)!(2\pi )^n{\text{vol}}(\xi _0)\).
To simplify the result, we use the identity \(\partial _r(\dot{{\varphi }})=0\) to calculate
The integration by parts in the first identity is valid, because we have the following estimate, which can be derived from the invariance of \(\dot{{\varphi }}\) under \(\partial _r\):
Substituting (66) into (65), we get:
To see the negativity of \(\frac{\mathrm{d}^2 E}{\mathrm{d}s^2}\), we can define a (1,1)form on \(X\times \mathbb {C}\) with respect to the variable (z, s) by the following formula:
Because \(\Omega\) is the pull back of positive (1, 1)form \({\sqrt{1}\partial \bar{\partial }}r^2\) on \(\mathbb {C}^N\) under the holomorphic mapping \((p, t)\mapsto \sigma (t)\cdot p\), \(\Omega\) itself is a smooth positive (1, 1)form. Using identities (55)–(56), it’s easy to verify that (67) can be expressed as follows:
The inequality is in the sense of positivity of currents. \(\square\)
Now set \(\xi _{\epsilon }=\xi \epsilon \eta =\sum _i (a_i\epsilon b_i)z_i\partial _{z_i}\) for \(0\le \epsilon \ll 1\) and consider a new radius function with Reeb vector field \(\xi _\epsilon\). For example, corresponding to (54) we can choose
We use the following identity expressing the volume of \({\text{wt}}_{\xi _\epsilon }\) (see [15, 22, 29, 51]):
We need the following important formula due to Martelli–Sparks–Yau (see also [22]):
Lemma 3.11
([51, Appendix C]) The firstorder derivative of\({\text{vol}}_{X_0}(\xi _\epsilon )\) is given by the following formula:
where\(\theta =\theta _\eta =\eta (\log r^2)\) is a bounded function on\(\mathbb {C}^N{\setminus }\{0\}\).
Since our notations may be different from that in the literature, for the reader’s convenience we provide a brief calculation.
Proof
Let \(\left. \frac{{\text {d}}}{{\text {d}}\epsilon }\right _{\epsilon =0}r^2_\epsilon =r^2 u\). Then we have
To simplify the expression, we do the integration by parts:
In the last identity, we have used (56) for \(v=r\) and \(v=u\), respectively. Now the key is to take the variation of the following identity:
to get
which implies \(r^2\xi _0(u)=\eta (r^2)\). Combining this with (71)–(72), we get the first identity of (70). The second identity follows from the first one by using polar coordinate and the fact that \(\theta\) does not depend on r. \(\square\)
Proposition 3.12
(See [16]) The limiting slope of\(E({\varphi }(s))\) is equal to the derivative of the volume up to a constant:
Proof
Let \(\sigma (t)\) be the \(\mathbb {C}^*\)action generated by \(\eta =\sum _i b_i z_i \partial _{z_i}\). Recall that we have \(r(t)^2=(\sigma ^* r^2)_{X_1}\) and \(\dot{{\varphi }}=\frac{\partial }{\partial s}{\varphi }\) is equal to \(\sigma (t)^*(\theta )\) (recall that \(s=\log t^2\)). So we get the following identities:
By using polar coordinate it’s easy to see that
where
Then using the boundedness of \(\theta\) and the argument in [39, pp. 67–68] (see also [4]), we get that:
Combining the above identities and (70), we get the identity (74). \(\square\)
Next we need to deal with the part \(G({\varphi }(s))\):
The flat family \({\mathcal {X}}\rightarrow \mathbb {C}\) has a \(\mathbb {C}^*\)equivariant volume form \(\mathrm{d}V_{{\mathcal {X}}/\mathbb {C}}\) such that \(\left. \mathrm{d}V_{{\mathcal {X}}/\mathbb {C}}\right _{X_t}\) is a volume form on \(X_t\). In the case when \({\mathcal {X}}\) is induced by a Kollár component which is the main case that we used in the main text, we have given an explicit description in Proposition 2.32. Moreover, by Remark 2.33, we have \({\mathcal {L}}_{\eta }\mathrm{d}V_{{\mathcal {X}}/\mathbb {C}}=A(\eta ) \cdot \mathrm{d}V_{{\mathcal {X}}/\mathbb {C}},\) which implies
Then we have
where we have denoted
We need the following variation of a result from [39, Lemma 3.7]:
Lemma 3.13
The function\(\tilde{G}(t)\) in (79) is a bounded continuous function with respect to\(t\in \mathbb {C}\).
Proof
As in the proof of Proposition 3.12, we first transform the integration domain to a compact set. Because \({\mathcal {L}}_{\xi _0}{\text {d}}V_{X_t}=A(\xi _0){\text {d}}V_{X_t}\) and \(r\partial _r=2 {\text{Re}}(\xi _0)\), we also have \({\mathcal {L}}_{r\partial _r}{\text {d}}V_{X_t}=2 A(\xi _0) {\text {d}}V_{X_t}\). So it is easy to verify that
Now on the part \({\mathcal {X}}\cap (\{r\le 1\}\times \mathbb {C}) \subset \mathbb {C}^N\times \mathbb {C}\), we can then use the same calculation as in [39, section 4] to get the conclusion. \(\square\)
Proposition 3.14
(See also [16]) If\(A_X(\xi _0)=n\), then the asymptotic slope of the Ding energy is equal to the Futaki invariant of the special test configuration:
Proof
Combining (74) and (78), we get:
On the other hand, using the assumption that \(A_X(\xi _0)=A_{X_0}(\xi _0)=n\), we have
Now (81) follows from the above identity. \(\square\)
Finally, we can complete the proof of Theorem 3.5.
Completion of the Proof of Theorem 3.5
If there exists a Ricciflat Kähler cone metric on \((X, \xi )\), then the Ding energy \(D({\varphi })\) is bounded from below. As pointed out in [22] this can be proved by following the same proof for the Kähler–Einstein case. Indeed, for any \({\varphi }\in PSH(X, \xi _0)\), we get transversal Kähler potential which is still denoted by \({\varphi }\). By using the same proof as in [5, pp. 156–157], there exists a bounded geodesic \({\varphi }_t\) connecting 0 and \({\varphi }\). On the other hand, adapting Berndtsson’s proof of subharmonicity to the Sasakian case, Donaldson–Sun showed that \(D({\varphi }_t)\) is convex with respect to t. Because \({\varphi }_0=0\) is a critical point of \(D({\varphi }_t)\), one knows that \(D({\varphi })\ge D(0)\).
Since \(D({\varphi }(s))\) is uniformly bounded from below, by (81), \({\text{Fut}}({\mathcal {X}}, \xi _0; \eta ) \ge 0\). As this holds for any special test configuration induced by any Kollár component, we get the conclusion. \(\square\)
Finite Degree Formula
Now we can verify the degree multiplication formula in Theorem 1.7.
Proof of Theorem 1.7
We first assume \(\pi\) is a Galois covering with the Galois group G.
Let \(v_0\) be the valuation defined in Sect. 3.1.1, which induces the degeneration of \((o\in M_{\infty })\) to W. We can fix a sequence of \(v_i\rightarrow v_0\) such that \(v_i\) is a rescaling of Kollár component. Since the pull back of a Kollár component is a Ginvariant Kollár component, we conclude that we can pull back \(v_0\) to get a Ginvariant valuation \(v'\in {\text{Val}}_{Y,y}\). It suffices to prove \(v'\) is a minimizer of \({\widehat{{\text{vol}}}}_{Y}\) (see, e.g., [48, Theorem 2.6]).
Since \(v'\) is Ginvariant, \(v'(f)=\frac{1}{G}v'({\text{Nm}}(f))\), we know that a Ginvariant element in \(R'\) has its valuation under \(v'\) is at least k if and only if it is an element in R whose valuation under v is at least k, i.e., \((\mathfrak {a}_{v'})^G_k=(\mathfrak {a}_v)_k\). In particular, \({\text{gr}}_{v'}R'\) is finitely generated as it is finite over \({\text{gr}}_{v}R\). We denote by \(W_Y={\text{Spec}}({\text{gr}}_{v'}R')\). Then \(\pi _W:W_Y\rightarrow W\) is quasiétale with Galois group G. In fact this is clear in the quasiregular case, and in the general case, we can use Lemma 2.10 to reduce to the quasiregular case. Furthermore, G commutes with the Taction on \(W_Y\) as it preserves the vdegree, and the vector associated with \(v'\) on \(W_Y\) is \(\pi ^*(\xi _0)\), which is denoted by \(\xi _0'\).
Consider the special test configuration \((\mathcal {W},\xi _0;\eta )\) which degenerates \((W,\xi _0)\) to \((C, \xi _0)\). Taking the finite normalization of \(\mathcal {W}\) in the function field \(K(W_Y\times \mathbb {A}^1)\), we obtain a normal variety \(\Pi :\mathcal {W}_Y\rightarrow \mathcal {W}\) with the special fiber denoted by \(C_Y\), which is reduced as G acts trivially on the base \(\mathbb {C}^*\). Since \((\mathcal {W},C)\) is plt, it implies \((\mathcal {W}_Y, C_Y)\) is plt. Therefore, \((\mathcal {W}_Y,\xi _0';\eta ')\) is a special test configuration of \((W_Y,\xi '_0)\) to a Fano cone singularity \((C_Y,\xi '_0)\) which is a Gcovering of \((C,\xi _0)\). The latter has a Ricciflat Kähler cone metric (see [13, 22]) which can be pulled back to give such a metric on \((C_Y,\xi _0)\). More precisely, there exists a radius function \(r_{\varphi }=r {\text {e}}^{{\varphi }/2}\) that is a solution to the Monge–Ampére equation (see (57)).
where s is a Tequivariant nonvanishing holomorphic section of \(\left mK_{C}\right\). We can pull back both sides of (82) to \(C_Y\) and get a solution to the corresponding Monge–Ampére equation on \(C_Y\):
The identity holds in the sense of pluripotential theory. Moreover, because \(\pi\) is quasiétale, it is easy to see that \(\pi ^*(r_{\varphi }^2)\) is a Ricciflat Kähler cone metric in the sense of Definition 3.4 and the associated Reeb vector field on the regular part of \(C_Y\) is nothing but \(2{\text{Im}}(\xi '_0)\). So by Theorem 3.5, \({\text{wt}}_{\xi '_0}\) is indeed a minimizer of \({\widehat{{\text{vol}}}}_{C_Y}\). Arguing in the proof of Theorem 1.4, we know that \(v'\) is indeed a minimizer of \({\widehat{{\text{vol}}}}_{Y}\).
Now we treat the case that \(\pi\) is a general quasiétale morphism. Let \(\pi ':(Y',y')\rightarrow (M_{\infty },o)\) be the Galois morphism generated by \(\pi\) which factors through \(\pi\) and denote its Galois group by G. Then we know that the minimizer \(v'\) of \((Y',y')\) is Ginvariant by the above discussion on the Galois case. Therefore, it is also \({\text{Galois}}(Y'/Y)\)invariant, which implies \({\widehat{{\text{vol}}}}(y',Y')=\deg (Y'/Y)\cdot {\widehat{{\text{vol}}}}(y,Y)\). So we conclude
as \(\deg (\pi )=G/\deg (Y'/Y)\). \(\square\)
Notes
 1.
The following calculations and arguments do not depend on the choice of reference metrics, i.e. remain valid for any choice of reference metric.
References
 1.
Altmann, K., Hausen, J.: Polyhedral divisors and algebraic torus actions. Math. Ann. 224(3), 557–607 (2006)
 2.
Altmann, K., Ilten, N.O., Petersen, L., Süss, H., Vollmert, R.: The geometry of \(T\)varieties. Contrib. Algebraic Geom. EMS Ser. Congr. Rep. Eur. Math. Soc. Zürich 15, 17–69 (2012)
 3.
Ambro, F.: The set of toric minimal log discrepancies. Cent. Eur. J. Math. 4(3), 358–370 (2006)
 4.
Berman, R.: Kpolystability of \(\mathbb{Q}\)Fano varieties admitting Kähler–Einstein metrics. Invent. Math. 203(3), 973–1025 (2015)
 5.
Berndtsson, B.: A Brunn–Minkowski type inequality for Fano manifolds and the Bando–Mabuchi uniqueness theorem. Invent. Math. 205(1), 149–200 (2015)
 6.
Berman, R., Boucksom, S., Eyssidieux, P., Guedj, V., Zeriahi, A.: Kähler–Einstein metrics and the Kähler–Ricci flow on log Fano varieties. J. Reine Angew. Math. arXiv:1111.7158
 7.
Birkar, C., Cascini, P., Hacon, C.D., McKernan, J.: Existence of minimal models for varieties of log general type. J. Am. Math. Soc 23, 405–468 (2010)
 8.
Blum, H.: Existence of valuations with smallest normalized volume. Compos. Math. 154(4), 820–849 (2018)
 9.
Blum, H., Jonsson, M.: Thresholds, valuations, and Kstability. arXiv:1706.04548
 10.
Boucksom, S., Favre, C., Jonsson, M.: A refinement of Izumi’s theorem. Valuat. Theory. Interact. EMS Ser. Congr. Rep. Eur. Math. Soc. Zürich 18, 55–81 (2014)
 11.
Boucksom, S., Hisamoto, T., Jonsson, M.: Uniform Kstability, Duistermaat–Heckman measures and singularities of pairs. Ann. Inst. Fourier (Grenoble) 67(2), 743–841 (2017)
 12.
Cheeger, J., Colding, T.H.: On the structure of spaces with Ricci curvature bounded below. I. J. Differ. Geom. 46(3), 406–480 (1997)
 13.
Cheeger, J., Colding, T.H., Tian, G.: On the singularities of spaces with bounded Ricci curvature. Geom. Funct. Anal. 12(5), 873–914 (2002)
 14.
Chen, X.X., Donaldson, S.K., Sun, S.: Kähler–Einstein metrics on Fano manifolds, I–III. J. Am. Math. Soc. 28, 183–197, 199–234, 235–278 (2015)
 15.
Collins, T., Székelyhidi, G.: Ksemistability for irregular Sasakian manifolds. J. Differ. Geom. arXiv:1204.2230
 16.
Collins, T., Székelyhidi, G.: SasakiEinstein metrics and Kstability. arXiv:1512.07213
 17.
Cutkosky, S.D.: Multiplicities associated to graded families of ideals. Algebra Number Theory 7(9), 2059–2083 (2013)
 18.
de Fernex, T., Kollár, J., Xu, C.: The dual complex of singularities. Higher dimensional algebraic geometry. Adv. Stud. Pure Math. 74, 103–130 (2017)
 19.
Donaldson, S.: Scalar curvature and projective embeddings. I. J. Differ. Geom. 59(3), 479–522 (2001)
 20.
Donaldson, S.: Kähler–Einstein metrics and algebraic structures on limit spaces. Surv. Differ. Geom. Adv. Geom. Math. Phys. 21, 85–94 (2016)
 21.
Donaldson, S., Sun, S.: Gromov–Hausdorff limits of Kähler manifolds and algebraic geometry. Acta Math. 213(1), 63–106 (2014)
 22.
Donaldson, S., Sun, S.: Gromov–Hausdorff limits of Kähler manifolds and algebraic geometry, II. J. Differ. Geom. 107(2), 327–371 (2017)
 23.
Ein, L., Lazarsfeld, R., Smith, K.: Uniform approximation of Abhyankar valuation ideals in smooth function fields. Am. J. Math. 125(2), 409–440 (2003)
 24.
Fujita, K.: Optimal bounds for the volumes of Kähler–Einstein Fano manifolds. Am. J. Math. 140(2), 391–414 (2018)
 25.
Fulton, W.: Intersection Theory, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics, 2nd edn. Springer, Berlin (1998)
 26.
Futaki, A.: An obstruction to the existence of Einstein Kähler metrics. Invent. Math. 43, 437–443 (1983)
 27.
Gigena, S.: Integral invariants of convex cones. J. Differ. Geom. 13, 191–222 (1978)
 28.
Hacon, C., McKernan, J., Xu, C.: ACC for log canonical thresholds. Ann. Math. 180(2), 523–571 (2014)
 29.
Hein, H.J., Sun, S.: Calabi–Yau manifolds with isolated conical singularities. Publ. Math. IHES 126, 73–130 (2017)
 30.
Ilten, N., Süss, H.: Kstability for Fano manifolds with torus action of complexity 1. Duke Math. J. 166(1), 177–204 (2017)
 31.
Ishii, S.: Extremal functions and prime blowups. Commun. Algebra 32(3), 819–827 (2004)
 32.
Jonsson, M., Mustaţă, M.: Valuations and asymptotic invariants for sequences of ideals. Ann. Inst. Fourier (Grenoble) 62(6), 2145–2209 (2012)
 33.
Kaveh, K., Khovanskii, A.: Newton–Okounkov bodies, semigroups of integral points, graded algebras and intersection theory. Ann. Math. 176(2), 925–978 (2012)
 34.
Kaveh, K., Khovanskii, A.: Convex bodies and multiplicities of ideals. Proc. Steklov Inst. Math. 286(1), 268–284 (2014)
 35.
Kollár, J., Mori, S.: Birational Geometry of Algebraic Varieties. Cambridge Tracts in Math, vol. 134. Cambridge University Press, Cambridge (1998)
 36.
Kollár, J.: Singularities of the Minimal Model Program. Cambridge Tracts in Math, vol. 200. Cambridge University Press, Cambridge (2013)
 37.
Lazarsfeld, R., Mustaţă, M.: Convex bodies associated to linear series. Ann. Sci. Éc. Norm. Supér. 42(5), 783–835 (2009)
 38.
Li, C.: Minimizing normalized volumes of valuations. Math. Z. 289(1–2), 491–513 (2018)
 39.
Li, C.: Yau–Tian–Donaldson correspondence for Ksemistable Fano manifolds. J. Reine Angew. Math. 733, 55–85 (2017)
 40.
Li, C.: Ksemistability is equivariant volume minimization. Duke Math. J. 166(16), 3147–3218 (2017)
 41.
Liu, Y.: The volume of singular Kähler–Einstein Fano varieties. Compos. Math. 154(6), 1131–1158 (2018)
 42.
Li, C., Liu, Y.: KählerEinstein metrics and volume minimization. Adv. Math. arXiv:1602.05094
 43.
Liendo, A., Süss, H.: Normal singularities with torus actions. Tohoku Math. J. Second Ser. 65(1), 105–130 (2013)
 44.
Li, C., Wang, X., Xu, C.: On proper moduli space of smoothable Kähler–Einstein Fano varieties. arXiv:1411.0761v3
 45.
Li, C., Wang, X., Xu, C.: Algebraicity of the metric tangent cones and equivariant Kstability. arXiv:1805.03393
 46.
Li, C., Xu, C.: Special test configurations and Kstability of Fano varieties. Ann. Math. (2) 180(1), 197–232 (2014)
 47.
Li, C., Xu, C.: Stability of valuations and Kollár components. arXiv:1604.05398
 48.
Liu, Y., Xu, C.: Kstability of cubic threefolds. arXiv:1706.01933
 49.
Nicaise, J., Mustaţă, M.: Weight functions on nonArchimedean analytic spaces and the Kontsevich–Soibelman skeleton. Algebraic Geom. 2(3), 365–404 (2015)
 50.
Martelli, D., Sparks, J., Yau, S.T.: The geometric dual of \(a\)maximisation for toric Sasaki–Einstein manifolds. Commun. Math. Phys. 268, 39–65 (2006)
 51.
Martelli, D., Sparks, J., Yau, S.T.: Sasaki–Einstein manifolds and volume minimisation. Commun. Math. Phys. 280, 611–673 (2008)
 52.
Mustaţă, M.: On multiplicities of graded sequences of ideals. J. Algebra 256, 229–249 (2002)
 53.
Nicaise, J., Xu, C.: The essential skeleton of a degeneration of algebraic varieties. Am. J. Math. 138(6), 1645–1667 (2016)
 54.
Okounkov, A.: Brunn–Minkowski inequality for multiplicities. Invent. Math. 125(3), 405–411 (1996)
 55.
Odaka, Y., Xu, C.: Logcanonical models of singular pairs and its applications. Math. Res. Lett. 19(2), 325–334 (2012)
 56.
Petersen, L., Süss, H.: Torus invariant divisors. Israel J. Math. 182, 481–504 (2011)
 57.
Piltant, O.: Graded algebras associated with a valuation (preprint Ecole Polytechnique)
 58.
Ross, J., Thomas, R.: Weighted projective embeddings, stability of orbifolds, and constant scalar curvature Kähler metrics. J. Differ. Geom. 88(1), 109–159 (2011)
 59.
Spotti, C., Sun, S.: Explicit Gromov–Hausdorff compactifications of moduli spaces of Kähler–Einstein Fano manifolds. arXiv:1705.00377
 60.
Spotti, C., Sun, S., Yao, C.: Existence and deformations of Kähler–Einstein metrics on smoothable \(\mathbb{Q}\)Fano varieties. Duke Math. J. 165(16), 3043–3083 (2016)
 61.
Teissier, B.: Valuations, deformations, and toric geometry. Valuat. Theory Appl. 2, 361–459 (2003)
 62.
Teissier, B.: Overweight deformations of affine toric varieties and local uniformization. Valuat. Theory Interact. 2014, 474–565 (2014)
 63.
Tevelev, J.: On a question of Teissier. Collect. Math. 65(1), 61–66 (2014)
 64.
Tian, G.: On Calabi’s conjecture for complex surfaces with positive first Chern class. Invent. Math. 101, 101–172 (1990)
 65.
Tian, G.: Kähler–Einstein metrics with positive scalar curvature. Invent. Math. 137, 1–37 (1997)
 66.
Tian, G.: Existence of Einstein Metrics on Fano Manifolds, In: Dai X., Rong X. (eds.) Metric and Differential Geometry Progress in Mathematics, vol. 297, pp. 119–159. Birkhäuser, Basel (2012)
 67.
Tian, G.: Partial \(C^0\)estimate for Kähler–Einstein metrics. Commun. Math. Stat. 1(2), 105–113 (2013)
 68.
Tian, G.: Kstability and Kähler–Einstein metrics. Commun. Pure Appl. Math. 68(7), 1085–1156 (2015)
 69.
Xu, C.: Finiteness of algebraic fundamental groups. Compos. Math. 150(3), 409–414 (2014)
 70.
Zariski, O., Samuel, P.: Commutative Algebra II. In: Graduate Texts in Mathematics, vol. 29, Springer, New York (1975)
Acknowledgements
We want to thank Harold Blum, Yuchen Liu, Mircea Mustaţǎ and Gang Tian for helpful discussions and comments. CL is partially supported by NSF DMS1405936 and Alfred P. Sloan research fellowship. Part of this work was done during CX’s visiting of the Department of Mathematics in MIT, to which he wants to thank the inspiring environment. CX is partially sponsored by ‘The National Science Fund for Distinguished Young Scholars (11425101)’.
Author information
Affiliations
Corresponding author
Additional information
The original version of this article was revised: Example 4.2 as well as Lemma 3.31 and Lemma 2.51 have been incorrectly referenced by error. Furthermore, the multiletter variables such as gr, div, spec have been set in italic instead in roman.
The original version of this article was revised: for details see article https://doi.org/10.1007/s4254301900009y.
Appendix: Example: \(D_{k+1}\)Singularities
Appendix: Example: \(D_{k+1}\)Singularities
In this section, we verify that the candidate minimizers computed in [38] for \(D_{k+1}\) singularities induced by monomial valuations on the ambient spaces are indeed the unique quasimonomial minimizers of \({\widehat{{\text{vol}}}}\), except possibly for the case of fourdimensional \(D_4\) singularity for which we cannot confirm yet.
Example 4.1
Consider the threedimensional \(D_{k+1}\) singularity for \(k\ge 4\):
\(X={\text{Spec}}(R)\) with \(R=\mathbb {C}[z_1, \dots , z_4]/(f(z))\). In [38], we calculated the candidate minimizing valuation \(v_0\) of \({\widehat{{\text{vol}}}}_{X,x}\). \(v_0\) is induced by the weight
We verify here that this is indeed a global minimizer of \({\widehat{{\text{vol}}}}_{X,x}\). First notice that the weight \(w_0\) degenerates X to the following klt singularity:
\(X_0\) is called the suspended pinch point in [50]. It is a toric singularity. Indeed it admits an effective action by \(T=(\mathbb {C}^*)^3\) given by
It is easy to see that the polyhedral cone \(\sigma\) and its dual (moment cone) \(\sigma ^{\vee }\) are given by
Moreover, it was known that there exists a Sasaki–Einstein metric on \(X_0\) and its Reeb vector field can be calculated explicitly (see [50]). Here we can calculate the Reeb vector field using the above combinatorial data. \(J(r\partial _r)=2 {\text{Im}}(\xi _0)\) where the holomorphic vector field \(\xi _0\) corresponds to an element \(\xi _0\in {\mathfrak {t}}^{+}_\mathbb {R}\) which satisfies two conditions: (1) \(A_X(\xi _0)=3\), (2) \(\xi _0\) minimizes \({\widehat{{\text{vol}}}}(\xi )\) among all \(\xi \in {\mathfrak {t}}^{+}_\mathbb {R}\). Notice that \(X_0\) is a Gorenstein singularity and \(A(\xi )=\langle u_0, \xi \rangle\) with \(u_0=(1,1,1)\). By using the \(\mathbb {Z}_2\) symmetry of the cones, it is elementary to get the unique minimizer
Now the weight corresponding to \(\xi _0\) on the \((z_1, \dots , z_4)\) is equal to
So \(w_0\) is indeed a global minimizer of \({\widehat{{\text{vol}}}}_{X,x}\).
Example 4.2
Consider the fourdimensional \(D_{k+1}\) singularity for \(k\ge 4\):
The candidate minimizing valuation calculated in [38] is induced by the following weight:
The weight \(w_0\) degenerates X to the nonisolated singularity:
We observe that \(X_0\) is a Tvariety of complexity one. \(T=(\mathbb {C}^*)^3\) acts by
We want to show that \((X_0, \xi _0)\) is Ksemistable by using the theory of Tvarieties as has been used in [16] which is based on the study of Tequivariant special test configurations in [30]. Notice that because we have been studying the question purely algebraically, we can indeed deal with Ksemistability of general (nonisolated) klt singularities like \(X_0\).
Using the process in [1, Section 11], we can write down the polyhedral divisor determining \(X_0\). First we write down the polyhedral divisor for \(\mathbb {C}^5\) as the Tvariety. Following [1], for the above Taction, we have the exact sequence:
where F and P are given by the following matrices:
We then find \(s: N_2\rightarrow N_1\) satisfying \(s\circ F={\text{id}}_{N_1}\). s can be chosen simply to be
The generic fiber of \(\widetilde{\mathbb {C}^5}\rightarrow Y_{\text{toric}}\) is the toric variety associated with the following cone:
The dual cone \(\sigma ^{\vee }\) is given by:
The base of \(Y_{\text{toric}}\) of \(\mathbb {C}^5\) as the Tvariety is given by the toric variety associated with the fan cutted out by the column vectors of P. So it is clear that \(Y_{\text{toric}}={\mathbb {P}}^2\). The associated polyhedral divisor, denoted by
can be calculated using the recipe from [1]:
Notice that \(\Delta _0\) and \(\Delta _1\) are nonintegral while \(\Delta _2\) is integral. Now the base Y of X is the normalization of the closure of image of \(X\cap (\mathbb {C}^*)^5\) in \(Y_{\text{toric}}\). The map \((\mathbb {C}^*)^5\rightarrow (\mathbb {C}^*)^2\) is induced by the ring homomorphism \(\mathbb {C}[N_3^\vee ]\rightarrow \mathbb {C}[N_2^\vee ]\) and hence is given under the coordinate by
So Y is given by
We can restrict \({\mathfrak {D}}_{\text{toric}}\) to Y and thus obtain a proper polyhedral divisor for the Tvariety X:
By the argument in [30], one knows that normal test configurations are determined by a triple (q, v, m) where \(q\in {\mathbb {P}}^1\), v is a vertex of \(\sigma \cap (N_1)_{\mathbb {Q}}\) and \(m\in \mathbb {Z}\) and they need to satisfy the following admissible condition ([30, Definition 3.8]): for all \(u\in \sigma ^\vee \cap N_1^\vee\), there is at most one \(p\in {\mathbb {P}}^1\) with \(p\ne q\) such that the function
is nonintegral. In the current example, if we choose \(u=(0,1,1)\in \sigma ^\vee \cap N_1^\vee\) then
So to get a normal test configuration, by the admissibility condition we are forced to choose either \(q=0\) or \(q=1\). On the other hand, the data (v, m) only changes the action and does not change the total space of the test configuration. We can now easily guess the special test configurations whose special fibers are given by
Here \(\hat{X}^3\) is the threedimensional suspended pinch point that appeared in (84). One can verify by the same calculation in [38] or [16] that these two special test configurations have positive Futaki invariants. So we conclude that \((X_0, \xi _0)\) is Ksemistable and hence \(v_0\) induced by \(w_0\) is indeed a global minimizer of \({\widehat{{\text{vol}}}}\).
Theorem 4.3
For any \((n+1)\)dimensional \(D_{k+1}\) singularity, except for fourdimensional \(D_4\) singularity, we know its unique quasimonomial minimizer.
In fact, combining the above examples with the calculations in [38] and the arguments in [47], we have the following almost complete picture:

1.
\(n+1=2\), then \(X\cong \{z_1^2+z_2^2z_3+z_3^k=0\}=\mathbb {C}^2/D_{k+1}\) where \(D_{k+1}\) is the \((k+1)\)th binary dihedral group. By [42], the valuation \(v_0\) induced by the weight \(\left( 1,1\frac{1}{k} , \frac{2}{k}\right)\) is a global minimizer of \({\widehat{{\text{vol}}}}\).

2.
\(n+1=3\), \(k=3\). \(X=\{z_1z_2+z_3^2z_4+z_4^3=0\}\) is a Tvariety of complexity one with an isolated singularity. By [16], X admits a quasiregular Ricci flat Kähler cone metric whose Reeb vector field up to rescaling is associated with the natural weight (1, 1, 2/3, 2/3).

3.
\(n+1=4\), \(k=3\). In this case, we expect that X admits a quasiregular Ricciflat Kähler cone metric whose Reeb vector field is associated with the natural weight (1, 1, 1, 2/3, 2/3).

4.
\(n+1=5\), \(k=3\). \(X=\{z_1z_2+z_3^2+z_4^2+z_5^2z_6+z_6^3=0\}\). The minimizer \(v_0\) is induced by the weight \(w_0=(1,1,1,1,2/3,2/3)\) which preserves X. X is strictly semistable because it specially degenerates to \(X'=\{z_1z_2+z_3^2+z_4^2=0\}\cong A^3_1\times \mathbb {C}^2\) with zero Futaki invariant.

5.
\(n+1=3\) or 4, and \(k\ge 4\). These are the examples considered above. The minimizers found are quasimonomial valuations of rational rank 3.

6.
\(n+1=5\) and \(k\ge 4\). The minimizer \(v_0\) is induced by the weight \(w_0=(1,1,1,2/3,2/3)\). \(w_0\) specially degenerates X to \(X_0=\{z_1z_2+z_3^2+z_4^2+z_5^2z_6=0\}\) which is strictly semistable since \(X_0\) further degenerates to \(X'=\{z_1 z_2+z_3^2+z_4^2=0\}\cong A^3_1\times \mathbb {C}^2\) with zero Futaki invariant.

7.
\(n+1\ge 6\) and \(k\ge 3\). The minimizer \(v_0\) is induced by \(w_0=\left( 1, \ldots , 1, \frac{n2}{n1}, \frac{n2}{n3}\right)\). \(w_0\) degenerates X to \(\{z_1^2+\cdots +z_n^2=0\}=A^{n1}_1\times \mathbb {C}^2\).
Rights and permissions
About this article
Cite this article
Li, C., Xu, C. Stability of Valuations: Higher Rational Rank. Peking Math J 1, 1–79 (2018). https://doi.org/10.1007/s4254301800017
Received:
Revised:
Accepted:
Published:
Issue Date:
Keywords
 Quasimonomial valuation
 Normalized volume
 Kstability
 Metric tangent cone