BOUNDEDNESS OF STABLE MINIMAL MODELS WITH KLT SINGULARITIES

Abstract.

We investigate the singularities and boundedness of a special kind of algebraic varieties so-called stable minimal models, which are constructed and studied by Birkar in [Bir21a, Bir22b]. Given a klt stable minimal model with bounded relative volume, if we fix the dimension, Iitaka volume, and a DCC set controlling coefficients, then we show that the singularities of the klt stable minimal model can be controlled uniformly. Furthermore, we prove that with certain bounded data, stable minimal models with klt singularities form a bounded family.

1. Introduction

We work over an algebraically closed field $k$ of characteristic zero.  

Boundedness properties of algebraic varieties and singularities have been extensively studied in recent years. Regarding algebraic varieties, such as canonically polarized varieties, polarized Calabi-Yau varieties, and Fano varieties, proving boundedness properties is the first step of constructing their potential moduli spaces, see [HMX14, HX15, HMX18, Bir19, Bir21b, Bir21a, Bir22b, Bir23a], etc. Moreover, they are also essential tools to prove effective birationalities and effective Iitaka fibrations of algebraic varieties in higher dimensional birational geometry, see [HMX14, BZ16, Bir19, Bir23a, CHL23], etc. As for singularities, Xu and Zhuang proved boundedness of K-semistable log Fano cone singularities recently, and it is a crucial step to prove discreteness of local volumes of klt singularities, see [HLQ23, Zhu23, XZ24, Zhu24], etc.

Since the boundedness results of canonically polarized varieties and polarized Calabi-Yau varieties have been established, it remains to investigate algebraic varieties with intermediate Kodaira dimension. Recent work related to this aspect can be found in [FS20, FHS21, Bir21a, Bir22b, Jia22, HH23, Jia23, Fil24, Li24a], etc. In the absence of a natural polarization, unlike canonically polarized varieties, we need to add a polarization. A suitable option is given by Birkar. He defines stable minimal models to be such varieties plus polarization, which generalizes both KSBA-stable varieties and polarized Calabi-Yau varieties. The main purpose of this article is to study boundedness properties of stable minimal models with klt singularities. Here we recall the definition of klt stable minimal models. Note that in general stable minimal models can be defined in slc case.

Definition 1.1.

(Klt stable minimal models, [Bir22b]) A klt stable minimal model $(X,B),A$ consists of $(X,B)$ and an $\mathbb{R}$-divisor $A\geq 0$ where

• $(X,B)$ is a projective klt pair,

• $K_{X}+B$ is semi-ample defining a contraction $f:X\to Z$, and

• $K_{X}+B+tA$ is ample for some $t>0$, i.e. $A$ is ample over $Z$.

Moreover, if in addition $K_{X}+B+A$ is ample, then we call $(X,B),A$ a klt strongly stable minimal model.

For the motivation and examples of stable minimal models, we recommend readers to [Bir22b, Kol23] and the references therein.

Next we give the definition of families of stable minimal models with certain data.

Definition 1.2.

(Families of klt stable minimal models, [Bir22b]) Let $d\in\mathbb{N}$, $u,v\in\mathbb{R}^{>0}$, and $\Phi\subset\mathbb{R}^{\geq 0}$.

1. A $(d,\Phi)$-klt stable minimal model is a klt stable minimal model $(X,B),A$ such that

   • $\dim X=d$, and

   • $B,A\in\Phi$, which means that the coefficients of $B$ and $A$ are in $\Phi$.

   Let ${\mathcal{S}}_{klt}(d,\Phi)$ denote the set of all $(d,\Phi)$-klt stable minimal models. Denote by ${\mathcal{S}}{\mathcal{S}}_{klt}(d,\Phi)\subset{\mathcal{S}}_{klt}(d,\Phi)$ the subset of all klt strongly stable minimal models.

2. A $(d,\Phi,\leq u,v)$-klt stable minimal model is a $(d,\Phi)$-klt stable minimal model $(X,B),A$ such that

   • $\operatorname{vol}(A|_{F})\leq u$, where $F$ is a general fiber of $f:X\to Z$, and

   • $\operatorname{Ivol}(K_{X}+B)=v$ (see Definition 2.6 for the definition of Iitaka volumes of $\mathbb{R}$-divisors).

   Let ${\mathcal{S}}_{klt}(d,\Phi,\leq u,v)$ consist of all $(d,\Phi,\leq u,v)$-klt stable minimal models. Similarly define $(d,\Phi,\leq u,\leq v)$-klt stable minimal model and ${\mathcal{S}}_{klt}(d,\Phi,\leq u,\leq v)$ by replacing the condition “$\operatorname{Ivol}(K_{X}+B)=v$” with “$\operatorname{Ivol}(K_{X}+B)\leq v$”.

3. When $0$ is not an accumulation point of $\Phi$ (e.g. when $\Phi$ is DCC), we say that a subset $\mathcal{E}\subseteq{\mathcal{S}}_{klt}(d,\Phi)$ forms a bounded family if there is a positive integer $r$ such that for each $(X,B),A\in\mathcal{E}$, there is a very ample divisor $H$ on $X$ such that $H^{d}\leq r$ and $(K_{X}+B+A)\cdot H^{d-1}\leq r$.

Given a klt stable minimal model $(X,B),A\to Z$ in the family ${\mathcal{S}}_{klt}(d,\Phi,\leq u,v)$ with fixed $d,\Phi,u,v$, we can prove that the base $Z$ is in a bounded family by Theorem 3.3 and [Bir21a, Theorem 1.4]. And the general fiber $F$ is also in a bounded family by [Bir23a, Theorem 6.2]. It is natural to ask whether or not the total space $(X,B)$ is in a bounded family.

Conjecture 1.3.

Let $d\in\mathbb{N}$, $u,v\in\mathbb{R}^{>0}$, and $\Phi\subset\mathbb{R}^{\geq 0}$ be a DCC set. Then ${\mathcal{S}}_{klt}(d,\Phi,\leq u,v)$ is a bounded family.

Jiao proved that if $u,v\in\mathbb{Q}^{>0}$, and $\Phi\subset\mathbb{Q}^{\geq 0}$, then ${\mathcal{S}}_{klt}(d,\Phi,u,v)$ is a birationally bounded family (cf. [Jia22, Theorem 1.2]). Note that ${\mathcal{S}}_{klt}(d,\Phi,u,v)$ is defined similarly to ${\mathcal{S}}_{klt}(d,\Phi,\leq u,v)$ by replacing the condition “$\operatorname{vol}(A|_{F})\leq u$” with “$\operatorname{vol}(A|_{F})=u$”. Moreover, in [HH23, Theorem 1.4], Hashizume and Hattori proved the $\mathbb{Q}$-coefficient version of Conjecture 1.3, in the case that $\operatorname{vol}(A|_{F})$ is fixed, and the Iitaka dimension of stable minimal models is one, that is, $(X,B),A\to Z\in{\mathcal{S}}_{klt}(d,\Phi,u,v)$ with $\dim Z=1$.

In [Bir21a, Theorem 1.9], Birkar proved $\mathbb{Q}$-coefficient version of Conjecture 1.3 for klt strongly stable minimal models $(X,B),A$ with additional conditions that $\operatorname{vol}(A|_{F})$ is fixed, and $\operatorname{vol}(K_{X}+B+A)$ is bounded from above (note that the notation “${\mathcal{S}}_{klt}(d,\Phi,u,v,<w)$” in [Bir21a, Theorem 1.9] represents the family of klt strongly stable minimal models defined in [Bir22b] and this article). Therefore, we can expect that [Bir21a, Theorem 1.9] also holds for klt stable minimal models. The following conjecture is a weak version of Conjecture 1.3.

Conjecture 1.4.

Let $d\in\mathbb{N}$, $u,v,w\in\mathbb{R}^{>0}$, and $\Phi\subset\mathbb{R}^{\geq 0}$ be a DCC set. Let $(X,B),A\in{\mathcal{S}}_{klt}(d,\Phi,\leq u,v)$ satisfy that $\operatorname{vol}(K_{X}+B+A)<w$. Then the set of such $(X,B),A$ forms a bounded family.

In [Bir22b], Birkar proved boundedness of $\mathbb{Q}$-coefficient slc stable minimal models $(X,B),A$ of dimension $d$ assuming that the intersection number $(K_{X}+B)^{i}\cdot A^{d-i}$ is fixed for any $0\leq i\leq d$, see [Bir22b, Theorem 1.12, Lemma 4.12]. In light of his result, we prove a special case of Conjecture 1.3.

Theorem 1.5.

Let $d\in\mathbb{N}$, $u,v,w\in\mathbb{R}^{>0}$, and $\Phi\subset\mathbb{R}^{\geq 0}$ be a DCC set. Let $(X,B),A\in{\mathcal{S}}_{klt}(d,\Phi,\leq u,v)$ satisfy that the intersection number $(K_{X}+B)^{i}\cdot A^{d-i}\leq w$ for any $0\leq i\leq d$. Then the set of such $(X,B),A$ forms a bounded family.

Note that the condition on $\operatorname{vol}(A|_{F})$ can be removed in Theorem 1.5 (see Remark 5.2).

The main difficulty of the proof comes from $\mathbb{R}$-coefficients, which is not dealt in [Bir21a, Bir22b]. We will explain this more precisely in the sketch of proofs. Indeed, Birkar expected that [Bir22b, Theoerm 1.12, Theorem 1.14] could be generalized to the real coefficient case (cf. [Bir22b, Subsection 11.11]). Theorem 1.5 confirms that $\mathbb{R}$-coefficient version of [Bir22b, Theoerm 1.12] holds for klt stable minimal models. However, our method can not be applied to the slc case.

One of the key steps of the proof of Theorem 1.5 is controlling the singularities of klt stable minimal models in ${\mathcal{S}}_{klt}(d,\Phi,\leq u,v)$ uniformly.

Theorem 1.6.

Let $d\in\mathbb{N}$, $u,v\in\mathbb{R}^{>0}$, and $\Phi\subset\mathbb{R}^{\geq 0}$ be a DCC set. Then there exists $\epsilon\in\mathbb{R}^{>0}$ satisfying the following.

If $(X,B),A\in{\mathcal{S}}_{klt}(d,\Phi,\leq u,v)$, then $(X,B)$ is $\epsilon$-lc.

In light of Theorem 1.6, if we restrict ourselves to $\epsilon$-lc stable minimal models for some fixed $\epsilon\in\mathbb{R}^{>0}$, then in Theorem 1.5 the condition “$\operatorname{Ivol}(K_{X}+B)=v$” can be replaced with “$\operatorname{Ivol}(K_{X}+B)\leq v$”. However, in this case, $\Phi$ should be a finite set by technical reasons.

Theorem 1.7.

Let $d\in\mathbb{N}$, $\epsilon,u,v,w\in\mathbb{R}^{>0}$, and $\Phi\subset\mathbb{R}^{\geq 0}$ be a finite set. Let $(X,B),A\in{\mathcal{S}}_{klt}(d,\Phi,\leq u,\leq v)$ satisfy that $(X,B)$ is $\epsilon$-lc, and the intersection number $(K_{X}+B)^{i}\cdot A^{d-i}\leq w$ for any $0\leq i\leq d$. Then the set of such $(X,B),A$ forms a bounded family.

Sketch of proofs

We start with Theorem 1.6. Let $(X,B),A\in{\mathcal{S}}_{klt}(d,\Phi,\leq u,v)$. Let $f:X\to Z$ be a contraction defined by the semi-ample $\mathbb{R}$-divisor $K_{X}+B$. First we generalize the effective adjunction formula in [Bir21a, Lemma 7.4] to the $\mathbb{R}$-coefficient case (see Theorem 3.3). The main new tool of proving Theorem 3.3 is the uniform rational polytope for adjunction formula (cf. [HLX23, Theorem 3.3]).

Next, by Theorem 3.3, there is an adjunction formula $K_{X}+B\sim_{\mathbb{R}}f^{*}(K_{Z}+B_{Z}+M_{Z})$ such that $(Z,B_{Z}+M_{Z})\in{\mathcal{F}}_{gklt}(\dim Z,\Psi,v)$ for some fixed DCC set $\Psi\subset\mathbb{R}^{\geq 0}$ (see Definition 2.13 for the definition of ${\mathcal{F}}_{gklt}(\dim Z,\Psi,v)$). Then by [Bir21a, Theorem 1.5], there exists fixed $\delta\in\mathbb{R}^{>0}$ such that $(Z,B_{Z}+M_{Z})$ is generalized $\delta$-lc.

Take a prime divisor $D$ over $X$. If $D$ is horizontal over $Z$, then $D$ determines a prime divisor $S$ over the general fiber $F$ of $f:X\to Z$. Since $(F,B_{F})$ is a klt log Calabi-Yau pair, and $B_{F}\in\Phi$, then $(F,B_{F})$ is $\tau$-lc for some fixed $\tau\in\mathbb{R}^{>0}$ by [Bir19, Lemma 2.48]. Hence in this case, $a(D,X,B)=a(S,F,B_{F})\geq\tau$. On the other hand, if $D$ is vertical over $Z$, take resolutions $\pi:{X^{\prime}}\to X$ and $\mu:{Z^{\prime}}\to Z$ such that ${f^{\prime}}:{X^{\prime}}\dasharrow{Z^{\prime}}$ is a morphism, $D$ is a prime divisor on ${X^{\prime}}$ and $E={f^{\prime}}(D)$ is a prime divisor on ${Z^{\prime}}$. Let $K_{{X^{\prime}}}+{B^{\prime}}=\pi^{*}(K_{X}+B)$. By the adjunction formula, $({X^{\prime}},{B^{\prime}}+\delta{f^{\prime}}^{*}E)$ is lc over the generic point of $E$, hence $a(D,X,B)=a(D,{X^{\prime}},{B^{\prime}})\geq 1-\delta$. Choose $\epsilon=\min\{\tau,\delta\}$, and we finish the proof.  

Next we move on to Theorem 1.5. Let $(X,B),A\in{\mathcal{S}}_{klt}(d,\Phi,\leq u,v)$ satisfy that the intersection numbers $(K_{X}+B)^{i}\cdot A^{d-i}\leq w$. By Theorem 1.6, we can assume that $(X,B)$ is $\epsilon$-lc for some fixed $\epsilon\in\mathbb{R}^{>0}$. As in the proof of [Bir22b, Theorem 4.1], the key point of the proof is to find a fixed $\lambda\in\mathbb{R}^{>0}$ such that $(X,B+\lambda A)$ is lc and $K_{X}+B+\lambda A$ is nef, because then $(X,B+\frac{\lambda}{2}A)$ is $\frac{\epsilon}{2}$-lc, $K_{X}+B+\frac{\lambda}{2}A$ is ample, and $\operatorname{vol}(K_{X}+B+\frac{\lambda}{2}A)$ is bounded from above by the upper bound of the intersection numbers, hence $(X,B),A$ belongs to a bounded family by [HMX14, Theorem 1.3, Theorem 1.6].

