---
abstract: |
    In this paper, we consider the CM line bundle on the K-moduli space, i.e., the moduli space parametrizing K-polystable Fano varieties. We prove it is ample on any proper subspace parametrizing reduced uniformly K-stable Fano varieties which conjecturally should be the entire moduli space. As a corollary, we prove that the moduli space parametrizing smoothable K-polystable Fano varieties is projective.

    During the course of proof, we develop a new invariant for filtrations which can be used to test various K-stability notions of Fano varieties.
address:
- 'Department of Mathematics, MIT, Cambridge, MA, 02139.'
- 'Beijing International Center for Mathematical Research, Beijing, 100871'
- 'Department of Mathematics, MIT, Cambridge, MA, 02139.'
author:
- Chenyang Xu
- Ziquan Zhuang
title: 'On positivity of the CM line bundle on K-moduli spaces'
---

[ ]{}

Introduction
============

Positivity of CM line bundle
----------------------------

The aim of the current paper is to study the positivity of CM line bundle on the moduli space parametrizing K-polystable Fano varieties.

The CM line bundle was introduced algebraically in [@Tia97] on the base of a family of (possibly singular) projective polarized varieties, as a generalization of a well studied Hermitian line bundle on the moduli space parametrizing polarized manifolds with constant scalar curvature (see [@Koi83; @Schu83; @Tian87; @FS90] etc.). Its current formulation using the Knudson-Mumford expansion was introduced in [@PT09] (see also [@FR06; @PRS08] etc.). In many moduli problems, the CM line bundle is expected to give a natural polarization of the corresponding moduli spaces. In particular, [@PX17] shows that this holds on the KSB moduli spaces, i.e., on the moduli space parametrizing canonically polarized varieties with semi-log-canonical singularities, the CM line bundle is ample.

In the Fano case, however, positivity of the CM line bundle has been a long standing question. By recent works [@Jia17; @BX19; @ABHX19; @BLX19; @Xu19], we know that the good moduli space $M^{\rm Kps}_{n,v}$ parametrizing $n$-dimensional K-polystable Fano varieties with a given volume $v$ exists as a separated algebraic space. Conjecturally it is also proper, and the ultimate goal is to show that the CM line bundle is ample on the (conjecturally proper) space $M^{\rm Kps}_{n,v}$, which endows it with a projective scheme structure.

The K-moduli space $M^{\rm Kps}_{n,v}$ contains an interesting ‘main component’ $\overline{M}^{\rm sm, Kps}_{n,v}$ (see [@LWX19; @Oda15]) parametrizing smoothable K-polystable Fano varieties, which is known to be proper (see e.g. [@DS14]). In [@LWX18], the CM line bundle $\Lambda_{{\mathrm{CM}}}$ was proved to be big and nef on $\overline{M}^{\rm sm, Kps}_{n,v}$ and ample on the open locus $M^{\rm sm, Kps}_{n,v}$ parametrizing smooth K-polystable Fano varieties. However, the argument is of an analytic nature, as it uses the positivity of Weil-Petersson metric and heavily depends on the fact that the generic point of the moduli space parametrizes a Fano manifold. Also see its log version extension in [@ADL19].

An important progress towards the positivity of CM line bundle, using only algebro-geometric arguments, is achieved in [@CP18]. There they show that for a general family $f\colon X\to B$ of (possibly singular) Fano varieties over a proper base, the CM line bundle $\lambda_{f}$ on $B$ is nef if the fibers are K-semistable, and big if the family has maximal variation (Definition \[defn:max var\]) and the fibers are uniformly K-stable. In their proof, the characterization of K-stability using the log canonical thresholds with respect to basis type divisors, as developed in [@FO18; @BJ17], plays an essential role.

In this paper, we aim to prove positivity results of the CM line bundle which conjecturally gives the full projectivity of $M^{\rm Kps}_{n,v}$. Our first main statement goes as follows.

\[t-main2\] Let $M\subset M^{\rm Kps}_{n,v}$ be a proper algebraic subspace such that every geometric point $s\in M$ parametrizes a reduced uniformly K-stable Fano variety $X_{s}$. Then the CM $({\mathbb{Q}}$-$)$line bundle $\Lambda_{{\mathrm{CM}}}|_{M}$ is ample.

Our proof of Theorem \[t-main2\] is purely algebraic. Here the algebro-geometric concept of [*reduced uniform K-stability*]{} was introduced in [@His16] and developed systematically in [@Li19]. It serves as an analogue of uniform K-stability when ${\rm Aut}(X)$ is of positive dimension. Recall that a Fano variety $X$ is said to be uniformly K-stable if there exists some $\eta>0$ such that ${\mathbf{D}^{\mathrm{NA}}}({\mathcal{X}},{\mathcal{L}})\ge \eta\cdot {\mathbf{J}^{\mathrm{NA}}}({\mathcal{X}},{\mathcal{L}})$ for any test configuration $({\mathcal{X}},{\mathcal{L}})$ of $X$, where ${\mathbf{D}^{\mathrm{NA}}}({\mathcal{X}},{\mathcal{L}})$ is the Ding-invariant and ${\mathbf{J}^{\mathrm{NA}}}({\mathcal{X}},{\mathcal{L}})$ is a norm on the space of test configurations that vanishes exactly on (almost) trivial test configurations (see [@Fuj19; @Li17] or Definition \[defn:D\^NA\]). To define reduced uniform K-stability, we simply replace the ${\mathbf{J}^{\mathrm{NA}}}$-functional by a reduced version ${\mathbf{J}^{\mathrm{NA}}}_T$ which is the infimum of ${\mathbf{J}^{\mathrm{NA}}}$ among all test configurations that can be obtained by ‘twisting’ the given one (this way we get a norm functional on the space of test configurations that vanishes exactly on product test configurations). We refer to Section \[ss-ruk\] for the precise definition.

By the recent work [@Li19] (see also [@BBJ15; @LTW19]), reduced uniform K-stability is equivalent to the existence of (singular) Kähler-Einstein metric. As all smoothable K-polystable Fano varieties admit Kähler-Einstein metrics by [@CDS; @Tia15] (see also [@LWX19; @SSY16]), we get the following immediate consequence, which affirmatively answers a question asked by many people (see e.g. [@Don18a], [@Don18 §4.2 the last paragraph] or [@Sun18 §4]).

\[c-smkps\] Let $k={\mathbb{C}}$. The CM ${\mathbb{Q}}$-line bundle $\Lambda_{\rm CM}$ is ample on the proper moduli space $\overline{M}^{\rm sm, Kps}_{n,v}$.

In general, all K-polystable Fano varieties are expected to be reduced uniformly K-stable (see Conjecture \[c-kpoly\]), just as K-stability is conjectured to be equivalent to uniform K-stability (see e.g. [@BX19 Conjecture 1.5]). Therefore, at least conjecturally, the assumption of Theorem \[t-main2\] should be satisfied for all proper algebraic subspaces of $M^{\rm Kps}_{n,v}$. Theorem \[t-main2\] and Corollary \[c-smkps\] can also be extended to the corresponding log version (see Theorem \[t-main2log\] and \[t-logample\]), where the log counterpart of $\overline{M}^{\rm sm, Kps}_{n,v}$ is constructed in [@ADL19]\*[Theorem 1.1]{} (see Theorem \[t-logsmoothable\]).

Non-negativity of $\beta_{X,\Delta,\delta}({\mathcal{F}})$
----------------------------------------------------------

During the course of the proof, we develop some new invariants that characterize various K-stability notions (including reduced uniform K-stability in particular), which we believe merit independent interests.

To explain the results, we fix some notation. Let $(X,\Delta)$ be a log Fano pair and $r$ a positive integer such that $-r(K_X+\Delta)$ is Cartier. Let ${\mathcal{F}}$ be a (possibly non-finitely generated) linearly bounded multiplicative filtration of $$R:=\bigoplus_{m\in {\mathbb{N}}} H^0(X,-rm(K_X+\Delta)).$$ We define a family of invariants $\beta_{X,\Delta,\delta}({\mathcal{F}})$ parametrized by ${\delta}>0$.

\[d-beta2\] Given a filtration ${\mathcal{F}}$ of $R$ and some $\delta\in{\mathbb{R}}_+$, we define the *$\delta$-log canonical slope* (or simply *log canonical slope* when $\delta=1$) $\mu_{X,\Delta,\delta}({\mathcal{F}})$ as $$\mu_{X,\Delta,\delta}({\mathcal{F}}) = \sup \left\{t\in{\mathbb{R}}\,|\,{\mathrm{lct}}(X,\Delta;I^{(t)}_\bullet)\ge \frac{\delta}{r}\right\}$$ where $I_{m,\lambda}({\mathcal{F}}):={\rm Im} \left(  {\mathcal{F}}^\lambda R_m \otimes {\mathcal{O}}_{X}(rm(K_X+\Delta)) \to {\mathcal{O}}_X\right)$ are the base ideals of ${\mathcal{F}}$ and $I^{(t)}_\bullet$ is the graded sequence of ideals given by $I^{(t)}_m := I_{m, tm}({\mathcal{F}})$. Then we define $$\beta_{X,\Delta,\delta}({\mathcal{F}}):= \frac{\mu_{X,\Delta,\delta}({\mathcal{F}})-S({\mathcal{F}})}{r}$$ where $S({\mathcal{F}})$ is the $S$-invariant of the filtration ${\mathcal{F}}$ (see §\[ss-filt\]).

In [@Fuj19; @Li17], valuative criteria of K-stability and related notions have been developed, which are further extended in [@BJ17; @BX19] etc. The analogous criterion for reduced uniform K-stability is systematically studied in [@Li19]. Our second main theorem extends these previous works and provides a new criterion.

\[t-main1\] Given any log Fano pair $(X,\Delta)$. Then

1.  $(X,\Delta)$ is K-semistable if and only if $$\beta_{X,\Delta}({\mathcal{F}})(:=\beta_{X,\Delta,1}({\mathcal{F}}))\ge 0$$ for any linearly bounded multiplicative filtration ${\mathcal{F}}$.

2.  $(X,\Delta)$ is uniformly K-stable if and only if there exists a constant $\delta>1$, such that $\beta_{X,\Delta,\delta}({\mathcal{F}})\ge 0$ for any linearly bounded multiplicative filtration ${\mathcal{F}}$.

3.  Fix a maximal torus $T\subset {\mathrm{Aut}}(X,\Delta)$. Then $(X,\Delta)$ is reduced uniformly K-stable if and only if there exists a constant $\delta>1$ such that for any linearly bounded multiplicative filtration ${\mathcal{F}}$, $$\beta_{X,\Delta,\delta}({\mathcal{F}}_{\xi})\ge 0\qquad \mbox{for some vector field }\xi \in {\mathrm{Hom}}({\mathbb{G}}_m,T)\otimes_{\mathbb{Z}}{{\mathbb{R}}}.$$

Here ${\mathcal{F}}_\xi$ is the ‘twist’ of the filtration ${\mathcal{F}}$ and we refer to Section \[ss-ruk\] for its construction.

Our invariant $\beta_{X,\Delta,\delta}$ is a natural extension of the $\beta$-invariant, defined in [@Fuj19; @Li17] for valuations, to more general filtrations. Indeed, it is not hard to check (see Proposition \[prop:tbeta property\]) that $\beta_{X,\Delta}(E)\ge\beta_{X,\Delta}({\mathcal{F}}_{{\mathrm{ord}}_E})$ where ${\mathcal{F}}_{{\mathrm{ord}}_E}$ is the filtration induced by $E$ (Example \[ex: filtration from val\]). On the other hand, we will show that $\beta_{X,\Delta}({\mathcal{F}})$ is bounded from below by the Ding-invariant ${\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}})$ (Theorem \[thm:tbeta&gt;=D\^NA\]). In particular, Theorem \[t-main1\](1) follows immediately from the corresponding non-negativity statement for ${\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}})$ as proved in [@Fuj18b; @Li17].

While Theorem \[t-main1\](2) can be established in a similar way, the proof of the last statement Theorem \[t-main1\](3) is harder and requires a more technical analysis of the properties of Duistermaat–Heckman measure.

The connection between Theorem \[t-main1\] and the positivity of CM line bundle is provided by a special filtration: the [*Harder-Narashimhan filtration ${\mathcal{F}}_{{\mathrm{HN}}}$*]{} (see $\S$\[sec:HN\]). Using the Harder-Narashimhan filtration to study positivity of the CM line bundle is a novel idea initiated in [@CP18]. In fact, our definition of $\beta_{X,\Delta,\delta}({\mathcal{F}})$ in some sense is tailor-made to investigate ${\mathcal{F}}_{{\mathrm{HN}}}$.

Overview of proof
-----------------

In what follows, we sketch our strategy for the proof of Theorem \[t-main2\].

Part of our proof is inspired by the work in [@CP18]. Recall that the arguments in [@CP18] for the positivity of CM line bundle $\lambda_{f,\Delta}$ for a projective family of log Fano pairs $f\colon (X,\Delta)\to B$ can be divided into several steps:

1.  one gets the semipositivity of the CM line bundle when the fibers $(X_t,\Delta_t)$ are K-semistable;

2.  one concentrates on the case that $B$ is a smooth curve and obtains a uniform nef threshold $c$ (i.e. some $c\in{\mathbb{Q}}$ such that $-(K_{X/B}+\Delta)+c\cdot f^*\lambda_{f,\Delta}$ is nef) when a general fiber $(X_t,\Delta_t)$ is uniformly K-stable, where $c$ only depends on $\delta(X_t,\Delta_t)$ and $(-(K_{X_t}+\Delta_t))^n$;

3.  an ampleness lemma is used to get the strict positivity for higher dimensional base $B$, when the fibers are assumed to be uniformly K-stable and $\Delta=0$.

In [@Pos19], complementary arguments are also given to show that

1.  Step 3$_{\rm u}$ can be extended to the log case (i.e. when $\Delta\neq 0$).

In our argument, we follow these steps. However, since we want to treat the more general case when the fibers are only reduced uniformly K-stable, we have to develop a number of new tools to substantially enhance the arguments in [@CP18].

[Step $1$$_{\rm r}$:]{} Our first new input is going from basis type divisors to filtrations. This has been known as a natural step to extend results from uniformly K-stable Fano varieties to K-polystable ones. See [@BX19] for another example. By doing so, we also find a more conceptual proof (in our opinion) of Step $1_{\rm u}$ in [@CP18].

More precisely, a crucial observation in [@CP18] is that for a $\mathbb{Q}$-Gorenstein family of log Fano pairs $f\colon (X,\Delta)\to C$ over a smooth projective curve $C$, the subbundles of positive slopes in the Harder-Narasimhan filtration of $$\mathcal{R}:=\bigoplus_{m\in {\mathbb{N}}} f_*{\mathcal{O}}_X(-mr(K_{X/C}+\Delta))$$ only give boundary divisors $D\sim_{\mathbb{Q}}-(K_{X/C}+\Delta)$ that fail to be log canonical along the general fiber of $f$. Using our $\beta$-invariants, this translates to the following inequality (Proposition \[prop:cm&gt;=beta\]): $$\deg \lambda_{f,\Delta} \ge (n+1)  (-K_{X_t}-\Delta_t)^n  \cdot \beta_{X_t,\Delta_t}({\mathcal{F}}_{{\mathrm{HN}}})$$ where $t\in C$ and ${\mathcal{F}}_{\mathrm{HN}}$ is the restriction of the Harder-Narasimhan filtration on ${\mathcal{R}}$ to $R_t:=\bigoplus_m H^0(X_t,-mr(K_{X_t}+\Delta_t))$. Combining with Theorem \[t-main1\](1), we immediately recover the nefness of $\lambda_{\rm CM}$ as proved in [@CP18]\*[Theorem 1.7]{}. This completes our treatment of the first step. See §\[ss-tbetaredK\] for details.

[Step 2$_{\rm r}$:]{} Nevertheless, the full power of considering filtrations ${\mathcal{F}}_{{\mathrm{HN}}}$ (as opposed to basis type divisors) and the corresponding invariants $\beta_{X,\Delta,\delta}({\mathcal{F}}_{{\mathrm{HN}}})$ will only be seen when one attacks the ampleness. The main issue is that nef thresholds as in Step $2_{\rm u}$ may not exist when the general fibers $(X_t,\Delta_t)$ are only reduced uniformly K-stable, e.g. there are families $f\colon (X,\Delta)\to C$ with $\deg \lambda_{f,\Delta}=0$ but $-(K_{X/C}+\Delta)$ is not nef. To overcome this, we need a stronger statement than Theorem \[t-main1\](3) which guarantees that if a general fiber $(X_t,\Delta_t)$ is reduced uniformly K-stable, then we can find a *rational* vector $\xi \in {\mathrm{Hom}}({\mathbb{G}}_m,T)\otimes_{\mathbb{Z}}{\mathbb{Q}}$ (where $T$ is a maximal torus of ${\mathrm{Aut}}(X_t,\Delta_t)$) such that after twisting ${\mathcal{F}}_{{\mathrm{HN}}}$ by $\xi$, the resulting filtration $({\mathcal{F}}_{{\mathrm{HN}}})_{\xi}$ satisfies $\beta_{X_t,\Delta_t,\delta}(({\mathcal{F}}_{{\mathrm{HN}}})_{\xi})\ge 0$ for some uniform $\delta>1$ which only depends on $(X_t, \Delta_t)$ (but not ${\mathcal{F}}_{{\mathrm{HN}}}$ and $\xi$). These results are proved in Sections \[ss-tbetaredK\] and \[sec:twisted family\].

Geometrically, after possibly passing to a finite base change of $C$, we can realize the twisted filtration $({\mathcal{F}}_{{\mathrm{HN}}})_{\xi}$ as the Harder-Narasimhan filtration of a twisted family $f_{\xi}\colon (X_{\xi},\Delta_{\xi})\to C$ (roughly speaking, it is obtained from the original family $f\colon (X,\Delta)\to C$ via a birational modification that is analogous to elementary transformations on ruled surfaces; see Section \[sec:twisted family\] for the actual construction). But since $\beta_{X_t,\Delta_t,\delta}(({\mathcal{F}}_{{\mathrm{HN}}})_{\xi})\ge 0$, a similar argument as in Step $1_{\rm r}$ allows us to conclude that a uniform nef threshold (depending only on a general fiber $(X_t,\Delta_t)$) exists on the twisted family. For families with K-semistable fibers, the CM line bundle remains the same after the twist; thus for our ampleness question, we may replace the original family by a twisted one that achieves the nef threshold.

[Step 3$_{\rm r}$:]{} Over a higher dimensional base, the Harder-Narasimhan filtration depends on the choice of a covering family of curves and so does the corresponding twisted family. Therefore to proceed, we need to strengthen the key ingredient of Step 3$_{\rm u}$, namely the ampleness lemma (which is originally based on works in [@Kol90; @KP17]), to a version that incorporates all twists. For this purpose, we carefully track the original argument of the ampleness lemma, and show that it works birationally in a suitably technical sense. This is done in Section \[s-ampleness\].

[Step 4$_{\rm r}$:]{} Finally to prove the log version of our theorem, we combine the ampleness lemma obtained in the previous step together with an argument using perturbation of the coefficients of the boundary divisors, similar to the one used in [@KP17; @Pos19]. This is done in Section \[s-CMpositive\]. The main observation is that although $(X_t,\Delta_t)$ may no longer be reduced uniformly K-stable after perturbing the boundary coefficients, the divisor $-(K_{X/C}+\Delta)+c\cdot f^*\lambda_{f,\Delta}$ from Step $2_{\rm r}$ remains pseudo-effective and this is enough for our purpose.

Finally, in the Appendix \[a-reduced\], we define [*the $T$-reduced $\delta$-invariant*]{} ${{\delta_T}}(X,\Delta)$ for a log Fano pair $(X,\Delta)$ with a torus $T$-action. Then in Theorem \[t-redqm\], we show that if $(X,\Delta)$ is K-semistable and ${{\delta_T}}(X,\Delta)=1$, it can always be computed by a quasi-monomial valuation which is not of the form ${\mathrm{wt}}_{\xi}$ $(\xi\in {\mathrm{Hom}}({\mathbb{G}}_m, T)_{\mathbb R})$. This establishes in the reduced version the analogous result proved in [@BLX19 Theorem 1.5].

[**Acknowledgement:**]{} We thank Dan Abramovich, Jarod Alper, Chi Li, Yan Li and Zsolt Patakfalvi for helpful discussions. The work on this paper was started while the authors enjoyed the hospitality of the MSRI, which is gratefully acknowledged.

