Abstract
We prove existence of flips, special termination, the base point free theorem and, in the case of log general type, the existence of minimal models for Fdlt foliated pairs of corank one on a \({\mathbb {Q}}\)factorial projective threefold. As applications, we show the existence of Fdlt modifications and Fterminalisations for foliated pairs and we show that foliations with canonical or Fdlt singularities admit nondicritical singularities. Finally, we show abundance in the case of numerically trivial foliated pairs.
Introduction
The (classical) Minimal Model Program predicts that a complex projective manifold is either uniruled or it admits a minimal model, i.e. it is birational to a (possibly singular) projective variety with nef canonical divisor. Although this is still an open problem, many important cases of the program have been carried out successfully, e.g. in the case of varieties of dimension at most three and for varieties of general type. After the work of McQuillan [31] we expect a similar picture to hold in the theory of birational geometry of foliations (see also [9, 32]). More specifically, assuming that X is a normal complex projective variety and \({\mathcal {F}}\) is a foliation with mild singularities, it is conjectured that either \({\mathcal {F}}\) is uniruled, i.e. X is covered by rational curves which are tangent to \({\mathcal {F}}\), or \({\mathcal {F}}\) admits a minimal model, i.e. X is birational to a projective variety Y such that the transformed foliation on Y (cf. Sect. 2.3) admits a nef canonical divisor (cf. Sect. 2.1). Many of the main goals of the program were carried out successfully in the case of rank one foliations (cf. [30, 31]) and, in any rank, it is expected to follow the main steps of Mori’s program.
The goal of this paper is to show the existence of flips (cf. Sect. 2.6) for foliations of corank one on a complex projective threefold and present several applications, under some natural assumptions on the singularities.
Statement of main results
In [41] it was shown that given a foliated pair \(({\mathcal {F}},\Delta )\), with some mild assumption on the singularities, and given a \((K_{{\mathcal {F}}}+\Delta )\)negative extremal ray R, there is a morphism \(\phi _R:X \rightarrow Y\), in the category of algebraic spaces, contracting only those curves C such that \([C] \in R\). Projectivity of Y and the existence of flips were shown in some special cases, but not in the generality needed to run the MMP.
Our first main result is to show in greater generality that if \(\phi _R\) is a flipping contraction then the flip exists:
Theorem 1.1
(= Theorem 6.4 + Theorem 11.3) Let \({\mathcal {F}}\) be a corank one foliation on a \(\mathbb {Q}\)factorial projective threefold X and let \(\Delta \ge 0\) such that \(({\mathcal {F}},\Delta )\) is Fdlt. Let \(\phi :X \rightarrow Y\) be a \((K_{{\mathcal {F}}}+\Delta )\)flipping contraction.
Then the \((K_{{\mathcal {F}}}+\Delta )\)flip exists.
Notice that Fdlt foliated pairs play the same role as dlt log pairs in the classical MMP (see Definition 3.6 for a precise definition).
Next, we turn to the question of constructing a minimal model of a foliated pair \(({\mathcal {F}}, \Delta )\). As in Mori’s program, existence of minimal models would follow if one could show that any sequence of flips terminates. We are unable to show termination in complete generality, but we are able to show a weaker version of termination, i.e., termination of flips with scaling, which suffices to show that minimal models exist in several cases of interest:
Theorem 1.2
(= Theorem 10.3 + Theorem 11.3) Let \({\mathcal {F}}\) be a corank one foliation on a \(\mathbb {Q}\)factorial projective threefold X. Let \(\Delta =A+B\) be a \(\mathbb {Q}\)divisor such that \(({\mathcal {F}},\Delta )\) is a Fdlt pair, \(A\ge 0\) is an ample \(\mathbb {Q}\)divisor and \(B\ge 0\). Assume that there exists a \(\mathbb {Q}\)divisor \(D\ge 0\) such that \(K_{{\mathcal {F}}}+\Delta \sim _{{\mathbb {Q}}}D\).
Then \(({\mathcal {F}},\Delta )\) admits a minimal model.
See Sect. 10 for a precise definition of a minimal model.
It is important to observe that Theorems 1.1 and 1.2 make no assumptions on the singularities of X other than \(\mathbb {Q}\)factoriality. However, as we will see by Theorem 11.3, the output of the MMP (and the intermediary steps of the MMP more generally) will be \({\mathbb {Q}}\)factorial varieties with klt singularities. Notice also that we first prove Theorems 1.1 and 1.2 under the assumption that the foliation has nondicritical singularities (cf. Definition 2.10) but we later prove that, if \(({\mathcal {F}},\Delta )\) is an Fdlt foliated pair then \({\mathcal {F}}\) admits nondicritical singularities (cf. Theorem 11.3).
Along the way to proving the termination of flips with scaling, we prove the following basepoint free theorem for foliations which we expect will be of interest. Observe that if \({\mathcal {F}}\) is a rank one surface foliation with \(K_{{\mathcal {F}}}\) nef and big then \(K_{{\mathcal {F}}}\) is in general not semiample, see for instance [31, Corollary IV.2.3]. On the other hand, we prove the following:
Theorem 1.3
(= Theorem 9.4) Let \({\mathcal {F}}\) be a corank one foliation on a \(\mathbb {Q}\)factorial projective variety X of dimension at most three. Let \(\Delta \) be a \(\mathbb {Q}\)divisor such that \(({\mathcal {F}},\Delta )\) is a Fdlt pair. Let \(A\ge 0\) and \(B\ge 0\) be \(\mathbb {Q}\)divisors such that \(\Delta = A+B\) and A is ample. Assume that \(K_{{\mathcal {F}}}+\Delta \) is nef.
Then \(K_{{\mathcal {F}}}+\Delta \) is semiample.
Note that our result is in some sense optimal. Indeed, contrary to the case of varieties, if \({\mathcal {F}}\) is a foliation such that \(K_{{\mathcal {F}}}\) is big and nef, then we cannot choose in general a divisor \(\Delta \ge 0\) such that \(\Delta \sim _{{\mathbb {Q}}}\epsilon K_{{\mathcal {F}}}\) for some \(\epsilon >0\) and \(({\mathcal {F}},\Delta )\) is Fdlt, as some of the components of \(\Delta \) might be \({\mathcal {F}}\)invariant.
Application to Fdlt modifications and Fterminalisations
In the study of the birational geometry of varieties, dlt modifications and terminalisations have proven to be very useful tools. The existence of these modifications follows from the MMP for varieties. We prove foliated analogues of these modifications as a consequence of our results on the foliated MMP (see Sect. 2.2 for the definition of the number \(\epsilon \) and Sect. 2.3 for the notion of the transform of a foliation under a birational map):
Theorem 1.4
(Existence of Fdlt modifications, = Theorem 8.1) Let \({\mathcal {F}}\) be a corank one foliation on a normal projective variety X of dimension at most three. Let \(({\mathcal {F}}, \Delta )\) be a foliated pair.
Then there exists a birational morphism \(\pi :Y \rightarrow X\) such that if \({\mathcal {G}}\) is the transformed foliation on Y then \(({\mathcal {G}},\pi _*^{1} \Delta +\sum \epsilon (E_i)E_i)\) is Fdlt where the sum is taken over all the \(\pi \)exceptional divisors and
where \(G \ge 0\).
In particular, if \(({\mathcal {F}}, \Delta )\) is lc then \(\pi \) only extracts divisors of discrepancy \(=\epsilon (E_i)\).
Furthermore, we may choose \((Y, {\mathcal {G}})\) so that

1.
if Z is an lc centre of \(({\mathcal {G}}, \pi _*^{1} \Delta +\sum \epsilon (E_i)E_i)\) then Z is contained in a codimension one lc centre of \(({\mathcal {G}}, \pi _*^{1} \Delta +\sum \epsilon (E_i)E_i)\),

2.
Y is \(\mathbb {Q}\)factorial and

3.
Y is klt.
Theorem 1.5
(Existence of Fterminalisations, = Theorem 11.1) Let \({\mathcal {F}}\) be a corank one foliation on a normal projective variety X of dimension at most three.
Then there exists a birational morphism \(\pi :Y \rightarrow X\) such that

1.
if \({\mathcal {G}}\) is the transformed foliation on Y, then \({\mathcal {G}}\) is Fdlt, canonical and terminal along \({\text {Sing}} \, Y\),

2.
Y is klt and \(\mathbb {Q}\)factorial and