In the proof of [Bir22b, Theorem 4.1], Birkar showed that there is a fixed $p\in\mathbb{N}$ and an adjunction formula $K_{X}+B\sim_{\mathbb{R}}f^{*}(K_{Z}+B_{Z}+M_{Z})$, such that $L:=p(K_{Z}+B_{Z}+M_{Z})$ is very ample. Then take a general member $T$ of $|L|$, and let $S$ be the pullback of $T$ on $X$. There is a new stable minimal model $(S,B_{S}),A_{S}:=A|_{S}$ and a fibration $S\to T$. The intersection numbers $(K_{S}+B_{S})^{i}\cdot A_{S}^{d-1-i}$ are controlled by $(K_{X}+B)^{i}\cdot A^{d-i}$. Therefore, by induction $(S,B_{S}),A_{S}$ is bounded. Then using [Bir22b, Lemma 4.7], the inversion of adjunction formula, and the length of extremal rays, we can find a fixed $\lambda\in\mathbb{R}^{>0}$ such that $(X,B+\lambda A)$ is lc, and $K_{X}+B+\lambda A$ is nef.

However, in $\mathbb{R}$-coefficient case, $K_{Z}+B_{Z}+M_{Z}$ is not a $\mathbb{Q}$-divisor, hence there is no such $p\in\mathbb{N}$ that makes $p(K_{Z}+B_{Z}+M_{Z})$ very ample. An alternative way is to decompose $K_{Z}+B_{Z}+M_{Z}$ uniformly, i.e., $K_{Z}+B_{Z}+M_{Z}=\sum_{i=1}^{l}r_{i}(K_{Z}+B_{i,Z}+M_{i,Z})$ such that $r_{i}\geq 0$, $\sum_{i=1}^{l}r_{i}=1$, and there is a fixed $p\in\mathbb{N}$ such that $L_{i}:=p(K_{Z}+B_{i,Z}+M_{i,Z})$ is very ample for any $i$ (see Theorem 2.16). But if we take a general member $T$ of $|L_{1}|$, and denote by $(S,B_{S}),A_{S}\to T$ the induced stable minimal model, then there is no way to control the upper bound of the intersection numbers $(K_{S}+B_{S})^{j}\cdot A_{S}^{d-1-j}$ for $0\leq j\leq d-1$, which means that $\operatorname{vol}(K_{S}+B_{S}+A_{S})$ cannot be controlled. Hence we cannot use induction in this way.

To solve this problem, our new idea is to consider the image of non-lc locus of $(X,B+tA)$ in $Z$, which we denote by $P(t)$, i.e., $P(t)=f(\operatorname{Nlc}(X,B+tA))$, and then proving the following two statements inductively:

1. There exists a fixed $\lambda_{k}\in\mathbb{R}^{>0}$ such that $\dim P(\lambda_{k})\leq\dim Z-k$.

2. There exists a fixed $\mu_{k}\in\mathbb{R}^{>0}$ such that $K_{X}+B+\mu_{k}A$ is nef in dimension $k-1$ over $Z$ (see Definition 2.17 for the definition of relatively nefness).

Let $F$ be the general fiber of $X\to Z$, and $(F,B_{F}),A_{F}$ be the restriction of $(X,B),A$ on $F$. Then $(F,B_{F}),A_{F}$ is a polarized log Calabi-Yau pair. By [Bir21a, Theoem 6.2], $(F,B_{F}),A_{F}$ is bounded. By [Bir21b, Theorem 1.8], there is a fixed $\lambda_{1}\in\mathbb{R}^{>0}$ such that $(F,B_{F}+\lambda_{1}A_{F})$ is lc. By the inversion of adjunction [Kaw07, Hac14], $\dim P(\lambda_{1})\leq\dim Z-1$. Since $K_{X}+B$ is semi-ample and $A$ is ample over $Z$, automatically $K_{X}+B+A$ is nef in dimension $0$ over $Z$. Therefore, the two statements hold for $k=1$.

When $k\geq 1$, assume there is a fixed $\lambda_{k}\in\mathbb{R}^{>0}$ such that $\dim P(\lambda_{k})\leq\dim Z-k$. Let $T$ be a general complete intersection of dimension $k$, and $S$ be the pullback of $T$ on $X$. The adjunction formula gives a pair $(S,B_{S}+\lambda_{k}A_{S})$ on $S$. By [FH23, Theorem 1.2, Corollary 1.4], we have $\operatorname{Nlc}(S,B_{S}+\lambda_{k}A_{S})=S\cap\operatorname{Nlc}(X,B+\lambda_{k}A)$. Since $\dim P(\lambda_{k})\leq\dim Z-k$, we deduce that $\operatorname{Nlc}(S,B_{S}+\lambda_{k}A_{S})$ is contained in finitely many fibers of $S\to T$. By the standard method of using the length of extremal rays, there is a fixed $\mu_{k+1}\in\mathbb{R}^{>0}$, such that $K_{S}+B_{S}+\mu_{k+1}A_{S}$ is globally nef. Thus $K_{X}+B+\mu_{k+1}A$ is nef over $Z$ in dimension $k$.

On the other hand, assume there is a fixed $\mu_{k}\in\mathbb{R}^{>0}$ such that $K_{X}+B+\mu_{k}A$ is nef in dimension $k-1$ over $Z$. First by Theorem 3.3, we construct an adjunction formula $K_{X}+B\sim_{\mathbb{R}}f^{*}(K_{Z}+B_{Z}+M_{Z})$, and decompose $K_{Z}+B_{Z}+M_{Z}$ uniformly, i.e., $K_{Z}+B_{Z}+M_{Z}=\sum_{i=1}^{l}r_{i}(K_{Z}+B_{i,Z}+M_{i,Z})$ such that $r_{i}\geq 0$, $\sum_{i=1}^{l}r_{i}=1$, and there is a fixed $p\in\mathbb{N}$ such that $L_{i}:=p(K_{Z}+B_{i,Z}+M_{i,Z})$ is very ample for any $i$. Then there exists a fixed $m\in\mathbb{N}$ such that $m(K_{Z}+B_{Z}+M_{Z})-L_{1}$ is nef. Take $T$ as a general complete intersection of dimension $k-1$ cut by hypersurfaces in $|L_{1}|$. Let $S$ be the pullback of $T$ on $X$. The adjunction formula gives a pair $(S,B_{S}+\mu_{k}A_{S})$. By the definition of relative nefness in dimension $k-1$, $K_{S}+B_{S}+\mu_{k}A_{S}$ is nef. Decreasing $\mu_{k}$, we can assume that $K_{S}+B_{S}+\mu_{k}A_{S}$ is ample. Therefore, $(S,B_{S}),\mu_{k}A_{S}$ is a strongly stable minimal model. Although the intersection numbers $(K_{S}+B_{S})^{i}\cdot A_{S}^{\dim S-i}$ are still not controlled, we can control $\operatorname{vol}(K_{S}+B_{S}+\mu_{k}A_{S})$, because $m(K_{Z}+B_{Z}+M_{Z})-L_{1}$ is nef, and $K_{X}+B+\mu_{k}A$ is nef in dimension $k-1$ over $Z$. Therefore, by some calculations, we prove that $\operatorname{Ivol}(K_{S}+B_{S})$ is in a fixed finite set and $\operatorname{vol}(K_{S}+B_{S}+\mu_{k}A_{S})$ is bounded from above. By the lower bound of lc thresholds in strongly stable minimal models (see Theorem 5.1), there is a fixed $\lambda_{k}\in\mathbb{R}^{>0}$ such that $(S,B_{S}+\lambda_{k}A_{S})$ is lc. By the inversion of adjunction [Kaw07, Hac14], we conclude that $P(\lambda_{k})\cap T=\emptyset$. Note that $T$ is a general complete intersection of dimension $k-1$, hence $\dim P(\lambda_{k})\leq s-k$.

Applying induction on $k$, we can find such $\lambda$ that $(X,B+\lambda A)$ is lc outside from finitely many fibers of $f:X\to Z$ and $K_{X}+B+\lambda A$ is nef. Applying the standard method of using the length of extremal rays again, decreasing $\lambda$, we conclude that $(X,B+\lambda A)$ is globally lc. Therefore, we finish the proof of Theorem 1.5.  

At last, we give a brief sketch of the proof of Theorem 1.7. Let $(X,B),A\in{\mathcal{S}}(d,\Phi,\leq u,\leq v)$ satisfy that the intersection numbers $(K_{X}+B)^{i}\cdot A^{d-i}\leq w$. Let $f:X\to Z$ be the contraction defined by the semi-ample $\mathbb{R}$-divisor $K_{X}+B$. By Theorem 3.2, we construct an adjunction formula $K_{X}+B\sim_{\mathbb{R}}f^{*}(K_{Z}+B_{Z}+M_{Z})$ such that $(Z,B_{Z}+M_{Z})\in{\mathcal{F}}_{gklt}(\dim Z,J,\leq v)$ for some fixed finite set $J\subset\mathbb{R}^{\geq 0}$, and $(Z,B_{Z}+M_{Z})$ is generalized $\delta$-lc for some fixed $\delta\in\mathbb{R}^{>0}$. Then applying the proof of [Fil20, Theorem 1.3], we show that $\operatorname{vol}(K_{Z}+B_{Z}+M_{Z})$ is in a fixed finite set (see Lemma 5.3). Thus Theorem 1.7 is a consequence of Theorem 1.5.  

Acknowledgements

The author expresses his gratitude to his advisor Meng Chen for great support and encouragement. He would like to thank **gjun Han for very effective discussions and valuable suggestions. He would also like to thank Xiaowei Jiang, Mengchu Li and Hexu Liu for giving useful comments.

2. Preliminaries

2.1. Divisors

Definition 2.1 (ACC sets and DCC sets).

Let $\Phi\subset\mathbb{R}^{>0}$. We say $\Phi$ satisfies the ascending chain condition (ACC) if it does not contain an infinite strictly increasing sequence. We say $\Phi$ satisfies the descending chain condition (DCC) if it does not contain an infinite strictly decreasing sequence.

Definition 2.2 (Coefficients of divisors).

Let $\delta\in\mathbb{R}^{>0}$, $\Phi\subset\mathbb{R}^{>0}$, and $D$ be an $\mathbb{R}$-divisor on a normal variety $X$. Write $D=\sum a_{i}D_{i}$ where $D_{i}$’s are different Weil divisors on $X$. We denote $D\in\Phi$ if $a_{i}\in\Phi$ for any $i$, and denote $D\geq\delta$ (resp. $D\leq\delta$) if $a_{i}\geq\delta$ (resp. $a_{i}\leq\delta$) for any $i$.

Definition 2.3 (Contractions).

We say a projective morphism $f:X\to Z$ between normal varieties is a contraction if $f_{*}{\mathcal{O}}_{X}={\mathcal{O}}_{Z}$. In particular, $f$ has connected fibers.

Definition 2.4 (Horizontal part and vertical part of divisors).

Let $f:X\to Z$ be a contraction between normal varieties. Let $D$ be an $\mathbb{R}$-divisor on $X$. We say that $D$ is vertical over $Z$ if $f(\operatorname{Supp}D)$ is a proper subset of $Z$. We say that $D$ is horizontal over $Z$ if the induced map $\operatorname{Supp}D\to Z$ is dominant.

Given an $\mathbb{R}$-divisor $D$ on $X$, there is a unique decomposition $D=D^{h}+D^{v}$ such that

• $\operatorname{Supp}D^{h}$, $\operatorname{Supp}D^{v}$ have no common components,

• every component of $\operatorname{Supp}D^{h}$ is horizontal over $Z$, and

• $D^{v}$ is vertical over $Z$.

We call $D^{h}$ the horizontal part of $D$ and $D^{v}$ the vertical part of $D$ with respect to $f:X\to Z$.

Definition 2.5 (Invariant Iitaka dimensions, [Cho08, Definition 2.2.1]).

Let $D$ be an $\mathbb{R}$-divisor on a projective normal variety $X$. We define the invariant Iitaka dimension $\kappa_{\iota}(X,D)$ as follows. If $|D|_{\mathbb{R}}\neq\emptyset$, let $\kappa_{\iota}(X,D)=\kappa(X,{D^{\prime}})$ for some $\mathbb{R}$-divisor ${D^{\prime}}\in|D|_{\mathbb{R}}$. Here, the right hand side is the usual Iitaka dimension of ${D^{\prime}}$. Note that in this case $\kappa_{\iota}(X,D)$ does not depend on the choice of ${D^{\prime}}$ by [Cho08, Corollary 2.1.4]. If $|N|_{\mathbb{R}}=\emptyset$, let $\kappa_{\iota}(X,D)=-\infty$.

Next we generalize the definition of Iitaka volume in [Li24a] to $\mathbb{R}$-divisors. It is also called pseudo-volume in [Cho08].

Definition 2.6.

(Iitaka volumes of $\mathbb{R}$-divisors, [Li24a, Definition 1.1] (see also [Cho08, Definition 2.1.1])) Let $D$ be an $\mathbb{R}$-divisor on a projective normal variety $X$ with invariant Iitaka dimension $\kappa_{\iota}(D)$. We define Iitaka volume $\operatorname{Ivol}(D)$ of $D$ as follows. If $\kappa_{\iota}(D)\geq 0$, let ${D^{\prime}}$ be an element of $|D|_{\mathbb{R}}$, and then

$$\operatorname{Ivol}(D):=\limsup_{m\to\infty}\frac{h^{0}(\lfloor{m{D^{\prime}}}\rfloor)}{m^{\kappa_{\iota}(D)}/\kappa_{\iota}(D)!}.$$

Note that in this case $\operatorname{Ivol}(D)$ does not depend on the choice of ${D^{\prime}}$ by [Cho08, Corollary 2.1.4]. If $\kappa_{\iota}(D)=-\infty$, then let $\operatorname{Ivol}(D)=0$.

If $f:X\to Z$ is a contraction between two normal varieties and $D\sim_{\mathbb{R}}f^{*}L$ for some big $\mathbb{R}$-divisor $L$ on $Z$, then $\operatorname{Ivol}(D)=\operatorname{vol}(L)$.

Definition 2.7 (b-divisors).

Let $X$ be a normal variety. A b-divisor M is a collection of $\mathbb{R}$-divisors $M_{Y}$ on $Y$ for each birational contraction $Y\to X$ from a normal variety and satisfies the following: if ${Y^{\prime}}\to Y\to X$ are birational contractions, then the pushdown of $M_{{Y^{\prime}}}$ on $Y$ is $M_{Y}$.

We say a b-divisor M is b-$\mathbb{R}$-Cartier if there is a birational contraction $Y\to X$ such that

• $M_{Y}$ is $\mathbb{R}$-Cartier, and

• if ${Y^{\prime}}\to Y$ is a birational contraction, then $M_{{Y^{\prime}}}$ is the pullback of $M_{Y}$.