Preliminaries {#s-preliminary}
=============

In this section, we recall some basic preliminaries related to the study of K-stability questions on log Fano pairs.

Notation and conventions
------------------------

We work over an algebraically closed field $k$ of characteristic zero. We follow the terminologies in [@KM98]. A *pair* $(X,\Delta)$ consists of a normal variety $X$ and an effective ${\mathbb{Q}}$-divisor $\Delta\subseteq X$ such that $K_X+\Delta$ is ${\mathbb{Q}}$-Cartier. See [@KM98]\*[Definition 2.34]{} for the definition of *klt* and *log canonical* (*lc*) singularities. A projective variety $X$ is ${\mathbb{Q}}$-*Fano* if $X$ has klt singularities and $-K_X$ is ample. A pair $(X,\Delta)$ is *log Fano* if $X$ is projective, $-K_X-\Delta$ is ${\mathbb{Q}}$-Cartier ample and $(X,\Delta)$ is klt. A big open set $U$ of a variety $X$ is an open set whose complement has codimension at least two.

Families of pairs
-----------------

\[d-genericlog\] A *generic log Fano locally stable family $f\colon (X,\Delta)\to S$ of normal pairs over a normal base* (or abbreviated as *a generic log Fano family $f\colon (X,\Delta)\to S$*) consists of a pair $(X,\Delta)$ and a flat projective morphism $f\colon X\to S$ to a normal variety $S$ such that $f$ has connected and normal fibers, ${\mathrm{Supp}}(\Delta)$ does not contain any fiber of $f$, $-(K_{X/S}+\Delta)$ is $f$-ample, $(X_s,\Delta_s)$ is log canonical for any $s\in S$ and a general fiber $(X_s,\Delta_s)$ is log Fano. It is called a *${\mathbb{Q}}$-Gorenstein family of log Fano pairs* if every fiber $(X_s,\Delta_s)$ is log Fano.

The local conditions guarantee that in the above definition $(X,\Delta)\to S$ yields [*a locally stable family*]{} over the normal base $S$. For the definition of locally stable families over more general bases, see [@Kol17; @Kol19].

Let $f\colon X\to S$ be a flat projective morphism with normal fibers and let $\Delta$ be an effective Weil ${\mathbb{Q}}$-divisor on $X$. Let $S'\to S$ be a morphism from another (normal) variety. Let $U\subseteq X$ be the smooth locus of $f$. As in [@Kol17 4.1.5] (see also [@CP18]\*[§2.4.1]{}), the base change of $f$ to $S'$ is set to be the family $f'\colon (X',\Delta')\to S'$ of normal pairs where $X'=X\times_S S'$ and $\Delta'$ is the unique extension of the pullback of $\Delta|_U$ to $U'=U\times_S S'$ which is a big open subset in $X'$. We call $\Delta'$ [*the divisorial pull back*]{} of $\Delta$. If $K_{X/S}+\Delta$ is ${\mathbb{Q}}$-Cartier then we have $K_{X'/S'}+\Delta'\sim_{\mathbb{Q}}\pi^*(K_{X/S}+\Delta)$ where $\pi\colon X'\to X$ is the induced morphism. In particular, being a generic log Fano family is preserved under base change.

\[defn:max var\] Let $f\colon X\to S$ be a flat projective morphism between normal varieties with normal fibers and let $\Delta$ be an effective Weil ${\mathbb{Q}}$-divisor on $X$, whose support does not contain any fiber. We say that the family $f\colon (X,\Delta)\to S$ is isotrivial if $(X_s,\Delta_s)\cong (X_t,\Delta_t)$ for any two general points $s,t\in S$; we say that [*$f$ has maximal variation*]{} if for any curve $C\subseteq S$ containing a general point, the base change of $f$ to $C$ is not isotrivial.

\[lem:max var to reduced bdy\] Let $f\colon X\to S$ be a flat projective morphism between normal varieties with normal fibers, let $\Delta$ be an effective Weil ${\mathbb{Q}}$-divisor on $X$ and let $D={\mathrm{Supp}}(\Delta)$. Then $f\colon (X,\Delta)\to S$ has maximal variation if and only if $g\colon (X,D)\to S$ has maximal variation.

Let $C\subseteq S$ be a curve passing through a general point. It suffices to show that the base change of $f$ to $C$ is isotrivial if and only if the same holds for $g$. For this we may assume that $S=C$ is a curve. Clearly if $(X_s,\Delta_s)\cong (X_t,\Delta_t)$ for any two general points $s,t\in C$, then we also have $(X_s,D_s={\mathrm{Supp}}(\Delta_s))\cong (X_t,D_t={\mathrm{Supp}}(\Delta_t))$.

For the reverse implication, after a finite dominant base change of $C$, we can first assume all components of $D$ have geometrically irreducible fibers over the generic point of $C$. Then we use induction on the number of irreducible components of $D$. The statement is clear when $D$ is irreducible. In general, let $D^i$ ($i=1,\cdots,N$) be the irreducible components of $D$. Let $Z_{ij}\subseteq C\times C$ ($1\le i,j\le N$) be the image of $${\rm Isom}_{C\times C}\big((X,D^i)\times C, C\times (X,D^j)\big)\to C\times C$$ which is a countable union of constructible subsets such that $(X_s,D^i_s)\cong (X_t,D^j_t)$ if and only if $(s,t)\in Z_{ij}$. Since $g\colon (X,D)\to C$ is isotrivial, $\cup_{i,j} Z_{ij}$ contains a dense open subset of $C\times C$ and thus the same is true for some $Z_{ij}$. It follows that $(X_s,D^i_s)\cong (X_t,D^j_t)$ for two arbitrary general points $s,t\in C$ and therefore $(X,D^i)$ and $(X,D^j)$ are both isotrivial over $C$ (it can happen that $i=j$). The result now follows by induction hypothesis after removing the component $D^i$ from both $\Delta$ and $D$.

Filtrations {#ss-filt}
-----------

Applying filtrations to study K-stability questions has been explored in many recent works. We recall some basic definitions here. For more background, see e.g. [@BHJ17].

Let $L$ be an ample line bundle on a projective variety $X$ and let $$R = R(X,L) :=\bigoplus_{m\in{\mathbb{N}}} R_m := \bigoplus_{m\in {\mathbb{N}}} H^0(X,mL)$$ be its section ring.

\[defn:filtration\] By a (*linearly bounded multiplicative*) *filtration* ${\mathcal{F}}$ of $R$, we mean the data of a family of vector subspaces ${\mathcal{F}}^\lambda R_m \subseteq R_m$ for $m \in {\mathbb{N}}$ and $\lambda \in {\mathbb{R}}$ satisfying

-   ${\mathcal{F}}^\lambda R_m  \subseteq {\mathcal{F}}^{\lambda'} R_m$ when $\lambda \geq \lambda'$;

-   ${\mathcal{F}}^\lambda R_m = \cap_{\lambda ' < \lambda} {\mathcal{F}}^{\lambda'} R_m$ for all $\lambda$;

-   There exists $e_-,e_+\in {\mathbb{R}}$ such that ${\mathcal{F}}^{mx}R_m=0$ for all $x\ge e_+$ and ${\mathcal{F}}^{mx}R_m=R_m$ for all $x\le e_-$

-   ${\mathcal{F}}^\lambda R_m \cdot {\mathcal{F}}^\lambda R_{m'} \subseteq {\mathcal{F}}^{\lambda +\lambda'} R_{m+m'}$.

A filtration ${\mathcal{F}}$ of $R$ is a called a *${\mathbb{Z}}$-filtration* if ${\mathcal{F}}^\lambda R_m = {\mathcal{F}}^{\lceil \lambda \rceil} R_m$ for all $m\in {\mathbb{Z}}$ and $\lambda \in {\mathbb{R}}$. It is called an ${\mathbb{N}}$-filtration if in addition ${\mathcal{F}}^0 R_m = R_m$ for all $m$. To give a ${\mathbb{Z}}$-filtration ${\mathcal{F}}$, it suffices to give a family of subspaces ${\mathcal{F}}^p R_m \subseteq R_m$ for $m\in {\mathbb{N}}$ and $p\in {\mathbb{Z}}$ satisfying (1), (3), and (4). In particular, every filtration ${\mathcal{F}}$ on $R$ induces a ${\mathbb{Z}}$-filtration ${\mathcal{F}}_{\mathbb{Z}}$ which satisfies that ${\mathcal{F}}_{\mathbb{Z}}^{\lambda}={\mathcal{F}}^{\lceil \lambda \rceil}$. We say that an ${\mathbb{N}}$-filtration ${\mathcal{F}}$ is finitely generated if the algebra $\bigoplus_{m,i\in{\mathbb{N}}}{\mathcal{F}}^i R_m$ is finitely generated.

\[ex: filtration from val\] Let $v$ be a valuation on $X$ (i.e. a valuation $k(X)^\times\to {\mathbb{R}}$ that is trivial on $k$). Then it induces a filtration ${\mathcal{F}}_v$ of $R$ by setting ${\mathcal{F}}_v^\lambda R_m = \{ s\in R_m\,|\,v(s)\ge \lambda\}$.

\[expl:filtration from tc\] Let $(X,\Delta)$ be a log Fano pair. By [@BHJ17]\*[Proposition 2.15]{}, there exists a one-to-one correspondence between test configurations of $(X,\Delta)$ (see Definition \[def:tc\]) and finitely generated ${\mathbb{Z}}$-filtrations of $R=R(X,-r(K_X+\Delta))$ for some sufficiently divisible positive integer $r$.

Let ${\mathcal{F}}$ be a linearly bounded multiplicative filtration on $R$. Let $${\mathrm{Gr}}^\lambda_{\mathcal{F}}R_m = {\mathcal{F}}^\lambda R_m / \bigcup_{\lambda'>\lambda} {\mathcal{F}}^{\lambda'} R_m.$$ We define (c.f. [@BJ17]\*[§2.3-2.6]{}) $$S_m({\mathcal{F}}):=\frac{1}{m\dim R_m}\sum_{\lambda\in{\mathbb{R}}} \lambda \dim{\mathrm{Gr}}^\lambda_{\mathcal{F}}R_m$$ and $S({\mathcal{F}})=\lim_{m\to \infty} S_m({\mathcal{F}})$. Note that the above expression is a finite sum since there are only finitely many $\lambda$ for which ${\mathrm{Gr}}^\lambda_{\mathcal{F}}R_m\neq 0$ and the limit exists by [@BC11]. For $x\in {\mathbb{R}}$, we set $${\mathrm{vol}}({\mathcal{F}}R^{(x)})=\lim_{m\to \infty} \frac{\dim {\mathcal{F}}^{mx}R_m}{m^n/n!}$$ where $n=\dim X$ (the limit exists by [@LM09]). Then $$\nu:=\frac{1}{(L^n)}\frac{{\mathrm{d}}}{{\mathrm{d}}x}{\mathrm{vol}}({\mathcal{F}}R^{(x)})$$ is [*the Duistermaat-Heckman measure*]{} of the filtration (see [@BHJ17]\*[§5]{}) and we denote by $[\lambda_{\min}({\mathcal{F}}),$ $\lambda_{\max}({\mathcal{F}})]$ its support. We also have $$S_m({\mathcal{F}}) = e_- + \frac{1}{\dim R_m}\int_{e_-}^{e_+} \dim {\mathcal{F}}^{mx}R_m {\rm d}x$$ and $$S({\mathcal{F}}) = \frac{1}{(L^n)} \int_{\lambda_{\min}({\mathcal{F}})}^{\lambda_{\max}({\mathcal{F}})} {\mathrm{vol}}({\mathcal{F}}R^{(x)}) {\rm d}x = \int_{{\mathbb{R}}} x\ {\mathrm{d}}\nu.$$ We will need the following result from [@BHJ17].

\[l-concavedistri\] The function $x\to {\mathrm{vol}}({\mathcal{F}}R^{(x)})^{\frac{1}{n}}$ is concave on $(-\infty, \lambda_{\max})$.

We also need the notion of translations of filtrations. For $c\in{\mathbb{R}}$, we let ${\mathcal{F}}_c$ be the filtration on $R$ defined by $${\mathcal{F}}_c^\lambda R_m := {\mathcal{F}}^{\lambda-cm} R_m$$ and call it the translation of ${\mathcal{F}}$ by $c$.

\[lem:S after translation\] We have $S({\mathcal{F}}_{\mathbb{Z}})=S({\mathcal{F}})$ and $S({\mathcal{F}}_c)=S({\mathcal{F}})+c$ for any $c\in {\mathbb{R}}$.

By definition we have $S_m({\mathcal{F}}_c)=S_m({\mathcal{F}})+c$. Letting $m\to \infty$ we get the second equality. Replacing ${\mathcal{F}}$ by a translation we may assume that ${\mathcal{F}}^0 R_m = R_m$ for all $m\in {\mathbb{N}}$. The first equality then follows from [@BJ17]\*[Corollary 2.12]{}.

\[defn:base ideal\] To a filtration ${\mathcal{F}}$ of $R$, we associate a family of graded sequence of base ideals. For $m\geq 0$ and $\lambda\in{\mathbb{R}}$, set $$I_{m,\lambda} = I_{m,\lambda}({\mathcal{F}}) := {\rm Im} \left(  {\mathcal{F}}^\lambda R_m \otimes {\mathcal{O}}_{X}(-mL) \to {\mathcal{O}}_X\right)$$ where the map is induced by the natural evaluation $H^0(X,mL)\otimes {\mathcal{O}}_X\to {\mathcal{O}}_X(mL)$. Let $t\in {\mathbb{R}}$ and let $I^{(t)}_m = I^{(t)}_m({\mathcal{F}}) := I_{m, tm}({\mathcal{F}})$. Then $I^{(t)}_\bullet$ is a graded sequence of ideals on $X$.

Invariants associated to log Fano pairs
---------------------------------------

In this section, we recall some invariants which are introduced in previous works (e.g. [@BHJ17; @Fuj18b; @Li17]).

Let $(X,\Delta)$ be a log Fano pair and let $r>0$ be an integer such that $L:=-r(K_X+\Delta)$ is Cartier. Let $R=R(X,L)$.

Let $v$ be a valuation on $X$. Then we define $$S(v)=S_{X,\Delta}(v):=r^{-1}S({\mathcal{F}}_v), \quad\mbox{and}\quad T(v)=T_{X,\Delta}(v):=r^{-1}\lambda_{\max}({\mathcal{F}}_v).$$ If $E$ is a divisor over $X$ (i.e. $E$ is a prime divisor on some proper birational model $\mu\colon Y\to X$), we set $S_{X,\Delta}(E)=S({\mathrm{ord}}_E)$ and $T_{X,\Delta}(E)=T({\mathrm{ord}}_E)$ where ${\mathrm{ord}}_E\colon k(X)^\times \to {\mathbb{Z}}$ is the discrete valuation given by the order of vanishing along $E$.. It is not hard to check that $$\label{e-sinvariant}
    S_{X,\Delta}(E) = \frac{1}{{\mathrm{vol}}(-K_X-\Delta)}\int_0^\infty {\mathrm{vol}}(-\mu^*(K_X+\Delta)-xE) {\mathrm{d}}x$$ and $$\label{e-tinvariant}
    T_{X,\Delta}(E) = \sup\{x\in{\mathbb{R}}\,|\,{\mathrm{vol}}(-\mu^*(K_X+\Delta)-xE)>0\}.$$

Let $v$ be a valuation on $X$ and let $E$ be a divisor over $X$. We define (c.f. [@Fuj19; @Li17]) $$\beta_{X,\Delta}(v)(=\beta(v)) := A_{X,\Delta}(v)-S_{X,\Delta}(v) \quad \mbox{and} \quad
\beta(E) = \beta({\mathrm{ord}}_E),$$ where $A_{X,\Delta}(v)$ denotes the log discrepancy. The alpha invariant $\alpha(X,\Delta)$ and the stability threshold $\delta(X,\Delta)$ of the log Fano pair $(X,\Delta)$ is defined as $$\alpha(X,\Delta)=\inf_E \frac{A_{X,\Delta}(E)}{T_{X,\Delta}(E)},\quad \delta(X,\Delta) = \inf_E \frac{A_{X,\Delta}(E)}{S_{X,\Delta}(E)}$$ where both infima run over all divisors $E$ over $X$ (see [@BJ17]).

\[defn:D\^NA\] Let $(X_{{\mathbb{A}}^1},\Delta_{{\mathbb{A}}^1})=(X,\Delta)\times {\mathbb{A}}^1$ and $X_0=X\times \{0\}$. Let ${\mathcal{F}}$ be a filtration on $R$ and choose $e_-$ and $e_+$ as in Definition \[defn:filtration\] such that $e_-,e_+\in{\mathbb{Z}}$. Let $e=e_+-e_-$ and for each $m\in{\mathbb{N}}$, set $${\widetilde{I}}_m := {\widetilde{I}}_m({\mathcal{F}}) := I_{m,me_+} + I_{m,me_+-1}\cdot t + \cdots + I_{m,me_-+1}\cdot t^{me-1} + (t^{me}) \subseteq {\mathcal{O}}_{X\times {\mathbb{A}}^1}.$$ It is not hard to verify that ${\widetilde{I}}_\bullet$ is a graded sequence of ideals. Let $$\begin{aligned}
    c_m & = {\mathrm{lct}}(X_{{\mathbb{A}}^1}, \Delta_{{\mathbb{A}}^1}\cdot ({\widetilde{I}}_m)^\frac{1}{mr};X_0)\\
     & = \sup\{ c\in{\mathbb{R}}\,|\, (X_{{\mathbb{A}}^1}, (\Delta_{{\mathbb{A}}^1}+cX_0)\cdot ({\widetilde{I}}_m)^\frac{1}{mr}) \text{ is sub log canonical} \} \end{aligned}$$ and $c_\infty = \lim_{m\to \infty} c_m$. We then define (c.f. [@BHJ17]) $$\begin{aligned}
    {\mathbf{L}^{\mathrm{NA}}}({\mathcal{F}}) & = c_\infty + \frac{e_+}{r} -1, \\ 
    {\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}}) & = {\mathbf{L}^{\mathrm{NA}}}({\mathcal{F}}) - \frac{S({\mathcal{F}})}{r},\\
    {\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}) & = \frac{\lambda_{\max}({\mathcal{F}})-S({\mathcal{F}})}{r}.\end{aligned}$$ It is not hard to see from the definition that $$c_\infty\le 1-\frac{{\mathrm{ord}}_{X_0}({\widetilde{I}}_\bullet)}{r} \le 1-\frac{e_+ - \lambda_{\max}({\mathcal{F}})}{r},$$ hence ${\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}})\le {\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}})$.

We have ${\mathbf{L}^{\mathrm{NA}}}({\mathcal{F}}_{\mathbb{Z}})={\mathbf{L}^{\mathrm{NA}}}({\mathcal{F}})$ and ${\mathbf{L}^{\mathrm{NA}}}({\mathcal{F}}_c)={\mathbf{L}^{\mathrm{NA}}}({\mathcal{F}})+\frac{c}{r}$ for any $c\in {\mathbb{R}}$.

By definition we have ${\mathcal{I}}_m({\mathcal{F}})={\mathcal{I}}_m({\mathcal{F}}_{\mathbb{Z}})$ hence the first equality follows. Choose a sufficiently large common $e_+$ for ${\mathcal{F}}$ and ${\mathcal{F}}_c$, we then have $$I_{m,i}({\mathcal{F}}_c)=I_{m,i-cm}({\mathcal{F}})\subseteq I_{m,i-\lceil cm \rceil}({\mathcal{F}})$$ and hence ${\widetilde{I}}_m({\mathcal{F}}_c)\subseteq t^{-\lceil cm \rceil}\cdot {\widetilde{I}}_m({\mathcal{F}})$. It follows that $c_m({\mathcal{F}}_c)\le c_m({\mathcal{F}})+\frac{\lceil cm \rceil}{mr}$ and therefore $c_\infty({\mathcal{F}}_c)\le c_\infty({\mathcal{F}})+\frac{c}{r}$. Interchanging the role of ${\mathcal{F}}$ and ${\mathcal{F}}_c$ (note that ${\mathcal{F}}=({\mathcal{F}}_c)_{-c}$) we also obtain $c_\infty({\mathcal{F}})\le c_\infty({\mathcal{F}}_c)-\frac{c}{r}$. Thus equality holds and $${\mathbf{L}^{\mathrm{NA}}}({\mathcal{F}}_c)={\mathbf{L}^{\mathrm{NA}}}({\mathcal{F}})+\frac{c}{r}$$ as desired.

Combining with Lemma \[lem:S after translation\] we immediately see that

\[cor:DNA & JNA after translation\] For any $c\in {\mathbb{R}}$ we have $${\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}})={\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}}_c)={\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}}_{\mathbb{Z}})$$ and the same equalities hold with ${\mathbf{D}^{\mathrm{NA}}}$ replaced by ${\mathbf{J}^{\mathrm{NA}}}$.

K-stability
-----------

In this section, we recall the definitions of various K-stability notions for log Fano pairs, which were first introduced in [@Tia97] and algebraically formulated in [@Don01]. Here instead of the original definitions, we will use some equivalent forms developed later (see e.g. [@Fuj19; @Li17; @LWX18b; @BX19]).

Let $(X,\Delta)$ be a log Fano pair.

\[def:tc\] A (normal) test configuration $({\mathcal{X}},{\mathcal{L}})$ of $(X,\Delta)$ consists of the following data:

-   a normal variety ${\mathcal{X}}$ together with a flat projective morphism $\pi:{\mathcal{X}}\to {\mathbb{A}}^1$ and a $\pi$-ample line bundle ${\mathcal{L}}$;

-   a ${\mathbb{G}}_m$-action on $({\mathcal{X}},{\mathcal{L}})$ lifting the canonical action on ${\mathbb{A}}^1$ such that $({\mathcal{X}},{\mathcal{L}})|_{\pi^{-1}({\mathbb{A}}^1\setminus \{0\})}$ $\cong (X,-r(K_X+\Delta))\times ({\mathbb{A}}^1\setminus \{0\})$ for some $r\in{\mathbb{N}}_+$.

There is a natural ${\mathbb{G}}_m$-equivariant compactification $(\overline{{\mathcal{X}}},\overline{{\mathcal{L}}})\to{\mathbb{P}}^1$ of $\pi$ by gluing it with $(X,L)\times (\mathbb{P}^1\setminus\{0\})$. Let $n=\dim X$ and let $\Delta_{\mathcal{X}}$ (resp. $\Delta_{\overline{{\mathcal{X}}}}$) be the closure of $\Delta\times ({\mathbb{A}}^1\setminus\{0\})$ in ${\mathcal{X}}$ (resp. $\overline{{\mathcal{X}}}$). The [*generalized Futaki invariant*]{} of $({\mathcal{X}},{\mathcal{L}})$ is defined to be $${\mathrm{Fut}}({\mathcal{X}},{\mathcal{L}}):=\frac{1}{(-K_X-\Delta)^n}\left(\frac{n}{n+1}\cdot\frac{(\overline{{\mathcal{L}}}^{n+1})}{r^{n+1}}+\frac{(\overline{{\mathcal{L}}}^n\cdot (K_{\overline{{\mathcal{X}}}/{\mathbb{P}}^1}+\Delta_{\overline{{\mathcal{X}}}}))}{r^n}\right).$$ We call $({\mathcal{X}},{\mathcal{L}})$ a [*product test configuration*]{} if $({\mathcal{X}},\Delta_{\mathcal{X}})\cong (X,\Delta)\times {\mathbb{A}}^1$. Every one-parameter subgroup $\xi\colon {\mathbb{G}}_m\to {\mathrm{Aut}}(X,\Delta)$ induces a product test configuration and we denote the corresponding generalized Futaki invariant by ${\mathrm{Fut}}_{X,\Delta}(\xi)$ (or simply ${\mathrm{Fut}}(\xi)$).

In the original definition of K-(semi,poly)stability in [@Tia97; @Don01], one looks at the sign of ${\mathrm{Fut}}({\mathcal{X}},{\mathcal{L}})$ for all test configurations $({\mathcal{X}},{\mathcal{L}})$. In the below we use a form which fits better for arguments in this paper.

We say that $(X,\Delta)$ is

1.  K-semistable if $\beta_{X,\Delta}(E)\ge 0$ for all divisors $E$ over $X$;

2.  K-stable if $\beta_{X,\Delta}(E)>0$ for all divisors $E$ over $X$;

3.  uniformly K-stable if there exists a constant $c>0$ depending only on $(X,\Delta)$ such that $\beta_{X,\Delta}(E)\ge c\cdot {\mathbf{J}^{\mathrm{NA}}}(E)$ for all divisors $E$ over $X$;

4.  K-polystable if it is K-semistable and any test configuration $({\mathcal{X}}, \Delta_{{\mathcal{X}}},{\mathcal{L}})$ of $(X,\Delta)$ with K-semistable central fiber is a product test configuration.

The equivalences of the original definitions of K-semistability, K-stability and uniform K-stability as in [@Tia97; @Don01; @BHJ17] to (1)-(3) are proved in [@Fuj19; @Li17; @BX19]. And the equivalence of K-polystability with (4) is proved in [@LWX18b].

It is also known (see [@BJ17]) that $(X,\Delta)$ is K-semistable (resp. uniformly K-stable) if and only if $\delta(X,\Delta) \ge 1$ (resp. $>1$). Moreover, it is proved in [@BBJ15; @Fuj19; @Li17; @Li19] the various K-stability notions are indeed equivalent to the corresponding Ding-stability notions.