3.
\(K_{{\mathcal {G}}}+E = \pi ^*K_{{\mathcal {F}}}\) where \(E \ge 0\).
Using similar ideas we are also able to prove the following:
Theorem 1.6
(= Theorem 11.3) Let \(({\mathcal {F}}, \Delta )\) be a foliated pair on a normal projective threefold X. Suppose that \(({\mathcal {F}}, \Delta )\) is canonical.
Then \({\mathcal {F}}\) has nondicritical singularities (cf. Definition 2.10).
Observe that we do not require the smoothness of X. We expect that this result will be useful in the study of foliation singularities.
Application to foliation abundance
It is a direct consequence of [29, Theorem 2] that if X is a projective manifold with \({\mathcal {F}}\) a corank one foliation with canonical singularities and \(c_1(K_{{\mathcal {F}}}) =0\) then \(K_{{\mathcal {F}}}\) is torsion. When X is a threefold we extend this result to the log situation where we consider \({\mathcal {F}}\) together with a boundary \(\Delta \), as well as weakening the hypotheses on the singularities.
Theorem 1.7
(= Theorem 12.1) Let \({\mathcal {F}}\) be a corank one foliation on a projective threefold X. Let \(({\mathcal {F}}, \Delta )\) be a foliated pair with log canonical foliation singularities. Suppose that \(c_1(K_{{\mathcal {F}}}+\Delta ) = 0\).
Then \(\kappa (K_{{\mathcal {F}}}+\Delta ) = 0\).
Sketch of the proof
We first give a rough outline of our approach to the existence of flips. Let us focus on a special case first: suppose X is a smooth threefold and \({\mathcal {F}}\) is the foliation induced by a fibration \(f:X \rightarrow B\) onto a curve B and with simple normal crossing fibres. It is easy to compute that \(K_{{\mathcal {F}}} = K_{X/B}\sum (r_i1)F_i\) where the sum runs over the components of fibres with multiplicity \(r_i\).
Let \(C \subset X\) be a \(K_{{\mathcal {F}}}\)flipping curve (cf. Sect. 2.6). It was shown in [41] that C is tangent to \({\mathcal {F}}\) (cf. Definition 2.12). Let \(T = f^*(f(C))_{red}\) and let S be a component of T containing C. Note that T is the largest connected \({\mathcal {F}}\)invariant divisor containing C (cf. Sect. 2.2). A direct computation shows that \(K_{{\mathcal {F}}}\vert _S = (K_X+T)\vert _S\) and, in particular, it follows that \((K_X+T)\cdot C = K_{{\mathcal {F}}}\cdot C<0\) and since (X, T) is log canonical it follows that the \(K_{{\mathcal {F}}}\)flip can be realised as a log flip in the classical MMP.
In general, if X is a normal threefold and \({\mathcal {F}}\) is a corank one foliation on X with mild singularities and which admits a flipping contraction (cf. Sect. 2.6), we want to realise the \(K_{{\mathcal {F}}}\)flip as a \((K_X+\sum S_i)\)flip where the \(S_i\) are all the \({\mathcal {F}}\)invariant divisors meeting C. There are two technical challenges here. The first is that the \(S_i\) are not necessarily algebraic divisors, and if \(C \subset \text {sing}({\mathcal {F}})\), they might not even be defined analytically locally around C: instead they might only exist as formal divisors in the formal completion of X along C. The second challenge is to control the singularities of the pair \((X, \sum S_i)\).
To handle the first challenge we develop an extension of the classical MMP to the formal setting. We adapt some approximation results of Artin/Elkik to show that we can approximate the \(S_i\) by algebraic divisors \(S'_i\) on an étale neighbourhood U of C in the sense that \(S_i = S'_i\) on some infinitesimal neighbourhood of C. By choosing a sufficiently close approximation, it follows that the \((K_U+\sum S'_i)\)flip coincides with the \((K_{X}+\sum S_i)\)flip. We emphasise that we are only approximating the \(S_i\) and we are not approximating the foliation \({\mathcal {F}}\), i.e., the \(S'_i\) are not necessarily invariant divisors of some other foliation \({\mathcal {F}}'\). Indeed, it is well known that it is not in general possible to approximate a foliation with nonconvergent separatrices by one with convergent separatrices (see Sects. 4, 5).
Controlling the singularities of \((X, \sum S_i)\) is done by way of several results which provide bounds between the singularities of \({\mathcal {F}}\) and those of \((X, \sum S_i)\). There is some additional difficulty arising from the fact that the \(S_i\) are not necessarily \(\mathbb {Q}\)Cartier (even if X is \(\mathbb {Q}\)factorial). This can be handled by somewhat standard arguments from the classical MMP (see Sect. 6).
The remaining results on the MMP for foliations of corank one on a threefold (i.e., special termination, basepoint free theorem, termination of flips with scaling, existence of Fdlt modifications, etc.) are mostly a consequence of direct translations of standard ideas and strategies from the classical MMP to the foliated setting. Nevertheless there are some intriguing issues which arise and which are unique to the foliated setting (e.g., foliations may admit infinitely many lc centres).
Finally, our abundance type result for foliations with \(c_1(K_{{\mathcal {F}}}) = 0\) is a consequence of a rather lengthy and delicate case by case analysis. Some central ingredients are Touzet’s results on foliations with pseudoeffective conormal bundle and a careful analysis of families of surfaces foliations with trivial canonical class (see Sect. 12).
Preliminary results
We work over the field of complex numbers \(\mathbb {C}\). Throughout the paper, a variety is a complex analytic space.
Let X be a normal variety and let \(V\subset X\) be a closed subvariety. Let \({\hat{X}}\) be the formal completion of X along V. A formal divisor D on \({\hat{X}}\) is a union of distinct integral formal subschemes of pure codimension one. Let \(I_D\) be the ideal sheaf of D. We say that D is \({\mathbb {Q}}\)Cartier if \((I_D^{\otimes n})^{**}\) is locally of the form \(f\cdot {\mathcal {O}}_{{\widehat{X}}}\) where f is a local section of \({\mathcal {O}}_{{\widehat{X}}}\) and n is a positive integer. We say that D does not contain V in its support if f does not vanish along V. Note that, in this case, if we denote by \(\nu :V^{\nu }\rightarrow V\) the normalisaton of V, we can define the pullback of D to \(V^{\nu }\) as a \({\mathbb {Q}}\)Cartier divisor on \(V^{\nu }\).
Let X be a smooth variety of dimension n and let D be a reduced divisor, we say that D is normal crossing, or that (X, D) is a normal crossing pair, if, for each closed point \(x\in D\), there exist local formal coordinates \(x_1,\ldots ,x_n\) such that D is defined by \(\{x_1\cdot \dots \cdot x_r=0\}\) for some \(1\le r\le n\). Note that this definition works equally well even if \({\hat{X}}\) is the formal completion of a smooth variety X along a closed subvariety and \(D \subset {\hat{X}}\) is a formal divisor. We say that a divisor D on a smooth variety X is simple normal crossing if it is normal crossing and every irreducible component of D is smooth.
Given a normal variety X, we denote by \(\Omega ^1_X\) its sheaf of Kähler differentials and, by \(T_X:=(\Omega ^1_X)^*\) its tangent sheaf. For any positive integer p, we denote \(\Omega _X^{[p]}:=(\Omega _X^p)^{**}\).
Given a \(\mathbb {Q}\)divisor \(\Delta \) on a normal variety X, we write \( \lfloor \Delta \rfloor \) for the rounddown of \(\Delta \) and \(\{\Delta \}\) for the fractional part of \(\Delta \), i.e. \(\{\Delta \}=\Delta  \lfloor \Delta \rfloor \). A \(\mathbb {Q}\)factorial variety is a normal variety X on which every divisor is \(\mathbb {Q}\)Cartier. A birational map \(f:X\dashrightarrow Y\) between normal varieties is a birational contraction if \(f^{1}\) does not contract any divisor.
We refer to [25, Sect. 2.3] for the classical definitions of singularities (e.g. klt, log canonical, etc.) appearing in the minimal model program. In particular, a log pair \((X,\Delta )\) consists of a normal variety X and a \({\mathbb {Q}}\)divisor \(\Delta \) with coefficients in (0, 1] and such that \(K_X+\Delta \) is \({\mathbb {R}}\)Cartier. Note that if the coefficients of \(\Delta \) are rational, then \(K_X+\Delta \) is \({\mathbb {Q}}\)Cartier. If S is an irreducible component of \(\lfloor \Delta \rfloor \), and \(\nu :S^{\nu }\rightarrow S\) is its normalisation, then we may write
where \(\Theta \) is an effective \({\mathbb {R}}\)divisor on \(S^{\nu }\) called the different of \((X,\Delta )\) with respect to S (cf. [28, (4.2.9)]).
Let \((X,\Delta )\) be a log pair, let \(S\subset X\) be a prime divisor contained in the support of \(\lfloor \Delta \rfloor \) and let \({{\widehat{X}}}\) be the formal completion of X along S. Assume that T is a \({\mathbb {Q}}\)Cartier formal divisor on \({{\widehat{X}}}\) which does not contain S in its support. Then we define the different of \(({{\widehat{X}}},\Delta +T)\) with respect to S, as \(\Theta +\nu ^*T\), where \(\Theta \) is the different of \((X,\Delta )\) with respect to S.
We say that a normal variety X is potentially klt if there exists a \(\mathbb {Q}\)divisor \(\Delta \ge 0\) such that \((X, \Delta )\) is klt. We say that a normal variety X is étale locally potentially klt if for all \(x \in X\) there is an étale neighborhood U of x such that U is potentially klt.
Basic definitions
A foliation on a normal variety X is a coherent subsheaf \({\mathcal {F}} \subset T_X\) such that

1.
\({\mathcal {F}}\) is saturated, i.e. \(T_X/{\mathcal {F}}\) is torsion free, and

2.
\({\mathcal {F}}\) is closed under Lie bracket.
The rank of \({\mathcal {F}}\) is its rank as a sheaf. Its corank is its corank as a subsheaf of \(T_X\).
Let X be a normal variety and let \({\mathcal {F}}\) be a rank r foliation on X. We can associate to \({\mathcal {F}}\) a morphism
defined by taking the double dual of the rwedge product of the map \(\Omega ^{[1]}_X\rightarrow {\mathcal {F}}^*\), induced by the inclusion \({\mathcal {F}} \subset T_X\). This yields a map
and we define the singular locus of \({\mathcal {F}}\), denoted by \({\text {Sing}} \, \mathcal {F}\), to be the cosupport of the image of \(\phi '\). A canonical divisor of \({\mathcal {F}}\) is a divisor \(K_{{\mathcal {F}}}\) such that \({\mathcal {O}}_X(K_{{\mathcal {F}}}) \cong \det ({\mathcal {F}})\). We define the normal sheaf of \({\mathcal {F}}\) as \({\mathcal {N}}_{{\mathcal {F}}}:=(T_X/{\mathcal {F}})^{**}\). The conormal sheaf \({\mathcal {N}}_{{\mathcal {F}}}^*\) of \({\mathcal {F}}\) is the dual of \({\mathcal {N}}_{{\mathcal {F}}}\). If \({\mathcal {F}}\) is a foliation of corank one then, by abuse of notation, we denote by \(N^*_{{\mathcal {F}}}\) a divisor associated to \({\mathcal {N}}^*_{{\mathcal {F}}}\).
Invariant subvarieties
Let X be a normal variety and let \({\mathcal {F}}\) be a rank r foliation on X. Let \(S\subset X\) be a subvariety. Then S is said to be \({\mathcal {F}}\)invariant, or invariant by \({\mathcal {F}}\), if for any open subset \(U\subset X\) and any section \(\partial \in H^0(U,{\mathcal {F}})\), we have that
where \({\mathcal {I}}_{S\cap U}\) denotes the ideal sheaf of \(S\cap U\). If \(D\subset X\) is a prime divisor then we define \(\epsilon (D) = 1\) if D is not \({\mathcal {F}}\)invariant and \(\epsilon (D) = 0\) if it is \({\mathcal {F}}\)invariant.
Let X be a normal variety and let \({\mathcal {F}}\) be a foliation on X. Let \({\widehat{X}}\) be the formal completion of X along a proper closed subvariety \(V \subset X\). We say that a formal subvariety \(S \subset {\widehat{X}}\) is a formal \({\mathcal {F}}\)invariant divisor if it is a formal divisor which is \(\widehat{{\mathcal {F}}}\)invariant, where \(\widehat{{\mathcal {F}}}\) is the restriction of \({\mathcal {F}}\) to \({\widehat{X}}\).
Transform of a foliation under a rational map
Let X be a normal variety and let \({\mathcal {F}}\) be a foliation on X. Let \(\phi :Y \dashrightarrow X\) be a dominant map and assume that there exist smooth open subsets \(U \subset X\) and \(V \subset Y\) such that the restriction \(\phi _V:V\rightarrow U\) is a morphism.
Let \({\mathcal {F}}_U\) denote the restriction of \({\mathcal {F}}\) to U. Then the morphism \({\mathcal {N}}^*_{{\mathcal {F}}_U}\rightarrow \Omega ^1_U\) induces a morphism \((\phi _V)^*{\mathcal {N}}_{{\mathcal {F}}_U}\rightarrow \Omega ^1_V\) and, therefore, a foliation \({\mathcal {G}}_V\) on V. We may extend \({\mathcal {G}}_V\) to a foliation on all of Y. Indeed, we may take \({\mathcal {G}}\) to be the saturated subsheaf of \(T_X\) whose restriction to V is \({\mathcal {G}}_V\). It is easy to see that \({\mathcal {G}}\) is closed under Lie bracket, since it is closed under Lie bracket over a dense open subset. We will refer to \({\mathcal {G}}\) as the induced foliation on Y by \(\phi \). If \(\phi :Y\rightarrow X\) is a morphism, then the induced foliation is called the pulled back foliation and we denote it by \(\phi ^{1}{\mathcal {G}}\). If \(f:X\dashrightarrow X'\) is a birational map, then the induced foliation on \(X'\) by \(f^{1}\) is called the transformed foliation of \({\mathcal {F}}\) by f and we will denote it by \(f_*{\mathcal {F}}\).
Foliation singularities
Frequently, in birational geometry, it is useful to consider pairs \((X, \Delta )\) where X is a normal variety and \(\Delta \) is a \(\mathbb {Q}\)Weil divisor such that \(K_X+\Delta \) is \(\mathbb {Q}\)Cartier. By analogy, we define:
Definition 2.1
Let X be a normal variety. A foliated pair \(({\mathcal {F}}, \Delta )\) on X consists of a foliation \({\mathcal {F}}\) on X and a \(\mathbb {R}\)divisor divisor \(\Delta \) such that \(K_{{\mathcal {F}}}+\Delta \) is \(\mathbb {R}\)Cartier.
Note that if \(({\mathcal {F}},\Delta )\) is foliated pair and \(\Delta \) is a \({\mathbb {Q}}\)divisor, then \(K_{{\mathcal {F}}}+\Delta \) is \({\mathbb {Q}}\)Cartier. Note also that we are typically interested only in the case when \(\Delta \ge 0\), although it simplifies some computations to allow \(\Delta \) to have negative coefficients.
Given a birational morphism \(\pi :{\widetilde{X}} \rightarrow X\) and a foliated pair \(({\mathcal {F}}, \Delta )\) on X, let \(\widetilde{{\mathcal {F}}}\) be the pulled back foliation on \({\tilde{X}}\) and \(\pi _*^{1}\Delta \) be the strict transform of \(\Delta \) in \({{\widetilde{X}}}\). We may write
where \(\pi _*K_{\widetilde{{\mathcal {F}}}}=K_{{\mathcal {F}}}\), the sum runs over all the prime \(\pi \)exceptional divisors on \({{\widetilde{X}}}\) and the rational number \(a(E,{\mathcal {F}},\Delta )\) is called the discrepancy of \(({\mathcal {F}},\Delta )\) with respect to E. If \(\Delta =0\), then we will simply denote \(a(E,{\mathcal {F}}, 0)\) by \(a(E,{\mathcal {F}})\). Building on the work of McQuillan (e.g. see [31, Definition I.1.5]), we define:
Definition 2.2
Let X be a normal variety and let \(({\mathcal {F}},\Delta )\) be a foliated pair on X. We say that \(({\mathcal {F}}, \Delta )\) is terminal (resp. canonical, log terminal, log canonical) if \(a(E, {\mathcal {F}}, \Delta ) >0\) (resp. \(\ge 0\), \(> \epsilon (E)\), \(\ge \epsilon (E)\)), for any birational morphism \(\pi :{{\widetilde{X}}}\rightarrow X\) and for any prime \(\pi \)exceptional divisor E on \({{\widetilde{X}}}\).
We say that a foliation \({\mathcal {F}}\) is terminal (resp. canonical, log canonical) if the foliated pair \(({\mathcal {F}},0)\) is such.
We say that the foliated pair \(({\mathcal {F}},\Delta )\) is klt if \(\lfloor \Delta \rfloor =0\) and \(a(E,{\mathcal {F}},\Delta )> \epsilon (E)\) for any birational morphism \(\pi :{\tilde{X}}\rightarrow X\) and for any \(\pi \)exceptional prime divisor E on \({\tilde{X}}\).
Let \(P \in X\) be a, not necessarily closed, point of X. We say that the foliated pair \(({\mathcal {F}}, \Delta )\) is terminal (resp. canonical, log canonical) at P if for any birational morphism \(\pi :{{\widetilde{X}}}\rightarrow X\) and for any \(\pi \)exceptional divisor E on \({{\widetilde{X}}}\) whose centre in X is the Zariski closure \({\overline{P}}\) of P, we have that the discrepancy of E is \(>0\) (resp. \(\ge 0\), \(\ge \epsilon (E)\)).
Notice that these notions are well defined, i.e., \(\epsilon (E)\) and \(a(E, {\mathcal {F}}, \Delta )\) are independent of \(\pi \).
Observe that in the case where \({\mathcal {F}} = T_X\), no exceptional divisor is invariant and so this definition recovers the usual definitions of (log) terminal, (log) canonical.
Remark 2.3
It follows from Definition 2.2 that if some component of \({\text {Supp}} \, \Delta \) is \({\mathcal {F}}\)invariant, then \(({\mathcal {F}}, \Delta )\) is not log canonical. Indeed, let D be an \({\mathcal {F}}\)invariant component of \(\Delta \) with coefficient \(a>0\). Let \(p \in D\) be a general point so that X, D and \({\mathcal {F}}\) are all smooth at p. Let \(b:X' \rightarrow X\) be the blow up at p and let \({\mathcal {F}}'=b^{1}{\mathcal {F}}\). Then b extracts a single \({\mathcal {F}}'\)invariant divisor E of discrepancy
where n is the dimension of X. Let \(D'\) be the strict transform of D and observe that \(Z :=D'\cap E\) is contained in \({\text {Sing}} \, \mathcal {F}'\). Let \(b':X'' \rightarrow X'\) be the blow up of \(X'\) in Z. Then \(b'\) extracts a divisor \(E'\) of discrepancy
We may now blow up \(E'\cap D''\), where \(D''\) is the strict transform of \(D'\) in \(X''\), and, continuing this way, we produce a sequence of extractions of divisors with discrepancy \(nka1\) where \(k =1, 2,\ldots \). Thus, if k is sufficiently large, then we extract a divisor F such that
and, in particular, \(({\mathcal {F}}, \Delta )\) is not log canonical.
Definition 2.4
Given a foliated pair \(({\mathcal {F}}, \Delta )\), we say that \(W \subset X\) is a log canonical centre (in short, lc centre) of \(({\mathcal {F}}, \Delta )\) provided \(({\mathcal {F}},\Delta )\) is log canonical at the generic point of W and there is some divisor E of discrepancy \(\epsilon (E)\) on some model of X dominating W.
Notice that in the case that \(\epsilon (E) = 0\) for all exceptional divisors E over a centre the notions of log canonical and canonical coincide. In this case, we will still refer to canonical centres as log canonical centres.
We also remark that any \({\mathcal {F}}\)invariant divisor is an lc centre of \(({\mathcal {F}}, \Delta )\).
We have the following nice characterisation due to [31, Corollary I.2.2.]:
Proposition 2.5
Let \(0 \in X\) be a normal surface germ with a terminal foliation \({\mathcal {F}}\) of rank one.
Then there exists a cyclic cover \(\sigma :Y \rightarrow X\) such that Y is a smooth surface and \(\sigma ^{1}{\mathcal {F}}\) is a smooth foliation.
We also make note of the following easy fact:
Lemma 2.6
Let \(\pi :Y\rightarrow X\) be a proper birational morphism between normal varieties. Let \(({\mathcal {F}}, \Delta )\) be a foliated pair on X and let \({\mathcal {G}}\) be the pulled back foliation of \({\mathcal {F}}\) on Y. Write \(\pi ^*(K_{{\mathcal {F}}}+\Delta ) = K_{{\mathcal {G}}}+\Gamma \).
Then \(a(E, {\mathcal {F}}, \Delta ) = a(E, {\mathcal {G}}, \Gamma )\) for all E.
We will make frequent use of the following consequence of the negativity lemma:
Lemma 2.7
Let \(\phi :X\dashrightarrow X'\) be a birational map between normal varieties and let
be a commutative diagram, where Y is a normal variety and f and \(f'\) are proper birational morphisms. Let \(({\mathcal {F}},\Delta )\) be a foliated pair on X. Let \({\mathcal {F}}'=\phi _*{\mathcal {F}}\) and let \(\Delta '\) be a \({\mathbb {Q}}\)divisor on \(X'\) such that \(f_*\Delta =f'_*\Delta '\). Assume that \((K_{{\mathcal {F}}}+\Delta )\) is fample and \(K_{{\mathcal {F}}'}+\Delta '\) is \(f'\)ample.
Then, for any valuation E on X, we have
Moreover, the inequality holds if f or \(f'\) is not an isomorphism above the generic point of the centre of E in Y.
Proof
The proof is the same as [25, Lemma 3.38]. \(\square \)
We now recall some facts from [10] on simple singularities. We say that the numbers \(\lambda _1,\ldots ,\lambda _l\in {\mathbb {C}}^*\) satisfy the nonresonant condition if for any nonnegative integers \(a_1,\ldots ,a_l\) such that \(\sum a_i\lambda _i = 0\) we have that \(a_i = 0\) for all \(i=1,\ldots ,l\).
Definition 2.8
Let \({\mathcal {F}}\) be a corank one foliation on a smooth variety X of dimension n. We say that \(p \in X\) is a simple singularity for \({\mathcal {F}}\) provided that, in formal coordinates \(x_1,\ldots ,x_n\) around p, \(N^*_{{\mathcal {F}}}\) is generated by a 1form which is in one of the following two forms, for some \(1 \le r \le n\):

1.
There are \(\lambda _1,\ldots ,\lambda _r \in \mathbb {C}^*\), which satisfy the nonresonant condition and such that
$$\begin{aligned} \omega = x_1\cdots x_r\cdot \sum _{i = 1}^r \lambda _i \frac{dx_i}{x_i}. \end{aligned}$$ 
2.
There is an integer \(k \le r\) such that
$$\begin{aligned} \omega = x_1\cdots x_r\cdot \left( \sum _{i = 1}^kp_i\frac{dx_i}{x_i} + \psi (x_1^{p_1}\cdots x_k^{p_k})\sum _{i = 2}^r \lambda _i\frac{dx_i}{x_i}\right) , \end{aligned}$$where \(p_1,\ldots ,p_k\) are positive integers without a common factor, \(\psi (s)\) is a formal power series which is not a unit, and the numbers \(\lambda _2,\ldots ,\lambda _r \in \mathbb {C}^*\) satisfy the nonresonant condition.
The integer r is called the dimensiontype of the singularity. The ruple \((\lambda _1,\ldots ,\lambda _r)\) in (1) [resp. the \((r1)\)uple \((\lambda _2,\ldots ,\lambda _r)\) in (2)] is called the residual spectrum of the singularity (cf. [10, Remark 20]).
If (X, D) is a normal crossing pair and \({\mathcal {F}}\) is a corank one foliation on X then we say that \({\mathcal {F}}\) has simple singularities adapted to D if \({\mathcal {F}}\) has simple singularities and, for every \(p\in X\), we may choose formal coordinates around p as above and such that the divisor \(D\cup \{x_1\cdots x_r=0\}\) is also normal crossing at p (cf. [10, Definitions 3, 13 and 14]).
A stratum of \({\text {Sing}} \, \mathcal {F}\) is a closed subvariety \(Z\subset {\text {Sing}} \, \mathcal {F}\) such that for all \(p \in Z\) and coordinates \(x_1,\ldots , x_n\) as above, in the formal neighbourhood of X at p, we have that Z is a stratum of \(\{x_1\cdots x_r = 0\}\).
By Cano [10, Main Theorem], every corank one foliation \({\mathcal {F}}\) on a smooth threefold X admits a resolution \(\pi :X'\rightarrow X\) by blow ups centred in the singular locus of the foliation, such that the transformed foliation has simple singularities. By allowing blow ups in centres tangent to the foliation (but perhaps not contained in \({\text {Sing}} \, \mathcal {F}\)) we may get that the transformed foliation has simple singularities adapted to \({\text {Exc}} \, \pi \). More generally, we may perform a sequence of blow ups so that the transform of \({\mathcal {F}}\) has simple singularities adapted to the transform of any divisor D on X (cf. [10, Theorem 3 and Sect. 4.5]).
We remark that if \({\mathcal {F}}\) is an algebraic foliation defined on an algebraic threefold and D is an algebraic divisor then we only need to blow up in algebraic centres. Indeed, for centres contained in \({\text {Sing}} \, \mathcal {F}\) this is obvious. If Z is a centre which needs to be blown up and which is not contained in \({\text {Sing}} \, \mathcal {F}\) then Z is either contained in the singular locus of D or is contained in the tangency locus of \({\mathcal {F}}\) and D. Since \({\mathcal {F}}\) and D are algebraic, these loci are also algebraic. Hence Z is algebraic.
Lemma 2.9
Let X be a smooth variety and let \({\mathcal {F}}\) be a corank one foliation with simple singularities on X.
Then \({\mathcal {F}}\) is canonical.
Proof
Let \(\pi :X' \rightarrow X\) be a birational morphism, let \(E \subset X'\) be a divisor and let \(Z = \pi (E)\). If Z is not contained in \({\text {Sing}} \, \mathcal {F}\), then by shrinking about the generic point of Z we may apply [1, Lemma 3.10] to conclude that \(a(E, {\mathcal {F}}) \ge 0\).
Assume now that \(Z \subset {\text {Sing}} \, \mathcal {F}\). By shrinking about the generic point of Z, we may assume that Z is smooth and, by Zariski’s Lemma (cf. [25, Lemma 2.45]), after possibly replacing \(X'\) by a higher model, we may assume that \(\pi \) is a composition of blowups of subvarieties centred on Z. By induction on the number of blow ups, it suffices to show that if \(b:Y \rightarrow X\) is the blow up of Z then

(i)
if \(E_0\) is the bexceptional divisor then \(a(E_0, {\mathcal {F}}) \ge 0\); and

(ii)
\(b^{1}{\mathcal {F}}\) has simple singularities in a neighbourhood of \(b^{1}(z)\), where \(z \in Z\) is a general point.
To prove (i), observe that if W is a minimal stratum of \({\text {Sing}} \, \mathcal {F}\) containing Z and \(\omega \) is a 1form defining \({\mathcal {F}}\) at a general point of Z, then \(b^*\omega \) vanishes to order \({\text {codim}} \, W1\) at the generic point of \(E_0\). Thus,
and (i) follows.
We now prove (ii). Since we are only concerned about the behaviour at the general point of Z, we may assume without loss of generality that Z is contained in a stratum of \({\text {Sing}} \, \mathcal {F}\) which meets no lower dimensional strata. Thus, If \(p\in Z\) is a closed point then we may find formal coordinates \(x_1, \ldots , x_r, y_1, \ldots , y_{nr}\) around p, where n is the dimension of X, r is the dimension type of the singularity and if \(\omega \) is a 1form defining the foliation near Z then \(\omega \) is in one of the two forms in Definition 2.8 and
for some \(l \le nr\). Let \(\omega ' :=\frac{1}{x_1\cdots x_r} \omega \).
Fix \(i=1,\ldots ,r\). Consider the chart for the blow up given by
If \(\omega \) has a simple singularity of type (1) then
and, in this chart,
where \(\lambda '_j = \lambda _j\) for \(j \ne i\) and \(\lambda '_i = \sum _{j}\lambda _j\). In particular, notice that \(\lambda '_1,\ldots ,\lambda '_r\in {\mathbb {C}}^*\) satisfy the nonresonant condition, since it is a positive integral linear combination of a nonresonant spectrum, and so \(b^*\omega '\) is still a simple singularity of type (1). A similar computation holds in all other charts. Thus \(b^*\omega '\) defines a simple singularity of type (1).
So suppose that we have a simple singularity of type (2). Then
Again, using coordinates for the blow up as above we see that if \(1 \le i \le k\) then
and if \(i >k\) we have
where \(p'_j = p_j\) if \(j \ne i\) and \(p'_i = p_1+\cdots +p_k\) and \(\lambda '_j\) is defined as above. Again, it follows that \(\lambda '_2,\ldots ,\lambda '_r\) satisfy the nonresonant condition and, similarly as above, \(b^*\omega \) defines a simple singularity of type (2).
We remark that in both these cases the exceptional divisor of the blow up is invariant.
Thus, \(b^{1}{\mathcal {F}}\) has simple singularities in a neighbourhood of \(b^{1}(z)\) and (ii) follows. \(\square \)
The converse of this statement is false (e.g. see [41, Example 2.16]).
Definition 2.10
Given a normal variety X and a foliation \({\mathcal {F}}\) on X, we say that \({\mathcal {F}}\) has nondicritical singularities if for any closed point \(q \in X\) and any proper birational morphism \(\pi :X'\rightarrow X\) such that \(\pi ^{1}(q)\) is a divisor we have that each component of \(\pi ^{1}(q)\) is invariant by \(\pi ^{1}{\mathcal {F}}\).
Example 2.11
Let \(\lambda \in \mathbb {R}\). Consider the rank one foliation \({\mathcal {F}}_\lambda \) on \(\mathbb {C}^2\) generated by \(x\partial _x+\lambda y\partial _y\). For \(\lambda \in \mathbb {Q}_{> 0}\) we can see that \({\mathcal {F}}_\lambda \) is dicritical, and otherwise is nondicrtical. See [9, pg. 7] for an explicit resolution of \({\mathcal {F}}_{\lambda }\) when \(\lambda \in \mathbb {Q}_{>0}\).
Definition 2.12
Let X be a normal variety and let \({\mathcal {F}}\) be a corank one foliation with nondicritical singularities.
We say that a subvariety \(W \subset X\) (possibly contained in \({\text {Sing}} \, X\) or \({\text {Sing}} \, \mathcal {F}\)) is tangent to \({\mathcal {F}}\) if for any birational morphism \(\pi :X'\rightarrow X\) and any divisor E on X such that E dominates W, we have that E is \({\mathcal {F}}'\)invariant, where \({\mathcal {F}}'\) is the pulled back foliation on \(X'\). Otherwise, we say that \(W \subset X\) is transverse to \({\mathcal {F}}\).
Note that the definitions above differ slightly from the usual ones, but, in our opinion, they are more flexible when working with singular varieties. In particular, if \(W\subset X\) is a subvariety which is not contained in \({\text {Sing}} \, X \cup {\text {Sing}} \, \mathcal {F}\), then our definition of tangency coincides with the classic one. Note also that for divisors the notions of tangency and invariance coincide.
Assume now that X is a normal variety, \({\mathcal {F}}\) is a corank one foliation on X and \(W\subset X\) is an irreducible subvariety which is not contained in \({\text {Sing}} \, X \cup {\text {Sing}} \, \mathcal {F}\) and which is transverse to \({\mathcal {F}}\). Let \(\nu :W^{\nu }\rightarrow W\) be its normalisation. Let \(U\subset X\) be a proper open subset which intersect W and which is contained in the smooth locus of X and let \(V=\nu ^{1}(U\cap W)\). Then the composition of the natural maps
induces a corank one foliation \({\mathcal {G}}_V\) on V which extends naturally to a foliation \({\mathcal {G}}\) on \(W^{\nu }\), called the restricted foliation of \({\mathcal {F}}\) on \(W^{\nu }\).
If X is a smooth variety and \({\mathcal {F}}\) is a corank one foliation on X then we say that \({\mathcal {F}}\) is strongly nondicritical if for any sequence of blow ups
in smooth centres tangent to \({\mathcal {F}}_i\) or smooth centres contained in \({\text {Sing}} \, \mathcal {F}_i\), where \({\mathcal {F}}_i\) is the transformed foliation on \(X_i\), we have that the exceptional locus of \(X_n \rightarrow X\) is \({\mathcal {F}}_n\)invariant (cf. [12]). We remark that we allow these maps to be blow ups along analytic subvarieties.
Remark 2.13
Simple singularities are strongly nondicritical. Indeed, by [12, Théorème 4] nondicriticality can be checked by blowing up in permissible centres (cf. [10, Definition 1]). However, as we saw in the proof of Lemma 2.9 the exceptional divisor for such a blow up is always invariant by the induced foliation.
In [12, Théorème 4], the following characterisation of strong nondicriticality is given. A germ of a corank one foliation \({\mathcal {F}}\) on \(0 \in \mathbb {C}^n\) is strongly nondicritical if and only if there does not exists a germ of a surface \(0 \in Z\subset {\mathbb {C}}^n\) such that Z is transverse to \({\mathcal {F}}\) and such that the restricted foliation to Z admits infinitely many invariant curves passing through \({\text {Sing}} \, \mathcal {F}\).
We now show that, in the case of smooth threefolds, all these notions of nondicriticality coincide:
Lemma 2.14
Let X be a smooth threefold and let \({\mathcal {F}}\) be a corank one foliation on X.
Then \({\mathcal {F}}\) is nondicritical if and only if it is strongly nondicritical.
Proof
Suppose that \({\mathcal {F}}\) is strongly nondicritical. Let \(\pi :X' \rightarrow X\) be a proper birational morphism, let \(q \in X\) be a closed point and suppose that \(E \subset \pi ^{1}(q)\) is a prime divisor. Suppose for sake of contradiction that E is not \(\pi ^{1}{\mathcal {F}}\)invariant. Let \(H \subset X'\) be a general hypersurface such that if \({\mathcal {G}}\) is the foliation restricted to H then \(E\cap H\) is transverse to \({\mathcal {G}}\). Then, through a general point \(P \in E \cap H\) there is a germ of a \({\mathcal {G}}\)invariant curve passing through P, call it \(\Sigma _P\). It follows that if \(Z = \pi (H)\) then Z is transverse to \({\mathcal {F}}\) and the restricted foliation admits infinitely many invariant curves passing through \(q = \pi (E \cap H)\), namely, \(\pi (\Sigma _P)\) as we let P vary over points of \(E\cap H\), a contradiction. In particular, \(q\in {\text {Sing}} \, \mathcal {F}\). Thus, \({\mathcal {F}}\) is nondicritical.
Now suppose that \({\mathcal {F}}\) is nondicritical. Let \(\pi :X' \rightarrow X\) be a resolution of singularities so that \((X', {\text {Exc}} \, \pi )\) is log smooth and \({\mathcal {F}}' :=\pi ^{1}{\mathcal {F}}\) has simple singularities adapted to \({\text {Exc}} \, \pi \) (cf. Definition 2.8). In particular, if E is a component of \({\text {Exc}} \, \pi \) which is not \({\mathcal {F}}'\)invariant then \({\text {Sing}} \, \mathcal {F}' \cap E\) has no onedimensional components. We may also take \(\pi \) to be a sequence of blow ups centred either in \({\text {Sing}} \, \mathcal {F}\) or centres tangent to the foliation. Since, by Remark 2.13, simple singularities are strongly nondicritical, it suffices to show that \({\text {Exc}} \, \pi \) is \({\mathcal {F}}'\)invariant.
If E is a component of \({\text {Exc}} \, \pi \) such that \(\pi (E)\) is zerodimensional or \(\pi (E)\) is not contained in \({\text {Sing}} \, \mathcal {F}\) then it follows immediately that E is \({\mathcal {F}}'\)invariant. So suppose that \(\pi (E)\) is a curve contained in \({\text {Sing}} \, \mathcal {F}\). Since \({\mathcal {F}}\) is nondicritical it follows that the fibres of \(E \rightarrow \pi (E)\) are tangent to \({\mathcal {F}}'\). Suppose for sake of contradiction that E is not \({\mathcal {F}}'\)invariant.
If \({\mathcal {G}}\) is the foliation restricted to E then \({\mathcal {G}}\) is the foliation induced by \(E \rightarrow \pi (E)\) and is therefore smooth over the generic point of \(\pi (E)\). Since \({\text {Sing}} \, \mathcal {F}' \cap E\) has no onedimensional components, it follows that \({\mathcal {F}}'\) is smooth in a neighbourhood of a general fibre of \(E \rightarrow \pi (E)\). Next, we claim that if \(E'\) is any other \(\pi \)exceptional divisor dominating \(\pi (E)\) then \(E'\) is not \({\mathcal {F}}'\)invariant. Indeed, suppose otherwise. Without loss of generality we may assume that \(E'\cap E \ne \emptyset \) and \(E \cap E'\) dominates \(\pi (E)\). However \(E \cap E'\) is \({\mathcal {G}}\)invariant since \(E'\) is \({\mathcal {F}}'\)invariant and so \(E\cap E'\) is contained in a fibre of \(E \rightarrow \pi (E)\), a contradiction.
Shrinking about a neighborhood of the general point of \(\pi (E)\) we may therefore assume that every \(\pi \)exceptional divisor is transverse to \({\mathcal {F}}'\) and that \({\mathcal {F}}'\) is smooth.
Now, let \(\omega \) be a 1form defining \({\mathcal {F}}\) in a neighborhood of a general point of \(\pi (E)\). Since \(\pi (E)\) is contained in \({\text {Sing}} \, \mathcal {F}\) it follows that \(\pi ^*\omega \) must vanish along \({\text {Exc}} \, \pi \) and, in particular, it follows that that \(N^*_{{\mathcal {F}}'} = F\) where \(F\ge 0\) is \(\pi \)excpetional and \(F \ne 0\).
On the other hand, it is easy to verify that \(K_{{\mathcal {F}}'}\) and \(K_{X'}\) are numerically equivalent over X. Indeed, one can check (as in the proof of [41, Lemma 3.11]) that if \(E'\) is any \(\pi \)exceptional divisor dominating \(\pi (E)\) and if C is a general fibre of \(E' \rightarrow \pi (E)\) then \((K_{{\mathcal {F}}'}+E)\cdot = (K_{X'}+E')\cdot C = 2\) and so \(K_{{\mathcal {F}}'}\cdot C = K_{X'}\cdot C\). This, together with the equality \(K_{X'} = K_{{\mathcal {F}}'}+N^*_{{\mathcal {F}}'}\) implies that \(N^*_{{\mathcal {F}}'} = F\) is numerically trivial over X. Since \(F \ne 0\), the negativity lemma (e.g. see [25, Lemma 3.39]) gives us a contradiction. \(\square \)
Remark 2.15
The above proof shows that if X is a smooth threefold, \({\mathcal {F}}\) is a nondicritical corank one foliation on X, \(\pi :X'\rightarrow X\) is a birational morphism and W is \({\mathcal {F}}\)invariant, then \(\pi ^{1}(W)\) is \({\mathcal {F}}'\)invariant where \({\mathcal {F}}'\) is the transformed foliation on \(X'\).
Remark 2.16
Let X be a normal threefold and let \({\mathcal {F}}\) be a corank one foliation with nondicritical singularities. Let \(\pi :X'\rightarrow X\) be a birational morphism and let \({\mathcal {F}}'\) be the transformed foliation on \(X'\). Assume that there exists a prime \(\pi \)exceptional divisor E, which is \({\mathcal {F}}'\)invariant and whose centre in X is W. Then every \(\pi \)exceptional divisor E whose centre in X is W is \({\mathcal {F}}'\)invariant. Indeed, the proof of this fact follows exactly as in the proof of Lemma 2.14.
Definition 2.17
Given a normal germ \(0 \in X\) (resp. the formal completion \(0 \in {\widehat{X}}\) of a normal variety X at the point \(0\in X\)) with a corank one foliation \({\mathcal {F}}\) such that 0 is a singular point for \({\mathcal {F}}\), we call an irreducible hypersurface germ (resp. a formal hypersurface) \(0 \in S\) a separatrix (resp. formal separatrix) if it is \({\mathcal {F}}\)invariant.
Let \(0 \in X\) be a smooth germ and let \({\mathcal {F}}\) be a corank one foliation \({\mathcal {F}}\) on X defined by a 1form \(\omega \). Sometimes, in the literature, a formal separatrix is defined to be an irreducible and reduced formal power series f such that f divides \(df\wedge \omega \). We claim that, under this assumption, \(\{f=0\}\) defines a formal hypersurface which is \({\mathcal {F}}\)invariant. Indeed, let v be a vector field such that \(v(\omega )= 0\). On one hand, \(v(df \wedge \omega )\) is necessarily divisble by f since \(df\wedge \omega \) is. On the other hand, we can compute \(v(df\wedge \omega )= v(df) \omega df v(\omega ) = v(df)\omega \) which implies that v(df) is divisible by f, i.e., the ideal (f) is invariant by v, as required. Conversely, if \(\{f = 0\}\) is \({\mathcal {F}}\)invariant then \(df \wedge \omega \) is divisible by f. Indeed, after replacing \((X,\{f=0\})\) by its log resolution whose existence is guaranteed by [42, Theorems 1.1.9 and 1.1.13], we may assume that the pair \((X, \{f = 0\})\) is log smooth. Thus, we may assume that in some formal coordinates \(x_1, \ldots , x_n\) we may write \(f = x_1\). Now write \(\omega = \sum a_idx_i\) for some functions \(a_1,\ldots ,a_n\) and suppose for sake of contradiction that there exists \(j \ne 1\) such that \(a_j \notin (x_1)\). In this case \(\partial :=a_j\frac{\partial }{\partial x_1}  a_1\frac{\partial }{\partial x_j}\) is a local vector field in \({\mathcal {F}}\). However, \(\partial (x_1) =a_j \notin (x_1)\) and so \(\{x_1 =0\}\) is not invariant, a contradiction.
Example 2.18
Let \({\mathcal {F}}\) be a corank one foliation on a smooth variety X with a simple singularity at \(p\in X\) of dimension type r. Let \(x_1,\ldots ,x_n\) be formal coordinates as in Definition 2.8. Then \(\{x_i=0\}\) is a formal separatrix for each \(i=1,\ldots ,r\) and moreover these are the only formal separatrices at p, see [10, Appendix: About simple singularities].
Note that away from the singular locus of \({\mathcal {F}}\) a separatrix is in fact a leaf. Furthermore being nondicritical implies that there are only finitely many separatrices through a singular point. The converse of this statement is false.
Lemma 2.19
Let X be a smooth variety of dimension n and let \({\mathcal {F}}\) be a corank one foliation on X with simple singularities. Suppose that \(S \subset {\text {Sing}} \, \mathcal {F}\) is a subvariety such that \(\dim S \ge 1\). Let \(H \subset X\) be a general element of a base point free linear system and let \({\mathcal {G}}\) be the restricted foliation.
Then \({\mathcal {G}}\) has simple singularities at a general point of \(S \cap H\).
Proof
Remark 2.13 implies that \({\mathcal {F}}\) admits nondicritical singularities. Let \(P \in S\) be a general closed point and let \(r \le n1\) be the dimension type of \({\mathcal {F}}\) at P. Note that this condition is generic in \({\text {Sing}} \, \mathcal {F}\).
Let \(D_1, \ldots , D_{r}\) be the separatrices of \({\mathcal {F}}\) at P, including the formal ones. Let H be a hyperplane passing through P such that \(({\widehat{X}}, D_1+\cdots +D_{r}+H)\) is a normal crossings pair where \({\widehat{X}}\) is the formal completion of X at P. If \(\omega \) is a 1form defining \({\mathcal {F}}\) it is easy to check that \(\omega \) restricted to H is still a 1form which is of one of the types listed in Definition 2.8. Thus, the restricted foliation will have simple singularities near P. It follows from [10, Proposition 14] that having presimple singularities is an open condition in \({\text {Sing}} \, \mathcal {F}\), and the proof there works just as well to imply that having simple singularities is an open condition in \({\text {Sing}} \, \mathcal {F}\). \(\square \)
Even for simple foliation singularities it is possible that there are separatrices which do not converge. However, as the following definition/result shows there is always at least one convergent separatrix along a simple foliation singularity of codimension two.
Lemma 2.20
For a simple singularity of type (1), all separatrices are convergent.
For a simple singularity of type (2), around a general point of a codimension two component of the the singular locus we can write \(\omega = pydx+qxdy+ x\psi (x^py^q)\lambda dy\). The hypersurface \(\{x = 0\}\) is a convergent separatrix, called the strong separatrix.
Proof
This is proven in [11, Part II Sect. 5]. \(\square \)
Foliation with \(K_{{\mathcal {F}}}\) not pseudoeffective
We make note of the following easy consequence of [14].
Lemma 2.21
Let X be a normal variety and let \({\mathcal {F}}\) be a foliation on X such that \(K_{{\mathcal {F}}}\) is \(\mathbb {Q}\)Cartier and \(K_{{\mathcal {F}}}\) is not pseudoeffective. Then \({\mathcal {F}}\) is uniruled, i.e., there exists a family of rational curves covering X and tangent to \({\mathcal {F}}\).
Proof
Let \(\pi :X' \rightarrow X\) be a resolution of singularities and let \({\mathcal {F}}'\) be the pulled back foliation. Then observe that \(K_{{\mathcal {F}}'}\) is not pseudoeffective and so we may freely assume that X is smooth.
Let \(\alpha \) be a movable class so that \(K_{{\mathcal {F}}}\cdot \alpha <0\). Let \({\mathcal {E}} \subset {\mathcal {F}}\) be a maximal destabilizing subsheaf of \({\mathcal {F}}\) with respect to \(\alpha \). It follows that \({\mathcal {E}}\) defines a foliation with \(\mu _{\alpha , min}({\mathcal {E}})>0\) and so by [14, Theorem 1.1] \({\mathcal {E}}\) is a foliation with rationally connected leaves, from which our claim follows. \(\square \)
Steps of the minimal model program
We recall some of the main definitions commonly used in the Minimal Model Program. Let X be a normal projective variety. We denote by \(N_1(X)\) the \({\mathbb {R}}\)vector space spanned by 1cycles on X modulo numerical equivalence (e.g. see [25, Definition 1.16]). We denote by \(NE(X)\subset N_1(X)\) the subset of effective 1cycles \([\sum _{i=1}^k a_i C_i]\) where \(a_1,\ldots ,a_k\) are positive real numbers and \(C_1,\ldots ,C_k\) are curves in X, and we denote by \(\overline{NE(X)}\) its closure (e.g. see [25, Definition 1.17]). A ray is a onedimensional subcone R of \(\overline{NE(X)}\) and it is called extremal if for any \(u,v\in \overline{NE(X)}\) such that \(u+v\in R\), we have that \(u,v\in R\). If D is a \({\mathbb {Q}}\)Cartier \({\mathbb {Q}}\)divisor on X then the extremal ray R is said to be Dnegative if \(D\cdot C<0\) for any curve C such that \([C]\in R\). Given an extremal ray \(R \subset {\overline{NE}}(X)\), we define the locus of R, denoted \({\text {loc}}(R)\), to be the set of all those points \(x\in X\) such that there exists a curve C with \(x \in C\) and \([C] \in R\). A projective birational morphism \(f:X \rightarrow Y\) between normal projective varieties is said to be a flipping contraction, or small contraction, if its exceptional locus has codimension at least two and it is called a divisorial contraction if its exceptional locus is a divisor. Moreover, the birational morphism \(f:X\rightarrow Y\) is said to be an extremal contraction if the relative Picard number \(\rho (X/Y):=\rho (X)\rho (Y)\) is equal to one. Given an extremal ray \(R \subset {\overline{NE}}(X)\), an extremal contraction \(f:X\rightarrow Y\) is said to be associated to R if the locus of R coincides with the exceptional locus of f.
Let D be a \(\mathbb {Q}\)Cartier \({\mathbb {Q}}\)divisor on a normal projective variety X, let R be a Dnegative extremal ray and let \(f:X\rightarrow Y\) be a flipping contraction associated to R. Note, in particular, that \(D\) is fample. Then the Dflip is a birational map \(\phi :X \dashrightarrow X^+\) such that

1.
\(\phi \) is an isomorphism in codimension one,

2.
there exists an extremal small contraction \(f^+:X^+ \rightarrow Y\), and

3.
\(D^+:=\phi _*D\) is \(f^+\)ample.
Note that the Dflip, if it exists, is unique.
We refer to [7, Definition 3.6.4] for the definition of ample models and we observe that if \(\phi :X \dashrightarrow X^+\) is a Dflip with flipping contraction \(f:X\rightarrow Y\) then \(X^+\) is the ample model of D over Y.
Let \(\phi :X\dashrightarrow Y\) be a birational contraction between normal projective varieties and let D be a \({\mathbb {Q}}\)Cartier \({\mathbb {Q}}\)divisor on X. Then \(\phi \) is said to be a step of a D MMP if it is either a Dflip or a divisorial contraction associated to a Dnegative extremal ray. More in general, \(\phi \) is said to be a sequence of steps of a D MMP if we can decompose \(\phi \) as
so that the birational contraction \(X_i\dashrightarrow X_{i+1}\) is a step of a \(D_i\)MMP where \(D_i\) is the strict transform of D on \(X_i\). Note that if X is \({\mathbb {Q}}\)factorial, then Y is also \({\mathbb {Q}}\)factorial.
If we replace the projective variety X by a projective morphism \(\pi :X \rightarrow U\) between normal varieties, then all the definitions above admit a relative version, by replacing each variety by one admitting a projective morphism to U, and each birational map by a birational map over U, in a similar fashion as in the classical MMP (e.g. see [25, Sect. 3.6]).
A result from the classical MMP
We will need to make use of some techniques from the classical MMP.
Definition 2.22
Let X be a normal variety. We say that a birational morphism \(f:Y \rightarrow X\) is a small \(\mathbb {Q}\)factorialisation if the following holds:

1.
f is an isomorphism in codimension one,

2.
f is a projective morphism, and

3.
Y is \(\mathbb {Q}\)factorial.
Theorem 2.23
[7, Corollary 1.4.3] Let X be a normal algebraic variety of dimension three and let \(D \ge 0\) be such that (X, D) is klt.
Then there exists a small \(\mathbb {Q}\)factorialisation for X. Moreover, if we write \(K_Y+D_Y = f^*(K_X+D)\) then \((Y, D_Y)\) is klt.
Remark 2.24
Since flips are known to exist over complex analytic varieties (cf. [39, Main Theorem]), the same proof as in [7] implies the existence of a small \(\mathbb {Q}\)factorialisation for a klt pair (X, D), where X is a complex analytic space of dimension three.
Fdlt foliated pairs and basic adjunction type results
The goal of this section is to define a new category of foliated log pair singularities, namely Fdlt pairs. These are analogous of dlt log pairs in the classical MMP and they seem to be the most suitable singularities to run a foliated MMP. In particular, we prove several properties satisfied by these pairs, which we use later on in the paper.
Foliated log smooth pairs
Definition 3.1
Given a normal variety X, a corank one foliation \({\mathcal {F}}\) and a foliated pair \(({\mathcal {F}}, \Delta )\) we say that \(({\mathcal {F}}, \Delta )\) is foliated log smooth provided the following hold:

1.
\((X, \Delta )\) is log smooth,

2.
\({\mathcal {F}}\) has simple singularities, and

3.
if S is the support of the non \({\mathcal {F}}\)invariant components of \(\Delta \), \(p \in S\) is a closed point and \(\Sigma _1, \ldots , \Sigma _k\) are the (possibly formal) \({\mathcal {F}}\)invariant divisors passing through p, then \(S \cup \Sigma _1 \cup \cdots \cup \Sigma _k\) is a normal crossings divisor at p.
Given a normal variety X, a corank one foliation \({\mathcal {F}}\) and a foliated pair \(({\mathcal {F}}, \Delta )\), a foliated log resolution, or in short log resolution, is a proper birational morphism \(\pi :Y\rightarrow X\) so that \({\text {Exc}} \, \pi \) is a divisor and \(({\mathcal {G}}, \pi _*^{1}\Delta +\sum E)\) is foliated log smooth where \({\mathcal {G}}\) is the pulled back foliation on Y and the sum runs over all the \(\pi \)exceptional divisors.
Remark 3.2

If X is a surface, then the existence of a foliated log resolution follows from a result of Seidenberg [38]. If X is a threefold, then such a resolution exists by [10].

Items (2) and (3) in Definition 3.1 imply that each component of S is generically transverse to the foliation, no strata of S is tangent to the foliation and no strata of \({\text {Sing}} \, \mathcal {F}\) is contained in S.

If \({\mathcal {F}}\) is log smooth and if D is a \({\mathcal {F}}\)invariant divisor then it is not necessarily the case that D is smooth, although it will have at worst normal crossings singularities.
Lemma 3.3
Let \(({\mathcal {F}},\Delta )\) be a foliated log smooth pair on a variety X, where \(\Delta = \sum a_iD_i\) is a \({\mathbb {Q}}\)divisor such that \(0\le a_i \le 1\) and \(D_i\) is not \({\mathcal {F}}\)invariant for every i.
Then \(({\mathcal {F}}, \Delta )\) is log canonical.
Proof
By Lemma 2.9, since \({\mathcal {F}}\) has simple singularities, it follows that \({\mathcal {F}}\) is canonical.
Now let \(\pi :Y \rightarrow X\) be a blow up of subvariety \(Z \subset {\text {Supp}} \, \Delta \) where Z has codimension k. Let E be the exceptional divisor. We compute the discrepancy of this blow up as follows:

1.
If Z is transverse to the foliation then the discrepancy is
$$\begin{aligned} (k1)\sum _{\{i \mid Z \subset D_i\}}a_i \ge 1 = \epsilon (E), \end{aligned}$$where the inequality holds since \(k \ge \#\{i \mid Z \subset D_i\}\) by Item (1) in Definition 3.1.

2.
If Z is tangent to the foliation but not contained in \({\text {Sing}} \, \mathcal {F}\) then the discrepancy is
$$\begin{aligned} (k1)\sum _{\{i \mid Z \subset D_i\}}a_i \ge 0 = \epsilon (E), \end{aligned}$$where the inequality holds since \(k \ge \#\{i \mid Z \subset D_i\}+1\) by Item (3) in Definition 3.1.

3.
If \(Z \subset {\text {Sing}} \, \mathcal {F}\) then let m be the codimension of the minimal strata of \({\text {Sing}} \, \mathcal {F}\) containing Z. The discrepancy of the blow up is
$$\begin{aligned} (k1)(m1)  \sum _{\{i \mid Z \subset D_i\}}a_i \ge 0 = \epsilon (E), \end{aligned}$$where the inequality holds since \(k \ge m+\#\{i \mid Z \subset D_i\}\) by Item (3) in Definition 3.1.
As in the proof of Lemma 2.9, it follows that if \({\mathcal {G}}\) is the transformed foliation on Y and \(\Delta '\) is the strict transform of \(\Delta \) in Y, then \(({\mathcal {G}},\Delta '+E)\) is foliated log smooth. Thus, the result then follows by induction. \(\square \)
Note that in contrast to the classical situation, if \(({\mathcal {F}}, \Delta )\) is a foliated log smooth pair then \(({\mathcal {F}}, \Delta )\) may have infinitely many lc centres:
Example 3.4
Let \(({\mathcal {F}}, D_1+D_2)\) be a foliated log smooth pair on a threefold X, for some prime divisors \(D_1\) and \(D_2\) which are not \({\mathcal {F}}\)invariant. Suppose that \(Z = D_1 \cap D_2\) is nonempty, disjoint from \({\text {Sing}} \, \mathcal {F}\) and that Z is transverse to \({\mathcal {F}}\). Then Z is an lc centre of \(({\mathcal {F}}, D_1+D_2)\). Moreover, if \(p \in Z\) and if \(\pi :Y \rightarrow X\) is the blow up at p with exceptional divisor E then the discrepancy with respect to E is \(0 = \epsilon (E)\) and so p is an lc centre of \(({\mathcal {F}}, D_1+D_2)\). In particular, \(({\mathcal {F}},D_1+D_2)\) admits infinitely many lc centres.
Note also that if \({\mathcal {F}}\) is a foliation on a smooth projective variety X which is induced by a fibration onto a curve then any smooth vertical fibre is an lc centre.
Extending separatrices
We provide a general result on the existence of formal separatrices which is a slight generalisation of the results in [11, Sect. IV].
Lemma 3.5
Let X be a normal quasiprojective threefold. Let \({\mathcal {F}}\) be a corank one foliation on X with nondicritical singularities. Let \(V \subset X\) be a subvariety tangent to \({\mathcal {F}}\), let \(q \in V\) be any point and let \({\widehat{S}}_q\) be a, possibly formal, \({\mathcal {F}}\)invariant divisor containing q. Let \({{\widehat{X}}}\) be the formal completion of X along V.
Then there exists an \(\widehat{{\mathcal {F}}}\)invariant formal subscheme \({\widehat{S}}\) on \({{\widehat{X}}}\) which contains \({\widehat{S}}_q\) near q.
Moreover, if \({\widehat{S}}_q\) is in fact convergent, then we may take \({\widehat{S}}\) to be convergent.
Proof
Let \(\pi :W \rightarrow X\) be a high enough foliated log resolution so that \(\pi ^{1}(V) = E\) is a divisor. By definition, we see that E is \(\pi ^{1} {\mathcal {F}}\)invariant. Let \({\widehat{W}}\) be the completion of W along E and let \({\hat{\pi }}:{\widehat{W}} \rightarrow {\widehat{X}}\) be the induced morphism.
Let \({\widehat{X}}_{/q}\) denote the formal completion of X along q and let \({\widehat{W}}_{/\pi ^{1}(q)}\) denote the formal completion of W along \(\pi ^{1}(q)\). Note that we have morphisms \({\widehat{X}}_{/q} \rightarrow {\widehat{X}}\) and \({\widehat{W}}_{/\pi ^{1}(q)} \rightarrow {\widehat{W}}\) which commute with the induced morphism \({\widehat{W}}_{/\pi ^{1}(q)} \rightarrow {\widehat{X}}_{/q}\) and \({{\widehat{W}}}\rightarrow {{\widehat{X}}}\). Since \({\widehat{S}}_q\) is a formal subscheme of \({\widehat{X}}_{/q}\) we may take its strict transform on \({\widehat{W}}_{/\pi ^{1}(q)}\), call it \({\widehat{S}}_q'\). Recall that we can construct the strict transform as follows: let \({\widehat{X}}_{/q} = \text {Spf } A\), \({\widehat{S}}_q = \text {Spf } B\) and let \(\pi \) be given by the blow up along an ideal I. Let \({\tilde{W}}\) be the blow up of \({\text {Spec}}\, A\) along \(I \otimes A\). If \({\tilde{S}} = {\text {Spec}}\, B\) we may define the strict transform \({\tilde{S}}'\) as the blow up of \({\tilde{S}}\) along the ideal \(I \otimes _A B\), [23, Corollary II.7.15]. We may take \({\widehat{S}}'_q\) to be the formal completion of \({\tilde{S}}'\) along \({\tilde{S}}'\cap \pi ^{1}(q)\).
The arguments in [11, Sect. IV] and their slight extension in [41, Lemma 5.3] show that if \({\widehat{S}}'_q\) is convergent then we can extend \({\widehat{S}}'_{q}\) to a \(\pi ^{1}{\mathcal {F}}\)invariant formal subscheme \({\widehat{S}}'\) of \({\widehat{W}}\). In fact, the arguments given in [41] work even if \({\widehat{S}}'_q\) is not convergent as in the proof of [11, Theorem IV.2.1].
For the reader’s convenience we briefly indicate some of the important ideas of the proof of [11, Theorem IV.2.1]. Let \(\omega \) be a 1form defining a simple singularity on \(0 \in U \subset \mathbb {C}^3\) with coordinates (x, y, z). Suppose that the dimension type of \(\omega \) is 3 (the case where the dimension type is 2 can be handled in a similar manner). By the work of [11, Sect. 2] we know that two of the separatrices at 0 are convergent. So, after performing a holomorphic change of coordinates we may assume that they are given by \(\{x=0\}\) and \(\{y=0\}\). It follows that the formal separatrix at 0 may be defined by an equation \(f = z+\phi (x, y)\) where \(\phi (x, y) \in (xy)\mathbb {C}[[x, y]]\). By [11, Proposition II.5.4] it follows that there exists a bidisc \(V\subset \mathbb {C}^2\) such that in fact \(\phi (x, y) = \sum \phi _i(x, y)(xy)^i\) where \(\phi _i(x, y) \in {\mathcal {O}}_{\mathbb {C}^2}(V)\). In particular, up to shrinking U, if \({\widehat{U}}\) denotes the formal completion of U along \(\{xy=0\}\) we see that in fact \(z +\phi (x, y) \in H^0({\widehat{U}}, {\mathcal {O}}_{{\widehat{U}}})\). In particular, we have extended the formal separatrix, a priori only defined on the formal completion of U at 0, to the formal completion of U along the union of the convergent separatrices. Using this local extension result we see that the arguments given for extending convergent separatrices work for extending formal separatrices.
Let \({\mathcal {I}}_{{\widehat{S}}'} \subset {\mathcal {O}}_{{\widehat{W}}}\) be the ideal sheaf corresponding to \({\widehat{S}}'\). By the proper mapping theorem for formal schemes [22, Théorème 3.4.2], \({\hat{\pi }}_* I_{{\widehat{S}}'}\) is a coherent sheaf, and since \({\hat{\pi }}_*{\mathcal {O}}_{{\widehat{W}}} = {\mathcal {O}}_{{\widehat{X}}}\) we see that it is in fact an ideal sheaf corresponding to a formal subscheme \({\widehat{S}} \subset {\widehat{X}}\).
Since being an invariant divisor can be checked locally, it suffices to check \({\widehat{S}}\) is a formal invariant divisor in the case where X is affine.
If X is affine, then let \({\widetilde{X}} = {\text {Spec}}\, {\mathcal {O}}_{{\widehat{X}}}\) and let \({\widetilde{W}} = W \times _X {\widetilde{X}}\) and let \({\tilde{\pi }}:{\widetilde{W}} \rightarrow {\widetilde{X}}\) be induced map. By the Grothendieck existence theorem, \({\hat{S}}'\) corresponds to a closed subscheme of \({\widetilde{W}}\) denoted \({\widetilde{S}}'\) and \({\hat{S}}\) correspond to a closed subscheme of \({\widetilde{X}}\) denoted \({\widetilde{S}}\). The above construction gives us \({\tilde{\pi }}_*{\widetilde{S}}' = {\widetilde{S}}\). Observe that \({\widetilde{S}}\) is a divisor on \({\widetilde{X}}\). Let \({\widetilde{U}} = {\widetilde{X}} {\setminus } {\tilde{\pi }}({\text {Exc}} \, \tilde{\pi })\) and note that \({\widetilde{U}}\) is a Zariski open subset and \({\widetilde{S}}\cap {\widetilde{U}} \ne \emptyset \). It follows immediately that \({\widetilde{S}}\cap {\widetilde{U}}\) is \({\mathcal {F}}\vert _{{\widetilde{U}}}\)invariant (since \({\tilde{\pi }}\) is an isomorphism above \({\widetilde{U}}\)). Since \({\widetilde{S}}\) admits an invariant Zariski dense subset we see that in fact \({\widetilde{S}}\) is invariant. The theorem on formal functions tells us that the completion of \({\widetilde{S}}\) along V is exactly \({\widehat{S}}\), and our result follows. \(\square \)
Fdlt foliated pairs
Definition 3.6
Let X be a normal variety and let \({\mathcal {F}}\) be a corank one foliation on X. Suppose that \(K_{{\mathcal {F}}}+\Delta \) is \(\mathbb {Q}\)Cartier.
We say \(({\mathcal {F}}, \Delta )\) is foliated divisorial log terminal (Fdlt) if

1.
each irreducible component of \(\Delta \) is generically transverse to \({\mathcal {F}}\) and has coefficient at most one, and

2.
there exists a foliated log resolution \(\pi :Y\rightarrow X\) of \(({\mathcal {F}}, \Delta )\) which only extracts divisors E of discrepancy \(>\epsilon (E)\).
Remark 3.7
As we show in Remark 3.15, canonical singularities are not in general Fdlt. On the other hand, if \(({\mathcal {F}},\Delta )\) is a Fdlt pair, then it is log canonical. Indeed, by assumption, there exists a foliated log resolution \(\pi :Y\rightarrow X\) which only extract divisors E of discrepancy \(>\epsilon (E)\). Thus, if \({\mathcal {G}}\) is the transformed foliation on Y and \(\Gamma \) is the strict transform of \(\Delta \) in Y, then we may write
where \(F,G\ge 0\) are \(\pi \)exceptional \({\mathbb {Q}}\)divisors without any common component. Note, in particular, that no component of \(\Gamma +F\) is \({\mathcal {G}}\)invariant and, therefore, Lemma 3.3 implies that \(({\mathcal {G}},\Gamma +F)\) is log canonical. Thus, for any valuation S, we have
and our claim follows.
Lemma 3.8
Let X be a normal variety and let \({\mathcal {F}}\) be a corank one foliation on X. Suppose that \(({\mathcal {F}}, \Delta )\) is a Fdlt pair on X and let \(\pi :Y\rightarrow X\) be a foliated log resolution such that \(a(E,{\mathcal {F}},\Delta )>\epsilon (E)\) for any \(\pi \)exceptional divisor E.
Then \(\pi \) is an isomorphism at the general point of \(\pi ^{1}(W)\) for any lc centre \(W\subset X\). In particular, \(({\mathcal {F}},\Delta )\) is foliated log smooth at the generic point of W.
Proof
Suppose by contradiction that \(\pi \) is not an isomorphism at the general point of \(\pi ^{1}(W)\). We may write
where \(\Gamma , F\ge 0\) are \(\mathbb {Q}\)divisors without any common component and \({\mathcal {G}}\) is the pulled back foliation on Y. Note that \(({\mathcal {G}},\Gamma )\) is log smooth.
By assumption, there exists a valuation T, whose centre in X is W and such that \(a(T,{\mathcal {F}}, \Delta )=\epsilon (T)\). Since \(\pi \) is not an isomorphism at the general point of \(\pi ^{1}(W)\) and since \({\text {Exc}} \, \pi \) is a divisor, there exists a \(\pi \)exceptional prime divisor E which contains the centre of T in Y.
If E is \({\mathcal {G}}\)invariant, then E is contained in the support of F and we have
which contradicts Lemma 3.3.
Similarly, if E is not \({\mathcal {G}}\)invariant, then E is not contained in the support of \(\lfloor \Gamma \rfloor \) and there exists \(\delta >0\) such that if \(\Gamma ':=\Gamma +\delta E\) then, \(({\mathcal {G}},\Gamma ')\) is log smooth, the coefficients of \(\Gamma '\) are not greater than one and
which contradicts again Lemma 3.3. \(\square \)
Proposition 3.9
Let X be a normal variety and let \({\mathcal {F}}\) be a corank one foliation on X. Let \(({\mathcal {F}}, \Delta )\) be a Fdlt pair on X.
Then \(({\mathcal {F}}, \Delta )\) has only finitely many lc centres of codimension at least two, which are not contained in the support of \(\lfloor \Delta \rfloor \).
Proof
By Lemma 3.8, we have that \(({\mathcal {F}}, \Delta )\) is foliated log smooth at the generic point of every lc centre. Let \(Z \subset X\) be a subvariety of codimension at least two which is not contained in the support of \(\lfloor \Delta \rfloor \) and such that \(({\mathcal {F}},\Delta )\) is foliated log smooth at the generic point of Z. Let \(\pi :Y \rightarrow X\) be the blow up at Z with exceptional divisor E and suppose that \(Z \subset {\text {Supp}} \, \Delta \). Computing as in Lemma 3.3, we see that the discrepancy of this blow up is \(>\epsilon (E)\). Computing inductively we see that every divisor dominating Z has discrepancy \(>\epsilon (E)\).
Thus, every lc centre of \(({\mathcal {F}}, \Delta )\) not contained in \({\text {Supp}} \, \lfloor \Delta \rfloor \) must also be an lc centre of \(({\mathcal {F}}, 0)\). Keeping in mind that \({\mathcal {F}}\) has simple singularities at the general point of Z, a straightforward computation shows that the lc centres of \(({\mathcal {F}}, 0)\) are strata of \({\text {Sing}} \, \mathcal {F}\) and therefore there are only finitely many such centres. \(\square \)
Remark 3.10
As in the proof of Proposition 3.9, it follows that if \({\mathcal {F}}\) is a corank one foliation on a normal variety X and \(({\mathcal {F}},\Delta )\) is a Fdlt pair, then there are only finitely many lc centres which are transverse to \({\mathcal {F}}\). Indeed, as in the proof of Lemma 3.3, these centres are strata of \(\lfloor \Delta \rfloor \).
Lemma 3.11
Let X be a normal threefold and let \({\mathcal {F}}\) be a corank one foliation on X. Suppose that \(({\mathcal {F}}, \Delta )\) is a Fdlt pair on X and that \(\phi :X\dashrightarrow X'\) is a sequence of steps of a \((K_{{\mathcal {F}}}+\Delta )\)MMP. Let \(({\mathcal {F}}',\Delta ')\) be the transformed foliated pair on \(X'\).
Then \(({\mathcal {F}}',\Delta ')\) is also Fdlt.
Proof
We may assume that \(\phi :X\dashrightarrow X'\) is either a \((K_{{\mathcal {F}}} + \Delta )\)flip or a divisorial contraction. We denote by \(\Sigma \) the flipped locus if \(\phi \) is a flip and \(\Sigma :=\phi ({\text {Exc}} \, \phi )\) if \(\phi \) is a divisorial contraction.
By assumption, there exists a foliated log resolution \(\pi :Y\rightarrow X\) of \(({\mathcal {F}},\Delta )\) which only extracts divisors E of discrepancy \(>\epsilon (E)\). It is enough to show that \(({\mathcal {F}}',\Delta ')\) also admits such a foliated log resolution. Let \({{\overline{Y}}}\subset Y\times X'\) be the closure of the graph of \(\phi \circ \pi \) and let \(p:{{\overline{Y}}}\rightarrow Y\) be the induced proper birational morphism. Let \({\mathcal {G}}\) be the pulled back foliation on \({{\overline{Y}}}\) and let \({\overline{\Delta }}\) be the strict transform of \(\Delta \) in \({{\overline{Y}}}\). Let \(f=\pi \circ p:{{\overline{Y}}}\rightarrow X\) be the induced morphism and let \(F:=\sum F_i\) where the sum runs over all the fexceptional divisors. Let \(g:Y'\rightarrow {{\overline{Y}}}\) be a foliated log resolution of \(({\mathcal {G}}, {\overline{\Delta }}+F)\). We may assume that g is an isomorphism in the locus where \(({\mathcal {G}}, {\overline{\Delta }}+F)\) is log smooth.
Let \(\pi ':Y'\rightarrow X'\) be the induced morphism, let \(E'\) be a prime \(\pi '\)exceptional divisor and let W be the centre of \(E'\) in \(X'\). We claim that \(a(E',{\mathcal {F}}',\Delta ')>\epsilon (E')\). If W is contained in \(\Sigma \), then Lemma 2.7 and Remark 3.7 imply that
as claimed. If W is not contained in \(\Sigma \) then, by construction, the morphism \(Y'\rightarrow Y\) is an isomorphism at the general point of \(E'\) and the strict transform of \(E'\) in Y is \(\pi \)exceptional. Thus,
and, again, our claim follows. \(\square \)
Lemma 3.12
Let X be a normal threefold and let \({\mathcal {F}}\) be a corank one foliation on X with nondicritical singularities. Let \(C \subset X\) be a curve tangent to \({\mathcal {F}}\) and suppose that \(({\mathcal {F}}, \Delta )\) is a Fdlt pair on X.
Then

1.
\(({\mathcal {F}}, \Delta )\) is canonical at the generic point of C.

2.
If in addition \(C \subset {\text {Sing}} \, X\) then \(({\mathcal {F}}, \Delta )\) is terminal at the generic point of C.
Proof
Item (1) follows from the observation that every divisor E dominating C on some log resolution must be foliation invariant.
If \(({\mathcal {F}},\Delta )\) is not terminal along C then C is an lc centre. Thus, Lemma 3.8 implies that X is smooth at the generic point of C, i.e. C is not contained in \({\text {Sing}} \, X\), and (2) follows. \(\square \)
Remark 3.13
In fact, in Case (1) above there is an open set \(U\subset X\) intersecting C on which \(({\mathcal {F}}, \Delta )\) has canonical singularities. Indeed, let \(\pi :X' \rightarrow X\) be a foliated log resolution and let \(E_1, \ldots , E_k\) be the \(\pi \)exceptional divisors of discrepancy \(<0\) with respect to \(({\mathcal {F}},\Delta )\). Let \(W = \pi (\sum E_i)\). By assumption C is not contained in W and observe that \(({\mathcal {F}}, \Delta )\) has canonical singularities on \(U:=X{\setminus } W\).
Lemma 3.14
Let X be a normal quasiprojective threefold and let \({\mathcal {F}}\) be a corank one foliation with nondicritical singularities on X. Suppose that \(({\mathcal {F}}, \Delta )\) is Fdlt and let \(C \subset X\) be a curve tangent to \({\mathcal {F}}\).
Let \({\widehat{X}}\) denote the formal completion of X along C.

1.
If \(({\mathcal {F}}, \Delta )\) is terminal at the generic point of C there exists a single \({\mathcal {F}}\)invariant divisor \(S\subset {\widehat{X}}\), and we may take S to be convergent.

2.
If \(({\mathcal {F}}, \Delta )\) is not terminal at the generic point of C then X is smooth at the generic point of C and at a general point \(P \in C\) there are 2 (formal) separatrices at P containing C, each of which may be extended to a divisor \(S \subset {\widehat{X}}\). Moreover, at least one of these separatrices may be extended to a convergent one.
Proof
Note that Lemma 3.12 implies that \(({\mathcal {F}}, \Delta )\) is canonical at the generic point of C. Suppose that \(({\mathcal {F}}, \Delta )\) is terminal at the generic point of C. We first show the existence of a unique separatrix containing C at a general point \(P \in C\), and so we are free to shrink to an analytic neighborhood of P. Let H be a germ of a general hypersurface at P and let \({\mathcal {F}}_H\) be the restricted foliation. We claim that \(K_{{\mathcal {F}}_H}\) is \(\mathbb {Q}\)Cartier and \({\mathcal {F}}_H\) has terminal singularities (cf. [41, Lemma 8.7]). Indeed, let \(\pi :X' \rightarrow X\) be a log resolution of \({\mathcal {F}}\) and set \({\mathcal {F}}' :=\pi ^{1}{\mathcal {F}}\) and \(\Delta ' = \pi _*^{1}\Delta \). Perhaps shrinking about P we may assume that \({\text {Exc}} \, \pi \) is \({\mathcal {F}}'\)invariant and the following hold:

(i)
For a general choice of H set \(H' :=\pi ^*H\). Then the log pair \((X', \Delta '+{\text {Exc}} \, \pi +H')\) is simple normal crossing and so \(\pi \) is in fact a log resolution of \(({\mathcal {F}}, \Delta +H)\).

(ii)
We may write \(K_{{\mathcal {F}}'}+\Delta '+H' = \pi ^*(K_{{\mathcal {F}}}+\Delta +H)+\sum _{i=1}^k a_iE_i\) where \(E_1,\ldots ,E_k\) are the \(\pi \)exceptional divisors and \(a_i>0\) for each i.

(iii)
\((K_{{\mathcal {F}}'}+H')\vert _{H'} = K_{{\mathcal {F}}_{H'}}\) where \({\mathcal {F}}_{H'}\) is the restricted foliation, see [41, Lemma 3.1 and Corollary 3.3] (note that we will prove a more general adjunction statement in Lemma 3.18). Moreover, since \(({\mathcal {F}}', \Delta '+H')\) is foliated log smooth it follows that \(({\mathcal {F}}_{H'}, \Delta '\vert _H)\) is log smooth (c.f. the proof of Lemma 2.19).
Set \(D_i = E_i \cap H\). By items (ii) and (iii) we see that \(K_{{\mathcal {F}}_{H'}}+\Delta '\vert _{H'}\sim _{\mathbb {Q}} \sum _{i = 1}^k a_iD_i\). Let \(r:H' \rightarrow H''/H\) be a run of the \(K_{{\mathcal {F}}_{H'}}+\Delta '\vert _{H'}\)MMP over H, see [41, Corollary 2.26]. We know that \(H''\) has at worst quotient singularities and \(({\mathcal {F}}_{H''}, r_*\Delta '\vert _{H'})\), and hence \({\mathcal {F}}_{H''}\), has terminal singularities where \({\mathcal {F}}_{H''}\) is the transform of \({\mathcal {F}}_H\). By the negativity lemma we see that \(r_*(\sum _{i = 1}^k b_iD_i)= 0\), i.e., \(H'' \cong H\). Thus \({\mathcal {F}}_{H}\) has terminal singularities.
By [31, Corollary I.2.2] there is a unique germ of a convergent curve \(P \in \gamma \) which is \({\mathcal {F}}_H\)invariant. In turn, \(\gamma \) is contained in a unique convergent separatrix of \({\mathcal {F}}\) at P. Indeed, the unicity follows from the fact that \(\gamma \) is the unique \({\mathcal {F}}_H\)invariant curve through P. The existence of this separatrix is guaranteed by [11, Main Theorem] when \({\mathcal {F}}\) has nondicritical singularities and X is smooth, the case where \({\mathcal {F}}\) has nondicritical singularities and X is singular follows by essentially the same arguments, see [41, Corollary 5.4] (note that the hypothesis on the compactness of the curve C is not needed here). By Lemma 3.5 we may extend this separatrix to a convergent invariant divisor on \({\widehat{X}}\).
If \(({\mathcal {F}}, \Delta )\) is not terminal at the generic point of C, then C is an lc centre and Lemma 3.8 implies that \(({\mathcal {F}},\Delta )\) is log smooth at the general point of C. This implies then that \({\mathcal {F}}\) has simple singularities at a general point \(P \in C\), and hence has two (possibly formal) separatrices at P. By Lemma 3.5 we may extend each of them to formal \({\mathcal {F}}\)invariant divisors on \({\widehat{X}}\). By Lemma 2.20 one of these separatrices is convergent and so may be extended to a convergent invariant divisor. \(\square \)
Remark 3.15

1.
Even if at a general point \(P \in C\) there are two distinct separatrices, the invariant divisor we produce by extending them might be the same for each separatrix.

2.
In general, a canonical nonterminal singularity may only admit a single separatrix formal or otherwise. Thus, canonical does not imply Fdlt.

3.
However, log terminal does imply Fdlt (keeping in mind that in general canonical does not imply log terminal for foliations).

4.
Recall that, by Remark 3.7, Fdlt implies log canonical.
Adjunction
Recall the following result:
Lemma 3.16
Let X be a normal threefold, let \({\mathcal {F}}\) be a corank one foliation with nondicritical singularities and let \(({\mathcal {F}}, \Delta )\) be a foliated pair on X. Let \(D = \sum D_i\) be an \({\mathcal {F}}\)invariant divisor on X and suppose that D is \(\mathbb {Q}\)Cartier.
Suppose that \(({\mathcal {F}},\Delta )\) is log terminal (resp. log canonical). Then \((X, \Delta +D)\) is log terminal (resp. log canonical).
Suppose that \(({\mathcal {F}}, \Delta )\) is Fdlt and \(\lfloor \Delta \rfloor = 0\). Then \((X, \Delta +(1\epsilon )D)\) is klt for all \(\epsilon >0\).
Suppose that \(({\mathcal {F}}, \Delta )\) is Fdlt and each \(D_i\) is smooth in codimension one (but perhaps \(\lfloor \Delta \rfloor \ne 0\)). Then \((X, \Delta +D)\) is dlt.
Proof
The first claim is [41, Lemma 8.14], see also [29, Proposition 3.11].
The second claim is a direct consequence of Lemma 3.8.
The final claim follows by recalling the third point in Remark 3.2 and thereby noting that if each \(D_i\) is smooth in codimension one then a foliated log resolution of \(({\mathcal {F}}, \Delta )\) is also a log resolution of \((X, \Delta +D)\). \(\square \)
In fact, Lemma 3.16 remains true even in the following slightly more general set up. Let X be a normal threefold with a foliated pair \(({\mathcal {F}}, \Delta )\) and let \(V \subset X\) be a closed subvariety and let \({\widehat{X}}\) be the formal completion of X along V and let \(\widehat{{\mathcal {F}}}\) be the restriction of \({\mathcal {F}}\) to \({\widehat{X}}\). Then under the hypotheses of Lemma 3.16 the conclusions of the Lemma still hold even if \(D \subset {\widehat{X}}\) is a formal divisor which is \(\widehat{{\mathcal {F}}}\)invariant. We remark that the third point of Remark 3.2 implies that a log resolution of \(({\mathcal {F}}, \Delta )\), perhaps followed by some further blow ups in \({\text {Sing}} \, \mathcal {F}\), is a log resolution of \(({\widehat{X}}, \Delta +D)\), and in particular \(({\widehat{X}}, \Delta +D)\) admits a resolution by blow ups in algebraic centres.
Remark 3.17
Let X be a normal threefold, let \({\mathcal {F}}\) be a corank one foliation on X, and let \(P \in X\) be a point. Let U be an analytic neighbourhood of P and let \({\mathcal {F}}_U\) be the foliation restricted to U. Then, thanks to the existence of a log resolution and since simple singularities are canonical by Lemma 2.9, we know that if \({\mathcal {F}}\) is (log) canonical then \({\mathcal {F}}_U\) is (log) canonical. Conversely, if \({\mathcal {F}}_U\) is (log) canonical at P then the same is true for \({\mathcal {F}}\).
Lemma 3.18
(Adjunction) Let X be a normal threefold, let \({\mathcal {F}}\) be a corank one foliation on X. Let \(({\mathcal {F}}, \epsilon (S)S+\Delta )\) be a foliated pair where S is a prime divisor and \(\Delta \ge 0\) is a \(\mathbb {Q}\)divisor on X which does not contain S in its support. Let \(\nu :S^{\nu }\rightarrow S\) be the normalisation and let \({\mathcal {G}}\) be the restricted foliation to \(S^\nu \) if S is not \({\mathcal {F}}\)invariant and let \({\mathcal {G}} = T_{S^\nu }\) if S is \({\mathcal {F}}\)invariant.
Then, there exists \(\Theta \ge 0\) such that
Now suppose that \(K_X, K_X+\Delta \) and S are \(\mathbb {Q}\)Cartier and that \({\mathcal {F}}\) admits nondicritical singularities. Then the following hold:

1.
Suppose \(\epsilon (S) =1\). Suppose moreover that \(({\mathcal {F}}, S+\Delta )\) is lc (resp. lt, resp. Fdlt). Then \(({\mathcal {G}}, \Theta )\) is lc (resp. lt, resp. Fdlt).

2.
Suppose \(\epsilon (S) = 0\). Suppose that \({\mathcal {F}}\) is Fdlt. Then \((S^{\nu }, \Theta ':= \lfloor \Theta \rfloor _{red}+\{\Theta \})\) is log canonical and if, in addition, S and \({\text {Sing}} \, \mathcal {F}\cap S\) are normal then \((S, \Theta ')\) is dlt. Moreover, if \(({\mathcal {F}}, \Delta )\) is log terminal, then \((S^{\nu },\Theta ')\) is log terminal.
Proof
The first claim follows from [41, Proposition 3.4] if S is not \({\mathcal {F}}\)invariant and [2, Definition 3.11] if S is \({\mathcal {F}}\)invariant. Note that [2, Definition 3.11] assumes that \({\mathcal {F}}\) has algebraic leaves, however the arguments work equally well in this situation.
We now prove the second claim. Let \(\pi :Y \rightarrow X\) be a foliated log resolution of \(({\mathcal {F}}, \epsilon (S)S+\Delta )\), let \({\mathcal {F}}_Y\) be the pulled back foliation on Y and let T be the strict transform of S in Y. If \(({\mathcal {F}}, \epsilon (S)S+\Delta )\) is Fdlt, then we choose \(\pi \) so that \(a(E,{\mathcal {F}}+\epsilon (S)S,\Delta )> \epsilon (E)\) for any \(\pi \)exceptional divisor E.
We may write
where \(\Delta '\) is the strict transform of \(\Delta \) in Y, \(a_i\in \mathbb {Q}\) and the sum is taken over all the \(\pi \)exceptional divisors. Suppose first that \(\epsilon (S)=1\) and note that, by the second point of Remark 3.2 we have that T is generically transverse to \({\mathcal {F}}_Y\) and is not tangent to \({\mathcal {F}}_Y\) along any curves contained in T and contains no onedimensional components of \({\text {Sing}} \, \mathcal {F}_Y\). Let \(\nu ':T^\nu \rightarrow T\) be the normalisation. By [41, Corollary 3.3] we get \((K_{{\mathcal {F}}_Y}+T)\vert _{T^{\nu }}= K_{{\mathcal {G}}_T}+\Theta \) where \({\mathcal {G}}_T\) is the restricted foliation to \(T^{\nu }\) and \(\Theta \ge 0\) is a \({\mathbb {Q}}\)divisor. Note that the image of the support of \(\Theta \) in T is contained in curves where T is tangent to \({\mathcal {F}}_Y\) and on onedimensional components \({\text {Sing}} \, \mathcal {F}_Y \cap T\). By our previous observation, we see that \(\Theta =0\). Thus, we get
where \(\phi :T^{\nu }\rightarrow S^{\nu }\) is the induced morphism. By assumption \(a_i \le \epsilon (E_i)\) (resp. \(a_i<\epsilon (E_i)\)). To prove our result we need to show that \(a_i \le \epsilon (E_i\vert _{T^{\nu }})\) (resp. \(a_i < \epsilon (E_i\vert _{T^{\nu }})\)).
Suppose for sake of contradiction that for some i, we have \(\epsilon (E_i) = 1\), \(\epsilon (E_i\vert _{T^{\nu }}) = 0\) and \(a_i>0\) (resp. \(a_i \ge 0\)). In this case, consider the blow up of Y at \(E_i \cap T\) and let F be the exceptional divisor. Notice that \(\epsilon (F) = 0\). However, this is a blow up of discrepancy \( \le a_i < \epsilon (F)\) (resp. \(\le a_i \le \epsilon (F)\), resp. \( \le a_i < \epsilon (F)\)), and so we see that \(({\mathcal {F}}_Y, T+\Delta '+\sum a_iE_i)\) is not lc (resp. lt, resp. Fdlt), hence \(({\mathcal {F}}, S+\Delta )\) is not lc (resp. lt, resp. Fdlt). Thus, (1) follows.
Suppose now that \(\epsilon (S)=0\) and let \({\widehat{X}}\) be the formal completion of X along S. Let T be the sum of all the (formal) invariant divisors meeting S, and which are not equal to S. Suppose for the moment that T is \(\mathbb {Q}\)Cartier. Observe that if \({\text {Sing}} \, \mathcal {F}\cap S\) is normal then each component of T is smooth in codimension one. Then by Lemma 3.16 we know that \(({\widehat{X}}, S+T+\Delta )\) is dlt, furthermore, as in the proof of [41, Lemma 8.9], it follows that the different of \(({\widehat{X}}, S+T+\Delta )\) with respect to S is exactly \(\Theta '\). We then apply adjunction for varieties to conclude.
We now handle the case where T is not necessarily \(\mathbb {Q}\)Cartier. By Lemma 3.16 and since \(({\mathcal {F}}, \Delta )\) is Fdlt, it follows that X is klt. Suppose for sake of contradiction that there exists a point \(P \in {\widehat{X}}\) such that T is not \(\mathbb {Q}\)Cartier at P. Then, since X is klt, if U is a small analytic neighbourhood of \(P \in X\) we may find a small \(\mathbb {Q}\)factorialisation \(f:Y \rightarrow U\) such that Y is analytically \(\mathbb {Q}\)factorial by Remark 2.24. Let \(\Sigma = f^{1}(P)\), let \({\widehat{U}}\) be the formal completion of U at P and let \({\widehat{Y}}\) be the formal completion along \(\Sigma \) so that we have a morphism \({\hat{f}}:{\widehat{Y}} \rightarrow {\widehat{U}}\).
Observe that \(K_Y = f^*K_U\) and if we let \(S' = f^*S\) then \(\Sigma \subset S'\). Let \({\widehat{S}}'\) denote the restriction of \(S'\) to \({\widehat{Y}}\). Let \(\Sigma _0\) be a component of \(\Sigma \) which meets \({\hat{f}}_*^{1}T\). Note that \(K_Y\cdot \Sigma _0 = 0\) and that, after possibly shrinking U, we may assume that \(\Sigma _0\) spans an extremal ray in \({\overline{NE}}(Y/U)\). Thus, there exists a flop of \(\Sigma _0\) over U, call it \(\psi :Y \dashrightarrow Y'/U\) and let \(\Sigma '_0\) be the flopped curve. Observe that \(\Sigma _0 \subset {\hat{f}}_*^{1}T\) or \(\Sigma '_0 \subset \psi _*{\hat{f}}_*^{1}T\). So up to replacing Y by \(Y'\), we may assume that \(\Sigma _0 \subset {\hat{f}}_*^{1}T\). Next, note that \(\Sigma _0 \subset {\widehat{S}}' \cap {\hat{f}}_*^{1}(T) \subset {\text {Sing}} \, \mathcal {H}\) where \({\mathcal {H}} :=f^{1}{\mathcal {F}}\) and the latter inclusion holds because \(S'\) and \({\hat{f}}_*^{1}(T)\) are both \({\mathcal {H}}\)invariant.
By Remark 3.7, the foliation \({\mathcal {F}}\) has log canonical singularities. Thus, since f is small, \({\mathcal {H}}\) has also log canonical singularities. Note also by Lemma 3.14 that \({\mathcal {H}}\) has canonical, and not terminal, singularities at the generic point of \(\Sigma _0\), since \(\Sigma _0\) is contained in the intersection of two (formal) invariant divisors. Thus we may find a birational morphism \(b:Y' \rightarrow Y\) which extracts a divisor E dominating \(\Sigma _0\) such that \(0 = a(E, {\mathcal {H}}) = a(E, {\mathcal {F}})\). Next, observe that \(a(E, {\mathcal {F}}) \ge a(E, {\mathcal {F}}, \Delta ) \ge \epsilon (E) = 0\) and so all these inequalities must be equalities and it follows that P is a lc centre of \(({\mathcal {F}}, \Delta )\). By Lemma 3.8, X is smooth at P, and so T is necessarily Cartier at P, a contradiction. Thus, (2) follows. \(\square \)
Remark 3.19
Note that, using the same proof, the first part of Lemma 3.18 can be generalised to the formal setting. More specifically, let X be a normal threefold and let \({\mathcal {F}}\) be a corank one foliation with nondicritical singularities on X. Suppose that \(({\mathcal {F}}, \Delta )\) is a Fdlt pair on X, let S be an \({\mathcal {F}}\)invariant divisor, let \({\widehat{X}}\) be the formal completion of X along S and let \(\nu :S^\nu \rightarrow S\) be the normalisation. Then, we may write
where \(\Theta \ge 0\) is a \({\mathbb {Q}}\)divisor on \(S^{\nu }\).
Corollary 3.20
Let X be a normal threefold and let \({\mathcal {F}}\) be a corank one foliation with nondicritical singularities on X. Suppose that \(({\mathcal {F}}, \Delta )\) is a Fdlt pair on X, let S be an \({\mathcal {F}}\)invariant divisor such that \((X,\Delta +S)\) is a log pair, let \({\widehat{X}}\) be the formal completion of X along S and let \(\nu :S^\nu \rightarrow S\) be the normalisation. Let \(T_1, \ldots , T_k\) be the collection of \({\mathcal {F}}\)invariant divisors on \({\widehat{X}}\) not equal to S and suppose that \(T =\sum T_i\) is \(\mathbb {Q}\)Cartier. Write
and let \(\Theta '\) be the different of \(({{\widehat{X}}},\Delta +S+T)\) with respect to S.
Then \(\Theta ' \le \Theta \) with equality along the curves contained in \({\text {Sing}} \, X\). Moreover, for any irreducible curve C in S, at the general point of which \({\mathcal {F}}\) has simple singularities and along which S is a strong separatrix, the coefficients of \(\Theta \) and \(\Theta '\) coincide.
Proof
If C is a curve contained in the singular locus of S, then \(C\subset {\text {Sing}} \, \mathcal {F} \cup {\text {Sing}} \, X\). Since \(T_1,\ldots ,T_k\) are \({\mathcal {F}}\)invariant, it follows that \(\Theta \) and \(\Theta '\) are supported on \(\nu ^{1}({\text {Sing}} \, \mathcal {F} \cup {\text {Sing}} \, X)\).
Let C be an irreducible curve in \(S^{\nu }\). By Lemma 3.12, we see that if \(\nu (C) \subset {\text {Sing}} \, X \cap S\) then \({\mathcal {F}}\) is terminal at the generic point of \(\nu (C)\). In this case, by [41, Lemma 8.9], it follows that the coefficient of C in \(\Theta \) and \(\Theta '\) is the same.
So we may assume that X is smooth at the generic point of C. If \(\nu (C) \subset {\text {Sing}} \, \mathcal {F}\cap S\) then C is an lc center of \({\mathcal {F}}\) and so by Lemma 3.8, \({\mathcal {F}}\) has simple singularities at a general point of C. It follows that \(S+T\) is a normal crossings divisor at the generic point of C and so the coefficient of C in \(\Theta '\) is equal to 1.
Let \(\omega \) be a 1form defining \({\mathcal {F}}\) at a general point of C and let \(\omega _S\) be the restriction of \(\omega \) to S. The coefficient of C in \(\Theta \) is the order of the zero of \(\omega _S\) along C, in particular, it is an integer \(\ge 1\). When S is the strong separatrix along C then the order of the zero of \(\omega _S\) along C is equal to 1. \(\square \)
Remark 3.21
We emphasise that in Corollary 3.20 we are not assuming that X is quasiprojective or that S is an algebraic variety. Later on we will apply this Lemma in the case where S is an analytic divisor on an analytic neighborhood of a proper curve C contained in a quasiprojective threefold.
Lemma 3.22
Let X be a \(\mathbb {Q}\)factorial quasiprojective threefold and let \({\mathcal {F}}\) be a corank 1 foliation with nondicritical singularities on X. Suppose that \(({\mathcal {F}}, \Delta )\) is Fdlt. Let C be a onedimensional lc centre of \(({\mathcal {F}}, \Delta )\) tangent to \({\mathcal {F}}\).
Then there exists \(\Theta \ge 0\) such that
where \(\nu :C^\nu \rightarrow C\) is the normalisation. Moreover, if P is contained in the support of \(\lfloor \Theta \rfloor \) then \(\nu (P)\) is an lc centre of \(({\mathcal {F}}, \Delta )\).
Proof
By Lemma 3.8, it follows that \(({\mathcal {F}},\Delta )\) is log smooth at the general point of C. By Lemma 3.14, there exists a germ of an invariant divisor S containing C and if \(C\subset {\text {Sing}} \, \mathcal {F}\), then we may choose S so that it is the strong separatrix at a general point of C. Let \(\nu ':S^\nu \rightarrow S\) be the normalisation of S and set \(C' = \nu '^{1}(C)\). Then it is easy to check that
for some \(\mathbb {Q}\)divisor \(\Delta _{S^\nu }\ge 0\), whose support does not contain C.
Note that we have a morphism \(C^\nu \rightarrow C'\) and so we may write \((K_{S^\nu }+C'+\Delta _{S^\nu })_{C^\nu }=K_{C^\nu }+\Theta \). Thus, by adjunction for varieties, the image of the nonklt locus of \(({C^\nu }, \Theta )\) is supported on the nonklt locus of \((S^\nu , C'+\Delta _{S^\nu })\). We claim these centres are contained in lc centres of \(({\mathcal {F}}, \Delta )\). Let \(P\in S\), by Lemma 3.18 we see that if \(({\mathcal {F}}, \Delta )\) is log terminal at P then \((S^\nu , C'+\Delta _{S^\nu })\) must also be log terminal at P, and so every point in the nonklt locus of \((S^\nu , C'+\Delta _{S^\nu })\) is an lc centre of \(({\mathcal {F}}, \Delta )\). \(\square \)
Lemma 3.23
Let X be a normal threefold and let \({\mathcal {F}}\) be a corank one foliation with nondicritical singularities. Let S be an irreducible divisor transverse to \({\mathcal {F}}\) and suppose that \(K_X+\Delta +S\) and \(K_{{\mathcal {F}}}+\Delta +S\) are \(\mathbb {Q}\)Cartier where \(\Delta \ge 0\) and S is not contained in the support of \(\Delta \). Write \(n^*(K_X+\Delta +S) = K_{S^n}+\Theta \) and \(n^*(K_{{\mathcal {F}}}+\Delta +S)= K_{{\mathcal {F}}_S}+\Theta '\) where \(n :S^n \rightarrow S\) is the normalisation. Let \(C \subset S\) be a curve such that n(C) is transverse to \({\mathcal {F}}\).
Then the coefficient of C in \(\Theta \) is equal to the coefficient of C in \(\Theta '\).
Proof
By [41, Lemma 3.11] we have that the usual discrepancy of any divisor dominating n(C) is equal to the foliated discrepancy. By construction, the coefficient of the different along C is only a function of the discrepancies of divisors dominating C with respect to the pairs \((X, \Delta +S)\) and \(({\mathcal {F}}, \Delta +S)\) and our claimed equality follows. \(\square \)
Bertini type results
Lemma 3.24
Let X be a normal projective threefold and let \({\mathcal {F}}\) be a corank one foliation on X with nondicritical singularities. Let \(({\mathcal {F}},\Delta )\) be a Fdlt pair such that \(\lfloor \Delta \rfloor =0\) and let A be an ample \({\mathbb {Q}}\)divisor on X.
Then there exists an effective \({\mathbb {Q}}\)divisor \(A' \sim _{{\mathbb {Q}}}A\) such that

1.
\(({\mathcal {F}},\Delta +A')\) is also Fdlt;

2.
\(\lfloor \Delta +A'\rfloor =0\); and

3.
the support of \(A'\) does not contain any lc centre of \(({\mathcal {F}},\Delta )\).
Proof
Lemma 3.8 implies that \(({\mathcal {F}},\Delta )\) admits a foliated log resolution \(\pi :Y\rightarrow X\) which only extracts divisors E of discrepancy \(>\epsilon (E)\) and which is an isomorphism at the general point of \(\pi ^{1}(W)\) for any \(W\subset X\) which is a lc centre of \(({\mathcal {F}},\Delta )\). We claim that there exists a sufficiently divisible positive integer m such that if \(H\in mA\) is a general element and \(A':=\frac{1}{m} H\) then

(i)
the support of \(A'\) does not contain any lc centre of \(({\mathcal {F}},\Delta )\);

(ii)
each irreducible component of \(A'\) is generically transverse to \({\mathcal {F}}\) and \(\lfloor \Delta +A'\rfloor =0\);

(iii)
if \(x\in X\) is the general point of a log canonical centre of \(({\mathcal {F}},\Delta )\) then, \(({\mathcal {F}},\Delta +A')\) is log smooth in a neighbourhood of x; and

(iv)
if \(({\mathcal {F}},\Delta )\) is klt in a neighbourhood of \(x\in X\) then \(({\mathcal {F}},\Delta +A')\) is also klt in a neighbourhood of x.
Assuming the claim, let \({\mathcal {G}}:=\pi ^{1}{\mathcal {F}}\). We may write
for some \({\mathbb {Q}}\)divisor \(\Gamma \) on Y. Then there exists a foliated log resolution \(\pi ':Y'\rightarrow Y\) of \(({\mathcal {G}},\Gamma +\pi ^*A')\) such that if \(p:Y'\rightarrow X\) is the induced morphism, then \(\pi '\) is an isomorphism at the general point of \(p^{1}(W)\) for any lc centre W of \(({\mathcal {F}},\Delta )\). Thus, \(a(F,{\mathcal {F}},\Delta +A')>\epsilon (F)\) for any prime divisor F on \(Y'\) which is pexceptional and the Lemma follows.
We now prove the claim. Since \(\lfloor \Delta \rfloor =0\), Proposition 3.9 implies that if m is sufficiently divisible then H does not contain any lc centre of \(({\mathcal {F}},\Delta )\). Thus, (i) holds. It is easy to check that (ii) holds.
Now we check (iii). Let W be a log canonical centre of \(({\mathcal {F}},\Delta )\). By Lemma 3.8, \(({\mathcal {F}},\Delta )\) is foliated log smooth at the generic point of W. In particular, \({\mathcal {F}}\) admits simple singularities at the general point of W. If \(x\in {\text {Sing}} \, \mathcal {F}\) is an isolated point, then we may choose m sufficiently divisible so that x is not contained in the support of H. Similarly, we may assume that x is the general point of a onedimensional component C of \({\text {Sing}} \, \mathcal {F}\). Thus, we may choose m so that H is transverse to C and, in particular, if \(\Sigma _1,\Sigma _2\) are, possibly formal, \({\mathcal {F}}\)invariant divisors passing through x, then C is contained in \(\Sigma _1\cap \Sigma _2\) and \((X,\Sigma _1+\Sigma _2+H)\) is a normal crossing pair at x. It follows that \(({\mathcal {F}},\Delta +A')\) is log smooth at x. Therefore (iii) holds.
Finally, we check (iv). First, let \(U:=X {\setminus } {\text {Sing}} \, X\) and let \(x\in U\) be a point such that \(({\mathcal {F}},\Delta )\) is klt in a neighborhood of x. If \(x \notin H\) then there is nothing to prove, and if \(x \in H\) and H is general we may also assume that \(x \in U {\setminus } {\text {Sing}} \, \mathcal {F}\). Moreover, if H is sufficiently general then by [3, Lemma 2.9] it follows that \(({\mathcal {F}}, H)\) is log smooth on \(U {\setminus } {\text {Sing}} \, \mathcal {F}\), except perhaps at finitely many points, \(P_1, \ldots , P_m\). In fact a dimension count as in [3, Lemma 2.9] shows that a general choice of H will have at worst an order 2 tangency with \({\mathcal {F}}\) at \(P_i\), i.e., in some local analytic coordinates (x, y, z) we have \({\mathcal {F}}\) is defined by dz and \(H = \{z + x^2+y^2 = 0\}\). In particular, at the \(P_i\) we know that \(({\mathcal {F}}, \frac{1}{4} H)\) is klt. Note that \(\pi \) is a foliated log resolution of \(({\mathcal {F}}, \Delta +H)\) along U except at \(P_1, \ldots , P_m\). It then follows that for m sufficiently divisible and H sufficiently general, we have that \(({\mathcal {F}}, \Delta +A')\) is klt on \(U{\setminus } {\text {Sing}} \, \mathcal {F}\).
Next, write \({\text {Sing}} \, X = Z_0\cup Z_1\) where \(Z_0\) are the components of \({\text {Sing}} \, X\) which are tangent to \({\mathcal {F}}\) and \(Z_1\) are the components which are transverse. Suppose that \(x \in Z_0\). Observe that \(\pi ^{1}(Z_0)\) is by definition \({\mathcal {G}}\)invariant and so for a general choice of H, we know that \(({\mathcal {G}}, \Gamma +\pi ^*H)\) is foliated log smooth in a neighbourhood of \(\pi ^{1}(x)\). It therefore follows immediately that, for m sufficiently divisible, \(({\mathcal {F}}, \Delta +A')\) is klt in a neighbourhood of x.
Finally suppose that \(x \in Z_1\). Without loss of generality we may assume that x is a general point of \(Z_1\). By nondicriticality we know that \(\pi ^{1}(x)\) is tangent to \({\mathcal {G}}\). In fact, arguing as in the proof of Lemma 2.14 we see that \({\mathcal {G}}\) is smooth on a neighbourhood of \(\pi ^{1}(x)\) and so by Lemma 3.5 it follows that there exists a \({\mathcal {G}}\)invariant divisor S defined on an analytic neighbourhood of \(\pi ^{1}(x)\) such that \(\pi ^{1}(x) \subset S\).
We claim that \(({\mathcal {G}}, \Gamma +\pi ^*A')\) is klt in a neighbourhood of \(\pi ^{1}(x)\) if and only if \((Y, \Gamma +S+\pi ^*A')\) is log terminal in a neighbourhood of \(\pi ^{1}(x)\). Supposing the claim, then we are done by observing that if \((X, \Delta +\pi _*S)\) is log terminal at x then \((X, \Delta +\pi _*S+A')\) is log terminal at x for sufficiently divisible m and sufficiently general H.
We now prove the above claim. After possibly shrinking x, we may consider a log resolution \(\mu :{\widetilde{Y}} \rightarrow Y\) of \((Y, \Gamma +S+\pi ^*A')\) which is an isomorphism away from \((\pi \circ \mu )^{1}(x)\). Let E be the support of \({\text {Exc}} \, \mu \). Then \(K_{\mu ^{1}{\mathcal {G}}}\) and \(K_{{\widetilde{Y}}}+\mu _*^{1}S+E\) are numerically equivalent over Y. Indeed, if \(E_0\) is any component of E then, since \(\mu _*^{1}S \cap E_0, E' \cap E_0 \subset {\text {Sing}} \, \mu ^{1}{\mathcal {G}}\) where \(E'\) is any other component of E, Corollary 3.20 implies that
We also have
It follows that the log discrepancies of \((Y, \Gamma +S+\pi ^*A')\) are equal to the discrepancies of \(({\mathcal {G}}, \Gamma +\pi ^*A')\) as required. Therefore (iv) holds. \(\square \)
Corollary 3.25
Set up as in Lemma 3.24. Suppose in addition that \(({\mathcal {F}}, \Delta )\) is log smooth and has canonical singularities.
Then there exists an effective \({\mathbb {Q}}\)divisor \(A' \sim _{{\mathbb {Q}}}A\) such that \(({\mathcal {F}},\Delta +A')\) has canonical singularities.
Proof
By Lemma 3.24 we may find an effective \({\mathbb {Q}}\)divisor \(A' \sim _{{\mathbb {Q}}}A\) so that \(({\mathcal {F}}, \Delta +A')\) is Fdlt, hence log canonical by Remark 3.7. It suffices to show that for any divisor E on some model of X that \(a(E, {\mathcal {F}}, \Delta +A') \ge 0\). Clearly this holds for all foliation invariant divisors, so let E be one such divisor which is not foliation invariant and let W be the centre of E on X.
Since \({\mathcal {F}}\) has nondicritical singularities, by Remark 2.13 we know that W is necessarily transverse to \({\mathcal {F}}\). In particular, by [41, Lemma 3.11], we see that the foliation discrepancies for divisors centred over W are equal to the classical discrepancies.
If \(A'\) is sufficiently general with sufficiently small coefficients then we know that \((X, \Delta +A')\) has canonical singularities at the generic point of W, and so \(({\mathcal {F}}, \Delta +A')\) has canonical singularities at the generic point of W, which implies our claim. \(\square \)
Lemma 3.26
Let X be a \({\mathbb {Q}}\)factorial projective threefold and let \({\mathcal {F}}\) be a corank one foliation on X with nondicritical singularities. Let \(\Delta =A+B\) be a \(\mathbb {Q}\)divisor such that \(({\mathcal {F}},\Delta )\) is a Fdlt pair, \(A\ge 0\) is an ample \(\mathbb {Q}\)divisor and \(B\ge 0\).
Then there exist \(\mathbb {Q}\)divisors \(A',B'\ge 0\) such that \(A'\) is ample and if \(\Delta '=A'+B'\) then

1.
\(\Delta '\sim _{\mathbb {Q}} \Delta \),

2.
\(\lfloor \Delta '\rfloor =0\),

3.
\(({\mathcal {F}}, \Delta ')\) is Fdlt and

4.
if E is a valuation such that \(a(E,{\mathcal {F}},\Delta ') = \epsilon (E)\) then \(\epsilon (E)=0\) and \(a(E,{\mathcal {F}})=0\).
Proof
Let \(\delta >0\) be sufficiently small rational number, so that \(A+\delta B\) is ample and let \(B':=(1\delta )B\). By Lemma 3.24, there exists a \({\mathbb {Q}}\)divisor
such that, if \(\Delta ':=(1\delta )B+A'\) then (1), (2) and (3) hold and the support of \(A'\) does not contain any lc centre of \(({\mathcal {F}},(1\delta )B)\). Thus, if E is a valuation such that \(a(E,{\mathcal {F}},\Delta ') = \epsilon (E)\) then \(a(E,{\mathcal {F}},(1\delta )B)=\epsilon (E)\). Since
it follows that the centre W of E in X is not contained in the support of B and, in particular, \(a(E,{\mathcal {F}})=\epsilon (E)\). By Lemma 3.8, we have that \({\mathcal {F}}\) has simple singularities along the generic point of W. As in the proof of Lemma 2.9, it follows that \(\epsilon (E)=0\). Thus, (4) follows. \(\square \)
Lemma 3.27
Let X be a \(\mathbb {Q}\)factorial projective threefold and let \({\mathcal {F}}\) be a corank one foliation on X with nondicritical singularities. Let \(\Delta =A+B\) be a \(\mathbb {Q}\)divisor such that \(({\mathcal {F}},\Delta )\) is a Fdlt pair, \(A\ge 0\) is an ample \(\mathbb {Q}\)divisor and \(B\ge 0\). Let \(\varphi :X\dashrightarrow X'\) be a sequence of steps of the \((K_{{\mathcal {F}}}+\Delta )\)MMP and let \({\mathcal {F}}'\) be the transformed foliation on \(X'\).
Then, there exist \(\mathbb {Q}\)divisors \(A'\ge 0\) and \(C'\ge 0\) on \(X'\) such that

1.
\(\varphi _* A \sim _{\mathbb {Q}} A'+C'\),

2.
\(A'\) is ample, and

3.
if \(\Delta ':=A'+C'+\varphi _*B\) then \(\Delta '\sim _{\mathbb {Q}} \varphi _*\Delta \) and \(({\mathcal {F}}',\Delta ')\) is Fdlt.
Proof
By Lemma 3.26, we may assume that \(\lfloor \Delta \rfloor =0\). We may also assume that \(\varphi :X\dashrightarrow X'\) is a \((K_{{\mathcal {F}}}+\Delta )\)flip (resp. \((K_{{\mathcal {F}}}+\Delta )\)divisorial contraction). Let \(H\ge 0\) be a general ample \(\mathbb {Q}\)divisor on \(X'\). After possibly replacing H by a smaller multiple, we may assume that if \(H_X\) is the strict transform of H in X then \(AH_X\) is ample. In particular, by Lemma 3.24, there exists an effective \(\mathbb {Q}\)divisor \(C\sim _{{\mathbb {Q}}} AH_X\) and \(\epsilon >0\) sufficiently small such that \(({\mathcal {F}},\Delta +\epsilon C)\) is Fdlt and \(\varphi \) is still a \((K_{{\mathcal {F}}}+\Delta +\epsilon C)\)flip (resp. \((K_{{\mathcal {F}}}+\Delta +\epsilon C)\)divisorial contraction). Thus, if \({\mathcal {F}}'\) is the transformed foliation on \(X'\), then Lemma 3.11 implies that \(({\mathcal {F}}',\varphi _*(\Delta +\epsilon C))\) is Fdlt. By Remark 3.7, we have that \(({\mathcal {F}}',\varphi _*(\Delta +\epsilon C))\) is log canonical and, therefore, \(\varphi _*C\) does not contain any lc centre of \(({\mathcal {F}}',\varphi _*\Delta )\).
Moreover, \(\varphi _*A\sim _{\mathbb {Q}}\varphi _*C+H\). Thus, for a sufficiently small rational number \(\delta >0\), we may choose \(A'=\delta H\) and \(C'=(1\delta )\varphi _* A + \delta \varphi _*C\) and the claim follows. \(\square \)
Fdlt modification
Definition 3.28
Let \({\mathcal {F}}\) be a corank one foliation on a normal projective variety X. Let \(({\mathcal {F}}, \Delta )\) be a foliated pair. A Fdlt modification for the foliated pair \(({\mathcal {F}}, \Delta )\) is a birational projective morphism \(\pi :Y \rightarrow X\) such that if \({\mathcal {G}}\) is the pulled back foliation on Y then \(({\mathcal {G}},\pi _*^{1} \Delta +\sum \epsilon (E_i)E_i)\) is Fdlt where we sum over all \(\pi \)exceptional divisors and
for some \(\pi \)exceptional \(\mathbb {Q}\)divisor \(F \ge 0\) on Y.
In particular, if \(({\mathcal {F}}, \Delta )\) is lc then \(\pi \) only extracts divisors \(E_i\) of discrepancy \(\epsilon (E_i)\).
Theorem 8.1 below implies the existence of a Fdlt modification for any foliated pair \(({\mathcal {F}},\Delta )\) on a normal projective variety of dimension at most three.
Fdlt cone and contraction theorem
In [41] the cone theorem is proved under the hypotheses that X is a \(\mathbb {Q}\)factorial threefold, \({\mathcal {F}}\) is nondicritical, \(({\mathcal {F}}, \Delta )\) has canonical singularities and the contraction theorem is proved under the additional hypothesis that \(({\mathcal {F}}, \Delta )\) is terminal at the generic points of \({\text {Sing}} \, X\).
In fact, it is possible to prove the cone and contraction theorem under the hypothesis that \(({\mathcal {F}}, \Delta )\) is Fdlt (rather than canonical). Even better, it is possible to prove the cone theorem in the case that X is not necessarily \(\mathbb {Q}\)factorial but X is potentially klt. We still require that \({\mathcal {F}}\) has nondicritical singularities. We explain the required modifications to the cone theorem first.
Since X is potentially klt, Theorem 2.23 implies that there exists a small \(\mathbb {Q}\)factorialisation \(\pi :Y \rightarrow X\). Write \(K_{{\mathcal {G}}}+\Gamma = \pi ^*(K_{{\mathcal {F}}}+\Delta )\), where \({\mathcal {G}}\) is the pulled back foliation on Y.
Lemma 3.29
Set up as above. Then \(({\mathcal {G}}, \Gamma )\) is Fdlt.
Proof
By Lemma 3.8, it follows that \(({\mathcal {F}},\Delta )\) is foliated log smooth at the generic point of every lc centre of \(({\mathcal {F}},\Delta )\). In particular, \(\pi ({\text {Exc}} \, \pi )\) does not contain any lc centre of \(({\mathcal {F}},\Delta )\). Let \(\rho :X'\rightarrow X\) be a foliated log resolution of \(({\mathcal {F}},\Delta )\) such that \(a(E,{\mathcal {F}},\Delta )>\epsilon (E)\) for any \(\rho \)exceptional divisor E. Let \(p:{{\overline{Y}}}\rightarrow Y\) and \(q:{{\overline{Y}}}\rightarrow X'\) be proper birational morphisms which resolve the indeterminacy locus of the induced birational contraction \(X'\dashrightarrow Y\). Let \(\overline{{\mathcal {F}}}\) be the transformed foliation on \({{\overline{Y}}}\) and let \({\overline{\Delta }}\) be the strict transform of \(\Delta \) in \({{\overline{Y}}}\). Let \(Y'\rightarrow {{\overline{Y}}}\) be a foliated log resolution of \((\overline{{\mathcal {F}}},{\overline{\Delta }}+G)\), where G is the support of the exceptional divisor of q, and let \(\rho ':Y'\rightarrow Y\) be the induced morphism. We may assume that the morphism \(Y'\rightarrow X'\) is an isomorphism away from \(\phi ^{1}({\text {Exc}} \, \pi )\). Suppose by contradiction that there exists a \(\rho '\)exceptional divisor F such that \(a(F,{\mathcal {G}},\Gamma )=\epsilon (F)\). Then the centre of F in Y does not intersect \({\text {Exc}} \, \pi \) and therefore the image of F in \(X'\) is a divisor which is \(\rho \)exceptional. Since \(a(F,{\mathcal {F}},\Delta )=a(F,{\mathcal {G}},\Gamma )=\epsilon (F)\), we get a contradiction and our claim follows. \(\square \)
Notice that \((K_{{\mathcal {G}}}+\Gamma )\cdot C = 0\) for every \(\pi \)exceptional curve C so if R is a \((K_{{\mathcal {F}}}+\Delta )\)negative extremal ray then there exists a \((K_{{\mathcal {G}}}+\Gamma )\)negative extremal ray \(R'\) such that \(\pi _*R' = R\). Thus, by replacing \(({\mathcal {F}}, \Delta )\) by \(({\mathcal {G}}, \Gamma )\) we may freely assume that X is \(\mathbb {Q}\)factorial.
Let R be a \((K_{{\mathcal {F}}}+\Delta )\)negative extremal ray and let \(H_R\) be a supporting hyperlane to R. We may assume that \(H_R(K_{{\mathcal {F}}}+\Delta )\) is ample and, in particular, \(H^3_R > (K_{{\mathcal {F}}}+\Delta )\cdot H^2_R\).
If \(H^3_R=0\) then [41, Corollary 2.28] implies that X is covered by rational curves tangent to \({\mathcal {F}}\) which span R. Otherwise, if \(H^3_R=0\) then \(H_R\) is big and there exists an effective divisor S such that S is negative on R. As in the proof of [41, Lemma 4.7], it follows that if \(({\mathcal {F}}, \Delta )\) is log canonical then R is spanned by a curve C. In either case, every \((K_{{\mathcal {F}}}+\Delta )\)negative extremal ray is spanned by a curve.
Lemma 3.30
Let X be a normal threefold and let \({\mathcal {F}}\) be a corank one foliation with nondicritical singularities on X. Suppose that \(({\mathcal {F}}, \Delta )\) is a log canonical foliated pair and that X is potentially klt. Let R be a \((K_{{\mathcal {F}}}+\Delta )\)negative extremal ray and suppose that \({\text {loc}}(R) \ne X\). Suppose that \([C] \in R\).
Then C is tangent to \({\mathcal {F}}\).
Proof
This is proven in [41, Lemma 8.10] under the assumption that X is \(\mathbb {Q}\)factorial and klt. However, one can observe that the proof does not rely on either of these hypotheses.
For the reader’s convenience, we briefly sketch the relevant ideas. Let \(H_R\) be the supporting hyperplane to R and suppose for sake of contradiction that C is transverse to \({\mathcal {F}}\). Since \({\text {loc}}(R) \ne X\), it follows that \(H_R\) is big. Let A be an ample \(\mathbb {Q}\)Cartier divisor so that \(H_RA\) is still big. We may then find a \({\mathbb {Q}}\)divisor \(0 \le G \sim _{\mathbb {Q}} H_RA\) and notice that \(G\cdot C<0\).
Let \(\lambda \ge 0\) be the largest real number so that \(({\mathcal {F}}, \Delta +\lambda G)\) is log canonical at the generic point of C. On one hand, we know that \((K_{{\mathcal {F}}}+\Delta +\lambda G)\cdot C<0\). On the other hand, by replacing X by a small \(\mathbb {Q}\)factorialisation (which is necessarily an isomorphism at the generic point of C) we may apply subadjunction (cf. [41, Theorem 4.5]) to see that since C is transverse to \({\mathcal {F}}\) then \((K_{{\mathcal {F}}}+\Delta +\lambda G)\cdot C \ge 0\), a contradiction. \(\square \)
By Lemma 3.12, if C is tangent to \({\mathcal {F}}\) then \(({\mathcal {F}}, \Delta )\) is canonical at the generic point of C and we have reduced to the cone theorem in [41, Theorem 7.1].
Thus, we have:
Theorem 3.31
Let X be a normal projective threefold and let \({\mathcal {F}}\) be a corank one foliation with nondicritical singularities. Suppose that X is potentially klt. Let \(({\mathcal {F}},\Delta )\) be a Fdlt pair and let H be an ample \(\mathbb {Q}\)divisor.
Then there exist countably many curves \(\xi _1,\xi _2,\ldots \) such that
Furthermore, for each i, \(\xi _i\) is a rational curve tangent to \({\mathcal {F}}\) such that \((K_{{\mathcal {F}}}+\Delta )\cdot \xi _i\ge 6\), and if \(C \subset X\) is a curve such that \([C] \in \mathbb {R}_+[\xi _i]\) and \({\text {loc}}(\mathbb {R}_+[\xi _i]) \ne X\) then C is tangent to \({\mathcal {F}}\). If we assume in addition that X is \(\mathbb {Q}\)factorial then if \([C] \in \mathbb {R}_+[\xi _i]\) then C is tangent to \({\mathcal {F}}\).
In particular, there exist only finitely many \((K_{{\mathcal {F}}}+ \Delta +H)\)negative extremal rays.
Remark 3.32
We will return to the problem of constructing contractions in the \(\mathbb {Q}\)factorial case in Theorem 6.7 and in the non\(\mathbb {Q}\)factorial case in Sect. 8.1.
We now show that the MMP preserves nondicritical singularities.
Lemma 3.33
Let X be a normal threefold and let \({\mathcal {F}}\) be a nondicritical corank one foliation on X. Suppose that \(({\mathcal {F}}, \Delta )\) is log canonical and that X is potentially klt.
Let R be a \((K_{{\mathcal {F}}}+\Delta )\)negative extremal ray and let \(c:X \rightarrow Y\) be the contraction associated to R. Suppose that c is a birational morphism and let \({\mathcal {G}} :=c_*{\mathcal {F}}\). Then \({\mathcal {G}}\) is nondicritical. In particular, if c is a flipping contraction and assuming that its flip \(\phi :X \dashrightarrow X^+\) exists, then \({\mathcal {F}}^+:=\phi _*{\mathcal {F}}\) is nondicritical.
Proof
To prove our first claim let \(q \in Y\) be a point and let \(\pi :Y' \rightarrow Y\) be any sequence of blow ups such that \(\pi ^{1}(q)\) is a divisor. Perhaps passing to a higher model we may assume we have a factorisation \(Y' \xrightarrow {g} X \xrightarrow {c} Y\). Let \({\mathcal {G}}':=\pi ^{1}_* {\mathcal {G}}\). Lemma 3.30 implies that \(c^{1}(q)\) is tangent to \({\mathcal {F}}\). Since \(g^{1}(c^{1}(q))\) is a divisor and since \({\mathcal {F}}\) is nondicritical it follows by definition of tangency that \(g^{1}(c^{1}(q))\) is an invariant divisor, as required.
We now prove our second claim. Let \(c^+:X^+ \rightarrow Y\) be the induced morphism. We have that \(c^+_*{\mathcal {F}}={\mathcal {G}}\) and, by our first claim, it is nondicritical. This implies that \({\mathcal {F}}^+\) is nondicritical, as claimed. \(\square \)
Note that, in Sect. 6, we prove the existence of flips for nondicritical Fdlt pairs defined on a \({\mathbb {Q}}\)factorial projective theefold.
Approximating formal divisors
One of the main difficulties to prove the existence of flips for foliated pairs \(({\mathcal {F}},\Delta )\), as in Theorem 6.4, is due to the fact that in the singular setting, some of the separatrices through a curve C which is tangent to \({\mathcal {F}}\), are defined only in a formal neighbourhood of the curve C. To this end, since the MMP for formal schemes is still unknown, we study some application of Artin and Elkik’s approximation theorems.
We begin by recalling some definitions. The following definition is [37, Chapter XI, Définition 2].
Definition 4.1
Let A be a ring, \({\mathfrak {J}} \subset A\) an ideal and B an étale Aalgebra. We say that B is an étale neighborhood of \({\mathfrak {J}}\) in A if the morphism
is an isomorphism.
The following definition is [37, Chapter XI, Définition 3].
Definition 4.2
A pair \((A, {\mathfrak {J}})\) of a ring and an ideal is called a henselian couple if \({\mathfrak {J}}\) is contained in the Jacobson radical of A and for all étale neighborhoods B of \({\mathfrak {J}}\) in A, there exists an Amorphism \(B \rightarrow A\).
Given a pair \((A, {\mathfrak {J}})\) of a ring A and an ideal \({\mathfrak {J}}\) contained in the Jacobson radical of A, it is possible to define the henselization of \((A,{\mathfrak {J}})\) as in [37, Chapitre XI, Théorème 2].
The next result is [17, Theorem 3 (see also the paragraph below Theorem 3)]:
Theorem 4.3
(Elkik approximation) Let \((A, {\mathfrak {J}})\) be a henselian couple where A is Noetherian and let \({\widehat{A}}\) be the \({\mathfrak {J}}\)adic completion. Let \({\overline{M}}\) be a finite type \({\widehat{A}}\)module, locally free on \({\text {Spec}}\, {\widehat{A}}{\setminus } V({\mathfrak {J}})\).
Then there exists an Amodule M such that \(M\otimes _A {\widehat{A}}\) is isomorphic to \({\overline{M}}\).
Furthermore, for any positive integer k, we may choose M so that if
is a presentation of \({\overline{M}}\), then we have a presentation of M
such that \(L = {\overline{L}} \mod {\mathfrak {J}}^k\) and such that the isomorphism between \({\overline{M}}\) and \(M \otimes {\widehat{A}}\) is induced by automorphisms of \({\widehat{A}}^p\) and \({\widehat{A}}^q\) congruent to the identity modulo \({\mathfrak {J}}^k\).
Remark 4.4
Note that, in the Theorem above, after possibly replacing M by \(M^{**}\), we may assume that M is reflexive. Indeed, by [24, Proposition 1.8] it follows that \(M^{**}\otimes _A {{\widehat{A}}}\) is reflexive and, therefore, it coincides with \({{\overline{M}}}\).
Corollary 4.5
Let \((A, {\mathfrak {J}})\) be a henselian couple where A is Noetherian and let \({\widehat{A}}\) be the \({\mathfrak {J}}\)adic completion. Suppose moreover that A is excellent and normal.
Fix any positive integer k. Let \({\overline{V}} \subset {\text {Spec}}\, {\widehat{A}}\) be an effective integral divisor and let m be a positive integer such that \(m{\overline{V}}\) is Cartier away from \(W = V({\mathfrak {J}})\).
Then there exists a divisor V on \({\text {Spec}}\, A\) such that

1.
\({\mathcal {O}}(mV) \otimes {\widehat{A}} \cong {\mathcal {O}}(m{\overline{V}})\),

2.
\(V = {\overline{V}}\) mod \({\mathfrak {J}}^k\).
Proof
We first assume that \({{\overline{M}}}:={\mathcal {O}}({\overline{V}})\) is locally free away from W. Note that this case follows from [17, Corollaire p. 574], but we include a proof for the reader’s convenience.
By Theorem 4.3 and Remark 4.4, there exists a reflexive sheaf M on \({\text {Spec}}\, A\) such that \(M \otimes {\widehat{A}} = {\mathcal {O}}({\overline{V}})\). Let \({\overline{s}} \in {\mathcal {O}}({\overline{V}})\) be a section whose associated divisor is \({\overline{V}}\). We may assume that there is a presentation
such that \({\overline{s}}\) is the image of \((1, 0, \ldots , 0)\) in \({\overline{M}}\). Approximating this presentation by
we define s to be the image of \((1, 0, \ldots , 0)\) in M. In particular, we see that \(s={\overline{s}} \mod {\mathfrak {J}}^k\) considered as sections of \({\overline{M}}\). Let V be the divisor associated to s. Then \(M = {\mathcal {O}}(V)\) and \(V = {\overline{V}}\) mod \({\mathfrak {J}}^k\).
Now, suppose that \(m>1\) is the Cartier index of \({\mathcal {O}}({\overline{V}})\) away from W. By Lemma 4.6, we may find a Galois possibly ramified cover \(\sigma :{\text {Spec}}\, B \rightarrow {\text {Spec}}\, A\) such that \((\sigma ^*{\mathcal {O}}({\overline{V}}))^{**}\) is a line bundle away from \(\sigma ^{1}(W)\).
Note that \({\mathfrak {J}}' = B \otimes {\mathfrak {J}}\) is the ideal corresponding to \(\sigma ^{1}(W)\). Let \({\widehat{B}}\) be the \({\mathfrak {J}}'\)adic completion of B. Observe that by [37, Chapter XI, Proposition 2] \((B, {\mathfrak {J}}')\) is a henselian couple. We may find a reflexive sheaf \(M'\) on \({\text {Spec}}\, B\) such that \(M' \otimes {\widehat{B}} \cong (\sigma ^*{\mathcal {O}}({\overline{V}}))^{**}\). Let \({\overline{s}}\) be as above and let \({\overline{t}} = \sigma ^*{\overline{s}}\).
As before, for any positive integer \(\ell \), we can approximate \({\overline{t}}\) by a section t of \(M'\) such that \(t = {\overline{t}} \mod {\mathfrak {J}}'^\ell \). Observe that for \(\ell \) sufficiently large we have that \(\sum _{g \in G} g\cdot t \ne 0\). So replacing t by \(\frac{1}{\# G} \sum _{g \in G} g\cdot t\) we may assume that t is also Ginvariant. Let \(V' \) be the divisor associated to t and so \(M'= {\mathcal {O}}(V')\).
By Theorem 4.3 let L be a reflexive sheaf on \({\text {Spec}}\, A\) such that \(L \otimes {\widehat{A}} = {\mathcal {O}}(m{\overline{V}})\). Then we have \((\sigma ^*L)^{**} \cong {\mathcal {O}}(m V')\). Thus \((\sigma ^*L)^{**}\) has a Ginvariant section \(t^{\otimes m}\) which descends to a section \(\eta \) of L.
If we set \(V = \sigma (V')\), then notice that \((\eta = 0) = mV\) and so \({\mathcal {O}}(mV) \otimes {\widehat{A}} \cong {\mathcal {O}}(m{\overline{V}})\). Next, we know that \(mV = m{\overline{V}} \mod {\mathfrak {J}}^\ell \) which implies that \(V = {\overline{V}} \mod {\mathfrak {J}}^{\lfloor \ell /m \rfloor }\). Choosing \(\ell \ge km\) gives our result. \(\square \)
Lemma 4.6
Let \((A, {\mathfrak {J}})\) be a henselian couple where A is Noetherian and let \({\widehat{A}}\) be the \({\mathfrak {J}}\)adic completion. Suppose moreover that A is excellent.
Let \({\overline{V}} \subset {\text {Spec}}\, {\widehat{A}}\) be a divisor such that \({\mathcal {O}}_{{\text {Spec}}\, {\widehat{A}}}({\overline{V}})\) is \(\mathbb {Q}\)Cartier away from \(W = V({\mathfrak {J}})\).
Then there exists a finite Galois morphism \(\sigma :{\text {Spec}}\, B \rightarrow {\text {Spec}}\, A\) such that if \({\widehat{\sigma }} :{\text {Spec}}\, {\widehat{B}} \rightarrow {\text {Spec}}\, {\widehat{A}}\) is the completion of this map we have that \(({\widehat{\sigma }}^*{\mathcal {O}}({\overline{V}}))^{**}\) is locally free away from \({\widehat{\sigma }}^{1}(W)\).
Proof
Let \(X={\text {Spec}}\, A\) and let m be the Cartier index of \({\mathcal {O}}({\overline{V}})\) away from W. Let L be a reflexive sheaf on X such that \(L \otimes {\widehat{A}} \cong {\mathcal {O}}(m{\overline{V}})\) and whose existence is guaranteed by Theorem 4.3.
Let \(\{U_i\}_{i = 1, \ldots ,n}\) be an open cover of \({\text {Spec}}\, A{\setminus } W\) and let \(s_i\) be a global section of L such that \(s_i\vert _{U_i}\) generates \(L\vert _{U_i}\). Choose a rational function \(\varphi _i\) such that \((\varphi _i)= (s_i\vert _{U_i})\). Let \(V_i \rightarrow U_i\) be a cover extracting a mth root of \(\varphi _i\). If we let \(\widehat{U_i} = U_i \times _X {\text {Spec}}\, {\widehat{A}}\) and \(\widehat{V_i} = V_i \times _X{\text {Spec}}\, {\widehat{A}}\) then we see that \({\mathcal {O}}({\overline{V}})\vert _{\widehat{V_i}}^{**}\) is locally free.
Let \(V = V_1\times _XV_2\times _X \ldots \times _X V_n\) and let K(V) be the field of functions of V and notice that K(V) is a finite extension of K(A). Let B be the integral closure of A in K(V). Note that B is finite over A (e.g. see [4, Proposition 5.17]). Thus, the natural map \(\sigma :{\text {Spec}}\, B \rightarrow {\text {Spec}}\, A\) gives a cover with the desired properties. \(\square \)
Definition 4.7
Let \((A, {\mathfrak {J}})\) be a pair of a normal ring and an ideal. Let \(\Delta '\) be a \(\mathbb {Q}\)divisor on \({\text {Spec}}\, {A}\). We say that a \(\mathbb {Q}\)divisor \(\Delta \) on \({\text {Spec}}\, {A}\) approximates \(\Delta ' \mod {\mathfrak {J}}^n\) if we can write \(\Delta = \sum a_iD_i\) and \(\Delta ' = \sum a_iD'_i\) where \(D_i= D'_i \mod {\mathfrak {J}}^n\).
Lemma 4.8
Let \((A, {\mathfrak {J}})\) be a pair of a ring and an ideal, where A is excellent. Suppose that \(({\text {Spec}}\, {A}, \Delta )\) is a klt (resp. lc) pair.
Then there exists a positive integer \(n_0\) such that if \(n \ge n_0\) and if \(\Delta '\) is an approximation of \(\Delta \mod {\mathfrak {J}}^n\) such that \(K_{{\text {Spec}}\, {A}}+\Delta '\) is \(\mathbb {Q}\)Cartier then \(({\text {Spec}}\, {A}, \Delta ')\) is klt (resp. lc).
Proof
Let \(\pi :Y \rightarrow {\text {Spec}}\, {A}\) be a log resolution of \(({\text {Spec}}\, {A}, \Delta )\) and let \(E = \pi ^{1}(V({\mathfrak {J}}))\) whose existence is guaranteed by [42, Theorems 1.1.9 and 1.1.13]. Note that \(\pi \) is projective. Perhaps passing to a higher resolution we may assume that E is a divisor.
Let \({\widehat{D}}\) be a component of \(\Delta \). We may write
where \({\widehat{D}}'\) is the strict transform of \({\widehat{D}}\) and \(E_i\) are \(\pi \)exceptional and \(a_i \ge 0\). Choose r larger than \(a_i\) for all i and for all the components \({\widehat{D}}\) of \(\Delta \).
Next, pick \(n_0\) so that \({\mathfrak {J}}^{n_0} \subset \pi _*{\mathcal {O}}_Y(2rE)\). Note that in this case \(\pi ^{1} {\mathfrak {J}}^{n_0} \subset {\mathcal {O}}_Y(2rE)\) and so if \(s = t \mod {\mathfrak {J}}^{n_0}\) then
This choice of \(r, n_0\) guarantees that if \({\widehat{D}}\) is a component of \({\text {Supp}} \, \Delta \) and D is an approximation of \({\widehat{D}}\) mod \({\mathfrak {J}}^n\) where \(n \ge n_0\) that if we write
and
then \(a_i = b_i\) and so \(D' = {\widehat{D}}'\) in some infinitessimal neighborhood of E. Thus, if \(\Delta '\) is an approximation of \(\Delta \mod {\mathfrak {J}}^n\) for \(n \ge n_0\) then \(\pi \) is also a log resolution of \(({\text {Spec}}\, {A}, \Delta ')\).
Furthermore, if we let \(\pi _*^{1}\Delta \) (respectively \(\pi _*^{1}\Delta ')\) be the strict transform of \(\Delta \) (respectively \(\Delta '\)) we see that \(\pi _*^{1}\Delta \vert _E = \pi _*^{1}\Delta '\vert _E\) which implies that the two are \(\pi \)numerically equivalent and hence the discrepancies of \(({\text {Spec}}\, {A}, \Delta )\) and \(({\text {Spec}}\, {A}, \Delta ')\) are the same and the result follows. \(\square \)
Approximating formal separatrices
In this section we work in the following set up:
Let X be a \(\mathbb {Q}\)factorial and klt quasiprojective threefold. Let \({\mathcal {F}}\) be a corank one foliation on X with nondicritical singularities and let \(({\mathcal {F}}, \Delta )\) be a Fdlt foliated pair. Let \(f:X \rightarrow Z\) be a birational contraction and \(p \in f({\text {Exc}} \, f)\) be a closed point. We assume that \(D :=f^{1}(p)\) is tangent to \({\mathcal {F}}\). Suppose moreover that Z is klt away from finitely many points. As we will see, this will always be the case for birational contractions arising in the course of the MMP.
Let \({\hat{f}}:{\widehat{X}} \rightarrow {\widehat{Z}}\) be the completion of f along the fibre \(f^{1}(p)\), and let \(\widehat{{\mathcal {F}}}\) be the formal foliation.
Remark 5.1
Observe that by Lemmas 3.12 and 3.14 if D is a curve and \(D_i\) is component of D then \(D_i\) is contained in a (possibly formal) \(\widehat{{\mathcal {F}}}\)invariant divisor.
Lemma 5.2
Let \({\widehat{S}} \subset {\widehat{X}}\) be any irreducible formal divisor not contained in \({\text {Exc}} \, f\). Fix an integer \(n>0\).
Then there exists an étale morphism \(\sigma :Z' \rightarrow Z\) and a divisor \(S'\) on \(X' = X \times _Z Z'\) such that if \(\tau :X' \rightarrow X\) is the projection, \(f':X' \rightarrow Z'\) the induced morphism, \(D' = f'^{1}(\sigma ^{1}(p))\) and \({\widehat{\tau }}:\widehat{X'}\rightarrow {{\widehat{X}}}\) is the completion of \(\tau \) along \(D'\), then \(\widehat{S'} = {\widehat{\tau }}^*{\widehat{S}}\) mod \(I_{D'}^n\), where \(\widehat{S'}\) is the restriction of \(S'\) to \(\widehat{X'}\).
Proof
We may assume that \(Z={\text {Spec}}\, B\) is affine. Let \((A, {\mathfrak {m}})\) be the henselisation of B at p, and let \({\widehat{A}}\) be the formal completion of B at p. Let \({\widetilde{X}} = X \times _{{\text {Spec}}\, B} {\text {Spec}}\, {\widehat{A}}\). By the Grothendieck existence theorem there exists a divisor \({\widetilde{S}}\) on \({\widetilde{X}}\) such that \({\widetilde{S}}\vert _{{\widehat{X}}} = {\widehat{S}}\).
Let \({{\widetilde{f}}}:{{\widetilde{X}}}\rightarrow {\text {Spec}}\, {{\widehat{A}}}\) be the induced morphism. By the proper mapping theorem, we have that \({\overline{V}}:= {{\widetilde{f}}}_*{\widetilde{S}}\) is a divisor on \({\text {Spec}}\, {\widehat{A}}\). We claim that \({\overline{V}}\) is a \(\mathbb {Q}\)Cartier divisor on \({\text {Spec}}\, {{\widehat{A}}} {\setminus } p\). Indeed, by assumption Z is klt away from finitely many points. By [21, Proposition 9.4] a klt variety has quotient singularities in codimension two, and so it follows that, away from finitely many points, Z has quotient singularities. In particular, it follows that \({\text {Spec}}\, {\widehat{A}}{\setminus } \{p\}\) is \(\mathbb {Q}\)factorial and so \({\overline{V}}\) is \(\mathbb {Q}\)Cartier.
Let \({{\widetilde{D}}}={{\widetilde{f}}}^{1}(p)\). Pick a positive integer k large enough so that \({\mathfrak {m}}^k\subset {\widetilde{f}}_*I_{{{\widetilde{D}}}}^{n+n'}\) where \(n'\) is a sufficiently large positive integer so that \({\mathcal {O}}({\overline{V}})\) is not contained in \({{\widetilde{f}}}_*I_{{\widetilde{D}}}^{n'}\). By Corollary 4.5, there exists a divisor V on \({\text {Spec}}\, A\) which agrees with \({\overline{V}}\) mod \({\mathfrak {m}}^k\). Recall
where we run over étale morphisms \(({\text {Spec}}\, B', q) \rightarrow ({\text {Spec}}\, B, p)\) sending q to p. Thus, we see that there exists some étale cover \({\text {Spec}}\, B' \rightarrow {\text {Spec}}\, B\) and a divisor \(V'\) on \({\text {Spec}}\, B'\) which agrees with V when pulled back to \({\text {Spec}}\, A\).
Let \(S'\) be the strict transform of \(V'\) on \(X'\) and let \(\widehat{S'}\) be the restriction of \(S'\) to \(\widehat{X'}\). Then we have that \(\widehat{S'} = {\hat{\tau }}^*{\widehat{S}} \mod I_{D'}^n\), as required. \(\square \)
Lemma 5.3
Notation as above. Let \({\widehat{S}}_1, \ldots , {\widehat{S}}_k\) be any collection of distinct irreducible \(\widehat{{\mathcal {F}}}\)invariant divisors and suppose that \({\widehat{S}}_1, \ldots , {\widehat{S}}_k\) are \(\mathbb {Q}\)Cartier and such that \({\widehat{S}}_i\) is not contained in \({\text {Exc}} \, f\) for any i. Let \(X'\) and \(S'_1, \ldots , S'_k\) be as in Lemma 5.2, where \(S'_i\) is an approximation of \({\widehat{S}}_i\) mod \(I_{D'}^n\).
Then for n large enough and perhaps shrinking \(X'\) to a smaller neighborhood of \(D'\) we have \((X', \sum S'_i)\) is log canonical.
Proof
We first claim that \(S'_i\) is \(\mathbb {Q}\)Cartier. Indeed, by construction we have an isomorphism \({\hat{f}}_*{\mathcal {O}}_{{\widehat{X}}}({\widehat{S}}_i) \cong {\hat{f}}_*{\mathcal {O}}_{{\widehat{X}}}(S'_i)\) of reflexive sheaves on \({\widehat{Z}}\). Since \({\mathcal {O}}_{{\widehat{X}}}({\widehat{S}}_i)\) and \({\mathcal {O}}_{{\widehat{X}}}(S'_i)\) are reflexive and \({\widehat{S}}_i\) and \(S'_i\) do not contain any fexceptional divisors in their support it follows that this isomorphism on Z gives an isomorphism \({\mathcal {O}}_{{\widehat{X}}}({\widehat{S}}_i) \cong {\mathcal {O}}_{{\widehat{X}}}(S'_i)\) on \({\widehat{X}}\). In particular, \(S'_i\) is \(\mathbb {Q}\)Cartier because \({\widehat{S}}_i\) is.
The result then follows by combining Lemmas 4.8 and 3.16. \(\square \)
Constructing the flip
Set up
Through out this section, we assume that X is a \(\mathbb {Q}\)factorial klt quasiprojective threefold, \({\mathcal {F}}\) is a corank one foliation on X with nondicritical singularities and \(({\mathcal {F}}, \Delta )\) is Fdlt foliated pair.
The goal of this section is to show that if \(f:X \rightarrow Z\) is a flipping contraction associated to a \((K_{{\mathcal {F}}}+\Delta )\)negative extremal ray R, then the \((K_{{\mathcal {F}}}+\Delta )\)flip exists (cf. Sect. 2.6). The basic idea is to reduce the \((K_{{\mathcal {F}}}+\Delta )\)flip to a \((K_X+{\widetilde{\Delta }})\)flip for some klt pair \((X, {\widetilde{\Delta }})\).
Recall that in [41, Lemma 8.21] it was proven that the flipping contraction exists in the category of algebraic spaces. Observe that the proof given there only requires that \(({\mathcal {F}}, \Delta )\) has nondicritical and log canonical singularities and so works for Fdlt foliated pairs with nondicritical singularities.
Our goal here is to show that

(a)
if X is projective then also Z is projective and \(\rho (X/Y)=1\).

(b)
the flip exists.
By Remark 3.7 and Lemma 3.30, it follows that \({\text {Exc}} \, f\) is tangent to the foliation.
The following result will be needed to address (a) and (b) above:
Lemma 6.1
Without loss of generality, we may assume that \(\lfloor \Delta \rfloor = 0\).
Proof
The \((K_{{\mathcal {F}}}+\Delta )\)flip is the \((K_{{\mathcal {F}}}+(1\epsilon )\Delta )\)flip for \(\epsilon >0\) sufficiently small. \(\square \)
The following result will be needed to address (b) above:
Lemma 6.2
Let \(f:X \rightarrow Y\) be a small contraction between algebraic spaces. Let D be a \(\mathbb {Q}\)Cartier divisor on X such that \(D\) is fample. Let \(\{U_i \rightarrow Y\}_{i\in I}\) be an étale cover of Y. Suppose that, for each \(X_i = X \times _Y U_i \rightarrow U_i\), the \(D_{X_i}\)flip exists.
Then the Dflip exists.
Proof
The existence of the flip is equivalent to the \({\mathcal {O}}_Y\)algebra
being finitely generated, where m is taken to be sufficiently divisble. Finite generation of an algebra can be checked étale locally and the result follows. \(\square \)
We briefly sketch the remainder of the goals for this subsection. First, we show that, after possibly replacing X by an appropriate small modification, we may find a formal divisor \({\widehat{F}}\) on \({\widehat{X}}\), the formal completion of X along \({\text {Exc}} \, f\), such that \(K_{{\widehat{X}}}+{\widehat{F}}\) is numerically equivalent to \(K_{\widehat{{\mathcal {F}}}}\) and such that \(({\widehat{X}}, {\widehat{F}})\) has log canonical singularities. Indeed, we will show that if \({\widehat{S}}\) is the sum of all the \({\mathcal {F}}\)invariant divisors meeting \({\text {Exc}} \, f\) then \(K_{\widehat{{\mathcal {F}}}}(K_{{\widehat{X}}}+{\widehat{S}})\) is fnef. Since \({\text {Exc}} \, f\) is a curve, it is then easy to find an effective divisor D on some analytic neighborhood of \({\text {Exc}} \, f\) such that D restricted to \({\widehat{X}}\) is numerically equivalent to \(K_{\widehat{{\mathcal {F}}}}(K_{{\widehat{X}}}+{\widehat{S}})\). Then \({\widehat{F}} = {\widehat{S}}+D\) will be our desired divisor. Second, we will apply our version of Elkik approximation theorem to show that we may approximate \({\widehat{F}}\) on some étale neighborhood \(X' \rightarrow X\) of \({\text {Exc}} \, f\) by a divisor \(F'\). We will then, in the next subsection, construct the foliated flip as a \((K_{X'}+F')\)flip.
We now proceed with the construction outlined above. Let \(S_1,\ldots ,S_{\ell }\) be the collection of all the \({\mathcal {F}}\)invariant divisors (formal or otherwise) on X meeting at least one of the curves contracted by f, whose existence is guaranteed by Remark 5.1. We remark that by Lemma 3.5 we may extend each \(S_i\) to a formal divisor on \({\widehat{X}}\). We emphasise that each fexceptional curve is contained in one such divisor. By Lemma 5.2, we may find a diagram
where \(\sigma :Z' \rightarrow Z\) is étale and divisors \(S'_k\) on \(X'\) which approximate the \(S_k\) to some arbitrarily high (but fixed) order. Let \({\mathcal {F}}'\) be the transformed foliation on \(X'\).
Note that \(X'\) is klt since X is. Let \(g:Y \rightarrow X'\) be a small \(\mathbb {Q}\)factorialisation of \(X'\) and let \({\mathcal {F}}_Y\) the pulled back foliation on Y. Then \(g^*K_{{\mathcal {F}}'} = K_{{\mathcal {F}}_Y}\) and \(g^*K_{X'} =K_Y\). Let \(h = f'\circ g:Y \rightarrow Z'\) be the composition and write \({\text {Exc}} \, h = C = \cup C_i\).
Let U be a small analytic neighbourhood around C. We claim that, for each i, we can find \(\mathbb {Q}\)divisors \(D_{i1},\ldots , D_{im_i}\ge 0\) on U such that \(D_{ik}\cdot C_j = \delta _{ij}\) for each \(k=1,\ldots ,m_i\), where \(m_i \ge 0\) is an integer whose precise value will be determined later. Indeed, let A be a general sufficiently ample Cartier divisor on Y so that \(A \cap C = \{P_{ij}\}\) is a finite collection of points where \(P_{ij} \in C_i\) and \(P_{ij} \notin C_k\) for \(k \ne i\). Then, on a sufficiently small analytic neighborhood U of C we may write \(A\cap U = \sum A_{ij}\) where \(A_{ij}\cap C = P_{ij}\) and \(A_{ij} \cap A_{i'j'} = \emptyset \) for \((i, j) \ne (i', j')\). Taking \(D_{i1}, \ldots , D_{im_i}\) to be some of the \(A_{ij}\) as A varies across ample divisors will then have our desired properties
We remark that if we write \(g^*(K_{{\mathcal {F}}'}+\Delta ') = K_{{\mathcal {F}}_Y}+\Delta _Y\) then by Lemma 3.29, we have that \(({\mathcal {F}}_Y, \Delta _Y)\) is Fdlt. Moreover, since \({\mathcal {F}}'\) has nondicritical singularities it follows that each gexceptional curve is tangent to \({\mathcal {F}}_Y\).
Let \({{\widetilde{S}}}_k\) be the strict transform of \(S'_k\) on Y and note that \({\widetilde{S}}_k\) is a \(\mathbb {Q}\)Cartier divisor. Let \({\widehat{Y}}\) be the formal completion of Y along \({\text {Exc}} \, h\), and notice that we have a morphism \({\hat{g}}:{\widehat{Y}} \rightarrow {\widehat{X}}\). Let \(T_k\) be the strict transform of \(S_k\) on \({\widehat{Y}}\). We claim that \(T_k\) is a \(\mathbb {Q}\)Cartier divisor. Observe that we have an isomorphism of sheaves \({\mathcal {O}}_{{\widehat{Y}}}(T_k) \cong {\mathcal {O}}_{{\widehat{Y}}}({\widetilde{S}}_k)\): indeed, by item (1) of Corollary 4.5 we know that if \({\hat{h}}\) is the restriction of h to \({\widehat{Y}}\) then \({\hat{h}}_*{\mathcal {O}}_{{\widehat{Y}}}(T_k) \cong {\hat{h}}_*{\mathcal {O}}_{{\widehat{Y}}}({\widetilde{S}}_k)\) and since \({\text {Exc}} \, h\) is of codimension \(\ge 2\) this gives an isomorphism of reflexive sheaves on \({\widehat{Y}}\). Since \({\widetilde{S}}_k\) is \(\mathbb {Q}\)Cartier this implies that \(T_k\) is \(\mathbb {Q}\)Cartier as well.
For any \(T_j\) which is convergent and contains one of the \(C_i\) by Corollary 3.20 we may write \((K_{{\widehat{Y}}}+\sum T_k)\vert _{T_{j}}= K_{T_{j}}+\Theta _{j}\) and \(K_{{\mathcal {F}}_Y}\vert _{T_{j}} = K_{T_{j}} +\Delta _{j}\) where \(\Theta _{j}\ge \Delta _{j}\).
Now fix i and consider \(C_i\). We consider two possibilities as in Lemma 3.14. First, suppose that \({\mathcal {F}}_Y\) is terminal at the generic point of \(C_i\). In this case there exists a single \(k_i\) such that \(C_i \subset T_{k_i}\) and moreover \(T_{k_i}\) is convergent. Again, by Corollary 3.20 we know that \(\Theta _{k_i}\) and \(\Delta _{k_i}\) have the same coefficient along \(C_i\).
Now suppose that \({\mathcal {F}}_Y\) is canonical (but not terminal) at the generic point of \(C_i\). In particular, Lemma 3.8 implies that \({\mathcal {F}}_Y\) has simple singularities at a general point of \(C_i\). Let \(q \in C_i\) be a general point and let S be the strong separatrix of \({\mathcal {F}}_Y\) at q, recall that S is convergent. Then by Lemma 3.5 this separatrix may be extended to a convergent divisor containing \(C_i\), which is therefore one of the \(T_k\). Let \(T_{k_i}\) be this divisor. Again, we may apply Corollary 3.20 to see that \(\Theta _{k_i}\) and \(\Delta _{k_i}\) have the same coefficient along \(C_i\).
It follows that
and so
By Lemma 5.2, we may find a diagram
where \(\sigma ':Z'' \rightarrow Z'\) is étale and divisors \(D'_{ik}\) on \(Y'\) such that \(D'_{ik}\) approximate \(D_{ik}\) to some arbitrarily high (but fixed) order. Notice that, as in the proof of the fact that \(T_k\) is \(\mathbb {Q}\)Cartier, we have that \(D'_{ik}\) is \(\mathbb {Q}\)Cartier. Observe also that if \(C_i' \subset Y'\) is an \(h'\)exceptional curve such that \(\tau '(C_i') = C_i\) then we still have \(C_i'\cdot D'_{jk} = \delta _{ij}\).
Notice that if \({{\widetilde{S}}}_k'\) is a surface on \(Y'\) such that \(\tau '({{\widetilde{S}}}'_k)={{\widetilde{S}}}_k\), then we still have the inequality
for any \(h'\)exceptional curve \(C'\). Thus, if we take
where \(C'_i\) is a curve such that \(\tau '(C'_i) = C_i\), then we have that
Let \(\Delta ' = \tau '^*g^*\tau ^*\Delta \). Notice that \(({\mathcal {F}}_{Y'}, \Delta ')\) is Fdlt and the \({{\widetilde{S}}}'_k\) are smooth in codimension one, and so Lemmas 3.16 and 4.8 imply that (perhaps replacing \(Z''\) be an open neighborhood of \(h'((\tau ')^{1}(C))\)) \((Y', \Delta '+\sum S'_k)\) is lc and \((Y', \Delta '+(1\epsilon )\sum S'_k)\) is klt for \(0<\epsilon \le 1\). So by choosing the \(D_{ik}\) general enough and \(m_i\) large enough so that \(a_i \le m_i\) we may assume that if \(A = \sum {{\widetilde{S}}}'_k +\sum \frac{a_i}{m_i}D'_{ik}\), then \((Y', \Delta '+A)\) is lc and \((Y', \Delta +(1\epsilon )A)\) is klt.
Since \(X \rightarrow Z\) contracts only a single extremal ray and \((K_{{\mathcal {F}}}+\Delta )\) is relatively ample, there exists \(\lambda \in \mathbb {Q}\) such that \(\lambda (K_{{\mathcal {F}}}+\Delta )\equiv _f (K_X+\Delta )\). Since g is small and \(\tau \) and \(\tau '\) are étale, it follows that \(\lambda (K_{{\mathcal {F}}_{Y'}}+\Delta ') \equiv _{h'} (K_{Y'}+\Delta ')\), where \({\mathcal {F}}_{Y'}\) is the transformed foliation on \(Y'\). Since \(A \equiv _{h'} (K_{{\mathcal {F}}_{Y'}}+\Delta ')  (K_{Y'}+\Delta ')\), we have
for \(\mu = 1\lambda \).
Existence of the flip
Below, we use the same notation as in the previous subsection.
Lemma 6.3
Set up as above.
Then the following hold:

1.
\(\rho (X/Z) = 1\); and

2.
if, in addition, X is projective, then also Z is projective.
Proof
Let D be a \(\mathbb {Q}\)Cartier divisor on X which is fnumerically trivial. In order to show that \(\rho (X/Z)=1\), it is enough to show that there exists a \(\mathbb {Q}\)Cartier divisor M on Z such that \(f^*M = D\). Indeed, since \(f:X\rightarrow Z\) is a flipping contraction associated to an extremal ray R, the claim implies that the sequence
is exact, where the second to last arrow is given by \(D \mapsto D\cdot \xi \) where \(\xi \) is a fixed curve such that \([\xi ] \in R\).
Let \(D' = \tau '^*g^*\tau ^*D\). Since the descent problem above is étale local, it suffices to show that \(D' = (h')^*M'\) for some \(\mathbb {Q}\)Cartier divisor on \(Z'\). The existence of \(M'\) follows by applying the classical relative base point free theorem to the pair \((Y', \Delta '+(1\epsilon )A)\), for some \(0 < \epsilon \ll 1\). Indeed, recall from Sect. 6.1 we have that \((Y', \Delta '+(1\epsilon )A)\) is klt. Thus, since
is \(h'\)big and nef for small \(\epsilon \), we have that \(D'\) is \(h'\)semiample. Thus, by definition, there is some \(n \gg 0\) and a Cartier divisor L on \(Z'\) such that \((h')^*L = nD'\). Thus, we may choose \(M' = \frac{1}{n}L\) and (1) follows.
Assume now that X is projective and that \(D=H_R\) is a nef \({\mathbb {Q}}\)Cartier divisor on X which defines a supporting hyperplane for R in \({\overline{NE}}(X)\) and let M be the induced \(\mathbb {Q}\)Cartier divisor on Z. The existence of \(H_R\) is a direct consequence of the Cone theorem, [41] or Theorem 3.31. Projectivity then follows by noting that, for any subvariety V of Z we have \(M^{\dim V}\cdot V >0\). Indeed, M is ample by the Nakai–Moishezon criterion for algebraic spaces, [26, Theorem 3.11], and so Z is projective. Thus, (2) follows. \(\square \)
Theorem 6.4
Let X be a \(\mathbb {Q}\)factorial projective threefold and let \({\mathcal {F}}\) be a corank one foliation on X with nondicritical singularities. Suppose that \(({\mathcal {F}}, \Delta )\) is a Fdlt foliated pair. Let \(f:X\rightarrow Z\) be a \((K_{{\mathcal {F}}}+\Delta )\)negative flipping contraction.
Then the \((K_{{\mathcal {F}}}+\Delta )\)flip \(X\dashrightarrow X^+\) exists. Moreover,

1.
\(X^+\) is projective and \(\mathbb {Q}\)factorial,

2.
\(({\mathcal {F}}^+, \Delta ^+)\) has Fdlt singularities,

3.
If, in addition, the foliated pair \(({\mathcal {F}}, \Delta )\) admits terminal (resp. canonical, resp. log terminal, resp. log canonical) singularities then so does \(({\mathcal {F}}^+, \Delta ^+)\),

4.
\({\mathcal {F}}^+\) has nondicritical singularities and

5.
\(X^+\) is klt.
Proof
By Lemma 6.2 it suffices to construct the flip étale locally on the base. Thus, taking \(Z''\) as in Sect. 6.1, we see that to construct the flip it suffices to produce an ample model for \(K_{{\mathcal {F}}_{Y'}}+\Delta '\) over \(Z''\), see Sect. 2.6.
However, we know that for \(\epsilon >0\) sufficiently small \(K_{Y'}+\Delta '+A\), \(K_{Y'}+\Delta +(1\epsilon )A\) and \(K_{{\mathcal {F}}_{Y'}}+\Delta '\) all have the same ample model over \(Z''\). As above, we have that \((Y', \Delta '+(1\epsilon )A)\) is klt and so the ample model over \(Z''\) exists by [7, Theorem 1.2]. Call this model
Since \(h':Y' \rightarrow Z''\) is small, we know that c is small and so \((Y'^+, c_*(\Delta '+(1\epsilon )A))\) is in fact klt. Projectivity and \(\mathbb {Q}\)factoriality follow easily.
Our claims on the singularities of \(({\mathcal {F}}^+, \Delta ^+)\) are a direct consequence of Lemma 2.7.
Nondicriticality of \({\mathcal {F}}^+\) follows from the fact that X is klt by Lemmas 3.16 and 3.33. \(\square \)
Remark 6.5
If one is so inclined this can all be done in the analytic topology around the flipping curves. The relevant classical log MMP is known to exist by [34].
Remark 6.6
Since the construction of the flip is local on the base, if \(f:X \rightarrow Z\) is a flipping contraction between quasiprojective varieties then the arguments above show that the flip \(\phi :X \dashrightarrow X^+\) still exists and enjoys all the properties of the flip listed in Theorem 6.4, with the exception of projectivity of \(X^+\).
\((K_{{\mathcal {F}}}+\Delta )\)negative contractions are extremal
Theorem 6.7
Let X be a normal \(\mathbb {Q}\)factorial projective threefold and let \({\mathcal {F}}\) be a corank one foliation on X with nondicritical singularities. Let \(({\mathcal {F}},\Delta )\) be a Fdlt pair and let R be a \((K_{{\mathcal {F}}}+\Delta )\)negative extremal ray.
Then the contraction associated to R
exists in the category of projective varieties and \(\rho (X/Y) = 1\). In particular, \(\phi _R\) is extremal. Moreover, if \(\phi _R\) is a divisorial contraction then Y is \({\mathbb {Q}}\)factorial and klt.
Proof
First, observe that, by Lemma 3.16, X is klt.
If \({\text {loc}}(R) = X\), then, as in [41, Theorem 8.13], it follows that R is in fact \(K_X\)negative and so the contraction exists.
If \({\text {loc}}(R) = D\) a divisor and D is transverse to the foliation, then as in [41, Lemma 8.15], it follows that R is \((K_X+\Delta )\)negative. If D is invariant then we claim that that R is \((K_X+\Delta +D)\)negative. Indeed, D is covered by curves \(C_t\) which span R and if \(D^{\nu }\rightarrow D\) is the normalisation of D and we write
then Corollary 3.20 implies that \((\Theta \Theta ')\cdot C_t \ge 0\) and so since \((K_{D^{\nu }}+\Theta )\cdot C_t<0\) we see that \((K_{D^{\nu }}+\Theta ')\cdot C_t<0\) as required. In either case, the contraction exists by Lemma 3.16 and the existence of \((K_X+D)\)negative divisorial contractions.
If \({\text {loc}}(R) = C\) is a curve then the result follows by Lemma 6.3. \(\square \)
Special termination
The goal of this section is to show the following:
Theorem 7.1
(Special termination) Let X be a \(\mathbb {Q}\)factorial quasiprojective threefold and let \({\mathcal {F}}\) be a corank one foliation with nondicritical singularities on X. Let \(({\mathcal {F}}, \Delta )\) be an Fdlt pair. Let
be an infinite sequence of \((K_{{\mathcal {F}}}+\Delta )\)flips and let \(({\mathcal {F}}_i,\Delta _i)\) be the transformed foliated pair on \(X_i\).
Then after finitely many flips, the flipping and flipped locus are disjoint from any lc centres of \(({\mathcal {F}}_i, \Delta _i)\).
Note that the result and the some of the proofs below were inspired by Shokurov’s special termination in the classical setting [40] (see also [13, Sect. 4.2]).
We begin with the following:
Lemma 7.2
Let X be a \(\mathbb {Q}\)factorial quasiprojective threefold and let \({\mathcal {F}}\) be a corank one foliation with nondicritical singularities on X. Let \(({\mathcal {F}}, \Delta )\) be an Fdlt pair. Suppose that there exist infinitely many \({\mathcal {F}}\)invariant divisors.
Then any sequence of \((K_{{\mathcal {F}}}+\Delta )\)flips terminates.
Proof
Since the intersection of two invariant divisors is contained in \({\text {Sing}} \, \mathcal {F}\) and since \({\mathcal {F}}\) has nondicritical singularities, it follows that there exist infinitely many pairwise disjoint \({\mathcal {F}}\)invariant divisors. By [35, Theorem 2], there exists a morphism \(f:X\rightarrow C\) onto a smooth curve C such that \({\mathcal {F}}\) is induced by f and, in particular,
where the sum is taken over all the vertical irreducible divisors and \(\ell _D\) denotes the multiplicity of the fibre \(f^{1}(f(D))\) along D. Thus
where \(\Gamma \) is the sum of all the vertical prime divisors which are contained in a nonreduced fibre. Since \(({\mathcal {F}},\Delta )\) is Fdlt and since any component of \(\Gamma \) is \({\mathcal {F}}\)invariant, Lemma 3.16 implies that \((X,\Delta +\Gamma )\) is log canonical.
Note that if \(X\dashrightarrow X'\) is a \((K_{{\mathcal {F}}}+\Delta )\)flip and the flipping curve \(\xi \) is horizontal, then \(F\cdot \xi >0\) for any general fibre F of f and, in particular, the strict transform \(F'\) of F on \(X'\) contains the flipped curve \(\xi '\), contradicting the fact that the transformed foliation \({\mathcal {F}}'\) on \(X'\) has nondicritical singularities (cf. Lemma 3.33). Thus, we may assume that any sequence of \((K_{{\mathcal {F}}}+\Delta )\)flips preserves the fibration onto the curve C. In particular, any sequence of \((K_{{\mathcal {F}}}+\Delta )\)flips is also a sequence of \((K_X+\Delta +\Gamma )\)flips. Thus, termination follows from termination of threedimensional log canonical flips (cf. [40, Theorem 2.3]). \(\square \)
Thus, from now on, we assume that \({\mathcal {F}}\) admits at most finitely many invariant divisors. The proof proceeds in two steps. We first consider the case of lc centres transverse to the foliation. We then handle the case of lc centres tangent to the foliation by induction on dimension: supposing the statement is true for all \((d1)\)dimensional lc centres, we then prove it for all ddimensional lc centres.
Log canonical centres transverse to the foliation
Proposition 7.3
Let X be a \(\mathbb {Q}\)factorial quasiprojective threefold and let \({\mathcal {F}}\) be a corank one foliation with nondicritical singularities on X. Suppose that \(({\mathcal {F}}, \Delta )\) is Fdlt and let \(W \subset X\) be an lc centre transverse to \({\mathcal {F}}\). Let \(\phi :X\dashrightarrow X^+\) be a flip and let \(\Delta ^+ = \phi _*\Delta \). Suppose that W is not contained in the flipping locus Z. Let \(W^+\) be the strict transform of W and \(Z^+\) be the flipped locus.
Then \(W^+ \cap Z^+ \subset W^+\) is not a divisor.
Proof
Suppose for sake of contradiction that \(W^+ \cap Z^+ =: D \subset W^+\) is a divisor.
By Remark 3.10 it follows that W is contained in the support of \(\lfloor \Delta \rfloor \), and in fact is a stratum of \(\lfloor \Delta \rfloor \). Hence \(W^+\) is a stratum of \(\lfloor \Delta ^+\rfloor \).
Let \({\mathcal {F}}^+\) be the transformed foliation on \(X^+\) and let \({\mathcal {G}}^+\) be the foliation restricted to \(W^{+, \nu }\) where \(\nu :W^{+, \nu } \rightarrow W^+\) is the normalisation. Thus, since \(W^+\) is a stratum of \(\lfloor \Delta ^+\rfloor \), we may apply Lemma 3.18 and by induction on the codimension of \(W^+\), we may write
where \(({\mathcal {G}}^+, \Theta ^+)\) is log canonical. Likewise we may write \((K_{{\mathcal {F}}}+\Delta )\vert _{W^\nu } = K_{{\mathcal {G}}}+\Theta \).
We now claim that D is \({\mathcal {G}}^+\) invariant.
If \(\text {dim}(W) = 2\) then D is a curve and it must be tangent to \({\mathcal {F}}^+\) by Lemma 3.33, and hence it is invariant by \({\mathcal {G}}^+\). Indeed, by Lemma 2.7 we know that \({\mathcal {F}}^+\) is terminal at the generic point of D and so by Lemma 3.14 there exists a unique germ S of an invariant surface containing D. It follows that \(\nu ^{1}(S \cap W^+)\) is \({\mathcal {G}}^+\)invariant and so D is also \({\mathcal {G}}^+\)invariant.
If \(\text {dim}(W) = 1\) then D is a finite collection of points and \({\mathcal {G}}^+\) is the foliation by points on \(W^+\) and so D is automatically \({\mathcal {G}}^+\)invariant.
By Lemma 2.7, applied to the map \(W^\nu \dashrightarrow W^{+,\nu }\), we know that \(a(D, {\mathcal {G}}, \Theta ) < a(D, {\mathcal {G}}^+, \Theta ^+)\). However, since \(({\mathcal {G}}^+, \Theta ^+)\) is log canonical and since D is invariant it follows that \(a(D, {\mathcal {G}}^+, \Theta ^+) = 0\), i.e., the coefficient of D in \(\Theta ^+\) is zero, see Remark 2.3. On the other hand, since \(({\mathcal {G}}, \Theta )\) is log canonical, we have \(a(D, {\mathcal {G}}, \Theta ) \ge \epsilon (D) = 0\). This, however, is an impossibility. \(\square \)
Corollary 7.4
Let X be a \(\mathbb {Q}\)factorial quasiprojective threefold and let \({\mathcal {F}}\) be a corank one foliation with nondicritical singularities on X. Suppose that \(({\mathcal {F}}, \Delta )\) is Fdlt.
Then, after finitely many flips, the flipping locus is disjoint from all the lc centres transverse to the foliation.
Proof
Remark 3.10 implies that there are only finitely many lc centres transverse to \({\mathcal {F}}\) and these are strata of \(\lfloor \Delta \rfloor \). Thus, by Lemma 2.7, we may assume that no lc centre transverse to the foliation is contained in the flipping locus. Let \(\phi :X\dashrightarrow X^+\) be a flip. Suppose that the flipping locus meets some lc centre of \(({\mathcal {F}}, \Delta )\) transverse to the foliation. Then, since these are strata of \(\lfloor \Delta \rfloor \), it follows that the flipping locus meets some divisorial component W of \(\lfloor \Delta \rfloor \). Thus, to prove our result it suffices to show that, for any component W of \(\lfloor \Delta \rfloor \), after finitely many flips the flipping locus is disjoint from W.
So suppose that W meets the flipping locus. Note that by Lemma 3.16 we see that \((X, \Delta )\) is dlt and so by [25, Corollary 5.52] it follows that W is normal. Let \(\psi :W \dashrightarrow W^+\) be the induced map. Let \({\mathcal {G}}\) denote the restricted foliation and write
where by Lemma 3.18, \(({\mathcal {G}}, \Theta )\) is Fdlt. In particular, W is klt.
By Proposition 7.3, none of the curves in the flipped locus is contained in \(W^+\). Thus, \(\psi \) is a birational contraction. If \(\psi \) does not contract any divisors, then there exists a curve Z contained in the flipping locus, such that \(Z\cap W\ne \emptyset \) but Z is not contained in W. Then \(Z\cdot W>0\) and so if \(Z^+\) is a flipped curve we must have \(Z^+\cdot W^+ <0\) implying that \(Z^+\subset W^+\), a contradiction.
Thus, \(\psi \) contracts a divisor at each flip. In particular, each flip reduces \(\rho (W)\) by 1 and we can only have finitely many such flips. \(\square \)
By Corollary 7.4, it suffices to show that the flipping locus is eventually disjoint from lc centres which are tangent to the foliation.
Lemma 7.5
After a finite sequence of flips, if Z is an lc centre and C is a flipping curve then Z is not contained in C.
Proof
By Corollary 7.4, after finitely many flips we may assume that the flipping locus is disjoint from all lc centres transverse to the foliation, in particular, it is disjoint from \(\lfloor \Delta \rfloor \).
By Proposition 3.9, there are only finitely many lc centres of \(({\mathcal {F}}, \Delta )\) not contained in \(\lfloor \Delta \rfloor \) and so the claim follows from Lemma 2.7. \(\square \)
Definition 7.6
(Hyperstandard set) Let \(I\subset [0,1]\) be a subset. We define:
and
Note that \(D(D(I))=D(I)\) [33, Lemma 4.4]. Moreover, if \(I\subset [0,1]\) is a finite set, then the only accumulation point of D(I) is 1 and, in particular, it satisfies DCC.
Lemma 7.7
Let \((X,\Delta )\) be a log canonical pair such that the coefficients of \(\Delta \) belong to a subset \(I\subset [0,1]\), and let S be an irreducible component of \(\lfloor \Delta \rfloor \). Let \(\nu :S^{\nu }\rightarrow S\) be the normalisation and let \(\Theta \) be the divisor on \(S^{\nu }\) defined by adjunction:
Then, the coefficients of \(\Theta \) belong to D(I).
Proof
Let \(\pi :X' \rightarrow X\) be a dlt blow up \((X, \Delta )\), see [20, Theorem 10.4], and write \(K_{X'}+\Delta ' = \pi ^*(K_X+\Delta )\). Note that, after possibly replacing I by \(I \cup \{1\}\), the coefficients of \(\Delta ' \) belong to I and that every irreducible component of \(\lfloor \Delta \rfloor \) is normal. We may freely replace \((X, \Delta )\) by \((X', \Delta ')\) and so we may assume without loss of generality that S is normal. The result is then a direct consequence of [33, Lemma 4.3]. \(\square \)
Given a Fdlt pair \(({\mathcal {F}},\Delta )\) on a \(\mathbb {Q}\)factorial quasiprojective threefold X, we denote by d the minimal dimension of an lc centre of \(({\mathcal {F}},\Delta )\) which is tangent to \({\mathcal {F}}\) and intersects the flipping locus of a \((K_{{\mathcal {F}}}+\Delta )\)flip. Our goal is to show that there can be only finitely many flips with \(d=0,1\) or 2.
Special termination in dimension \(d = 0\)
This follows directly from Lemma 7.5
Special termination in dimension \(d = 1\)
Lemma 7.8
Set up as above. Then after finitely many flips the flipping locus is disjoint from all onedimensional lc centres.
Proof
Let I be the set of coefficients of \(\Delta \). Recall that D(I) satisfies DCC. Let C be a onedimensional lc centre which is tangent to \({\mathcal {F}}\) and let \(\nu :C^{\nu }\rightarrow C\) be its normalisation. Let \(\Theta \ge 0\) be the \({\mathbb {Q}}\)divisor on \(C^{\nu }\) whose existence is guaranteed by Lemma 3.22. Since \(D(D(I))=D(I)\), it follows by Lemma 7.7 and the proof of Lemma 3.22 that the coefficients of \(\{\Theta \}\) take values in D(I).
It follows by Lemma 2.7 that, after a flip, \(\{\Theta \}\) strictly decreases. However, by Lemma 3.22 and since we are assuming that there are no zerodimensional lc centre intersecting the flipping locus, it follows that the flip is an isomorphism near \(\lfloor \Theta \rfloor \) and the result follows. \(\square \)
Special termination in dimension \(d = 2\)
Lemma 7.9
Set up as above. Then after finitely many flips the flipping locus is disjoint from all twodimensional lc centres.
Proof
Let \(I\subset [0,1]\) be a finite set containing the coefficients of \(\Delta \). Let S be a twodimensional lc centre intersecting the flipping locus. By Corollary 7.4, we may assume that S is \({\mathcal {F}}\)invariant and, by Lemma 3.18, we may write \((K_{{\mathcal {F}}}+\Delta )\vert _W = K_W+\Theta \) for some \(\mathbb {Q}\)divisor \(\Theta \ge 0\) where \(W \rightarrow S\) is the normalisation and such that \((W,\Theta ':=\lfloor \Theta \rfloor _{red}+\{\Theta \})\) is lc and \((W, (1\epsilon )\Theta ')\) is klt for \(0< \epsilon < 1\). Note that the coefficients of \(\Theta '\) belong to D(I).
We define
Then \(d_I(W,\Theta )<\infty \).
Let \(\phi :X \dashrightarrow X^+\) be a flip, and let \(\psi :S \dashrightarrow S^+\) be the induced birational map. We denote by \(({\mathcal {F}}^+,\Delta ^+)\) be the transformed foliated pair and we write \((K_{{\mathcal {F}}^+}+\Delta ^+)\vert _{W^+} = K_{W^+}+\Theta ^+\) where \(W^+ \rightarrow S^+\) is the normalisation. Note that \(d_I(W,\Theta )\ge d_I(W^+,\Theta ^+)\).
Suppose first that \(\psi ^{1}\) contracts a divisor \(D\subset S^+\). Let \(Z \subset S\) be the centre of D on S. By induction we know that Z is not contained in \(\lfloor \Theta ' \rfloor \). It follows that \(d_I(W^+,\Theta ^+)<d_I(W,\Theta )\).
Thus, after finitely many flips, we may assume that \(\psi \) is a birational contraction. As in the proof of Corollary 7.4, the claim follows. \(\square \)
The Lemma above concludes the proof of Theorem 7.1.
Corollary 7.10
Let X be a \(\mathbb {Q}\)factorial quasiprojective threefold and let \({\mathcal {F}}\) be a corank 1 foliation with nondicritical singularities on X. Let \(\pi :X\rightarrow Z\) be a birational morphism. Let \(({\mathcal {F}}, \Delta )\) be an Fdlt pair on X. Assume that every component of \(\text {exc}(\pi )\) is an lc centre for \(({\mathcal {F}},\Delta )\).
Then any sequence of \((K_{{\mathcal {F}}}+\Delta )\)flips over Z
terminates.
Proof
By Theorem 7.1, any sequence of flips is eventually disjoint from the lc centres of \(({\mathcal {F}}, \Delta )\) and so is eventually disjoint from \(\text {exc}(\pi )\), in which case the MMP terminates. \(\square \)
Existence of Fdlt modifications
We now show the existence of an Fdlt modification as in Definition 3.28. The result is a consequence of the existence of flips and special termination and it will be used to prove the base point free theorem in Sect. 9.
Theorem 8.1
(Existence of Fdlt modifications) Let \({\mathcal {F}}\) be a corank one foliation on a normal projective variety X of dimension at most three. Let \(({\mathcal {F}}, \Delta )\) be a foliated pair.
Then \(({\mathcal {F}}, \Delta )\) admits a Fdlt modification \(\pi :Y\rightarrow X\) (cf. Definition 3.28) such that if \({\mathcal {G}}\) is the pulled back foliation on Y then

1.
Y is \(\mathbb {Q}\)factorial,

2.
Y is klt and

3.
\({\mathcal {G}}\) is nondicritical.
Suppose in addition that \(({\mathcal {F}},\Delta )\) is lc and let \(\Gamma :=\pi _*^{1} \Delta +\sum \epsilon (E_i)E_i\) where the sum is over all the \(\pi \)exceptional divisors. Then we may choose \(\pi :Y\rightarrow X\) so that if Z is an lc centre of \(({\mathcal {G}}, \Gamma )\) then Z is contained in a codimension one lc centre of \(({\mathcal {G}}, \Gamma )\).
Proof
We assume that \(\dim X=3\). The case where \(\dim X=2\) is similar. Let \(\phi :W\rightarrow X\) be a foliated log resolution. Let \({\mathcal {H}}\) be the pulled back foliation on W.
We may write
where \(G_i, F_j\) are \(\phi \)exceptional prime divisors such that \(b_i \ge \epsilon (G_i)\) and \(a_j < \epsilon (F_j)\). Let
and
Note that \(({\mathcal {H}}, \Theta )\) is Fdlt. By Proposition 3.9, after possibly replacing W by a sufficiently high log resolution, we may assume that every lc centre is contained in a codimension one lc centre.
We run a \((K_{{\mathcal {H}}}+\Theta )\)MMP over X. Recall that, by Remark 2.13, simple singularities are nondicritical. By Theorem 6.7 all the required divisorial contractions exists and by Theorem 6.4 all the flips exist. By construction each \(G_i, F_j\) is an lc centre of \(({\mathcal {H}}, \Theta )\) and so Corollary 7.10 implies that this MMP terminates. Call this MMP \(f:W \dashrightarrow Y\) and let \({\mathcal {G}}\) be the transformed foliation on Y. Note that Lemma 3.11 implies that \(({\mathcal {G}}, f_*\Theta )\) is Fdlt.
The MMP preserves \(\mathbb {Q}\)factoriality, klt singularities (cf. Theorems 6.4, 6.7) and nondicriticality (cf. Lemma 3.33), and so we have that Y is \(\mathbb {Q}\)factorial and klt and \({\mathcal {G}}\) is nondicritical.
Denote by \(\pi :Y\rightarrow X\) the induced morphism. We have \(K_{{\mathcal {G}}}+f_*{\widetilde{\Delta }} = \pi ^*(K_{{\mathcal {F}}}+\Delta )\) and so \(D:= f_*\Theta  f_*{\widetilde{\Delta }}\) is \(\pi \)nef and \(\pi \)exceptional. The negativity lemma then implies that \(f_*{\widetilde{\Delta }}  f_*\Theta =D \ge 0\). Thus, setting \(F =D\) and noting that \(f_*\Theta = \pi _*^{1}\Delta +\sum \epsilon (E_i)E_i\) where we sum over the \(\pi \)exceptional divisors, we have
We now show the last claim. To this end, we may freely replace \(({\mathcal {F}}, \Delta )\) by \(({\mathcal {G}}, f_*\Theta )\) and so we may assume that \(({\mathcal {F}}, \Delta )\) is Fdlt. Arguing as above we see that it suffices to show that the \((K_{{\mathcal {H}}}+ \Theta )\)MMP does not contract any component in the support of \(\sum G_i\). By assumption, \(b_i = \epsilon (G_i)\) and so
Since \(K_{{\mathcal {H}}}+{\widetilde{\Delta }}\) is trivial over X, each step of the \((K_{\mathcal {H}}+\Theta )\)MMP is \(\sum (\epsilon (F_j)a_j)F_j\)negative and so only components in the support of \(\sum (\epsilon (F_j)a_j)F_j\) are contracted. In particular, no component in the support of \(\sum E_i\) is contracted by the MMP and our result follows. \(\square \)
Theorem 8.2
(Cone theorem for lc pairs) Let X be a normal projective threefold and let \({\mathcal {F}}\) be a corank one foliation on X with nondicritical singularities. Suppose that X is potentially klt. Let \(({\mathcal {F}},\Delta )\) be an lc pair where \(\Delta \ge 0\) and let H be an ample \(\mathbb {Q}\)divisor.
Then there exist countable many curves \(\xi _1,\xi _2,\ldots \) such that
Furthermore, for each i, \(\xi _i\) is a rational curve tangent to \({\mathcal {F}}\) such that \((K_{{\mathcal {F}}}+\Delta )\cdot \xi \ge 6\), and if \(C \subset X\) is a curve such that \([C] \in \mathbb {R}_+[\xi _i]\) and \({\text {loc}}(\mathbb {R}_+[\xi _i]) \ne X\) then C is tangent to \({\mathcal {F}}\).
In particular, there exist only finitely many \((K_{{\mathcal {F}}}+ \Delta +H)\)negative extremal rays.
Proof
By Theorem 8.1, there exists a Fdlt modification \(\pi :Y\rightarrow X\) for the foliated pair \(({\mathcal {F}}, \Delta )\). We may write \(K_{{\mathcal {G}}}+\Gamma = \pi ^*(K_{{\mathcal {F}}}+\Delta )\) where \({\mathcal {G}}\) is the transformed foliation on Y and \(\Gamma \ge 0\).
Observe that if \(R \subset {\overline{NE}}(X)\) is an extremal ray then there exists an extremal ray \(R' \subset {\overline{NE}}(Y)\) such that \(\pi _*R' = R\). Moreover, if R is \((K_{{\mathcal {F}}}+\Delta )\)negative then \(R'\) is \((K_{{\mathcal {G}}}+\Gamma )\)negative and so by Theorem 3.31\(R'\) is spanned by a rational curve \(\xi \) tangent to \({\mathcal {G}}\) with \((K_{{\mathcal {G}}}+\Gamma )\cdot \xi \ge 6\). Then \(\pi (\xi )\) spans R and has all the desired properties.
If \(C \subset X\) and \([C] \in \mathbb {R}_+[\xi _i]\) for some i then we may apply Lemma 3.30 to conclude that C is tangent to \({\mathcal {F}}\). \(\square \)
Contraction in the non\(\mathbb {Q}\)factorial case
Through out this subsection, we assume that \((X, \Gamma )\) is klt for some \(\Gamma \ge 0\) but that X is not necessarily \(\mathbb {Q}\)factorial.
Lemma 8.3
Let X be a normal projective threefold and let \({\mathcal {F}}\) be a corank one foliation on X with nondicritical singularities. Suppose that X is potentially klt. Let \(\Delta \ge 0\) be a \(\mathbb {Q}\)divisor such that \(({\mathcal {F}},\Delta )\) is a log canonical pair, and suppose there exists a small \(\mathbb {Q}\)factorialisation \(\pi :{\overline{X}} \rightarrow X\) (cf. Definition 2.22) such that if we write \(K_{\overline{{\mathcal {F}}}}+\overline{\Delta } = \pi ^*(K_{{\mathcal {F}}}+\Delta )\), where \(\overline{{\mathcal {F}}}\) is the pulled back foliation on \({\overline{X}}\), then for any choice of \(\epsilon >0\) we may find \(\Theta \) such that \((1\epsilon )\overline{\Delta } \le \Theta \le \overline{\Delta }\) and \((\overline{{\mathcal {F}}}, \Theta )\) is Fdlt.
Let R be a \((K_{{\mathcal {F}}}+\Delta )\)negative extremal ray. Assume that \({\text {loc}}(R) \ne X\).
Then there exists a contraction
of R in the category of algebraic spaces.
Proof
By Theorem 8.2, there exists a nef \({\mathbb {Q}}\)Cartier divisor \(H_R\) on X which defines a supporting hyperplane for R in \({\overline{NE}}(X)\). Let \(\pi :{\overline{X}} \rightarrow X\) be a small \(\mathbb {Q}\)factorialisation of X as in the hypotheses of the Lemma.
First, suppose that \({\text {loc}}(R) = D\) is a divisor. By Theorem 8.2, we may find \(\epsilon >0\) sufficiently small and a \({\mathbb {Q}}\)divisor \(\Theta \) as in the hypotheses of the Lemma so that \(K_{\overline{{\mathcal {F}}}}+\Theta \) is negative on any extremal ray \(R'\) in \({\overline{NE}}({\overline{X}})\) such that \(\pi _*R' = R\).
Suppose that D contains an irreducible component \(D_0\) transverse to the foliation. Let \(\overline{D_0}\) be the strict transform of \(D_0\) under \(\pi \) and let \(\nu :\overline{D_0}^{\nu }\rightarrow \overline{D_0}\) the normalisation map. We may write
where \({\mathcal {G}}\) is the restricted foliation and \(\Gamma \ge 0\). It follows that \(\overline{D_0}^{\nu }\) is covered by \((K_{{\mathcal {G}}}+\Gamma )\)negative curves and, therefore, \(K_{{\mathcal {G}}} +\Gamma \) is not pseudoeffective. Thus, [41, Corollary 2.28] implies that \(\overline{D_0}^\nu \) is covered by rational curves which are tangent to \({\mathcal {G}}\) and, in particular, \({\mathcal {G}}\) is algebraically integrable. Thus, since \({\overline{{\mathcal {F}}}}\) is nondicritical, there exists a morphism \(\overline{D_0}^\nu \rightarrow B\) onto a curve B such that the general fibre is \({\mathbb {P}}^1\). In particular, if F is a general fibre in this \(\mathbb {P}^1\)fibration structure, then we claim that
Indeed, if we write \(\nu ^*(K_X+\overline{\Delta }+\overline{D_0}) = K_{D^\nu _0}+\Gamma '\) then by Lemma 3.23 we see that the coefficient in \(\Gamma \) and \(\Gamma '\) of a curve \(\Sigma \) which is not a fibre of \(D^{\nu }_0\rightarrow B\) is the same. In particular, it follows that \(\Gamma \cdot F = \Gamma ' \cdot F\). Finally, observe that \(K_{\overline{D_0}^{\nu }}\cdot F = K_{{\mathcal {G}}}\cdot F = 2\) and our stated equality follows.
We run a \((K_{\overline{{\mathcal {F}}}}+\Theta )\)MMP contracting/flipping only \(\pi ^*H_R\)trivial extremal rays \(R'\) such that \({\text {loc}}(R')\) meets the strict transform of D. Theorem 6.4 implies that all the required flips exist.
By our above observation we know that if the strict transform of D contains a noninvariant component we may choose this extremal ray to also be \((K_{{\overline{X}}}+\Theta )\)negative. Thus, by classical termination of log flips we see that there can only be finitely many flips before the strict transform of each noninvariant component of D is contracted. By Special Termination (cf. Theorem 7.1), there are only finitely many such flips before the strict transform of each invariant component of D is contracted.
Denote by \({\overline{Y}}\) the step in this MMP after the last component of D is contracted, and let \(f:{\overline{X}} \dashrightarrow {\overline{Y}}\) denote the induced rational map. Observe that each step of this MMP is \(\pi ^*H_R\)trivial and so \(\pi ^*H_R\) descends to a \(\mathbb {Q}\)Cartier divisor M on \({\overline{Y}}\)
We know that \({\overline{Y}}\) is \(\mathbb {Q}\)factorial and, as in the proof of [41, Lemma 8.20], we know that if S is a divisor on \({\overline{Y}}\) then \(M^2\cdot S>0\). Moreover, if B is a curve we see that \(M\cdot B = 0\) if and only if B is the strict transform of a \(\pi \)exceptional curve, B is the strict transform of a flipped curve or B is the strict transform of a curve C with \([C] \in R\). Notice that there are finitely many such curves and let \(\Sigma \) be the union of all such curves. By [41, Lemma 8.21] there exists a contraction of \(\Sigma \) in the category of algebraic spaces, call it \(c :{\overline{Y}} \rightarrow {\mathcal {Y}}\). Since c contracts every \(\pi \)exceptional curve and every flipped curve it gives a contraction
Now suppose that \({\text {loc}}(R)\) is a curve. In this case we see that if S is a divisor on \({\overline{X}}\) then, as in the proof of [41, Lemma 8.20], we have that \((\pi ^*H_R)^2 \cdot S >0\) and that \((\pi ^*H_R)\cdot C = 0\) if and only if \(C \subset \pi ^{1}({\text {loc}}(R)) \cup {\text {Exc}} \, \pi \). As above, we apply [41, Lemma 8.21] to produce a contraction of \(\pi ^{1}({\text {loc}}(R))\) in the category of algebraic spaces, which factors through \(\pi \). \(\square \)
Theorem 8.4
Let \((X,\Gamma )\) be a projective threedimensional klt pair and let \({\mathcal {F}}\) be a corank one foliation on X with nondicritical singularities. Let \(\Delta \ge 0\) be a \(\mathbb {Q}\)divisor such that \(({\mathcal {F}},\Delta )\) is a log canonical pair and suppose there exists a small \(\mathbb {Q}\)factorialisation \(\pi :{\overline{X}} \rightarrow X\) such that if we write \(K_{\overline{{\mathcal {F}}}}+\overline{\Delta } = \pi ^*(K_{{\mathcal {F}}}+\Delta )\), where \(\overline{{\mathcal {F}}}\) is the pulled back foliation on \({\overline{X}}\), then for any choice of \(\epsilon >0\) we may find \(\Theta \) such that \((1\epsilon )\overline{\Delta } \le \Theta \le \overline{\Delta }\) and \((\overline{{\mathcal {F}}}, \Theta )\) is Fdlt. Let R be a \((K_{{\mathcal {F}}}+\Delta )\)negative extremal ray. Assume that \({\text {loc}}(R) \ne X\).
Then the contraction associated to R
exists in the category of projective varieties and \(\rho (X/Y) = 1\). In particular, \(\phi _R\) is extremal.
Note that, by Lemma 3.29, the assumption of the Theorem are verified if \(({\mathcal {F}},\Delta )\) is Fdlt.
Proof
Let \(\phi _R:X \rightarrow {\mathcal {Y}}\) be the contraction onto an algebraic space \({\mathcal {Y}}\), whose existence is guaranteed by Lemma 8.3. We first show that if M is a \(\mathbb {Q}\)Cartier divisor with \(M\cdot R = 0\) then \(M = \phi _R^*N\) for some \(\mathbb {Q}\)Cartier divisor on \({\mathcal {Y}}\). Observe that this problem is étale local on \({\mathcal {Y}}\), so we may freely replace \({\mathcal {Y}}\) by a sufficiently small étale neighborhood of some point \(y \in {\mathcal {Y}}\).
Let \(\pi :{\overline{X}} \rightarrow X\) be a small \(\mathbb {Q}\)factorialisation of X as in the hypotheses of the Lemma and let \(g:{\overline{X}} \rightarrow {\mathcal {Y}}\) be the composition of \(\pi \) with \(\phi _R\). We may write
By Lemma 5.2, we may replace \({\mathcal {Y}}\) by another étale neighborhood of \(y \in {\mathcal {Y}}\), so that we may approximate every invariant divisor (formal or otherwise) of \(\overline{{\mathcal {F}}}\) meeting \(g^{1}(y)\) by global divisors on \({\overline{X}}\). Let \(S_k\) be the collection of all such divisors. As in Sect. 6.1 we see that
is gnef.
For some \(\epsilon >0\) sufficiently small, we may run a \((K_{{\overline{X}}}+\overline{\Gamma }+\epsilon (\overline{\Delta }+ \sum S_k))\)MMP over X, and we obtain a map \({{\overline{X}}}\dashrightarrow {{\overline{X}}}'\). Let \(\pi ' :{\overline{X}}' \rightarrow X\) be the induced morphism. Each step of this MMP is \((K_{{\overline{X}}}+\overline{\Gamma })\)trivial and so if we let \(T_k\) be the strict transform of \(S_k\) and \(\overline{\Delta }'\) be the strict transform of \(\overline{\Delta }\) on \({{\overline{X}}}'\), we see that \(\overline{\Delta }'+\sum T_k\) is nef over X. Observe that \(\sum T_k\) still approximates the divisors which are invariant with respect to the transformed foliation \(\overline{{\mathcal {F}}}'\) on \({{\overline{X}}}'\).
Thus, replacing \({\overline{X}}\) by \({\overline{X}}'\) we may freely assume that \((\Delta +\sum S_k) \cdot C \ge 0\) for any \(\pi \)exceptional curve C. Since \(K_{{\mathcal {F}}}+\Delta \) is strictly negative on any \(\phi _R\)exceptional curve, we see that for \(0< \delta \ll 1\) we have
is nef over \({\mathcal {Y}}\). By Lemma 3.16 and the fact that \((\overline{{\mathcal {F}}}, \overline{\Delta })\) is log canonical we see that \(({\overline{X}}, \overline{\Delta }+\sum S_k)\) is log canonical and since \({\overline{X}}\) is klt we have that \(({\overline{X}}, (1\delta )(\overline{\Delta }+\sum S_k))\) is klt for \(\delta >0\) and so we may apply the base point free theorem to \(\pi ^*M\) to conclude that there exists a \(\mathbb {Q}\)Cartier divisor N on \({\mathcal {Y}}\) with \(\phi _R^*N = M\).
Let \(H_R\) be a nef \({\mathbb {Q}}\)Cartier divisor on X which defines a supporting hyperplane for R in \({\overline{NE}}(X)\). Taking \(M = H_R\) we see that by applying the Nakai–Moishezon criterion for algebraic spaces (cf. [26, Theorem 3.11]) to N that N is ample and hence \({\mathcal {Y}} = Y\) is projective. \(\square \)
Observe that, by Lemma 3.29, the hypotheses of Theorem 8.4 are satisfied if we suppose that \(({\mathcal {F}}, \Delta )\) is Fdlt.
Potentially klt varieties
Lemma 8.5
Let X be a normal projective variety. Suppose that X is étale locally potentially klt. Then X is potentially klt.
In particular, let \(\phi _R:X \rightarrow Y\) be the contraction associated to an extremal ray as in Theorem 8.4. Then Y is potentially klt.
Proof
Choose a finite étale cover
such that \(U_i\) is affine and there exists \(\Delta _i \ge 0\) such that \((U_i, \Delta _i)\) is klt.
Without loss of generality we may assume each \(g_i\) is Galois, with Galois group \(G_i\). Perhaps replacing \(\Delta _i\) by \(\frac{1}{\# G_i}\sum _{g \in G_i} g\cdot \Delta _i\) we may assume that there exists a Zariski open set \(V_i \subset X\) and a \(\mathbb {Q}\)divisor \(\Theta _i \ge 0\) on \(V_i\) such that \(g_i\) factors through \(V_i\), \(K_{V_i}+ \Theta _i\) is \(\mathbb {Q}\)Cartier and \(g_i^*(K_{V_i}+\Theta _i) =K_{U_i}+\Delta _i\). Observe that \((V_i, \Theta _i)\) is klt and so we may freely assume that \(g_i :U_i \rightarrow X\) is an open immersion.
There exists \(m>0\) such that \(m\Delta _i \in mK_{U_i} \) for all i. Let H be a divisor on X such that \({\mathcal {O}}(mK_X+mH)\) is globally generated. We may assume that, for all i, there exists \(D_i \in mK_X+mH \) such that \((U_i, \frac{1}{m}D_i_{U_i})\) is klt. It follows that, for a general element \(D \in mK_X+mH \), we have that \((X, \frac{1}{m}D)\) is klt. Thus, X is potentially klt.
To prove our final claim it suffices to check that Y is étale locally potentially klt. So let \(y \in Y\) and let U be a sufficiently small étale neighborhood of y, and let \(X_U = X \times _Y U\). By the construction given in proof of Theorem 8.4, there exists a small morphism \(\pi :\overline{X_U} \rightarrow X_U\) and a divisor \(D \ge 0\) such that \((\overline{X_U}, D)\) is klt and \((K_{\overline{X_U}}+D)\) is \(\phi _R\)nef. By the basepoint free theorem, we may find a \(0 \le A \sim _{\mathbb {Q}} (K_{\overline{X_U}}+D)\) such that \((\overline{X_U}, D+A)\) is klt and \(K_{\overline{X_U}}+D+A\) is \(\phi _R\)trivial. Thus, \((U, (\phi _R)_*(D+A))\) is klt and so X is étale locally potentially klt. \(\square \)
Base point free theorem
The goal of this section is to prove the base point free theorem. We begin with the following version of the canonical bundle formula:
Lemma 9.1
Let X be a normal projective variety of dimension at most three and let \(({\mathcal {F}}, \Delta )\) be an lc pair on X such that \(\Delta \ge 0\). Suppose that there is a fibration \(f:X \rightarrow Y\) onto a variety Y with klt singularities and such that the general fibre of f is tangent to \({\mathcal {F}}\). Assume that \(K_{{\mathcal {F}}}+\Delta \sim _{\mathbb {Q}, f} 0\).
Then there is a foliation \({\mathcal {G}}\) on Y such that \(f^{1}{\mathcal {G}} = {\mathcal {F}}\), and a \(\mathbb {Q}\)divisor \(\Theta \ge 0\) and a semiample divisor D such that \(K_{{\mathcal {F}}}+\Delta \sim _{\mathbb {Q}} f^*(K_{{\mathcal {G}}}+\Theta +D)\) and \(({\mathcal {G}}, \Theta )\) is lc.
Proof
First, notice that since the fibres of f are tangent to \({\mathcal {F}}\) there exists a foliation \({\mathcal {G}}\) on Y so that \({\mathcal {F}} = f^{1}{\mathcal {G}}\). We also have that there exists M on Y so that \(K_{{\mathcal {F}}}+\Delta \sim _{\mathbb {Q}} f^*M\).
Consider a commutative diagram as follows:
where \(\mu , \nu \) are resolutions of singularities. Let \({\mathcal {F}}'\) and \({\mathcal {G}}'\) be the transformed foliations on \(X'\) and \(Y'\) respectively.
Write
and so we have \(K_{{\mathcal {F}}'}+\Delta ' \sim _{\mathbb {Q}} g^*(\mu ^*M)\).
We claim that there exists an open subset \(U\subset Y'\) such that \(Y'{\setminus } U\) has codimension at least two and such that, over U we have that \(K_{{\mathcal {F}}'/{\mathcal {G}}'} = K_{X'/Y'}  R\) where R is \({\mathcal {F}}'\)invariant and \(K_{{\mathcal {F}}'/G'}:=K_{{\mathcal {F}}'}g^*K_{{\mathcal {G}}'}\). Indeed, R is supported in the zero locus of a 1form obtained as the pullback of a 1form on \(Y'\) which defines \({\mathcal {G}}'\). Thus, the claim follows. By [27, Theorem 8.3.7] we may find a nef \(\mathbb {Q}\)divisor J and an effective \(\mathbb {Q}\)divisor B such that \(\mu ^*M \sim _{\mathbb {Q}} K_{{\mathcal {G}}'}+B+J\). Furthermore, by [5, Theorem 0.1] in the case \(\text {dim}(Y) = 1\) and [36, Theorem 8.1] when \(\text {dim}(Y) = 2\) we know that J is in fact semiample.
If \(B=\sum a_iB_i\), then
An explicit calculation shows that
Thus, since \(({\mathcal {F}}', \Delta ')\) is lc, it follows that \(a_i \le \epsilon (B_i)\) and \(\mu _*B \ge 0\).
Since Y is klt of dimension at most two, it follows that Y is \({\mathbb {Q}}\)factorial. Since J is semiample the base locus of \(\mu _*J\) consists of isolated points. Thus, Fujita Theorem [19, Theorem 1.10] implies that \(\mu _*J\) is semiample. Letting \(\Theta = \mu _*B\) and \(D = \mu _*J\) gives our result. \(\square \)
Lemma 9.2
Let X be a normal projective threefold and let \({\mathcal {F}}\) be a corank one foliation with nondicritical singularities. Suppose that (X, D) is klt for some \(D \ge 0\). Let \(\Delta =A+B\) be a \(\mathbb {Q}\)divisor such that \(({\mathcal {F}},\Delta )\) is an lc pair, \(A\ge 0\) is an ample \(\mathbb {Q}\)divisor and \(B\ge 0\). Assume that \(K_{{\mathcal {F}}}+\Delta \) is not nef, but there exists a \(\mathbb {Q}\)divisor H such that \(K_{{\mathcal {F}}}+\Delta +H\) is nef. Let
Then there exists a \((K_{{\mathcal {F}}}+\Delta )\)negative extremal ray R such that \((K_{{\mathcal {F}}}+\Delta +\lambda H)\cdot \xi =0\), for any \(\xi \in R\).
Proof
By Theorem 8.2, there exist only finitely many curves \(\xi _1,\ldots ,\xi _m\) such that if \(R_i=\mathbb {R}_+ [\xi _i]\) for \(i=1,\ldots ,m\), then \(R_1,\ldots ,R_m\) are \((K_{{\mathcal {F}}}+\Delta )\)negative extremal rays.
Let \(C:=K_{{\mathcal {F}}}+\Delta +H\) and let
It follows easily that \(\mu =\frac{1\lambda }{\lambda }\). By construction, there exists j such that
Thus, the claim follows by taking \(R=R_j\). \(\square \)
Lemma 9.3
Let X be a normal projective threefold and let \({\mathcal {F}}\) be a corank one foliation with nondicritical singularities. Suppose that X is potentially klt. Let \(\Delta \ge 0\) be a \(\mathbb {Q}\)divisor such that \(({\mathcal {F}},\Delta )\) is a log canonical pair, and suppose there exists a small \(\mathbb {Q}\)factorialisation \(\pi :{\overline{X}} \rightarrow X\) such that if we write \(K_{\overline{{\mathcal {F}}}}+\overline{\Delta } = \pi ^*(K_{{\mathcal {F}}}+\Delta )\), where \(\overline{{\mathcal {F}}}\) is the pulled back foliation on \({\overline{X}}\), then for any choice of \(\epsilon >0\) we may find \(\Theta \) such that \((1\epsilon )\overline{\Delta } \le \Theta \le \overline{\Delta }\) and \((\overline{{\mathcal {F}}}, \Theta )\) is Fdlt. Let \(A\ge 0\) and \(B\ge 0\) be \(\mathbb {Q}\)divisors such that \(\Delta = A+B\) and A is ample. Assume that \(K_{{\mathcal {F}}}+\Delta \) is nef.
Then \(K_{{\mathcal {F}}}+\Delta \) is semiample.
Proof
Let \(\Gamma =\frac{1}{2} A+ B\) and let
If \(\lambda <1/2\) then \(K_{{\mathcal {F}}}+\Delta \) is ample and there is nothing to prove. Thus, we may assume that \(\lambda =1/2\). By Lemma 9.2, there exists a \((K_{{\mathcal {F}}}+\Gamma )\)negative extremal ray R such that \((K_{{\mathcal {F}}}+\Delta )\cdot \xi =0\) for all \(\xi \in R\).
Suppose that \({\text {loc}}(R) \ne X\). By Theorem 8.4, there exists a morphism \(f:X\rightarrow X'\) which contracts exactly all the curves in R. Let \({\mathcal {F}}'\) be the transformed foliation on \(X'\) and let \(A'\) be an ample \(\mathbb {Q}\)divisor on \(X'\) such that \(Af^*A'\) is also ample. Then there exists a \(\mathbb {Q}\)divisor \(A''\ge 0\) on \(X'\) and a \(\mathbb {Q}\)divisor \(B\ge 0\) on X such that \(A'\sim _{\mathbb {Q}}A''\) and if \(\Delta ':=f^*A''+B'\), then \(({\mathcal {F}},\Delta ')\) is log canonical. Let \(\Delta ''\) be the image of \(\Delta '\) in \(X'\). Then \(\Delta '' = A''+B''\) where \(B'' \ge 0\) and \(({\mathcal {F}}', \Delta '')\) is lc. Note that \(\rho (X')<\rho (X)\). Lemma 8.5 implies that \(X'\) is potentially klt.
If f is a flipping contraction then the existence of a small \(\mathbb {Q}\)factorialisation \(\pi :\overline{X'} \rightarrow X'\) satisfying the hypotheses of the lemma is an immediate consequence of the existence by such a small \(\mathbb {Q}\)factorialisation for X. By Lemma 3.33, it follows that \({\mathcal {F}}'\) has nondicritical singularities. Thus we may replace \(({\mathcal {F}}, \Delta )\) by \(({\mathcal {F}}', \Delta '')\) and continue.
Now suppose f is a divisorial contraction. Consider a diagram as in the proof of Lemma 8.3
where \(\pi :{\overline{X}} \rightarrow X\) is a small \(\mathbb {Q}\)factorialisation satisfying the hypotheses of the lemma, \({\overline{f}}\) is a \((K_{\overline{{\mathcal {F}}}}+\overline{\Gamma })\)MMP where \(K_{\overline{{\mathcal {F}}}}+\overline{\Gamma } = \pi ^*(K_{{\mathcal {F}}}+\Gamma )\) and \(\pi '\) is the induced morphism. We claim that \(\pi ':\overline{X'} \rightarrow X'\) satisfies the hypotheses of the lemma. It is immediate that \(\overline{X'}\) is projective and \(\mathbb {Q}\)factorial since \({\overline{X}}\) is and \(\pi '\) is small. We may choose \(\epsilon , \delta >0\) sufficiently small and \(\Theta \) on \({\overline{X}}\) such that \((\overline{{\mathcal {F}}}, \Theta )\) is Fdlt as guaranteed by our hypotheses and such that \({\overline{f}}\) is \((K_{\overline{{\mathcal {F}}}}+\Theta \delta \pi ^*A)\)MMP. Thus, if we let \(\Theta ' = {\overline{f}}_*(\Theta \epsilon \pi ^*A)\) we see that \((\overline{{\mathcal {F}}'}, \Theta ')\) is Fdlt. Observe again, that Lemma 3.33 implies that \({\mathcal {F}}'\) has nondicritical singularities. We may therefore replace \(({\mathcal {F}}, \Delta )\) by \(({\mathcal {F}}', \Delta '')\) and continue. After finitely many steps we obtain the claim.
Now assume that \({\text {loc}}(R) = X\). Let \(H_R = K_{{\mathcal {F}}}+\Delta +A\) be a supporting hyperplane to R where A is an ample divisor and let \(\nu = \nu (H_R) <3\). Observe that \(H_R^3 = 0\) and \((K_{{\mathcal {F}}}+\Delta )\cdot D_1\cdot D_2 <0\) where \(D_i = H_R\) for \(1 \le i \le \nu \) and \(D_i=A\) otherwise. Then we may apply [41, Corollary 2.28] to see that X is covered by rational curves tangent to \({\mathcal {F}}\) and spanning R.
Let C be a general curve spanning R tangent to \({\mathcal {F}}\) and let \(C'\) be the strict transform of C on \({\overline{X}}\). Notice that \(K_{\overline{{\mathcal {F}}}}\cdot C<0\) and \(K_{{\overline{X}}}\cdot C <0\). We may run a \(K_{{\overline{X}}}\)MMP where each step of the MMP is \(K_{\overline{{\mathcal {F}}}}+\overline{\Delta }\)trivial. Call this MMP \(\psi :{\overline{X}} \dashrightarrow W\) and set \({\mathcal {H}} = \psi _*\overline{{\mathcal {F}}}\) and \(\Gamma =\psi _*\overline{\Delta }\). Notice that \(({\mathcal {H}}, \Gamma )\) has canonical singularities. Observe that it suffices to show that \(K_{{\mathcal {H}}}+\Gamma \) is semiample.
Notice that our MMP will terminate with a Mori fibre space \(f:W \rightarrow Y\) whose fibres are tangent to \({\mathcal {H}}\). Notice that, as in the proof of [41, Theorem 8.13], it follows that f is \(K_X\)negative. Thus, Y is klt. By Lemma 9.1, there is a foliation \({\mathcal {G}}\) on Y, a semiample divisor D and \(\Theta \ge 0\) such that \(({\mathcal {G}}, \Theta )\) is lc and
Let G be an ample divisor on Y and choose \(0< \delta \ll 1\) such that \(\Delta  \delta f^*G \sim _{\mathbb {Q}} \Delta ' \ge 0\) and \(({\mathcal {F}}, \Delta ')\) is lc. Since \(K_{{\mathcal {F}}}+\Delta ' \sim _{\mathbb {Q}, f} 0\), we may apply Lemma 9.1 again to find \(D'\) and \(\Theta ' \ge 0\) such that \(\Theta +D \sim _{\mathbb {Q}} \Theta '+D+D'+\delta G \sim _{\mathbb {Q}} \Theta '' \ge 0\) where \(({\mathcal {G}}, \Theta '')\) is lc. Replacing X and \(({\mathcal {F}}, \Delta )\) by Y and \(({\mathcal {G}}, \Theta '')\) respectively and proceeding as above, we obtain the claim. \(\square \)
Theorem 9.4
Let X be a normal projective threefold and let \({\mathcal {F}}\) be a corank one foliation with nondicritical singularities. Suppose that X is potentially klt. Let \(\Delta \) be a \(\mathbb {Q}\)divisor such that \(({\mathcal {F}},\Delta )\) is a Fdlt pair. Let \(A\ge 0\) and \(B\ge 0\) be \(\mathbb {Q}\)divisors such that \(\Delta = A+B\) and A is ample. Assume that \(K_{{\mathcal {F}}}+\Delta \) is nef.
Then \(K_{{\mathcal {F}}}+\Delta \) is semiample.
Proof
The Theorem follows immediately from Lemmas 3.29 and 9.3. \(\square \)
Minimal model program with scaling
The goal of this section is to show the existence of a minimal model for a Fdlt pair \(({\mathcal {F}},A+B)\) where \(A \ge 0\) is an ample \(\mathbb {Q}\)divisor, \(B\ge 0\) and such that \(K_{{\mathcal {F}}}+A+B\) has nonnegative Kodaira dimension. To this end, we are not able to show termination of flips in general, but we can show that a special sequence of flips terminates. This process is called MMP with scaling. Below, we adopt many of the techniques used in [7].
Let \(f:X\dashrightarrow Y\) be a proper birational map of normal varieties and let D be a \(\mathbb {Q}\)divisor on X such that both D and \(D':=f_*D\) are \(\mathbb {Q}\)Cartier. We say that f is Dnonpositive if for any resolution of indeterminacy \(p:W\rightarrow X\) and \(q:W\rightarrow Y\), we may write
where \(E\ge 0\) is qexceptional.
In particular, if \(({\mathcal {F}},\Delta )\) is a Fdlt foliation on a normal projective variety X, then a sequence of \((K_{{\mathcal {F}}}+\Delta )\)flips and divisorial contractions is a \((K_{{\mathcal {F}}}+\Delta )\)nonpositive birational map. A minimal model of \(({\mathcal {F}},\Delta )\) is a \((K_{{\mathcal {F}}}+\Delta )\)nonpositive birational map \(f:X\dashrightarrow X'\) such that if \({\mathcal {F}}'\) is the transformed foliation on \(X'\) and \(\Delta '=f_*\Delta \), then

1.
\(X'\) is \({\mathbb {Q}}\)factorial and klt and \({\mathcal {F}}'\) is nondicritical,

2.
\(({\mathcal {F}}',\Delta ')\) is Fdlt and \(K_{{\mathcal {F}}'}+\Delta '\) is nef, and

3.
if E is a \(f^{1}\)exceptional divisor on \(X'\) then E is \({\mathcal {F}}'\)invariant and \(a(E,{\mathcal {F}})=0\).
Lemma 10.1
Let \({\mathcal {F}}\) be a corank one foliation with nondicritical singularities on a normal \(\mathbb {Q}\)factorial projective threefold X. Let \(\Delta \) be a \(\mathbb {Q}\)divisor such that \(({\mathcal {F}},\Delta )\) is a Fdlt pair. Let \(A\ge 0\) and \(B\ge 0\) be \(\mathbb {Q}\)divisors such that \(\Delta \sim _{\mathbb {Q}} A+B\), A is ample and \(({\mathcal {F}},A+B)\) is Fdlt. Assume that \(H\ge 0\) is a \(\mathbb {Q}\)divisor such that \(K_{\mathcal {F}}+\Delta +H\) is nef and
where \(\alpha \ge 0\), and \(D\ge 0\) is a \({\mathbb {R}}\)divisor whose support is a union of lc centres of \(({\mathcal {F}},\Delta )\).
Then there exists a birational contraction \(f:X\dashrightarrow Y\) which is a minimal model for \(({\mathcal {F}},\Delta )\).
Proof
Note that, by Lemma 3.16, X is klt. Let
If \(\lambda =0\), then \(K_{{\mathcal {F}}}+\Delta \) is nef and there is nothing to prove. Otherwise, by Lemma 9.2, there exists a curve \(\xi \) in X such that \(R=\mathbb {R}_+[\xi ]\) is an extremal ray of \(\overline{NE(X)}\) satisfying:
Note that, since \((D+\alpha H)\cdot \xi <0\), \(\alpha \ge 0\) and \(H\cdot \xi >0\), it follows that \(\xi \) is contained in the support of D and, in particular, \(\xi \) intersects an lc centre of \(({\mathcal {F}},\Delta )\).
By Theorems 6.4 and 6.7, R defines a divisorial contraction or a flip \(\phi :X\dashrightarrow X'\) and \(X'\) is klt and \({\mathbb {Q}}\)factorial. Let \({\mathcal {F}}'\) be the transformed foliation on \(X'\) and let \(\Delta '\), \(H'\) and \(D'\) be the image in \(X'\) of \(\Delta \), H and D respectively. It follows that \(K_{{\mathcal {F}}'}+\Delta '+\lambda H'\) is nef. By Lemma 3.11, \(({\mathcal {F}}',\Delta ')\) is Fdlt and by Lemma 3.33, \({\mathcal {F}}'\) is nondicritical.
By Lemma 3.27, there exist \(\mathbb {Q}\)divisors \(A'\ge 0\) and \(B'\ge 0\) such that \(\Delta '\sim _{\mathbb {Q}}A'+B'\), \(A'\) is ample and \(({\mathcal {F}}', A'+B')\) is Fdlt.
Thus, we may replace \(X, \Delta ,{\mathcal {F}}, D, H\) and \(\alpha \) by \(X', {\mathcal {F}}', \Delta ', D', \lambda H'\) and \(\alpha / \lambda \) respectively and we proceed as above. Theorem 7.1 implies that, after finitely many steps, we obtain a minimal model of \(({\mathcal {F}},\Delta )\). \(\square \)
Lemma 10.2
Let \({\mathcal {F}}\) be a nondicritical corank one foliation on a smooth projective threefold X. Let \(\Delta =A+B\) be a \(\mathbb {Q}\)divisor such that \(({\mathcal {F}},\Delta )\) is a Fdlt pair, \(A\ge 0\) is an ample \(\mathbb {Q}\)divisor and \(B\ge 0\). Assume that there exists a \(\mathbb {Q}\)divisor \(D\ge 0\) such that

1.
\(K_{{\mathcal {F}}}+\Delta \sim _{{\mathbb {Q}}}D\),

2.
\(({\mathcal {F}},\Delta +D)\) is log smooth, and

3.
any component of D is either semiample or it is contained in the stable base locus of D.
Then there exists a birational contraction \(f:X\dashrightarrow Y\) which is a minimal model for \(({\mathcal {F}},\Delta )\).
Proof
We may write \(D=D_1+D_2\) where \(D_1,D_2\ge 0\) and the components of \(D_1\) are exactly the components of D which are lc centres of \(({\mathcal {F}},\Delta )\). Note that, in particular, \(D_1\) contains all the components of D which are \({\mathcal {F}}\)invariant. Let k be the number of components of \(D_2\). We proceed by induction on k.
If \(k=0\), then \(D_2=0\) and the support of D is a union of lc centres of \(({\mathcal {F}},\Delta )\). Let H be a sufficiently ample \(\mathbb {Q}\)divisor such that \(K_{{\mathcal {F}}}+\Delta +H\) is ample. Then Lemma 10.1 implies that there exists a birational contraction \(f:X\dashrightarrow Y\) which is a minimal model for \(({\mathcal {F}},\Delta )\).
We now assume that \(k>0\). Let
By Item (2), it follows that \(\lambda >0\) and \(({\mathcal {F}},\Delta +\lambda D_2)\) is Fdlt. Note that \(\lambda \in {\mathbb {Q}}\). Moreover, we have
By induction, it follows that \(({\mathcal {F}},\Delta +\lambda D_2)\) admits a minimal model \(X\dashrightarrow X'\), which is a birational contraction. Let \({\mathcal {F}}'\) be the transformed foliation on \(X'\) and let \(\Delta ', D', D'_1\) and \(D'_2\) be the image of \(\Delta , D, D_1\) and \(D_2\) on \(X'\) respectively. Let \(H'=\lambda D'_2\). Then \(K_{{\mathcal {F}}'}+\Delta '+ H'\) is nef and
Thus, Lemma 10.1 implies that there exists a birational contraction \(X'\dashrightarrow Y\) which is a minimal model for \(({\mathcal {F}}',\Delta ')\).
Let \(f:X\dashrightarrow Y\) be the induced map. Note that f is a birational contraction. In order to show that \(f:X\dashrightarrow Y\) is a minimal model for \(({\mathcal {F}},\Delta )\), it is enough to show that f is \((K_{{\mathcal {F}}}+\Delta )\)nonpositive. Let \({\mathcal {G}}\) be the transformed foliation on Y and let \(\Gamma =f_*\Delta \). By Lemma 3.27, there exists \(\mathbb {Q}\)divisors \(A'\ge 0\) and \(B'\ge 0\) such that \(\Gamma \sim _{\mathbb {Q}}A'+B'\), \(A'\) is ample and \(({\mathcal {F}}',A'+B')\) is Fdlt. Thus, Theorem 9.4 implies that \(K_{{\mathcal {G}}}+\Gamma \) is semiample.
Let \(p:W\rightarrow X\) and \(q:W\rightarrow Y\) be a resolution of indeterminacy of f. Then, we may write
where \(E,F\ge 0\) are qexceptional \(\mathbb {Q}\)divisors without any common component. Since \(K_{{\mathcal {G}}}+\Gamma \) is semiample, it follows that the stable base locus of \(q^*(K_{{\mathcal {G}}}+\Gamma )+E\) coincides with the support of E. Let us assume that \(F\ne 0\). Then, we claim that there exists a component S of F which is contained in the stable base locus of \(p^*D+F\). Indeed either there exists a component S of F which is pexceptional and the claim follows immediately or the image T of a component S of F in X is fexceptional. In particular, T is contained in the support of D and, by Item 3, T is contained in the stable base locus of D. It follows that S is contained in the stable base locus of \(p^*D+F\). Thus, S is a component of E, a contradiction. It follows that \(F=0\) and, in particular, f is \((K_{{\mathcal {F}}}+\Delta )\)nonpositive. Thus, \(f:X\dashrightarrow Y\) is a minimal model for \(({\mathcal {F}},\Delta )\). \(\square \)
Theorem 10.3
Let \({\mathcal {F}}\) be a corank one foliation with nondicritical singularities on a \(\mathbb {Q}\)factorial projective threefold X. Let \(\Delta =A+B\) be a \(\mathbb {Q}\)divisor such that \(({\mathcal {F}},\Delta )\) is a Fdlt pair, \(A\ge 0\) is an ample \(\mathbb {Q}\)divisor and \(B\ge 0\). Assume that there exists a \(\mathbb {Q}\)divisor \(D\ge 0\) such that \(K_{{\mathcal {F}}}+\Delta \sim _{{\mathbb {Q}}}D\).
Then \(({\mathcal {F}},\Delta )\) admits a minimal model.
Proof
By Lemma 3.26, after possibly replacing A by a \(\mathbb {Q}\)equivalent divisor, we may assume that \(\lfloor \Delta \rfloor = 0\) and that, for any exceptional divisor E over X, if \(a(E,{\mathcal {F}},\Delta )=\epsilon (E)\) then E is invariant and \(a(E,{\mathcal {F}})=a(E,{\mathcal {F}},\Delta )=0\).
By [7, Proposition 3.5.4], we may find a positive integer m and \(\mathbb {Q}\)divisors \(P\ge 0\) and \(N\ge 0\) such that \(P+N\sim _{\mathbb {Q}}D\) and any component of N is contained in the stable base locus of \(P+N\), whilst every component \(\Sigma \) of P is such that \(m\Sigma \) is mobile. Let \(\pi :Z\rightarrow X\) be a foliated log resolution of \(({\mathcal {F}},\Delta +P+N)\) which also resolves the base locus of \(m\Sigma \) for any component \(\Sigma \) of P. Let \({\mathcal {G}}\) be the transformed foliation on Z. We may write
for some \(\mathbb {Q}\)divisors \(\Delta _Z,F\ge 0\) without common components. Let \(C\ge 0\) be a \(\pi \)exceptional \(\mathbb {Q}\)divisor on Z such that \(\pi ^*AC\) is ample. Notice that \(\pi ^*AtC\) is ample for any \(0<t<1\).
Thus, there exist \(\delta ,\epsilon >0\) and a \(\mathbb {Q}\)divisor \(\Gamma \sim _{\mathbb {Q}} \Delta _Z \delta C + \epsilon \sum E_i\) where the sum is taken over all the noninvariant \(\pi \)exceptional divisors and such that

1.
\(\Gamma =A'+B'\) where \(A'\ge 0\) is an ample \({\mathbb {Q}}\)divsor and \(B'\ge 0\),

2.
\(({\mathcal {G}},\Gamma )\) is Fdlt,

3.
we may write
$$\begin{aligned} K_{{\mathcal {G}}}+\Gamma \sim _{{\mathbb {Q}}}\pi ^*(K_{{\mathcal {F}}}+\Delta )+F', \end{aligned}$$where \(F'\ge 0\) is a \(\pi \)exceptional \(\mathbb {Q}\)divisor, whose support contains every exceptional divisor E of \(\pi \) such that \(a(E,{\mathcal {F}})> \epsilon (E)\),

4.
there exists an effective divisor \(D'\sim _{\mathbb {Q}} K_{{\mathcal {G}}}+\Gamma \) such that any component of \(D'\) is either semiample or it is contained in the stable base locus of \(D'\), and

5.
\(({\mathcal {G}},\Gamma +D')\) is a log smooth foliation.
Lemma 10.2 implies that \(({\mathcal {G}},\Gamma )\) admits a minimal model \(g:Z\dashrightarrow Y\), which is a birational contraction. We want to show that the induced map \(f:X\dashrightarrow Y\) is a minimal model of \(({\mathcal {F}},\Delta )\). Let \(p:W\rightarrow Z\) and \(q:W\rightarrow Y\) be proper birational morphisms that resolve the indeterminacy locus of g. Let \(r:W\rightarrow X\) be the induced morphism. Since g is \((K_{{\mathcal {G}}}+\Gamma )\)nonpositive, we may write
where \({\mathcal {F}}'\) is the transformed foliation on Y, \(\Gamma '=g_*\Gamma \) and \(G\ge 0\) is qexceptional. On the other hand, we also have
Since \(K_{{\mathcal {F}}'}+\Gamma '\) is nef, the negativity lemma implies that \(G\ge p^*F'\). In particular, the support of G contains every exceptional divisor E of \(\pi \) such that \(a(E,{\mathcal {F}})> \epsilon (E)\). Thus, if \(E'\) is a \(f^{1}\)exceptional divisor on Y then \(E'\) is invariant and \(a(E',{\mathcal {F}})=\epsilon (E)=0\). Moreover, it follows that f is \((K_{{\mathcal {F}}}+\Delta )\)nonpositive. Thus, the claim follows. \(\square \)
Existence of Fterminalisations
Theorem 11.1
(Existence of Fterminalisations) Let \({\mathcal {F}}\) be a corank one foliation on a normal variety X of dimension \(\le 3\). Let \(({\mathcal {F}}, \Delta )\) be a foliated pair with \(\Delta \ge 0\).
Then there exists a birational morphism \(\pi :Y \rightarrow X\) such that

1.
if \({\mathcal {G}}\) is the transformed foliation and \(\Delta _Y = \pi _*^{1}\Delta \), then \(({\mathcal {G}}, \Delta _Y)\) is Fdlt, canonical and terminal along \({\text {Sing}} \, Y\),

2.
Y is klt and \(\mathbb {Q}\)factorial and

3.
\(K_{{\mathcal {G}}}+\Delta _Y+E = \pi ^*(K_{{\mathcal {F}}}+\Delta )\) where \(E \ge 0\).
Proof
We assume that \(\dim X = 3\). The case where \(\dim X = 2\) is similar. Let \(\mu :W\rightarrow X\) be a foliated log resolution of \({\mathcal {F}}\), let \({\mathcal {H}}\) be the pulled back foliation on W and let \(\Delta ' =\mu _*^{1}\Delta \). Let A be an ample Cartier divisor on X and let \(C\ge 0\) be a \(\mu \)exceptional \(\mathbb {Q}\)divisor on W such that \(\mu ^*AC\) is ample. Let \(0<\delta \ll 1\) such that if \(\Gamma = \mu ^*A\delta C\) then
where \(G_1,G_2\ge 0\) are \(\mu \)exceptional \(\mathbb {Q}\)divisors without any common component and the support of \(G_2\) contains all the \(\mu \)exceptional divisors with discrepancy greater than zero with respect to \(({\mathcal {F}},\Delta )\).
For \(0<\epsilon \ll 1\) we have that \(\mu ^*A\delta C+\epsilon \lfloor \Delta '\rfloor \) is ample. Thus, by Lemma 3.24 and Remark 2.13 we may find \(0\le A'\sim _{\mathbb {Q}}\Gamma +\epsilon \lfloor \Delta '\rfloor \) such that \(({\mathcal {H}}, \Delta ''+A')\) is Fdlt where \(\Delta '' :=\Delta ' \epsilon \lfloor \Delta '\rfloor \). We claim that if \(n\ge 6\) then any \((K_{\mathcal {H}}+\Delta ''+A'+n\mu ^*A)\)negative extremal ray is generated by a curve which is contracted by \(\mu \). Indeed let C be a curve spanning a \((K_{\mathcal {H}}+\Delta ''+A')\)negative extremal ray and suppose that \(\mu _*C \ne 0\). On one hand, Theorem 3.31 implies that \((K_{\mathcal {H}}+\Delta ''+A')\cdot C \le 6\), on the other hand \(n\mu ^*A\cdot C \ge 6\) and so \((K_{\mathcal {H}}+\Delta ''+A'+n\mu ^*A)\cdot C \ge 0\), proving our claim.
By choosing n sufficiently large, we may also assume that there exists a \(\mathbb {Q}\)divisor \(D\ge 0\) on W such that \(D\sim _{{\mathbb {Q}}}K_{{\mathcal {H}}}+\Delta ''+A'+n\mu ^*A\). By Lemma 3.24, Remark 2.13 and Corollary 3.25 we may find \(0\le A''\sim _{\mathbb {Q}}A' + n\mu ^*A\) such that \(({\mathcal {H}}, \Delta ''+A'')\) is Fdlt and canonical. By Theorem 10.3, \(K_{{\mathcal {H}}}+\Delta ''+A''\) admits a minimal model \(f:W\dashrightarrow Y\).
We claim that each step in this MMP will be an MMP over X. Indeed, as observed above, the first step of this MMP must contract only \(\mu \)exceptional curves, and so this first step is a step over X. Let \( W' \dashrightarrow W''\) be an intermediate step of this MMP. By induction, we have a morphism \(\mu ':W' \rightarrow X\) and, as observed earlier, Theorem 3.31 implies that if \(f':W\dashrightarrow W'\) is the induced map then every \((K_{f'_*{\mathcal {H}}}+f'_*\Delta ''+f'_*A'')\)negative extremal ray is spanned by a curve C such that \((\mu ')^*A\cdot C = 0\), and so this step of the MMP will again be a step over X. Let \(\pi :Y \rightarrow X\) be the induced morphism.
Note that, Lemma 2.7 implies that if \({\mathcal {G}}\) is the transformed foliation and \(\Delta _Y = f_*\Delta ' = \pi _*^{1}\Delta \), then \({\mathcal {G}}\) is Fdlt and canonical and, moreover it is terminal along \({\text {Sing}} \, Y\). Moreover, by definition of minimal model, we have that Y is klt and \(\mathbb {Q}\)factorial. Finally, \(f_*(G_2G_1)\) is nef over X and \(\pi \)exceptional and so the negativity lemma applies to show that \(f_*G_2=0\). Thus, if \(E:= \pi ^*(K_{{\mathcal {F}}}+\Delta )(K_{{\mathcal {G}}}+\Delta _Y)\) then \(E \ge 0\). \(\square \)
Definition 11.2
We call a modification \(\pi :Y \rightarrow X\) as in Theorem 11.1 an Fterminalisation for the foliated pair \(({\mathcal {F}}, \Delta )\).
Theorem 11.3
Let \(({\mathcal {F}}, \Delta )\) be a foliated pair on a projective threefold X. Assume that \({\mathcal {F}}\) is a corank one foliation and either

1.
\(({\mathcal {F}}, \Delta )\) is Fdlt or

2.
\(({\mathcal {F}}, \Delta )\) is canonical.
Then \({\mathcal {F}}\) has nondicritical singularities.
Furthermore, if \(({\mathcal {F}}, \Delta )\) is Fdlt and \(K_X\) is \(\mathbb {Q}\)Cartier then X is klt.
Proof
We will only prove the case where \(({\mathcal {F}}, \Delta )\) is Fdlt. The other one may be handled in a similar manner. Let \(\mu :W\rightarrow X\) be a foliated log resolution of \(({\mathcal {F}}, \Delta )\) which only extracts divisors E of discrepancy \(\epsilon (E)\) and let \({\mathcal {H}}\) be the pulled back foliation on W. Our result follows if we can show \(\mu ^{1}(P)\) is tangent to \({\mathcal {H}}\) for all \(P \in X\). So suppose for sake of contradiction that there is some P such that \(\mu ^{1}(P)\) is not tangent to \({\mathcal {H}}\) and let \(C\subset \mu ^{1}(P)\) be a general curve transverse to the foliation.
Write \(K_{{\mathcal {H}}}+\Gamma = \mu ^*(K_{{\mathcal {F}}}+\Delta )+E\) where \(E \ge 0\) is \(\mu \)exceptional, \(\Gamma \ge 0\) and \(\mu _*\Gamma = \Delta \), so that E and \(\Gamma \) do not have any common component. Observe that \(\lfloor \Gamma \mu _*^{1}\Delta \rfloor = 0\). Let \(A\ge 0\) be an ample divisor on X and let \(G\ge 0\) be a \(\mu \)exceptional \(\mathbb {Q}\)divisor on W such that \(\mu ^*AG\) is ample. Let F be the sum of all the \(\mu \)exceptional noninvariant divisors. There exist sufficiently small \(\epsilon , \delta >0\) such that if \(\Theta =\mu ^*A\delta G+\Gamma +\epsilon F\), then we may write
where \(E_1, E_2\ge 0\) are \(\mu \)exceptional \(\mathbb {Q}\)divisors without common components and such that the support of \(E_2\) contains all the \(\mu \)exceptional noninvariant divisors.
As in the proof of Theorem 11.1, by Theorem 10.3, we may run a \((K_{{\mathcal {H}}}+\Theta +n\mu ^*A)\)MMP \(\phi :W\dashrightarrow Y\), where n is sufficiently large so that the induced map \(\nu :Y\rightarrow X\) is a proper morphism. Let \({\mathcal {G}}\) be the transformed foliation on Y. Notice that, the negativity lemma implies that \(\phi _*E_2=0\) and, in particular, \(\phi \) contracts all the noninvariant \(\mu \)exceptional divisors. Moreover, we have
Thus, if \(\delta \) is sufficiently small, then the support of E is contained in the support of \(E_2\) and therefore \(\phi _*E=0\). It follows that
and that every \(\nu \)exceptional divisor is \({\mathcal {G}}\)invariant. Since C is transverse to the foliation we have \(0 \ne \phi _*C =: C'\) is also transverse to the foliation and so is not contained in any \(\nu \)exceptional divisor. Let \(A_1\) and \(A_2\) be two distinct effective Cartier divisors containing \(\nu (C') = P\) and write \(\nu ^*A_i = \nu _*^{1}A_i + B_i\) where \(B_i \ge 0\) is \(\nu \)exceptional. On one hand we know that \(B_i\cdot C' >0\), on the other hand we know that \(\nu ^*A_i\cdot C' = 0\) and so \(\nu _*^{1}A_i \cdot C' <0\). Let \(D = \nu _*^{1}A_1+\nu _*^{1}A_2\) and let
We claim that \(\lambda >0\). Indeed, suppose that \(\lambda = 0\). In this case \(C'\) is an lc centre of \(({\mathcal {G}}, \nu _*^{1}\Delta )\), which in turn implies that \(\nu (C') = P\) is an lc centre of \(({\mathcal {F}}, \Delta )\). By Lemma 3.8, it follows that \({\mathcal {F}}\) has simple singularities near P, and so, by Remark 2.13, we have that \({\mathcal {F}}\) is nondicritical near P, a contradiction.
Thus, by the definition of \(\lambda \), it follows that \(C'\) is an lc centre of \(({\mathcal {G}}, \nu _*^{1}\Delta +\lambda D)\). Moreover, we have \((K_{{\mathcal {G}}}+\nu _*^{1}\Delta +\lambda D)\cdot C' <0\). This however is a contradiction of foliation subadjunction, [41, Theorem 4.5] which implies that \((K_{{\mathcal {G}}}+\nu _*^{1}\Delta +\lambda D)\cdot C' \ge 0\).
To see our final claim, since \(({\mathcal {F}}, \Delta )\) is Fdlt, we may find a log resolution \(\mu :W \rightarrow X\) only extracting divisors E of discrepancy \(>\epsilon (E)\). We run a \((K_{{\mathcal {H}}}+\mu _*^{1}\Delta +F)\)MMP over X, where F is the sum of all the \(\mu \)exceptional noninvariant divisors. Note that this MMP terminates by Corollary 7.10. Let \(\phi :W\dashrightarrow Y\) be the output of this MMP, with induced morphism \(\nu :Y\rightarrow X\). Observe that Y is klt. By the negativity lemma, we know that \(\nu \) is small and so \(K_Y = \nu ^*K_X\) which implies that X is klt. \(\square \)
Remark 11.4
Theorem 11.3 shows that the hypothesis of nondicriticality in the cone theorem (and in the above results) is superfluous. When X is smooth this result follows from [29, Proposition 3.11].
Proof of Theorems 1.1 and 1.2
Note that Theorem 1.1 (resp. Theorem 1.2) follows directly from Theorems 11.3 and 6.4 (resp. Theorem 10.3). \(\square \)
Abundance for \(c_1(K_{{\mathcal {F}}}+\Delta ) = 0\)
The goal of this section is to prove the following:
Theorem 12.1
Let X be a projective threefold and \({\mathcal {F}}\) be a corank one foliation. Let \(({\mathcal {F}}, \Delta )\) be a foliated pair with log canonical singularities where \(\Delta \ge 0\) is a \(\mathbb {Q}\)divisor such that \(c_1(K_{{\mathcal {F}}}+\Delta ) = 0\).
Then \(\kappa (K_{{\mathcal {F}}}+\Delta ) = 0\).
As we mentioned in the Introduction, the result above is a consequence of [29, Theorem 2] in the case of foliations with canonical singularities defined on a smooth projective variety. See also [16, Theorem 1.3] for results in this direction on singular varieties, as well as the recent preprint [15], which achieves the main result of Sect. 12.2 in all dimensions.
\(\Delta \ne 0\) or \({\mathcal {F}}\) is log canonical but not canonical
Lemma 12.2
Suppose X is a klt projective surface and \({\mathcal {F}}\) is a rank one foliation on X. Suppose that \(({\mathcal {F}}, \Delta )\) is lc where \(\Delta \ge 0\) is a \(\mathbb {Q}\)divisor and \(c_1(K_{{\mathcal {F}}}+\Delta )= 0\).
Then \(\kappa (K_{{\mathcal {F}}}+\Delta ) = 0\).
Proof
Without loss of generality we may replace \(({\mathcal {F}}, \Delta )\) by an Fdlt modification. In particular, we may assume that \({\mathcal {F}}\) has canonical singularities.
If \(\Delta = 0\), then our claim follows from [31, Lemma IV.3.1].
If \(\Delta \ne 0\), then \(K_{{\mathcal {F}}}\) is not pseudoeffective. Running an MMP for \(K_{{\mathcal {F}}}\) with scaling of some ample divisor, and replacing \({\mathcal {F}}\) by this output we may assume that we have a \(\mathbb {P}^1\)fibration \(f:X \rightarrow C\) such that \({\mathcal {F}}\) is induced by the fibration.
By Lemma 9.1 we see that \(K_{{\mathcal {F}}}+\Delta \sim _{\mathbb {Q}} f^*\Theta \) where \(\Theta \ge 0\) and our result is proven. \(\square \)
Lemma 12.3
Let X be a normal projective threefold and \({\mathcal {F}}\) be a corank one foliation on X. Suppose that \({\mathcal {F}}\) is algebraically integrable, \(({\mathcal {F}}, \Delta )\) is log canonical where \(\Delta \ge 0\) is a \(\mathbb {Q}\)divisor and \(c_1(K_{{\mathcal {F}}}+\Delta ) = 0\).
Then \(\kappa (K_{{\mathcal {F}}}+\Delta ) = 0\).
Proof
By Theorem 8.1 we may replace \(({\mathcal {F}}, \Delta )\) by an Fdlt modification and so we may assume without loss of generality that X is \(\mathbb {Q}\)factorial and klt.
By assumption \({\mathcal {F}}\) admits a meromorphic first integral \(f:X \dashrightarrow C\) where C is a smooth proper curve. Let \(\mu :X' \rightarrow X\) be a resolution of indeterminacies of f and let \(f':X' \rightarrow C\) be the resolved map. Observe that \(f'\) is a holomorphic first integral of \({\mathcal {F}}'\), the pull back of \({\mathcal {F}}\) on \(X'\).
As \(({\mathcal {F}}, \Delta )\) is Fdlt it follows that \({\mathcal {F}}\) has nondicritical singularities by Theorem 11.3, and so if \(p \in X\) then \(\mu ^{1}(p)\) is tangent to \({\mathcal {F}}'\). Since \(f'\) is a holomorphic first integral of \({\mathcal {F}}'\) this implies that \(f'(\mu ^{1}(p))\) is a single point and so \(f'\) contracts every fibre of \(\mu \). The rigidity lemma then implies that in fact \(f :X \rightarrow C\) is a morphism.
We apply Lemma 9.1 to write \(K_{{\mathcal {F}}}+\Delta \sim _{\mathbb {Q}} f^*\Theta \) for some \(\mathbb {Q}\)divisor \(\Theta \ge 0\) and we can conclude. \(\square \)
Proposition 12.4
Let X be a normal projective threefold and \({\mathcal {F}}\) be a corank one foliation. Let \(({\mathcal {F}}, \Delta )\) be a foliated pair with log canonical singularities and \(\Delta \ge 0\) is a \(\mathbb {Q}\)divisor. Suppose that \(c_1(K_{{\mathcal {F}}}+\Delta ) = 0\) and that either \(\Delta \ne 0\) or \({\mathcal {F}}\) is log canonical but not canonical.
Then \(\kappa (K_{{\mathcal {F}}}+\Delta ) = 0\).
Proof
By Theorem 11.1, we may replace \(({\mathcal {F}}, \Delta )\) with a Fterminalisation, so we may assume without loss of generality that \(({\mathcal {F}}, \Delta )\) is Fdlt and canonical with \(\Delta \ne 0\) and that X is \(\mathbb {Q}\)factorial and klt.
In this case, \(K_{{\mathcal {F}}}\) is not pseudoeffective and hence it is uniruled by Lemma 2.21. So there exists a diagram
where \(q :W \rightarrow B\) parametrizes a dominant family of rational curves tangent to \({\mathcal {F}}\).
We may obviously assume that \(\text {dim}(B) = 2\). Let G be an ample divisor on B. Let \(b \in B\) be general and let \(W_b\) be the fibre over b. There are two cases, either

(1)
\(p(W_b) \cap p(W_{b'}) \ne \emptyset \) for infinitely many \(b'\) or

(2)
\(p(W_b) \cap p(W_{b'}) = \emptyset \) for \(b \ne b'\).
Suppose that we are in case (1), and let \(Z_b \subset B\) be the closed subset of B parametrizing those points \(b'\) with \(p(W_{b'}) \cap p(W_{b}) \ne \emptyset \). Set \(S = p(q^{1}(Z_b))\). Observe that \({\mathcal {F}}\) has nondicritical singularities by Theorem 11.3. We claim that S is \({\mathcal {F}}\)invariant. Supposing the claim we see that a general leaf of \({\mathcal {F}}\) is algebraic and we may conclude by Lemma 12.3. To see the claim, without loss of generality we may assume that \(p(W_b)\) and \(p(W_{b'})\) all pass through the same point \(x \in X\). Let \(m:X' \rightarrow X\) be a resolution of singularities of X such that \(m^{1}(x)\) is a divisor, let \(S' = m_*^{1}S\) and let \(\Sigma _b\) and \(\Sigma _{b'}\) be the strict transforms of \(p(W_b)\) and \(p(W_{b'})\) respectively. Observe that \(\Sigma _{b'} \cap m^{1}(x) \subset {\text {Sing}} \, \mathcal {F}'\) where \({\mathcal {F}}'\) is the pulled back foliation. Thus, \(S'\) is covered by curves tangent to \({\mathcal {F}}'\) which pass through \({\text {Sing}} \, \mathcal {F}'\) which by [12, Théorème 4] and the fact that \({\mathcal {F}}'\) is nondicritical implies that \(S'\) must be \({\mathcal {F}}'\)invariant, as required.
So suppose we are in case (2). Note that the rational map \(q\circ p^{1}:X \dashrightarrow B\) is almost proper, and in particular, we see that
where G is an ample Cartier divsior on B. Let A be an ample divisor on X. Given a sufficiently large positive integer m, we may run a \(K_X\)MMP with scaling of \(A+p_*q^*(mG)\) Denote this MMP by \(\phi :X \dashrightarrow X'\), and let \(({\mathcal {F}}',\Delta ')\) be the transformed foliated pair on \(X'\). Each step of this MMP is \((K_{{\mathcal {F}}}+\Delta )\)trivial and so we see that \(({\mathcal {F}}', \Delta ')\) is lc, \(c_1(K_{{\mathcal {F}}'}+\Delta ') = 0\) and that \(\kappa (K_{{\mathcal {F}}'}+\Delta ') = 0\) implies that \(\kappa (K_{{\mathcal {F}}}+\Delta ) = 0\).
Observe that \(K_X\cdot p(W_b) <0\). If we choose m larger than \(6m'\) where \(m'\) is the Cartier index of \(p_*q^*G\) then, arguing as in the proof of Theorem 11.1, each step of this MMP will be \(p_*q^*mG\) trivial and so this MMP must terminate in a Mori fibre space \(f:X' \rightarrow S\) such that S is a klt surface and f contracts the strict transform of \(p(W_b)\). Thus, the fibration f is tangent to \({\mathcal {F}}'\). By Lemma 9.1, there is a foliation \({\mathcal {G}}\) on S so that \({\mathcal {F}}' = f^{1}{\mathcal {G}}\), a pseudoeffective divisor D and divisor \(\Theta \ge 0\) such that \(K_{{\mathcal {F}}'}+\Delta ' \sim _{\mathbb {Q}} f^*(K_{{\mathcal {G}}}+\Theta +D)\) and \(({\mathcal {G}}, \Theta )\) is lc.
Suppose for sake of contradiction that \(D \ne 0\). Since \(c_1(K_{{\mathcal {G}}}+\Theta ) = D\) it follows that \({\mathcal {G}}\) is uniruled by Lemma 2.21, in particular, \({\mathcal {G}}\) is algebraically integrable which implies the same holds for \({\mathcal {F}}\). Since f is \(K_{X'}\)negative, we see that, in addition, S is klt. Thus, we can apply Lemma 12.2 to conclude that \(K_{{\mathcal {G}}}+\Theta \), and hence \(K_{{\mathcal {F}}'}+\Delta '\), is torsion. \(\square \)
\(\Delta = 0\) and \({\mathcal {F}}\) is canonical
In this section \({\mathcal {F}}\) is a corank one foliation on a normal projective threefold with \(c_1(K_{{\mathcal {F}}}) = 0\). Suppose that \({\mathcal {F}}\) has canonical singularities.
Lemma 12.5
We may freely replace \({\mathcal {F}}\) by an Fterminalisation. Thus we may assume that X is klt and \(\mathbb {Q}\)factorial and \({\mathcal {F}}\) is terminal along \({\text {Sing}} \, X\). In particular, \({\text {Sing}} \, X\) is tangent to \({\mathcal {F}}\).
Proof
Let \(\pi :Y\rightarrow X\) be an Fterminalisation, whose existence is guaranteed by Theorem 11.1 and let \({\mathcal {G}}\) be the pulled back foliation on Y. By definition, \(K_{{\mathcal {G}}}+F = \pi ^*K_{{\mathcal {F}}}\) where \(F \ge 0\). On the other hand, since \({\mathcal {F}}\) is canonical, \(K_{{\mathcal {G}}} = \pi ^*K_{{\mathcal {F}}}+E\) where \(E \ge 0\). Thus \(E = F = 0\) and so \(c_1(K_{{\mathcal {G}}})=0\). Furthermore, if \(K_{{\mathcal {G}}}\) is torsion then so is \(K_{{\mathcal {F}}}\). The last claim follows from [41, Lemma 8.6] together with Theorem 11.3. \(\square \)
Lemma 12.6
Let \(\phi :X \dashrightarrow X'\) be a sequence of steps of a \(K_X\)MMP such that \(\phi \) is birational and let \({\mathcal {F}}'\) be the transformed foliation on \(X'\). Then

1.
\(c_1(K_{{\mathcal {F}}'}) = 0\);

2.
\(X'\) has klt and \(\mathbb {Q}\)factorial singularities,

3.
\({\mathcal {F}}'\) has canonical singularities, and

(4)
\({\text {Sing}} \, X'\) is tangent to \({\mathcal {F}}'\).
Moreover, if \(K_{{\mathcal {F}}'}\) is torsion then so is \(K_{{\mathcal {F}}}\).
Proof
Each step of the MMP is \(K_{{\mathcal {F}}}\)trivial so we see that \({\mathcal {F}}'\) has canonical singularities and \(c_1(K_{{\mathcal {F}}'}) = 0\). Furthermore, we see that \(K_{{\mathcal {F}}} =\phi ^*K_{{\mathcal {F}}'}\) and so if \(K_{{\mathcal {F}}'}\) is torsion then so is \(K_{{\mathcal {F}}}\).
Since X has klt and \(\mathbb {Q}\)factorial singularities it follows that \(X'\) has klt and \(\mathbb {Q}\)factorial singularities.
By Theorem 11.3 at each step of the MMP the transformed foliation has nondicritical singularities and so we see that only curves tangent to \({\mathcal {F}}\) are contracted by the MMP. In particular, we see that the flipping and flipped loci are all tangent to the foliation.
To prove Item (4), consider a step in the \(K_X\)MMP, call it \(f :Y \dashrightarrow W\) and let \({\mathcal {F}}_Y\) and \({\mathcal {F}}_W\) be the transformed foliations on Y and W respectively. We claim that if f is a divisorial contraction, then \(\text {exc}(f)\) is foliation invariant. Indeed suppose not. By our above observation, f contracts a divisor E transverse to the foliation to a curve C and such that the foliation restricted to E must be tangent to the fibration \(E \rightarrow C\). Let F be a general fibre of \(E \rightarrow C\). By Lemma 3.16 we know that
a contradiction of the fact that f is a \(K_Y\)negative contraction.
Thus, all divisorial contractions in the MMP only contract invariant divisors and so by Lemma 12.5 we may conclude that \({\text {Sing}} \, X'\) is indeed tangent to \({\mathcal {F}}'\). \(\square \)
Lemma 12.7
\({\mathcal {F}}\) is not uniruled.
Proof
The proof of [29, Theorem 3.7] works equally well in the case where X is singular. \(\square \)
Lemma 12.8
Suppose we have a morphism \(f:X \rightarrow S\) where S is a surface with klt singularities. Suppose furthermore that \(K_{{\mathcal {F}}} \sim _{\mathbb {Q}, f} 0\) and the fibres of f are tangent to \({\mathcal {F}}\).
Then \(\kappa (K_{{\mathcal {F}}}) = 0\).
Proof
By Lemma 9.1, there is a foliation \({\mathcal {G}}\) on S so that \({\mathcal {F}} = f^{1}{\mathcal {G}}\), a pseudoeffective divisor D and divisor \(\Theta \ge 0\) such that \(K_{{\mathcal {F}}} \sim _{\mathbb {Q}} f^*(K_{{\mathcal {G}}}+\Theta +D)\) and \(({\mathcal {G}}, \Theta )\) is lc. It suffices to show that \(K_{{\mathcal {G}}}+\Theta \) is torsion.
Suppose for sake of contradiction that \(D \ne 0\). Since \(c_1(K_{{\mathcal {G}}}+\Theta ) = D\) it follows that \({\mathcal {G}}\) is uniruled, by Lemma 2.21. In particular, \({\mathcal {G}}\) is algebraically integrable, which implies the same holds for \({\mathcal {F}}\).
We may freely replace \(({\mathcal {G}}, \Theta )\) by an Fdlt modification and so we may assume without loss of generality that S is klt. Thus, so we may apply Lemma 12.2 to conclude that \(K_{{\mathcal {G}}}+\Theta \) is torsion. \(\square \)
Lemma 12.9
Suppose we have a morphism \(f:X \rightarrow S\) where S is a surface with klt singularities and \(\kappa (S) \ge 0\). Suppose moreover that the fibres of f are generically transverse to \({\mathcal {F}}\) and that for all \(s \in S\), the fibre \(f^{1}(s)\) does not contain a divisor.
Then \(\kappa (K_{{\mathcal {F}}}) = 0\).
Proof
Let \(S^\circ = S {\setminus } {\text {Sing}} \, S\) and let \(X^\circ = f^{1}(S^\circ )\).
The pull back of a pluricanonical form on \(S^\circ \) restricts to a nonzero form on the leaves of \({\mathcal {F}}\vert _{X^\circ }\), i.e., we have a nonzero map
for all \(m\ge 0\). Since the complement of \(X^\circ \) in X has codimension at least two, we see that \(H^0(X^\circ , {\mathcal {O}}_{X^\circ }( mK_{{\mathcal {F}}})) \cong H^0(X, {\mathcal {O}}_X( mK_{{\mathcal {F}}}))\). By assumption, we have that \(H^0(S, {\mathcal {O}}_S(mK_S))\ne 0\) for some m sufficiently divisible, and our result follows. \(\square \)
We will need the following definition, [43, Definition 8.1].
Definition 12.10
Let X be a projective manifold and let \({\mathcal {F}}\) be a corank one foliation on X. Let \(H_1, \ldots , H_p\) be \({\mathcal {F}}\)invariant hypersurfaces such that \(\sum H_i\) is a normal crossings divisor. We say that \({\mathcal {F}}\) is of KLT type with respect to \(H_1, \ldots , H_p\) if there exist rational numbers \(0 \le a_i <1\) such that
is pseudoeffective.
We will also need the following theorem, due to Touzet.
Theorem 12.11
Let X be a projective manifold and let \({\mathcal {F}}\) be a corank one foliation on X. Let \(H_1, \ldots , H_p\) be \({\mathcal {F}}\)invariant hypersurfaces such that \(\sum H_i\) is a normal crossings divisor. Suppose that \({\mathcal {F}}\) is of KLT type with respect to \(H_1, \ldots , H_p\).
Then either

1.
\(\kappa (N^*_{{\mathcal {F}}}+\sum H_i) = \nu (N^*_{{\mathcal {F}}}+\sum H_i) \ge 0\) or

2.
\(\kappa (N^*_{{\mathcal {F}}}+\sum H_i) = \infty \), \(\nu (N^*_{{\mathcal {F}}}+\sum H_i) =1\) and there exists a holomorphic map \(\Psi :X \rightarrow {\mathfrak {h}}\) where \({\mathfrak {h}} = \mathbb {D}^n/\Gamma \) is a quotient of a polydisc by an irreducible lattice \(\Gamma \subset (\mathrm{Aut~} \mathbb {D})^n\) and \({\mathcal {F}} = \Psi ^{1}{\mathcal {H}}\) where \({\mathcal {H}}\) is one of the tautological foliations on \({\mathfrak {h}}\).
Proof
This is [43, Theorem 6] and [43, Theorem 9.7]. \(\square \)
We will also need the following classification theorem on surface foliations:
Theorem 12.12
Let X be a normal projective surface and let \({\mathcal {L}}\) be a rank one foliation on X with canonical foliation singularities. Suppose \(c_1(K_{{\mathcal {L}}}) = 0\).
Then there exists a finite cover \(\tau :{\widetilde{X}} \rightarrow X\) and a birational morphism \(\mu :{{\widetilde{X}}}\rightarrow Y\) such that if \(\widetilde{{\mathcal {L}}}\) and \({\mathcal {G}}\) are the transformed foliations on \({{\tilde{X}}}\) and Y respectively, then \(\tau \) is ramified along \(\widetilde{{\mathcal {L}}}\)invariant divisors and \(\mu \) contracts \(K_{\widetilde{{\mathcal {L}}}}\)trivial rational curves tangent to \(\widetilde{{\mathcal {L}}}\).
Moreover, one of the following holds:

(1)
\(X = C \times E/G\) where \(g(E) =1\), C is a smooth projective curve, G is a finite group acting on \(C \times E\) and \({\mathcal {G}}\) is the foliation induced by the Ginvariant fibration \(C\times E \rightarrow C\);

(2)
\({\mathcal {G}}\) is a linear foliation on the abelian surface Y;

(3)
Y is a \(\mathbb {P}^1\)bundle over an elliptic curve and \({\mathcal {G}}\) is transverse to the bundle structure and leaves at least one section invariant; or

(4)
\(Y \cong \mathbb {P}^2, \mathbb {P}^1 \times \mathbb {P}^1\) or \(\mathbb {F}_n\) (the nth Hirzebruch surface) and \({\mathcal {G}}\) admits at least 3 invariant rational curves. If \(Y \cong \mathbb {P}^1 \times \mathbb {P}^1\) or \(\mathbb {F}_n\) then at least 2 of these invariant curves must be fibres of a \(\mathbb {P}^1\)bundle structure on Y.
Proof
This follows directly from [31, Theorem IV.3.6]. \(\square \)
Lemma 12.13
Suppose that \(\kappa (X) \ge 0\). Then \(\kappa (K_{{\mathcal {F}}}) = 0\).
Proof
We have an equality of divisors \(K_{{\mathcal {F}}}+N^*_{{\mathcal {F}}} = K_X\), in particular we see that \(c_1(N^*_{{\mathcal {F}}}) = c_1(K_X)\).
If \(\kappa (X) = 3\), then \(\kappa (N^*_{{\mathcal {F}}}) = 3\), a contradiction of the Bogomolov–Castelnuovo–De Franchis inequality (see [21, Theorem 7.2] for the proof of this statement in the singular setting). Thus, we may assume that \(\kappa (X) \le 2\). Moreover, by Lemma 12.6 we may assume that \(K_X\) is nef.
We distinguish two cases. We first assume that \(\kappa (N^*_{{\mathcal {F}}}) = \infty \). Let \(\mu :Y \rightarrow X\) be a log resolution of X and let E be the reduced divisor whose support coincides with the \(\mu \)exceptional divisor and \({\mathcal {G}}\) be the pulled back foliation. By Lemma 12.6 Item (4), \({\text {Sing}} \, X\) is tangent to \({\mathcal {F}}\) and so E is \({\mathcal {G}}\)invariant. Notice that \({\mathcal {O}}_Y(N^*_{{\mathcal {G}}}+E)\) is the saturation of the image of \(\mu ^*{\mathcal {O}}_X(N^*_{{\mathcal {F}}})\) in \(\Omega ^1_Y(\log E)\). Since \(\mu _*E = 0\) and \(\mu _*N^*_{{\mathcal {G}}} = N^*_{{\mathcal {F}}}\), we have that \(\kappa (N^*_{{\mathcal {G}}}+E) = \infty \).
Write \(N^*_{{\mathcal {G}}}+E_1 \sim _{\mathbb {Q}} \mu ^*N^*_{{\mathcal {F}}}+E_2\) where \(E_i \ge 0\) and is \(\mu \)exceptional. We claim that \(\lfloor E_1 \rfloor = 0\). Indeed, this is a local problem on both X and Y, so perhaps shrinking both we may assume that \(E_1 = aE\) for some rational number \(a>0\) so that \(E_1\) consists of a single component and \(N^*_{{\mathcal {G}}} \sim _{\mathbb {Q}} \mu ^*N^*_{{\mathcal {F}}}aE\). Consider the following commutative diagram
where \(\sigma \) is the index one cover associated to \(N^*_{{\mathcal {F}}}\). Let \({\mathcal {F}}'\) be the pull back of \({\mathcal {F}}\) along \(\sigma \) and let \({\mathcal {G}}'\) be the pull back of \({\mathcal {G}}\) along \(\tau \). Assume that the ramification index along E is r. Since \(X'\) is klt, by [21] we have a morphism \(\nu ^*(\Omega ^{[1]}_{X'}) \rightarrow \Omega ^1_{Y'}\) and so
where \(c \ge 0\). On the other hand, since \(E'\) is invariant
Thus, \(ra+(r1) = c \ge 0\) which implies that \(a\le \frac{r1}{r} <1\), as claimed.
Since \(N^*_{{\mathcal {G}}}+E_1\) is pseudoeffective and \(\lfloor E_1 \rfloor = 0\), it follows that \({\mathcal {G}}\) is a KLT type foliation.
Since \(\kappa (N^*_{{\mathcal {G}}}+E) = \infty \), Theorem 12.11 implies that \(\nu (N^*_{{\mathcal {G}}}+E) = 1\). Since \({\mathcal {F}}\) has canonical singularities, we may write \(K_{{\mathcal {G}}} \equiv F\) where \(F \ge 0\) is \(\mu \)exceptional. Since \(\lfloor E_1 \rfloor = 0\), it follows that
has numerical dimension, and hence Kodaira dimension, equal to one, which in turn implies that \(\kappa (K_X) = 1\).
Let \(f:X \rightarrow C\) be the Iitaka fibration associated to \(K_X\). If \({\mathcal {F}}\) is the foliation induced by f then we may conclude by Lemma 12.3. So suppose for sake of contadiction that the general fibre of f is transverse to \({\mathcal {F}}\). We therefore get an exact sequence
where \({\mathcal {L}}\) is the foliation by curves coming from the intersection of \({\mathcal {F}}\) and \(T_{X/C}\) and Z is a subscheme supported on \({\text {Sing}} \, X\cup {\text {Sing}} \, \mathcal {F}\) and on the locus where \({\mathcal {F}}\) is tangent to the fibres of \(X \rightarrow C\).
Let \(X_p\) be the fibre over \(p\in C\), and let \({\mathcal {F}}_p\) be the foliation restricted to \(X_p\). For general p we see that \(c_1(K_{{\mathcal {F}}_p}) = 0\) and that \(X_p\) is not uniruled. In particular, \({\mathcal {F}}_p\) is canonical. We claim that \(N^*_{{\mathcal {F}}_p}\) is torsion for general p. Indeed, \(K_{{\mathcal {F}}_p}\sim _{\mathbb {Q}}0\) by Lemma 12.2 and \(K_{X_p}\sim _{\mathbb {Q}}0\) and so \(N^*_{{\mathcal {F}}_p}\sim _{\mathbb {Q}}0\). Thus, we may find a \(\mathbb {Q}\)divisor A on X whose support is contained in fibres of f, but contains no fibre of f and a divisor B on C such that \(f^*B \sim _{\mathbb {Q}} N^*_{{\mathcal {F}}}+A\). However, \(K_X \sim _{\mathbb {Q}} f^*H\) where H is an ample \(\mathbb {Q}\)divisor on C and \(K_X \equiv N^*_{{\mathcal {F}}}\). Thus, \(A = 0\) and \(B \equiv H\). In particular, B is ample and \(\kappa (N^*_{{\mathcal {F}}}) = 1\). It follows, by Lemma 12.14, that \({\mathcal {F}}\) is algebraically integrable and so we may conclude by Lemma 12.3.
We now assume that \(\kappa (N^*_{{\mathcal {F}}}) \ge 0\).
If \(\kappa (X) = 0\), then since \(K_X\) is nef, it follows that both \(N^*_{{\mathcal {F}}}\) and \(K_X\), hence \(K_{{\mathcal {F}}}\) are torsion, and we are done.
Suppose \(\kappa (X) \ge 1\) and let \(f:X \rightarrow B\) be the canonical map. By assumption, there exists \(D\ge 0\) such that \(N^*_{{\mathcal {F}}} \sim _{\mathbb {Q}} D\) and D is numerically equivalent to \(f^*H\) where \(H \ge 0\) is ample. However, this implies that D is actually supported on fibres of f, and is in fact equal to a sum of fibres (with the appropriate multiplicities), and so \(D = f^*B\) for some ample divisor B. But this implies that \(\kappa (N^*_{{\mathcal {F}}}) \ge 1\). By Lemma 12.14, it follows that \({\mathcal {F}}\) is in fact algebraically integrable and so we conclude by Lemma 12.3. \(\square \)
Lemma 12.14
Let X be a klt projective variety and let \({\mathcal {F}}\) be a corank one foliation on X with nondicritical singularities. Suppose that \({\text {Sing}} \, X\) is tangent to \({\mathcal {F}}\), \(N^*_{{\mathcal {F}}}\) is \(\mathbb {Q}\)Cartier and \(\kappa (N^*_{{\mathcal {F}}}) = 1\).
Then \({\mathcal {F}}\) is algebraically integrable.
We thank the referee for suggesting the following proof of Lemma 12.14.
Proof
Let \(\pi :X' \rightarrow X\) be a log resolution of X and let \({\mathcal {F}}'\) be the pulled back foliation. Let E be the sum of all the \(\pi \)exceptional divisors and observe that E is \({\mathcal {F}}'\)invariant.
By [16, Lemma 4.6] we may find effective \(\pi \)exceptional divsiors \(E_1\) and \(E_2\) such that \(E_2\) is \({\mathcal {F}}'\)invariant and \(\lfloor E_2 \rfloor =0\) such that \(\pi ^*N^*_{{\mathcal {F}}}+E_1 \sim _{\mathbb {Q}} N_{{\mathcal {F}}'}+E_2\). In particular, \(\kappa (N^*_{{\mathcal {F}}'}(E)) =1\). We may then apply [43, Lemma 9.2] to conclude. \(\square \)
Lemma 12.15
Let X be a \(\mathbb {Q}\)factorial projective threefold and let \(\pi :X \rightarrow B\) be a fibration over a curve. Let \({\mathcal {L}}\) be a rank one foliation on X tangent to the fibres of \(X \rightarrow B\). Suppose that

1.
\(c_1(K_{{\mathcal {L}}}) = 0\);

2.
\({\mathcal {L}}\) is not uniruled; and

3.
the general fibre of \(\pi :X \rightarrow B\) does not admit a quasiétale cover by an abelian surface.
Then \(\kappa (K_{{\mathcal {L}}}) = 0\).
Proof
Observe first of all that we may assume that \({\mathcal {L}}\) has canonical singularities, otherwise \({\mathcal {L}}\) would be uniruled, a contradiction.
Let \({\mathcal {L}}_p\) be the foliation restricted to \(X_p\). For a general p we have \(K_{{\mathcal {L}}}\vert _{X_p} = K_{{\mathcal {L}}_p}\).
By Theorem 12.12, for a general fibre \(X_p\), we may find a finite morphism \(\tau _p:{{\widetilde{X}}}_p\rightarrow X_p\), ramified along foliation invariant divisors such that the pulled back foliation on \({{\widetilde{X}}}_p\) is generated by a global vector field. In particular, \(K_{{{\mathcal {L}}}}\vert _{X_p} \sim _{\mathbb {Q}} 0\). This implies that \(K_{{{\mathcal {L}}}} \sim _{\mathbb {Q}} \sum a_iF_i\) where \(a_i\) are rational numbers and \(F_i\) are divisors supported on fibres of f, and are therefore in fact entire fibres (counted with multiplicity) since \(c_1(K_{{\mathcal {L}}}) =0\). Thus, we may find a finite morphism \(\sigma :{\widetilde{X}}\rightarrow X\) ramified only along divisors supported on fibres and such that if \(\widetilde{{\mathcal {L}}}\) be the pulled back foliation on \({{\widetilde{X}}}\) then \(K_{\widetilde{{\mathcal {L}}}}\) is Cartier. Since all the fibres of \(X \rightarrow B\) are \({\mathcal {L}}\)invariant we have that \(K_{\widetilde{{\mathcal {L}}}} = \sigma ^*K_{{\mathcal {L}}}\). Thus we may freely replace X and \({\mathcal {L}}\) by \({\widetilde{X}}\) and \({\widetilde{{\mathcal {L}}}}\) respectively and we may assume that \(K_{{\mathcal {L}}}\) is Cartier.
In particular, around all points of X, we have that \({\mathcal {L}}\) is generated by a vector field v. Thus by [8] we may find a resolution of singularities \(\mu :Y \rightarrow X\) by only blowing up in \({\mathcal {L}}\)invariant centres. Since \({\mathcal {L}}\) has canonical singularities this implies that \(K_{{\mathcal {L}}_Y} = \mu ^*K_{{\mathcal {L}}}\) where \({\mathcal {L}}_Y\) is the transformed foliation. Thus, we may replace X and \({\mathcal {L}}\) by Y and \({\mathcal {L}}_Y\) respectively and we may assume that X is smooth.
We first handle the case where \({\mathcal {L}}_p\) is algebraically integrable for general p, and hence \({\mathcal {L}}\) is algebraically integrable. In this case we get a rational map \(g:X \dashrightarrow S\) such that the fibres of g induce \({\mathcal {L}}\). Again, by [8] we may find a resolution of singularities of g, \(\mu :X' \rightarrow X\), by blowing up in \({\mathcal {L}}\)invariant centres and let \(f':X' \rightarrow S\) be the induced map. Observe that \(\mu ^*K_{{\mathcal {L}}} = K_{{\mathcal {L}}'}\) where \({\mathcal {L}}'\) is the transformed foliation and we may argue as in Lemma 12.3 to show that \(\kappa (K_{{\mathcal {L}}'}) = 0\) and so \(\kappa (K_{{\mathcal {L}}}) = 0\).
By Theorem 12.12 we may find a cover \(\tau _p:{\widetilde{X}}_p\rightarrow X_p\) ramified along invariant divisors and a birational contraction \(\mu _p:{\widetilde{X}}_p \rightarrow Y_p\) such that \(Y_p\) falls into one the types listed in Theorem 12.12. We now argue based on which case \(Y_p\) in falls into. Note that, since the surfaces appearing in Cases (2), (3) and (4) of Theorem 12.12 are not deformation equivalent, we may consider the four cases separately. Observe also that in Case (2) that \(\tau _p\) is an isomorphism, unless \({\mathcal {L}}_p\) is algebraically integrable. In Case (2) we also have that \(\mu _p\) is an isomorphism since the foliation on \(Y_p\) is smooth, hence terminal, and \(c_1(K_{\tau _p^{1}{\mathcal {L}}_p}) = 0\).
In Case (1), we see that \({\mathcal {L}}\) is algebraically integrable and so we are done.
Case (2) does not occur by assumption.
In Case (3), we run a \(K_X\)MMP over B, call it \(\phi :X \dashrightarrow X'\) and let \({\mathcal {L}}'\) be the transformed foliation on \(X'\). Each step of this MMP is \({\mathcal {L}}\)trivial. Thus, it suffices to check that \(\kappa (K_{{\mathcal {L}}'}) = 0\). A general fibre is uniruled, but not rationally connected, and so this MMP terminates in a Mori fibre space \(g:X' \rightarrow S\) over B with \(\text {dim}(S) = 2\). Let \(h:S\rightarrow B\) be the induced morphism. As in the proof of Lemma 12.6 we see that \(\phi \) only contracts curves tangent to \({\mathcal {L}}\). Note that since \(K_{{\mathcal {L}}}\) is Cartier we also have that \(K_{{\mathcal {L}}'}\) is Cartier, and so \(K_{{\mathcal {L}}'} = g^*M\) where M is a Cartier divisor on S with \(c_1(M)=0\).
By assumption, we know that the fibres of g are generically not tangent to \({\mathcal {L}}'\) and so we have a nonzero morphism
Since \(c_1(M) = 0\) this immediately implies that for a general \(p \in B\) that \(M\vert _{S_p} \cong T_{S/B}\vert _{S_p}\), where \(S_p\) is the fiber over p.
Since \(\rho (X'/S) = 1\) and \(K_{{\mathcal {L}}'}\) is gtrivial, we see that \((g_*{\mathcal {L}}')^{**}\) is a rank one reflexive sheaf and \(c_1((g_*{\mathcal {L}}')^{**}) =0\). Thus, we have \((g_*{\mathcal {L}}')^{**} = T_{S/B}(\sum a_iF_i)\) where \(F_i\) are supported on fibres of \(S \rightarrow B\).
Since \(c_1(T_{S/B}(\sum a_iF_i)) = 0\) and noting that \(T_{S/B}^* = K_{S/B}  R\) where R is the ramification divisor of h, we have
Thus,
for some \(\mathbb {Q}\)divisor M on B such that \(c_1(M)=0\). We apply [6, Theorem 3.5] to conclude that \(M\sim _{\mathbb {Q}}0\) and hence \(K_{{\mathcal {L}}}\) is torsion.
In Case (4), we proceed in a similar fashion to the above case with a few modifications. We first claim that we may assume without loss of generality that \(\rho (X_p) \ge 2\). Since \({\mathcal {L}}_p\) is singular for a general p it follows that there exists a component \(\Sigma \subset {\text {Sing}} \, {\mathcal {L}}\) such that \(\Sigma \) dominates B. Let \(b:{\widetilde{X}} \rightarrow X\) be a blow up centred in \(\Sigma \) followed by a resolution of singularities which is a sequence of blow ups in foliation invariant centres, again which exists by [8]. Let \(\widetilde{{\mathcal {L}}}\) be the pulled back foliation and observe that \(K_{\widetilde{{\mathcal {L}}}} = b^*K_{{\mathcal {L}}}\). By construction we have \(\rho ({\widetilde{X}}_p) \ge 2\), \(c_1(K_{\widetilde{{\mathcal {L}}}}) = 0\) and \(\widetilde{{\mathcal {L}}}\) has canonical singularities. So we may freely replace X by \({\widetilde{X}}\) as required.
For general p let \(D_{0, p}\) and \(D_{\infty , p}\) denote two \({\mathcal {L}}_p\)invariant divisors which are fibres in a \(\mathbb {P}^1\)fibration structure on \(X_p\).
First, assume that there exist two divisors \(D_0\) and \(D_\infty \) on X such that \(D_0\cap X_p = D_{0, p}\) and \(D_\infty \cap X_p = D_{\infty , p}\) for general p and that if we run a \(K_X\)MMP \(\phi :X \dashrightarrow X'\) over B, we terminate in a Mori fibre space \(g:X' \rightarrow S\) where S is a surface, \(D_0\) and \(D_\infty \) are not contracted by \(\phi \) and g contracts the strict transforms of \(D_0\) and \(D_\infty \), call them \(D'_0\) and \(D'_\infty \). Arguing as above we see that \(c_1((g_*{\mathcal {L}})^{**}) = T_{S/B}(\Sigma _0  \Sigma _\infty \sum a_iF_i)\) where \(\Sigma _0 = g(D'_0)\) and \(\Sigma _\infty =g(D'_\infty )\) are reduced divisors dominating B and \(F_i\) are supported on fibres of \(S \rightarrow B\).
Since \(c_1(T_{S/B}(\Sigma _0  \Sigma _\infty \sum a_iF_i)) = 0\) and noting that \(T_{S/B}^* = K_{S/B}  R\) where R is the ramification divisor of h we have
Thus,
We again apply [6, Theorem 3.5] (see also [18, Theorem 1.3]) to conclude that \(M\sim _{\mathbb {Q}}0\) and hence \(K_{{\mathcal {L}}}\) is torsion.
Thus, to conclude it suffices to arrange the existence of \(D_0\) and \(D_\infty \) and such a Mori fibre space structure. Let \(p \in B\) be a general point. Observe that \({\mathcal {L}}\) is singular and so by assumption \(\rho (X_p) \ge 2\). Then we may find a sufficiently small étale neighborhood U of p such that \(X \times _B U\) admits divisors \(D_0\) and \(D_\infty \) as required and an MMP over U terminating in the desired Mori fibre space structure. Thus, we may find a (possibly ramified) cover \({\overline{B}} \rightarrow B\) such that \({\overline{X}} = X \times _B {\overline{B}}\) admits such an MMP over \({\overline{B}}\). Let \(\overline{{\mathcal {L}}}\) be the pulled back foliation. Observe that \(\sigma :{\overline{X}} \rightarrow X\) is ramified only along \(\overline{{\mathcal {L}}}\)invariant divisors and so \(K_{\overline{{\mathcal {L}}}} = \sigma ^*K_{{\mathcal {L}}}\) and thus we may freely replace X and \({\mathcal {L}}\) by \({\overline{X}}\) and \(\overline{{\mathcal {L}}})\) respectively and our result follows. \(\square \)
Corollary 12.16
Suppose we have a morphism \(f:X \rightarrow C\) where C is a smooth curve of positive genus and suppose that the general fibre does not admit a quasiétale cover by an abelian surface.
Then \(\kappa (K_{{\mathcal {F}}}) = 0\).
Proof
By Lemma 12.3, we may assume that \({\mathcal {F}}\) is generically transverse to f. Let \({\mathcal {L}}\) be the foliation in curves tangent to both \({\mathcal {F}}\) and the fibration \(f:X \rightarrow C\). We have an exact sequence
where Z is supported on the components of fibres which are \({\mathcal {F}}\)invariant and on subvarieties of codimension at least 2. Thus, we have \(K_{{\mathcal {F}}} = K_{{\mathcal {L}}}+f^*K_C+D\) where \(D \ge 0\) is the codimension one part of Z.
By Lemma 12.7, \({\mathcal {F}}\) is not uniruled and so we know that \(K_{{\mathcal {L}}}\) is pseudoeffective. By assumption, \(f^*K_C\) is nef, and since \(K_{{\mathcal {F}}}\) is numerically trivial we must have C is genus one and \(D = 0\). In particular, since \(D = 0\) we see that no component of a fibre of f can be invariant under \({\mathcal {F}}\).
So \(K_{{\mathcal {L}}}\sim _{\mathbb {Q}} K_{{\mathcal {F}}}\) and, in particular, it suffices to prove that \(K_{{\mathcal {L}}}\) is torsion. Observe that \({\mathcal {L}}\) has canonical singularities above the generic point of C. We may now apply Lemma 12.15 to conclude. \(\square \)
Proposition 12.17
Suppose \({\mathcal {F}}\) has canonical singularities and \(c_1(K_{{\mathcal {F}}})= 0\).
Then \(\kappa (K_{{\mathcal {F}}}) = 0\).
Proof
First, assume that \(K_X\) is pseudoeffective. Then \(\kappa (K_X) \ge 0\) and we apply Lemma 12.13 to conclude.
Now, assume that \(K_X\) is not pseudoeffective. By Lemma 12.6, we may assume that X admits a Mori fibre space \(f:X \rightarrow B\). If B is a surface with \(\kappa (B) \ge 0\) or f is tangent to \({\mathcal {F}}\), we may apply Lemmas 12.9 and 12.8 to conclude (note that since \(f:X \rightarrow B\) is a Mori fibre space it follows that \(f^{1}(b)\) does not contain a divisor for any b and that B is klt since X is). If B is a rationally connected surface then X is rationally connected and therefore it is immediate that \(K_{{\mathcal {F}}}\) is torsion.
Otherwise, we may find a map \(X \rightarrow C\) where C is a curve. If C is of positive genus then observe that if F is a general fibre then \(K_F \ne 0\) and so it does not admit a quasiétale cover by an abelian surface and we conclude by Corollary 12.16. Otherwise X is rationally connected and again it is immediate that \(K_{{\mathcal {F}}}\) is torsion. \(\square \)
Proof of Theorem 12.1
Proof
If \(\Delta \ne 0\) or \({\mathcal {F}}\) is not canonical we apply Proposition 12.4.
If \(\Delta = 0\) and \({\mathcal {F}}\) is canonical we apply Proposition 12.17. \(\square \)
References
Araujo, C., Druel, S.: On Fano foliations. Adv. Math. 238, 70–118 (2013)
Araujo, C., Druel, S.: On codimension 1 del Pezzo foliations on varieties with mild singularities. Math. Ann. 360(3–4), 769–798 (2014)
Araujo, C., Druel, S.: Characterization of generic projective space bundles and algebraicity of foliations. Comment. Math. Helv. 94(4), 833–853 (2019)
Atiyah, M.F., Macdonald, I.G.: Introduction to Commutative Algebra. AddisonWesley, London (1969)
Ambro, F.: Shokurov’s boundary property. J. Differ. Geom. 67(2), 229–255 (2004)
Ambro, F.: The moduli \(b\)divisor of an lctrivial fibration. Compos. Math. 141(2), 385–403 (2005)
Birkar, C., Cascini, P., Hacon, C., M\(^{{\rm c}}\)Kernan, J.: Existence of minimal models for varieties of log general type. J. Am. Math. Soc. 23(2), 405–468 (2010)
Bierstone, E., Milman, P.D.: Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant. Invent. Math. 128(2), 207–302 (1997)
Brunella, M.: Birational Geometry of Foliations. Monografías de Matemática. Instituto de Matemática Pura e Aplicada (IMPA), Rio de Janeiro (2000)
Cano, F.: Reduction of the singularities of codimension one singular foliations in dimension three. Ann. Math. (2) 160(3), 907–1011 (2004)
Cano, F., Cerveau, D.: Desingularization of nondicritical holomorphic foliations and existence of separatrices. Acta Math. 169(1–2), 1–103 (1992)
Cano, F., Mattei, J.: Hypersurfaces intégrales des feuilletages holomorphes. Ann. l’inst. Fourier 42(1–2), 49–72 (1992)
Corti, A.: 3Fold flips after Shokurov. In: Corti, A. (ed.) Flips for 3Folds and 4Folds, pp. 13–40. Oxford University Press, Oxford (2005)
Campana, F., Păun, M.: Foliations with positive slopes and birational stability of orbifold cotangent bundles. Publ. Math. Inst. Hautes Études Sci. 129, 1–49 (2019)
Druel, S., Ou, W.: Codimension one foliations with trivial canonical class on singular spaces II. arXiv:1912.07727 (2019)
Druel, S.: Codimension \(1\) foliations with numerically trivial canonical class on singular spaces. Duke Math. J. 170(1), 95–203 (2021)
Elkik, R.: Solutions d’équations à coefficients dans un anneau hensélien. Ann. Sci. École Norm. Sup. (4) 6(553–603), 1973 (1974)
Floris, E.: Inductive approach to effective bsemiampleness. Int. Math. Res. Not. IMRN 6, 1465–1492 (2014)
Fujita, T.: Semipositive line bundles. J. Fac. Sci. Univ. Tokyo Sect. IA Math. 30(2), 353–378 (1983)
Fujino, O.: Fundamental theorems for the log minimal model program. Publ. Res. Inst. Math. Sci. 47(3), 727–789 (2011)
Greb, D., Kebekus, S., Kovács, S., Peternell, T.: Differential forms on log canonical spaces. Publ. Math. Inst. Hautes Études Sci. 114, 87–169 (2011)
Grothendieck, A.: Éléments de géométrie algébrique. III. Inst. Hautes Études Sci. Publ. Math. 11, 91 (1961)
Hartshorne, R.: Algebraic Geometry. Springer, Berlin (1977)
Hartshorne, R.: Stable reflexive sheaves. Math. Ann. 254(2), 121–176 (1980)
Kollár, J., Mori, S.: Birational Geometry of Algebraic Varieties, Volume 134 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge (1998)
Kollár, J.: Projectivity of complete moduli. J. Differ. Geom. 32(1), 235–268 (1990)
Kollár, J.: Kodaira’s canonical bundle formula and adjunction. In: Flips for 3Folds and 4Folds, Volume 35 of Oxford Lecture Series Mathematics and its Applications, pp. 134–162. Oxford University Press, Oxford (2007)
Kollár, J.: Singularities of the Minimal Model Program, Volume 200 of Cambridge Tracts in Mathematics. Cambridge University Press, Cambridge (2013). With a collaboration of Sándor Kovács
Loray, F., Pereira, J., Touzet, F.: Singular foliations with trivial canonical class. Invent. Math. 213(3), 1327–1380 (2018)
McQuillan, M.: Semistable reduction of foliations (2005). IHES/M/05/02
McQuillan, M.: Canonical models of foliations. Pure Appl. Math. Q. 4(3, Part 2), 877–1012 (2008)
Mendes, L.G.: Kodaira dimension of holomorphic singular foliations. Bol. Soc. Brasil. Mat. (N.S.) 31(2), 127–143 (2000)
M\(^{{\rm c}}\)Kernan, J., Prokhorov, Y.: Threefold thresholds. Manuscr. Math. 114(3), 281–304 (2004)
Nakayama, N.: The lower semicontinuity of the plurigenera of complex varieties. In: Algebraic Geometry, Sendai, 1985, Volume 10 of Adv. Stud. Pure Math., pp. 551–590. NorthHolland, Amsterdam (1987)
Pereira, J.V.: Fibrations, divisors and transcendental leaves. J. Algebraic Geom. 15(1), 87–110 (2006). With an appendix by Laurent Meersseman
Prokhorov, Y.G., Shokurov, V.V.: Towards the second main theorem on complements. J. Algebraic Geom. 18(1), 151–199 (2009)
Raynaud, M.: Anneaux locaux henséliens. Lecture Notes in Mathematics, vol. 169. Springer, Berlin (1970)
Seidenberg, A.: Reduction of singularities of the differential equation \(A\, dy=B\, dx\). Am. J. Math. 90, 248–269 (1968)
Shokurov, V.V.: Threedimensional log perestroikas. Izv. Ross. Akad. Nauk Ser. Mat. 56(1), 105–203 (1992)
Shokurov, V.V.: Prelimiting flips. Proc. Steklov Inst. Math. 240, 82–219 (2003)
Spicer, C.: Higher dimensional foliated Mori theory. Compos. Math. 156(1), 1–38 (2020)
Temkin, M.: Functorial desingularization over \( Q\): boundaries and the embedded case. Isr. J. Math. 224(1), 455–504 (2018)
Touzet, F.: On the structure of codimension 1 foliations with pseudoeffective conormal bundle. In: Foliation Theory in Algebraic Geometry, Simons Symp., pp. 157–216. Springer, Cham (2016)
Acknowledgements
Both the authors were funded by EPSRC. We would like to thank J. \(\hbox {M}^\mathrm{c}\)Kernan, M. McQuillan, J. V. Pereira and R. Svaldi for many useful discussion. We are particularly grateful to the referees for carefully reading the paper and to help us to improve the presentation of the paper considerably. The first author would like to thank the National Center for Theoretical Sciences in Taipei and Professor J. A. Chen for their generous hospitality, where some of the work for this paper was completed.
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.
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
Cascini, P., Spicer, C. MMP for corank one foliations on threefolds. Invent. math. 225, 603–690 (2021). https://doi.org/10.1007/s00222021010371
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00222021010371
Mathematics Subject Classification
 14E30
 37F75