In this case, we say that the b-$\mathbb{R}$-Cartier divisor M descends on $Y$ and is represented by $M_{Y}$. Note that the representation is not unique, if ${Y^{\prime}}\to X$ is another birational contraction and $M_{{Y^{\prime}}}$ is an $\mathbb{R}$-Cartier divisor on ${Y^{\prime}}$, then $M_{Y}$ and $M_{{Y^{\prime}}}$ define the same b-$\mathbb{R}$-Cartier b-divisor if the pullbacks of $M_{Y}$ and $M_{{Y^{\prime}}}$ to a common resolution of $Y$ and ${Y^{\prime}}$ are the same.

2.2. (Generalized) Pairs and Singularities

Definition 2.8 (Pairs and Singularities).

Let $X$ be a normal quasi-projective variety and $B$ be an $\mathbb{R}$-divisor on $X$. We say that $(X,B)$ is a sub-pair if $K_{X}+B$ is $\mathbb{R}$-Cartier. If in addition $B\geq 0$, then $(X,B)$ is a pair.

Let $D$ be a prime divisor over $X$, i.e. there is a birational model over $X$ such that $D$ is a prime divisor on this model. Let $W\to X$ be a log resolution of a sub-pair $(X,B)$ so that $D$ is a prime divisor on $W$. Let $K_{W}+B_{W}$ be the pullback of $K_{X}+B$. Define the log discrepancy of the prime divisor $D$ as $1-\mu_{D}B_{W}$, where $\mu_{D}B_{W}$ means the coefficient of $D$ in $B_{W}$. We denote the log discrepancy of $D$ with respect to $(X,B)$ as $a(D,X,B)$.

We say that a sub-pair $(X,B)$ is sub-klt (resp. sub-lc, sub-$\epsilon$-lc) if $a(D,X,B)>0$ (resp. $a(D,X,B)\geq 0$, $a(D,X,B)\geq\epsilon$) for every prime divisor $D$ over $X$. If $(X,B)$ is a pair, then we remove the sub and say the pair is klt (resp. lc, $\epsilon$-lc).

Let $(X,B)$ be a sub-pair. A non-klt place (resp. non-lc place) is a prime divisor $D$ over $X$ such that $a(D,X,B)\leq 0$ (resp. $a(D,X,B)<0$). A non-klt center (resp. non-lc center) is the image of a non-klt place (resp. non-lc place). The non-klt locus (resp. non-lc locus) of $(X,B)$ is the union of all non-klt places (resp. non-lc places) of $(X,B)$ and denoted as $\operatorname{Nklt}(X,B)$ (resp. $\operatorname{Nlc}(X,B)$).

Definition 2.9 (Generalized pairs and Singularities, [BZ16, Definition 1.4, Definition 4.1]).

A generalized sub-pair consists of

• a normal variety $X$ equipped with projective morphisms $X\to Z$,

• an $\mathbb{R}$-divisor $B$ on $X$, and

• a b-$\mathbb{R}$-Cartier b-divisor over $X$, represented by a projective birational morphism $f:{X^{\prime}}\to X$ and an $\mathbb{R}$-Cartier $\mathbb{R}$-divisor ${M^{\prime}}$ on ${X^{\prime}}$

such that ${M^{\prime}}$ is nef over $Z$ and $K_{X}+B+M$ is $\mathbb{R}$-Cartier, where $M:=f_{*}{M^{\prime}}$. If in addition $B\geq 0$, then $(X,B+M)$ is a generalized pair. Since a b-$\mathbb{R}$-Cartier b-divisor is defined birationally, in practice we will often replace ${X^{\prime}}$ with a higher model and replace ${M^{\prime}}$ with its pullback. In this article, we omit $Z$ but say the generalized pair is projective when $Z$ is a point.

Let $D$ be a prime divisor over $X$. Replace ${X^{\prime}}$ with a log resolution of $(X,B)$ such that $D$ is a prime divisor on ${X^{\prime}}$. We can write

$$K_{{X^{\prime}}}+{B^{\prime}}+{M^{\prime}}=\pi^{*}(K_{X}+B+M).$$

Then we define the generalized log discrepancy of $D$ to be $a(D,X,B+M)=1-\mu_{D}{B^{\prime}}$.

We say that $(X,B+M)$ is generalized klt (resp. generalized lc, generalized $\epsilon$-lc) if $a(D,X,B+M)>0$ (resp. $a(D,X,B+M)\geq 0$, $a(D,X,B+M)\geq\epsilon$) for every prime divisor $D$ over $X$.

2.3. Adjunction formulas for fiber spaces

We recall the construction of adjunction formulas for fiber spaces based on [Kaw98, Amb99, Amb05]. Let $(X,B)$ be a projective sub-pair and let $f:X\to Z$ be a contraction between quasi-projective normal varieties with $\dim Z>0$ such that $(X,B)$ is sub-lc near the generic fiber of $f$ and $K_{X}+B\sim_{\mathbb{R}}0/Z$.

Fix a prime divisor $D$ on $Z$ and let $t_{D}$ be the lc threshold of $f^{*}D$ with respect to $(X,B)$ over the generic point of $D$, i.e. $t_{D}$ is the largest number so that $(X,B+t_{D}f^{*}D)$ is sub-lc over the generic point of $D$. Now let $b_{D}=1-t_{D}$ and by basic argument there are finitely many prime divisors ${D^{\prime}}$ on $Z$ such that $b_{D^{\prime}}\neq 0$. Hence we can define $B_{Z}=\sum b_{D}D$, where the sum runs over all the prime divisors on $Z$.

Since $K_{X}+B\sim_{\mathbb{R}}0/Z$, there is an $\mathbb{R}$-Cartier $\mathbb{R}$-divisor $L_{Z}$ on $Z$ such that $K_{X}+B\sim_{\mathbb{R}}f^{*}L_{Z}$. Let $M_{Z}=L_{Z}-(K_{Z}+B_{Z})$ and we have the following adjunction formula

$$K_{X}+B\sim_{\mathbb{R}}f^{*}(K_{Z}+B_{Z}+M_{Z}).$$

We call $B_{Z}$ the discriminant divisor and $M_{Z}$ the moduli divisor of $(X,B)$ with respect to $f:X\to Z$. Note that $B_{Z}$ is uniquely determined but $M_{Z}$ is determined only up to $\mathbb{R}$-linear equivalence.

Take a commutative diagram

such that $\mu$ and $\pi$ are birational contractions. Let $K_{{X^{\prime}}}+{B^{\prime}}$ be the pullback of $K_{X}+B$ on ${X^{\prime}}$ and similarly we can define a discriminant divisor $B_{{Z^{\prime}}}$ and $L_{{Z^{\prime}}}=\mu^{*}L_{Z}$ gives a moduli divisor $M_{{Z^{\prime}}}$ so that

$$K_{{X^{\prime}}}+{B^{\prime}}\sim_{\mathbb{R}}{f^{\prime}}^{*}(K_{{Z^{\prime}}}+B_{{Z^{\prime}}}+M_{{Z^{\prime}}}).$$

It is easy to see that $B_{Z}$ is the pushdown of $B_{{Z^{\prime}}}$ and $M_{Z}$ is the pushdown of $M_{{Z^{\prime}}}$. Therefore, $B_{Z}$ and $M_{Z}$ can be regarded as b-divisors.

The following lemma shows that when $(X,B)$ is lc over the generic point of $Z$, $(Z,B_{Z}+M_{Z})$ is a generalized pair.

Lemma 2.10.

(Adjunction formula for $\mathbb{R}$-coefficients, [JLX22, Theorem 2.23]) With the above notation and assumptions, suppose that $(X,B)$ is lc over the generic point of $Z$. Then $M_{{Z^{\prime}}}$ is nef on some high resolution ${Z^{\prime}}\to Z$, and $(X,B+M)$ is a generalized pair.

Here we recall the M^cKernan-Shokurov type conjecture which was proved by Birkar recently.

Lemma 2.11.

([Bir23b, Theorem 1.8]) Let $d\in\mathbb{N}$, and $u,v,\epsilon\in\mathbb{R}^{>0}$. Then there exists $\delta\in\mathbb{R}^{>0}$ depending only on $d,u,v,\epsilon$ satisfying the following.

Assume that

• $(X,B)$ is an $\epsilon$-lc pair,

• $f:X\to Z$ is a contraction and $\dim X-\dim Z\leq d$,

• $K_{X}+B\sim_{\mathbb{R}}0/Z$,

• $A$ is an effective $\mathbb{R}$-divisor on $X$ such that $A\geq u$, and

• $0<\operatorname{vol}(A|_{F})<v$ for the general fibers $F$ of $f$.

Then the generalized pair $(Z,B_{Z}+M_{Z})$ given by the adjunction formula

$$K_{X}+B\sim_{\mathbb{R}}f^{*}(K_{Z}+B_{Z}+M_{Z})$$

is generalized $\delta$-lc.

Proof.

Since $A\geq u$, we conclude that

$$0<\operatorname{vol}(A_{\operatorname{red}}|_{F})\leq\operatorname{vol}(\frac{1}{u}A|_{F})\leq\frac{v}{u^{\dim F}}$$

where $F$ is a general fiber of $f$.

Using approximation, we can write $B=\sum_{i=1}^{l}r_{i}B_{i}$ such that

• $\sum_{i=1}^{l}r_{i}=1$ and $r_{i}\geq 0$ for any $i$,

• $r_{i}$’s are $\mathbb{Q}$-linear independent, and

• $(X,B_{i})$ is an $\frac{\epsilon}{2}$-lc $\mathbb{Q}$-pair for any $i$.

Moreover, we have $K_{X}+B_{i}\sim_{\mathbb{Q}}0/Z$ by [HLS19, Lemma 5.3].

Let $D$ be a prime divisor over $Z$. Take a commutative diagram

such that $\mu$ and $\pi$ are birational contractions and $D$ is a prime divisor on ${Z^{\prime}}$. Write $K_{{X^{\prime}}}+{B^{\prime}}=\pi^{*}(K_{X}+B)$ and $K_{{X^{\prime}}}+{B^{\prime}_{i}}=\pi^{*}(K_{X}+B_{i})$. Let $t_{D}$ (resp. $t_{i,D}$) be the lc threshold of ${f^{\prime}}^{*}D$ with respect to $({X^{\prime}},{B^{\prime}})$ (resp. $({X^{\prime}},{B^{\prime}_{i}})$) over the generic point $\eta_{D}$ of $D$. Since $({X^{\prime}},{B^{\prime}_{i}}+t_{i,D}{f^{\prime}}^{*}D)$ is sub-lc over $\eta_{D}$, $({X^{\prime}},{B^{\prime}}+\sum_{i=1}^{l}r_{i}t_{i,D}{f^{\prime}}^{*}D)$ is sub-lc over $\eta_{D}$, hence $t_{D}\geq\sum_{i=1}^{l}r_{i}t_{i,D}$.

Applying [Bir23b, Theorem 1.8] to $(X,B_{i}),A_{\operatorname{red}}$, we deduce that there exists $\delta\in\mathbb{R}^{>0}$ depending only on $d,u,v,\epsilon$ such that $t_{i,D}\geq\delta$. Therefore,

$$t_{D}\geq\sum_{i=1}^{l}r_{i}t_{i,D}\geq\sum_{i=1}^{l}r_{i}\delta=\delta.$$

Hence the discriminant b-divisor $\mathbf{B}_{Z}$ has coefficients $\leq 1-\delta$ and $(Z,B_{Z}+M_{Z})$ is generalized $\delta$-lc. ∎

2.4. Bounded families

Definition 2.12 (Bounded families of couples and pairs).

A couple consists of a projective normal variety $X$ and a reduced divisor $D$ on $X$. We say that two couples $(X,D)$ and $({X^{\prime}},{D^{\prime}})$ are isomorphic if there is an isomorphism $X\to{X^{\prime}}$ map** $D$ onto ${D^{\prime}}$.

Let $\mathcal{P}$ be a set of couples. Assume that

• there exist finitely many projective morphisms $V^{i}\to T^{i}$ of varieties,

• $C^{i}$ is a reduced divisor on $V^{i}$, and

• for each $(X,D)\in\mathcal{P}$ there exists an $i$, a closed point $t\in T^{i}$ and an isomorphism $\phi:V^{i}_{t}\to X$ such that $(V^{i}_{t},C^{i}_{t})$ is a couple and $\phi_{*}C^{i}_{t}\geq D$.

Then we say that $\mathcal{P}$ is bounded. This is equivalent to say that there is a positive integer $r$ such that for each $(X,D)\in\mathcal{P}$, we can find a very ample divisor $A$ on $X$ such that $A^{\dim X}\leq r$ and $D\cdot A^{\dim X-1}\leq r$ (cf. [Bir19, Lemma 2.20]).

A set of projective pairs $(X,B)$ is said to be bounded if the $(X,\operatorname{Supp}B)$ form a bounded family of couples.

2.5. Families of generalized pairs

Definition 2.13 ([Bir21a, Definition 1.1]).

Let $d\in\mathbb{N}$ ,$\Phi\in\mathbb{R}^{\geq 0}$, and $v\in\mathbb{R}^{>0}$.

1. Let ${\mathcal{F}}_{gklt}(d,\Phi)$ be the set of projective generalized pairs $(X,B+M)$ with data ${X^{\prime}}\to X$ and ${M^{\prime}}$ such that

   • $(X,B+M)$ is generalized klt of dimension $d$,

   • $B\in\Phi$,

   • ${M^{\prime}}=\sum\mu_{i}{M^{\prime}_{i}}$ where ${M^{\prime}_{i}}$ is Cartier nef and $\mu_{i}\in\Phi$ for any $i$, and

   • $K_{X}+B+M$ is ample.

2. Let

   $${\mathcal{F}}_{gklt}(d,\Phi,v)\subseteq{\mathcal{F}}_{gklt}(d,\Phi)$$

   consists of those $(X,B+M)$ such that $\operatorname{vol}(K_{X}+B+M)=v$. Similarly, let

   $${\mathcal{F}}_{gklt}(d,\Phi,\leq v)\subseteq{\mathcal{F}}_{gklt}(d,\Phi)$$

   consists of those $(X,B+M)$ such that $\operatorname{vol}(K_{X}+B+M)\leq v$.

Here we give a lemma to show that if $(X,B+M)\in{\mathcal{F}}_{gklt}(d,\Phi,v)$, then we can control the Cartier index of any $\mathbb{Q}$-Cartier Weil divisor on $X$.

Lemma 2.14.

Let $d\in\mathbb{N}$, $v\in\mathbb{R}^{>0}$, and $\Phi\subset\mathbb{R}^{\geq 0}$ be a DCC set. Then there exists $N\in\mathbb{N}$ depending only on $d,\Phi,v$ such that for any $(X,B+M)\in{\mathcal{F}}_{gklt}(d,\Phi,v)$ and any $\mathbb{Q}$-Cartier Weil divisor $D$ on $X$, the Cartier index of $D$ divides $N$.

Proof.