K-moduli {#ss-kmoduli}
--------

By combining the works in [@Jia17; @BX19; @ABHX19; @BLX19; @Xu19], we have the following theorem.

\[c-kmoduli\] The moduli functor ${\mathcal{M}}^{\rm Kss}_{n,v}$ of $n$-dimensional K-semistable $\mathbb{Q}$-Fano varieties of volume $v$, which sends $S\in {\sf Sch}_k$ to $$\mathcal{M}^{\rm Kss}_{n,v}(S) = 
 \left\{
  \begin{tabular}{c}
\mbox{Flat proper morphisms $X\to S$, whose fibers are }\\
\mbox{$n$-dimensional K-semistable klt Fano varieties with  }\\
\mbox{volume $v$, satisfying Koll\'ar's condition}
  \end{tabular}
\right\}$$ is an Artin stack of finite type and admits a good moduli space $\phi\colon\mathcal{M}^{\rm Kss}_{n,v}\to M^{\rm Kps}_{n,v}$ as a separated algebraic space, whose geometric points are in bijection with $n$-dimensional K-polystable $\mathbb Q$-Fano varieties of volume $v$.

Though in general the properness of $M^{\rm Kps}_{n,v}$ remains a challenging problem, we have the following theorem established in [@LWX19] (see also [@Oda15]), whose proof relies on deep analytic results (c.f. [@DS14; @CDS; @Tia15]).

Let $k={\mathbb{C}}$. Denote by $M^{\rm sm, Kps}_{n,v}$ the open subspace of $M^{\rm Kps}_{n,v}$, whose geometric points correspond to K-polystable smooth Fano varieties. Then its closure $\overline{M}^{\rm sm, Kps}_{n,v}$ in $M^{\rm Kps}_{n,v}$ is proper.

We will also discuss the log version of the above theorems. In fact, Theorem \[c-kmoduli\] can be extended to the log version, thanks to the recent work [@Kol19].

We call $(X,cD)\to S$ a family of K-semistable log Fano pairs if

1.  $X\to S$ is proper and flat;

2.  $D$ is a K-flat family of divisors on $X$ (see [@Kol19]);

3.  $-K_X-cD$ is ${\mathbb{Q}}$-Cariter, relatively ample; and

4.  The fibers $(X_s, cD_s)$ are K-semistable log Fano pairs.

Here $c$ is a rational number. Since $D$ is integral, the coefficients of $cD_s$ are contained in $I:=\{nc \ |\  n\in {\mathbb{N}}\}\cap [0,1]$.

Denote by ${\mathcal{M}}^{\rm Kss}_{n,v,c}$ the functor $$\mathcal M^{\rm Kss}_{n,v,c}(S) = 
 \left\{
  \begin{tabular}{c}
\mbox{ $(X,\Delta:=cD)\to S$ a  family of K-semistable log Fano pairs,}\\
\mbox{ with $\dim(X)=n$ and $(-K_{X_s}-\Delta_s)^n=v$}
  \end{tabular}
\right\}.$$

\[c-kmodulipair\] The moduli functor $\mathcal{M}^{\rm Kss}_{n,v,c}$ is an Artin stack of finite type and admits a good moduli space $\phi\colon\mathcal{M}^{\rm Kss}_{n,v,c}\to M^{\rm Kps}_{n,v,c}$ as a separated algebraic space, whose geometric points are in bijection with $n$-dimensional K-polystable log Fano pairs of volume $v$ whose coefficients are in $I$.

The proof is just putting all known ingredients together, and one can exactly follow the proof of Theorem \[c-kmoduli\]. In fact, the boundedness result of [@Jia17] can be replaced by the corresponding result in the log version (see [@Che18; @LLX18]) and other main technical results in [@BX19; @ABHX19; @BLX19; @Xu19] are already established for log pairs. The only originally missing ingredient, which is the definition of locally stable family of log pairs over a general base, is now treated in [@Kol19]. Thus we can prove Theorem \[c-kmodulipair\] in the way as the arguments for [@BX19]\*[Corollary 1.4]{} and [@Xu19]\*[Corollary 1.5]{}, which we include here for reader’s convenience.

By [@Che18] or [@LLX18]\*[Corollary 6.14]{} the set $\mathcal{M}_{n,v,c}^{\rm Kss}(k)$ is bounded. Hence, there exists a positive integer $M$ so that $-M(K_{X}+\Delta)$ is a very ample Cartier divisor for all $[(X,\Delta)] \in \mathcal{M}_{n,v,c}^{\rm Kss}(k)$. Furthermore, the set of Hilbert functions $m\mapsto \chi\big( \omega_{X}^{[-mM]}(-mM\Delta)\big)$ with $X \in  \mathcal{M}_{n,v,c}^{\rm Kss}(k)$ is finite. Moreover, there are only finitely many possible degrees $d=D\cdot (-K_{X_s}-\Delta_s)^{n-1}$.

For every such Hilbert function $h$, consider the subfunctor $\mathcal{M}_{h}^{\rm Kss} \subset \mathcal{M}_{n,v,c}^{\rm Kss}$ parametrizing K-semistable ${\mathbb{Q}}$-Fano varieties with Hilbert function $h$. Note that $\mathcal{M}_{n,v,c}^{\rm Kss}= \coprod_{h} \mathcal{M}_{h}^{\rm Kss}$. Set $N:=h(1)-1$, and let ${\rm Hilb}_h({\mathbb{P}}^N)$ be the Hilbert scheme parametrizing closed subschemes of ${\mathbb{P}}^N$ with Hilbert polynomial $h$.

Next, let $U \subset  {\rm Hilb}_h({\mathbb{P}}^N)$ denote the open subscheme parameterizing normal, Cohen-Macaulay varieties. By [@Kol19 Theorem 98], there is a separated $U$-scheme $W_1$ of finite type which parametrizes K-flat divisors $D$ with degree $d$ for all possible $d$ as above. Write $({\mathfrak{X}},{\mathfrak{D}})\to  W_1$ for the corresponding universal family.

By [@HK04 Theorem 3.11], there is a locally closed subscheme $W_2 \subset W_1$ such that a map $T\to W_1$ factors through $W_2$ if and only if there is an isomorphism $$\omega_{{\mathfrak{X}}_T/ T}^{[-M]}(-cM{\mathfrak{D}}_T) \simeq \mathcal{L}_T \otimes {\mathcal{O}}_{{\mathfrak{X}}_T}(1),$$ where $\mathcal{L}_T$ is the pullback of a line bundle from $T$ and ${\mathfrak{D}}_T$ is the divisorial pull back of ${\mathfrak{D}}$. By [@BLX19] or [@Xu19] (applied to the family $({\mathfrak{X}},c{\mathfrak{D}})$ of log pairs over the normalization of $W_2$), we see that $$W: =\{t \in W_2 \, \vert \, ({\mathfrak{X}}_{\overline{t}},c{\mathfrak{D}}_{\overline{t}})  \text{ is K-semistable} \}$$ is open in $W_2$.

As a consequence of the above discussion, $\mathcal{M}^{\rm Kss}_{h}\simeq [W/{\rm PGL}(N+1)]$ is an Artin stack of finite type. Taking the disjoint union over all $h$ yields ${\mathcal{M}}^{\rm Kss}_{n,v,c}$. Since it satisfies $\Theta$-reductivity and $S$-completeness by [@ABHX19], it admits a good moduli space by [@AHLH18] which is $M^{\rm Kps}_{n,v,c}$.

The following theorem is a generalization of [@LWX19] to the log case.

\[t-logsmoothable\] Let $k={\mathbb{C}}$. Denote by $M^{\rm sm, Kps}_{n,v,c}$ the open subspace of $M^{\rm Kps}_{n,v,c}$, whose geometric points correspond to log Fano pairs $(X,cD)$ where $X$ and $D$ are smooth and $D\sim_{\mathbb{Q}} -rK_X$ for some $r\in {\mathbb{Q}}_{+}$. Then its closure $\overline{M}^{\rm sm, Kps}_{n,v,c}$ in $M^{\rm Kps}_{n,v,c}$ is proper.

CM line bundle
--------------

In this section we recall the definition and some basic properties of CM line bundles.

Let $f\colon (X,\Delta)\to S$ be a generic log Fano family (see Definition \[d-genericlog\]) of relative dimension $n$. Then the CM (${\mathbb{Q}}$-)line bundle is defined as $$\lambda_{f,\Delta} := -f_*(-(K_{X/S}+\Delta))^{n+1}.$$

By [@CP18]\*[Proposition 3.7]{}, this is equivalent to the original definition in [@PT09] and as the name suggests, the CM line bundle is ${\mathbb{Q}}$-Cartier. It is also compatible with base change in the following sense.

Let $f\colon (X,\Delta)\to S$ be a generic log Fano family and let $\phi\colon S'\to S$ be a morphism. Let $f'\colon (X',\Delta')\to S'$ be the base change of $f$ to $S'$. Then $\lambda_{f',\Delta'}=\phi^*\lambda_{f,\Delta}$.

As a consequence, we get a well defined CM (${\mathbb{Q}}$-)line bundle $\lambda_{{\mathrm{CM}}}$ on the moduli stack ${\mathcal{M}}^{\rm Kss}_{n,v,c}$ parametrizing K-semistable log Fano pairs with dimension $n$, anti-log-canonical volume $v$ and coefficient set $I=c {\mathbb{N}}\cap[0,1]$.

\[p-CMLa\] There exists a positive integer $k$, such that $\lambda^{\otimes k}_{{\mathrm{CM}}}$ descends to the good moduli space $M^{\rm Kps}_{n,v,c}$.

This is well known. See e.g. [@LWX18]\*[§5]{} or [@CP18 Lemma 10.2].

Therefore, $\lambda_{{\mathrm{CM}}}$ descends to a ${\mathbb{Q}}$-line bundle on $M^{\rm Kps}_{n,v,c}$, which we denote by $\Lambda_{{\mathrm{CM}}}$.

Harder-Narasimhan filtration {#sec:HN}
----------------------------

Let $C$ be a smooth projective curve of genus $g$. Given a vector bundle ${\mathcal{E}}$ on $C$, its slope is defined to be $$\mu({\mathcal{E}})=\frac{\deg({\mathcal{E}})}{{\mathrm{rank}}({\mathcal{E}})}.$$ We also define $\mu_{\max}({\mathcal{E}})$ to be the maximal slope of nonzero subbundles ${\mathcal{E}}'\subseteq {\mathcal{E}}$ and $\mu_{\min}({\mathcal{E}})$ the minimal slope of nonzero quotient bundles ${\mathcal{E}}\twoheadrightarrow {\mathcal{E}}'$. For any vector bundle ${\mathcal{E}}$ on the curve $C$, we can define a Harder-Narasimhan filtration ${\mathcal{F}}_{\mathrm{HN}}$ on ${\mathcal{E}}$ by setting $${\mathcal{F}}_{\mathrm{HN}}^\lambda{\mathcal{E}}:= \mbox {union of all subbundles ${\mathcal{E}}'\subseteq {\mathcal{E}}$ with }\mu_{\min}({\mathcal{E}}')\ge \lambda.$$ In other words, ${\mathcal{F}}_{\mathrm{HN}}^\lambda{\mathcal{E}}$ is the subbundle ${\mathcal{F}}_{i}$ in the Harder-Narasimhan filtration $$0={\mathcal{F}}_0\subset {\mathcal{F}}_1\subset \cdots {\mathcal{F}}_{i-1}\subset {\mathcal{F}}_{i}\subset {\mathcal{F}}_{i+1}\subset \cdots ={\mathcal{F}}$$ of ${\mathcal{F}}$, such that the semistable vector bundle ${\mathcal{F}}_i/{\mathcal{F}}_{i+1}$ has slope at least $\lambda$ while the slope of ${\mathcal{F}}_{i-1}/{\mathcal{F}}_{i}$ is strictly less than $\lambda$.

Let $f:(X,\Delta)\to C$ be a surjective morphism from a normal projective pair and let $L$ be an $f$-ample Cartier divisor on $X$. We also fix a point $t\in C$ such that the restriction map $f_*{\mathcal{O}}_X(mL) \to H^0(X_t, mL_t)$ is surjective for all $m\in {\mathbb{N}}$ (this holds when $t\in C$ is general or $L$ is sufficiently ample).

\[l-HNfil\] Assume that the general fibers of $f$ are klt. Then by restricting to the fiber $(X_t, L_t)$, the HN-filtrations ${\mathcal{F}}_{\mathrm{HN}}$ of ${\mathcal{R}}_m:=f_*{\mathcal{O}}_X(mL)$ $(m\in {\mathbb{N}})$ induce a linearly bounded multiplicative filtration $($which we also denote by ${\mathcal{F}}_{\mathrm{HN}})$ of $$R_t:=\bigoplus_{m\in {\mathbb{N}}} R_{t,m} = \bigoplus_{m\in {\mathbb{N}}} H^0(X_t, mL_t),$$ called the Harder-Narasimhan filtration $($HN-filtration$)$ of $R_t$ induced by the family $f$.

Let ${\mathcal{E}}$ be the image of the multiplication map $${\mathcal{F}}^{\lambda}_{{\mathrm{HN}}} {\mathcal{R}}_m \otimes {\mathcal{F}}^{\lambda'}_{{\mathrm{HN}}} {\mathcal{R}}_{m'} \to {\mathcal{R}}_{m+m'}.$$ By [@HL00 Theorem 3.1.4], we have $$\mu_{\min}({\mathcal{E}})\ge \mu_{\min}({\mathcal{F}}^{\lambda}_{{\mathrm{HN}}} {\mathcal{R}}_m \otimes {\mathcal{F}}^{\lambda'}_{{\mathrm{HN}}} {\mathcal{R}}_{m'})=\mu_{\min}({\mathcal{F}}^{\lambda}_{{\mathrm{HN}}} {\mathcal{R}}_m)+\mu_{\min}({\mathcal{F}}^{\lambda'}_{{\mathrm{HN}}} {\mathcal{R}}_{m'})\ge \lambda+\lambda',$$ hence ${\mathcal{E}}\subseteq {\mathcal{F}}^{\lambda+\lambda'}_{{\mathrm{HN}}} {\mathcal{R}}_{m+m'}$, which implies that ${\mathcal{F}}_{\mathrm{HN}}$ is multiplicative.

Fixed a point $P\in C$. Since $L$ is $f$-ample, we may choose some $c\in{\mathbb{Q}}_{>0}$ such that $M=L+c f^*P$ is ample. Then for $m\gg 1$, $\lfloor mM \rfloor -(K_{X/C}+\Delta)$ is ample, hence by [@CP18]\*[Proposition 6.4]{}, $f_*{\mathcal{O}}_X(\lfloor mM \rfloor)={\mathcal{R}}_m\otimes {\mathcal{O}}_C(\lfloor cmP \rfloor)$ is a nef vector bundle. In particular, $\mu_{\min}({\mathcal{R}}_m)\ge -cm$ for all $m\gg 1$, thus ${\mathcal{F}}_{\mathrm{HN}}$ is linearly bounded from below.

Similarly, let $b\in{\mathbb{Q}}_{>0}$ be such that $N=L-bf^*P$ is not pseudo-effective. Then for $m\gg 1$, we have $$H^0(C,{\mathcal{R}}_m\otimes {\mathcal{O}}_C(-\lfloor bmP \rfloor))=H^0(C,f_*{\mathcal{O}}_X(\lceil mN \rceil))=H^0(X,\lceil mN \rceil)=0,$$ hence by [@CP18]\*[Proposition 5.7]{}, $\mu_{\max}({\mathcal{R}}_m\otimes {\mathcal{O}}_C(-\lfloor bmP \rfloor))<2g$; equivalently, we have $\mu_{\max}({\mathcal{R}}_m)<2g+bm$. This shows that ${\mathcal{F}}_{{\mathrm{HN}}}$ is linearly bounded from above.

Following the above argument, we define $$\lambda_-(L)=\sup\{c\in{\mathbb{R}}\,|\,L-cf^*P \mbox{ is nef}\,\}$$ where $P\in C$ is a closed point and $$\lambda_+(L)=\sup\{c\in{\mathbb{R}}\,|\,L-cf^*P \mbox{ is pseudo-effective}\,\}.$$ Clearly the definition does not depend on the choice of $P$.

We will use the following simple observation.

\[l-nefinQ\] $\lambda_-(L)\in{\mathbb{Q}}$.

Since $\lambda:=\lambda_-(L)$ is the nef threshold of $L$ with respect to $f^*P$, $L-\lambda f^*P$ is nef but not ample. By the Nakai-Moishezon criterion, we have $((L-\lambda f^*P)^d\cdot Z)=0$ for some subvariety $Z\subseteq X$ of dimension $d$, which reduces to $(L^d\cdot Z)=d\lambda (L^{d-1}\cdot f^*P\cdot Z)$ (note that $(f^*P\cdot f^*P)=0$). It is then clear that $\lambda\in{\mathbb{Q}}$.

\[p-supp\] The Duistermaat-Heckman measure of the Harder-Narasimhan filtration ${\mathcal{F}}_{{\mathrm{HN}}}$ precisely supports on $[\lambda_-(L),\lambda_+(L)]$.

Let $\lambda_{\min}=\lambda_{\min}({\mathcal{F}}_{{\mathrm{HN}}})$ and $\lambda_{\max}=\lambda_{\max}({\mathcal{F}}_{{\mathrm{HN}}})$. From the proof of Lemma \[l-HNfil\], we have seen that $\lambda_{\min}\ge \lambda_-:=\lambda_-(L)$ and $\lambda_{\max}\le \lambda_+:=\lambda_+(L)$, so it suffices to establish the opposite inequalities.

We first prove that $\lambda_{\min}\le \lambda_-$. For any rational number $c > \lambda_-$, $M=L-cf^*P$ is not nef by our choice of $\lambda_-$. Since $(X,\Delta)$ is klt along the general fiber of $f$ and $L$ is $f$-ample, by [@CDB13]\*[Corollary 4.7]{} we know that there exists a subvariety $Z\subseteq X$ such that $f(Z)=C$ and $${\mathrm{mult}}_Z(\|M\|):=\lim_{m\to \infty} \frac{{\mathrm{mult}}_Z(|mM|)}{m}>0.$$ Let $Z_t$ be the restriction of $Z$ to $X_t$, then since $${\mathcal{F}}_{{\mathrm{HN}}}^{cm+2g} {\mathcal{R}}_m \subseteq {\rm Im } (H^0(X,mM)\otimes {\mathcal{O}}_C \to {\mathcal{R}}_m)$$ for all sufficiently divisible $m$ by [@CP18]\*[Proposition 5.4]{}, we have $${\mathrm{mult}}_{Z_t}({\mathcal{F}}_{{\mathrm{HN}}}^{cm+2g} R_{t,m})>\epsilon m$$ for some constant $\epsilon>0$ independent of $m$. It follows that ${\mathrm{vol}}({\mathcal{F}}R_t^{(c)})<{\mathrm{vol}}(L_t)$ and therefore $\lambda_{\min}<c$ (see e.g. [@BHJ17]\*[Corollary 5.4]{}). Letting $c\to \lambda_-$, we obtain $\lambda_{\min}\le \lambda_-$.

We next prove that $\lambda_{\max}\ge \lambda_+$. Let $c' \in (\lambda_-, \lambda_+)$ be a rational number. Then $M'=L-c'f^*P$ is big, thus for sufficiently divisible $m$, $$H^0(X,mM')=H^0(C,{\mathcal{R}}_m \otimes {\mathcal{O}}_C(-mc'P))\neq 0.$$ In particular, $\mu_{\max}({\mathcal{R}}_m\otimes {\mathcal{O}}_C(-mc'P))\ge 0$, which implies that $\lambda_{\max}\ge c'$. Letting $c'\to \lambda_+$, we obtain $\lambda_{\max}=\lambda_+$. The proof is now complete.

Reduced uniform K-stability {#ss-ruk}
===========================

In this section, we discuss a relatively more recent notion, the [*reduced uniform K-stability*]{}. This concept gives a suitable extension of the definition of uniform K-stability to the case when the automorphism group is non-discrete. It was first introduced in [@His16], and systematically developed in [@Li19]. In particular, it was shown there that it is equivalent to the existence of a Kähler-Einstein metric (see Theorem \[thm:Li’s valuative T-uKs\]). In this section, we will first give the introduction of the basic notion and results, mostly following [@Li19]. Then we will establish a few new results, some of which will be needed later to get our main theorems. We also note that later in Section \[s-tbeta\], we will establish a criterion to test reduced uniform K-stability using the $\beta$-invariant (for filtrations) that we are going to introduce.

Definition and characterization {#ss-reduks}
-------------------------------

In this section, we will recall the definition of reduced uniform K-stability and some related results. Most of them are from [@Li19].

Let $(X,\Delta)$ be a log Fano pair with an action by a torus $T\cong {\mathbb{G}}_m^s$. Fix some integer $r>0$ such that $L:=-r(K_X+\Delta)$ is Cartier and as before let $R=R(X,L)$. Let $M={\mathrm{Hom}}(T,{\mathbb{G}}_m)$ be the weight lattice and $N=M^*={\mathrm{Hom}}({\mathbb{G}}_m,T)$ the co-weight lattice. Then $T$ naturally acts on $R$ and we have a weight decomposition $R_m=\bigoplus_{\alpha\in M} R_{m,\alpha}$ where $$R_{m,\alpha}=\{s\in R_m\,|\,\rho(t)\cdot s = t^{{\langle}\rho,\alpha {\rangle}}\cdot s\text{ for all }\rho\in N\text{ and }t\in k^*\}.$$ Consider a $T$-equivariant filtration ${\mathcal{F}}$ on $R=\bigoplus_mH^0(X,mL)$, i.e., $s\in {\mathcal{F}}^\lambda R$ if and only if $g\cdot s\in {\mathcal{F}}^\lambda R$ for any $g\in T$. We then have a similar weight decomposition $${\mathcal{F}}^\lambda R_m=\bigoplus_{\alpha\in M} ({\mathcal{F}}^\lambda R_m)_\alpha$$ where $({\mathcal{F}}^\lambda R_m)_\alpha := {\mathcal{F}}^\lambda R_m \cap R_{m,\alpha}$.

\[d-quotient\] For $\xi\in N_{{\mathbb{R}}}=N\otimes_{\mathbb{Z}}{\mathbb{R}}$, we define the $\xi$-twist ${\mathcal{F}}_{\xi}$ of the filtration ${\mathcal{F}}$ in the following way: for any $s\in  R_{m,\alpha}$, we have $$s\in {\mathcal{F}}^\lambda_{\xi} R_m \mbox{ if and only if } s\in {\mathcal{F}}^{\lambda_0} R_m \mbox{ where }\lambda_0=\lambda-{\langle}\alpha, \xi {\rangle},$$ in other words, $${\mathcal{F}}^\lambda_{\xi} R_m = \bigoplus_{\alpha\in M}  {\mathcal{F}}^{\lambda-{\langle}\alpha, \xi {\rangle}}{R}\cap R_{m,\alpha}.$$

One can easily check that ${\mathcal{F}}_{\xi}$ is a linearly bounded multiplicative filtration if ${\mathcal{F}}$ is.

Let $Z=X\!/\!/_{\rm chow}T$ be the Chow quotient (so $X$ is $T$-equivariantly birational to $Z\times T$). Then the function field $k(X)$ is (non-canonically) isomorphic to the quotient field of $$k(Z)[M]=\bigoplus_{\alpha\in M} k(Z)\cdot 1^\alpha.$$ For any valuation $\mu$ over $Z$ and $\xi\in N_{\mathbb{R}}$, one can associate a $T$-invariant valuation $v_{\mu,\xi}$ over $X$ such that $$\begin{aligned}
\label{e-valuation}
v_{\mu,\xi}(f)=\min_{\alpha}(\mu(f_{\alpha})+{\langle}\xi, {\alpha}{\rangle})\end{aligned}$$ for all $f=\sum_{\alpha\in M} f_{\alpha}\cdot 1^\alpha \in k(Z)[M]$. Indeed, every valuation $v\in {\mathrm{Val}}^T(X)$ (i.e. the set of $T$-invariant valuations) is obtained in this way (see e.g. the proof of [@BHJ17]\*[Lemma 4.2]{}) and we get a (non-canonical) isomorphism ${\mathrm{Val}}^T(X)\cong {\mathrm{Val}}(Z)\times N_{\mathbb{R}}$. For any $v\in{\mathrm{Val}}^T(X)$ and $\xi\in N_{{\mathbb{R}}}$, we can therefore define the twisted valuation $v_{\xi}$ as follows: if $v=v_{\mu,\xi'}$, then $$v_{\xi}:=v_{\mu, \xi'+\xi}.$$ One can check that the definition does not depend on the choice of the birational map $X\dashrightarrow Z\times T$. When $\mu$ is the trivial valuation, the valuations ${\mathrm{wt}}_\xi:=v_{\mu,\xi}$ are also independent of the birational map $X\dashrightarrow Z\times T$.

Let $T$ be a torus acting on a log Fano pair $(X,\Delta)$. For any $T$-equivariant filtration ${\mathcal{F}}$ of $R$, its [*reduced ${\mathbf{J}}$-norm*]{} is defined as: $${\mathbf{J}^{\mathrm{NA}}}_T({\mathcal{F}}):=\inf_{\xi\in N_{\mathbb{R}}}{\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_{\xi}).$$ The reduced ${\mathbf{J}}$-norm ${\mathbf{J}^{\mathrm{NA}}}({\mathcal{X}},{\mathcal{L}})$ of a $T$-equivariant test configuration $({\mathcal{X}},{\mathcal{L}})$ of $(X,\Delta)$ is defined to be the reduced ${\mathbf{J}}$-norm of its associated ${\mathbb{Z}}$-filtration (Example \[expl:filtration from tc\]).

\[lem:DNA twist & JNA min\] Let $(X,\Delta)$ be a K-semistable log Fano pair with a torus $T$ action. Then for any filtration ${\mathcal{F}}$ of $R=R(X,-r(K_X+\Delta))$, we have:

1.  ${\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}}_\xi)={\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}})$ and $S({\mathcal{F}}_\xi)=S({\mathcal{F}})$ for any $\xi\in N_{\mathbb{R}}$.

2.  The function $\xi\mapsto {\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_\xi)$ is continuous and there exists $\xi\in N_{\mathbb{R}}$ such that ${\mathbf{J}^{\mathrm{NA}}}_T({\mathcal{F}})={\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_\xi)$.

Since $(X,\Delta)$ is K-semistable, the Futaki invariant vanishes on all product test configurations, i.e. ${\mathrm{Fut}}_{X,\Delta}(\xi)=0$ for all $\xi\in N$, thus (1) follows from [@Li19]\*[Lemma 3.10]{} and (2) follows from [@Li19]\*[Lemma 3.15]{}.

\[defn:red uks\] Let $\eta>0$. A log Fano pair $(X,\Delta)$ is called [*reduced uniformly Ding-stable with slope at least $\eta$*]{} if for some torus $T\subseteq {\mathrm{Aut}}(X,\Delta)$ and for any $T$-equivariant test configuration $({\mathcal{X}},{\mathcal{L}})$ of $(X,\Delta)$, we have $$\label{eq:red-uks via tc}
    {\mathbf{D}^{\mathrm{NA}}}({\mathcal{X}},{\mathcal{L}})\ge \eta\cdot {\mathbf{J}^{\mathrm{NA}}}_T({\mathcal{X}},{\mathcal{L}}).$$ A log Fano pair $(X,\Delta)$ is said to be [*reduced uniformly Ding-stable*]{} if it is reduced uniformly Ding-stable with some slope $\eta>0$. We define the reduced uniform K-stability in a similar way by replacing ${\mathbf{D}^{\mathrm{NA}}}$ with the generalized Futaki invariant.

\[rem:choice of T\] Our definition clearly does not depend on the torus $T$. In fact, from the definition we see that if $(X,\Delta)$ is reduced uniformly Ding-stable (resp. K-stable) with respect to some torus $T\subseteq {\mathrm{Aut}}(X,\Delta)$, then $(X,\Delta)$ is K-polystable and $T$ has to be a maximal torus of ${\mathrm{Aut}}(X,\Delta)$. Since any two maximal tori are conjugate to each other, to verify the above definition it is equivalent to consider one maximal torus $T\subset {\mathrm{Aut}}(X,\Delta)$.

It can be easily seen that our definition of reduced uniform stability is equivalent to the notion of $G$-uniform stability in [@Li19] as long as $G$ contains a maximal torus. There have been other attempts to define ‘uniform stability’ when there is a group action. See [@Li19 Remark 1.6] of the relation between these notions. For our study in this paper, only the concept of reduced uniform K-stability is relevant, which we believe to be the most intrinsic one, since we do not have to specify any group.

The following theorem is one of the main results of [@Li19].

\[thm:Li’s valuative T-uKs\] Let $(X,\Delta)$ be a log Fano pair and $T$ a maximal torus of ${\mathrm{Aut}}(X,\Delta)$. The following are equivalent:

1.  $(X,\Delta)$ is reduced uniformly Ding-stable,

2.  $(X,\Delta)$ is reduced uniformly K-stable,

3.  $(X,\Delta)$ is K-semistable, and there exists some $\delta>1$ such that for any $T$-invariant valuation $v$, there exists some $\xi\in N_{\mathbb{R}}$, such that $A_{X,\Delta}(v_{\xi})\ge \delta \cdot S(v_{\xi})$.

4.  $(X,\Delta)$ admits a Kähler-Einstein metric.

The following is the main conjecture about reduced uniform K-stability (see e.g. [@Li19]\*[Remark 1.6(2)]{}, which is the K-polystable version of the conjecture that K-stability implies uniform K-stability (see e.g. [@BX19]\*[Conjecture 1.5]{}).

\[c-kpoly\] If $(X,\Delta)$ is K-polystable, then it is reduced uniformly K-stable.

Next, we extend as well as [@Li19]\*[Proposition 3.22]{} to arbitrary filtrations. It will be needed in later arguments.

\[prop:D&gt;=J any filtration\] Let $(X,\Delta)$ be a log Fano pair and let $T\subseteq {\mathrm{Aut}}(X,\Delta)$ be a maximal torus. Assume that $(X,\Delta)$ is reduced uniformly K-stable with slope at least $\eta>0$. Then for any filtration ${\mathcal{F}}$ of $R=R(X,-r(K_X+\Delta))$, we have $${\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}})\ge \eta\cdot {\mathbf{J}^{\mathrm{NA}}}_T({\mathcal{F}}).$$

By Corollary \[cor:DNA & JNA after translation\], we may replace ${\mathcal{F}}$ by a translation of ${\mathcal{F}}_{\mathbb{Z}}$ and assume that ${\mathcal{F}}$ is an ${\mathbb{N}}$-filtration. Let ${\mathcal{F}}_m$ be the $m$-th approximating filtration of ${\mathcal{F}}$, i.e.,

1.  for $m'<m$, ${\mathcal{F}}_m^\lambda R_{m'} = R_{m'}$ if $\lambda\le 0$ and ${\mathcal{F}}_m^\lambda R_{m'}=0$ if $\lambda > 0$,

2.  for $m'=m$, ${\mathcal{F}}_m^\lambda R_{m'} ={\mathcal{F}}^\lambda R_{m'}$ for all $\lambda$,

3.  for $m'>m$, ${\mathcal{F}}_m^\lambda R_{m'} =\sum_{\vec{\mu}} {\mathcal{F}}^{\mu_1} R_m \cdots {\mathcal{F}}^{\mu_s} R_m\cdot R_{m'-ms}$ where the sum runs through all $s\in {\mathbb{N}}_+$ and $\vec{\mu}=(\mu_1,\cdots,\mu_s)\in{\mathbb{R}}^s$ such that $ms\le m'$ and $\mu_1+\cdots+\mu_s\ge \lambda$ (it turns out that the sum can be written as a finite sum).

(Roughly speaking, ${\mathcal{F}}_m$ is the coarsest filtration of $R$ such that ${\mathcal{F}}_m^\lambda R_m = {\mathcal{F}}^\lambda R_m$ for all $\lambda$.) We claim that (c.f. [@Li19]\*[Proposition 3.16]{}) $$\label{eq:J_T,m converge to J_T}
    \mathbf{I}:=\lim_{m\to \infty} {\mathbf{J}^{\mathrm{NA}}}_T({\mathcal{F}}_m) = {\mathbf{J}^{\mathrm{NA}}}_T({\mathcal{F}}).$$

To see this, first note that $\lim_{m\to \infty}\lambda_{\max}({\mathcal{F}}_m)=\lambda_{\max}({\mathcal{F}})$ by [@BHJ17]\*[Corollary 5.4]{}. Using Fujita’s approximation theorem for graded linear series [@LM09]\*[Theorem 3.5]{} we also have $\lim_{m\to \infty} {\mathrm{vol}}({\mathcal{F}}_m R^{(x)}) = {\mathrm{vol}}({\mathcal{F}}R^{(x)})$ for all $x\in{\mathbb{R}}$ and hence $\lim_{m\to \infty} S({\mathcal{F}}_m)=S({\mathcal{F}})$ by the dominated convergence theorem. Since $(X,\Delta)$ is reduced uniformly K-stable, it is K-polystable and thus by Lemma \[lem:DNA twist & JNA min\] we have $S({\mathcal{F}}_\xi)=S({\mathcal{F}})$ and $S({\mathcal{F}}_{m,\xi})=S({\mathcal{F}}_m)$ for any $\xi\in N_{\mathbb{R}}$ and any $T$-equivariant filtration ${\mathcal{F}}$ on $R$. In particular, by Definition \[defn:D\^NA\], $$\lim_{m\to \infty} {\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_{m,\xi}) = {\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_\xi)\mbox{ for any fixed }\xi\in N_{\mathbb{R}}.$$

Let $\lambda_{m,\alpha}=\sup\{\lambda\,|\,({\mathcal{F}}^\lambda R_m)_\alpha \neq 0\}$ and let $\Gamma_m = \{\alpha\in M\,|\,R_{m,\alpha}\neq 0\}$. Then there exists a bounded region $P\subseteq M_{\mathbb{R}}$ such that $\frac{1}{m}\Gamma_m\subseteq P$ for all $m\in{\mathbb{N}}$. It follows that $$\lambda_{\max}({\mathcal{F}}_{m,\xi}) = \sup_{\alpha\in \Gamma_m} \frac{\lambda_{m,\alpha}+{\langle}\alpha,\xi {\rangle}}{m} \le \lambda_{\max}({\mathcal{F}})+\sup_{\alpha\in \Gamma_m} \frac{{\langle}\alpha,\xi {\rangle}}{m}\le \lambda_{\max}({\mathcal{F}})+C|\xi|$$ for some constant $C>0$ that only depends on $P$. Thus the functions ${\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_{m,\xi})$ ($m\in{\mathbb{N}}$) are equicontinuous on $N_{\mathbb{R}}$, as the above estimate implies for any $m$, $$|\lambda_{\max}({\mathcal{F}}_{m,\xi})-\lambda_{\max}({\mathcal{F}}_{m,\xi_0})|\le C|\xi-\xi_0|.$$ On the other hand, as in the proof of [@Li19]\*[Lemma 3.15 and Proposition 3.16]{}, there exist some constants $C_1,C_2>0$ such that $${\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_\xi)\ge C_1|\xi|-C_2\mbox{ and }{\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_{m,\xi})\ge C_1|\xi|-C_2 \mbox{ for all $m\gg 0$ and }\xi\in N_{\mathbb{R}},$$ so the infima $\inf_{\xi\in N_{\mathbb{R}}} {\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_{m,\xi})$ and $\inf_{\xi\in N_{\mathbb{R}}} {\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_\xi)$ are achieved on a fixed compact subset $\Xi\subseteq N_{\mathbb{R}}$. By the Arzelà-Ascoli theorem, the convergence $${\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_{m,\xi})\to {\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_\xi) \ \ (m\to \infty)$$ is uniform over $\Xi$ and hence we also get the convergence of infima $$\mathbf{I} = \lim_{m\to \infty} \inf_{\xi\in N_{\mathbb{R}}} {\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_{m,\xi}) = \inf_{\xi\in N_{\mathbb{R}}} {\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_\xi) = {\mathbf{J}^{\mathrm{NA}}}_T({\mathcal{F}}).$$ as claimed .

Since ${\mathcal{F}}_m$ is finitely generated, it comes from a test configuration of $(X,\Delta)$ [@BHJ17]\*[Proposition 2.15]{}, hence by the reduced uniform K-stability of $(X,\Delta)$ we have ${\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}}_m)\ge \eta\cdot{\mathbf{J}^{\mathrm{NA}}}_T({\mathcal{F}}_m)$ for some constant $\eta>0$ depending only on $(X,\Delta)$. By construction, we have ${\widetilde{I}}_m({\mathcal{F}}_m) = {\widetilde{I}}_m({\mathcal{F}})$ and ${\widetilde{I}}_{m\ell}({\mathcal{F}}_m) = {\widetilde{I}}_m({\mathcal{F}}_m)^\ell$ for all $m,\ell\in {\mathbb{N}}$, it is thus easy to check that $\lim_{m\to \infty} {\mathbf{L}^{\mathrm{NA}}}({\mathcal{F}}_m)={\mathbf{L}^{\mathrm{NA}}}({\mathcal{F}})$ and (see e.g. [@Fuj18b]\*[§4.2]{}) $$\label{eq:ding filtration}
\lim_{m\to \infty} {\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}}_m) = {\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}}),$$ hence combining with we obtain ${\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}})\ge \eta\cdot{\mathbf{J}^{\mathrm{NA}}}_T({\mathcal{F}})$.

Further properties
------------------

The second property is related to the behaviour of the slope $\eta$ in family, which is a partial generalization of the result in [@BL18] to the twisted version. It is needed later in our study of the CM line bundle.

We first need a simple lemma.

\[lem:only fg N-filt\] Let $\eta > 0$, let $(X,\Delta)$ be a log Fano pair and let $T\subseteq {\mathrm{Aut}}(X,\Delta)$ be a maximal torus. Then $(X,\Delta)$ is reduced uniformly K-stable with slope at least $\eta>0$ if and only if $$\label{eq:slope eta}
    {\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}})\ge \eta \cdot {\mathbf{J}^{\mathrm{NA}}}_T({\mathcal{F}})$$ for all finitely generated $T$-equivariant ${\mathbb{N}}$-filtrations ${\mathcal{F}}$ with $\lambda_{\max}({\mathcal{F}})\le 1$.

