Abstract
We show that minimal models of \(\mathbb {Q}\)-factorial NQC log canonical generalised pairs exist, assuming the existence of minimal models of smooth varieties. More generally, we prove that on a \(\mathbb {Q}\)-factorial NQC log canonical generalised pair \( (X,B+M) \) we can run an MMP with scaling of an ample divisor which terminates, assuming that it admits an NQC weak Zariski decomposition or that \( K_X+B+M\) is not pseudoeffective. As a consequence, we establish several existence results for minimal models and Mori fibre spaces.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
This paper addresses the problems of the existence of minimal models and Mori fibre spaces for generalised pairs. The category of generalised pairs, which enlarges the category of usual pairs, was introduced in [6] and was instrumental in several recent developments in birational geometry. A partial overview can be found in [5], with further developments in [7, 10, 15,16,17, 26] and the references therein. As indicated in [7, 26, 28], understanding generalised pairs is essential even if one is only interested in studying the birational geometry of varieties.
Generalised pairs are, roughly speaking, couples of the form \((X,B+M)\), where X is a normal projective variety, B is an effective \(\mathbb {R}\)-divisor on X and M is an auxiliary \(\mathbb {R}\)-divisor on X such that \( K_X+B+M \) is \( \mathbb {R}\)-Cartier. Here, the divisor M has certain positivity properties and satisfies the additional NQC condition, which allows for generalised pairs to behave similarly to usual pairs in many proofs; for the precise definitions, see Sect. 2.
In this paper we extend our earlier results from [26] to the setting of generalised pairs and we generalise several other results from the context of usual pairs to the category of generalised pairs. The following is our main result.
Theorem 1.1
Assume the existence of minimal models for smooth varieties of dimension \(n-1\).
Let \( (X/Z,B+M) \) be a \( \mathbb {Q}\)-factorial NQC log canonical generalised pair of dimension n. Assume that either
-
(a)
\( (X,B+M) \) admits an NQC weak Zariski decomposition over Z, or
-
(b)
\( K_X+B+M\) is not pseudoeffective over Z.
Then for any \(\mathbb {R}\)-divisors P and \( N\ge 0 \) on X such that P is the pushforward of an NQC divisor over Z on a birational model of X and such that the generalised pair \( \big ( X, (B+N) + (M+P) \big ) \) is log canonical and the divisor \( K_X + B + N + M + P \) is nef over Z, there exists a \( (K_X + B + M) \)-MMP over Z with scaling of \(P+N\) that terminates.
In particular, the generalised pair \( (X,B+M) \) has either a minimal model over Z or a Mori fibre space over Z.
For the definition of an NQC weak Zariski decomposition, see Sect. 2. Note that in this and in all other results of this paper, the assumption in lower dimensions means the existence of relative minimal models, that is, minimal models of smooth quasi-projective varieties which are projective and whose canonical class is pseudoeffective over another normal quasi-projective variety.
Theorem 1.1 shows in particular that, assuming the existence of minimal models for smooth varieties of dimension \(n-1\), the existence of an NQC weak Zariski decomposition of a \(\mathbb {Q}\)-factorial NQC log canonical generalised pair is equivalent to the existence of a minimal model of that generalised pair, see Remark 2.8. This generalises [4, Theorem 1.5] to the setting of generalised pairs with significantly refined assumptions in lower dimensions, cf. [26, Theorem B].
After this paper appeared on the arXiv, Hashizume [11] and Liu and Xie [27] obtained new results regarding the existence of minimal models in the sense of Birkar-Shokurov for generalised pairs with boundaries containing ample divisors. This allows us to improve considerably Proposition 5.1 below by removing the assumption in lower dimensions. In particular, we establish the existence of Mori fibre spaces for non-pseudoeffective generalised pairs in any dimension in the following Theorem 1.2. The proof of this result is given in the Appendix, which is written jointly with Xiaowei Jiang.
Theorem 1.2
Let \( (X/Z,B+M) \) be a \(\mathbb {Q}\)-factorial NQC log canonical generalised pair. Assume that \( (X,B+M) \) has a minimal model in the sense of Birkar-Shokurov over Z or that \( K_X+B+M \) is not pseudoeffective over Z. Let A be an effective \( \mathbb {R}\)-Cartier \( \mathbb {R}\)-divisor on X which is ample over Z such that \( K_X + B + A + M \) is nef over Z. Then there exists a \( (K_X + B + M) \)-MMP over Z with scaling of A that terminates.
In particular:
-
(a)
\((X,B+M)\) has a minimal model in the sense of Birkar-Shokurov over Z if and only if it has a minimal model over Z,
-
(b)
if \(K_X+B+M\) is not pseudoeffective over Z, then \((X,B+M)\) has a Mori fibre space over Z.
Theorem 1.1 has several immediate consequences. First of all, it allows us to reduce the problem of the existence of minimal models for \(\mathbb {Q}\)-factorial NQC log canonical generalised pairs to the problem of the existence of minimal models for smooth varieties, cf. [26, Theorem A].
Corollary 1.3
The existence of minimal models for smooth varieties of dimension n implies the existence of minimal models for \(\mathbb {Q}\)-factorial NQC log canonical generalised pairs of dimension n.
We also have the following corollary in low dimensions, cf. [26, Corollary D].
Corollary 1.4
Let \( (X/Z,B+M) \) be a \( \mathbb {Q}\)-factorial NQC log canonical generalised pair of dimension n. Then the following statements hold:
-
(i)
If \(n \le 4\) and \( K_X+B+M\) is pseudoeffective over Z, then \( (X,B+M) \) has a minimal model over Z.
-
(ii)
If \(n \le 5\), \( K_X+B+M\) is pseudoeffective over Z and a general fibre of the morphism \( X\rightarrow Z \) is uniruled, then \( (X,B+M) \) has a minimal model over Z.
Part (i) of Corollary 1.4 was already shown in [16, Theorem 1.5] as a consequence of [7, Theorems 1.1 and 1.2]. Part (ii) of Corollary 1.4 is a special case of the following generalisation of [26, Theorems C and 4.3].
Theorem 1.5
Assume the existence of minimal models for smooth varieties of dimension \(n-1\).
Let \( (X/Z,B+M) \) be a pseudoeffective \(\mathbb {Q}\)-factorial NQC log canonical generalised pair of dimension n such that a general fibre of the morphism \( X\rightarrow Z \) is uniruled. Then \((X,B+M)\) has a minimal model over Z.
In our previous work [26] we obtained similar statements to Corollary 1.3 and Theorem 1.5 when additionally the underlying variety of the given generalised pair has klt singularities. The main reason for this additional assumption was that, in its presence, one can reduce several foundational results in the geometry of generalised pairs, such as the existence of surgery operations in the MMP, to statements about usual pairs, see [6, 14]. These foundational results (the Cone and Contraction theorems, the existence of divisorial contractions and flips) were recently established in [16] for \(\mathbb {Q}\)-factorial NQC log canonical generalised pairs.
Finally, we obtain the following generalisation of [4, Corollary 1.6].
Corollary 1.6
Assume the existence of minimal models for smooth varieties of dimension \(n-1\).
Let \((X/Z,B_1+M_1)\) and \((X/Z,B_2+M_2)\) be \( \mathbb {Q}\)-factorial NQC log canonical generalised pairs of dimension n such that \(B_2 \ge B_1 \) and \( M_2 - M_1 \) is the pushforward of an NQC divisor on some higher model of X. If \((X,B_1+M_1)\) admits an NQC weak Zariski decomposition over Z, then \((X,B_2+M_2)\) has a minimal model over Z.
We now outline the main ingredients in the proof of Theorem 1.1. First, under some mild assumptions in lower dimensions, we prove the existence of NQC weak Zariski decompositions for generalised pairs satisfying additional properties by using essentially the same line of arguments as in the proof of [26, Theorem 3.2], see Theorem 3.1. In these arguments, we use the MMP in order to find an appropriate birational model on which we can “lift” an NQC weak Zariski decomposition from a lower-dimensional variety by invoking the canonical bundle formula for generalised pairs [8, 17]. Second, in Theorem 4.1 we generalise [3, Theorem 4.1(iii)] and [14, Theorem 4.1] to \(\mathbb {Q}\)-factorial NQC log canonical generalised pairs, namely we show that under reasonable assumptions every MMP with scaling terminates. Next, we employ this result in Sect. 5 to demonstrate that the existence of minimal models in the sense of Birkar-Shokurov implies the termination of flips with scaling of ample divisors in the category of generalised pairs, following the same strategy as in [12], but using crucially Theorems 3.1 and 4.1. Here, the central beautiful idea from [12] is to a priori choose carefully an ample divisor with which one runs the MMP with scaling. All these results, together with [26, Theorem 4.4], which plays a fundamental role in this paper, allow us now to deduce Theorem 1.1.
2 Preliminaries
Throughout the paper we work over the field \( \mathbb {C}\) of complex numbers. Unless otherwise stated, we assume that varieties are normal and quasi-projective and that a variety X over a variety Z, denoted by X/Z, is projective over Z. We often quote in the paper the Negativity lemma [21, Lemma 3.39(1)].
A fibration is a projective surjective morphism with connected fibres. A birational contraction is a birational map whose inverse does not contract any divisors.
Let \( \pi :X\rightarrow Z \) be a projective morphism between normal varieties and let D be an \( \mathbb {R}\)-Cartier \( \mathbb {R}\)-divisor on X. The divisor D is pseudoeffective over Z if it is pseudoeffective on a very general fibre of \( \pi \), and D is an NQC divisor (over Z) if it is a non-negative linear combination of \(\mathbb {Q}\)-Cartier divisors on X which are nef over Z; the acronym NQC stands for nef \(\mathbb {Q}\)-Cartier combinations [14]. Two \( \mathbb {R}\)-Cartier \( \mathbb {R}\)-divisors \( D_1 \) and \( D_2 \) on X are \(\mathbb {R}\)-linearly equivalent over Z, denoted by \( D_1 \sim _{\mathbb {R},Z} D_2 \), if there exists an \(\mathbb {R}\)-Cartier \(\mathbb {R}\)-divisor G on Z such that \(D_1\sim _\mathbb {R}D_2+\pi ^*G\), and they are numerically equivalent over Z, denoted by \( D_1 \equiv _Z D_2 \), if \( D_1\cdot C = D_2 \cdot C \) for any curve C contained in a fibre of \( \pi \).
Given a normal projective variety X and a pseudoeffective \(\mathbb {R}\)-Cartier \(\mathbb {R}\)-divisor D on X, we denote by \( \nu (X,D) \) the numerical dimension of D, see [29, Chapter V].
Let \(\varphi :X\dashrightarrow Y\) be a birational contraction between normal varieties, let D be an \(\mathbb {R}\)-Cartier \(\mathbb {R}\)-divisor on X and assume that \(\varphi _*D\) is \(\mathbb {R}\)-Cartier. We say that the map \(\varphi \) is D-nonpositive (respectively D-negative) if there exists a resolution of indeterminacies \((p,q):W\rightarrow X\times Y\) of \(\varphi \) such that W is smooth and
where E is an effective q-exceptional \(\mathbb {R}\)-divisor (respectively E is an effective q-exceptional \(\mathbb {R}\)-divisor whose support contains the strict transform of every \(\varphi \)-exceptional prime divisor).
2.1 Generalised pairs
For the theory of usual pairs, their singularities and the Minimal Model Program (MMP) we refer to [9, 21]. For the analogous concepts and results in the setting of generalised pairs we refer to [6, 7, 14, 16, 24, 26] and the relevant references therein.
Here, we briefly recall the definitions of generalised pairs and their various classes of singularities as well as some basic properties that will be needed in this paper.
Definition 2.1
A generalised pair, abbreviated as g-pair, consists of a normal variety X, equipped with projective morphisms
where f is birational and \( X' \) is a normal variety, an effective \( \mathbb {R}\)-divisor B on X, and an \(\mathbb {R}\)-Cartier \(\mathbb {R}\)-divisor \( M' \) on \(X'\) which is nef over Z, such that \( K_X + B + M \) is \( \mathbb {R}\)-Cartier, where \( M := f_* M' \). We say that the divisor B, respectively M, is the boundary part, respectively the nef part, of the g-pair.
Furthermore, we say that \( (X/Z,B+M) \) is NQC if \(M'\) is an NQC divisor on \( X' \), and that it is pseudoeffective over Z if \( K_X + B + M \) is pseudoeffective over Z.
The variety \(X'\) in the definition may always be chosen as a sufficiently high birational model of X. Often in this paper we do not refer explicitly to the data of a g-pair and write simply \((X/Z,B+M)\), but remember the whole g-pair structure.
We make the following convention throughout the paper: when we write \(\big (X,(B+N)+(M+P)\big )\) for a \(\mathbb {Q}\)-factorial g-pair, then it is implicitly assumed that \((X,B+M)\) and \((X,N+P)\) are likewise g-pairs.
Definition 2.2
Let \( (X,B+M) \) be a g-pair with data \( X' \overset{f}{\rightarrow } X \rightarrow Z \) and \( M' \). Let E be a divisorial valuation over X; its centre on X is denoted by \( c_X(E) \). We may assume that \( c_X(E) \) is a prime divisor on \( X' \). If we write
for some \( \mathbb {R}\)-divisor \( B' \) on \( X' \), then the discrepancy of E with respect to \( (X,B+M) \) is
We say that the g-pair \( (X,B+M) \) is:
-
(a)
klt if \( a(E,X,B+M) > -1 \) for any divisorial valuation E over X,
-
(b)
log canonical if \( a(E,X,B+M) \ge -1 \) for any divisorial valuation E over X,
-
(c)
dlt if it is log canonical and if there exists an open subset \(U \subseteq X\) such that \((U,B|_U)\) is a log smooth pair, and if \( a(E,X,B+M) = -1 \) for some divisorial valuation E over X, then \( c_X(E) \cap U \ne \emptyset \) and \( c_X(E) \cap U \) is a log canonical centre of \((U,B|_U)\).
We have adopted the definition of dlt singularities from [14].
The following lemma generalises [21, Corollaries 2.35(1) and 2.39(1)] to the setting of g-pairs.
Lemma 2.3
If \(\big (X/Z,(B+N)+(M+P)\big )\) is a \(\mathbb {Q}\)-factorial klt, respectively dlt, log canonical, g-pair, then the g-pair \((X,B+M)\) is also klt, respectively dlt, log canonical.
Proof
If \( \big (X,(B+N)+(M+P)\big ) \) is klt or log canonical, then the statement was shown in [7, Lemma 2.6]. We may thus assume that the pair is dlt. By definition there exists an open subset \( U \subseteq X \) such that \(\big (U,(B+N)|_U\big )\) is a log smooth pair, and if \( a\big (E,X,(B+N)+(M+P)\big ) = -1 \) for some divisorial valuation E over X, then \( c_X(E) \cap U \ne \emptyset \) and \( c_X(E) \cap U \) is a log canonical centre of \(\big (U,(B+N)|_U\big )\).
Note that the g-pair \((X,B+M)\) is log canonical by the above. Fix a divisorial valuation E over X with
It suffices to show that \( c_X(E) \cap U \ne \emptyset \) and that \( c_X(E) \cap U \) is a log canonical centre of \((U,B|_U)\).
Pick a sufficiently high log resolution \(f:X'\rightarrow X\) of \((X,B+N)\) such that there exist \(\mathbb {R}\)-divisors \(M'\) and \(P'\) on \(X'\) which are nef over Z with \(M=f_*M'\) and \(P=f_*P'\), and such that \(c_{X'}(E)\) is a divisor. By the Negativity lemma we have
where F is an effective f-exceptional \(\mathbb {R}\)-divisor, and an easy calculation then gives
This implies
The first relation shows that \( c_X(E) \cap U \ne \emptyset \) is a log canonical centre of \(\big (U,(B+N)|_U\big )\) by the definition of U, hence it is a log canonical centre of \((U,B|_U)\) by the second relation, as desired. \(\square \)
The next result is [14, Proposition 3.9] and will be used several times in the paper without explicit mention.
Lemma 2.4
Let \((X,B+M)\) be a log canonical g-pair with data \( {\widetilde{X}} \overset{f}{\rightarrow } X \rightarrow Z \) and \( {\widetilde{M}} \). Then, after possibly replacing f with a higher model, there exist a \(\mathbb {Q}\)-factorial dlt g-pair \((X',B'+M')\) with data \( {\widetilde{X}} \overset{g}{\rightarrow } X' \rightarrow Z \) and \( {\widetilde{M}} \), and a projective birational morphism \(h :X' \rightarrow X\) such that
where E is the sum of the h-exceptional prime divisors. The g-pair \((X',B'+M')\) is called a dlt blowup of \((X,B+M)\).
2.2 Minimal models and Mori fibre spaces
We recall the definitions of minimal models in the usual sense and in the sense of Birkar-Shokurov, as well as the definition of Mori fibre spaces.
Definition 2.5
Assume that we have a birational map \(\varphi :X \dashrightarrow X'\) over Z and g-pairs \((X/Z,B+M)\) and \((X'/Z,B'+M')\) such that \((X,B+M)\) is log canonical and the divisors M and \( M' \) are pushforwards of the same nef \(\mathbb {R}\)-divisor on a common birational model of X and \(X'\).
-
(a)
The map \(\varphi \) is a minimal model in the sense of Birkar-Shokurov over Z of the g-pair \((X,B+M)\) if \( B' =\varphi _*B+E\), where E is the sum of all prime divisors which are contracted by \(\varphi ^{-1}\), if \(X'\) is \(\mathbb {Q}\)-factorial, if the divisor \(K_{X'}+B'+M'\) is nef over Z and if
$$\begin{aligned} a(F,X,B+M) < a(F,X',B'+M') \end{aligned}$$for any prime divisor F on X which is contracted by \(\varphi \). Note that the g-pair \( (X',B'+M')\) is log canonical by [24, Lemma 2.8(i)].
If, moreover, the map \(\varphi \) is a birational contraction, but \(X'\) is not necessarily \(\mathbb {Q}\)-factorial if X is not \(\mathbb {Q}\)-factorial (and \(X'\) is \(\mathbb {Q}\)-factorial if X is \(\mathbb {Q}\)-factorial), then \(\varphi \) is a minimal model of \((X,B+M)\) over Z.
-
(b)
If the map \(\varphi \) is a birational contraction, if \( B' = \varphi _* B \), if \( K_{X'} + B' + M' \) is ample over Z and if
$$\begin{aligned} a(F,X,B+M)\le a(F,X',B'+M') \end{aligned}$$for every \(\varphi \)-exceptional prime divisor F on X, then \((X',B'+M')\) is a canonical model of \((X,B+M)\) over Z. Note that the g-pair \( (X',B'+M')\) is log canonical by [24, Lemma 2.8(i)] and unique up to isomorphism by [24, Lemma 2.12].
-
(c)
If the map \(\varphi \) is a birational contraction, if \( B' = \varphi _* B \), if \(X'\) is \(\mathbb {Q}\)-factorial when X is \(\mathbb {Q}\)-factorial, if there exists a \( (K_{X'} + B' + M') \)-negative extremal contraction \( X' \rightarrow T \) over Z with \( \dim X' > \dim T \), if for any divisorial valuation F over X we have
$$\begin{aligned} a(F,X,B+M) \le a(F,X',B'+M') , \end{aligned}$$and the strict inequality holds if \( c_X(F) \) is a \( \varphi \)-exceptional prime divisor, then \( (X',B'+M') \) is a Mori fibre space of \( (X,B+M) \) over Z.
Remark 2.6
For the differences among these notions of a minimal model, see [26, Subsection 2.2]. We highlight that here we allow a minimal model in the sense of Birkar-Shokurov to be log canonical and not only dlt.
We note here the following properties of minimal models in the sense of Birkar-Shokurov. In the notation from Definition 2.5(a), for every resolution of indeterminacies \((p,q):W \rightarrow X\times X'\) of the map \(\varphi \), the divisor
is effective and q-exceptional. In particular, we have \(a(F,X,B+M) \le a(F,X',B'+M')\) for every geometric valuation F over X and
for any geometric valuation F over X which is exceptional over X but is not exceptional over Y. This is proved analogously as in [3, Remark 2.6].
Furthermore, if \(B_W\) is the sum of \(p_*^{-1}B\) and of all p-exceptional prime divisors on W, then the divisor
is effective and p-exceptional since the g-pair \((X,B+M)\) is log canonical, where \(M_W\) is the pushforward of the nef \(\mathbb {R}\)-divisor as in Definition 2.5. Moreover, it is also q-exceptional: indeed, if F is a prime divisor on W which is p-exceptional but not q-exceptional, then \(a(F,X,B+M) = -1\) by the previous paragraph, so F cannot be a component of \( K_W+B_W+M_W - p^*(K_X+B+M) \).
2.3 NQC weak Zariski decompositions
First, we recall the notion of an NQC weak Zariski decomposition, which plays a fundamental role in this paper. For further information we refer to [4, 14, 26].
Definition 2.7
Let \( X \rightarrow Z \) be a projective morphism between normal varieties and let D be an \( \mathbb {R}\)-Cartier \(\mathbb {R}\)-divisor on X. An NQC weak Zariski decomposition of D over Z consists of a projective birational morphism \( f :W \rightarrow X \) from a normal variety W and a numerical equivalence \( f^* D \equiv _Z P + N \), where P is an NQC divisor (over Z) on W and N is an effective \(\mathbb {R}\)-Cartier \(\mathbb {R}\)-divisor on W.
Moreover, if \( (X/Z,B+M) \) is an NQC g-pair, then we say that \( (X,B+M) \) admits an NQC weak Zariski decomposition over Z if the divisor \( K_X + B + M \) admits an NQC weak Zariski decomposition over Z.
Remark 2.8
If an NQC log canonical g-pair \( (X,B+M) \) has a minimal model in the usual sense or in the sense of Birkar-Shokurov over Z, then it admits an NQC weak Zariski decomposition over Z by (the proof of) [14, Proposition 5.1].
Next, we prove an easy corollary of [26, Theorem 4.4], which was hinted at but not formulated in [26] and which will be used crucially in the proof of Lemma 3.2. Note that this result generalises [4, Corollary 1.6] to the setting of g-pairs with significantly weaker assumptions in lower dimensions.
Lemma 2.9
Assume the existence of minimal models for smooth varieties of dimension \(n-1\).
Let \((X/Z,B_1+M_1)\) and \((X/Z,B_2+M_2)\) be NQC log canonical g-pairs of dimension n such that \(B_2 \ge B_1 \) and \( M_2 - M_1 \) is the pushforward of an NQC divisor on some higher model of X. If \((X,B_1+M_1)\) admits an NQC weak Zariski decomposition over Z, then \((X,B_2+M_2)\) has a minimal model in the sense of Birkar-Shokurov over Z.
Proof
Let \( f :X' \rightarrow X \) be a high birational model such that there exists an NQC divisor \( Q' \) on \( X' \) with
and such that
where P is an NQC divisor on \( X' \) and N is an effective \(\mathbb {R}\)-Cartier \( \mathbb {R}\)-divisor on \( X' \), see [26, Remark 2.11]. By the Negativity lemma we have
where E is an effective f-exceptional \( \mathbb {R}\)-Cartier \( \mathbb {R}\)-divisor on \( X' \). Moreover, since \( B_1 \le B_2 \), we may write
where G is an effective \( \mathbb {R}\)-divisor on X. Then (1), (2), (3) and (4) give
which is an NQC weak Zariski decomposition of \( (X,B_2+M_2) \) over Z. We conclude by [26, Theorem 4.4(i)]. \(\square \)
Finally, for a variant of Lemma 2.9, where we assume additionally that X is \( \mathbb {Q}\)-factorial, but we obtain the stronger conclusion that \( (X,B_2+M_2) \) has a minimal model in the usual sense over Z, see Corollary 1.6.
2.4 The MMP for generalised pairs
In this paper we use—frequently without explicit mention—the foundations of the Minimal Model Program for NQC \(\mathbb {Q}\)-factorial log canonical generalised pairs, as established recently in [16]. We recall briefly the main results.
Let \( (X/Z,B+M) \) be a \( \mathbb {Q}\)-factorial NQC log canonical g-pair. First of all, the Cone and Contraction theorems for \( (X/Z,B+M) \) were established in [16, Theorem 1.3] and are analogous to the Cone theorem for usual pairs [9, Theorem 4.5.2]. Then, similarly as in the case of usual pairs, an extremal contraction can be either divisorial, flipping, or define a Mori fibre space structure. As shown in [16, Subsection 5.5], the divisorial and Mori contractions behave well in any MMP; in particular, the Picard number drops after a divisorial contraction. Moreover, flips for \( \mathbb {Q}\)-factorial NQC log canonical g-pairs exist by [16, Theorem 1.2]. All this implies that one may run a \( (K_X + B + M) \)-MMP over Z, whose termination is not known in general. However, the paper [7] establishes the termination of flips for \( \mathbb {Q}\)-factorial NQC log canonical g-pairs of dimension 3 and for pseudoeffective \( \mathbb {Q}\)-factorial NQC log canonical g-pairs of dimension 4, see also [18, 28]. Note that \(\mathbb {Q}\)-factoriality is preserved in any MMP by [16, Corollaries 5.20 and 5.21 and Theorem 6.3].
Now, let \( \big ( X/Z, (B+N) + (M+P) \big ) \) be a \( \mathbb {Q}\)-factorial NQC log canonical g-pair such that the divisor \( K_X + B + N + M + P \) is nef over Z. Then by [16, Corollary 5.22] we may run a \( (K_X + B + M) \)-MMP with scaling of \( P+N \) over Z, cf. [14, Section 3.4], whose termination is not known in general. In particular, we may run a \( (K_X + B + M) \)-MMP with scaling of an ample divisor over Z, cf. [6, Section 4], [14, Section 3.1]. We refer to [6, 14, 26] for various results concerning the termination of the MMP with scaling of an ample divisor in the setting of g-pairs, and to Sects. 4 and 5 for further developments. We state here for future reference the following result, which has already appeared implicitly in [14, 26], and we provide the details for the convenience of the reader.
Lemma 2.10
Let \( (X/Z,B+M) \) be an NQC log canonical g-pair such that (X, 0) is \(\mathbb {Q}\)-factorial klt. Let A be an effective \( \mathbb {R}\)-Cartier \( \mathbb {R}\)-divisor on X which is ample over Z such that \( \big ( X/Z,(B+A)+M \big ) \) is log canonical and \( K_X + B + A + M \) is nef over Z. If \( (X,B+M) \) has a minimal model in the sense of Birkar-Shokurov over Z, then any \( (K_X + B + M) \)-MMP with scaling of A over Z terminates.
Proof
Denote by \( \lambda _i \) the corresponding nef thresholds in the steps of the given MMP and set \( \lambda := \lim \nolimits _{i\rightarrow \infty } \lambda _i \). We distinguish two cases.
Assume first that \( \lambda > 0 \). Then the given MMP is also a \((K_X + B + M + \frac{\lambda }{2} A)\)-MMP. By [14, Lemma 3.5] there exists a boundary \( \Delta \) on X such that \(K_X + \Delta \sim _{\mathbb {R},Z} K_X + B + M + \frac{\lambda }{2} A \), the pair \((X,\Delta )\) is klt and the divisor \( \Delta \) is big over Z. By [1, Corollary 1.4.2] the \((K_X+\Delta )\)-MMP over Z with scaling of A terminates, and therefore the original MMP terminates.
Assume now that \( \lambda = 0 \). By assumption and by [14, Theorem 4.1] we deduce that the given MMP terminates. \(\square \)
In the remainder of this subsection we prove an analogue of [2, Proposition 3.2(5)] in the context of g-pairs, which plays a fundamental role in the proofs of Theorems 3.1 and 5.2 and is also of independent interest. It generalises both [14, Lemma 3.17] and [26, Lemma 2.20].
Notation 2.11
Let X be a \(\mathbb {Q}\)-factorial variety, let \(F_1 ,\dots , F_k\) be prime divisors on X, and for each \( j \in \{ 1, \dots , \ell \} \) let \(G_j\) be the pushforward to X of a nef over Z Cartier divisor on some high birational model of X. Consider the vector space
We write the elements of V as sums \( N+P \), where \( N \in \bigoplus _{i=1}^k \mathbb {R}F_i \) and \( P \in \bigoplus _{j=1}^\ell \mathbb {R}G_j \). We define a norm on V as follows: given \( N = n_1 F_1 + \cdots + n_k F_k\) and \( P = p_1 G_1 + \cdots + p_\ell G_\ell \), we set
If we consider the cone
in V, then for each \(N+P\in V_{\ge 0}\) we have that \( (X, N+P) \) is a \(\mathbb {Q}\)-factorial NQC g-pair. Moreover, the set
is a rational polytope, which may be unbounded; see for instance [14, Section 3.3].
Proposition 2.12
Assume Notation 2.11. Let \( (X/Z,B+M) \in {\mathcal {L}}(V)\) such that the divisor \( K_X+B+M \) is nef over Z. Then there exists a positive real number \( \delta \) such that if \( N+P \in \mathcal {L}(V) \) with \( \Vert (N-B) + (P-M) \Vert < \delta \), then any \( (K_X+N+P) \)-MMP over Z is \( (K_X+B+M) \)-trivial.
Proof
First, by [15, Proposition 2.6] there exist positive real numbers \(r_1,\dots ,r_m\) and \(\mathbb {Q}\)-divisors \(B^{(1)},\dots , B^{(m)}\) and \(M^{(1)},\dots , M^{(m)}\) such that
and for each \( j \in \{1, \dots , m\} \), \((X,B^{(j)}+M^{(j)})\) is a log canonical g-pair and the divisor \( K_X + B^{(j)} + M^{(j)} \) is nef over Z. In particular, we have
Let r be a positive integer such that \( r \big (K_X + B^{(j)} + M^{(j)} \big ) \) is Cartier for every \( j \in \{1, \dots , m\} \), and set
Since \(\mathcal {L}(V)\) is a polytope, there exists a positive real number \(\delta \) with the following property: if \( N+P \in \mathcal {L}(V) \) with \( \Vert (N-B) + (P-M) \Vert < \delta \), then there exist a point \( N'+P' \in \mathcal {L}(V) \) and a real number
such that
Now, we fix \( N+P \in \mathcal {L}(V) \) with \( \Vert (N-B) + (P-M) \Vert < \delta \), and we also fix a number t and a divisor \( N'+P' \in \mathcal {L}(V) \) as in (6) and (7). Moreover, we run a \( (K_X + N + P) \)-MMP over Z:
For every i denote by \( B_i \), \( B_i^{(j)} \), \( M_i \) and \( M_i^{(j)} \) the pushforwards on \( X_i \) of B, \( B^{(j)} \), M and \( M^{(j)} \), respectively. Assume that we showed that the MMP is \( (K_X+B+M) \)-trivial up to the variety \(X_i\). We will now show that the map \(X_i\dashrightarrow X_{i+1}\) is \( (K_{X_i}+B_i+M_i) \)-trivial.
Denote by \( N_i' \) and \( P_i' \) the pushforwards on \( X_i \) of \( N' \) and \( P' \), respectively. From (7) we have
which implies that the MMP is \( (K_X+N'+P') \)-negative up to variety \(X_i\). In particular, the g-pair \((X_i,N_i'+P_i')\) is log canonical.
Since the MMP is \( (K_X+B+M) \)-trivial up to variety \(X_i\), by [16, Theorem 1.3(4)(c)] we deduce that the g-pair \((X_i,B_i+M_i)\) is log canonical and that the divisor \(K_{X_i}+B_i+M_i\) is nef over Z. Consequently, by (5), the g-pairs \((X_i , B_i^{(j)} + M_i^{(j)})\) are log canonical, the divisors \(K_{X_i} + B_i^{(j)} + M_i^{(j)}\) are nef over Z, and \(r(K_{X_i} + B_i^{(j)} + M_i^{(j)})\) is Cartier for every \( j \in \{1, \dots , m\} \) again by [16, Theorem 1.3(4)(c)].
Let R be the \( (K_{X_i}+N_i+P_i) \)-negative extremal ray over Z contracted at the i-th step of the MMP. As the divisor \( K_{X_i}+B_i+M_i \) is nef over Z, by (7) we infer that \( (K_{X_i}+N_i'+P_i') \cdot R < 0 \), hence by [16, Theorem 1.3(2)] there exists a rational curve whose class belongs to R and satisfies
Assume that \( (K_{X_i}+B_i+M_i) \cdot C > 0 \). Since
by (5), we infer that at least one number \( \big (K_{X_i} + B_i^{(j)} + M_i^{(j)} \big )\cdot C \in \frac{1}{r}\mathbb {Z}\) is non-zero. Thus,
Therefore, by (6), (7), (8) and (9) we obtain
a contradiction. Consequently, \( (K_{X_i}+B_i+M_i) \cdot C = 0 \), which finishes the proof. \(\square \)
2.5 Lifting a sequence of flips with scaling
Let \( \big ( X_1/Z, (B_1+N_1) + (M_1+P_1) \big ) \) be a \(\mathbb {Q}\)-factorial NQC log canonical g-pair such that \( K_{X_1} + B_1 + N_1 + M_1 + P_1 \) is nef over Z. Then we may run a \( (K_{X_1} + B_1 + M_1) \)-MMP with scaling of \( P_1+N_1 \) over Z, and we assume now (for our purposes here) that it consists only of flips. Thus, we obtain the following diagram:
We denote by \( P_i \) and \( N_i \) the pushforwards of \(P_1\) and \( N_1 \) on \( X_i \), respectively, and by \( \lambda _i \) the corresponding nef thresholds:
Let \( h_1 :(X_1',B_1'+M_1') \rightarrow (X_1,B_1+M_1) \) be a dlt blowup of \( (X_1,B_1+M_1) \). In particular, we have
Let \(f_1:W\rightarrow X_1\) be a log resolution of all the divisors in sight on \(X_1\) which dominates \(X_1'\) and such that \(P_1=(f_1)_*P_W\), where \(P_W\) is a divisor on W which is NQC over Z. We may write
where \( E_1 \) is an \( f_1 \)-exceptional \( \mathbb {R}\)-divisor on W which is actually effective by the Negativity lemma and since \( N_1 \ge 0 \). We define \(P_1'\) and \(N_1'\) as the pushforwards of \(P_W\) and \((f_1)_*^{-1} N_1+E_1\), respectively, to \(X_1'\), and we note that
Lemma 2.13
With notation and assumptions as above, there exists a diagram
where the map \( \rho _1 :X_1' \dashrightarrow X_2' \) is a \((K_{X_1'}+B_1'+M_1')\)-MMP with scaling of \( P_1' + N_1' \) over \( Z_1 \) and the map \( h_2 :(X_2',B_2'+M_2') \rightarrow (X_2,B_2+M_2) \) is a dlt blowup of the g-pair \( (X_2,B_2+M_2) \). Moreover, this MMP is also a \((K_{X_1'}+B_1'+M_1')\)-MMP with scaling of \( P_1' + N_1' \) over Z, and we have
where \( P_2' :=(\rho _1)_*P_1' \) and \(N_2' :=(\rho _1)_*N_1'\).
Proof
Since \( (X_2,B_2+M_2) \) is the canonical model of \( (X_1,B_1+M_1) \) over \( Z_1 \) by definition, we infer that \( (X_2,B_2+M_2) \) is a minimal model of \( (X_1,B_1+M_1) \) over \( Z_1 \), and thus a dlt blowup of \( (X_2,B_2+M_2) \) is a minimal model in the sense of Birkar-Shokurov of \( (X_1,B_1+M_1) \) over \( Z_1 \). By (10) and by [16, Theorem 3.14] we conclude that \( (X_1',B_1'+M_1') \) has a minimal model in the sense of Birkar-Shokurov of \( Z_1 \). Therefore, by Lemma 2.10 there exists a \( (K_{X_1'} + B_1'+M_1') \)-MMP with scaling of an ample divisor over \(Z_1\) which terminates with a minimal model \( (X_2',B_2'+M_2') \) of \( (X_1',B_1'+M_1') \) over \(Z_1\); we denote by \( \rho _1 :X_1' \dashrightarrow X_2' \) the induced map. Since \((X_2,B_2+M_2)\) is the canonical model of \((X_1',B_1'+M_1')\) over \( Z_1 \), by [24, Lemma 2.12] there exists a morphism \( h_2 :X_2' \rightarrow X_2 \) such that
In particular, the obtained g-pair \( (X_2',B_2'+M_2') \) is a dlt blowup of the g-pair \( (X_2,B_2+M_2) \).
Now, by (10) and (11) we obtain
Since \( K_{X_1} + (B_1 + \lambda _1 N_1) + (M_1 + \lambda _1 P_1) \equiv _{Z_1} 0 \) by construction of the \( (K_{X_1} + B_1 + M_1) \)-MMP with scaling of \( P_1+N_1 \) over \(Z_1\), by (13) we infer that
Denote by \( Y^j \dashrightarrow Y^{j+1} \) the steps of this MMP, where \( Y^1 := X_1' \) and \( Y^k := X_2' \), and by \(B^j\), \(M^j\), \(N^j\) and \(P^j\) the pushforwards of \(B_1'\), \(M_1'\), \(N_1'\) and \(P_1'\), respectively, on \(Y^j\). For each \( j \in \{1,\dots ,k \} \) consider
Then by using (13) and (14) we can readily check that \( \nu _j = \lambda _1 \) for every \( j \in \{1,\dots ,k-1 \} \). Therefore, the above \( (K_{X_1'} + B_1'+M_1') \)-MMP with scaling of an ample divisor over \(Z_1\) is automatically also a \( (K_{X_1'} + B_1'+M_1') \)-MMP with scaling of \( N_1' + P_1' \) over Z.
If we set \( N_2' := N^k \) and \( P_2' := P^k \), then it follows from (12) and (13) that \( N_2' + P_2' = h_2^* (P_2 + N_2) \). This completes the proof. \(\square \)
Therefore, by continuing this process analogously, we obtain:
Theorem 2.14
Let \( \big ( X_1/Z, (B_1+N_1) + (M_1+P_1) \big ) \) be a \(\mathbb {Q}\)-factorial NQC log canonical g-pair such that \( K_{X_1} + B_1 + N_1 + M_1 + P_1 \) is nef over Z. Assume that we have a sequence of flips for \((X_1,B_1+M_1)\) with scaling of \( P_1+N_1 \) over Z:
Then there exists a diagram
where, for each \(i \ge 1\),
-
(a)
the map \( \rho _i :X_i' \dashrightarrow X_{i+1}' \) is a \((K_{X_i'}+B_i'+M_i')\)-MMP with scaling of \( N_i' + P_i' \) over Z, where the divisors \( N_i' \) and \( P_i' \) on \( X_i' \) are defined as in Lemma 2.13, and
-
(b)
the map \( h_i :(X_i',B_i'+M_i') \rightarrow (X_i,B_i+M_i) \) is a dlt blowup.
In particular, the sequence on top of the above diagram is a \( (K_{X_1'}+B_1'+M_1') \)-MMP with scaling of \( N_1' + P_1' \) over Z.
The same construction as above appears in [14, Section 3.5], where the underlying variety \( X_1 \) of the g-pair \( (X_1,B_1+M_1) \) is additionally assumed to be klt. As demonstrated above, this assumption can be removed due to [16]. For similar constructions see [24, Section 3] and [7, Lemma 2.16].
2.6 Nakayama–Zariski decomposition and the MMP with scaling
Given a pseudo-effective \(\mathbb {R}\)-divisor D on a smooth projective variety X, Nakayama [29] defined a decomposition \( D = P_\sigma (D) + N_\sigma (D) \), known as the Nakayama–Zariski decomposition of D. This decomposition can be extended both to the singular setting, see for instance [19, Subsection 2.2], and to the relative setting, see [29, Subsection III.4] and [23, Section 2].
We use here the relative Nakayama–Zariski decomposition of a pseudoeffective \( \mathbb {R}\)-divisor on a normal \(\mathbb {Q}\)-factorial variety. Note that by [23] this decomposition is not always well-defined. However, in all the cases we consider in this paper, the decomposition exists and behaves as in the absolute case. Below we recall briefly the basic definitions.
Definition 2.15
Let \( \pi :X \rightarrow S \) be a projective surjective morphism between normal varieties. Assume that X is \( \mathbb {Q}\)-factorial and fix a prime divisor \( \Gamma \) on X. If D is a \( \pi \)-big \( \mathbb {R}\)-divisor on X, then set
If D is a \( \pi \)-pseudoeffective \( \mathbb {R}\)-divisor on X, then pick a \( \pi \)-ample \( \mathbb {R}\)-divisor A on X and set
Note that \( \sigma _\Gamma (D ; X/S) \) does not depend on the choice of A. Set
where this formal sum runs through all prime divisors \(\Gamma \) on X.
We will need the following lemma in the proof of Theorem 4.1.
Lemma 2.16
Let \(\big (X/Z,(B+N)+(M+P)\big )\) be a \(\mathbb {Q}\)-factorial NQC log canonical g-pair such that \( K_X + B + M \) is pseudoeffective over Z and \( K_X + B + N + M + P \) is nef over Z. Assume that \(N_\sigma (K_X+B+M; X/Z)\) is an \(\mathbb {R}\)-divisor.Footnote 1 Consider a \( (K_X + B + M) \)-MMP with scaling of \( P+N \) over Z and denote by \( \lambda _i \) the corresponding nef thresholds in the steps of this MMP. If \( \lim \limits _{i\rightarrow \infty } \lambda _i = 0\), then this MMP contracts precisely the components of \(N_\sigma (K_X+B+M; X/Z)\).
Proof
Let \(X_i\) be the steps of the \((K_X+B+M)\)-MMP with scaling of \(N+P\) over Z and let \(B_i\), \(M_i\), \(N_i\) and \(P_i\) be the pushforwards on \(X_i\) of B, M, N and P, respectively, where \(X=X_1\). Since the map \(X\dashrightarrow X_i\) is a partial MMP for every i, it can contract only components of \(N_\sigma (K_X+B+M; X/Z)\), cf. [20, Lemma 2.4(1)].
On the other hand, since the divisor \(K_{X_i}+B_i+M_i+\lambda _i(N_i+P_i)\) is nef over Z, by the Negativity lemma the map \(X\dashrightarrow X_i\) contracts precisely the components of \(N_\sigma \big (K_X+B+M+\lambda _i(N+P); X/Z\big )\). Since
by the relative version of [29, Lemma III.1.7(2)], every component of \(N_\sigma (K_X+B+M; X/Z)\) must be contracted by some map \(X\dashrightarrow X_i\). This completes the proof. \(\square \)
3 Weak Zariski decompositions
We prove a variant of [26, Theorem 3.2], which plays a crucial role in this paper and is also of independent interest. Even though the strategy of the proof is the same, there are several small technical issues and we provide all the details for the benefit of the reader.
Theorem 3.1
Assume the existence of minimal models for smooth varieties of dimension \(n-1\).
Let \(\big (X/Z,(B+N)+(M+P)\big )\) be an NQC \(\mathbb {Q}\)-factorial dlt g-pair of dimension n. Assume that the divisor \( K_X+B+N+M+P \) is pseudoeffective over Z and that for each \(\varepsilon >0\) the divisor \(K_X+B+M+(1-\varepsilon )(N+P)\) is not pseudoeffective over Z. Then the g-pair \(\big (X,(B+N)+(M+P)\big )\) admits an NQC weak Zariski decomposition over Z.
Proof
We proceed in four steps.
Step 1. In this step we show that we may assume the following:
Assumption 1. There exists a fibration \(\xi :X \rightarrow Y\) over Z to a normal quasi-projective variety Y such that \(\dim Y<\dim X\) and such that:
- (a\(_1\)):
-
\(\nu \big (F,(K_X+B+N+M+P)|_F\big )=0\) and \(h^1(F,\mathcal {O}_F)=0\) for a very general fibre F of \(\xi \),
- (b\(_1\)):
-
\(K_X+B+M+(1-\varepsilon ) (N+P)\) is not \(\xi \)-pseudoeffective for any \(\varepsilon >0\).
To this end, by [15, Lemma 4.3] and its proof there exist a birational contraction \( \varphi :X \dashrightarrow S\) over Z and a fibration \(f :S \rightarrow Y\) over Z such that:
-
(a)
\( \big (S,(B_S+N_S)+(M_S+P_S)\big ) \) is an NQC \(\mathbb {Q}\)-factorial log canonical g-pair, where \(B_S\), \(N_S\), \(M_S\) and \(P_S\) are pushforwards of B, N, M and P on S, respectively,
-
(b)
Y is a normal quasi-projective variety with \(\dim Y<\dim X\),
-
(c)
\( K_S + B_S + N_S + M_S + P_S \sim _{\mathbb {R},Y} 0 \),
-
(d)
\(\varphi \) is a \(\big (K_X+B+M+(1-\zeta )(N+P)\big )\)-MMP for some \(0 < \zeta \ll 1\) and f is the corresponding Mori fibre space,
-
(e)
S has klt singularities.
Let \((p,q) :W \rightarrow X \times S\) be a resolution of indeterminacies of \(\varphi \) such that W is a log resolution of all the divisors in sight on X and there exist nef \( \mathbb {R}\)-divisors \(M_W\) and \(P_W\) on W such that \(M=p_*M_W\) and \(P=p_*P_W\). If \( B_W \) and \( N_W \) are the strict transforms of B and N on W, respectively, then we may write
where the divisors \(G_W\) and \(E_W\) are effective, p-exceptional and have no common components.
Let F be a very general fibre of f and set \(F_W := q^{-1}(F) \subseteq W\). In addition, set
and similarly for \(N_{F_W}\), \(B_{F_W}\), \(M_{F_W}\), \(P_{F_W}\) and \(G_{F_W}\). Then both the divisors \(K_F+B_F+N_F+M_F+P_F\) and \(K_{F_W}+B_{F_W}+N_{F_W}+M_{F_W}+P_{F_W}+G_{F_W}\) are pseudoeffective and we have
by (15). By [25, Lemma 2.8] and by (c), we obtain
hence \(\nu (F_W,K_{F_W}+B_{F_W}+N_{F_W}+M_{F_W}+P_{F_W}+G_{F_W})=0\).
For every \(\varepsilon >0\), the divisor \(K_{F_W}+B_{F_W}+M_{F_W}+(1-\varepsilon )(N_{F_W}+P_{F_W})+G_{F_W}\) is not pseudoeffective, since otherwise the divisor
would be pseudoeffective for some \(\varepsilon >0\), a contradiction to (c) and (d).
Since S has klt singularities by (e), so does F, and hence F has rational singularities. Additionally, \(h^1(F,\mathcal {O}_F)=0\) by (d) and by the Kodaira vanishing theorem. It follows that \(h^1(F_W,\mathcal {O}_{F_W})=0\).
If \(K_W+B_W+N_W+M_W+P_W+G_W\) admits an NQC weak Zariski decomposition over Z, then \(K_X+B+N+M+P\) admits an NQC weak Zariski decomposition over Z by (15) and by [26, Lemma 2.14].
In conclusion, by replacing \( \big (X,(B+N)+(M+P)\big ) \) with \(\big (W,(B_W+N_W+G_W)+(M_W+P_W)\big )\) and by setting \(\xi : = f \circ q\), we achieve Assumption 1.
Step 2. If \(\dim Y=0\) (and thus necessarily \(\dim Z=0\)), then
by [29, Proposition V.2.7(8)] and by (a\(_1\)). Hence, \(K_X+B+N+M+P\) admits an NQC weak Zariski decomposition, and we are done.
Step 3. Assume from now on that \(\dim Y>0\). In this step we show that we may assume the following:
Assumption 2. There exists a fibration \(g :X \rightarrow T\) to a normal quasi-projective variety T over Z such that:
- (a\(_2\)):
-
\(0<\dim T<\dim X\),
- (b\(_2\)):
-
\(K_X+B+N+M+P\sim _{\mathbb {R},T} 0\).
However, instead of the g-pair \(\big (X,(B+N)+(M+P)\big )\) being \(\mathbb {Q}\)-factorial dlt, we may only assume that it is an NQC log canonical g-pair such that (X, 0) is \(\mathbb {Q}\)-factorial klt.
Note that \(\big (X,(B+N)+(M+P)\big )\) is also a g-pair over Y. It follows from (a\(_1\)) and [26, Corollary 2.18] that the divisor \(K_X+B+N+M+P\) is effective over Y. Hence, by [26, Theorem 4.4(ii)] we may run a \((K_X+B+N+M+P)\)-MMP with scaling of an ample divisor over Y which terminates. We obtain thus a birational contraction \( \theta :X \dashrightarrow X' \) over Y and a g-pair \( \big (X',(B'+N')+(M'+P')\big ) \) such that the divisor \( K_{X'} + B' + N' + M' + P' \) is nef over Y, where \(B'\), \( N'\), \(M'\) and \(P'\) are pushforwards of B, N, M and P on \(X'\), and we denote by \(\xi ' :X' \rightarrow Y\) the induced morphism.
By Proposition 2.12 there exists \(\delta >0\) such that, if we run a \( \big (K_{X'}+B'+M'+(1-\delta )(N'+P') \big ) \)-MMP with scaling of an ample divisor over Y, then this MMP is \((K_{X'}+B'+N'+M'+P')\)-trivial. In addition, note that \( K_{X'}+B'+M'+(1-\delta )(N'+P')\) is not \(\xi '\)-pseudoeffective: indeed, by possibly choosing \(\delta \) smaller, we may assume that the map \(\theta \) is \( \big (K_{X'}+B'+M'+(1-\delta )(N'+P')\big )\)-negative, and the claim follows since \(K_X+B+M+(1-\delta )(N+P)\) is not \(\xi \)-pseudoeffective by (b\(_1\)). Therefore, by [6, Lemma 4.4(1)] this relative \( \big (K_{X'}+B'+M'+(1-\delta )(N'+P') \big ) \)-MMP terminates with a Mori fibre space \(f'' :X'' \rightarrow Y''\) over Y. We obtain a birational contraction \(\theta ' :X' \dashrightarrow X''\) and a g-pair \( \big (X'',(B''+N'')+(M''+P'')\big ) \), where \(B''\), \( N''\), \(M''\) and \(P''\) are the appropriate pushforwards on \(X''\), and we denote by \(\xi '' :X'' \rightarrow Y\) the induced morphism.
Then the variety \( X'' \) is \( \mathbb {Q}\)-factorial, the g-pair \( \big (X'',(B''+N'')+(M''+P'')\big ) \) is NQC log canonical, the pair \((X'',0)\) is klt by Lemma 2.3 since the g-pair \( \big (X'',B''+M''+(1-\delta )(N''+P'')\big ) \) is dlt, and by Proposition 2.12 we have
Furthermore, the numerical equivalence over \(Y''\) coincides with the \(\mathbb {R}\)-linear equivalence over \(Y''\), since \(f''\) is an extremal contraction, see [16, Theorem 1.3(4)(c)].
Since the composite map \(\theta ' \circ \theta :X \dashrightarrow X'' \) is \( (K_X+B+N+M+P)\)-non-positive by construction, it follows from [26, Lemma 2.14] that if \(K_{X''} + B'' + N'' + M'' + P''\) admits an NQC weak Zariski decomposition over Z, then so does \(K_X+B+N+M+P\).
In conclusion, by replacing \( \big (X,(B+N)+(M+P)\big ) \) with \(\big (X'',(B''+N'')+(M''+P'')\big )\) and by setting \(T:=Y''\) and \( g := f'' \), we achieve Assumption 2.
Step 4. By (b\(_2\)) and by [17, Theorem 1.2] there exists an NQC log canonical g-pair \( (T/Z, B_T + M_T) \) such that
The divisor \( K_T + B_T + M_T \) is pseudoeffective over Z by (16). Therefore, by (a\(_2\)) and by the assumptions of the theorem in lower dimensions together with Remark 2.8 and [26, Theorem E], the g-pair \( (T/Z, B_T + M_T) \) admits an NQC weak Zariski decomposition over Z. Then (16) and [26, Remark 2.11] imply that the g-pair \(\big (X/Z,(B+N)+(M+P)\big )\) admits an NQC weak Zariski decomposition over Z, as desired. \(\square \)
The following consequence of Theorem 3.1 plays an important role in the proofs of Proposition 5.1 and Theorem 5.2.
Lemma 3.2
Assume the existence of minimal models for smooth varieties of dimension \( n-1 \).
Let \(\big (X/Z,(B+N)+(M+P)\big )\) be an NQC \( \mathbb {Q}\)-factorial log canonical g-pair of dimension n such that \( K_X+B+N+M+P\) is pseudoeffective over Z. Assume that the g-pair \( (X,B+M) \) admits an NQC weak Zariski decomposition over Z or that \( K_X+B+M \) is not pseudoeffective over Z. Then \( \big (X/Z,(B+N)+(M+P)\big ) \) has a minimal model in the sense of Birkar-Shokurov over Z.
Proof
We consider the two cases separately.
First, if the g-pair \( (X,B + M) \) admits an NQC weak Zariski decomposition over Z, then the conclusion follows from Lemma 2.9.
Assume now that \( K_X + B + M \) is not pseudoeffective over Z. Set
and observe that \( \tau \in (0,1] \). Take a dlt blowup
of the g-pair \( \big (X,(B+\tau N)+(M+\tau P) \big ) \), where \( B' := h_*^{-1} B + E \) and E is the sum of all h-exceptional prime divisors. Then the g-pair \( \big (X', B' + M' \big ) \) is dlt by Lemma 2.3 and the divisor \( K_{X'} + B' + M' \) is not pseudoeffective over Z, since the divisor \( K_X + B + M = h_*(K_{X'} + B' + M')\) is not pseudoeffective over Z. Additionally, since
is pseudoeffective over Z, we infer similarly that
By Theorem 3.1 the g-pair \( \big (X', (B' + \tau h_*^{-1} N) +(M'+\tau P')\big ) \) admits an NQC weak Zariski decomposition over Z, hence so does the g-pair \(\big (X,(B+\tau N)+(M+\tau P) \big )\) by [26, Remark 2.11]. We conclude by Lemma 2.9. \(\square \)
4 On termination of the MMP with scaling
The following result improves on [14, Theorem 4.1] by removing the assumption that the underlying variety is klt. Its proof follows the same strategy as the proofs of [3, Theorem 4.1(iii)] and [14, Theorem 4.1]. The organisation of the proof is somewhat different and occasionally streamlined. We make an extra effort to provide all the details, since the arguments are quite involved.
Theorem 4.1
Let \( (X/Z,B+M) \) be a \(\mathbb {Q}\)-factorial NQC g-pair, let P be the pushforward of an NQC divisor on a high birational model of X, and let N be an effective \( \mathbb {R}\)-divisor on X. Assume that the g-pair \( \big ( X, (B+N) + (M+P) \big ) \) is log canonical and that the divisor \( K_X + B + N + M + P \) is nef over Z. Consider a \( (K_X + B + M) \)-MMP over Z with scaling of \( P+N \), denote by \( \lambda _i \) the corresponding nef thresholds in the steps of this MMP and set \( \lambda := \lim \limits _{i\rightarrow \infty } \lambda _i \).
If \( \lambda \ne \lambda _i \) for every i and if \(\big (X,(B+\lambda N)+(M+\lambda P)\big )\) has a minimal model in the sense of Birkar-Shokurov over Z, then the given MMP terminates.
Proof
We proceed in several steps.
Step 1. First, by replacing \((X,B+M)\) with \(\big (X,B+M+\lambda (P+N)\big )\), we may assume that \(\lambda =0\). We may also assume that the MMP consists only of flips. Next, by arguing as in the first paragraphs of the proof of [24, Theorem 5.1] we may further assume that each birational map \( X_i \dashrightarrow X_{i+1} \) in the MMP is an isomorphism at the generic point of each log canonical centre of \((X_i,B_i+M_i)\). Pick an index i such that \(\lambda _i>\lambda _{i+1}\) and note that the g-pair \(\big (X_{i+1}, B_{i+1}+M_{i+1}+\lambda _i(N_{i+1}+P_{i+1})\big )\) is log canonical. Therefore, by replacing \((X,B+M)\) with \((X_{i+1},B_{i+1}+M_{i+1})\) and \(N+P\) with \(\lambda _{i+1}(N_{i+1}+P_{i+1})\), we may assume that
and
Step 2. By assumption, there exists a birational map \(\varphi :X \dashrightarrow Y\) to a minimal model in the sense of Birkar-Shokurov \((Y,B_Y+M_Y)\) of \((X,B+M)\) over Z. Let \((f,g):W \rightarrow X\times Y\) be a resolution of indeterminacies of the map \(\varphi \) which is a log resolution of all relevant divisors in sight and such that there exists divisors \(M_W\) and \(P_W\) on W which are nef over Z such that \(f_*M_W=M\) and \(f_*P_W=P\). Set \(N_W:=f_*^{-1}N\) and let \(B_W\) be the sum of \(f_*^{-1}B\) and of all f-exceptional prime divisors on W.
Step 2a. In this step we construct a dlt blowup of \((Y',B_{Y'}+M_{Y'})\) of \((Y, B_Y+M_Y)\).
The divisor
is effective and g-exceptional and the divisor
is effective and both f-exceptional and g-exceptional by Remark 2.6. We have
By [14, Proposition 3.8] we can run a \((K_W+B_W+M_W)\)-MMP over Y with scaling of an ample divisor which terminates with a model \((Y',B_{Y'}+M_{Y'})\) on which the divisor \(F+F'\) is contracted. We denote by \(\theta :W \dashrightarrow Y'\) the induced birational contraction.
Step 2b. In this step we construct a dlt blowup of \((X',B'+M')\) of \((X,B+M)\) with certain additional properties that we will need later.
Set
Since the g-pair \( \big ( X, (B+N) + (M+P) \big ) \) is log canonical, \(F''\) is effective and f-exceptional. By [14, Proposition 3.8] we can run a \(\big (K_W+(B_W+N_W)+(M_W+P_W)\big )\)-MMP over X with scaling of an ample divisor which terminates with a model \(\big (X',(B'+N')+(M'+P')\big )\) on which the divisor \(F''\) is contracted. We denote by \(\xi :W \dashrightarrow X'\) the induced birational contraction and by \(h :X' \rightarrow X\) the induced map.
Then
Write
Since \(N'=h_*^{-1}N\), the divisor \(h^*N-N'\) is effective and h-exceptional, and the divisor \(h^*P-P'\) is effective and h-exceptional by the Negativity lemma. Therefore, \(\Theta '\) is an effective and h-exceptional divisor, hence every component of \(\Theta '\) is a log canonical place of \(\big (X,(B+N)+(M+P)\big )\) on \(X'\). This and (17) imply that \(\Theta '=0\), and consequently
and
The map h is therefore a dlt blowup of \((X,B+M)\). Note that an f-exceptional prime divisor on W is contracted by \(\xi \) if and only if it is not a log canonical place of \(\big (X,(B+N)+(M+P)\big )\) on W by construction. Thus, an f-exceptional prime divisor on W is contracted by \(\xi \) if and only if it is not a log canonical place of \((X,B+M)\) on W by (17).
Step 3. In this step we show that \(\varphi \) does not contract any divisor.
Assume for contradiction that D is a \( \varphi \)-exceptional prime divisor on X and let \(D_W:=f_*^{-1}D\). Then \(a(D,X,B+M)<a(D,Y,B_Y+M_Y)\) by the definition of minimal models in the sense of Birkar-Shokurov, and thus \(D_W\subseteq {{\,\mathrm{Supp}\,}}F\). Therefore, the map \(\theta \) contracts \(D_W\) by Step 2a.
In the remainder of this step we will derive a contradiction by showing that \(D_W\) cannot be contracted by \(\theta \).
Pick \(0<\lambda _i\ll 1\) such that the map \(\theta \) is \(\big (K_W+B_W+M_W+\lambda _i (N_W+P_W)\big )\)-negative. Since \(\big (X,(B+M)+\lambda _i(N+P)\big )\) is log canonical and by the definition of \(B_W\), the divisor
is effective and f-exceptional.
Next, let \((p,q):W'\rightarrow X\times X_i\) be a resolution of indeterminacies of the birational contraction \(X\dashrightarrow X_i\), which dominates W. Then
where E is effective and p-exceptional, since the map \(X\dashrightarrow X_i\) is an isomorphism in codimension 1, see Step 1. We denote by Q the pushforward of \(q^*(K_{X_{i}}+B_i+M_i+\lambda _i(N_i+P_i)\big )\) to W. Then Q is movable over Z, since the divisor \(K_{X_{i}}+B_i+M_i+\lambda _i(N_i+P_i)\) is nef over Z. Pushing forward the relation (18) to W, we obtain
where \(E'\ge 0\) is f-exceptional. This yields
Since the divisor \(G+E'\) is f-exceptional,
Now, assume that \(D_W\) is contracted at the \(\ell \)-th step \( \mu _\ell :W_\ell \dashrightarrow W_{\ell +1} \) of the MMP \(\theta :W \dashrightarrow Y'\). In particular, \( \mu _\ell \) is a divisorial contraction. Denote by \( B_{W_\ell } \), \( D_{W_\ell } \), \( E'_{W_\ell } \), \( G_{W_\ell } \), \( M_{W_\ell } \), \( N_{W_\ell } \), \( P_{W_\ell } \) and \( Q_{W_\ell } \) the pushforwards on \( W_\ell \) of the divisors \( B_W \), \( D_W \), \( E' \), G, \( M_W \), \( N_W \), \( P_W \) and Q, respectively. From (19) we have
Since \( D_{W_\ell } \) is not a component of \( G_{W_\ell } + E'_{W_\ell } \) by (20), for a general curve \(C_\ell \) contracted by \(\mu _\ell \) we would have \((G_{W_\ell } + E'_{W_\ell }) \cdot C_\ell \ge 0\), as well as \(Q_{W_\ell } \cdot C_\ell \ge 0\), since \( Q_{W_\ell } \) is movable over Z. On the other hand, we have \(\big ( K_{W_\ell }+B_{W_\ell }+M_{W_\ell }+\lambda _i (N_{W_\ell }+P_{W_\ell }) \big ) \cdot C_\ell <0\) by the choice of \(\lambda _i\), which contradicts (19). This proves the claim.
Step 4. In this step we show that \((Y',B_{Y'}+M_{Y'})\) is a minimal model in the usual sense of \((X',B'+M')\) over Z.
Assume first that S is a prime divisor on \( Y' \) which is contracted to \(X'\). Let \(S_W\) be the strict transform of S on W. If S is not exceptional over Y, then \(a(S_W,X,B+M)=-1\) by the definition of minimal models in the sense of Birkar-Shokurov. If S is exceptional over Y, then \(a(S_W,Y,B_Y+M_Y)=-1\) since \((Y',B_{Y'}+M_{Y'})\) is a dlt blowup of \((Y, B_Y+M_Y)\), hence we have again \(a(S_W,X,B+M)=-1\) by Remark 2.6. But this contradicts the last sentence in Step 2b. Therefore, the map \(X' \dashrightarrow Y'\) is a birational contraction.
Assume now that S is a prime divisor on \(X'\) which is contracted to \(Y'\). Then S is contracted to Y, and since \(\varphi \) does not contract any divisor by Step 3, the divisor S must be contracted to X. Since \((X',B'+M')\) is a dlt blowup of \((X,B+M)\), we must have
Therefore, we need to show that \(a(S,Y',B_{Y'}+M_{Y'})>-1\).
Assume on the contrary that \(a(S,Y',B_{Y'}+M_{Y'})=-1\). Then we also have \(a(S,Y,B_Y+M_Y)=-1\), since \((Y',B_{Y'}+M_{Y'})\) is a dlt blowup of \((Y,B_Y+M_Y)\). Recalling the definitions of the divisors F and \(F'\) from Step 2a, if \(S_W\) is the strict transform of S on W, then the previous sentence implies that \(S_W\nsubseteq {{\,\mathrm{Supp}\,}}F\). Moreover, (22) implies that \(S_W\nsubseteq {{\,\mathrm{Supp}\,}}F'\). Hence, \(S_W\) is not contracted by \(\theta \) by Step 2a, a contradiction which shows the claim.
Step 5. By Theorem 2.14 we can lift the sequence \(X_i\dashrightarrow X_{i+1}/Z_i\) to a \((K_{X'}+B'+M')\)-MMP over Z with scaling of \(N'+P'\), where each g-pair \(({X_i'}, B_i'+M_i')\) is \(\mathbb {Q}\)-factorial and dlt.
By Step 4 and by Lemma 2.16 the varieties \(X_i'\) and \(Y'\) are isomorphic in codimension 1 for all \(i\gg 0\).
Step 6. To finish the proof of the theorem, it suffices to show that the MMP
terminates, where \((X_1', B_1'+M_1'):=(X', B'+M')\).
Suppose that this MMP does not terminate. After relabelling we may assume that this MMP consists only of flips and that all \(X_i'\) and \(Y'\) are isomorphic in codimension 1 by Step 5.
Let A be a reduced effective divisor on W whose components are divisors which are ample over Z and whose classes generate \(N^1(W/Z)_\mathbb {R}\). Since the map \(\xi :W\dashrightarrow X'\) is obtained by running a \((K_W+B_W+M_W+N_W+P_W)\)-MMP over X by Step 2b, there exists \(0<\varepsilon _0\ll 1\) such that this map is also \((K_W+B_W+M_W+N_W+P_W+\varepsilon A)\)-negative for each \(0<\varepsilon \le \varepsilon _0\), so that the g-pair \(\big (X'/Z,(B'+N'+\varepsilon A')+(M'+P')\big )\) is dlt, where \(A'\) is the strict transform of A on \(X'\).
Similarly we may assume that \(\big (Y'/Z,(B_{Y'}+\varepsilon A_{Y'})+M_{Y'})\) is dlt for each \(0<\varepsilon \le \varepsilon _0\), where \(A_{Y'}\) is the strict transform of A on \(Y'\).
Pick an index i and \(0<\varepsilon _0\ll 1\) such that additionally:
-
(a)
\(\lambda _{i-1} >\lambda _i\),
-
(b)
any \(\big (K_{Y'}+B_{Y'}+M_{Y'}+\lambda _{i-1}(N_{Y'}+P_{Y'})+R\big )\)-MMP over Z is \((K_{Y'}+B_{Y'}+M_{Y'})\)-trivial for any divisor R on \( Y' \) with \({{\,\mathrm{Supp}\,}}R={{\,\mathrm{Supp}\,}}A_{Y'}\) and whose coefficients are smaller than \(\varepsilon _0\); this is possible by Proposition 2.12, and
-
(c)
any \(\big (K_{X_i'}+B_i'+M_i'+\lambda _{i-1}(N_i'+P_i')+\varepsilon A_i'\big )\)-MMP over Z is \(\big (K_{X_i'}+B_i'+M_i'+\lambda _{i-1}(N_i'+P_i')\big )\)-trivial for any \(0<\varepsilon \le \varepsilon _0\); this is again possible by Proposition 2.12.
Step 7. Since the map \(X'\dashrightarrow X_i'\) is \(\big (K_{X'}+B'+M'+\lambda _{i-1}(N'+P')\big )\)-negative, it is also \(\big (K_{X'}+B'+M'+\lambda _{i-1}(N'+P')+\varepsilon A'\big )\)-negative for \(0<\varepsilon \le \varepsilon _0\), possibly by taking a smaller \(\varepsilon _0\). In particular, the g-pair \(\big (X_i'/Z,B_i'+M_i'+\lambda _{i-1}(N_i'+P_i')+\varepsilon A_i'\big )\) is \(\mathbb {Q}\)-factorial dlt, where \(A_i'\) is the strict transform of \(A'\) on \(X_i'\).
Pick \(0<\varepsilon '<\varepsilon _0\). Let \(\Vert \cdot \Vert \) by the maximum componentwise norm on the space of divisors on \(X_i'\). Since the classes of the components of \(A_i'\) generate \(N^1(X_i'/Z)\), there exist an \(\mathbb {R}\)-divisor H with \({{\,\mathrm{Supp}\,}}H={{\,\mathrm{Supp}\,}}A_i'\) and \(\Vert H\Vert \ll \varepsilon _0-\varepsilon '\) which is ample over Z. Set \(H':=\varepsilon 'A_i'-H\). Then \(0\le H'\le \varepsilon _0 A_i'\). By replacing now H with a general divisor \(\mathbb {R}\)-linearly equivalent to H and by replacing \(\varepsilon _0\) with \(\varepsilon '\), we may assume that \(H+H'\sim _\mathbb {R}\varepsilon _0A_i'\) and that the g-pair \(\big (X_i'/Z, B_i'+M_i'+\lambda _{i-1}(N_i'+P_i')+\varepsilon (H+H')\big )\) is dlt for all \(0\le \varepsilon \le 1\).
By [14, Lemma 3.5] there exists a klt pair \((X_i', \Delta _i')\) such that
By [1] we may run a \((K_{X_i'}+\Delta _i')\)-MMP over Z with scaling of an ample divisor: this is clearly a \((K_{X_i'}+B_i'+M_i'+\lambda _{i-1}(N_i'+P_i')+\varepsilon _0 A_i')\)-MMP, which terminates with a minimal model \(\big (T/Z, B_T+M_T+\lambda _{i-1} (N_T+P_T)+\varepsilon _0 A_T\big )\). Since the divisor \(A_i'\) is movable over Z, then so is the divisor \(K_{X_i'}+B_i'+M_i'+\lambda _{i-1}(N_i'+P_i')+\varepsilon _0 A_i'\), hence
By (c) we have that
as well as \(K_T+B_T+M_T+\lambda _{i-1} (N_T+P_T)+\varepsilon _0 A_T\). Therefore, since the classes of the components of \(A_T\) generate \(N^1(T/Z)\), there exists a divisor \(0 < D_T \le \varepsilon _0 A_T\) such that
Step 8. Note that \(Y'\) and T are isomorphic in codimension 1 by the assumption in Step 6 and by (23). If \(D_{Y'}\) is the strict transform of \(D_T\) on \(Y'\), then
by (25).
By (b) in Step 6 we can run a \(\big (K_{Y'}+B_{Y'}+M_{Y'}+\lambda _{i-1}(N_{Y'}+P_{Y'})+D_{Y'}\big )\)-MMP over Z with scaling of an ample divisor which is \(\big (K_{Y'}+B_{Y'}+M_{Y'}\big )\)-trivial. By (26), this MMP consists only of flips. Hence, if \(\big (Y'', B_{Y''}+M_{Y''}+\lambda _{i-1} (N_{Y''}+P_{Y''})+D_{Y''})\) is the resulting minimal model over Z, then \(Y''\) and T are \(\mathbb {Q}\)-factorial varieties which are isomorphic in codimension 1,
and
By [13, Lemma 1.7], (25) and (28), the map \(T\dashrightarrow Y''\) is a morphism, hence an isomorphism by [9, Lemma 2.1.4]. Hence, by (24) and (27),
Since \(\lambda _{i-1}>\lambda _i>0\) by (a) in Step 6, (29) implies that also
Step 9. Let \((r,s):V \rightarrow X_i'\times T\) be a resolution of indeterminacies. By the Negativity lemma and by (29) we have
whereas the Negativity lemma and (30) imply
Since \(\lambda _{i-1}>\lambda _i>0\) by (a) in Step 6, the two relations above yield
hence \(K_{X_i'}+B_i'+M_i'\) is nef over Z. This is a contradiction which finishes the proof. \(\square \)
5 Proofs of main results
In this section we first obtain analogues of [12, Proposition 6.2 and Theorem 1.7] in the setting of g-pairs, see Proposition 5.1 and Theorem 5.2. We prove afterwards the results announced in the introduction.
Proposition 5.1
Assume the existence of minimal models for smooth varieties of dimension \( n-1 \).
Let \( (X/Z,B+M) \) be a \( \mathbb {Q}\)-factorial NQC log canonical g-pair of dimension n. Assume that \( (X,B+M) \) has a minimal model in the sense of Birkar-Shokurov over Z or that \( K_X+B+M \) is not pseudoeffective over Z. Then there exists a \( (K_X + B + M) \)-MMP over Z which terminates.
Proof
We follow closely the proof of [12, Proposition 6.2].
First, we may run a \( (K_X + B + M) \)-MMP over Z such that we obtain a g-pair \((Y,B_Y+M_Y)\) with the property that any \( (K_Y + B_Y + M_Y) \)-MMP over Z consists only of flips. In addition to this, either \( (Y,B_Y+M_Y) \) has a minimal model in the sense of Birkar-Shokurov over Z by [16, Corollary 3.20] or \( K_Y+B_Y+M_Y \) is not pseudoeffective over Z. Therefore, by replacing \((X,B+M)\) with \((Y,B_Y+M_Y)\), we may assume that any \( (K_X + B + M) \)-MMP over Z consists only of flips.
By [14, Section 3.3], we may find positive real numbers \(r_1,\dots ,r_m\) and \(\mathbb {Q}\)-divisors \(B^{(1)},\dots , B^{(m)}\) and \(M^{(1)},\dots , M^{(m)}\) such that
and each g-pair \((X,B^{(j)}+M^{(j)})\) is log canonical. In particular, each divisor \( K_X + B^{(j)} + M^{(j)} \) is \( \mathbb {Q}\)-Cartier and we have
Next, set \(d := \dim _\mathbb {R}N^1(X/Z)\) and fix positive real numbers \(\alpha _1,\dots ,\alpha _d\) which are linearly independent over the field \(\mathbb {Q}(r_1,\dots , r_m)\). Pick \(\mathbb {Q}\)-divisors \(A^{(1)},\dots ,A^{(d)}\) on X which are ample over Z such that their classes form a basis of \(N^1(X/Z)\) and such that, setting
the g-pair \( \big (X/Z, (B+A)+M \big ) \) is log canonical and the divisor \(K_X+B+M+A\) is nef over Z.
Now, we run a \( (K_X + B + M) \)-MMP over Z with scaling of A – recall that it consists only of flips:
where \((X_1,B_1+M_1) := (X,B+M)\). We assume that this MMP does not terminate and we will derive a contradiction.
To this end, note first that each \(X_i\) is \(\mathbb {Q}\)-factorial, and let \(B_i\), \( B_i^{(j)} \), \(M_i\), \( M_i^{(j)} \), \(A_i\) and \( A_i^{(j)} \) denote the pushforwards on \(X_i\) of B, \( B^{(j)} \), M, \( M^{(j)} \), A and \( A^{(j)} \), respectively. For each positive integer i set
and note that \( \lambda _i \ge \lambda _{i+1} \) for every i.
We claim that
This will immediately imply the proposition. Indeed, set \(\lambda := \lim \nolimits _{i\rightarrow \infty }\lambda _i\) and note that \(\lambda < \lambda _i\) for every i by (33). Since each divisor \( K_{X_i}+B_i + M_i + \lambda _i A_i \) is nef over Z, the divisor \(K_X+B+M+\lambda A\) is pseudoeffective over Z. It follows from the assumptions of the proposition and from Remark 2.8 and Lemma 3.2 that the g-pair \(\big (X,(B+\lambda A)+M\big )\) has a minimal model in the sense of Birkar-Shokurov over Z, hence the above MMP terminates by Theorem 4.1, a contradiction.
It remains to prove (33). Assume, for contradiction, that \(\lambda _{i}=\lambda _{i+1}\) for some i. Pick a curve C on \(X_{i+1}\) which is contracted by the flipped contraction \( \theta _i^+:X_{i+1}\rightarrow Z_i \) and a curve \(C'\) on \(X_{i+1}\) which is contracted by the flipping contraction \( \theta _{i+1} :X_{i+1}\rightarrow Z_{i+1}\). The divisors \(K_{X_{i+1}}+B_{i+1}^{(j)}+M_{i+1}^{(j)}\) are \(\mathbb {Q}\)-Cartier, and we have
Hence, by (31) we obtain
Since the divisors \(A_{i+1}^{(k)}\) are \( \mathbb {Q}\)-Cartier, we have
By construction of the \( (K_X + B + M) \)-MMP over Z with scaling of A and by [16, Theorem 1.3(4)(c)], we have
and
As \(\lambda _{i}=\lambda _{i+1}\), the last two equations and (35) yield
which, together with (32), implies
Since \( \alpha _1,\dots , \alpha _d\) are linearly independent over \(\mathbb {Q}(r_1,\dots , r_m)\), it follows from the last equation and from (36) that
Now, since the maps \((\pi _i)_* :N^1(X_i/Z) \rightarrow N^1(X_{i+1}/Z)\) are isomorphisms for each i, the classes of \(A_{i+1}^{(1)}, \dots , A_{i+1}^{(d)}\) form a basis of \(N^1(X_{i+1}/Z)\) for all i. This, together with (37), implies that the class of \(C-\beta C'\) is 0 in \(N_1(X_{i+1}/Z)\). But this is impossible since \(\beta <0\). This proves (33) and finishes the proof of the proposition. \(\square \)
Theorem 5.2
Assume the existence of minimal models for smooth varieties of dimension \( n-1 \).
Let \( \big ( X/Z, (B+N) + (M+P) \big ) \) be a \( \mathbb {Q}\)-factorial NQC log canonical g-pair such that the divisor \( K_X + B + N + M + P \) is nef over Z. Assume that \( (X,B+M) \) has a minimal model in the sense of Birkar-Shokurov over Z or that \( K_X+B+M \) is not pseudoeffective over Z. Then there exists a \( (K_X + B + M) \)-MMP over Z with scaling of \(P+N\) that terminates.
Proof
We follow closely the proof of [12, Theorem 1.7].
We set \( X_1 := X \), \( B_1 := B \), \( M_1 := M \), \( N_1 := N \), \( P_1 := P \), and
If \(\lambda _1=0\), then we are done, so we may assume that \(\lambda _1>0\).
Note that if a divisor \( K_{X_1}+B_1+ M_1 + s(N_1+P_1) \) is pseudoeffective over Z for some \(0\le s\le \lambda _1\), then by the assumptions of the theorem, Remark 2.8 and Lemma 3.2, the g-pair \( \big ( X_1, (B_1 + s N_1) + (M_1 + s P_1) \big ) \) has a minimal model in the sense of Birkar-Shokurov over Z. By Proposition 2.12 there exists \(\xi _1 \in [0,\lambda _1)\) such that any \( \big (K_{X_1}+B_1+ M_1 + \xi _1(N_1+P_1) \big )\)-MMP over Z is \( \big ( K_{X_1}+B_1+M_1 + \lambda _1(N_1+P_1) \big )\)-trivial, and thus also a \((K_{X_1}+B_1+M_1)\)-MMP over Z with scaling of \(P_1+N_1\). Therefore, by Proposition 5.1 there exists a \(\big ( K_{X_1}+B_1+M_1+\xi _1(N_1+P_1) \big )\)-MMP over Z which terminates either with a minimal model or with a Mori fibre space \(\big (X_2,(B_2+\xi _1 N_2)+(M_2+\xi _1 P_2\big )\) of \( \big (X_1,(B_1 + \xi _1 N_1) + (M_1 + \xi _1 P_1) \big ) \) over Z, and which is also a \(\big (K_{X_1}+B_1+M_1+ s(N_1+P_1)\big )\)-MMP over Z with scaling of \(P_1+N_1\) for all \(s\in [0,\xi _1)\). In particular, if for some \(0\le s\le \xi _1\) a g-pair \( \big (X_1,(B_1 + s N_1) + (M_1 + s P_1) \big ) \) has a minimal model in the sense of Birkar-Shokurov over Z, then the g-pair \( \big (X_2,(B_2 + s N_2) + (M_2 + s P_2) \big ) \) has a minimal model in the sense of Birkar-Shokurov over Z by [16, Corollary 3.20].
Now, we distinguish two cases. If \( \big (X_2,(B_2 + \xi _1 N_2) + (M_2 + \xi _1 P_2) \) is a Mori fibre space of \( \big (X_1,(B_1 + \xi _1 N_1) + (M_1 + \xi _1 P_1) \big ) \) over Z, then \( (X_2,B_2+M_2) \) is a Mori fibre space of \( (X_1,B_1+M_1) \) over Z by construction and we are done. Otherwise, the g-pair \( \big (X_2,(B_2 + \xi _1 N_2) + (M_2 + \xi _1 P_2) \big ) \) is a minimal model of \( \big (X_1,(B_1 + \xi _1 N_1) + (M_1 + \xi _1 P_1) \big ) \) over Z, and then we set
and we observe that \(0 \le \lambda _2 \le \xi _1 < \lambda _1\) by construction.
By repeating the above procedure, we obtain a diagram
where each map \( X_i \dashrightarrow X_{i+1} \) is a sequence of steps of a \((K_{X_i}+B_i+M_i)\)-MMP over Z with scaling of \(P_i+N_i\), and if \(\lambda _i\) is the corresponding nef threshold on \(X_i\), then either \(\lambda _i=0\) for some index i, in which case we are done, or the sequence \(\{\lambda _i\}\) is strictly decreasing, in which case we set \(\lambda :=\lim \nolimits _{i\rightarrow \infty }\lambda _i\). Then the divisor \(K_{X_1}+B_1+M_1+\lambda (N_1 + P_1) \) is pseudoeffective over Z, so the g-pair \(\big (X_1,(B_1+\lambda N_1)+(M_1 + \lambda P_1)\big )\) has a minimal model in the sense of Birkar-Shokurov over Z by the assumptions of the theorem and by Lemma 3.2. Consequently, by Theorem 4.1 this \( (K_{X_1} + B_1 + M_1) \)-MMP over Z with scaling of \( P_1 + N_1 \) terminates. \(\square \)
We can now prove quickly all the results announced in the introduction.
Proof of Theorem 1.1
By assumption, either \( K_X+B+M \) is not pseudoeffective over Z or \( (X,B+M) \) admits an NQC weak Zariski decomposition over Z, in which case it has a minimal model in the sense of Birkar-Shokurov over Z by [26, Theorem 4.4(i)]. Thus, the first statement of the theorem follows immediately from Theorem 5.2. The last sentence of the theorem follows by setting \(N=0\) and by taking P to be a sufficiently ample \(\mathbb {R}\)-divisor on X over Z. \(\square \)
Proof of Theorem 1.5
The g-pair \( (X,B+M) \) has a minimal model in the sense of Birkar-Shokurov over Z by [26, Theorem 4.3]. We conclude by Remark 2.8 and by Theorem 1.1. \(\square \)
Proof of Corollary 1.6
The proof is the same as that of Lemma 2.9, once we invoke Theorem 1.1 instead of [26, Theorem 4.4(i)]. \(\square \)
Proof of Corollary 1.3
The result follows immediately from [26, Lemma 2.15] and Corollary 1.6. \(\square \)
Proof of Corollary 1.4
The existence of minimal models for terminal 4-folds over Z follows from [22, Theorem 5-1-15]. Therefore, Remark 2.8 and [26, Theorem E] imply the existence of NQC weak Zariski decompositions for pseudoeffective NQC log canonical g-pairs of dimension 4. Hence, (i) and (ii) follow from Theorem 1.1, while (iii) follows from Theorem 1.5. \(\square \)
Notes
Xiaowei Jiang jxw20@mails.tsinghua.edu.cn Department of Mathematics, Tsinghua University, Hai Dian District, Beijing, 100084, China
References
Birkar, C., Cascini, P., Hacon, C.D., M\(^{{\rm c}}\)Kernan, J.: Existence of minimal models for varieties of log general type. J. Am. Math. Soc. 23(2), 405–468 (2010)
Birkar, C.: On existence of log minimal models II. J. Reine Angew. Math. 658, 99–113 (2011)
Birkar, C.: Existence of log canonical flips and a special LMMP. Publ. Math. Inst. Hautes Études Sci. 115(1), 325–368 (2012)
Birkar, C.: On existence of log minimal models and weak Zariski decompositions. Math. Ann. 354(2), 787–799 (2012)
Birkar, C.: Generalised pairs in birational geometry. EMS Surv. Math. Sci. 8(1–2), 5–24 (2021)
Birkar, C., Zhang, D.-Q.: Effectivity of Iitaka fibrations and pluricanonical systems of polarized pairs. Publ. Math. Inst. Hautes Études Sci. 123, 283–331 (2016)
Chen, G., Tsakanikas, N.: On the termination of flips for log canonical generalized pairs. arXiv:2011.02236. To appear in Acta Math. Sin. Engl. Ser
Filipazzi, S.: On a generalized canonical bundle formula and generalized adjunction. Ann. Sc. Norm. Super. Pisa Cl. Sci. 21, 1187–1221 (2020)
Fujino, O.: Foundations of the Minimal Model Program, MSJ Memoirs, vol. 35. Mathematical Society of Japan, Tokyo (2017)
Hashizume, K.: Non-vanishing theorem for generalized log canonical pairs with a polarization. Sel. Math. New Ser 28, 77 (2022)
Hashizume, K.: Iitaka fibrations for dlt pairs polarized by a nef and log big divisor. arXiv:2203.05467. To appear in Forum Math. Sigma
Hashizume, K., Hu, Z.-Y.: On minimal model theory for log abundant lc pairs. J. Reine Angew. Math. 767, 109–159 (2020)
Hu, Y., Keel, S.: Mori dream spaces and GIT. Mich. Math. J. 48, 331–348 (2000)
Han, J., Li, Z.: Weak Zariski decompositions and log terminal models for generalized polarized pairs. arXiv:1806.01234. To appear in Math. Z
Han, J., Liu, W.: On numerical nonvanishing for generalized log canonical pairs. Doc. Math. 25, 93–123 (2020)
Hacon, C.D., Liu, J.: Existence of flips for generalized lc pairs. arXiv:2105.13590
Han, J., Liu, W.: On a generalized canonical bundle formula for generically finite morphisms. Ann. Inst. Fourier (Grenoble) 71(5), 2047–2077 (2021)
Hacon, C.D., Moraga, J.: On weak Zariski decompositions and termination of flips. Math. Res. Lett. 27(5), 1393–1422 (2020)
Hu, Z.: Log abundance of the moduli b-divisors of lc-trivial fibrations. arXiv:2003.14379
Hacon, C.D., Xu, C.: Existence of log canonical closures. Invent. Math. 192(1), 161–195 (2013)
Kollár, J., Mori, S.: Birational Geometry of Algebraic Varieties, Cambridge Tracts in Mathematics, vol. 134. Cambridge University Press, Cambridge (1998)
Kawamata, Y., Matsuda, K., Matsuki, K.: Introduction to the minimal model problem, Algebraic geometry. Adv. Stud. Pure Math., vol. 10. North-Holland, Amsterdam 1987, 283–360 (1985)
Lesieutre, J.: A pathology of asymptotic multiplicity in the relative setting. Math. Res. Lett. 23(5), 1433–1451 (2016)
Lazić, V., Moraga, J., Tsakanikas, N.: Special termination for log canonical pairs. arXiv:2007.06458
Lazić, V., Peternell, Th.: Abundance for varieties with many differential forms. Épijournal de Géométrie Algébrique 2 (2018)
Lazić, V., Tsakanikas, N.: On the existence of minimal models for log canonical pairs. Publ. Res. Inst. Math. Sci. 58(2), 311–339 (2022)
Liu, J., Xie, L.: Relative Nakayama–Zariski decomposition and minimal models of generalized pairs. arXiv:2207.09576
Moraga, J.: Termination of pseudo-effective 4-fold flips. arXiv:1802.10202
Nakayama, N.: Zariski-Decomposition and Abundance, MSJ Memoirs, vol. 14. Mathematical Society of Japan, Tokyo (2004)
Funding
Open Access funding enabled and organized by Projekt DEAL.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Lazić gratefully acknowledges support by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) – Project-ID 286237555 – TRR 195. We would like to thank Jihao Liu and Kenta Hashizume for useful discussions related to this work, and Xiaowei Jiang for pointing out that an assumption in lower dimensions, which was present in a previous version of this paper, can be removed from Lemma 2.13 and from Theorems 2.14 and 4.1. We would also like to thank the referee for useful comments and suggestions.
Appendix (written jointly with Xiaowei Jiang)
Appendix (written jointly with Xiaowei Jiang)
In this Appendix, which has been written jointly with Xiaowei JiangFootnote 2, we establish the existence of Mori fibre spaces for non-pseudoeffective \(\mathbb {Q}\)-factorial NQC log canonical generalised pairs of arbitrary dimension. We present two different proofs below. In the following result we summarise previous knowledge concerning the existence of Mori fibre spaces for non-pseudoeffective generalised pairs.
Theorem A.1
Let \( (X/Z,B+M) \) be an NQC log canonical g-pair such that \( K_X+B+M\) is not pseudoeffective over Z. Then the following statements hold:
-
(i)
If \( M=0 \), then the pair (X, B) has a Mori fibre space over Z.
-
(ii)
If (X, 0) is \( \mathbb {Q}\)-factorial klt, then the g-pair \( (X,B+M) \) has a Mori fibre space over Z.
Proof
Part (i) follows from [12, Theorem 1.7]; note that the \(\mathbb {Q}\)-factorial dlt case was established in [1, Corollary 1.3.3], see also [3, Theorem 4.1(ii)]. Part (ii) is [6, Lemma 4.4(1)]. \(\square \)
The first approach to derive the existence of Mori fibre spaces for non-pseudoeffective generalised pairs uses very recent results from [11, 27]. The next theorem is a special case of [11, Theorem 3.17] and [27, Theorem 1.2].
Theorem A.2
Let \( \big (X/Z,(B+A)+M\big ) \) be a \( \mathbb {Q}\)-factorial NQC log canonical g-pair such that \( K_X + B + A + M \) is pseudoeffective over Z, where A is an effective \( \mathbb {R}\)-Cartier \( \mathbb {R}\)-divisor on X which is ample over Z. Then the g-pair \( \big (X/Z,(B+A)+M\big ) \) has a minimal model in the sense of Birkar-Shokurov over Z.
We will give a short proof of Theorem A.2 below, which depends only on the results from [12, 16].
We deduce now the following strengthening of Proposition 5.1, which removes the assumption in lower dimensions.
Proposition A.3
Let \( (X/Z,B+M) \) be a \( \mathbb {Q}\)-factorial NQC log canonical g-pair. Assume that \( (X,B+M) \) has a minimal model in the sense of Birkar-Shokurov over Z or that \( K_X+B+M \) is not pseudoeffective over Z. Then there exists a \( (K_X + B + M) \)-MMP over Z which terminates.
Proof
For brevity we only indicate here the necessary modifications to the proof of Proposition 5.1 and we also use the same notation.
By arguing by contradiction and by repeating verbatim the proof of Proposition 5.1, we infer that eventually there exists a \( (K_X+B+M) \)-MMP with scaling of A over Z which consists only of flips, satisfies \( \lambda _i > \lambda _{i+1} \) for every \( i \ge 1 \), but does not terminate by assumption. Setting \(\lambda := \lim \nolimits _{i\rightarrow \infty }\lambda _i \), we have \(\lambda < \lambda _i\) for every \( i \ge 1\) and the divisor \(K_X+B+M+\lambda A\) is pseudoeffective over Z. It follows from the assumptions of the proposition when \( \lambda = 0 \) or from Theorem A.2 when \( \lambda > 0 \) that the g-pair \(\big (X,(B+\lambda A)+M\big )\) has a minimal model in the sense of Birkar-Shokurov over Z, hence the above MMP terminates by Theorem 4.1, a contradiction which completes the proof. \(\square \)
Using the above results, we may finally prove Theorem 1.2.
Proof of Theorem 1.2
The proof of this statement is essentially the same as that of Theorem 5.2, except that we replace Lemma 3.2 with Theorem A.2 and Proposition 5.1 with Proposition A.3. \(\square \)
After we discussed the above proof with Jihao Liu, he suggested an alternative proof of Theorem 1.2(b), which is presented below. We would like to thank him for communicating this proof to us and for allowing us to include it with some more details in this Appendix.
We start with the following easy lemma.
Lemma A.4
Let \( (X/Z,B+M) \) be a \( \mathbb {Q}\)-factorial NQC log canonical g-pair. Then for each \(\varepsilon \in [0,1)\) we have \({{\,\mathrm{Nklt}\,}}(X,B+\varepsilon M)={{\,\mathrm{Nklt}\,}}(X,B)\).
Proof
Let \(f:X' \rightarrow X\) be a log resolution of (X, B) such that there exists an NQC divisor \(M'\) over Z such that \(M=f_*M'\). By the Negativity lemma the \( \mathbb {R}\)-divisor \(F:= f^*M -M'\) is effective and f-exceptional. Then an easy calculation shows that for each prime divisor E on \(X'\) and for each \(\varepsilon \in [0,1]\) we have
and
Note that \(a(E,X,B+\varepsilon M)\ge {-}1\) for each \( \varepsilon \in [0,1] \) by Lemma 2.3. Thus, if \(a(E,X,B)={-}1\), then \(a(E,X,B+\varepsilon M)={-1}\) by (38). Conversely, if \(a(E,X,B+\varepsilon M)={-1}\), then \(a(E,X,B+M)={-1}\) and \({{\,\mathrm{mult}\,}}_EF=0\) by (39), hence \(a(E,X,B)={-1}\) by (38). This yields the statement. \(\square \)
Next, we obtain:
Lemma A.5
Let \( \big (X/Z,(B+A)+M\big ) \) be a \( \mathbb {Q}\)-factorial NQC log canonical g-pair, where A is an effective \( \mathbb {R}\)-Cartier \( \mathbb {R}\)-divisor on X which is ample over Z. Then there exists an effective \(\mathbb {R}\)-divisor \(\Delta \) on X such that \((X,\Delta )\) is a log canonical pair and \( K_X+\Delta \sim _{\mathbb {R},Z} K_X+B+A+M \).
Proof
Pick \(\varepsilon \in (0,1)\) such that the \( \mathbb {R}\)-divisor \(A+(1-\varepsilon )M\) is ample over Z, and set \(N:=\varepsilon M\). Since the g-pair \((X,B+M)\) is log canonical by Lemma 2.3, we have
by Lemma A.4. Now, pick a general effective \( \mathbb {R}\)-divisor \(H\sim _{\mathbb {R},Z}A+(1-\varepsilon )M\) such that the g-pair \( \big (X,(B+H)+N\big ) \) is log canonical, and observe that
Let \(f :X' \rightarrow X\) be a birational morphism such that there exists an NQC divisor \(N'\) over Z such that \(N=f_*N'\). By the Negativity lemma the divisor \(F:= f^*N -N'\) is effective, and by [16, Lemma 5.18] we may assume that
From now on we argue as in the proof of [16, Theorem 5.2]. Write \( K_{X'} + B' := f^*(K_X + B) \), so that
By (40) and (42) we conclude that no f-exceptional prime divisor is a log canonical place of \((X,B+N)\). This, together with Lemma 2.3, implies that there exists an effective f-exceptional \( \mathbb {R}\)-divisor E on \(X'\) such that the pair \((X',B' + F + E)\) is sub-log canonical and the \( \mathbb {R}\)-divisor \(f^*H - E\) is ample over Z. In particular, the \( \mathbb {R}\)-divisor \(N' + f^*H - E\) is ample over Z, and we now pick a general effective \(\mathbb {R}\)-divisor \( H' \sim _{\mathbb {R},Z} N' + f^*H - E\) such that the pair \((X',B' + F + E + H')\) is sub-log canonical. Note that
so there exists an \(\mathbb {R}\)-divisor D on X such that \(K_{X'} + B' +F + E + H' \sim _\mathbb {R}f^*D\). Set \(\Delta := B + f_*H' \). Then \(K_X+\Delta \sim _\mathbb {R}D\), so that \(K_{X'} + B' +F + E + H' \sim _\mathbb {R}f^*(K_X+\Delta )\), and hence the pair \((X,\Delta )\) is log canonical. Since
by (41) and (43), this finishes the proof. \(\square \)
As promised, we give now a short proof of Theorem A.2.
Proof of Theorem A.2
Pick \( \xi \in (0,1) \) and note that \( \big (X/Z,(B+\xi A)+M\big ) \) is a \( \mathbb {Q}\)-factorial NQC log canonical g-pair by Lemma 2.3. By Lemma A.5 there exists an effective \(\mathbb {R}\)-divisor \(\Delta \) on X such that \((X,\Delta )\) is a log canonical pair and
Pick a general ample over Z \( \mathbb {R}\)-divisor \( 0\le H \sim _{\mathbb {R},Z} A \) such that the pair \( \big ( X/Z, \Delta + (1 - \xi ) H \big ) \) is log canonical, and observe that the divisor
is pseudoeffective over Z. By [12, Theorem 1.5] this pair has a minimal model in the sense of Birkar-Shokurov over Z, thus it has a minimal model over Z by [12, Theorem 1.7]. Hence, the g-pair \( \big (X,(B+A)+M\big ) \) has a minimal model over Z. \(\square \)
Finally, we can give an alternative proof of Theorem 1.2(b).
Proof of Theorem 1.2(b)
By assumption, the divisor \( K_X+B+M \) is not pseudoeffective over Z. Pick a general ample over Z \( \mathbb {R}\)-divisor \(A \ge 0\) on X. Then for \(0<\varepsilon \ll 1\) the divisor \(K_X+B+\varepsilon A+M\) is not pseudoeffective over Z, and it suffices to show that there exists a \((K_X+B+\varepsilon A+M)\)-MMP with scaling of A which terminates. By Lemma A.5 there exists an effective \(\mathbb {R}\)-divisor \(\Delta \) on X such that \((X,\Delta )\) is a log canonical pair and \(K_X+\Delta \sim _{\mathbb {R},Z} K_X+B+\varepsilon A+M\). We conclude by [12, Theorem 1.7]. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Lazić, V., Tsakanikas, N. Special MMP for log canonical generalised pairs (with an appendix joint with Xiaowei Jiang). Sel. Math. New Ser. 28, 89 (2022). https://doi.org/10.1007/s00029-022-00798-8
Accepted:
Published:
DOI: https://doi.org/10.1007/s00029-022-00798-8
Keywords
- Minimal Model Program
- Generalised pairs
- Termination of flips
- Minimal models
- Weak Zariski decompositions
- Mori fibre spaces