Let $(X,B+M)\in{\mathcal{F}}_{gklt}(d,\Phi,v)$ and $D$ be a $\mathbb{Q}$-Cartier Weil divisor on $X$. By Step 7 of the proof of [Bir21a, Theorem 1.4], there is a boundary $\Theta$ on $X$ such that $(X,\Theta)$ is $\epsilon$-lc for some positive real number $\epsilon$ depending only on $d,\Phi,v$, and $(X,\Theta)$ belongs to a log bounded family $\mathcal{P}$. By [HLQ23, Theorem 1.10], There is a positive integer $N$ depending only on $\epsilon,\mathcal{P}$, hence depending only on $d,\Phi,v$, such that the Cartier index of $D$ divides $N$. ∎

2.6. Decomposition of $\mathbb{R}$-coefficient generalized pairs in ${\mathcal{F}}_{gklt}(d,\Phi,v)$

In this subsection, we decompose an $\mathbb{R}$-coefficient generalized pair $(X,B+M)\in{\mathcal{F}}_{gklt}(d,\Phi,v)$ into $\mathbb{Q}$-coefficient generalized pairs $(X,B_{i}+M_{i})$ such that a bounded multiple of $K_{X}+B_{i}+M_{i}$ is very ample.

Lemma 2.15.

Let $d\in\mathbb{N}$. Then there exists $m\in\mathbb{N}$ depending only on $d$ satisfying the following. Assume that

• $(X,B+M)$ is a generalized klt pair of dimension $d$,

• $L$ is an ample Cartier divisor on $X$, and

• $L-K_{X}-B-M$ is nef and big.

Then $mL$ is very ample.

Proof.

By the proof of [Xie22, Lemma 2.4], there exists an effective $\mathbb{R}$-divisor $\Delta$ such that $(X,\Delta)$ is klt and $L-K_{X}-\Delta$ is ample. Then by effective base point free theorem [Kol93, Theorem 1.1], $|mL|$ is base point free for some positive integer $m$ depending only on $d$. By effective very ampleness lemma [Fuj17, Lemma 7.1], replacing $m$ with a bounded multiple, we conclude that $mL$ is very ample. ∎

Theorem 2.16.

Let $d\in\mathbb{N}$, $v\in\mathbb{R}^{>0}$, and $I\subset\mathbb{R}^{\geq 0}$ be a finite set. Then there exists a finite set $J\subset\mathbb{R}^{\geq 0}$ and $p\in\mathbb{N}$ depending only on $d,I,v$ satisfying the following.

If $(X,B+M)\in{\mathcal{F}}_{gklt}(d,I,v)$, then we can decompose $K_{X}+B+M$ as follows:

$$K_{X}+B+M=\sum_{i=1}^{l}r_{i}(K_{X}+B_{i}+M_{i})$$

such that

• $\sum_{i=1}^{l}r_{i}=1$ and $r_{i}\in J$ for any $i$,

• $(X,B_{i}+M_{i})$ is a generalized klt pair with nef part ${M^{\prime}_{i}}$ on some high resolution ${X^{\prime}}\to X$ for any $i$, and

• $p(K_{X}+B_{i}+M_{i})$ is very ample and $p{M^{\prime}_{i}}$ is Cartier nef for any $i$.

Proof.

Given a generalized pair $(X,B+M)\in{\mathcal{F}}_{gklt}(d,I,v)$ with data ${X^{\prime}}\to X$ and ${M^{\prime}}$. By [Che23, Theorem 3.15] we can write

$$K_{X}+B+M=\sum_{i=1}^{l}r_{i}(K_{X}+B_{i}+M_{i})$$

such that

• $\sum_{i=1}^{l}r_{i}=1$ and $r_{i}\in J$, where $J\subset\mathbb{R}^{>0}$ is a finite set depending only on $d,I$,

• $(X,B_{i}+M_{i})$ is a generalized klt pair with nef part ${M^{\prime}_{i}}$ on ${X^{\prime}}$ for any $i$,

• ${M^{\prime}}=\sum_{i=1}^{l}r_{i}{M^{\prime}_{i}}$, and

• there exists a positive integer $p$ depending only on $d,I$ such that $p(K_{X}+B_{i}+M_{i})$ is integral, and $p{M^{\prime}_{i}}$ is Cartier nef for any $i$.

Note that $l\leq N:=\frac{1}{\min J}$, because $\sum_{i=1}^{l}r_{i}=1$. By Lemma 2.14, replacing $p$ with a bounded multiple we can assume that $p(K_{X}+B_{i}+M_{i})$ is Cartier. Now $p$ depends on $d,I,v$.

Consider the set

$$\Lambda:=\{\sum_{i=1}^{h}\frac{\nu_{i}n_{i}}{p}|n_{i}\geq-2dp,n_{i}\in\mathbb{Z},\nu_{i}\in J,h\leq N\}.$$

It is easy to see that $\Lambda$ is a DCC set, hence we can take $\delta:=\min\{\alpha>0|\alpha\in\Lambda\}$.

If $K_{X}+B_{i}+M_{i}$ is not nef for some $i$, let $R$ be a $(K_{X}+B_{i}+M_{i})$-negative extremal ray. Let $C$ be an extremal curve of $R$, which means that there exists an ample divisor $H$ such that

$$H\cdot C=\min\{H\cdot\Gamma|\;[\Gamma]\in R\}.$$

By the length of extremal ray for generalized pairs [HL22, Proposition 3.13, Lemma 3.5],

$$(K_{X}+B_{i}+M_{i})\cdot C\geq-2d$$

for $1\leq i\leq l$. Since $p(K_{X}+B_{i}+M_{i})$ is Cartier, we deduce that $p(K_{X}+B_{i}+M_{i})\cdot C$ is an integer in $[-2dp,\infty)$. Since $K_{X}+B+M$ is ample and

$$(K_{X}+B+M)\cdot C =\sum_{i=1}^{l}r_{i}(K_{X}+B_{i}+M_{i})\cdot C$$

$$=\sum_{i=1}^{l}\frac{r_{i}}{p}(p(K_{X}+B_{i}+M_{i})\cdot C)\in\Lambda,$$

hence $(K_{X}+B+M)\cdot C\geq\delta$. Therefore,

$$\left(\frac{\delta}{2d+\delta}(K_{X}+B_{i}+M_{i})+\frac{2d}{2d+\delta}(K_{X}+B+M)\right)\cdot C\geq 0.$$

This argument implies that

$$\frac{\delta}{2d+\delta}(K_{X}+B_{i}+M_{i})+\frac{2d}{2d+\delta}(K_{X}+B+M)$$

is nef. Now we take

$$K_{X}+\tilde{B_{i}}+\tilde{M_{i}}:=\frac{4d+\delta}{4d+2\delta}(K_{X}+B+M)+\frac{\delta}{4d+2\delta}(K_{X}+B_{i}+M_{i}),$$

then

$$K_{X}+B+M=\sum_{i=1}^{l}r_{i}(K_{X}+\tilde{B_{i}}+\tilde{M_{i}}).$$

Since $K_{X}+B+M$ is ample, we conclude that $K_{X}+\tilde{B_{i}}+\tilde{M_{i}}$ is also ample. Consider the convex hull $\mathcal{H}$ spanned by $K_{X}+\tilde{B_{i}}+\tilde{M_{i}}$, i.e.

$$\mathcal{H}:=\{\sum_{i=1}^{l}\lambda_{i}(K_{X}+\tilde{B_{i}}+\tilde{M_{i}})|\lambda_{i}\geq 0,\sum_{i=1}^{l}\lambda_{i}=1\}.$$

Since $K_{X}+B+M$ is an interior point of $\mathcal{H}$, we can choose $K_{X}+\overline{B}_{i}+\overline{M}_{i}\in\mathcal{H}$ such that

• $K_{X}+B+M=\sum_{i=1}^{l}\overline{r}_{i}(K_{X}+\overline{B}_{i}+\overline{M}_{i})$, where $\overline{r}_{i}$ belongs to a finite set $\overline{J}\subset\mathbb{R}^{\geq 0}$ depending only on $J,d,\delta$, hence depending only on $d,I,v$,

• $(X,\overline{B}_{i}+\overline{M}_{i})$ is a generalized klt pair with nef part $\overline{M}^{\prime}_{i}$ on ${X^{\prime}}$ for each $i$,

• $(K_{X}+\overline{B}_{i}+\overline{M}_{i})$ is ample for each $i$, and

• there exists a positive integer $\overline{p}$ depending only on $J,d,\delta,p$, hence depending only on $d,I,v$ such that $\overline{p}(K_{X}+\overline{B}_{i}+\overline{M}_{i})$ is integral and $\overline{p}\overline{M}^{\prime}_{i}$ is Cartier nef for any $i$.

By Lemma 2.14, replacing $\overline{p}$ with a bounded multiple we can assume that $\overline{p}(K_{X}+\overline{B}_{i}+\overline{M}_{i})$ is Cartier. By Lemma 2.15, replacing $\overline{p}$ again with a bounded multiple we can assume that $\overline{p}(K_{X}+\overline{B}_{i}+\overline{M}_{i})$ is very ample. Now replace $r_{i}$ with $\overline{r}_{i}$, $J$ with $\overline{J}$, $(X,B_{i}+M_{i})$ with $(X,\overline{B}_{i}+\overline{M}_{i})$, and $p$ with $\overline{p}$, and then we finish the proof. ∎

2.7. Relative nefness

Definition 2.17.

Let $s,k$ be integers such that $0\leq k\leq s$. Let $f:X\to Z$ be a contraction between projective normal varieties with $\dim Z=s$. Let $(X,B)$ be a pair. We say $K_{X}+B$ is nef in dimension $k$ over $Z$, if for any very ample divisors $H_{1},\cdots,H_{s-k}$ on $Z$, the following is satisfied.

Let $L_{i}$ be a general member of $|H_{i}|$ and $R_{i}=f^{-1}L_{i}$. Take $S=\cap_{i=1}^{s-k}R_{i}$ and write

$$K_{S}+B_{S}=(K_{X}+B+\sum_{i=1}^{s-k}R_{i})|_{S},$$

then $K_{S}+B_{S}$ is nef.

Note that if $K_{X}+B$ is nef over $Z$, then $K_{X}+B$ is nef in dimension $0$ over $Z$.

The following lemma will be used in the proof of Theorem 1.5.

Lemma 2.18.

Let $d,s,k$ be integers such that $0\leq k\leq s\leq d$. Assume that

• $f:X\to Z$ is a contraction between projective normal varieties with $\dim X=d$ and $\dim Z=s$,

• $(X,B)$ is a pair and $K_{X}+B$ is nef in dimension $k$ over $Z$,

• $H_{1},\cdots,H_{s-k}$ are very ample divisors on $Z$, and

• $N$ is a nef $\mathbb{R}$-divisor on $X$.

Then

$$(K_{X}+B+N+\sum_{i=1}^{s-k}f^{*}H_{i})^{d-s+k}\cdot f^{*}H_{1}\cdot\ldots\cdot f^{*}H_{s-k}\geq 0.$$

Proof.

By definition, if we take $L_{i}$ as a general member of $|H_{i}|$, $R_{i}=f^{-1}L_{i}$ and $S=\cap_{i=1}^{s-k}R_{i}$, then

$$K_{S}+B_{S}=(K_{X}+B+\sum_{i=1}^{s-k}R_{i})|_{S}$$

is nef, hence $K_{S}+B_{S}+N_{S}$ is nef, where $N_{S}=N|_{S}$. Therefore,

$$(K_{X}+B+N+\sum_{i=1}^{s-k}f^{*}H_{i})^{d-s+k}\cdot f^{*}H_{1}\cdot\ldots\cdot f^{*}H_{s-k}$$

$$= (K_{X}+B+N+\sum_{i=1}^{s-k}f^{*}L_{i})^{d-s+k}\cdot f^{*}L_{1}\cdot\ldots\cdot f^{*}L_{s-k}$$

$$= (K_{X}+B+N+\sum_{i=1}^{s-k}R_{i})^{d-s+k}\cdot R_{1}\cdot\ldots\cdot R_{s-k}$$

$$= (K_{S}+B_{S}+N_{S})^{d-s+k}\geq 0.$$

∎

3. Effective adjunction formula with real coefficients

In this section we extend the effective adjunction formula [Bir21a, Lemma 7.4] to the real coefficients case. The main new tool is uniform rational polytopes for canonical bundle formulas developed in [HLX23]. The effective adjunction formula is one of the main ingredients in the proof of Theorem 1.5 and Theorem 1.6.

3.1. Cartier index of moduli divisors

Given $q\in\mathbb{N}$ and two $\mathbb{R}$-divisors $C$, $D$ on a normal variety $X$, if $qC\sim qD$, then we write $C\sim_{q}D$.

Lemma 3.1.

Let $d,q\in\mathbb{N}$, $u\in\mathbb{R}^{>0}$ and $\Phi\subset\mathbb{R}^{\geq 0}$ be a DCC set. Then there exists $p\in\mathbb{N}$ depending only on $d,q,u,\Phi$ satisfying the following. Assume that

• $(X,B)$ is a projective lc pair of dimension $d$,

• $f:X\to Z$ is a contraction with $K_{X}+B\sim_{\mathbb{Q}}0/Z$,

• we have an adjunction formula

  $$K_{X}+B\sim_{q}f^{*}(K_{Z}+B_{Z}+M_{Z}),$$

• $A\in\Phi$ is an effective $\mathbb{R}$-divisor on $X$,

• over some non-empty open subset $U\subseteq Z$: $(X,B+tA)$ is lc for some $t>0$, and $A$ is relatively semi-ample, and

• for the general fiber $F$ of $f$, we have $0<\operatorname{vol}(A|_{F})\leq u$.

Then $pM_{{Z^{\prime}}}$ is Cartier on some high resolution ${Z^{\prime}}\to Z$.

Proof.

We follow the proof of [Bir21a, Lemma 7.4].

1. Take a resolution ${Z^{\prime}}\to Z$ so that M descends to ${Z^{\prime}}$, and a log resolution $W\to X$ of $(X,B)$ such that $W\dasharrow{Z^{\prime}}$ is a morphism. Let $\Delta_{W}$ be the sum of the horizontal/${Z^{\prime}}$ part of reduced exceptional divisors and the birational transform of the horizontal/$Z$ part $B^{h}$ of $B$. After finitely many blow ups and changing $\Delta_{W}$ accordingly, we can assume that every non-klt center of $(W,\Delta_{W})$ is horizontal over ${Z^{\prime}}$.

   Run an MMP on $K_{W}+\Delta_{W}$ over $X$ with scaling of some ample divisor. Since over the generic point $\eta_{Z}$ of $Z$, $K_{W}+\Delta_{W}$ is the sum of the pullback of $K_{X}+B^{h}$ and an effective exceptional divisor, the MMP terminates over $\eta_{Z}$ by [Bir12, Theorem 1.8]. Thus we get a model $(V,\Delta_{V})$ on which $K_{V}+\Delta_{V}\sim_{\mathbb{Q}}0$ over $\eta_{Z}$, and hence over the generic point $\eta_{{Z^{\prime}}}$ of ${Z^{\prime}}$. Applying [Bir12, Theorem 1.4] or [HX13, Theorem 1.1], we can run an MMP on $K_{W}+\Delta_{W}$ over ${Z^{\prime}}$ ending with a good minimal model. Replacing $V$ with the good minimal model of $(W,\Delta_{W})$ over ${Z^{\prime}}$, we can assume that $K_{V}+\Delta_{V}$ is semi-ample over ${Z^{\prime}}$ and induces a contraction $f^{\prime}:V\to Z^{\prime\prime}/{Z^{\prime}}$.