It suffices to prove the backward implication. Let ${\mathcal{F}}$ be a filtration of $R$. Choose some $M_1,M_2\gg 0$ such that the filtration ${\mathcal{G}}$ on $R$ defined by ${\mathcal{G}}^\lambda R_m = {\mathcal{F}}^{M_1 \lambda + m M_2} R_m$ satisfies ${\mathcal{G}}^0 R = R$ and $\lambda_{\max}({\mathcal{G}})\le 1$. It is not hard to check that ${\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}})=M_1\cdot {\mathbf{D}^{\mathrm{NA}}}({\mathcal{G}})$ and ${\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}})=M_1\cdot{\mathbf{J}^{\mathrm{NA}}}({\mathcal{G}})$, hence holds for ${\mathcal{F}}$ if and only if it holds for ${\mathcal{G}}$.

Replacing ${\mathcal{F}}$ by ${\mathcal{G}}$, we may assume that ${\mathcal{F}}^0 R = R$ and $\lambda_{\max}({\mathcal{F}})\le 1$. Similarly, as ${\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}}_{\mathbb{Z}})={\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}})$ and ${\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_{\mathbb{Z}})={\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}})$, it suffices to check for the ${\mathbb{N}}$-filtration ${\mathcal{F}}_{\mathbb{Z}}$. For each positive integer $m$, let ${\mathcal{F}}_m$ be the $m$-th approximating filtration of ${\mathcal{F}}_{\mathbb{Z}}$, then ${\mathcal{F}}_m$ is a finitely generated $T$-equivariant ${\mathbb{N}}$-filtrations with $\lambda_{\max}({\mathcal{F}}_m)\le 1$. If holds for all such filtrations, then letting $m\to \infty$ we see that holds for ${\mathcal{F}}_{\mathbb{Z}}$ (by ) and hence for ${\mathcal{F}}$ as well.

\[prop:slope at vg pt\] Let $T$ be a torus and let $f\colon (X,\Delta)\to B$ be a ${\mathbb{Q}}$-Gorenstein family of log Fano pairs with a fiberwise $T$-action. Let $\eta > 0$. Assume that $(X_0,\Delta_0)$ is reduced uniformly Ding-stable with slope at least $\eta$ for some $0\in B$ and $T\subseteq {\mathrm{Aut}}(X_0,\Delta_0)$ is a maximal torus. Then the same is true for very general fibers of $f$.

Let $r>0$ be a sufficiently divisible integer and let $${\mathcal{R}}:=\bigoplus_{m\in {\mathbb{N}}} {\mathcal{R}}_m := \bigoplus_{m\in {\mathbb{N}}} f_*{\mathcal{O}}_X(-mr(K_{X/B}+\Delta)).$$ By Remark \[rem:choice of T\], it suffices to show that very general fibers of $f$ are reduced uniformly Ding-stable with slope at least $\eta$ and with respect to $T$. By Lemma \[lem:only fg N-filt\], this reduces to showing that ${\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}})\ge \eta \cdot {\mathbf{J}^{\mathrm{NA}}}_T({\mathcal{F}})$ for any $T$-equivariant finitely generated ${\mathbb{N}}$-filtration ${\mathcal{F}}$ on $$R_b = {\mathcal{R}}\otimes k(b) = \bigoplus_{m\in {\mathbb{N}}} H^0(X_b,-mr(K_{X_b}+\Delta_b))$$ with $\lambda_{\max}({\mathcal{F}})\le 1$ (where $b\in B$ is very general).

We first construct the parameter spaces of such filtrations. Let $m\in{\mathbb{N}}_+$ and let ${\mathcal{R}}_m=\bigoplus_{\alpha\in M} {\mathcal{R}}_{m,\alpha}$ be the weight decomposition. If $R$ is an ${\mathbb{N}}$-graded ring, then we denote by $R^{(m)}$ the subring of $R$ which only consists of the elements with degree divisible by $m$.

Clearly giving a $T$-equivariant ${\mathbb{N}}$-filtration ${\mathcal{F}}$ on $R^{(m)}_b$ that is generated in degree $m$ is equivalent to giving an ${\mathbb{N}}$-filtrations on $R_{m,\alpha,b}:={\mathcal{R}}_{m,\alpha}\otimes k(b)$ for each $\alpha$. If moreover $\lambda_{\max}({\mathcal{F}})\le 1$, then this amounts to choosing a length $m$ decreasing sequence of subspaces ${\mathcal{F}}^i R_{m,\alpha,b}$ ($i=1,2,\cdots,m$) of each $R_{m,\alpha,b}$. Such a sequence is parametrized by the relative flag variety (of length $m$) of ${\mathcal{R}}_{m,\alpha}$ over $B$. In other words, if we denote by $F_m$ the fiber product of these relative flag varieties (for a fixed $m\in{\mathbb{N}}_+$) over $B$ and let $\phi_m\colon F_m\to B$ be the natural projection, then for any $b\in B$, there is a bijection between the geometric points of $\phi_m^{-1}(b)$ and the $T$-equivariant ${\mathbb{N}}$-filtrations ${\mathcal{F}}$ on $R_b$ with $\lambda_{\max}({\mathcal{F}})\le 1$ which are generated in degree $m$. In particular, for each $t\in F_m$, we denote by ${\mathcal{F}}_t$ the corresponding filtration on $R_{\phi_m(t)}$. Note that each irreducible component of $F_m$ (corresponding to different choices of the signature of the flag) is proper over $B$.

By [@BJ17]\*[Corollary 2.10]{}, there exist constants $\epsilon_m \ge 0$ ($m\in{\mathbb{N}}_+$) such that $\epsilon_m\to 1$ $(m\to \infty)$ and $S({\mathcal{F}})\ge \epsilon_m \cdot S_m({\mathcal{F}})$ for all $m$ and all ${\mathbb{N}}$-filtration ${\mathcal{F}}$ on ${\mathcal{R}}_0$. By [@Li19]\*[Lemma 3.15]{}, for any $T$-equivariant finitely generated filtration ${\mathcal{F}}$ on ${\mathcal{R}}_0$ there exists some $\xi\in N_{\mathbb{R}}$ such that ${\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}})\ge \eta\cdot {\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_\xi)$; since $(X_0,\Delta_0)$ is K-semistable, we also have $S({\mathcal{F}}_\xi)=S({\mathcal{F}})$. It follows that $$\begin{aligned}
    {\mathbf{L}^{\mathrm{NA}}}({\mathcal{F}}) & \ge \eta \cdot {\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_\xi) + \frac{S({\mathcal{F}})}{r} \\
     & \ge \eta \cdot \lambda_{\max}({\mathcal{F}}_\xi)+ (1-\eta)\cdot \frac{S({\mathcal{F}})}{r} \\
     & \ge \eta \cdot \lambda_{\max}({\mathcal{F}}_\xi)+ (1-\eta)\epsilon_m\cdot \frac{S_m({\mathcal{F}})}{r}.\end{aligned}$$ Let $(Y,\Gamma)=(X,\Delta)\times_B F_m$ and let $g\colon (Y,\Gamma)\to F_m$ be the natural projection. Let $L=-mr(K_{Y/F_m}+\Gamma)$. By construction, there exists a universal flag of $T$-invariant subbundles $${\mathcal{F}}^m \subseteq \cdots \subseteq {\mathcal{F}}^1\mbox{\ \ \ of \ \ }g_*{\mathcal{O}}_Y(L)=\phi_m^* {\mathcal{R}}_m$$ whose restriction to any geometric point $t\in F_m$ is the corresponding filtration ${\mathcal{F}}_y$ on $R_{m,t}=\phi_m^* {\mathcal{R}}_m\otimes k(t)$.

Let ${\mathcal{I}}_{m,i}$ be the image of the composition $g^*{\mathcal{F}}^i\otimes {\mathcal{O}}_Y(-L)\to g^*g_*{\mathcal{O}}_Y(L) \otimes {\mathcal{O}}_Y(-L) \to {\mathcal{O}}_Y$ and let $${\widetilde{\mathcal{I}}}_m = {\mathcal{I}}_{m,m} + {\mathcal{I}}_{m,m-1}\cdot t + \cdots + {\mathcal{I}}_{m,1}\cdot t^{m-1} + (t^{m}) \subseteq {\mathcal{O}}_{Y\times {\mathbb{A}}^1}.$$ Then we have ${\mathcal{I}}_{m,i}\otimes k(y)=I_{m,i}({\mathcal{F}}_t)$ and ${\widetilde{\mathcal{I}}}_m\otimes k(t)={\widetilde{I}}_m({\mathcal{F}}_t)$ for all $t\in F_m$. As ${\mathcal{F}}_t$ is generated in degree $m$, we also have ${\widetilde{I}}_{m\ell}({\mathcal{F}}_t)={\widetilde{I}}_m({\mathcal{F}}_t)^\ell$ for all $\ell\in{\mathbb{N}}$ and hence $${\mathbf{L}^{\mathrm{NA}}}({\mathcal{F}}_t) = {\mathrm{lct}}\big(Y_t \times {\mathbb{A}}^1,(\Gamma_t \times{\mathbb{A}}^1)\cdot ({\widetilde{\mathcal{I}}}_{m,t})^{\frac{1}{mr}};Y_t\times \{0\} \big) + \frac{1}{r} - 1.$$ By inversion of adjunction, this implies that the function $t\mapsto {\mathbf{L}^{\mathrm{NA}}}({\mathcal{F}}_t)$ on $F_m$ is constructible and lower semicontinuous.

Moreover, the functions $t\mapsto S_m({\mathcal{F}}_t)$ and $t\mapsto \lambda_{\max}({\mathcal{F}}_{t,\xi})$ (for each fixed $\xi\in N_{\mathbb{R}}$) are constant on each irreducible component of $F_m$. It follows from the Noetherian induction that for each $m\in {\mathbb{N}}_+$, there exists an open subset $U_m\subseteq F_m$ containing $\phi_m^{-1}(0)$ such that for all $t\in U_m$, there exists some $\xi\in N_{\mathbb{R}}$ with $${\mathbf{L}^{\mathrm{NA}}}({\mathcal{F}}_t)\ge \eta \cdot \lambda_{\max}({\mathcal{F}}_{t,\xi})+ (1-\eta)\epsilon_m\cdot \frac{S_m({\mathcal{F}}_t)}{r}.$$ Since $F_m$ is proper over $B$, $V:=\bigcap_m \phi_m(U_m)$ is the complement of a countable union of closed sets. It is nonempty as $0\in V$. Further shrinking $V$, we may also assume that every fiber over $V$ is K-semistable by [@BL18]\*[Theorem A]{}. We therefore deduce that for any $b\in V$ and any $T$-equivariant ${\mathbb{N}}$-filtration ${\mathcal{F}}$ of ${\mathcal{R}}_b$ with $\lambda_{\max}({\mathcal{F}})\le 1$ that is generated in degree $m$, we have $$\label{eq:DNA>=J_T,m}
    {\mathbf{L}^{\mathrm{NA}}}({\mathcal{F}})\ge \eta \cdot {\mathbf{J}^{\mathrm{NA}}}_T({\mathcal{F}}) + \eta\cdot \frac{S({\mathcal{F}})}{r} + (1-\eta)\epsilon_m\cdot \frac{S_m({\mathcal{F}})}{r}.$$

But a filtration that is generated in degree $m$ is also generated in degree $m\ell$ for all $\ell\in {\mathbb{N}}$ and hence remains true if we replace $m$ by $m\ell$. Letting $\ell\to \infty$ we obtain ${\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}})\ge \eta\cdot {\mathbf{J}^{\mathrm{NA}}}_T({\mathcal{F}})$ for all $b\in V$ and all $T$-equivariant finitely generated ${\mathbb{N}}$-filtrations ${\mathcal{F}}$ of ${\mathcal{R}}_b$ with $\lambda_{\max}({\mathcal{F}})\le 1$. By Remark \[rem:choice of T\] and Lemma \[lem:only fg N-filt\], we conclude that $(X_b,\Delta_b)$ is reduced uniformly K-stable with slope at least $\eta$ as long as $b\in V$.

$\beta_{\delta}$-invariants for filtrations {#s-tbeta}
===========================================

In this section, we define and study the $\beta_{\delta}$-invariants for filtrations of anti-canonical rings of log Fano pairs. In particular, we will complete the proof of Theorem \[t-main1\]. We believe for many questions, this gives the appropriate extension of $\beta$-invariants in [@Li17; @Fuj19] defined for valuations.

As an immediate consequence, we will also give a more conceptual (in our opinion) proof of the semi-positivity of CM line bundles [@CP18]\*[Theorem 1.7]{}.

We fix the following notation: let $(X,\Delta)$ be a log Fano pair, let $r>0$ be an integer such that $L:=-r(K_X+\Delta)$ is Cartier and let $R=R(X,L)$.

Definition of $\beta_{\delta}$-invariants
-----------------------------------------

\[d-beta\] Given a filtration ${\mathcal{F}}$ of $R$ and some $\delta\in{\mathbb{R}}_+$, we define the *$\delta$-log canonical slope* (or simply *log canonical slope* when $\delta=1$) $\mu_{X,\Delta,\delta}({\mathcal{F}})$ (or $\mu_{\delta}({\mathcal{F}})$ if the pair $(X,\Delta)$ is clear from the context) as $$\label{e-twistmu}
\mu_{X,\Delta,\delta}({\mathcal{F}}) = \sup \left\{t\in{\mathbb{R}}\,|\,{\mathrm{lct}}(X,\Delta;I^{(t)}_\bullet)\ge \frac{\delta}{r}\right\}$$ where $I^{(t)}_\bullet=I^{(t)}_\bullet({\mathcal{F}})$ is as in Definition \[defn:base ideal\] and define $$\beta_{X,\Delta,\delta}({\mathcal{F}}):= \frac{\mu_{X,\Delta,\delta}({\mathcal{F}})-S({\mathcal{F}})}{r}.$$ We will often suppress the subscripts when the pair $(X,\Delta)$ is clear or $\delta=1$.

We have the following properties of $\beta$-invariants which compared to the original definition in [@Fuj19; @Li17].

\[prop:tbeta property\] For any divisor $E$ over $X$, we have $\beta(E)\ge \beta({\mathcal{F}}_{{\mathrm{ord}}_E})$. Moreover, equality holds when $E$ is weakly special $($i.e. it is induced by a weakly special test configuration with an irreducible central fiber, see e.g. [@BLX19]\*[Definition A.1]{} or Lemma \[l-weakly\]).

Let ${\mathcal{F}}={\mathcal{F}}_{{\mathrm{ord}}_E}$. By definition we have ${\mathrm{ord}}_E(I^{(t)}_\bullet({\mathcal{F}}))\ge t$, thus $${\mathrm{lct}}(X,\Delta;I^{(t)}_\bullet)<\frac{1}{r}\qquad\mbox{ when } t>r\cdot A_{X,\Delta}(E).$$ It follows that $\mu({\mathcal{F}})\le r\cdot A_{X,\Delta}(E)$ and hence $\beta({\mathcal{F}})\le \beta(E)$ by definition. If $E$ is weakly special, then by [@BLX19]\*[Theorem A.2]{} there exists an effective ${\mathbb{Q}}$-divisor $D\sim_{\mathbb{Q}}-(K_X+\Delta)$ such that $(X,\Delta+D)$ is lc and $A_{X,\Delta}(E)={\mathrm{ord}}_E(D)$. This implies that $${\mathrm{lct}}(X,\Delta;I^{ (r\cdot A_{X,\Delta}(E))}_\bullet)\ge {\mathrm{lct}}(X,\Delta;rD)\ge \frac{1}{r}.$$ Thus $\mu({\mathcal{F}})\ge r\cdot A_{X,\Delta}(E)$ and $\beta({\mathcal{F}}) \ge \beta(E)$.

In Lemma \[l-comple\], we will prove a partial converse of Proposition \[prop:tbeta property\].

In the remaining part of this subsection, we show that the non-negativity of $\beta$-invariants (resp. $\beta_{\delta}$-invariants for some $\delta>1$) for filtrations characterizes K-semistability (resp. uniform K-stability). Later in $\S$\[ss-tbetaredK\], we shall see that the $\beta_\delta$-invariants can be used to detect reduced uniform K-stability (Definition \[defn:red uks\]).

\[thm:tbeta&gt;=D\^NA\] Let $(X,\Delta)$ be a log Fano pair and let $r>0$ be an integer such that $L=-r(K_X+\Delta)$ is Cartier. Then we have $$\beta({\mathcal{F}})\ge {\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}})$$ for any linearly bounded multiplicative filtration ${\mathcal{F}}$ of $R=R(X,L)$.

Denote by $\mu:=\mu_{X,\Delta}({\mathcal{F}})$, $\lambda_{\max}:=\lambda_{\max}({\mathcal{F}})$ and we have $\mu\le \lambda_{\max}$. If $\mu=\lambda_{\max}$, then it is clear that $\beta({\mathcal{F}})={\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}})\ge {\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}})$. Hence we may assume that $\lambda_{\max}>\mu$ in what follows. In particular, $I_{m,\lambda}\neq 0$ for some $\lambda>\mu m$.

For each $m$, the ideal $I_{m,\mu m+\epsilon}$ does not depend on the choice of $\epsilon>0$ as long as $\epsilon$ is sufficiently small and we set ${\mathfrak{a}}_m=I_{m,\mu m+\epsilon}$ where $0<\epsilon\ll 1$. It is easy to see that ${\mathfrak{a}}_\bullet$ is a graded sequence of ideals on $X$. By the definition of $\mu$, we have $$m\cdot {\mathrm{lct}}(X,\Delta;{\mathfrak{a}}_m) = m\cdot {\mathrm{lct}}(X,\Delta;I_{m,\mu m+\epsilon})\le {\mathrm{lct}}(X,\Delta;I_\bullet^{(\mu+\epsilon /m)})\le \frac{1}{r}$$ for all $m$. It follows that ${\mathrm{lct}}(X,\Delta;{\mathfrak{a}}_\bullet)\le \frac{1}{r}$ and hence by [@JM12]\*[Theorem A]{} there is a valuation $v$ over $X$ such that $$\label{eq:a<=v}
    a:=A_{X,\Delta}(v)\le \frac{1}{r}v({\mathfrak{a}}_\bullet)<\infty.$$ For each $\lambda\in {\mathbb{R}}$, we set $f(\lambda)=v(I^{(\lambda)}_\bullet)$. Since $\lambda_{\max}>\mu$, there exists some $\epsilon>0$ such that $f(\lambda)<\infty$ for all $\lambda<\mu+\epsilon$. Since the filtration ${\mathcal{F}}$ is multiplicative, we know that $f$ is a non-decreasing convex function. It follows that $f$ is continuous on $(-\infty,\mu+\epsilon)$ and from the construction we see that $$f(\mu)\le v({\mathfrak{a}}_\bullet)\le \lim_{\lambda\to \mu+} f(\lambda)=f(\mu),$$ hence $f(\mu)=v({\mathfrak{a}}_\bullet)\ge ar$ by . We then have $$\begin{aligned}
\label{e-convex}
f(\lambda)\ge f(\mu)+\xi (\lambda-\mu)\ge ar+\xi(\lambda-\mu) \mbox{\ \ where \ } \xi:=\lim_{h\to 0+}\frac{f(\mu)-f(\mu-h)}{h}\end{aligned}$$ for all $\lambda$ by the convexity of $f$. We claim that $\xi>0$. Indeed, it is clear that $\xi\ge 0$ since $f$ is non-decreasing. If $\xi=0$, then $f$ must be constant on $(-\infty,\mu]$; but this is a contradiction since $f(\mu)\ge ar>0$ while we always have $f(e_-)=0$. Hence $\xi>0$ as desired. Replacing $v$ by $\xi^{-1} v$, we may assume that $\xi=1$ and becomes $$\label{eq:f convex}
    f(\lambda)\ge \lambda +ar-\mu.$$

Now let ${\tilde{v}}$ be the valuation on $X\times {\mathbb{A}}^1$ given by the quasi-monomial combination of $v$ and $X_0$ with weight $(1,1)$. Using the same notation as in Definition \[defn:D\^NA\], we have $$\begin{aligned}
    {\tilde{v}}(I_{m,me_-+i}\cdot t^{me-i}) & \ge m f\left( \frac{me_-+i}{m} \right) +(me-i) \\
     & \ge m\left(\frac{me_-+i}{m}+ar-\mu\right)+(me-i) \\
     & = m(e_++ar-\mu) \quad (\forall i\in{\mathbb{N}})\end{aligned}$$ where the first inequality follows from the definition of $f(\lambda)$ and the second inequality follows from . It follows that ${\tilde{v}}({\widetilde{I}}_m)\ge m(e_++ar-\mu)$ and hence by definition of $c_m$ we obtain $$c_m \le A_{(X,\Delta)\times {\mathbb{A}}^1}({\tilde{v}})-\frac{{\tilde{v}}({\widetilde{I}}_m)}{mr}\le a+1-\frac{e_+ +ar-\mu}{r}=\frac{\mu-e_+}{r}+1$$ for all $m\in{\mathbb{N}}$. Thus $c_\infty\le \frac{\mu-e_+}{r}+1$ and we have $${\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}}) = c_\infty + \frac{e_+ - S({\mathcal{F}})}{r} -1 \le \frac{\mu-S({\mathcal{F}})}{r} = \beta({\mathcal{F}})$$ as desired.

\[cor:beta hat&gt;=0\] A log Fano pair $(X,\Delta)$ is K-semistable if and only if $\beta({\mathcal{F}})\ge 0$ for any filtration ${\mathcal{F}}$ of $R=R(X,-r(K_X+\Delta))$.

Suppose that $(X,\Delta)$ is K-semistable. Then combining (see [@Fuj18b]\*[§4.2]{}) and [@Fuj19 Theorem 6.5], we have ${\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}})\ge 0$ for any linearly bounded filtration ${\mathcal{F}}$ of $R$. Hence $\beta({\mathcal{F}})\ge 0$ by Theorem \[thm:tbeta&gt;=D\^NA\]. Conversely, if $\beta({\mathcal{F}})\ge 0$ for any linearly bounded filtration ${\mathcal{F}}$ of $R$, then by Proposition \[prop:tbeta property\] we have $\beta(E)\ge 0$ for all divisors $E$ over $X$, thus $(X,\Delta)$ is K-semistable.

More generally, we have:

\[prop:delta twisted beta&gt;=0\] Let $(X,\Delta)$ be a log Fano pair and let $r\in \mathbb{N}$ be an integer such that $L=-r(K_X+\Delta)$ is Cartier. Let $0<\delta\le\delta(X,\Delta)$. Then $\beta_\delta ({\mathcal{F}})\ge 0$ for any linearly bounded multiplicative filtration ${\mathcal{F}}$ of $R=R(X,L)$.