2. Take a common resolution $\pi:Y\to X$ and $\pi^{\prime}:Y\to V$. Then

   $$P_{Y}:=\pi^{\prime*}(K_{V}+\Delta_{V})-\pi^{*}(K_{X}+B)$$

   is vertical over $Z^{\prime\prime}$. In addition, since $K_{X}+B\sim_{\mathbb{Q}}0/Z$ and $K_{V}+\Delta_{V}\sim_{\mathbb{Q}}0/Z^{\prime\prime}$, we conclude that $P_{Y}\sim_{\mathbb{Q}}0/Z^{\prime\prime}$, which implies that $P_{Y}$ is the pullback of an $\mathbb{Q}$-Cartier $\mathbb{Q}$-divisor $P_{Z^{\prime\prime}}$ by [CHL23, Lemma 2.5]. The adjunction formula

   $$K_{X}+B\sim_{q}f^{*}(K_{Z}+B_{Z}+M_{Z})$$

   induces the following adjunction formula

   $$(\ast)\quad K_{V}+\Delta_{V}\sim_{q}f^{\prime*}(K_{Z^{\prime\prime}}+B_{Z^{\prime\prime}}+P_{Z^{\prime\prime}}+M_{Z^{\prime\prime}}),$$

   where $K_{Z^{\prime\prime}}+B_{Z^{\prime\prime}}+M_{Z^{\prime\prime}}$ is the pullback of $K_{Z}+B_{Z}+M_{Z}$ on $Z^{\prime\prime}$. From $(\ast)$ we see that the discriminant divisor $\Delta_{Z^{\prime\prime}}$ of $(V,\Delta_{V})$ over $Z^{\prime\prime}$ is $B_{Z^{\prime\prime}}+P_{Z^{\prime\prime}}$ and the moduli divisor of $(X,B)\to Z$ on $Z^{\prime\prime}$ coincides with the moduli divisor of $(V,\Delta_{V})\to Z^{\prime\prime}$.

3. We claim that there exists $p\in\mathbb{N}$ depending only on $d,q,u,\Phi$ such that $pM_{Z^{\prime\prime}}$ is integral. Then $pM_{{Z^{\prime}}}$ is integral and hence Cartier because ${Z^{\prime}}$ is smooth.

   As in the fifth paragraph of the proof of [Bir21a, Lemma 7.4], we can reduce to the case where $Z$ and $Z^{\prime\prime}$ are curves. Then the claim follows from [Bir21a, Lemma 7.3]. Note that in [Bir21a, Lemma 7.3], $A$ is an effective integral divisor on $X$. In our case, the coefficients of $A$ are in a DCC set of positive real numbers. The proof of [Bir21a, Lemma 7.3] can still be applied with some slight changes. In Step 2 of the proof of [Bir21a, Lemma 7.3], replace [HX13, Theorem 1.1] with [Has19, Theorem 1.2], which is an $\mathbb{R}$-version of [HX13, Theorem 1.1], and in Step 5, replace [Bir23a, Theorem 1.7] with [Bir23a, Theorem 6.4].

∎

3.2. Finite coefficients case

We first give an effective adjunction formula in the case that the coefficients of $B$ are in a fixed finite set of real numbers.

Theorem 3.2.

Let $d\in\mathbb{N}$, $u\in\mathbb{R}^{>0}$, $I\subset\mathbb{R}^{\geq 0}$ be a finite set, and $\Phi\subset\mathbb{R}^{\geq 0}$ be a DCC set. Then there exists a finite set $J\subset\mathbb{R}^{\geq 0}$ and a DCC set $\Psi\subset\mathbb{R}^{\geq 0}$ depending only on $d,u,I,\Phi$ satisfying the following. Assume that

• $(X,B)$ is a projective lc pair of dimension $d$ and $B\in I$,

• $f:X\to Z$ is a contraction with $K_{X}+B\sim_{\mathbb{R}}0/Z$,

• $(X,B)$ is klt over the generic point $\eta_{Z}$ of $Z$,

• $A\in\Phi$ is an effective $\mathbb{R}$-divisor on $X$ such that $A$ is relatively semi-ample over the generic point $\eta_{Z}$ of $Z$, and

• $0<\operatorname{vol}(A|_{F})\leq u$ for the general fiber $F$ of $f$.

Then there exists an adjunction formula

$$K_{X}+B\sim_{\mathbb{R}}f^{*}(K_{Z}+B_{Z}+M_{Z})$$

such that $M_{{Z^{\prime}}}=\Sigma_{i=1}^{l}r_{i}M_{i,{Z^{\prime}}}$ on some high resolution ${Z^{\prime}}\to Z$, where $r_{i}\in J$ and $M_{i,{Z^{\prime}}}$ is Cartier nef for any $i$.

Moreover, if in addition $(X,B)$ is $\epsilon$-lc for some $\epsilon\in\mathbb{R}^{>0}$, then the coefficients of $B$ are in a fixed finite set $\Psi$ depending only on $d,u,\epsilon,I,\Phi$.

Proof.

1. By [HLX23, Theorem 3.3], we can write

   $$K_{X}+B=\sum_{i=1}^{l}r_{i}(K_{X}+B_{i})$$

   such that

   • $r_{1},\cdots,r_{l}$ belong to a finite set $J\subset\mathbb{R}^{\geq 0}$ depending only on $d,I$,

   • $r_{1},\cdots,r_{l}$ are $\mathbb{Q}$-linear independent and $\sum_{i=1}^{l}r_{i}=1$,

   • $(X,B_{i})$ is lc and $\operatorname{Nklt}(X,B_{i})=\operatorname{Nklt}(X,B)$ for any $i$ (in particular, $(X,B_{i})$ is klt over the generic point $\eta_{Z}$ of $Z$ for any $i$),

   • $K_{X}+B_{i}\sim_{\mathbb{Q}}0/Z$ for any $i$,

   • there exists $q\in\mathbb{N}$ depending only on $d,I$ such that $q(K_{X}+B_{i})$ is integral for any $i$, and

   • if M and $\textbf{M}_{i}$ are the moduli part of the adjunction formulas with respect to $(X,B)$ and $(X,B_{i})$, then $\textbf{M}=\sum_{i=1}^{l}r_{i}\textbf{M}_{i}$.

   Take $F$ as a general fiber of $f$, then $K_{F}+B_{i,F}=(K_{X}+B_{i})|_{F}\sim_{\mathbb{Q}}0$. Hence $(F,B_{i,F}),A_{F}$ is a polarized klt Calabi-Yau pair. Since the coefficients of $B_{i,F}$ are in a finite set and the coefficients of $A_{F}$ are in a DCC set $\Phi$, they are bounded from below away from zero. By [Bir19, Lemma 2.48], $(F,B_{i,F})$ is $\delta$-lc for some positive real number $\delta$ depending only on $d,I$. Therefore, $(F,\operatorname{Supp}(B_{i,F}+A_{F}))$ belongs to a bounded family depending only on $\delta,\Phi,u$ by [Bir23a, Theorem 6.2]. Hence by [Bir21a, Lemma 7.2], possibly replacing $q$ with a bounded multiple, we can assume that $q(K_{F}+B_{i,F})\sim 0$. This implies that we can find a rational function $\alpha_{i}$ on $X$ such that $q(K_{X}+B_{i})+\operatorname{Div}(\alpha_{i})$ is vertical over $Z_{i}$. Since

   $$q(K_{X}+B_{i})+\operatorname{Div}(\alpha_{i})\sim_{\mathbb{Q}}0/Z,$$

   we see that $q(K_{X}+B_{i})+\operatorname{Div}(\alpha_{i})$ is the pullback of a $\mathbb{Q}$-Cartier $\mathbb{Q}$-divisor $qL_{Z}$ on $Z$ by [CHL23, Lemma 2.5]. Thus we have the following adjunction formula

   $$K_{X}+B_{i}\sim_{q}f^{*}(K_{Z}+B_{i,Z}+M_{i,Z})$$

   where $B_{i,Z}$ is the discriminant divisor and $M_{i,Z}=L_{Z}-K_{Z}-B_{i,Z}$ is the moduli divisor.

   By Lemma 2.10 and Lemma 3.1, there exists a positive integer $p$ depending only on $d,u,I,\Phi$ such that $pM_{i,{Z^{\prime}}}$ is Cartier nef on some high resolution ${Z^{\prime}}\to Z$.

2. Now we have an adjunction formula

   $$(\ast)\quad K_{X}+B\sim_{\mathbb{R}}f^{*}(K_{Z}+B_{Z}+M_{Z}),$$

   where $B_{Z}=\sum_{i=1}^{l}r_{i}B_{i,Z}$ and $\textbf{M}=\sum_{i=1}^{l}r_{i}\textbf{M}_{i}$. Let $J^{\prime}=\{\frac{r}{p}|r\in J\}$, then

   $$M_{{Z^{\prime}}}=\sum_{i=1}^{l}\frac{r_{i}}{p}(pM_{i,{Z^{\prime}}})$$

   where $\frac{r_{i}}{p}\in J^{\prime}$ and $pM_{i,{Z^{\prime}}}$ is Cartier nef for $1\leq i\leq l$.

3. In this step we prove the moreover part. Now we assume that $(X,B)$ is $\epsilon$-lc for some fixed $\epsilon\in\mathbb{R}^{>0}$, then in Step 1, we can choose $(X,B_{i})$ to be $\frac{\epsilon}{2}$-lc by [HLS19, Corollary 5.5]. By the argument of the proof of [BH22, Lemma 6.7] and Lemma 2.11, replacing $q$ with a bounded multiple, we can assume that $qB_{i,Z}$ is integral. Since $B_{Z}=\sum_{i=1}^{l}r_{i}B_{i,Z}$ and $r_{i}$’s are in a finite set, we conclude that $B_{Z}\in\Psi$ where $\Psi\subset\mathbb{R}^{\geq 0}$ is a finite set.

∎

3.3. DCC coefficients case

Next we show that there exists an effective adjunction formula in the case that the coefficients of $B$ are in a fixed DCC set of real numbers.

Theorem 3.3.

Let $d\in\mathbb{N}$, $u\in\mathbb{R}^{>0}$ and $\Phi\subset\mathbb{R}^{\geq 0}$ be a DCC set. Then there exists a finite set $I\subset\mathbb{R}^{\geq 0}$ depending only on $d,u,\Phi$ satisfying the following. Assume that

• $(X,B)$ is a projective klt pair of dimension $d$ and $B\in\Phi$,

• $f:X\to Z$ is a contraction with $K_{X}+B\sim_{\mathbb{R}}0/Z$,

• $A\in\Phi$ is an effective $\mathbb{R}$-divisor on $X$ such that $A$ is relatively semi-ample over the generic point $\eta_{Z}$ of $Z$, and

• $0<\operatorname{vol}(A|_{F})\leq u$ for the general fiber $F$ of $f$.

Then there is an adjunction formula

$$K_{X}+B\sim_{\mathbb{R}}f^{*}(K_{Z}+B_{Z}+M_{Z})$$

such that $M_{{Z^{\prime}}}=\sum_{i=1}^{l}r_{i}M_{i,{Z^{\prime}}}$ on some high resolution ${Z^{\prime}}\to Z$, where $r_{i}\in I$ and $M_{i,{Z^{\prime}}}$ is Cartier nef for any $i$.

Proof.

1. Let $F$ be a general fiber of $f:X\to Z$. Then $K_{F}+B_{F}:=(K_{X}+B)|_{F}\sim_{\mathbb{R}}0$ and $(F,B_{F})$ is a klt log Calabi-Yau pair. By global ACC for lc thresholds [HMX14, Theorem 1.5], since the coefficients of $B_{F}$ are in a DCC set $\Phi$, they are in a finite set $J\subset\mathbb{R}^{\geq 0}$ depending only on $d,\Phi$. Hence if we denote $B^{h}$ to be the horizontal/$Z$ part of $B$, then $B^{h}\in J$.

2. In this step and the next step, we obtain a new pair from which preserves the horizontal part of $B$ over the generic point of $Z$ but changes the vertical part of $B$ to be reduced.

   Take high log resolutions of $(X,B)$ and $Z$ as follows:

   such that $({X^{\prime}},\Sigma)$ is log smooth, where $\Sigma$ is the sum of reduced $\pi$-exceptional divisors and the birational transform of $\operatorname{Supp}B$. Write $K_{{X^{\prime}}}+{B^{\prime}}=\pi^{*}(K_{X}+B)$. Let $\tilde{B}^{v},\tilde{B}^{h}$ be the vertical/${Z^{\prime}}$ part and horizontal/${Z^{\prime}}$ part of the birational transform of $B$. Let $E^{v},E^{h}$ be the vertical/${Z^{\prime}}$ part and horizontal/${Z^{\prime}}$ part of the reduced $\pi$-exceptional divisors. Then we take an open subset ${U^{\prime}}$ in ${Z^{\prime}}$ such that

   • $\mu:{Z^{\prime}}\to Z$ is an isomorphism on ${U^{\prime}}$,

   • $L:={Z^{\prime}}\backslash{U^{\prime}}$ is a reduced divisor on ${Z^{\prime}}$, and

   • ${f^{\prime}}(\operatorname{Supp}(\tilde{B^{v}}+E^{v}))\subseteq L$.

   Let ${f^{\prime}}^{-1}L$ be the reduction of the inverse image of $L$ with respect to ${f^{\prime}}:{X^{\prime}}\to{Z^{\prime}}$ and add ${f^{\prime}}^{-1}L$ to $\Sigma$. Possibly replacing $({X^{\prime}},\Sigma)$ with a higher birational model, we can assume that the condition $({X^{\prime}},\Sigma)$ being log smooth is preserved.