The argument is very close to the proof of Theorem \[thm:tbeta&gt;=D\^NA\], so we only give a sketch. First we may assume that $\mu:=\mu_{X,\Delta,\delta}({\mathcal{F}})<\lambda_{\max}:=\lambda_{\max}({\mathcal{F}})$. Let ${\mathfrak{a}}_m=I_{m,\mu m+\epsilon}$ where $0<\epsilon\ll 1$. As in the proof of Theorem \[thm:tbeta&gt;=D\^NA\], we have ${\mathrm{lct}}(X,\Delta;{\mathfrak{a}}_\bullet)\le \frac{\delta}{r}$ and thus there exists a valuation $v$ over $X$ such that $$a:=A_{X,\Delta}(v)\le \frac{\delta}{r}v({\mathfrak{a}}_\bullet).$$ For each $\lambda\in{\mathbb{R}}$, let $f(\lambda)=v(I^{(\lambda)}_\bullet)$. Then we have $f(\mu)\ge \frac{ar}{\delta}$ by the above inequality. By convexity we also have $$\label{e-conv2}
f(\lambda)\ge f(\mu)+\xi (\lambda-\mu)\ge \frac{ar}{\delta}+\xi (\lambda-\mu)$$ for all $\lambda\in{\mathbb{R}}$ (where $\xi=f'(\mu)>0$). Replacing $v$ by $\xi^{-1} v$, we may assume that $\xi=1$. After translating ${\mathcal{F}}$ by $c=\frac{ar}{\delta}-\mu$ (which does not change the value of $\beta({\mathcal{F}})$), we may further assume that $\frac{ar}{\delta}=\mu$ and hence $f(\lambda)\ge \lambda$ for all $\lambda$. In other words, ${\mathcal{F}}^\lambda R \subseteq {\mathcal{F}}_v^\lambda R$ for all $\lambda$ (where ${\mathcal{F}}_v$ the filtration associated to the valuation $v$), hence $S({\mathcal{F}})\le S({\mathcal{F}}_v)$. Since $\mu=\frac{ar}{\delta}$, from the definition of $\delta(X,\Delta)$, we see that $$\beta_\delta ({\mathcal{F}}) = \frac{\mu-S({\mathcal{F}})}{r} \ge \frac{a}{\delta} - \frac{S({\mathcal{F}}_v)}{r} \ge \frac{a}{\delta(X,\Delta)} - \frac{S({\mathcal{F}}_v)}{r} \ge 0$$ as desired.

Semi-positivity of CM line bundle {#ss-semiposi}
---------------------------------

Before we proceed to investigate more on $\beta$-invariants, let us show the criterion in Corollary \[cor:beta hat&gt;=0\] can be used to give a direct proof of the semi-positivity of CM line bundle.

\[prop:cm&gt;=beta\] Let $f\colon (X,\Delta)\to C$ be a generic log Fano family over a smooth projective curve $C$, let $t\in C$ be a general point and let $r>0$ be an integer such that $L=-r(K_X+\Delta)$ is Cartier. Then we have $$\deg \lambda_{f,\Delta} \ge (n+1) (-K_{X_t}-\Delta_t)^n \cdot  \beta_{X_t,\Delta_t}({\mathcal{F}}_{{\mathrm{HN}}}).$$ where $n=\dim X_t$ and ${\mathcal{F}}_{\mathrm{HN}}$ is the HN-filtration on $R:=R(X_t,L_t)$ $($see §\[sec:HN\]$)$.

Let ${\mathcal{R}}_m:=f_*{\mathcal{O}}_X(mL)$ so that $R_m={\mathcal{R}}_m\otimes k(t)$. By definition, it is not hard to see that $$S_m({\mathcal{F}}_{{\mathrm{HN}}})=\frac{1}{m\dim R_m} \deg {\mathcal{R}}_m,$$ hence by Riemann-Roch calculation (see e.g. [@CP18]\*[Lemma A.2]{}) we have $$\label{e-CM=S}
    \deg \lambda_{f,\Delta} = - (n+1) (-K_{X_t}-\Delta_t)^n \cdot \frac{S({\mathcal{F}}_{\mathrm{HN}})}{r}.$$ Thus it suffices to show that $\mu({\mathcal{F}}_{\mathrm{HN}})\le 0$. Suppose that this is not the case, i.e. $\mu({\mathcal{F}}_{\mathrm{HN}})>0$, then we also have $\mu_\delta({\mathcal{F}}_{\mathrm{HN}})>0$ for some $\delta>1$ (c.f. Lemma \[lem:twisted mu\]). Choose some $\epsilon\in{\mathbb{Q}}$ such that $0<2\epsilon< \mu_\delta({\mathcal{F}}_{\mathrm{HN}})$, then by the definition of ($\delta$-)log canonical slope, the pair $(X_t,\Delta_t + \frac{1}{rm}I_{m,2\epsilon m})$ is klt for sufficiently divisible $m$.

On the other hand, recall that ${\mathcal{F}}_{{\mathrm{HN}}}^{2\epsilon m}R_m$ is the stalk of $${\mathcal{F}}_{{\mathrm{HN}}}^{2\epsilon m}{\mathcal{R}}_m={\mathcal{F}}_{{\mathrm{HN}}}^{\epsilon m}\left( \mathcal{R}_m\otimes {\mathcal{O}}_C(-m\epsilon P) \right)$$ at $t\in C$, hence by [@CP18]\*[Proposition 5.7]{}, once $\epsilon m\ge 2g$ every element of ${\mathcal{F}}_{{\mathrm{HN}}}^{2\epsilon m}R_m$ can be lifted to a global section of $\mathcal{R}_m\otimes {\mathcal{O}}_C(-m\epsilon P)$ (where $P\in C$), i.e. an element of $H^0(X,-mr(K_{X/C}+\Delta)-m\epsilon f^*P)$. Let $$f\in H^0(X,-mr(K_{X/C}+\Delta)-m\epsilon f^*P)$$ be a lift of a general member of ${\mathcal{F}}_{\mathrm{HN}}^{2\epsilon m}R_m$ and let $D=\frac{1}{rm}(f=0)$.

By construction we know that $$K_{X/C}+\Delta+D\sim_{{\mathbb{Q}}} -\frac{\epsilon}{r}f^*P$$ and $(X_t,\Delta_t+D_t)$ is klt for general $t\in C$. But then the canonical bundle formula [@Kol07]\*[Theorem 8.5.1]{} implies that $K_{X/C}+\Delta+D\sim_{\mathbb{Q}}f^*Q$ for some pseudo-effective divisor $Q$ on $C$; as $\epsilon>0$, this a contradiction.

\[cor:cm&gt;=0\] Let $f\colon (X,\Delta)\to C$ be a generic log Fano family over a smooth projective curve $C$. Assume that the general fibers are K-semistable, then $\deg \lambda_{f,\Delta} \ge 0$.

This is an immediate consequence of Corollary \[cor:beta hat&gt;=0\] and Proposition \[prop:cm&gt;=beta\].

Unlike [@CP18], our proof does not use the product trick. We note that the question on K-(semi,poly)stability of product is recently settled in [@Zhu19].

Using a similar strategy, we can also bound the nef threshold of $-(K_{X/C}+\Delta)$ with respect to the CM line bundle. This will be one of the key ingredients in proving the ampleness of CM line bundle.

\[prop:nef threshold\] Notation as in Proposition \[prop:cm&gt;=beta\]. Assume that $\beta_{X_t,\Delta_t,\delta}({\mathcal{F}}_{\mathrm{HN}})\ge 0$ for some $\delta>1$. Then $$-(K_{X/C}+\Delta)+\frac{\delta}{(n+1)v(\delta-1)}f^*\lambda_{f,\Delta}$$ is nef, where $v:=(-K_{X_t}-\Delta_t)^n$.

First assume that $\delta\in {\mathbb{Q}}$. By our assumption, we have $$\mu_\delta({\mathcal{F}}_{\mathrm{HN}})\ge S({\mathcal{F}}_{\mathrm{HN}})=-\frac{r\deg \lambda_{f,\Delta}}{(n+1)v}.$$ Thus for any rational numbers $\lambda >\lambda' > \frac{\deg \lambda_{f,\Delta}}{(n+1)v}$, there exists $m\gg 0$ and some $G \in |{\mathcal{F}}^{-mr\lambda'}_{\mathrm{HN}}R_m|$ such that $(X_t,\Delta_t + \frac{\delta}{mr}G)$ is klt. As before, by [@CP18]\*[Proposition 5.7]{} we can lift $G$ to a section of $${\mathcal{F}}^{2g}_{\mathrm{HN}}\big( {\mathcal{R}}_m \otimes {\mathcal{O}}_C(\lceil (mr\lambda'+2g)P \rceil) \big)  \subseteq |-mr(K_{X/C}+\Delta)+ mr\lambda f^*P|$$ and hence we get an effective divisor $D\sim_{\mathbb{Q}}-(K_{X/C}+\Delta)+ \lambda f^*P$ such that $(X_t,\Delta_t+\delta D_t)$ is klt. By [@Fuj18]\*[Theorem 1.11]{}, this implies that $f_*{\mathcal{O}}_X(m(K_{X/C}+\Delta+\delta D))$ is nef for all sufficiently divisible $m\in{\mathbb{N}}$ and hence $$f_*{\mathcal{O}}_X(m(K_{X/C}+\Delta+\delta D))\otimes {\mathcal{O}}_C(2gP)$$ is globally generated by [@CP18]\*[Proposition 5.7]{}. As $$K_{X/C}+\Delta+\delta D\sim_{C,{\mathbb{Q}}} -(\delta-1)(K_{X/C}+\Delta)$$ is $f$-ample, it follow that $m(K_{X/C}+\Delta+\delta D)+2gf^*P$ is globally generated for sufficiently divisible $m\in{\mathbb{N}}$. Letting $m\to\infty$ we deduce that $$K_{X/C}+\Delta+\delta D \sim_{\mathbb{Q}}-(\delta-1)(K_{X/C}+\Delta)+\delta\lambda f^*P$$ is nef. As $\lambda > \frac{\deg \lambda_{f,\Delta}}{(n+1)v}$ is arbitrary, we see that $-(K_{X/C}+\Delta)+\frac{\delta}{(n+1)v(\delta-1)}f^*\lambda_{f,\Delta}$ is nef.

In the general case let $\delta'\in {\mathbb{Q}}\cap (1,\delta)$. If $\beta_{X_t,\Delta_t,\delta}({\mathcal{F}}_{\mathrm{HN}})\ge 0$, then we also have $\beta_{X_t,\Delta_t,\delta'}({\mathcal{F}}_{\mathrm{HN}})\ge 0$. The previous case implies that $$-(K_{X/C}+\Delta)+\frac{\delta'}{(n+1)v(\delta'-1)}f^*\lambda_{f,\Delta}$$ is nef. Letting $\delta'\to \delta$ we finish the proof.

\[cor:nef threshold uks\] Notation as in Proposition \[prop:cm&gt;=beta\]. Assume that $(X_t,\Delta_t)$ is uniformly K-stable and let $\delta=\delta(X_t,\Delta_t)$, $v=(-K_{X_t}-\Delta_t)^n$. Then $-(K_{X/C}+\Delta)+\frac{\delta}{(n+1)v(\delta-1)}f^*\lambda_{f,\Delta}$ is nef.

By Proposition \[prop:delta twisted beta&gt;=0\], we have $\beta_\delta({\mathcal{F}}_{\mathrm{HN}})\ge 0$, hence the statement follows immediately from Proposition \[prop:nef threshold\].

Relation to reduced uniform K-stability {#ss-tbetaredK}
---------------------------------------

We would like to have a similar statement on the nef thresholds as in Corollary \[cor:nef threshold uks\] when general fibers are only reduced uniformly K-stable. By Proposition \[prop:nef threshold\], this would be true if $\beta_\delta({\mathcal{F}}_{\mathrm{HN}})\ge 0$ for some $\delta>1$. However, if a general fiber has a non-discrete automorphism group, there are simple examples (e.g. ${\mathbb{P}}^1$-bundles $f\colon X=\mathbf{F}_e\to C={\mathbb{P}}^1$ with $e>0$) where $\deg \lambda_f = 0$ while $-K_{X/C}$ is not nef (in particular, the nef threshold does not exists).

It turns out that the right statement is that for a family of reduced uniformly K-stable log Fano pairs, the non-negativity $\beta_\delta({\mathcal{F}})\ge 0$ (for some $\delta>1$) is true after a torus twist (see Theorem \[thm:beta&gt;=0 after twist\]). To obtain this result, we need to have a better understanding of the relation between $\beta_{\delta}$, ${\mathbf{D}^{\mathrm{NA}}}$ and ${\mathbf{J}^{\mathrm{NA}}}$ for a filtration ${\mathcal{F}}$. More precisely, we want to establish the following technical statement.

\[prop:perturbed beta&gt;=0\] Let $\alpha,\eta$ be two positive numbers and $n$ a positive integer. Then there exists some $\delta=\delta(\eta,n,\alpha)>1$ with the following property: for any $n$-dimensional log Fano pair $(X,\Delta)$ with $\alpha(X,\Delta)\ge \alpha$ and any linearly bounded multiplicative filtration ${\mathcal{F}}$ of $R=R(X,L)$ $($where $L=-r(K_X+\Delta)$ is Cartier$)$ that satisfies ${\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}})\ge \eta \cdot {\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}})$, we have $\beta_\delta ({\mathcal{F}}) \ge 0$.

When ${\mathcal{F}}$ is induced by a special test configuration and $v$ is the valuation induced by the special test configuration, then one can show as in Proposition \[prop:tbeta property\] that $$\beta_{\delta}({\mathcal{F}}_v)=\frac{A_{X,\Delta}(v)}{\delta}-\frac{1}{r}S({\mathcal{F}}_v).$$ Thus the claim is easy to see. However, (unless $\delta=1$) we are not able to argue as in [@LX14] by using MMP to reduce the general case to the special test configurations.

Therefore, to prove Proposition \[prop:perturbed beta&gt;=0\], we will rely on a detailed study of the Duistermaat-Heckman measure. We first need to show a number of auxiliary results.

\[lem:twisted mu\] For any $0<s,\epsilon<1$, we have $$\label{eq:twisted mu}
    \mu_{1+(1-\epsilon)s}({\mathcal{F}}) \ge s\cdot \mu_{\epsilon^{-1}}({\mathcal{F}})+(1-s)\mu({\mathcal{F}}).$$

Let $\mu=\mu({\mathcal{F}})$, $\mu_0=\mu_{\epsilon^{-1}}({\mathcal{F}})$ and $\mu'=\mu_{1+(1-\epsilon)s}({\mathcal{F}})$. We may assume that $\mu'<\lambda_{\max}({\mathcal{F}})$ and $\mu'<\mu$, otherwise the statement is clear. Similar to the proof of Theorem \[thm:tbeta&gt;=D\^NA\] we let ${\mathfrak{a}}'_m = {\mathcal{I}}_{m,\mu' m+\epsilon'}$ where $0<\epsilon'\ll 1$. Then ${\mathrm{lct}}({\mathfrak{a}}'_\bullet)\le \frac{1+(1-\epsilon)s}{r}$ and there exists a valuation $v$ over $X$ such that $$a:=A_{X,\Delta}(v)\le \frac{1+(1-\epsilon)s}{r}\cdot v({\mathfrak{a}}'_\bullet)<\infty.$$ For each $\lambda\in {\mathbb{R}}$, we set $f(\lambda)=v(I^{(\lambda)}_\bullet)$. Hence we have $$\label{eq:f(mu')}
    f(\mu')=v({\mathfrak{a}}'_\bullet)\ge \frac{ar}{1+(1-\epsilon)s}.$$ On the other hand, by the definition of $\mu_\delta({\mathcal{F}})$, we have $$f(\mu_0-\eta) \le \epsilon \cdot A_{X,\Delta}(v)\cdot r=\epsilon a r \mbox{ for any }\eta>0$$ and similarly $f(\mu-\eta) \le ar$. By the convexity and continuity of $f$ on $(-\infty,\lambda_{\max})$ we see that $$f(s\mu_0+(1-s)\mu)\le ar(\epsilon s+1-s)<\frac{ar}{1+(1-\epsilon)s}.$$ Combined with , we get $f(\mu')>f(s\mu_0+(1-s)\mu)$ and hence $\mu'>s\mu_0+(1-s)\mu$ as $f$ is non-decreasing.

\[lem:convex integral\] Let $0< \lambda <T$ and let $f(x)$ be a non-negative concave function on $(0,T)$. Then $$\int_0^\lambda f(x)^n {\mathrm{d}}x \ge \left(\frac{\lambda}{T} \right)^{n+1} \int_0^T f(x)^n {\mathrm{d}}x.$$

We may assume that $f(\lambda)=1$. By assumption, we have $f(x)\ge \frac{x}{\lambda}$ when $x\le \lambda$ and $f(x)\le \frac{x}{\lambda}$ when $x\ge \lambda$. Hence $$\int_0^\lambda f(x)^n {\mathrm{d}}x \ge \frac{\lambda}{n+1}\mbox{\ \ and\ \  }\int_\lambda^T f(x)^n {\mathrm{d}}x \le \frac{\lambda}{n+1}\left(\left(\frac{T}{\lambda}\right)^{n+1}-1\right)$$ by direct calculation and the lemma follows.

\[lem:volume upper bound\] Let $(X,\Delta)$ be a log Fano pair of dimension $n$ and let $L=-(K_X+\Delta)$. Then we have $$\frac{{\mathrm{vol}}(L- \lambda E)}{{\mathrm{vol}}(L)}\le 1- \left(\frac{\lambda \alpha(X,\Delta)}{A_{X,\Delta}(E)} \right)^n$$ for any divisor $E$ over $X$ and any $0\le \lambda\le \frac{A_{X,\Delta}(E)}{\alpha(X,\Delta)}$.

Let $T=T_{X,\Delta}(E)$ (see ). Let $\pi:Y\to X$ be a log resolution such that $E\subseteq Y$. Let $f(x)={\mathrm{vol}}_{Y|E}(\pi^*L-xE)$ where ${\mathrm{vol}}_{Y|E}(\cdot)$ denotes the restricted volume and $0\le x\le T$. By combining [@BFJ09 Theorem A] and [@ELMNP09 Theorem 5.2], the function $f(x)^{\frac{1}{n-1}}$ is concave on $(0,T)$ and we have $${\mathrm{vol}}(L)=\int_0^T f(x){\mathrm{d}}x\mbox{\ \ and \ \ }{\mathrm{vol}}(L)-{\mathrm{vol}}(\pi^*L-\lambda E)=\int_0^\lambda f(x){\mathrm{d}}x.$$ Thus we have $$\frac{{\mathrm{vol}}(L)-{\mathrm{vol}}(L- \lambda E)}{{\mathrm{vol}}(L)}\ge \left( \frac{\lambda}{T}\right)^n \ge \left(\frac{\lambda \alpha(X,\Delta)}{A_{X,\Delta}(E)} \right)^n$$ where the first inequality follows from Lemma \[lem:convex integral\] and the second inequality follows from the definition of alpha invariants. This proves the lemma.

\[lem:volume lower bound\] Let $\nu$ be a probability measure on ${\mathbb{R}}$ with compact support such that $\int_{\mathbb{R}}\lambda {\mathrm{d}}\nu =0$. Assume that $g(\lambda)=\nu\{x\ge \lambda\}^{1/n}$ is concave on $(-\infty,\lambda_{\max})$ where $\lambda_{\max}=\max \rm{supp}\,\nu$. Then $$g(-t\lambda_{\max})\ge 1-\frac{1}{\sqrt{nt}}\mbox{\ \ \ for all }t>0.$$

The idea is similar to the proof of [@BHJ17]\*[Lemma 7.10]{}. After rescaling, we may assume for simplicity that $\lambda_{\max}=1$. Since $\nu$ is the distributional derivative of $-g(\lambda)^n$, we have $$\int_0^1 g(\lambda)^n {\mathrm{d}}\lambda = \int_0^1 \lambda {\mathrm{d}}\nu = -\int_{-\infty}^0 \lambda {\mathrm{d}}\nu = \int_{-\infty}^0 (1-g(\lambda)^n) {\mathrm{d}}\lambda,$$ where the first and third equalities follow from Fubini’s theorem, and the second equality follows from the assumption that $ \int_{-\infty}^1 \lambda {\mathrm{d}}\nu=0$.

Let $a=-g'_+(-t)\ge 0$ and $b=g(-t)\in [0,1]$. Since $g$ is concave on $(-\infty,1)$, we have $$g(\lambda)\le -a(\lambda+t)+b\mbox{\ \  on }(-\infty,1).$$ If $a=0$, then letting $\lambda\to -\infty$ we see that $b= 1$ and there is nothing left to prove. Therefore, we may and do assume $a>0$. Let $\lambda_0$ be such that $-a(\lambda_0+t)+b=1$. Then we have $$\begin{aligned}
    \int_0^1 (-a(\lambda+t)+b)^n {\mathrm{d}}\lambda & \ge \int_0^1 g(\lambda)^n {\mathrm{d}}\lambda \\
    &  = \int_{-\infty}^0 (1-g(\lambda)^n) {\mathrm{d}}\lambda \ge \int_{\lambda_0}^0 (1-(-a(\lambda+t)+b)^n) {\mathrm{d}}\lambda.\end{aligned}$$ Computing the integrals, we deduce that $$\frac{1-(b-at-a)^{n+1}}{a(n+1)}\ge -\lambda_0 = \frac{1-(b-at)}{a},$$ hence $(n+1)u\ge n+(u-a)^{n+1}$ where $u=b-at$. Note that $$u-a=b-a(t+1)\ge g(1)\ge 0,$$ thus $u\ge \frac{n}{n+1}$. As $u+at=b=g(-t)\le 1$, we see that $u\le 1$ and $a\le \frac{1}{(n+1)t}$. We then have $$(n+1)u\ge n + (u-a)^{n+1} \ge n + u^{n+1} - (n+1)a u^n \ge n + u^{n+1} - \frac{u^n}{t}.$$ It follows that $$\frac{1}{t}\ge \frac{u^n}{t}\ge n+u^{n+1}-(n+1)u = (1-u)^2\sum_{i=1}^n \frac{1-u^i}{1-u}\ge n(1-u)^2.$$ Therefore, $f(-t)=b\ge u\ge 1-\frac{1}{\sqrt{nt}}$ as desired.

After translating ${\mathcal{F}}$ by $-S({\mathcal{F}})$ (which does not change ${\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}})$, ${\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}})$ and $\beta_\delta({\mathcal{F}})$), we may and do assume that $S({\mathcal{F}})=0$. Let $\lambda_{\max} = \lambda_{\max}({\mathcal{F}})$. By Lemma \[l-concavedistri\], we can apply Lemma \[lem:volume lower bound\] to the Duistermaat-Heckman measure of ${\mathcal{F}}$ (see §\[ss-filt\]). So we have (recall that $L=-r(K_X+\Delta)$) $$\label{eq:vol(FR) lower bound}
    \frac{{\mathrm{vol}}({\mathcal{F}}R^{(-t\lambda_{\max})})}{(L^n)}\ge \left(1-\frac{1}{\sqrt{nt}}\right)^n >  1-\sqrt{\frac{n}{t}}$$ for all $t>0$. Let $E$ be a divisor over $X$. Then we claim there is an inequality $$\label{eq:ord_E(I)}
    \frac{{\mathrm{ord}}_E(I_\bullet^{(-t\lambda_{\max})})}{r}< \frac{A_{X,\Delta}(E)}{\alpha(X,\Delta)}\sqrt[2n]{\frac{n}{t}}.$$ Otherwise we have ${\mathcal{F}}^{-mt\lambda_{\max}} R_m\subseteq {\mathcal{F}}_E^{mr\lambda_0} R_m$ (where $\lambda_0$ is the right hand side of ) for all $m\in{\mathbb{N}}$ and thus by Lemma \[lem:volume upper bound\], $$\frac{{\mathrm{vol}}({\mathcal{F}}R^{(-t\lambda_{\max})})}{(L^n)}\le \frac{{\mathrm{vol}}(-K_X-\Delta-\lambda_0 E)}{(-K_X-\Delta)^n}\le 1-\sqrt{\frac{n}{t}},$$ contradicting .

After rescaling ${\mathcal{F}}$ (which will not change our conclusion), we can assume $\lambda_{\max}=1$. Since $E$ is arbitrary, we infer from that $${\mathrm{lct}}(X,\Delta;I^{(-t)}_\bullet)>\frac{\alpha(X,\Delta)}{r}\sqrt[2n]{\frac{t}{n}}\ge \frac{\alpha}{r}\sqrt[2n]{\frac{t}{n}}.$$ Now choose $t=t_0:=n\left(\frac{2}{\alpha}\right)^{2n}$, then the above lct estimate becomes ${\mathrm{lct}}(X,\Delta;I^{(-t_0)}_\bullet)>\frac{2}{r}$ and thus $\mu_2({\mathcal{F}})\ge -t_0$. By the assumption and Theorem \[thm:tbeta&gt;=D\^NA\], we also have $$\beta({\mathcal{F}}) \ge {\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}})\ge \eta \cdot {\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}})=\frac{\eta}{r},$$ hence $\mu({\mathcal{F}})\ge \eta$ as $S({\mathcal{F}})=0$. If we choose $\delta=1+\frac{\eta}{2(t_0+\eta)}$ (which only depends on $\eta,\alpha$ and $n$), $\epsilon=\frac{1}{2}$ and $s=\frac{\eta}{t_0+\eta}$, then it follows from Lemma \[lem:twisted mu\] that $$\beta_{\delta}({\mathcal{F}})=\mu_{\delta}({\mathcal{F}})\ge s\mu_2({\mathcal{F}})+(1-s)\mu({\mathcal{F}})\ge 0.$$

\[cor:red uKs criterion\] Let $(X,\Delta)$ be a log Fano and $T\subseteq {\mathrm{Aut}}(X,\Delta)$ a maximal torus. Then the following are equivalent:

1.  $(X,\Delta)$ is reduced uniformly K-stable,

2.  there exists some constant $\eta>0$ such that for any $T$-equivariant filtration ${\mathcal{F}}$ on $R$, there exists some $\xi\in N_{\mathbb{R}}$ such that ${\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}})\ge \eta\cdot {\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_\xi)$,

3.  $(X,\Delta)$ is K-semistable, and there exists some constant $\delta>1$ such that for any $T$-equivariant filtration ${\mathcal{F}}$ on $R$, there exists some $\xi\in N_{\mathbb{R}}$ such that $\beta_\delta({\mathcal{F}}_\xi)\ge 0$.

By Lemma \[lem:DNA twist & JNA min\] and Proposition \[prop:D&gt;=J any filtration\], we have (1) implies (2). Now we assume (2), in particular $(X,\Delta)$ is K-semistable. By Proposition \[prop:perturbed beta&gt;=0\], we then have (3) since ${\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}}_{\xi})={\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}})$ as ${\mathrm{Fut}}(\xi)=0$. It remains to show that (3) implies (1).

Let $\delta>1$ be the constant for which (3) holds. Let $v$ be a $T$-invariant valuation and let ${\mathcal{F}}={\mathcal{F}}_v$ be its induced filtration on $R$. Then there exists some $\xi\in N_{\mathbb{R}}$ such that $\beta_\delta({\mathcal{F}}_{v_\xi})=\beta_\delta({\mathcal{F}}_\xi)\ge 0$ (the first equality holds since ${\mathcal{F}}_{v_\xi}$ and ${\mathcal{F}}_\xi$ only differ by a translation, see [@Li19]\*[Proposition 3.8]{}). But it is clear from the definition that $\mu_\delta({\mathcal{F}}_{v_\xi})\le \frac{A_{X,\Delta}(v_\xi)}{\delta}$, hence we obtain $A_{X,\Delta}(v_{\xi})\ge \delta \cdot S(v_{\xi})$. By Theorem \[thm:Li’s valuative T-uKs\], this implies (1).

Now we can complete the proof of Theorem \[t-main1\].

Theorem \[t-main1\](1) (resp. (3)) follows from Corollary \[cor:beta hat&gt;=0\] (resp. Corollary \[cor:red uKs criterion\]). One direction of Theorem \[t-main1\](2) follows from Proposition \[prop:delta twisted beta&gt;=0\], as if $(X,\Delta)$ is uniformly K-stable, then $\delta(X,\Delta)>1$. The converse can be derived from exactly the same argument as in the second paragraph of Corollary \[cor:red uKs criterion\], without taking a twist by $\xi$.

The following theorem, which will be needed later, is also an easy consequence of Proposition \[prop:perturbed beta&gt;=0\].

\[thm:beta&gt;=0 after twist\] Let $\alpha,\eta>0$, let $(X,\Delta)$ be a log Fano pair and let $T\subseteq {\mathrm{Aut}}(X,\Delta)$ be a maximal torus. Assume that $(X,\Delta)$ is reduced uniformly K-stable with slope at least $\eta$ and $\alpha(X,\Delta)\ge \alpha$, then there exists a constant $\delta>1$ depending only on $\eta$, $n=\dim X$ and $\alpha$ such that for any filtration ${\mathcal{F}}$ on $R=R(X,-r(K_X+\Delta))$, there exists some $\xi\in N_{\mathbb{R}}$ such that $\beta_\delta({\mathcal{F}}_\xi)\ge 0$.

Let $\delta=\delta(\eta,n,\alpha)>1$ be the constant given by Proposition \[prop:perturbed beta&gt;=0\]. By definition, we have ${\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}})\ge \eta\cdot {\mathbf{J}^{\mathrm{NA}}}_T({\mathcal{F}})$ and $(X,\Delta)$ is K-semistable. By Lemma \[lem:DNA twist & JNA min\], this implies that there exists $\xi\in N_{\mathbb{R}}$ such that ${\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}}_\xi) \ge \eta\cdot {\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_\xi)$. Then $\beta_\delta({\mathcal{F}}_\xi)\ge 0$ by Proposition \[prop:perturbed beta&gt;=0\] and our choice of $\delta>1$.