3. Let $\Gamma^{\prime}=\tilde{B^{h}}+E^{h}+{f^{\prime}}^{-1}L$. Replacing $J$ with $J\cup\{1\}$, we have $\Gamma^{\prime}\in J$. Run an MMP on $K_{{X^{\prime}}}+\Gamma^{\prime}$ over ${Z^{\prime}}$ with scaling of some ample divisor. Since over ${f^{\prime}}^{-1}{U^{\prime}}$, $(X,B)$ is a weak lc model of $({X^{\prime}},\Gamma^{\prime})$, hence by [Bir12, Corollary 3.7], $({X^{\prime}},\Gamma^{\prime})$ has a minimal model over ${U^{\prime}}$. Therefore, by [Bir12, Theorem 1.9], the MMP terminates over ${f^{\prime}}^{-1}{U^{\prime}}$ and we reach a model $(W,\Gamma_{W})$ such that $K_{W}+\Gamma_{W}\sim_{\mathbb{R}}0/{U^{\prime}}$.

   Now we continue to run the MMP on $K_{W}+\Gamma_{W}$ over ${Z^{\prime}}$. The MMP does not modify $W$ over ${U^{\prime}}$. Moreover, the MMP is also an MMP on $K_{W}+\Gamma_{W}-aF_{W}$ where $F_{W}$ is the pullback of $L$ with respect to $W\to{Z^{\prime}}$ and $a>0$ is a small number. Since $K_{W}+\Gamma_{W}-aF_{W}$ is semi-ample over ${U^{\prime}}$ and $(W,\Gamma_{W}-aF_{W})$ is klt, the MMP terminates with a good minimal model $V$ by [Has19, Theorem 1.2]. Let $g:V\to Z^{\prime\prime}$ be the contraction induced by the semi-ample/${Z^{\prime}}$ $\mathbb{R}$-divisor $K_{V}+\Gamma_{V}$ and denote by $\mu^{\prime}$ the morphism $Z^{\prime\prime}\to{Z^{\prime}}$. If we denote $K_{V}+B_{V}$ as the pushdown of $K_{{X^{\prime}}}+{B^{\prime}}$, then $\operatorname{Supp}(\Gamma_{V}-B_{V})$ maps into $L\subseteq{Z^{\prime}}$. Since $K_{{X^{\prime}}}+{B^{\prime}}\sim_{\mathbb{R}}0/{Z^{\prime}}$, by the cone theorem, the pullbacks of $K_{V}+B_{V}$ and $K_{X}+B$ to a common resolution are the same. Therefore, we conclude that $(V,B_{V})$ is a sub-klt pair and $K_{V}+B_{V}\sim_{\mathbb{R}}0/Z$. Let $A_{V}$ be the birational transform of the horizontal/$Z$ part of $A$. Let $G$ be the general fiber of $g:V\to Z^{\prime\prime}$. Since over ${U^{\prime}}$, $(V,\Gamma_{V})$ is a small $\mathbb{Q}$-factorialization of $(X,B)$, $A_{V}$ is the pullback of $A$. Therefore, $A_{V}$ is relatively semi-ample over the generic point of $Z^{\prime\prime}$ and $0<\operatorname{vol}(A_{V}|_{G})\leq u$.

4. Applying Theorem 3.2 to $(V,\Gamma_{V})$ over $Z^{\prime\prime}$, there exists a finite set $I\subset\mathbb{R}^{\geq 0}$ depending only on $d,u,J,\Phi$ such that we can write an adjunction formula

   $$(\ast)\quad K_{V}+\Gamma_{V}\sim_{\mathbb{R}}g^{*}(K_{Z^{\prime\prime}}+\Gamma_{Z^{\prime\prime}}+M_{Z^{\prime\prime}})$$

   such that $M_{Z^{\prime\prime\prime}}=\sum_{i=1}^{l}r_{i}M_{i,Z^{\prime\prime\prime}}$ on some high resolution $Z^{\prime\prime\prime}\to Z^{\prime\prime}$, where $r_{i}\in I$ and $M_{i,Z^{\prime\prime\prime}}$ is Cartier nef for any $i$.

   Since $K_{V}+\Gamma_{V}$ is the pullback of $K_{X}+B$ over ${U^{\prime}}\subseteq{Z^{\prime}}$, $\Gamma_{V}-B_{V}$ is vertical over $Z^{\prime\prime}$. Since

   $$K_{V}+\Gamma_{V}\sim_{\mathbb{R}}K_{V}+B_{V}\sim_{\mathbb{R}}0/Z^{\prime\prime},$$

   we conclude that $\Gamma_{V}-B_{V}$ is the pullback of an effective $\mathbb{R}$-Cartier $\mathbb{R}$-divisor $P_{Z^{\prime\prime}}$ on $Z^{\prime\prime}$ by [Li24b, Lemma 2.11]. The adjunction formula $(\ast)$ induces an adjunction formula

   $$(\ast\ast)\quad K_{V}+B_{V}\sim_{\mathbb{R}}g^{*}(K_{Z^{\prime\prime}}+B_{Z^{\prime\prime}}+M_{Z^{\prime\prime}})$$

   where $B_{Z^{\prime\prime}}:=\Gamma_{Z^{\prime\prime}}-P_{Z^{\prime\prime}}$.

   Since the pullbacks of $K_{V}+B_{V}$ and $K_{X}+B$ to a common resolution are the same, the adjunction formula $(\ast\ast)$ induces the following adjunction formula

   $$(\ast\ast\ast)\quad K_{X}+B\sim_{\mathbb{R}}f^{*}(K_{Z}+B_{Z}+M_{Z})$$

   where $K_{Z}+B_{Z}+M_{Z}$ is the pushdown of $K_{Z^{\prime\prime}}+B_{Z^{\prime\prime}}+M_{Z^{\prime\prime}}$.

∎

4. Singularities of klt stable minimal models

In this section we apply the effective adjunction formula to prove Theorem 1.6. We follow the proof of [Bir21a, Lemma 8.2].

Proof of Theorem 1.6.

1. Let $(X,B),A\in{\mathcal{S}}_{klt}(d,\Phi,\leq u,v)$ and $f:X\to Z$ be the contraction defined by the semi-ample $\mathbb{R}$-divisor $K_{X}+B$. By Theorem 3.3, there exists a finite set $I\subset\mathbb{R}^{\geq 0}$ depending only on $d,u,\Phi$ such that there is an adjunction formula

   $$(\ast)\quad K_{X}+B\sim_{\mathbb{R}}f^{*}(K_{Z}+B_{Z}+M_{Z})$$

   satisfying that $M_{{Z^{\prime}}}=\sum_{i=1}^{l}r_{i}M_{i,{Z^{\prime}}}$ on some high resolution ${Z^{\prime}}\to Z$, where $r_{i}\in I$ and $M_{i,{Z^{\prime}}}$ is Cartier nef for any $i$. By the ACC for lc thresholds [HMX14, Theorem 1.1], the coefficients of $B_{Z}$ are in a DCC set $\Psi\subset\mathbb{R}^{\geq 0}$ depending only on $d,\Phi$. Since

   $$\operatorname{vol}(K_{Z}+B_{Z}+M_{Z})=\operatorname{Ivol}(K_{X}+B)=v,$$

   we conclude that $(Z,B_{Z}+M_{Z})\in{\mathcal{F}}_{gklt}(\dim Z,\Psi\cup I,v)$. By [Bir21a, Theorem 1.5], $(Z,B_{Z}+M_{Z})$ is generalized $\delta$-lc for some $\delta\in\mathbb{R}^{>0}$ depending only on $\dim Z,\Psi,I,v$, hence depending only on $d,\Phi,u,v$.

2. If $D$ is a prime divisor over $X$ which is horizontal over $Z$, then $D$ determines a prime divisor $S$ over the general fiber $F$ of $f$. Since $(F,B_{F})$ is a klt log Calabi-Yau pair and $B_{F}\in\Phi$, by [Bir19, Lemma 2.48], $(F,B_{F})$ is $\tau$-lc for some $\tau\in\mathbb{R}^{>0}$ depending only on $\dim F$ and $\Phi$, hence depending only on $d,\Phi$. Then

   $$a(D,X,B)=a(S,F,B_{F})\geq\tau.$$

3. If $D$ is a prime divisor over $X$ which is vertical over $Z$, then we take high resolutions as follows:

   such that $D$ is a divisor on ${X^{\prime}}$ and its image on ${Z^{\prime}}$ is a prime divisor $E$. Let

   $$K_{{X^{\prime}}}+{B^{\prime}}=\pi^{*}(K_{X}+B)$$

   and

   $$K_{{Z^{\prime}}}+B_{{Z^{\prime}}}+M_{{Z^{\prime}}}=\mu^{*}(K_{Z}+B_{Z}+M_{Z}).$$

   Since $(Z,B_{Z}+M_{Z})$ is generalized $\delta$-lc,

   $$a(E,{Z^{\prime}},B_{{Z^{\prime}}}+M_{{Z^{\prime}}})=a(E,Z,B_{Z}+M_{Z})\geq\delta.$$

   Therefore,

   $$\operatorname{mult}_{E}B_{{Z^{\prime}}}\leq 1-\delta.$$

   By the definition of discriminant divisors, $({X^{\prime}},{B^{\prime}}+\delta f^{\prime*}E)$ is sub-lc over the generic point of $E$. This implies that

   $$\operatorname{mult}_{D}{B^{\prime}}+\delta\operatorname{mult}_{D}f^{\prime*}E\leq 1$$

   and hence $\operatorname{mult}_{D}{B^{\prime}}\leq 1-\delta$. Thus

   $$a(D,X,B)=a(D,{X^{\prime}},{B^{\prime}})\geq\delta.$$

4. From the above arguments we see that $(X,B)$ is $\epsilon$-lc, where $\epsilon:=\min\{\tau,\delta\}$ depending only on $d,\Phi,u,v$.

∎

5. Boundedness of klt stable minimal models

5.1. Lower bound on lc thresholds of strongly stable minimal models

We prove there is a uniform lower bound on lc thresholds of strongly stable minimal models with klt singularities, which is the $\mathbb{R}$-coefficient version of [Bir21a, Lemma 8.3] and the proof is similar to the one there. The new tools applied here are the effective adjunction formula with $\mathbb{R}$-coefficients (Theorem 3.3) and uniform decomposition of generalized $\mathbb{R}$-pairs (Lemma 2.16).

Theorem 5.1.

Let $d\in\mathbb{N}$, $u,v,w\in\mathbb{R}^{>0}$, and $\Phi\subset\mathbb{R}^{\geq 0}$ be a DCC set. Then there exists $\lambda\in\mathbb{R}^{>0}$ depending only on $d,u,v,w,\Phi$ such that for any strongly stable minimal model

$$(X,B),A\in{\mathcal{S}}{\mathcal{S}}_{klt}(d,\Phi,\leq u,v)$$

with $\operatorname{vol}(K_{X}+B+A)\leq w$, the pair $(X,B+\lambda A)$ is lc.

Proof.

1. Let $(X,B),A\in{\mathcal{S}}{\mathcal{S}}_{klt}(d,\Phi,\leq u,v)$. By Theorem 1.6, there is $\epsilon\in\mathbb{R}^{>0}$ depending only on $d,u,v,\Phi$ such that $(X,B)$ is $\epsilon$-lc. Since $K_{X}+B\sim_{\mathbb{R}}0/Z$, we have $K_{F}+B_{F}=(K_{X}+B)|_{F}\sim_{\mathbb{R}}0$, where $F$ is the general fiber of $f$. Since $A$ is ample over $Z$, $(F,B_{F}),A_{F}$ is a polarized $\epsilon$-lc log Calabi-Yau pair. Since the coefficients of $B_{F},A_{F}$ are in a DCC set $\Phi$, they are bounded from below away from zero.

2. Let $s=\dim Z$. If $s=0$, then $(X,B),A$ is bounded by [Bir23a, Theorem 6.2], in this case the theorem follows from [Bir21b, Theorem 1.8]. Now we assume that $s\geq 1$. By Theorem 3.3, there exists a finite set $I\subset\mathbb{R}^{\geq 0}$ depending only on $d,u,\Phi$ such that there is an adjunction formula

   $$K_{X}+B\sim_{\mathbb{R}}f^{*}(K_{Z}+B_{Z}+M_{Z})$$

   satisfying that $M_{{Z^{\prime}}}=\sum_{i=1}^{l}\mu_{i}M_{i,{Z^{\prime}}}$ on some high resolution ${Z^{\prime}}\to Z$, where $\mu_{i}\in I$ and $M_{i,{Z^{\prime}}}$ is Cartier nef for any $i$. By the ACC for lc thresholds [HMX14, Theorem 1.1], the coefficients of $B_{Z}$ are in a DCC set $\Psi\subset\mathbb{R}^{\geq 0}$ depending only on $d,\Phi$. Hence $(Z,B_{Z}+M_{Z})\in{\mathcal{F}}_{gklt}(s,\Psi\cup I,v)$. By [Bir21a, Theorem 1.5], there is a fixed finite set $I^{\prime}\subset\mathbb{R}^{>0}$ such that $B_{Z}\in I^{\prime}$. Therefore, $(Z,B_{Z}+M_{Z})\in{\mathcal{F}}_{gklt}(s,I\cup I^{\prime},v)$.

   By Theorem 2.16, there is a fixed finite set $J\subset\mathbb{R}^{\geq 0}$ and a fixed $p\in\mathbb{N}$ such that we can decompose $K_{Z}+B_{Z}+M_{Z}$ as follows:

   $$K_{Z}+B_{Z}+M_{Z}=\sum_{i=1}^{l}r_{i}(K_{Z}+B_{i,Z}+M_{i,Z})$$

   satisfying that

   • $\sum_{i=1}^{l}r_{i}=1$ and $r_{i}\in J$ for any $i$ ,

   • $(Z,B_{i,Z}+M_{i,Z})$ is generalized klt for any $i$, and

   • $p(K_{Z}+B_{i,Z}+M_{i,Z})$ is very ample for any $i$.

3. Let

   $$H:=\sum_{i=1}^{l}p(K_{Z}+B_{i,Z}+M_{i,Z})$$

   and let $n$ be a fixed positive integer such that $n>\max\{\frac{p}{r_{1}},\cdots,\frac{p}{r_{l}}\}$, then $f^{*}H-(K_{X}+B)$ and $n(K_{X}+B)-f^{*}H$ are nef. Take $\pi:Y\to X$ as a $\mathbb{Q}$-factorialization of $X$ and write $K_{Y}+B_{Y}=\pi^{*}(K_{X}+B)$. Since $(X,B),A$ is a strongly stable minimal model, $K_{X}+B+A$ is ample, thus $f^{*}H+A$ is ample, which implies that $\pi^{*}f^{*}H+\pi^{*}A$ is nef and big. Since $Y$ is $\epsilon$-lc and since

   $$\pi^{*}f^{*}H+\pi^{*}A-K_{Y}=\pi^{*}(f^{*}H-K_{X}-B)+\pi^{*}A+B_{Y}$$

   is pseudo-effective and the coefficients of $\pi^{*}A$ is in the DCC set $\Phi$, by [Bir23a, Theorem 4.2], there is a bounded positive integer $m$ such that $|m(\pi^{*}f^{*}H+\pi^{*}A)|$ is birational, hence $|m(f^{*}H+A)|$ is birational.