Twisted families {#sec:twisted family}
================

We will eventually apply Theorem \[thm:beta&gt;=0 after twist\] to the Harder-Narasimhan filtrations induced by generic log Fano families over curves (see Definition \[d-genericlog\]). To get nef thresholds through Proposition \[prop:nef threshold\], we need to construct a twisted family whose HN-filtration is the twist of the original HN-filtration. In this section, we show that this can be done after a suitable modification.

\[defn:twisted family\] Let $T$ be a torus, let $f\colon X\to S$ be a projective flat morphism with a fiberwise $T$-action and let $L$ be a $T$-linearized $f$-ample line bundle on $X$. We have the weight decomposition $${\mathcal{R}}_m:=f_*{\mathcal{O}}_X(mL)=\bigoplus_{\alpha \in M} {\mathcal{R}}_{m,\alpha}\mbox{\ \ where }M={\mathrm{Hom}}(T,{\mathbb{G}}_m).$$ Let $A$ be a Cartier divisor on $S$ and let $\xi\in N=M^*={\mathrm{Hom}}({\mathbb{G}}_m,T)$. Then the [*$\xi$-twist of $f\colon (X,L)\to S$*]{} along $A$ is defined to be $$\label{eq:f_xi}
    f_\xi \colon \big(X_{\xi}={\mathrm{Proj}}_S\bigoplus_{m\in {\mathbb{N}}}\bigoplus_{\alpha\in M}{\mathcal{R}}_{m,\alpha}\otimes {\mathcal{O}}_S({\langle}\alpha, \xi {\rangle}\cdot A), L_{\xi}={\mathcal{O}}_{X_\xi}(1)\big)\to S.$$ Note that Zariski locally over $S$, $(X_\xi,L_\xi)$ is isomorphic to $(X,L)$. If $Z\subseteq X$ is a $T$-invariant closed subscheme, then $Z_\xi$ is naturally a closed subscheme of $X_\xi$. In particular, if $f\colon (X,\Delta)\to S$ is a generic log Fano family with a fiberwise $T$-action, then $T$ naturally acts on $L=-r(K_{X/S}+\Delta)$ for some sufficiently divisible $r\in{\mathbb{N}}_+$ and we define the $\xi$-twist $(X_\xi,\Delta_\xi)$ of $(X,\Delta)$ as the $\xi$-twist with respect to $L$.

Consider the trivial ${\mathbb{P}}^1$-bundle $f\colon X={\mathbb{P}}^1\times {\mathbb{P}}^1\to {\mathbb{P}}^1$ with the canonical fiberwise ${\mathbb{G}}_m$-action and let $\xi\in N\cong {\mathbb{Z}}$ be a generator. Then the $\xi$-twist of $X$ along a divisor of degree $e>0$ on the base ${\mathbb{P}}^1$ is isomorphic to the ruled surface $\mathbb{F}_e$. Therefore the above construction of twisted family can be viewed as a generalization of elementary transformations on ruled surfaces.

\[lem:L=-K-Delta\] Let $f\colon (X,\Delta)\to S$ be a generic log Fano family with a fiberwise $T$-action and let $\xi\in N$. Then in the notation of Definition \[defn:twisted family\], we have $L_\xi\sim -r(K_{X_\xi/S}+\Delta_\xi)$.

In particular, from we see that for families over curves, the HN-filtration of the $\xi$-twist coincides with the $\xi$-twist of the HN-filtration of the original families.

By choosing local trivialization ${\mathcal{O}}_U(A)\cong {\mathcal{O}}_U$ (where $U\subseteq S$ is open), we get isomorphisms ${\mathcal{R}}_{m,\alpha}\otimes {\mathcal{O}}_S({\langle}\alpha, \xi {\rangle}\cdot A) \cong {\mathcal{R}}_{m,\alpha}$ for all $m,\alpha$ and hence an identification of $(X_\xi,\Delta_\xi,L_\xi)$ with $(X,\Delta,L)$ over $U$ and also an isomorphism ${\mathcal{O}}_V(L_\xi)\cong {\mathcal{O}}_V(-r(K_{X_\xi/S}+\Delta_\xi))$ since $L=-r(K_{X/S}+\Delta)$ (where $V=f^{-1}(U)$). Different trivializations ${\mathcal{O}}_U(A)\cong {\mathcal{O}}_U$ differ by a unit $u\in{\mathcal{O}}_U^*$. It can be lifted to an automorphism of $(X,\Delta)$ over $U$ through the composition $ U\stackrel{u}{\to} {\mathbb{G}}_m \stackrel{\xi}{\to} T$. The $T$-action on ${\mathcal{O}}_V(1)$ and on ${\mathcal{O}}_V(-r(K_{X/S}+\Delta))$ coincides, hence the action of $u$ commutes with the isomorphism ${\mathcal{O}}_V(L_\xi)\cong {\mathcal{O}}_V(-r(K_{X_\xi/S}+\Delta_\xi))$. Thus these isomorphisms glue to give an isomorphism ${\mathcal{O}}_{X_{\xi}}(L_\xi)\cong {\mathcal{O}}_{X_\xi}(-r(K_{X_\xi/S}+\Delta_\xi))$.

\[cor:CM deg after twist\] Let $T$ be a torus and let $f\colon (X,\Delta)\to S$ be a generic log Fano family with a fiberwise $T$-action. Assume that the general fibers $(X_t,\Delta_t)$ are K-semistable. Then for any $\xi\in N$ and any Cartier divisor $A$ on $S$ we have $\lambda_{f,\Delta} \sim_{\mathbb{Q}}\lambda_{f_\xi,\Delta_\xi}$, where $f_{\xi}\colon (X_{\xi},\Delta_{\xi})\to S$ is the $\xi$-twist of $f$ along $A$.

By [@CP18]\*[Lemma A.2]{} and Lemma \[lem:L=-K-Delta\], $-r^{n+1}\lambda_{f,\Delta}$ (resp. $-r^{n+1}\lambda_{f_\xi,\Delta_\xi}$) is the leading term of the Knudsen-Mumford expansion of $L$ (resp. $L_\xi$), e.g. $c_1(f_*{\mathcal{O}}_X(mL))=-(mr)^{n+1}\lambda_{f,\Delta}+O(m^n)$. By the construction of twisted family we then have $$\lambda_{f_\xi,\Delta_\xi} \sim_{\mathbb{Q}}\lambda_{f,\Delta} + {\mathrm{Fut}}_{X_t,\Delta_t}(\xi)\cdot \deg (A).$$ Since $(X_t,\Delta_t)$ is K-semistable, we have ${\mathrm{Fut}}_{X_t,\Delta_t}(\xi) = 0$, hence the result follows.

So far we realize the $\xi$-twists of an HN-filtration as HN-filtrations of twisted families for all $\xi\in N$. By passing to finite covers, one can also construct families that realize $\xi$-twists when $\xi\in N_{\mathbb{Q}}$. However, the twisted family seems unlikely to exist if $\xi$ is not a rational vector. Fortunately, as we will show in the remaining part of this section, for HN-filtrations the twist vectors $\xi$ in Theorem \[thm:beta&gt;=0 after twist\] can be chosen to be rational.

\[lem:S and lambda\_min in Q\] Let $T$ be a torus and let $f\colon (X,\Delta)\to C$ be a generic log Fano family over a smooth curve with a fiberwise $T$-action. Let ${\mathcal{F}}$ be the induced Harder-Narasimhan filtration on $R=R(X_t,-r(K_{X_t}+\Delta_t))$ where $t\in C$ is a general closed point. Then $S({\mathcal{F}})\in{\mathbb{Q}}$ and for any $\xi\in N_{\mathbb{Q}}$, we have $\lambda_{\min}({\mathcal{F}}_\xi)\in {\mathbb{Q}}$.

By assumption, the filtration ${\mathcal{F}}$ is $T$-equivariant. By , $S({\mathcal{F}})$ is a rational multiple of $\deg \lambda_f$, hence is rational. Let $d$ be an integer such that $d\xi\in N_{{\mathbb{Z}}}$. Let $C'\to C$ be a finite morphism of degree $d$ and let $f'\colon (X',\Delta')\to C'$ be the base change of $f$. Let $P\in C'$ be a smooth point and consider the $(d\xi)$-twist $g\colon (X'_\xi,\Delta'_\xi)\to C'$ of $f'$ along $P$. Let ${\mathcal{G}}$ be the Harder-Narasimhan filtration on $R$ induced by $g$.

Since the pull back of a semistable vector bundle with slope $\mu_C$ under $C'\to C$ is still semi-stable with slope $\deg(C'/C)\cdot \mu_C$, by Lemma \[lem:L=-K-Delta\] we can check that ${\mathcal{G}}^\lambda R_m = {\mathcal{F}}^{\lambda/d}_\xi R_m$ for all $\lambda,m$, hence $\lambda_{\min}({\mathcal{G}})=d\cdot \lambda_{\min}({\mathcal{F}}_\xi)$. By Lemma \[l-nefinQ\] and Proposition \[p-supp\] we have $\lambda_{\min}({\mathcal{G}})\in{\mathbb{Q}}$, thus $\lambda_{\min}({\mathcal{F}}_\xi)\in {\mathbb{Q}}$ as well.

\[prop:tbeta&gt;=0 rat’l twist\] Notation as in Lemma \[lem:S and lambda\_min in Q\] and let $\alpha,\eta>0$. Assume that very general fibers $(X_t,\Delta_t)$ are reduced uniformly K-stable with slope at least $\eta>0$, $T\subseteq {\mathrm{Aut}}(X_t,\Delta_t)$ is a maximal torus and $\alpha(X_t,\Delta_t)\ge \alpha$. Then there exists some constant $\delta=\delta(\eta,n,\alpha)>1$ such that $\beta_\delta({\mathcal{F}}_\xi)\ge 0$ for some $\xi\in N_{\mathbb{Q}}$.

By assumption and Corollary \[cor:red uKs criterion\], there exists some $\xi_0\in N_{\mathbb{R}}$ such that ${\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}}_{\xi_0})\ge \eta\cdot {\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_{\xi_0})$. We claim that $$\label{eq:D>=J rat'l twist}
    {\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}}_\xi)\ge \frac{\eta}{2}\cdot {\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_\xi)$$ for some $\xi\in N_{\mathbb{Q}}$. Indeed when ${\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_{\xi_0})>0$ this follows from ${\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}}_\xi)={\mathbf{D}^{\mathrm{NA}}}({\mathcal{F}})$ and the continuity of ${\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_\xi)$ with respect to $\xi$ (Lemma \[lem:DNA twist & JNA min\]), so it suffices to consider the case when ${\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_{\xi_0})=0$, in other words, $$\lambda_{\max}({\mathcal{F}}_{\xi_0})=\lambda_{\min}({\mathcal{F}}_{\xi_0})=S({\mathcal{F}}_{\xi_0})=:\lambda_0.$$ As $(X_t,\Delta_t)$ is K-semistable, we have $S({\mathcal{F}}_{\xi_0})=S({\mathcal{F}})$ by Lemma \[lem:DNA twist & JNA min\], thus $\lambda_0\in {\mathbb{Q}}$ by Lemma \[lem:S and lambda\_min in Q\]. Let $\lambda_{m,\alpha}=\sup\{\lambda\,|\,({\mathcal{F}}_{\xi_0}^\lambda R_m)_\alpha = R_{m,\alpha}\}$ and let $\Gamma_m = \{\alpha\in M\,|\,R_{m,\alpha}\neq 0\}$. Let $P\subseteq M_{\mathbb{R}}$ be the convex hull of $\cup_m \frac{1}{m}\Gamma_m$. As $\lambda_{\max}({\mathcal{F}}_{\xi_0})=\lambda_{\min}({\mathcal{F}}_{\xi_0})=\lambda_0$, we also have $$\lim_{m\to \infty}\frac{\sup_{\alpha\in \Gamma_m} \lambda_{m,\alpha}}{m} = \lim_{m\to \infty}\frac{\inf_{\alpha\in \Gamma_m} \lambda_{m,\alpha}}{m}=\lambda_0.$$ It follows that for any fixed $\xi\in N_{\mathbb{Q}}$, we have $$\lambda_{\min}({\mathcal{F}}_\xi) = \lim_{m\to\infty} \frac{\inf_{\alpha\in\Gamma_m} (\lambda_{m,\alpha}+{\langle}\alpha, \xi-\xi_0 {\rangle})}{m} = \lambda_0 + \inf_{\alpha\in P} {\langle}\alpha, \xi-\xi_0 {\rangle}.$$ Since $\lambda_{\min}({\mathcal{F}}_\xi)\in {\mathbb{Q}}$ by Lemma \[lem:S and lambda\_min in Q\], we deduce that $\inf_{\alpha\in P} {\langle}\alpha, \xi-\xi_0 {\rangle}\in {\mathbb{Q}}$ for all $\xi\in N_{\mathbb{Q}}$. As $R=\bigoplus_{m,\alpha} R_{m,\alpha}$ is finitely generated, $P$ is a rational polytope. This implies that $\xi_0\in N_{\mathbb{Q}}$ and in particular holds with $\xi=\xi_0\in N_{\mathbb{Q}}$. The lemma now follows directly from and Proposition \[prop:perturbed beta&gt;=0\].

\[cor:integral twist\] Notation and assumptions as in Proposition \[prop:tbeta&gt;=0 rat’l twist\]. Then there exists a constant $\delta=\delta(\eta,n,\alpha)>1$ such that for any finite cover $C'\to C$ of sufficiently divisible degree, we can find $\xi\in N$ which satisfies that $\beta_\delta({\mathcal{G}})\ge 0$ where ${\mathcal{G}}$ is the HN-filtration induced by the $\xi$-twist $g\colon (X'_\xi,\Delta'_\xi)\to C'$ of $(X,\Delta)\times_C C'$ along a smooth point $P\in C'$.

By Proposition \[prop:tbeta&gt;=0 rat’l twist\], there exists $\delta=\delta(\eta,n,\alpha)>1$ and $\xi_0\in N_{\mathbb{Q}}$ such that $\beta_\delta({\mathcal{F}}_{\xi_0})\ge 0$. Let $C'\to C$ be a finite cover of degree $d$ with $d\xi_0\in N$. Let $\xi=d\xi_0$ and let $g$ be the $\xi$-twist of $(X,\Delta)\times_C C'$ along a smooth point $P\in C'$. Then as in the proof of Lemma \[lem:S and lambda\_min in Q\], we have ${\mathcal{G}}^\lambda R_m = {\mathcal{F}}^{\lambda/d}_{\xi_0} R_m$ for all $\lambda,m$, hence $\beta_\delta({\mathcal{G}})=d\cdot \beta_\delta({\mathcal{F}}_{\xi_0})\ge 0$ as desired.

Ampleness lemma {#s-ampleness}
===============

Our next ingredient is an enhanced version of the ampleness lemma (see [@Kol90]\*[§3]{} and [@KP17]\*[§5]{}) that gives a simultaneous treatment of all twisted families. We first introduce some definitions and notation that are necessary for the statement.

\[defn:condition (\*)\_d\] Let $f\colon (X,\Delta;L)\to S$ be a polarized family of normal pairs, i.e. $f\colon X\to S$ is a flat projective morphism with normal fibers, $\Delta$ is a Weil ${\mathbb{Q}}$-divisor on $X$ whose support does not contain any fiber of $f$ in its support and $L$ is an $f$-ample line bundle. Let $D={\mathrm{Supp}}(\Delta)$ and let $d\in{\mathbb{N}}_+$. We say that $f\colon (X,\Delta;L)\to S$ satisfies condition $(*)_d$ if the followings hold:

1.  $L$ is $f$-very ample,

2.  $H^j(X_s,mL_s)=H^j(D_s,mL_s)=0$ for all $s\in S$, $0\le i\le N$ and all $j,m\in{\mathbb{N}}_+$,

3.  for every $s\in S$ the embeddings of $X_s$ and $D_s$ via $L_s$ are cut out (set theoretically) by degree $\le d$ equations, and

4.  both natural maps ${\mathrm{Sym}}^d H^0(X_s,L_s)\to H^0(X_s,dL_s)\to H^0(D_s,dL_s)$ are surjective.

By assumption, every component of $\Delta$ dominates $S$, hence $f|_D$ is flat over all codimension one point of $S$ [@Har77]\*[Proposition III.9.7]{} and in particular there exists a big open set $S^\circ\subseteq S$ such that $f|_D$ is flat over $S^\circ$. Let $f^\circ\colon D^\circ=(f|_D)^{-1}(S^\circ)\to S^\circ$. Condition $(*)_d$ then implies that the formation of $f_*{\mathcal{O}}_X(mL)$ and $f^\circ_*{\mathcal{O}}_{D^\circ}(mL|_{D^\circ})$ commutes with base change for all $m\in{\mathbb{N}}$ (see [@Har77]\*[Theorem III.12.11]{}). Note also that if $f\colon (X,\Delta;L)\to S$ admits a fiberwise $T$-action (where $T$ is a torus) and satisfies condition $(*)_d$ for some $d\in{\mathbb{N}}_+$, then so does its $\xi$-twists (for any $\xi\in N={\mathrm{Hom}}({\mathbb{G}}_m,T)$ and along any Cartier divisor $A$ on $S$).

\[defn:bir pullback family\] Let $\nu\colon B'\dashrightarrow B$ be a dominant rational map between quasi-projective normal varieties and let $f\colon (X,\Delta;L)\to B$ (resp. $f'\colon (X',\Delta';L')\to B'$) be a polarized family of normal pairs. We say that $f'$ is a birational pullback of $f$ if there exists an open subset $U\subseteq B'$ where $\nu$ is defined and a diagram $$\label{eq:diagram bir family}
    \xymatrix{
    (X',\Delta';L')\ar[d]_{f'} & (X_U,\Delta_U;L_U)\ar@{_{(}->}[l]\ar[d]^{f_U}\ar[r] & (X,\Delta;L)\ar[d]^f \\
    B' & U\ar@{_{(}->}[l]_{i_U} \ar[r]^{\nu|_{U}} & B
    }$$ where both squares are Cartesian.

Similarly, we can define birational pullbacks between generic log Fano families $f\colon (X,\Delta)\to S$ using $L=-r(K_{X/S}+\Delta)$ for some sufficiently divisible $r\in{\mathbb{N}}_+$. It is easy to see that if $f'$ (resp. $f''$) is a birational pullback of $f$ (resp. $f'$), then $f''$ is also a birational pullback of $f$. Moreover if $f$ admits a fiberwise $T$-action ($T$ being a torus), then any $\xi$-twist of $f$ (where $\xi\in N$) is a birational pullback of $f$ (over the same base $S$).

\[notation for ampleness lem\] We keep the notation of Definition \[defn:bir pullback family\]. Let $d\in{\mathbb{N}}_+$ and consider a diagram as in where both $f$ and $f'$ satisfy condition $(*)_d$. Let ${\overline{B}}\supseteq B$ be a compactification and let $H$ be a line bundle on ${\overline{B}}$. Let $\nu^*H$ be the rational pullback of $H$ (i.e. $\nu^*H=p'_*p^*H$ where $p'\colon \widetilde{B}\to B'$ is a log resolution that resolves the indeterminacy locus of $B'\dasharrow {\overline{B}}$ and $p=\nu\circ p'\colon \widetilde{B}\to {\overline{B}}$). Let $$D={\mathrm{Supp}}(\Delta)\mbox{ and }W=f_*{\mathcal{O}}_X(L), Q=f_*{\mathcal{O}}_X(dL)\oplus f_*{\mathcal{O}}_{D}(dL|_D);$$ similarly we define $D'$, $W'$ and $Q'$ with $f'$ in place of $f$. Let $w$ and $q$ be the ranks of $W$ and $Q$, respectively. Note that we have a natural surjective map $({\mathrm{Sym}}^d W)^{\oplus 2}\to Q$ (similarly with $W'$, $Q'$ in place of $W$, $Q$) by condition $(*)_d$.

\[thm:ampleness lemma\] In the situation of Notation \[notation for ampleness lem\], assume that the family $f\colon (X,\Delta)\to B$ has maximal variation. Then there exists some $m\in{\mathbb{N}}_+$ depending only on $d$, $H$ and the family $f$ such that there is a non-zero map $${\mathrm{Sym}}^{dqm} \Big( W'^{4w} \Big) \to {\mathcal{O}}_{B'}(-\nu^* H)\otimes \det(Q')^{\otimes m}$$ for any birational pull back family as in Definition \[defn:bir pullback family\].

We follow the argument of [@Kol90]\*[§3]{} and [@KP17]\*[§5]{}. First observe that if $(X,\Delta)\to B$ has maximal variation, then so does $(X,D)$ by Lemma \[lem:max var to reduced bdy\], hence we may assume $\Delta=D$. Replacing $B'$ and $B$ by some big open subset, We may also assume that $f|_D$ and $f'|_{D'}$ are flat (since $W'$ is locally free, the obtained non-zero map over the big open subset then extends to a non-zero map over the original $B'$ by pushforward). Let $V=W^{\oplus 2}$ and let $v={\mathrm{rank}}(V)=2w$. Let ${\mathbb{P}}={\mathbb{P}}_B (\oplus_{i=1}^v V^*)$ be the projectivized space of matrices with columns in $V$ and let $\pi:{\mathbb{P}}\to B$ be the projection. Consider the universal basis map $\oplus_{i=1}^v {\mathcal{O}}_{\mathbb{P}}(-1)\to \pi^* V$, or equivalently $$\zeta\colon {\mathcal{O}}_{\mathbb{P}}^{\oplus v} \to \pi^* V \otimes {\mathcal{O}}_{\mathbb{P}}(1),$$ sending a matrix to its columns. Let $G\subseteq{\mathbb{P}}$ be the divisor of matrices of determinant zero. Then $\zeta$ is surjective outside $G$. Taking symmetric power and composing with the surjective maps ${\mathrm{Sym}}^d V \to ({\mathrm{Sym}}^d W)^{\oplus 2} \to Q$, we get the following map $$U_{{\mathrm{Gr}}} \colon {\mathrm{Sym}}^d\left({\mathcal{O}}_{\mathbb{P}}^{\oplus v}\right)\to \pi^* {\mathrm{Sym}}^d V \otimes {\mathcal{O}}_{\mathbb{P}}(d)\to \pi^* Q \otimes {\mathcal{O}}_{\mathbb{P}}(d),$$ which is also surjective outside $G$. Further taking the $q$-th exterior power on both sides of $U_{{\mathrm{Gr}}}$, we obtain an induced map $$\widetilde{u}\colon \sum {\mathcal{O}}_{\mathbb{P}}\to \pi^*\det(Q)\otimes {\mathcal{O}}_{\mathbb{P}}(dq)$$ which is again surjective over ${\mathbb{P}}-G$. This gives a morphism $$u\colon {\mathbb{P}}-G\to {\mathrm{Gr}}:={\mathrm{Gr}}(w',q)\subseteq {\mathbb{P}}^N$$ where $w'$ is the rank of $ {\mathrm{Sym}}^d\left({\mathcal{O}}_{\mathbb{P}}^{\oplus v}\right)$ and the Grassmannian is embedded in ${\mathbb{P}}^N$ via the Plücker embedding. Let $g\colon {\widetilde{\mathbb{P}}}\to {\mathbb{P}}$ be the normalization of the blowup of the ideal sheaf corresponding to the image of $\widetilde{u}$. Then the map $u$ extends to ${\widetilde{\mathbb{P}}}$ (which we still denote by $u$) and there exists an effective Cartier divisor $E\subseteq {\widetilde{\mathbb{P}}}$ such that $$\label{eq:pullback of O_Gr(1)}
    g^*\left(\pi^*\det(Q)\otimes {\mathcal{O}}_{\mathbb{P}}(dq)\right) = u^*{\mathcal{O}}_{{\mathrm{Gr}}}(1)\otimes {\mathcal{O}}_{{\widetilde{\mathbb{P}}}}(E).$$ Let $Y$ be the image of the product map $(\pi\circ g,u)\colon {\widetilde{\mathbb{P}}}\to B\times {\mathrm{Gr}}$, let ${\overline{Y}}$ be its closure in ${\overline{B}}\times {\mathrm{Gr}}$ and let $\pi_1$ (resp. $\pi_2$) be the projection to $B$ (resp. ${\mathrm{Gr}}$). $$\xymatrix{
   {\widetilde{\mathbb{P}}}\ar@{->}[rr]^g\ar[d]\ar[drr]^{(\pi\circ g,u)}  & &{\mathbb{P}}\ar@{-->}[d] \\
    Y  \ar@{^{(}->}[rr] & &B\times {\mathrm{Gr}}}$$ By assumption, every $X_b$ and $D_b$ are cut out by degree $\le d$ equations, thus the isomorphism class of $X_{\pi_1(t)}$ is uniquely determined by $\pi_2(t)$ for a general $t\in Y$. Since $f$ has maximal variation, it follows that $\pi_2\colon {\overline{Y}}\to {\mathrm{Gr}}$ is generically finite and hence $\pi_2^*{\mathcal{O}}_{{\mathrm{Gr}}}(1)$ is big on ${\overline{Y}}$. In particular, there exists some $m\in{\mathbb{N}}_+$ such that $\pi_2^*{\mathcal{O}}_{{\mathrm{Gr}}}(m)\otimes \pi_1^*{\mathcal{O}}_{{\overline{B}}}(-H)$ on ${\overline{Y}}$ has a non-zero section. Pulling back to ${\widetilde{\mathbb{P}}}$, we see that $u^*{\mathcal{O}}_{{\mathrm{Gr}}}(m)\otimes g^*\pi^*{\mathcal{O}}_B(-H)$ also has a non-zero section. By , this implies $$H^0\big({\mathbb{P}}, {\mathcal{O}}_{\mathbb{P}}(dqm)\otimes \pi^*({\mathcal{O}}_B(-H)\otimes\det(Q)^m)\big)\neq 0.$$ Pushing down to $B$, we obtain a nonzero map $$\label{eq:ampleness original base}
    {\mathrm{Sym}}^{dqm}\left(W^{\oplus 4w}\right)={\mathrm{Sym}}^{dqm}\left(V^{\oplus v}\right)=(\pi_*{\mathcal{O}}_{\mathbb{P}}(dqm))^*\to \det(Q)^m \otimes {\mathcal{O}}_B(-H).$$

We claim that the same choice of $m$ works for the family $f'\colon (X',\Delta';L)\to B'$ as well. Indeed, most of the constructions here are functorial, namely, we have a corresponding $\pi'\colon {\mathbb{P}}'={\mathbb{P}}_{B'}(\oplus_{i=1}^v V'^*)\to B'$ (where $V'=W'^{\oplus 2}$) and a rational map $u'\colon {\mathbb{P}}' \dashrightarrow {\mathrm{Gr}}$ that extends to a proper birational model $g'\colon {\widetilde{\mathbb{P}}}'\to {\mathbb{P}}'$ such that $$\label{eq:pullback over B'}
    g'^*\left(\pi'^*\det(Q')\otimes {\mathcal{O}}_{{\mathbb{P}}'}(dq)\right) = u'^*{\mathcal{O}}_{{\mathrm{Gr}}}(1)\otimes {\mathcal{O}}_{{\widetilde{\mathbb{P}}}'}(E')$$ for some effective Cartier divisor $E'$ on ${\widetilde{\mathbb{P}}}'$ (as before we still denote the induced map ${\widetilde{\mathbb{P}}}'\to {\mathrm{Gr}}$ by $u'$). We claim that $$\label{eq:nonzero section on pullback}
    H^0({\widetilde{\mathbb{P}}}', u'^*{\mathcal{O}}_{{\mathrm{Gr}}}(m)\otimes  g'^*\pi'^*{\mathcal{O}}_{B'}(-\nu^*H))\neq 0.$$ Indeed, by we have $W'|_U = W|_U$, thus the restriction of $u'$ to ${\mathbb{P}}'\times_{B'} U$ factors through ${\mathbb{P}}$ and we may choose ${\widetilde{\mathbb{P}}}'$ such that the restriction of $g'$ to ${\mathbb{P}}'\times_{B'} U$ factors through ${\widetilde{\mathbb{P}}}$ as well. In particular, we have the following commutative diagram $$\xymatrix{
{\widetilde{\mathbb{P}}}' \ar[d] \ar@{-->}[rr]^{(\nu\circ \pi'\circ g',u')} & & {\overline{Y}}\ar[d] \ar[r] & {\mathrm{Gr}}\\
B' \ar@{-->}[rr] & & {\overline{B}}}$$ where the rational ${\widetilde{\mathbb{P}}}'\dashrightarrow {\overline{Y}}$ is dominant. Since $\pi_2^*{\mathcal{O}}_{{\mathrm{Gr}}}(m)\otimes \pi_1^*{\mathcal{O}}_{{\overline{B}}}(-H)$ has a non-zero section, so does its rational pullback to ${\widetilde{\mathbb{P}}}'$. As $u'\colon {\widetilde{\mathbb{P}}}'\to {\mathrm{Gr}}$ is a morphism and both ${\widetilde{\mathbb{P}}}'\to B'$ and ${\overline{Y}}\to {\overline{B}}$ are proper, the rational pullback equals $u'^*{\mathcal{O}}_{{\mathrm{Gr}}}(m)\otimes  g'^*\pi'^*{\mathcal{O}}_{B'}(-\nu^*H)$ and this proves . By and the same argument that proves , this is enough to conclude the proof of the theorem.

Positivity of CM line bundle {#s-CMpositive}
============================

In this section, we will put all ingredients together to prove Theorem \[t-main2\]. The log case requires additional argument which will be developed in section \[ss-perturb\]. Our approach is inspired by the earlier works [@KP17; @Pos19] in the log settings.

General setup {#sec:setup for cm>0}
-------------

Our goal is to show that the CM line bundle is big for any family of reduced uniformly K-stable Fano varieties with maximal variation. The idea is to apply [@BDPP] to show its intersection with any movable curve $C$ is at least the intersection of $C$ with some fixed big ${\mathbb{Q}}$-line bundle (see ). However, the situation is more complicated if we start with a proper subspace $M$ of the K-moduli (as in Theorem \[t-main2\]), since a priori we only get a family over a big open set of some generically finite cover of $M$. For this reason, we consider the following somewhat technical set-up.

\[no-setup\] Let $T$ be a torus, let $S$ be a normal projective variety and let $$f\colon (X^\circ,\Delta^\circ)\to S^\circ$$ be a generic log Fano family over an open subset $S^\circ$ of $S$ with maximal variation and a fiberwise $T$-action. Assume that very general fibers $(X_s,\Delta_s)$ are reduced uniformly K-stable with slope at least $\eta>0$ (for some $\eta>0$) and $T\subseteq {\mathrm{Aut}}(X_s,\Delta_s)$ is a maximal torus. We further introduce the following additional notation and assumptions, which will be fixed throughout the entire section.

1.  Let $n=\dim X_s$ and $v=(-K_{X_s}-\Delta_s)^n$.

2.  Choose some $\alpha>0$ such that $\alpha(X_s,\Delta_s)\ge \alpha$ holds for the general fibers $(X_s,\Delta_s)$ (such $\alpha$ exists by e.g. [@BL18]\*[Theorem B]{}).

3.  Let $\delta=\delta(\alpha,\eta,n)>1$ be the constant given by Corollary \[cor:integral twist\]. Decreasing $\delta$ if necessary, we may assume that $\delta\in{\mathbb{Q}}$. Let $\gamma=\frac{\delta}{(\delta-1)(n+1)v}$ and let $0<\epsilon<\frac{1}{\delta-1}$ be such that $-(K_{X_s}+(1+\epsilon)\Delta_s)$ is big for all $s\in S^{\circ}$.

4.  Let $H$ be an ample line bundle on $S$. Let $$\label{eq:covering family}
            \xymatrix{
            U\ar[d]_{u}\ar[r]^{p} & S \\
            V
            }$$ be a covering family of curves on $S$, i.e. $u$ is a smooth projective morphism of relative dimension one, $p$ is dominant and does not contract the general fibers of $u$. We further assume that $p$ is generically finite (this can be achieved by taking hyperplane sections on $V$) and $V$ is smooth.

5.  Let $r,d\in{\mathbb{N}}_+$ with $r\gamma\in{\mathbb{N}}$ and let $g\colon (X,\Delta)\to U$ be a generic log Fano family with a fiberwise $T$-action that is birational to the pullback of $f\colon (X^\circ,\Delta^\circ)\to S^\circ$ such that $$L:=-r(K_{X/U}+\Delta)+2r\gamma \lambda_{g,\Delta}$$ is Cartier and $g$-very ample and [*all*]{} fibers $(X_u,\Delta_u;L_u)$ of $g$ satisfy condition $(*)_d$ from Definition \[defn:condition (\*)\_d\].

6.  Let $C$ be the geometric generic fiber of $u$, let $q\colon C\to S$ be the induced map, let $h\colon (Y,\Delta_Y)\to C$ be the base change of $g$ (i.e. $Y=X\times_U C$ and $\Delta_Y$ is the divisorial pullback of $\Delta$) and let ${\mathcal{F}}_C$ be the induced HN-filtration on $R=R(X_t,-r(K_{X_t}+\Delta_t))$ where $t\in C$ is a general closed point. Let $L_Y=\pi^*L$ where $\pi\colon Y\to X$ is the natural projection.

Our goal is to prove the following more general statement.

\[thm:cm&gt;0 framework\] In the above setup, there exists a constant $c_0>0$ depending only on the family $f$, the line bundle $H$ and the integers $r,d$ $($in particular, it does not depend on $U$ or the birational pullback $(X,\Delta))$ such that $$\label{eq:CM>=(H.C)}
    \deg q^*\lambda_{g,\Delta} = \deg \lambda_{h,\Delta_Y}\ge c_0 \deg q^*H.$$

As a first step, we use the twisted families introduced in Section \[sec:twisted family\] to make the following reduction:

\[lem:reduction\] For the proof of Theorem \[thm:cm&gt;0 framework\], we may assume that $\beta_\delta({\mathcal{F}}_C)\ge 0$.

First note that we are free to replace $U$ by a finite cover or $V$ by a generically finite cover (and then replace $U$ and $(X,\Delta)$ by its corresponding base change): in either case we multiply the CM degree and $\deg q^*H$ by the same constant. As $(X_t,\Delta_t)$ is reduced uniformly K-stable with slope at least $\eta$ and maximal torus $T$ for some closed point $t\in C$, after replacing $U$ by a finite cover of sufficiently divisible degree, we may assume by Corollary \[cor:integral twist\] that there exists some $\xi\in N={\mathrm{Hom}}({\mathbb{G}}_m,T)$ such that $\beta_\delta({\mathcal{G}})\ge 0$ where ${\mathcal{G}}$ is the HN-filtration on $R=R(X_t,-r(K_{X_t}+\Delta_t))$ induced by the $\xi$-twist of $(Y,\Delta_Y)$ along a smooth point $P\in C$. Replacing $V$ by a generically finite cover, we may assume that $u$ admits a section $A$ which is Cartier as a divisor on $U$. Let $(X_\xi,\Delta_\xi)$ be the $\xi$-twist of $(X,\Delta)$ along $A$, then $(X_\xi,\Delta_\xi)\times_U C$ coincides with the $\xi$-twists of $(Y,\Delta_Y)$ along the smooth point $A\cap C$. Thus after replacing $(X,\Delta)$ by $(X_\xi,\Delta_\xi)$ (which is still birational to the pullback of $f$), we may assume (by our choice of $\xi$) that $\beta_\delta({\mathcal{F}}_C)\ge 0$ and this completes the proof.

In view of Lemma \[lem:reduction\], we will henceforth add the following assumption to Notation \[no-setup\]:

1.  We may assume $\beta_\delta({\mathcal{F}}_C)\ge 0$.

Product trick
-------------

The proof of Theorem \[thm:cm&gt;0 framework\] eventually boils down to comparing both sides of to certain degrees of $L_Y$. In this subsection, we combine the ampleness lemma with the product trick as in [@KP17 $\S$7] or [@Pos19 $\S$6.3] to provide the first part of the comparison.

\[lem:deg L&gt;=deg H\] In the situation of Notation \[no-setup\] $($in particular $\beta_\delta({\mathcal{F}}_C)\ge 0)$, there exists some constant $a_0>0$ depending only on the family $f$, the line bundle $H$ and the integers $r,d$ such that $$(L_Y^{n+1}) + (L_Y^n\cdot \Delta_Y) \ge a_0 \cdot \deg q^*H.$$

Let $D_0=X$, $D_1=D={\mathrm{Supp}}(\Delta)$, $W=g_*{\mathcal{O}}_X(L)$, $Q_i=g_*{\mathcal{O}}_{D_i}(dL|_{D_i})$ ($i=0,1$) and $Q=Q_0\oplus Q_1$. Since $g|_D$ is flat over the codimension one point of $U$, we may shrink $V$ and assume that $g|_D$ is flat. As all the fibers $(X_u,\Delta_u;L_u)$ satisfy condition $(*)_d$, $W$ and $Q$ are locally free and their formation commutes with base change. By Theorem \[thm:ampleness lemma\], there exists $l,m\in{\mathbb{N}}_+$ depending only on $r,d,H$ and the family $f$ such that there exists a non-zero map $$\label{e-ample}
W^{\otimes l} \to {\mathcal{O}}_U(-p^*H)\otimes \det(Q)^{\otimes m}.$$ We claim that $W|_C$ is nef. Indeed, since $\beta_\delta({\mathcal{F}}_C)\ge 0$, we see that $$-(K_{Y/C}+\Delta_Y)+\gamma h^*\lambda_{h,\Delta_Y}$$ is nef and $\deg \lambda_{h,\Delta_Y}\ge 0$ by Corollary \[cor:cm&gt;=0\] and Proposition \[prop:nef threshold\], hence $L_Y$ and $$L_Y-(K_{Y/C}+\Delta_Y)=(r+1)(-(K_{Y/C}+\Delta_Y)+\gamma h^*\lambda_{h,\Delta_Y})+(r-1)\gamma h^*\lambda_{h,\Delta_Y}$$ are both nef and $h$-ample on $Y$. It follows that $W|_C=h_*{\mathcal{O}}_Y(L_Y)$ is nef by [@CP18]\*[Proposition 6.4]{}. Now let $q_i={\mathrm{rank}}Q_i$ ($i=0,1$) and consider the product $$Z=D_0^{(q_0)}\times_U D_1^{(q_1)}$$ where we use the notation $X^{(a)}=X\times_U \cdots \times_U X$ ($a$ times) for a family $X\to U$. Since $g$ and $g|_D$ are both flat, the same holds for $\nu\colon Z\to U$ and it is not hard to see that $Z$ is reduced. Let $p_{ij}\colon Z\to D_i$ ($0\le i\le 1$, $1\le j\le q_i$) be the natural projections to factors. Let $L_Z=\bigotimes_{i,j} p_{ij}^*(L|_{D_i})$. Then by the flatness of $g|_{D_i}$ and the projection formula we have the equality $\nu_*{\mathcal{O}}_Z(dL_Z)=\bigotimes_{i,j}Q_i$. Through the natural embeddings $\det(Q_i)\hookrightarrow \bigotimes_{j=1}^{q_i} Q_i$ we then get an embedding $\det(Q)\hookrightarrow \nu_*{\mathcal{O}}_Z(dL_Z)$ over $U$ and hence by adjunction of $\nu_*$ and $\nu^*$ also a non-zero map $\nu^*\det(Q)\hookrightarrow {\mathcal{O}}_Z(dL_Z)$. Composing with the map and restricting to $C$, we get a non-zero map $$\label{eq:H embed into L}
    \nu^*\left(W|_C^{\otimes l})\right) \to {\mathcal{O}}_{Z_C}(dmL_Z-\nu^*q^*H)$$ where $Z_C=Z\times_U C$. In particular, is non-zero on some irreducible component $$Z'=\Delta^1\times_C\cdots\times_C \Delta^{q_0+q_1}$$ of $Z_C$, where each $\Delta^i$ is either $Y$ or an irreducible component of $\Delta_Y$. Let $p_i\colon Z'\to \Delta^i$ be the natural projections and let $L'=L_Z|_{Z'}$, then $L'=\bigotimes_{i=1}^q p_i^*(L_Y|_{\Delta^i})$. As $W|_C$ and $L_Y$ are both nef, by we see that $L'$ is nef and $dmL'-\nu^*q^*H$ is pseudo-effective on $Z'$, hence $$\begin{aligned}
    (dm+1)^{\dim Z'}\cdot {\mathrm{vol}}(L') & = {\mathrm{vol}}( (dm+1) L') \\
    & \ge {\mathrm{vol}}(L' + \nu^*q^*H) = \left( (L' + \nu^*q^*H)^{\dim Z'} \right) \\
    & \ge \left( (L')^{\dim Z' -1}\cdot \nu^*q^*H \right) = {\mathrm{vol}}(L'_t)\cdot \deg q^*H \end{aligned}$$ where $t\in C$ is a general closed point. It is clear that $${\mathrm{vol}}(L'_t)=\prod_{i=1}^q {\mathrm{vol}}(L_Y|_{\Delta_t^i})$$ is bounded from below by some positive constant that only depend on the family $f$. Indeed we have $d_i:={\mathrm{vol}}(L_Y|_{\Delta_t^i})=r^{n-1} (-K_{X_t}-\Delta_t)^{n-1}\cdot \Delta^i_t $ unless $\Delta^i=Y$, in which case ${\mathrm{vol}}(L_Y|_{\Delta_t^i})=r^n(-K_{X_t}-\Delta_t)^n$. Hence there exists some constant $a_1>0$ depending only on $r,d,H$ and the family $f$ such that $${\mathrm{vol}}(L')\ge a_1\cdot \deg q^*H.$$ On the other hand, it is straightforward to check that $$(L_Y^{n+1})+(L_Y^n\cdot \Delta_Y)\ge a_2\cdot {\mathrm{vol}}(L')$$ for some constant $a_2>0$ depending again only on $r,d,H$ and $f$ (indeed, ${\mathrm{vol}}(L')$ is a linear combination of $(L_Y^{n+1})$ and $(L_Y^n\cdot \Delta^i_Y)$ with positive coefficients depending on the various $d_i$; see e.g. [@Pos19 (6.3.5.i)]). The lemma now follows immediately from the above two inequalities.

Perturbing the boundary {#ss-perturb}
-----------------------

In this subsection, we prove the other part of the comparison by perturbing the boundary.

\[lem:CM&gt;=deg L\] In the situation of Notation \[no-setup\] $($in particular $\beta_\delta({\mathcal{F}}_C)\ge 0)$, there exists some constant $b_0>0$ depending only on the family $f$ such that $$(L_Y^{n+1}) + (L_Y^n\cdot \Delta_Y) \le b_0\cdot \deg \lambda_{h,\Delta_Y}.$$

A key ingredient is given by the following result.

\[lem:pseff after perturb\] In the situation of Notation \[no-setup\], $-(K_{Y/C}+(1+\epsilon)\Delta_Y) +\gamma h^*\lambda_{h,\Delta_Y}$ is pseudo-effective $($as a Weil ${\mathbb{Q}}$-divisor$)$.

We may assume that $\epsilon \in {\mathbb{Q}}$. Since $(Y,\Delta_Y)$ is locally stable over $C$ and klt along a general fiber, it is klt. By [@BCHM]\*[Corollary 1.4.4]{}, there exists a proper ${\mathbb{Q}}$-factorial modification $\pi\colon Z\to Y$ which is small. Let $\Delta_Z$ be the birational transform of $\Delta_Y$ on $Z$. Denote by $\phi=h\circ \pi\colon Z\to C$.

As in the proof of Proposition \[prop:nef threshold\], for any rational number $\lambda>\frac{\deg \lambda_{h,\Delta_Y}}{(n+1)v}$, there exists some effective divisor $D\sim_{\mathbb{Q}}-(K_{Y/C}+\Delta_Y)+ \lambda h^*P$ (where $P\in C$ is a smooth point) such that $(Y,\Delta_Y+\delta D)$ is klt along the general fibers of $h$. It follows that the pair $$\big(Z, \Gamma := (1-\epsilon(\delta-1))\Delta_Z+\delta \pi^*D\big)$$ is also klt along the general fibers of $\phi$ (note that $\Gamma$ is effective by our choice of $\epsilon$). Let $\psi\colon  W\to (Z,\Gamma)$ be a log canonical modification, whose existence follows from [@OX13]. Then $\phi$ is an isomorphism over a open set of $C$. Write $$\psi^*(K_Z+\Gamma)-G=K_W+\psi^{-1}_*\Gamma+{\rm Ex}(\psi),$$ then $G\ge 0$ by the definition and ${\rm Supp}(G)$ is vertical over $C$.

It is straightforward to verify that $$K_{Z/C}+\Gamma\sim_{\mathbb{Q}}-(\delta-1)\pi^*\big(K_{Y/C}+(1+\epsilon)\Delta_Y\big)+\delta\lambda \phi^*P$$ and over a general closed point $t\in C$, $$K_{Z_t}+\Gamma_t=-(\delta-1)\pi^*(K_{X_t}+(1+\epsilon)\Delta_t),$$ hence by our assumption $K_{Z_t}+\Gamma_t$ is big. For any sufficiently large and divisible integers $m>0$, ${\mathcal{E}}_m := \phi_*{\mathcal{O}}_Z(m(K_{Z/C}+\Gamma))\neq 0$ and there is an exact sequence $$0\to(\phi\circ\psi)_*(m(K_W+\phi^{-1}_*\Gamma+{\rm Ex}(\psi)))\to {\mathcal{E}}_m \to G_m\to 0$$ for some skyscraper sheaf $G_m$. By [@Fuj17]\*[Theorem 1.1]{}, we know $(\phi\circ\psi)_*(m(K_W+\phi^{-1}_*\Gamma+{\rm Ex}(\psi)))$ is a nef vector bundle, which implies that ${\mathcal{E}}_m$ is nef.

This means that for any ample line bundle $A$ on $C$ and any integer $a>0$, there exists some $b\in{\mathbb{N}}_+$ such that ${\mathrm{Sym}}^{ab}({\mathcal{E}}_m)\otimes {\mathcal{O}}_C(bA)$ is generically generated by global sections. Via the natural map $$\begin{aligned}
    \phi^*\left( {\mathrm{Sym}}^{ab}({\mathcal{E}}_m)\otimes {\mathcal{O}}_C(bA)\right) & \to {\mathrm{Sym}}^{ab}(\phi^*{\mathcal{E}}_m)\otimes {\mathcal{O}}_Z(b \phi^*A) \\
     & \to {\mathcal{O}}_Z(abm(K_{Z/C}+\Gamma)+b\phi^*A),\end{aligned}$$ it follows that $am(K_{Z/C}+\Gamma)+\phi^*A$ is effective. Letting $a\to \infty$ we see that $K_{Z/C}+\Gamma$ is pseudo-effective. Pushing forward to $Y$ and letting $\lambda\to \frac{\deg \lambda_{h,\Delta_Y}}{(n+1)v}$ we obtain the desired statement.

Recall that $L_Y$ is nef as in the proof of Lemma \[lem:deg L&gt;=deg H\]. It is not hard to check that $$\label{eq:deg(L)}
    (L_Y^{n+1})= (-K_{Y/C}-\Delta_Y)^{n+1} + (n+1)v\cdot 2\gamma \deg \lambda_{h,\Delta_Y} = \frac{\delta+1}{\delta-1}\deg \lambda_{h,\Delta_Y}$$ as $\deg \lambda_{h,\Delta_Y} = - ((-K_{Y/C}-\Delta_Y)^{n+1})$. By Lemma \[lem:pseff after perturb\], $L_Y-\epsilon \Delta_Y$ is pseudo-effective, hence as $L_Y$ is nef we have $(L_Y^n\cdot (L_Y-\epsilon \Delta_Y))\ge 0$, or equivalently, $$\label{eq:deg(L|Delta)}
    \epsilon (L_Y^n\cdot \Delta_Y) \le (L_Y^{n+1}).$$ Note that the constants $\delta$ and $\epsilon$ only depend on the family $f$, hence the result follows directly from and .

Proof of main results
---------------------

This follows directly from Lemmas \[lem:reduction\], \[lem:deg L&gt;=deg H\] and \[lem:CM&gt;=deg L\].

We give some applications of Theorem \[thm:cm&gt;0 framework\].

\[thm:cm&gt;0 fix family\] Let $T$ be a torus, let $S$ be a normal projective variety and let $f\colon (X,\Delta)\to S$ be a generic log Fano family with maximal variation and a fiberwise $T$-action. Assume that very general fibers $(X_s,\Delta_s)$ are reduced uniformly K-stable and $T\subseteq {\mathrm{Aut}}(X_s,\Delta_s)$ is a maximal torus. Then the CM ${\mathbb{Q}}$-line bundle $\lambda_{f,\Delta}$ on $S$ is big.

We verify the conditions in §\[sec:setup for cm&gt;0\]. By assumption and Proposition \[prop:slope at vg pt\], there exists some $\eta>0$ such that the very general fibers $(X_s,\Delta_s)$ are reduced uniformly K-stable with slope at least $\eta$. Fix $\gamma\in{\mathbb{Q}}_+$ as in Notation \[no-setup\](3). Let $r\in {\mathbb{N}}_+$ be such that $L:=-r(K_{X/S}+\Delta) +2 r\gamma \lambda_{f,\Delta}$ is Cartier and $f$-very ample and choose $d\in{\mathbb{N}}_+$ be such that all the fibers $(X_s,\Delta_s;L_s)$ satisfies the condition $(*)_d$ from Definition \[defn:condition (\*)\_d\]. Then for any covering family of curves as in , the family $g\colon (X_U,\Delta_U)=(X,\Delta)\times_S U\to U$ satisfies all the assumptions of Theorem \[thm:cm&gt;0 framework\], hence by Theorem \[thm:cm&gt;0 framework\], for any fixed ample line bundle $H$ on $S$, there exists some constant $c_0>0$ depending only on $r,d,H$ and the family $f$ such that $(\lambda_{f,\Delta}\cdot C)=(\lambda_{g,\Delta_U}\cdot C)\ge c_0\cdot (H\cdot C)$ where $C$ is a very general member of the covering family. Since the covering family is arbitrary, it follows that $\lambda_{f,\Delta}-c_0 H$ is pseudo-effective by [@BDPP] and hence $\lambda_{f,\Delta}$ is big.

Let ${\mathcal{M}}:={\mathcal{M}}^{\rm Kss}_{n,v,c}$ be the Artin stack defined in $\S$\[ss-kmoduli\] and $M^{\rm Kps}_{n,v,c}$ the corresponding good moduli space (see Theorem \[c-kmodulipair\]). Let $\Lambda_{{\mathrm{CM}}}$ be the CM ${\mathbb{Q}}$-line bundle on $M^{\rm Kps}_{n,v,c}$ (see Proposition \[p-CMLa\]).

\[thm:cm&gt;0 subsp of K-moduli\] In the above notation, let $M\subseteq M^{\rm Kps}_{n,v,c}$ be a proper algebraic subspace such that for a very general point $s\in M$, the corresponding K-polystable log Fano pair is reduced uniformly K-stable. Then $\Lambda_{{\mathrm{CM}}}|_M$ is big.

It suffices to show that $\pi^*\Lambda_{{\mathrm{CM}}}$ is big for any dominant generically finite morphism $\pi\colon S\to M$. We can also assume $S$ is a normal projective variety.

Replacing $S$ by a finite cover, we may assume that there exists an open subset $S^\circ\subseteq S$ such that the map $\pi^\circ:=\pi|_{S^\circ}$ lifts to $\widetilde{\pi}^\circ\colon S^\circ\to {\mathcal{M}}$. Since $\phi\colon {\mathcal{M}}\to M$ is a good moduli space, we may further assume (after possibly shrinking $S^\circ$) that for all $s\in S^\circ$, $\widetilde{\pi}^\circ (s)$ is the unique closed point lying over $\pi(s)\in M$. In particular, we get a ${\mathbb{Q}}$-Gorenstein family $f\colon (X^\circ,\Delta^\circ)\to S^\circ$ of K-polystable log Fano pairs that induces the map $\widetilde{\pi}^\circ$. Replacing $S$ by another finite cover and shrinking $S^\circ$, we may also assume that $f$ admits a fiberwise $T$-action ($T$ being a torus) such that $T\subseteq {\mathrm{Aut}}(X_s,\Delta_s)$ is a maximal torus. By assumption, any very general fiber $(X_s,\Delta_s)$ is reduced uniformly K-stable, hence by Proposition \[prop:slope at vg pt\] we may find some $\eta>0$ such that a very general fiber $(X_s,\Delta_s)$ is reduced uniformly K-stable with slope at least $\eta$. Now fix the constant $\gamma\in{\mathbb{Q}}_+$ as in Notation \[no-setup\](3) and choose $r,d\in{\mathbb{N}}_+$ such that

1.  $r\gamma \pi^*\Lambda_{\mathrm{CM}}$ is Cartier,

2.  for any K-semistable log Fano pairs $(X,\Delta)$ with $\dim X=n$, ${\mathrm{vol}}(-K_X-\Delta)=v$ and $\Delta=cD$ for some integral Weil divisor $D$, we have $-r(K_X+\Delta)$ is Cartier and very ample and the triple $(X,\Delta;-r(K_X+\Delta))$ satisfies the condition $(*)_d$ from Definition \[defn:condition (\*)\_d\] (this is possible since the set of such log Fano pairs is bounded by [@Jia17; @Che18; @LLX18]).

Let $H$ be a fixed ample line bundle on $S$. Let $V\leftarrow U\to S$ be a covering family of curves as in . By [@AHLH18]\*[Theorem A.8]{}, after possibly replacing $U$ by a finite cover and shrinking $V$, we may extend the birational pullback of $f$ to a ${\mathbb{Q}}$-Gorenstein family $g\colon (X,\Delta)\to U$ of K-polystable log Fano pairs with a fiberwise $T$-action. In particular, we have $\pi_U^*\Lambda_{\mathrm{CM}}= \lambda_{g,\Delta}$ where $\pi_U\colon U\to M$ is the induced map. By our choice of $r$ and $d$, it is clear that the family $g$ satisfies the assumptions of Theorem \[thm:cm&gt;0 framework\] and hence there exists some constant $c_0>0$ depending only on $r,d,H$ and the family $f$ such that $$(\pi^*\Lambda_{\mathrm{CM}}\cdot C)=(\lambda_{g,\Delta}\cdot C)\ge c_0\cdot (H\cdot C).$$ Since the covering family of curves is arbitrary, it follows that $\pi^*\Lambda_{\mathrm{CM}}- c_0 H$ is pseudo-effective and therefore $\pi^*\Lambda_{\mathrm{CM}}$ is big as desired.

The following is a natural generalization of Theorem \[t-main2\] into a log version.

\[t-main2log\] In the above notation, let $M\subseteq M^{\rm Kps}_{n,v,c}$ be a proper algebraic subspace such that every geometric point $s\in M$ parametrizes a reduced uniformly K-stable log Fano pair. Then $\Lambda_{{\mathrm{CM}}}|_M$ is ample.

Since $\Lambda_{{\mathrm{CM}}}|_M$ is nef by [@CP18]\*[Theorem 1.7]{} (or Corollary \[cor:cm&gt;=0\]), this directly follows from Theorem \[thm:cm&gt;0 subsp of K-moduli\] and the Nakai-Moishezon criterion.

Using analytic tools and Theorem \[t-logsmoothable\], we also have the following theorem.

\[t-logample\] Let $k={\mathbb{C}}$. Notation as in Theorem \[t-logsmoothable\]. Then the restriction of $\Lambda_{{\mathrm{CM}}}$ on $\overline{M}^{\rm sm, kp}_{n,v,c}$ is ample.

By Theorem \[t-logsmoothable\], $\overline{M}^{\rm sm, kp}_{n,v,c}$ is known to be proper. By [@TW19] (see also [@ADL19]\*[Theorem 3.6]{}), we know the log Fano pairs parametrized by ${\mathbb{C}}$-valued points of $\overline{M}^{\rm sm, kp}_{n,v,c}$ all admit weak conical Kähler-Einstein metrics, thus they are reduced uniformly K-stable by [@Li19] (see also [@BBJ15]). Therefore, we conclude by Theorem \[t-main2log\].

Reduced $\delta$-invariants {#a-reduced}
===========================

In this section, we develop a reduced version of $\delta$-invariant for log Fano pairs $(X,\Delta)$ with a torus group action. Results in this section are not needed in the main part of the current article.

Throughout, we fix a torus group $T$ and let $N={\mathrm{Hom}}({\mathbb{G}}_m,T)=M^*$. Let $(X,\Delta)$ be a log Fano pair with a $T$-action. Recall from §\[ss-reduks\] (see also [@Li19]\*[§2.3]{}) that any $\xi\in N_{{\mathbb{R}}}$ determines a valuation ${\mathrm{wt}}_{\xi}$ given by $${\mathrm{wt}}_{\xi}\colon f=\sum_{\alpha\in M, f_{\alpha}\neq 0} f_{\alpha} \mapsto \min\langle \alpha, \xi  \rangle.$$

Using the notation from §\[ss-reduks\], for any $T$-equivariant valuation $v$ which is not of the form ${\mathrm{wt}}_{\xi}$ and $A_{X,\Delta}(v)<\infty$, we can define $$\label{e-tdelta(v)}
    \delta_{X,\Delta,T}(v)=\sup_{\xi\in N_{\mathbb{R}}}\frac{A_{X,\Delta}(v_{\xi})}{S_{X,\Delta}(v_{\xi})}$$ (or abbreviated as ${{\delta_T}}(v)$ if $(X,\Delta)$ is clear). We define the [*$T$-reduced $\delta$-invariant*]{} as $$\begin{aligned}
{{\delta_T}}(X,\Delta):=\inf_{v} \delta_{X,\Delta,T}(v)=\inf_{\mu}\sup_{\xi} \frac{A_{X,\Delta}(v_{\mu,{\xi}})}{S_{X,\Delta}(v_{\mu,{\xi}})},\end{aligned}$$ where in the middle expression, $v$ runs through all $T$-equivariant valuations with $A_{X,\Delta}(v)<\infty$ which are not of the form ${\mathrm{wt}}_{\xi}$; and in the last expression the first infimum runs through all non-trivial valuations $\mu$ on the Chow quotient $Z$ such that $A_{X,\Delta}(v_{\mu,{\xi}})<\infty$ for some (and equivalently any) $\xi \in {N}_{{\mathbb{R}}}$, and the second supremum runs through all $\xi \in {N}_{{\mathbb{R}}}$.

By Theorem \[thm:Li’s valuative T-uKs\], a K-semistable log Fano pair $(X,\Delta)$ is reduced uniformly K-stable if and only if ${{\delta_T}}(X,\Delta)>1$ for some maximal torus $T$ in ${\mathrm{Aut}}(X,\Delta)$.

\[r-tdelta&gt;=1\] In general we always have ${{\delta_T}}(v)\ge 1$ if $T\neq 0$. Indeed, there exists some $\xi \in N$ such that ${\mathrm{Fut}}(\xi)\ge 0$ and hence $${{\delta_T}}(v)\ge \limsup_{m\to \infty} \frac{A_{X,\Delta}(v_{m\xi})}{S_{X,\Delta}(v_{m\xi})} =  \frac{A_{X,\Delta}({\mathrm{wt}}_\xi)}{S_{X,\Delta}({\mathrm{wt}}_\xi)}\ge 1.$$ The same argument also shows that if ${{\delta_T}}(X,\Delta)=1$, then ${\mathrm{Fut}}(\xi)=0$ for all $\xi \in N$.

\[r-max\] If $\beta_{X,\Delta}(v)\ge 0$ and ${\mathrm{Fut}}(\xi) = 0$ for all $\xi\in N$, then the supremum in is a maximum. Indeed, by [@Li19]\*[Proposition 3.12]{}, we have $\beta_{X,\Delta}(v)=\beta_{X,\Delta}(v_\xi)$ for all $\xi\in N_{\mathbb{R}}$, hence $$\label{e-tdelta(v)-1}
    {{\delta_T}}(v) = 1 + \sup_{\xi\in N_{\mathbb{R}}} \frac{\beta_{X,\Delta}(v_\xi)}{S(v_\xi)} = 1 + \sup_{\xi\in N_{\mathbb{R}}} \frac{\beta_{X,\Delta}(v)}{S(v_\xi)}.$$ By [@BJ17]\*[Proposition 3.11]{}, we also have $$\label{e-S>=J}
    S(v_\xi) \ge \frac{1}{n+1} T(v_\xi) \ge \frac{1}{n+1}{\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_{v_\xi})$$ where $n=\dim X$, hence by the properness estimate in [@Li19]\*[Lemma 3.15]{}, we know that it suffices to take the supremum in over a compact subset of $N_{\mathbb{R}}$ and therefore it is achieved for some $\xi$ by the continuity of $\xi \mapsto S(v_\xi)$.

The above definition is a modification of the characterization of $\delta$-invariant given by [@BJ17 Theorem C]. We want to prove the following theorem which is an analogue of [@BLX19 Theorem 4.5].

\[t-redqm\] Let $(X,\Delta)$ be a log Fano pair with a $T$-action. If $(X,\Delta)$ is K-semistable and ${{\delta_T}}(X,\Delta)= 1$, then it can be calculated by a $T$-invariant quasi-monomial valuation $v\neq {\mathrm{wt}}_{\xi}$, i.e. there exists a quasi-monomial $T$-invariant valuation $v$ which is not of the form ${\mathrm{wt}}_{\xi}$ and satisfies that $$\frac{A_{X,\Delta}(v_\xi)}{S_{X,\Delta}(v_\xi)}={{\delta_T}}(v)={{\delta_T}}(X,\Delta)=1$$ for all $\xi \in N_{\mathbb{R}}$.

We first prove a number of lemmas. To this end, let $(X,\Delta)$ be a log Fano pair (not necessarily K-semistable), let $r$ be a positive integer such that $-r(K_X+\Delta)$ is Cartier and let $R$ be the section ring $R(X,-r(K_X+\Delta))$.

\[l-twistlct\] Let ${\mathcal{F}}$ be a $T$-equivariant filtration on $R$ and $\mu=\mu({\mathcal{F}})$. Let $v$ be a $T$-invariant valuation that computes the log canonical threshold of $I^{(\mu)}_{\bullet}({\mathcal{F}})$. Then $\mu=\mu({\mathcal{F}}_{\xi})$ and $v_{\xi}$ computes the log canonical threshold of $I_{\bullet}^{(\mu)}({\mathcal{F}}_{\xi})$.

Let $I_{m,\lambda}$ (resp. $I^\xi_{m,\lambda}$) be the base ideals of ${\mathcal{F}}$ (resp. ${\mathcal{F}}_\xi$) and let $I_{m,\lambda,\alpha}$ (resp. $I^\xi_{m,\lambda,\alpha}$) ($\alpha\in M$) be their weight-$\alpha$ part, e.g. $I_{m,\lambda,\alpha} = {\rm Im}(({\mathcal{F}}^\lambda R_m)_\alpha \otimes {\mathcal{O}}_X(mr(K_X+\Delta))\to {\mathcal{O}}_X)$. As in the proof of Theorem \[thm:tbeta&gt;=D\^NA\], after rescaling $v$, by , we have $$v(I_{m,\lambda,\alpha})\ge v(I_{m,\lambda})\ge m\cdot v(I_\bullet^{(\lambda/m)})\ge \lambda+m({rA_{X,\Delta}(v)}-\mu)$$ for any $\alpha\in M$. Then for any $t$, let $\theta_{\xi}(v)=A_{X,\Delta}(v_{\xi})-A_{X,\Delta}(v)$, we have $$\begin{aligned}
v_{\xi}(I^{\xi}_{m,tm,\alpha})&=&v_{\xi}(I_{m,tm-{\langle}\xi,\alpha{\rangle},\alpha})\\
&=&v(I_{m,tm-{\langle}\xi,\alpha{\rangle},\alpha})+{\langle}\xi,\alpha {\rangle}+mr \theta_{\xi}(v)\\
&\ge& m(t+r \theta_{\xi}(v)+{rA_{X,\Delta}(v)}-\mu)\\
&=&m(t+rA_{X,\Delta}(v_{\xi})-\mu),\end{aligned}$$ where the second equality follows from [@Li19]\*[Proposition 3.8]{}.

Taking $t=\mu$, we see that $v_{\xi}(I^{\xi}_{m,\mu m,\alpha})\ge mr A_{X,\Delta}(v_{\xi})$ and hence $$\begin{aligned}
\label{e-twistlct}
v_{\xi}(I^{\xi}_{m,\mu m})\ge mr A_{X,\Delta}(v_{\xi}).\end{aligned}$$ Thus $\mu({\mathcal{F}}_{\xi})\le \mu({\mathcal{F}})$. Since we can take a $(-\xi)$-twist of ${\mathcal{F}}_{\xi}$ to get ${\mathcal{F}}$, this implies that $$\mu({\mathcal{F}}_{\xi})\le \mu({\mathcal{F}})\le \mu({\mathcal{F}}_{\xi}).$$ It follows that equality holds and then implies that $v_{\xi}$ computes the log canonical threshold of $I^{(\mu)}_{\bullet}({\mathcal{F}}_\xi)$.

Recall that for an lc pair $(X,\Delta)$, an [*lc place $E$*]{} is a divisorial valuation over $X$ such that $A_{X,\Delta}(E)=0$. If $(X,\Delta)$ is a log Fano pair, [*an $N$-complement*]{} is a ${\mathbb{Q}}$-divisor $D$ such that $N(K_X+\Delta+D)\sim 0$ and $(X,\Delta+D)$ is log canonical. [*A ${\mathbb{Q}}$-complement*]{} of a log Fano pair is an $N$-complement for some $N\in {\mathbb{N}}_+$.

\[l-comple\] A divisor $E$ over $X$ is an lc place of a ${\mathbb{Q}}$-complement of $(X,\Delta)$ if and only if ${\rm gr}_{{\mathcal{F}}_E}R:=\bigoplus_{m,i\in{\mathbb{N}}} {\mathrm{Gr}}^i_{{\mathcal{F}}_E} R_m$ is finitely generated and $\mu({\mathcal{F}}_E)=rA_{X,\Delta}(E)$.

Assuming $E$ is an lc place of a ${\mathbb{Q}}$-complement of $(X,\Delta)$, then ${\rm gr}_{{\mathcal{F}}_E}R$ is finitely generated and $\mu({\mathcal{F}}_E)=rA_{X,\Delta}(E)$ by Proposition \[prop:tbeta property\]. Conversely, if ${\rm gr}_{{\mathcal{F}}_E}R$ is finitely generated and $\mu({\mathcal{F}}_E)=rA_{X,\Delta}(E)$, then $${\mathrm{lct}}(X,\Delta;I^{ (r\cdot A_{X,\Delta}(E))}_\bullet)=m\cdot {\mathrm{lct}}(X,\Delta;I_{m, mrA_{X,\Delta}(E))})= \frac{1}{r}.$$ for some sufficiently divisible $m$. This means there is a divisor $D\in |-mr(K_X+\Delta)|$ with ${\mathrm{ord}}_E(D)\ge mrA_{X,\Delta}(E)$ and $(X,\Delta+\frac{1}{mr}D)$ is log canonical. Thus $E$ is an lc place of $(X,\Delta+\frac{1}{mr}D)$.

For the next lemma we use the following notation: if $E$ is a $T$-invariant divisor over $X$, $v={\mathrm{ord}}_E$ and $\xi\in N_{\mathbb{Q}}$, then $v_\xi$ is also a divisorial valuation over $X$ and we define $E_\xi$ as the divisor over $X$ such that $v_\xi=c\cdot {\mathrm{ord}}_{E_\xi}$ for some $c\in{\mathbb{Q}}$.

\[l-twistinvariant\] If $E$ is an lc place of a ${\mathbb{Q}}$-complement, then for any $\xi\in N_{{\mathbb{Q}}}$, $ E_{\xi}$ is also an lc place of a ${\mathbb{Q}}$-complement.

Since ${\rm gr}_{{\mathcal{F}}_E}R$ is finitely generated by assumption and ${\rm gr}_{{\mathcal{F}}_E}R\cong {\rm gr}_{{\mathcal{F}}_{E_{\xi}}}R$, we know the latter is also finitely generated. By Lemma \[l-comple\], it suffices to prove $\mu({\mathcal{F}}_{E_{\xi}})=rA_{X,\Delta}(E_{\xi})$, or equivalently $$\mu({\mathcal{F}}_{v_\xi})=rA_{X,\Delta}(v_\xi)$$ where $v={\mathrm{ord}}_E$. Since $\mu({\mathcal{F}}_v)=rA_{X,\Delta}(v)$ by Lemma \[l-comple\], we have $\mu(({\mathcal{F}}_v)_\xi)=rA_{X,\Delta}(v)$ by Lemma \[l-twistlct\]. By [@Li19]\*[Proposition 3.8]{}, ${\mathcal{F}}_{v_\xi}$ differs from $({\mathcal{F}}_v)_\xi$ by a translation of $r \cdot \theta_{\xi}(v)$. It is then clear that $$\mu({\mathcal{F}}_{v_\xi})=\mu(({\mathcal{F}}_v)_\xi)+r \cdot \theta_{\xi}(v) = r(A_{X,\Delta}(v)+\theta_{\xi}(v)) = rA_{X,\Delta}(v_{\xi})$$ and we are done.

\[l-weakly\] Let $(X,\Delta)$ be a log Fano pair and let $E$ be a divisor $E$ over $X$. There exists an integer $N>0$ depending only on $\dim (X)$ and the coefficients of $\Delta$ such that the following are equivalent:

1.  $E$ is an lc place of a ${\mathbb{Q}}$-complement;

2.  $E$ is an lc place of an $N$-complement;

3.  $E$ is induced by a weakly special test configuration with irreducible central fiber.

The equivalence between (1) and (2) follows from [@BLX19 Theorem 3.5] whose proof relies on [@Bir19]; whereas the equivalence between (2) and (3) follows from [@BLX19 Theorem A.2].

To prove Theorem \[t-redqm\], we also need a constructibility result (similar to [@BLX19]\*[Proposition 4.1]{}) of ${{\delta_T}}(v)$ when the valuation varies in a family.

\[d-flogres\] Let $f_i\colon (X_i,\Delta_i+M_i)\to B$ $(i=1,\cdots,m)$ be projective pairs over $B$ (where each $\Delta_i$ is a divisor on $X_i$ and $M_i$ is a ${\mathbb{Q}}$-linear system, i.e. $M_i=a_i{\mathcal{M}}_i$ for some $a>0$ and some linear series ${\mathcal{M}}_i$ on $X_i$) such that the $X_i$’s are birational to each other over $B$. We say that $\phi \colon Y\to B$ gives a simultaneous fiberwise log resolution of the $f_i$’s if

1.  There are proper birational morphisms $g_i\colon Y\to X_i$ such that $\phi=f_i\circ g_i$ for all $i$.

2.  We can write $g_i^*{\mathcal{M}}_i=\Phi_i+F_i$ where $F_i$ (resp. $\Phi_i$) is the fixed (resp. movable) part over $B$ such that $\Phi_i$ is base point free over $B$, $G:={\mathrm{Supp}}(\sum_{i=1}^m({\rm Exc}(g_i)+(g_i^{-1})_*\Delta_i+F_i))$ is an snc divisor and each stratum of $G$ is smooth over $B$ with irreducible fibers.

Consider now the following setup: let $B$ be a smooth variety and let $({\mathcal{X}},{\mathcal{D}})\to B$ be a ${\mathbb{Q}}$-Gorenstein family of log Fano pairs with a fiberwise $T$-action. Let ${\mathcal{M}}\sim_{\mathbb{Q}}-(K_{{\mathcal{X}}/B}+{\mathcal{D}})$ be a $T$-invariant ${\mathbb{Q}}$-linear system such that $({\mathcal{X}}_b,{\mathcal{D}}_b+{\mathcal{M}}_b)$ is lc for all $b\in B$ and let $g\colon {\mathcal{Y}}\to ({\mathcal{X}},{\mathcal{D}}+{\mathcal{M}})$ be a fiberwise $T$-equivariant log resolution (i.e. $g$ is $T$-equivariant and is a fiberwise log resolution in the sense of Definition \[d-flogres\]).

\[l-constructible\] In the above setup, let ${\mathcal{E}}$ be a toroidal divisor over ${\mathcal{Y}}$ with respect to ${\mathcal{G}}$ such that $A_{{\mathcal{X}},{\mathcal{D}}+{\mathcal{M}}}(E)<1$. Then $\delta_{{\mathcal{X}}_b,{\mathcal{D}}_b,T}({\mathcal{E}}_b)$ is independent of $b\in B$.

We follow the proof of [@BLX19]\*[Proposition 4.1]{}, which is in turn based on [@HMX13]\*[Theorem 1.8]{}. We may assume $B$ is affine and ${\mathcal{E}}$ is a prime divisor on ${\mathcal{Y}}$ (by repeatedly blowup centers on ${\mathcal{E}}$ on ${\mathcal{Y}}$). We aim to show that the natural restrictions $$\label{e-invplurigenera}
    H^0({\mathcal{Y}},-m g^*(K_{{\mathcal{X}}}+{\mathcal{D}})-\ell {\mathcal{E}}) \to H^0({\mathcal{Y}}_b,-m g^*(K_{{\mathcal{X}}_b}+{\mathcal{D}}_b)-\ell {\mathcal{E}}_b)$$ are surjective for all sufficiently divisible integers $m,\ell \in{\mathbb{N}}$.

By Bertini’s theorem, there are effective ${\mathbb{Q}}$-divisors $H\sim_{\mathbb{Q}}-(K_{{\mathcal{X}}/B}+{\mathcal{D}})$ and $M\in {\mathcal{M}}$ such that $g$ is also a fiberwise log resolution of $({\mathcal{X}},\Gamma={\mathcal{D}}+\epsilon H +(1-\epsilon)M)$, $({\mathcal{X}}_b,\Gamma_b)$ is klt for all $b\in B$ and $A_{{\mathcal{X}},\Gamma}({\mathcal{E}})<1$ (note that $({\mathcal{X}},\Gamma)$ no longer has a $T$-action but this does not affect the proof). We may write $$K_{{\mathcal{Y}}} + a{\mathcal{E}}+ \Gamma_1 - \Gamma_2 = g^*(K_{{\mathcal{X}}}+\Gamma) \sim_{\mathbb{Q}}0$$ where $a=1-A_{{\mathcal{X}},\Gamma}({\mathcal{E}})$, $\Gamma_1$ and $\Gamma_2$ are effective without common component and $\Gamma_2$ is $g$-exceptional. Since $({\mathcal{X}}_b,\Gamma_b)$ is klt, so does $({\mathcal{Y}}_b,(\Gamma_1)_b)$ for all $b\in B$. We then have $$-m g^*(K_{{\mathcal{X}}}+{\mathcal{D}})-\ell {\mathcal{E}}+ \frac{\ell}{a}\Gamma_2 \sim \frac{\ell}{a}(K_{{\mathcal{Y}}} + \Gamma_1)-m g^*(K_{{\mathcal{X}}}+{\mathcal{D}}) \sim \frac{\ell}{a}(K_{{\mathcal{Y}}} + \Gamma_1 + H')$$ for some effective $H'\sim_{\mathbb{Q}}-\frac{am}{\ell}(K_{{\mathcal{X}}}+{\mathcal{D}})$ such that $({\mathcal{Y}}_b,(\Gamma_1)_b+H'_b)$ is klt for all $b\in B$. From the proof of [@HMX13]\*[Theorem 1.8(1)]{}, we see that the natural maps $$H^0\left({\mathcal{Y}},-m g^*(K_{{\mathcal{X}}}+{\mathcal{D}}) - \ell {\mathcal{E}}+ \frac{\ell}{a}\Gamma_2\right) \to H^0\left({\mathcal{Y}}_b,-m g^*(K_{{\mathcal{X}}_b}+{\mathcal{D}}_b)-\ell {\mathcal{E}}_b + \frac{\ell}{a}(\Gamma_2)_b\right)$$ are surjective for all sufficiently divisible $m,\ell \in{\mathbb{N}}$. But since $(\Gamma_2)_b$ is $g_b$-exceptional, the two $H^0$’s above can be identified with the ones in and thus follows.

Since ${\mathcal{Y}}\to B$ admits a fiberwise $T$-action, the maps in are $T$-equivariant and hence are also surjective on each component of the weight decomposition. It follows that the for each sufficiently divisible $m,\ell\in{\mathbb{N}}$ and each $\alpha\in M$, $\dim ({\mathcal{F}}^\ell_{{\mathcal{E}}_b} R_{b,m})_\alpha$ is independent of $b\in B$ (where $R_b$ is the section ring of $-r(K_{{\mathcal{X}}_b}+{\mathcal{D}}_b)$). Recall that ${\mathcal{F}}_{v_\xi}$ differs from $({\mathcal{F}}_v)_\xi$ by a translation of $r \cdot \theta_{\xi}(v)$ (see [@Li19]\*[Proposition 3.8]{}) and $\lambda_{\min}({\mathcal{F}}_v)=0$ for any valuation $v$, then for each $\xi\in  N_{\mathbb{R}}$, $$\theta_\xi(v_b) =  -\lambda_{\min}(({\mathcal{F}}_{v_b})_\xi)$$ is independent of $b\in B$ (where $v_b={\mathrm{ord}}_{{\mathcal{E}}_b}$). Clearly $A_{{\mathcal{X}}_b,{\mathcal{D}}_b}(v_b)$ is also independent of $b\in B$. As a consequence, $$A_{{\mathcal{X}}_b,{\mathcal{D}}_b}((v_b)_\xi) \quad \text{and} \quad S_{{\mathcal{X}}_b,{\mathcal{D}}_b}((v_b)_\xi)$$ are both independent of $b\in B$ as well. It is now evident from the definition that $\delta_{{\mathcal{X}}_b,{\mathcal{D}}_b,T}({\mathcal{E}}_b)$ is independent of $b\in B$.

Let $N$ be the integer from Lemma \[l-weakly\]. By Lemma \[l-twistinvariant\] and Lemma \[l-weakly\], if $E$ is a $T$-invariant divisor over $X$ that is an lc place of an $N$-complement, then so is $E_{\xi}$ for any $\xi\in N_{{\mathbb{Q}}}$.

We first prove that there exists a sequence of $T$-invariant divisors $E_i$ over $X$, each of which is an lc place of an $N$-complement, such that ${\mathrm{ord}}_{E_i}\neq {\mathrm{wt}}_{\xi}$ for any $\xi\in N_{{\mathbb{Q}}}$ and $\lim_{i\to \infty}{{\delta_T}}(E_i)=1$. In fact, if this fails, then by Lemma \[l-weakly\], there exists some constant $a>0$ such that for any divisorial valuation $v={\mathrm{ord}}_E$ that is induced by a $T$-equivariant special test configuration $({\mathcal{X}}^s,\Delta_{{\mathcal{X}}^s})$, we have ${{\delta_T}}(v) > 1+a$. Thus by the definition of ${{\delta_T}}$, there is a twist $\xi\in N_{\mathbb{R}}$ such that $$\beta_{X,\Delta}(v)\ge a\cdot S(v_\xi)\ge \frac{a}{n+1}{\mathbf{J}^{\mathrm{NA}}}({\mathcal{F}}_{v_\xi})\ge \frac{a}{n+1} {\mathbf{J}^{\mathrm{NA}}}_T({\mathcal{F}}_v)$$ where the first two inequalities follows from and and the last inequality follows from Corollary \[cor:DNA & JNA after translation\] and the fact that ${\mathcal{F}}_{v_\xi}$ differs from $({\mathcal{F}}_v)_\xi$ by a translation. Since $\beta_{X,\Delta}(v)={\mathbf{D}^{\mathrm{NA}}}({\mathcal{X}}^s,\Delta_{{\mathcal{X}}^s})$ by [@Fuj19]\*[Theorem 5.1]{}, it follows that $${\mathbf{D}^{\mathrm{NA}}}({\mathcal{X}}^s,\Delta_{{\mathcal{X}}^s})\ge \frac{a}{n+1} {\mathbf{J}^{\mathrm{NA}}}_T({\mathcal{X}}^s,\Delta_{{\mathcal{X}}^s})$$ for any $T$-equivariant special test configuration $({\mathcal{X}}^s,\Delta_{{\mathcal{X}}^s})$ of $(X,\Delta)$. By [@Li19]\*[§4]{} (which uses equivariant MMP and a similar argument as in [@LX14]), this implies $${\mathbf{D}^{\mathrm{NA}}}({\mathcal{X}},\Delta_{{\mathcal{X}}})\ge \frac{a}{n+1} \cdot  {\mathbf{J}^{\mathrm{NA}}}_T({\mathcal{X}},\Delta_{{\mathcal{X}}})$$ for any $T$-equivariant test configuration $({\mathcal{X}},\Delta_{{\mathcal{X}}})$, hence $(X,\Delta)$ is reduced uniformly K-stable and ${{\delta_T}}(X,\Delta)>1$, a contradiction.

Fix a sequence $E_i$ ($i\in{\mathbb{N}}$) with the aforementioned properties and a $T$-equivariant birational map $X\dashrightarrow {\overline{T}}\times Z$ where $Z$ is proper and ${\overline{T}}$ is a toric variety that compactifies $T$. Via we get a (non-canonical) isomorphism ${\mathrm{Val}}(Z)\times N_{\mathbb{R}}\cong {\mathrm{Val}}^T(X)$ sending $(\mu,\xi) \mapsto v_{\mu,\xi}$ and let $\pi\colon {\mathrm{Val}}^T(X)\to N_{\mathbb{R}}$ be the induced projection. By Lemma \[l-twistinvariant\], we may replace each $E_i$ by a twist and assume that $\pi({\mathrm{ord}}_{E_i})=0$.

We now run a modified argument of [@BLX19]\*[Proof of Theorem 4.5]{}. Consider the parameter space $B$ of $T$-invariant linear series ${\mathcal{M}}_b\subseteq |-N(K_X+\Delta)|$ that give strict $N$-complement of $(X,\Delta)$, i.e. ${\mathrm{lct}}(X,\Delta;{\mathcal{M}}_b)=\frac{1}{N}$. There exists a locally closed decomposition $B=\cup B_j$ and étale maps $B'_j\to B_j$ such that the $B'_j$’s are smooth and the universal family $(X\times B,\Delta\times B;{\mathcal{M}})$ together with $({\overline{T}},\Gamma)\times Z\times B$ (where $\Gamma$ is the sum of torus invariant divisors on ${\overline{T}}$) admits a simultaneous fiberwise $T$-equivariant log resolution over each $B'_j$.

For any $E_i$, the linear system $$M_i:={\mathcal{F}}_{E_i}^{N\cdot A_{X,\Delta}(E_i)}H^0\big({\mathcal{O}}_X(-N(K_X+\Delta))\big)\subset H^0\big({\mathcal{O}}_X(-N(K_X+\Delta))\big)$$ is a $T$-invariant linear system which satisfies that ${\mathrm{lct}}(X,\Delta';M_i)=\frac{1}{N}$ and $E_i$ is an lc place of $(X,\Delta+\frac{1}{N}M_i)$. In particular, $M_i$ yields a point on $B$. Passing to a subsequence of $E_i$ and restricting to some component $B'_j$, we may and do assume that $B$ is irreducible, simultaneous fiberwise $T$-equivariant log resolutions $$\xymatrix{
    &    {\mathcal{Y}}\ar[dl]_{g}\ar[dr]^{g'}  &\\
        (X\times B,\Delta\times B+{\mathcal{M}}) & & ({\overline{T}},\Gamma)\times Z\times B
        }$$ exists over $B$ and every $E_i$ is an lc center of $(X,\Delta+\frac{1}{N}{\mathcal{M}}_b)$ for some $b_i\in B$. In particular, there exists an lc place ${\mathcal{E}}_i$ of $(X\times B,\Delta\times B+\frac{1}{N}{\mathcal{M}})$ that restricts to $E_i$ over $b_i$.

Fix $b_0\in B$. Since $\pi(({\mathcal{E}}_i)_b)=0$ if and only if the center of $({\mathcal{E}}_i)_b$ is not contained in any component of $g_b'^*(\Gamma\times Z)$ and the latter statement is independent of $b\in B$, we see that $\pi(({\mathcal{E}}_i)_{b_0})=0$ as the same holds over $b_i$. By Lemma \[l-constructible\], we also have $$\delta_{X,\Delta,T}(E_i)=\delta_{X,\Delta,T}(({\mathcal{E}}_i)_{b_0}).$$ Therefore, we may replace the sequence $E_i$ by $({\mathcal{E}}_i)_{b_0}$ and assume that the $E_i$’s are lc places of a fix lc pair $(X,\Delta+\frac{1}{N}{\mathcal{M}}_{b_0})$.

By [@BLX19]\*[Lemma 2.3]{}, we know that $v_i:=\frac{1}{A_{X,\Delta}(E_i)}({\mathrm{ord}}_{E_i})$ converges to a $T$-invariant quasi-monomial valuation $v$ over $X$. Since $\pi(v_i)=0$ and $A_{X,\Delta}(v_i)=1$, we see that $\pi(v)=0$ and $A_{X,\Delta}(v)=1$ as well; in particular, $v\neq {\mathrm{wt}}_\xi$ for any $\xi\in N_{\mathbb{R}}$. We will show for such $v$, ${{\delta_T}}(v)=1$.

After twisting by $\xi$, we also have $(v_i)_\xi \to v_\xi$ and $A_{X,\Delta}((v_i)_\xi)\to A_{X,\Delta}(v_\xi)$. By [@BLX19]\*[Proposition 2.4]{}, we have $S(v_i)\to S(v)$ and therefore as $$S(v_\xi)=A_{X,\Delta}(v_\xi)-A_{X,\Delta}(v)+S(v)+{\mathrm{Fut}}(\xi) \qquad \mbox{ (by \cite{Li19}*{(130)}}),$$ we also have $S((v_i)_\xi)\to S(v_\xi)$ for all $\xi\in N_{\mathbb{R}}$. It follows that for any $\xi \in N_{\mathbb{R}}$, $$\frac{A_{X,\Delta}(v_\xi)}{S(v_\xi)} = \lim_{i\to \infty} \frac{A_{X,\Delta}((v_i)_\xi)}{S((v_i)_\xi)} \le \lim_{i\to \infty} {{\delta_T}}(v_i) = 1$$ and hence ${{\delta_T}}(v)\le 1$. Since we always have ${{\delta_T}}(v)\ge 1$ (Remark \[r-tdelta&gt;=1\]), thus ${{\delta_T}}(v)=1$. By Remark \[r-max\], we also know that ${{\delta_T}}(v)=\frac{A_{X,\Delta}(v_\xi)}{S(v_\xi)}=1$ for some $\xi\in N_{\mathbb{R}}$. It follows that $\beta(v)=\beta(v_\xi)=0$ for all $\xi \in N_{\mathbb{R}}$. In other words, $\frac{A_{X,\Delta}(v_\xi)}{S(v_\xi)}=1$ for all $\xi \in N_{\mathbb{R}}$.

\[c-divi\] Let $(X,\Delta)$ be a K-semistable log Fano pair and $T$ a torus acting on $(X,\Delta)$. If ${{\delta_T}}(X,\Delta)=1$, then there exists a divisorial valuation $v$ not of the form ${\mathrm{wt}}_\xi$ such that $$\frac{A_{X,\Delta}(v)}{S_{X,\Delta}(v)}=\delta_{X,\Delta,T}(v)=\delta_T(X,\Delta)=1.$$

Theorem \[t-redqm\] answers the expectation in [@Li19]\*[Remark 3.25]{}. By [@BX19]\*[Theorem 4.1]{}, Conjecture \[c-divi\] implies Conjecture \[c-kpoly\].