4. Replacing $m$ with a bounded multiple we can assume that $mA\geq 1$. Pick a member

   $$N\in|m(f^{*}H+A)|$$

   and then

   $$\operatorname{vol}(N) =\operatorname{vol}(m(f^{*}H+A))$$

   $$\leq\operatorname{vol}(m(n(K_{X}+B)+A))$$

   $$\leq(mn)^{d}w.$$

   For any component $D$ of $N$, we have $\operatorname{mult}_{D}(N+B+mA)\geq 1$ because any component of $N$ whose coefficient is not an integer is a component of $A$. By construction,

   $$N-(K_{X}+B+mA)\sim(m-1)f^{*}H+(f^{*}H-K_{X}-B)$$

   is pseudo-effective. Applying [Bir19, Proposition 4.4] to $(X,B+mA),N$, we conclude that there is $c\in\mathbb{R}^{>0}$ and a bounded set $\mathcal{P}$ depending only on $d,m,n,w$ such that there is a log smooth couple $(\overline{X},\overline{\Sigma})\in\mathcal{P}$ and a birational map $\overline{X}\dasharrow X$ satisfying that

   • $\overline{\Sigma}$ contains the reduced exceptional divisor of $\overline{X}\dasharrow X$ and the support of the birational transform of $B+A+N$, and

   • if $\overline{N}$ is the pullback of $N$ to $\overline{X}$, then $\overline{N}\cdot\overline{H}^{d-1}\leq c$ for some very ample divisor $\overline{H}\leq\overline{\Sigma}$.

   The meaning of the pullback of $N$ to $\overline{X}$(and similarly for other divisors) is pulling back $N$ to a common resolution of $X,\overline{X}$ and then pushing down to $\overline{X}$. Note that in [Bir19, Proposition 4.4], $N$ is required to be a $\mathbb{Q}$-divisor, but the proof of [Bir19, Proposition 4.4] goes through verbatim when $N$ is an $\mathbb{R}$-divisor. Let $\overline{A}$ be the pullback of $A$ to $\overline{X}$, then $\overline{A}\cdot\overline{H}^{d-1}\leq c$ since $N-A$ is pseudo-effective, and this implies that $\overline{A}\leq c$.

5. Let $K_{\overline{X}}+\overline{B}$ be the pullback of $K_{X}+B$ to $\overline{X}$, then $\overline{B}\leq 1-\epsilon$ because $(X,B)$ is $\epsilon$-lc. Therefore, there is a fixed number $\lambda\in(0,1)$ such that $(\overline{X},\overline{B}+\lambda\overline{A})$ is sub-lc as $(\overline{X},\overline{B}+\overline{A})$ is log smooth.

   Since

   $$K_{X}+B+\lambda A=\lambda(K_{X}+B+A)+(1-\lambda)(K_{X}+B)$$

   is ample, by negativity lemma we conclude that $(X,B+\lambda A)$ is lc.

∎

5.2. Proof of Theorem 1.5

We are now ready to prove the boundedness of stable minimal models with klt singularities. As explained in the sketch of the proofs, given a stable minimal model $(X,B),A$ in Theorem 1.5, the key point is to shrink $\operatorname{Nlc}(X,B+\lambda A)$ by induction.

Proof of Theorem 1.5.

1. Let $(X,B),A\in{\mathcal{S}}_{klt}(d,\Phi,\leq u,v)$ such that $(K_{X}+B)^{i}\cdot A^{d-i}\leq w$ for $0\leq i\leq d$, and $f:X\to Z$ be the contraction induced by the semi-ample $\mathbb{R}$-divisor $K_{X}+B$. By Theorem 1.6, there exists $\epsilon\in\mathbb{R}^{>0}$ depending only on $d,\Phi,u,v$ such that $(X,B)$ is $\epsilon$-lc.

   Since $K_{X}+B\sim_{\mathbb{R}}0/Z$, we have $K_{F}+B_{F}=(K_{X}+B)|_{F}\sim_{\mathbb{R}}0$, where $F$ is the general fiber of $f$. Thus $(F,B_{F}),A_{F}$ is a polarized $\epsilon$-lc log Calabi-Yau pair. Since the coefficients of $A,B$ are in a DCC set $\Phi$, they are bounded from below away from zero. Therefore, by [Bir23a, Theorem 6.2], $(F,\operatorname{Supp}(B_{F}+A_{F}))$ belongs to a bounded family.

2. Let $s=\dim Z$. If $s=0$, then by Step 1, $(X,B),A$ is bounded, hence we can assume that $s\geq 1$. By Theorem 3.3, there exists a finite set $I\subset\mathbb{R}^{\geq 0}$ depending only on $d,u,\Phi$ such that there is an adjunction formula

   $$K_{X}+B\sim_{\mathbb{R}}f^{*}(K_{Z}+B_{Z}+M_{Z})$$

   satisfying that $M_{{Z^{\prime}}}=\sum_{i=1}^{l}\mu_{i}M_{i,{Z^{\prime}}}$ on some high resolution ${Z^{\prime}}\to Z$, where $\mu_{i}\in I$ and $M_{i,{Z^{\prime}}}$ is Cartier nef for any $i$. By the ACC for lc thresholds [HMX14, Theorem 1.1], the coefficients of $B_{Z}$ are in a DCC set $\Psi\subset\mathbb{R}^{\geq 0}$. Hence $(Z,B_{Z}+M_{Z})\in{\mathcal{F}}_{gklt}(s,\Psi\cup I,v)$. By [Bir21a, Theorem 1.5], there is a finite set $I^{\prime}\subset\mathbb{R}^{\geq 0}$ depending only on $s,v,\Psi,I$, hence depending only on $d,u,v,\Phi$, such that $B_{Z}\in I^{\prime}$. Therefore, $(Z,B_{Z}+M_{Z})\in{\mathcal{F}}_{gklt}(s,I\cup I^{\prime},v)$.

   By Theorem 2.16, there is a fixed finite set $J\subset\mathbb{R}^{\geq 0}$ and a fixed $p\in\mathbb{N}$ such that we can decompose $K_{Z}+B_{Z}+M_{Z}$ as follows:

   $$K_{Z}+B_{Z}+M_{Z}=\sum_{i=1}^{l}r_{i}(K_{X}+B_{i,Z}+M_{i,Z})$$

   satisfying that

   • $\sum_{i=1}^{l}r_{i}=1$ and $r_{i}\in J$ for any $i$,

   • $(Z,B_{i,Z}+M_{i,Z})$ is generalized klt for any $i$, and

   • $L_{i}:=p(K_{Z}+B_{i,Z}+M_{i,Z})$ is a very ample for any $i$.

3. Define $P(t)$ as the image of non-lc locus of $(X,B+tA)$ on $Z$, i.e.

   $$P(t):=f(\operatorname{Nlc}(X,B+tA)).$$

   We regard $P(t)$ as a closed subset of $Z$. Now we prove the following statement $\mathcal{C}_{k}$ by induction on $k$: there exists $\lambda_{k}\in\mathbb{R}^{>0}$ depending only on $d,\Phi,u,v,w$ such that

   • $\dim P(\lambda_{k})\leq s-k$, and

   • $K_{X}+B+\lambda_{k}A$ is nef in dimension $k-1$ over $Z$.

   By [Bir21b, Theorem 1.8], there exists $\lambda_{1}\in\mathbb{R}^{>0}$ such that $(F,B_{F}+\lambda_{1}A_{F})$ is lc. Then $(X,B+\lambda_{1}A)$ is lc over some open subset $U\subseteq Z$, hence $\dim P(\lambda_{1})\leq s-1$. Since $A$ is relatively nef over $Z$ and $K_{X}+B$ is semi-ample, we conclude that $K_{X}+B+\lambda_{1}A$ is nef in dimension $0$ over $Z$.

   Assume that the statement $\mathcal{C}_{k}$ holds and $\lambda_{k}$ is chosen for $\mathcal{C}_{k}$. We prove the statement $\mathcal{C}_{k+1}$ in the following steps.

4. In this step we prove that there exists a fixed $\lambda_{k+1}\in\mathbb{R}^{>0}$ such that $K_{X}+B+\lambda_{k+1}A$ is nef in dimension $k$ over $Z$.

   Let $H_{1},\cdots,H_{s-k}$ be any very ample divisors in $Z$. Take a general member of the linear system $|H_{i}|$ and in abuse of notation, we still denote by $H_{i}$ the general member. Let $T=\cap_{i=1}^{s-k}H_{i}$, $R_{i}=f^{-1}H_{i}$ and $S=\cap_{i=1}^{s-k}R_{i}=f^{-1}T$. We can write

   $$K_{S}+B_{S}+\lambda_{k}A_{S}=(K_{X}+B+\lambda_{k}A+\sum_{i=1}^{s-k}R_{i})|_{S},$$

   where $A_{S}=A|_{S}$.

   If $K_{S}+B_{S}+\lambda_{k}A_{S}$ is nef, then take $\lambda_{k+1}=\lambda_{k}$ and we are done. Now assume that $K_{S}+B_{S}+\lambda_{k}A_{S}$ is not nef. By [FH23, Theorem 1.2, Corollary 1.4],

   $$\operatorname{Nlc}(S,B_{S}+\lambda_{k}A_{S})=S\cap\operatorname{Nlc}(X,B+\lambda_{k}A).$$

   Since $\dim P(\lambda_{k})\leq s-k$, $S=\cap_{i=1}^{s-k}f^{-1}H_{i}$, and $H_{i}$ are general hypersurfaces in $Z$, we deduce that $\operatorname{Nlc}(S,B_{S}+\lambda_{k}A_{S})$ is contained in finitely many fibers of $S\to T$. Let $R$ be a $(K_{S}+B_{S}+\lambda_{k}A_{S})$-negative extremal ray. Since $K_{S}+B_{S}+\lambda_{k}A_{S}$ is ample over $T$ and $K_{S}+B_{S}$ is the pullback of an ample divisor on $T$, $K_{S}+B_{S}$ is positive on $R\backslash\{0\}$, which implies that $R$ is not contained in the image of the map of the closed cone of curves

   $$\overline{NE}(\operatorname{Nlc}(S,B_{S}+\lambda_{k}A_{S}))\to\overline{NE}(S).$$

   By the length of extremal ray [Fuj11, Theorem 1.1(5)], there is a curve $C$ on $S$ generating $R$ and satisfying that

   $$(K_{S}+B_{S}+\lambda_{k}A_{S})\cdot C\geq-2(d-s+k).$$

   Take a fixed positive integer

   $$m>\max\{\frac{p}{r_{1}},\cdots,\frac{p}{r_{l}}\},$$

   then $m(K_{Z}+B_{Z}+M_{Z})-L_{i}$ is ample and thus $m(K_{X}+B)-f^{*}L_{i}$ is nef. Therefore,

   $$m(K_{X}+B)|_{S}\cdot C\geq f^{*}L_{1}|_{S}\cdot C=L_{1}\cdot f(C)\geq 1$$

   because $L_{1}$ is a very ample Cartier divisor on $Z$. Now we have

   $$\left((1+2(d-s+k)m)(K_{X}+B+\sum_{i=1}^{s-k}R_{i})|_{S}+\lambda_{k}A_{S}\right)\cdot C$$

   $$\geq (K_{S}+B_{S}+\lambda_{k}A_{S})\cdot C+2(d-s+k)m(K_{X}+B)|_{S}\cdot C\geq 0.$$

   Let

   $$\lambda_{k+1}=\frac{\lambda_{k}}{1+2(d-s+k)m}.$$

   The above argument implies that $K_{S}+B_{S}+\lambda_{k+1}A_{S}$ is nef. Therefore, $K_{X}+B+\lambda_{k+1}A$ is nef in dimension $k$ over $Z$.

5. Let $H_{1},\cdots,H_{s-k}$ be general members of one of the linear systems $|L_{i}|$ (each $H_{j}$ can be in different linear systems). Recall that $m(K_{X}+B)-f^{*}L_{i}$ is nef for $1\leq i\leq l$, thus $m(s-k)(K_{X}+B)-\sum_{i=1}^{s-k}f^{*}H_{i}$ is nef. By Lemma 2.18, we have the following inequality:

   $$(\ast)\quad((1+m(s-k))(K_{X}+B)+\lambda_{k+1}A)^{d-s+k}\cdot f^{*}H_{1}\cdot\ldots\cdot f^{*}H_{s-k}\geq 0.$$

6. In this step we prove that after replacing $\lambda_{k+1}$ with a smaller number, $\dim P(\lambda_{k+1})\leq s-k-1$ and hence $\mathcal{C}_{k+1}$ is satisfied.

   Let $Q_{1},\cdots,Q_{s-k}$ be general members of the linear system $|L_{1}|$. Abusing notation denote $T=\cap_{i=1}^{s-k}Q_{i}$, $R_{i}=f^{*}Q_{i}$ and $S=\cap_{i=1}^{s-k}R_{i}=f^{-1}T$. We can write

   $$K_{S}+B_{S}+\lambda_{k+1}A_{S}=(K_{X}+B+\lambda_{k+1}A+\sum_{i=1}^{s-k}R_{i})|_{S},$$

   where $A_{S}=A|_{S}$.

   • Since $K_{X}+B+\lambda_{k+1}A$ is nef in dimension $k$ over $Z$, $K_{S}+B_{S}+\lambda_{k+1}A_{S}$ is nef. We claim that $K_{S}+B_{S}+tA_{S}$ is ample for any $t\in(0,\lambda_{k+1})$: Fix $t\in(0,\lambda_{k+1})$. Since $K_{S}+B_{S}$ is the pullback of an ample divisor on $T$ and $A_{S}$ is ample over $T$, there is a sufficiently small $0<t^{\prime}<t$ such that $K_{S}+B_{S}+t^{\prime}A_{S}$ is ample. Then $K_{S}+B_{S}+tA_{S}$ is a positive linear combination of $K_{S}+B_{S}+t^{\prime}A_{S}$ and $K_{S}+B_{S}+\lambda_{k+1}A_{S}$, which implies that $K_{S}+B_{S}+tA_{S}$ is ample.

     Therefore, replacing $\lambda_{k+1}$ with $\frac{\lambda_{k+1}}{2}$ we can assume that $K_{S}+B_{S}+\lambda_{k+1}A_{S}$ is ample. Note that the condition $K_{X}+B+\lambda_{k+1}A$ being nef in dimension $k$ over $Z$ is preserved.

   • Let $\overline{F}$ be the general fiber of $S\to T$ and $F$ be the general fiber of $X\to Z$. Since $T$ is the complete intersection of general hypersurfaces,

     $$\operatorname{vol}(A_{S}|_{\overline{F}})=\operatorname{vol}(A|_{F})\leq u.$$

   • Note that

     $$(\sum_{i=1}^{l}r_{i}L_{i})^{s}=\operatorname{vol}(p(K_{Z}+B_{Z}+M_{Z}))=p^{s}v.$$

     If $(\alpha_{1},\cdots,\alpha_{l})$ is an element of the set

     $$\{(n_{1},\cdots,n_{l})|n_{i}\in\mathbb{N},\sum_{i=1}^{l}n_{i}=s\},$$

     then the intersection number

     $$L_{1}^{\alpha_{1}}\cdot\ldots\cdot L_{l}^{\alpha_{l}}$$

     is a positive integer and bounded from above. Without loss of generality, we can assume that

     $$L_{1}^{\alpha_{1}}\cdot\ldots\cdot L_{l}^{\alpha_{l}}$$

     are fixed numbers for all

     $$(\alpha_{1},\cdots,\alpha_{l})\in\{(n_{1},\cdots,n_{l})|n_{i}\in\mathbb{N},\sum_{i=1}^{l}n_{i}=s\}.$$

     Therefore,

     $$\operatorname{Ivol}(K_{S}+B_{S})$$

     $$= \operatorname{Ivol}((K_{X}+B+\sum_{i=1}^{s-k}R_{i})|_{S})$$

     $$= \operatorname{vol}((K_{Z}+B_{Z}+M_{Z}+\sum_{i=1}^{s-k}Q_{i})|_{T})$$

     $$= (\frac{1}{p}\sum_{i=1}^{l}r_{i}L_{i}+(s-k)L_{1})^{k}\cdot L_{1}^{s-k}$$

     is a fixed positive real number, say $v_{k}$.

   • Now we show that $\operatorname{vol}(K_{S}+B_{S}+\lambda_{k+1}A_{S})$ is bounded from above.

     $$\operatorname{vol}(K_{S}+B_{S}+\lambda_{k+1}A_{S})$$

     $$= \operatorname{vol}((K_{X}+B+\lambda_{k+1}A+\sum_{i=1}^{s-k}R_{i})|_{S})$$

     $$\leq \operatorname{vol}(((1+m(s-k))(K_{X}+B)+\lambda_{k+1}A)|_{S})$$

     $$= ((1+m(s-k))(K_{X}+B)+\lambda_{k+1}A)^{d-s+k}\cdot(f^{*}L_{1})^{s-k}$$

     $$\leq ((1+m(s-k))(K_{X}+B)+\lambda_{k+1}A)^{d-s+k}\cdot(m(K_{X}+B))^{s-k}$$

     is bounded from above because $(K_{X}+B)^{i}\cdot A^{d-i}\leq w$ for $0\leq i\leq d$. The first inequality follows from the nefness of $m(s-k)(K_{X}+B)-\sum_{i=1}^{s-k}R_{i}$. The second inequality follows from the inequality $(\ast)$ in Step 5.

   
   

   The above argument implies that

   $$(S,B_{S}),\lambda_{k+1}A_{S}\in{\mathcal{S}}{\mathcal{S}}_{klt}(d-s+k,\Phi\cup\lambda_{k+1}\Phi,\leq\lambda_{k+1}^{d-s}u,v_{k}).$$

   Hence we can apply Theorem 5.1 to $(S,B_{S}),\lambda_{k+1}A_{S}$. Replacing $\lambda_{k+1}$ with a smaller fixed number, we can assume that $(S,B_{S}+\lambda_{k+1}A_{S})$ is lc. By inversion of adjunction [Hac14, Theorem 0.1] or [Kaw07], we conclude that $(X,B+\lambda_{k+1}A)$ is lc near $S$. Since $S=f^{-1}T$ and $T$ is the complete intersection of $(s-k)$ general hypersurfaces, we deduce that $\dim P(\lambda_{k+1})\leq s-k-1$, hence $\mathcal{C}_{k+1}$ is satisfied.

7. In this step we prove that there exists a fixed $\lambda\in\mathbb{R}^{>0}$ such that $(X,B+\lambda A)$ is lc and $K_{X}+B+\lambda A$ is globally nef.

   By induction on $k$, $\mathcal{C}_{s}$ is satisfied for some fixed $\lambda_{s}\in\mathbb{R}^{>0}$. Then $(X,B+\lambda_{s}A)$ is lc over the complement of a finite set of closed points of $Z$ because $\dim P(\lambda_{s})\leq 0$.

   If $K_{X}+B+\lambda_{s}A$ is nef, then let $\lambda=\lambda_{s}$. If $K_{X}+B+\lambda_{s}A$ is not nef, let $R$ be a $(K_{X}+B+\lambda_{s}A)$-negative extremal ray. Repeating the process in Step 4, there is a curve $C$ generating $R$ and satisfying that

   $$(K_{X}+B+\lambda_{s}A)\cdot C\geq-2d$$

   and

   $$m(K_{X}+B)\cdot C\geq 1.$$

   Hence

   $$((1+2md)(K_{X}+B)+\lambda_{s}A)\cdot R\geq 0.$$

   This argument implies that

   $$(1+2md)(K_{X}+B)+\lambda_{s}A$$

   is nef. Let $\lambda=\frac{\lambda_{s}}{1+2md}$, then $K_{X}+B+\lambda A$ is nef.

   The same argument as in Step 6 implies that after replacing $\lambda$ with $\frac{\lambda}{2}$, $K_{X}+B+\lambda A$ is ample. Therefore,

   $$(X,B),\lambda A\in{\mathcal{S}}{\mathcal{S}}_{klt}(d,\Phi\cup\lambda\Phi,\leq\lambda^{d-s}u,v).$$

   Moreover,

   $$\operatorname{vol}(K_{X}+B+\lambda A)=(K_{X}+B+\lambda A)^{d}$$

   is bounded from above because $(K_{X}+B)^{i}\cdot A^{d-i}\leq w$ for $0\leq i\leq d$. By Theorem 5.1, after replacing $\lambda$ with a smaller fixed number, we can assume that $(X,B+\lambda A)$ is lc.

8. In this step we finish the proof. Since $(X,B)$ is $\epsilon$-lc, $(X,B+\frac{\lambda}{2}A)$ is $\frac{\epsilon}{2}$-lc. Since the coefficients of $B+\frac{\lambda}{2}A$ is in the DCC set $\Phi\cup\frac{\lambda}{2}\Phi$, there is a fixed $N\in\mathbb{N}$ such that $|N(K_{X}+B+\frac{\lambda}{2}A)|$ is birational by [HMX14, Theorem 1.3]. Thus $|K_{X}+(2d+1)N(K_{X}+B+\frac{\lambda}{2}A)|$ is birational by [HMX13, Lemma 2.3.4]. Since $\operatorname{vol}(K_{X}+B+\frac{\lambda}{2}A)$ is bounded from above, we conclude that $(X,B+\frac{\lambda}{2}A)$ is log birationally bounded by [HMX13, Theorem 3.1]. Note that $K_{X}+B+\frac{\lambda}{2}A$ is ample, thus $(X,B+\frac{\lambda}{2}A)$ and hence $(X,B),A$ belongs to a bounded family by [HMX14, Theorem 1.6].

∎

Remark 5.2.

The condition “$\operatorname{vol}(A|_{F})\leq u$” in Theorem 1.5 can be removed: applying [Bir22b, Lemma 4.12], we have

$$(K_{X}+B)^{\dim Z}\cdot A^{d-\dim Z}=\operatorname{Ivol}(K_{X}+B)\operatorname{vol}(A|_{F}),$$

thus $\operatorname{vol}(A|_{F})\leq\frac{w}{v}$.

5.3. Proof of Theorem 1.7

In this subsection we first generalize [Fil20, Theorem 1.3] to the generalized pair case. Then we apply Theorem 1.5 to prove Theorem 1.7.

Lemma 5.3.

Let $d\in\mathbb{N}$, $\epsilon,v\in\mathbb{R}^{>0}$, and $I\subset\mathbb{R}^{\geq 0}$ be a finite set. Then there exists a finite set $J\subset\mathbb{R}^{\geq 0}$ depending only on $d,\epsilon,v,I$ satisfying the following.

If $(X,B+M)\in{\mathcal{F}}_{gklt}(d,I,\leq v)$ is a generalized $\epsilon$-lc pair, then $\operatorname{vol}(K_{X}+B+M)\in J$.

Proof.

We follow the proof of [Fil20, Theorem 1.3].

1. Pick a generalized $\epsilon$-lc pair $(X,B+M)\in{\mathcal{F}}_{gklt}(d,I,\leq v)$ with data ${X^{\prime}}\to X$ and ${M^{\prime}}$. Write ${M^{\prime}}=\sum_{i=1}^{l}\mu_{i}{M^{\prime}_{i}}$, where $\mu_{i}\in I$ and ${M^{\prime}_{i}}$ is Cartier nef for any $i$. By [Bir21a, Theorem 1.2] and its proof, there exists a bounded set of couples $\mathcal{P}$ depending only on $d,I,v$ such that there exists a log smooth couple $({\overline{X}},{\overline{\Sigma}})\in\mathcal{P}$ and a birational map $\pi:{\overline{X}}\dasharrow X$ satisfying the following:

   • ${\overline{\Sigma}}$ contains the exceptional divisors of $\pi$ and the support of the birational transform of $B$,

   • each ${M^{\prime}_{i}}$ descends to ${\overline{X}}$ as ${\overline{M}}_{i}$, and

   • ${\overline{A}}-\sum_{i=1}^{l}\mu_{i}{\overline{M}}_{i}$ is pseudo-effective for some very ample divisor ${\overline{A}}\leq{\overline{\Sigma}}$.

   In particular, ${M^{\prime}}$ descends to ${\overline{X}}$ as ${\overline{M}}=\sum_{i=1}^{l}\mu_{i}{\overline{M}}_{i}$ and the number of $M_{i}$ is bounded from above.

   Let ${\overline{B}}=(1-\epsilon)E+\tilde{B}$, where $E$ is the sum of exceptional divisors of $\pi$ and $\tilde{B}$ is the strict transform of $B$. Since $K_{X}+B+M$ is ample, by negativity lemma, if $D$ is a prime divisor on $X$ which is exceptional over ${\overline{X}}$, then

   $$1\geq a(D,X,B+M)\geq a(D,{\overline{X}},{\overline{B}}+{\overline{M}})\geq a(D,{\overline{X}},{\overline{B}}).$$

   Since $({\overline{X}},{\overline{B}})$ is $\epsilon$-lc and belongs to a bounded family, we can extract all such $D$ and obtain a birational model $({\overline{X}}^{\prime},{\overline{\Sigma}}^{\prime})$ which is also in a bounded family by [Bir22a, Theorem 1.2], where ${\overline{\Sigma}}^{\prime}$ is the sum of all exceptional divisors of ${\overline{X}}^{\prime}\to{\overline{X}}$ and the strict transform of ${\overline{\Sigma}}$. Replacing $({\overline{X}},{\overline{\Sigma}})$ with a log bounded resolution of $({\overline{X}}^{\prime},{\overline{\Sigma}}^{\prime})$, we can assume that $\pi^{-1}:X\dasharrow{\overline{X}}$ does not contract divisors. We still denote ${\overline{B}}=(1-\epsilon)E+\tilde{B}$, where $E$ is the sum of exceptional divisors of $\pi$ and $\tilde{B}$ is the strict transform of $B$.

2. Applying Noetherian induction, we can assume that there is a log smooth couple $({\overline{V}},{\overline{\Gamma}})$ and a smooth projective morphism ${\overline{V}}\to T$ onto a smooth variety, such that there is a closed point $t\in T$ so that we can identify ${\overline{X}}$ with ${\overline{V}}_{t}$ and ${\overline{\Sigma}}\leq{\overline{\Gamma}}_{t}$. Possibly taking a finite base change and shrinking $T$ we can assume that $({\overline{V}},{\overline{\Gamma}})$ is log smooth over $T$.

   Since the coefficients of $B$ are in a finite set $I$, without loss of generality, we can assume that the number of components of $B$ and their coefficients are fixed. Hence there exists a boundary ${\overline{\Delta}}$ on ${\overline{V}}$ such that we can identify ${\overline{\Delta}}_{t}$ with ${\overline{B}}$.

   By the argument of Step 3 and Step 4 in the proof of [Bir21a, Theorem 1.3], there exist divisors ${\overline{N}}_{i}$ on ${\overline{V}}$ such that ${\overline{N}}_{i}|_{{\overline{V}}_{t}}\sim_{\mathbb{Q}}{\overline{M}}_{i}$. If we write ${\overline{N}}=\sum_{i=1}^{l}\mu_{i}{\overline{N}}_{i}$, then ${\overline{N}}|_{V_{t}}\sim_{\mathbb{R}}{\overline{M}}$. Since $\mu_{i}$’s belong to a finite set $I$, without loss of generality, we can assume that $\mu_{i}$’s are all fixed. Therefore, we regard ${\overline{N}}$ as a fixed divisor on ${\overline{V}}$.

3. Applying [Fil18, Theorem 1.12] to $({\overline{V}},{\overline{\Delta}}),{\overline{N}}$, we deduce that $\operatorname{vol}(K_{{\overline{X}}}+{\overline{B}}+{\overline{M}})$ is fixed. Since $(X,B+M)$ is generalized $\epsilon$-lc, ${\overline{B}}=(1-\epsilon)E+\tilde{B}$ and $X\dasharrow{\overline{X}}$ does not contract divisors, we have

   $$\operatorname{vol}(K_{{\overline{X}}}+{\overline{B}}+{\overline{M}})=\operatorname{vol}(K_{X}+B+M).$$

   Therefore, $\operatorname{vol}(K_{X}+B+M)$ is fixed and we finish the proof.

∎

Proof of Theorem 1.7.

Let $(X,B),A\in{\mathcal{S}}_{klt}(d,\Phi,\leq u,\leq v)$ such that $(X,B)$ is $\epsilon$-lc, and let $f:X\to Z$ be the contraction induced by the semi-ample $\mathbb{R}$-divisor $K_{X}+B$. By Theorem 3.2, there exist finite sets $J,\Psi\subset\mathbb{R}^{\geq 0}$ depending only on $d,u,\epsilon,\Phi$, such that there is an adjunction formula

$$K_{X}+B\sim_{\mathbb{R}}f^{*}(K_{Z}+B_{Z}+M_{Z})$$

satisfying the following:

• $B_{Z}\in\Psi$, and

• $M_{{Z^{\prime}}}=\sum_{i=1}^{l}r_{i}M_{i,{Z^{\prime}}}$ on some high resolution ${Z^{\prime}}\to Z$, where $r_{i}\in J$ and $M_{i,{Z^{\prime}}}$ is Cartier nef for any $i$.

Therefore, we have

$$(Z,B_{Z}+M_{Z})\in{\mathcal{F}}_{gklt}(d,J\cup\Psi,\leq v).$$

By Lemma 2.11, $(Z,B_{Z}+M_{Z})$ is generalized $\delta$-lc for some $\delta$ depending only on $d,\epsilon$. Then Lemma 5.3 implies that

$$\operatorname{Ivol}(K_{X}+B)=\operatorname{vol}(K_{Z}+B_{Z}+M_{Z})$$

is in a finite set depending only on $d,\delta,v,J,\Psi$, hence depending only on $d,\epsilon,u,v,\Phi$. Without loss of generality, we can assume that $\operatorname{Ivol}(K_{X}+B)=v_{0}$ for some fixed $v_{0}\in\mathbb{R}^{>0}$. Therefore, $(X,B),A\in{\mathcal{S}}_{klt}(d,\Phi,\leq u,v_{0})$, and the theorem follows from Theorem 1.5. ∎