arXiv:2103.02780v2 [math.AG] 29 Mar 2021 aite.I rdcsta vr rjcievariety projective every that predicts It varieties. X a)and Yau) eso fteMPfrhlmrhcflain nsurfaces. on foliations holomorphic for MMP foliation the of version a that hoe np 2]ad[c0,ScinIV.5]). 1.1. Section Theorem [McQ08, on and foliations 122] of p. models on minimal Theorem of explic classification surfaces rather the in on is step Foliations classification this dimension. moreover, numerical invariants; and Kodaira as bain,fo hs ftetreclasses: three the be of should those varieties from algebraic fibrations, all speaking, informally So, ata nlgeo hoe 1.1. Theorem of analogue partial case the in example fo for theorems structure dimensions, some Moreover, established. been has hs eut ugs htteMPtp lsicto o c for classification MMP-type the dimension. that suggest results These iglrte and singularities iesosw ae o xml,tefloigterm[GPR 1.2. theorem Theorem following the conjectu example, Green–Griffiths for have, the we with dimensions connection Entire wh in Dem97]). studied in [Kob70, context, been e.g. Another (see Tou16]). hyperbolicity Kobayashi [McQ08, (see foliations for ewe oiiiyof positivity between image X ′ ups htteeeit eeial odgnrt mer nondegenerate generically a exists there that Suppose . h iia oe rga MP soeo h angiigpri guiding main the of one is (MMP) Program Model Minimal The h ok fBuel Bu7 r0,Bu5,Mne [Men00] Mendes Bru15], Bru03, [Bru97, Brunella of works The eety nasre fwrs[p2,C1,S1]teMPfor MMP the SS19] CS18, [Spi20, works of series a in Recently, oiae yteaoersls ewudlk odsrb cod describe to like would we results, above the by Motivated h etn fteaoetermi neetn rmseveral from interesting is theorem above the of setting The hc sas idysnua n ihrhas either and singular mildly also is which (1) (2) K F f OAD LSIIAINO OIESO OITOSON FOLIATIONS 1 CODIMENSION OF CLASSIFICATION TOWARDS F F oua foliation, modular ( aoia class canonical o-iglri oieso 2. codimension in non-singular n aignntiilagbacpr.W lodsrb pur describe also We resu classification part. a algebraic prove non-trivial We having type. and general of threefolds on Abstract. F C snfadntbg hneither Then big. not and nef is K 2 stasedna n h pair the and transcendental is sagbaclyitgal n nue ya stiilfib isotrivial an by induced and integrable algebraically is ) ihml iglrte ti osbet en h canonica the define to possible is it singularities mild with X sZrsidnein Zariski-dense is eaie(Fano). negative Let Let ν ( eamt lsiycdmnin1foliations 1 codimension classify to aim We K F F F K K eacdmninoeflainwt aoia singularitie canonical with foliation one codimension a be ) F eaflainwt eue iglrte nasurface a on singularities reduced with foliation a be X < en o i nmnflso eea yei n ieso,a dimension, any in type general of manifolds on big not being and κ ntreod fgnrltp.I hspprw r bet pr to able are we paper this In type. general of threefolds on 3 ( K HEFLSO EEA TYPE GENERAL OF THREEFOLDS F K X = ) F n agn to tangent and seeg C1,C1]frrltdtpc) h alr fab of failure the topics); related for CP19] [CP15, e.g. (see −∞ K F ν , ( S, ≡ 1. LKE GOLOTA ALEKSEI ( K K F LT8 r1]or Dru18] [LPT18, 0 X Introduction F ) oiie(eea type), (general positive 1 = ) K sioopi oaHletmdlrsraewt Hilbert a with surface modular Hilbert a to isomorphic is X X F ihml iglrte hudhv iainlmodel birational a have should singularities mild with 1 ′ . e mnmlmdl ramt oifie space. fiber Mori a admits or model) (minimal nef hntecnnclcasof class canonical the Then . tfrflain nto eea ye.Tefinal The type”. general of “not foliations for it F osrce,uigbrtoa qiaecsand equivalences birational using constructed, ihcnnclsnuaiisand singularities canonical with oieso oitosaekoni higher in known are foliations 1 codimension r ufcsi h olwn hoe se[Bru03, (see theorem following the is surfaces uvstnett oitoso ufcshave surfaces on foliations to tangent curves tfrflain aifigteeconditions these satisfying foliations for lt l rncnetlfoliations transcendental ely dmnin1flain hudhl nany in hold should foliations 1 odimension c hs oitosapa,i h td of study the is appear, foliations these ich e(e MQ8 r9,D1].I higher In DR15]). Bru99, [McQ98, (see re mrhcmap omorphic nlgul otecs fvreis o a for varieties, of case the to Analogously 3 hoe F]. Theorem 13, di lsicto codn othese to according classification a admit onso iw tivle h interplay the involves It view. of points mnin1foliations 1 imension oieso oitoso threefolds on foliations 1 codimension − n cula MQ8 established [McQ08] McQuillan and ration, K class l F K cpe ntesuyo algebraic of study the in nciples ml A1,A1,AD17b]. AD17, [AD13, ample X κ ueial rva (Calabi– trivial numerically ( K S f K F napoetv threefold projective a on s : fgnrltp.Suppose type. general of F smn that ssuming C n t nainssuch invariants its and = ) 2 F 99K ν F ν F sntbig. not is ( ( v h following the ove K K X ihthe with ihcanonical with F F uhta the that such ) 1 = ) F < is 3 undance ; 2 ALEKSEI GOLOTA
Theorem (A). Let F be a codimension one foliation with canonical singularities on a threefold X of general type. Suppose that KF is not big and the algebraic rank ra(F ) is positive. Then one of the following two cases occurs. (1) F is algebraically integrable. Then, up to a generically finite morphism, the threefold X splits as a product S × C of a surface S and a curve C, and F is the relative tangent bundle of the projection S × C → C. We have κ(KF )= ν(KF )=2. (2) The algebraic rank of F is equal to 1. Then, up to a generically finite morphism, the threefold X splits as a product S × C of a Hilbert modular surface S and a curve C, and F is the pullback via the projection S × C → S of a Hilbert modular foliation G on S. We have κ(KF ) = −∞ and ν(KF )=2.
At the moment we do not know how to classify purely transcendental foliations with canonical sin- gularities and not of general type on threefolds of general type. However, if we restrict ourselves to foliations regular in codimension 2, then we are able to prove a result which confirms our expectations. The starting point for us is another remarkable theorem by Brunella (see [Bru97, pp. 587-588]).
Theorem 1.3. Let F be a regular foliation on a minimal surface X of general type. Then the conormal ∗ bundle NF is pseudoeffective (even numerically effective). This theorem essentially follows from Baum–Bott formula, Riemann–Roch theorem and intersection theory. Assuming that F is non-singular in codimension 2, we use the Baum–Bott formula and inter- section computations in a similar way to study purely transcendental foliations in higher dimensions. Together with Lefschetz-type theorems, it allows us to “lift” positivity of the conormal bundle from hyperplane sections. Then we use classification results of Touzet [Tou13, Tou16] to describe foliations from this class.
Theorem (B). Let X be a smooth projective manifold of general type, dim(X) = n > 2. Let F be a codimension 1 foliation on X. Suppose that
(1) KF is not big; (2) F is purely transcendental; (3) codimX Sing(F ) > 3.
Then the foliation F is induced by a Hilbert modular foliation via a morphism X → MH , generically finite onto its image.
Our paper is organized as follows. In section 2 we gather the information on Kodaira and numerical dimensions for Q-divisors, basic notions from foliation theory and foliated birational geometry. In section 3 we recall some important definitions and results concerning fibrations with fibers of general type. Then we use these results to prove Theorem (A), see Proposition 3.9 and Theorem 3.10 below. In section 4 we prove Theorem (B) (see Theorem 4.1) and pose some questions for future research.
Acknowledgements. This paper is a part of a project on hyperbolicity and foliations we have been working on for a long time. We would like to thank our advisor Constantin Shramov for encouraging us to write down these results. We also thank Jorge Vitório Pereira, Erwan Rousseau, Jean-Pierre Demailly, Misha Verbitsky and Vladimir Lazić for very helpful discussions on various topics related to this work.
2. Preliminaries 2.1. Kodaira and numerical dimensions. In this subsection we recall the notions of Kodaira and numerical dimension for Q-divisors.
Definition 2.1. Let D be a Q-divisor on a normal projective variety X. The Kodaira dimension (or Kodaira–Iitaka dimension) of D is defined as
0 h (X, OX (⌊mD⌋) κ(X,D) = max{k | lim sup k > 0} m→∞ m
0 if h (X, OX (⌊mD⌋)) > 0 for some m and κ(X,D)= −∞ otherwise. TOWARDS CLASSIFICATION OF CODIMENSION 1 FOLIATIONS ON THREEFOLDS OF GENERAL TYPE 3
Definition 2.2. Let X be a normal projective variety, D an Q-divisor on X and A an ample divisor. We define the quantity
0 h (X, OX (⌊mD⌋ + A)) ν(D, A) = max k ∈ Z>0 | lim sup k > 0 . m→∞ m The numerical dimension of D is defined to be
ν(D) = max{ν(D, A) | A ample}.
If D is not pseudoeffective then we set ν(D)= −∞.
The main property of ν(D) is that it depends only on the numerical class of a divisor.
Proposition 2.3. We have the following basic properties of Kodaira and numerical dimensions (see [Nak04, Lemma II.3.11, Proposition III.5.7] and [Nak04, Sec. V] for proofs). (1) We have κ(X,D) 6 ν(X,D) 6 n for any Q-divisor D; (2) For a nef Q-divisor D we have ν(X,D) = max{k | Dk · An−k 6=0} (3) If D and E are pseudoeffective Q-divisors then ν(D + E) > max{ν(D), ν(E)}; (4) If f : Y → X is a surjective morphism then κ(Y,f ∗D)= κ(X,D) and ν(Y,f ∗D)= ν(X,D). (5) If ϕ: X → X is a birational morphism and D is a Q-divisor on X then
e κ(X,D)= κ(X, ϕ∗D + E) and ν(X,D)= ν(X, ϕ∗D + E)
for any effective ϕ-exceptionale Q-divisor E. e
We also recall the notion of movable intersection product for pseudoeffective classes from [BDPP13] (see also [Leh13, Sec. 4]).
Theorem 2.4. Let X be a smooth projective variety of dimension n. Denote by E the cone of pseudo- effective (1, 1)-classes on X. Then for every k ∈{1,...,n} there exists a map
k k,k Ei → H>0 (X, R), (L1,L2,...,Lk) → hL1 · L2 · · · Lki iY=1 called the movable intersection product, such that the following properties hold. (1) We have vol(L)= hLin; (2) The movable intersection product is increasing. homogeneous of degree 1 and superadditive in each variable:
hL1 · · · (M + N) · · · Lki > hL1 · · · M · · · Lki + hL1 · · · N · · · Lki.
(3) For k =1 the movable intersection product gives a divisorial Zariski decomposition:
L = PL + NL
where PL = hLi is nef in codimension 1.
Remark 2.5. This product was used in [BDPP13, Definition 3.6] to define another version of numerical dimension for a pseudoeffective class D:
k νBDPP (D) = max{k | hDi 6=0}.
The equivalence of this definition to Definition 2.2 was claimed in [Leh13], see the subsequent corrections in [E16, Les19]. Still, by the results in [Leh13, Sec. 6] we have an inequality
νBDPP (D) 6 ν(D) for any pseudoeffective Q-divisor D. 4 ALEKSEI GOLOTA
2.2. Foliations. In this subsection we recollect basic definitions and facts from foliation theory. General references for this subsection are e.g. [AD13, Bru15]. We denote by X, Y normal and Q-factorial projective varieties over C and by F (resp. G ) coherent sheaves of OX -modules (resp. OY -modules). If E is a coherent torsion-free sheaf of rank r then by det(E ) we denote the reflexive hull ( r E )∗∗. A subset U ⊂ X is called big if the codimension of U in X is at least 2. V
Definition 2.6. A foliation on a variety X is a coherent subsheaf F ⊂ TX which is
• saturated, that is, the quotient TX / F is torsion-free; 2 • closed under the Lie bracket, i. e. the map F → TX / F is zero. The rank r = rk(F ) of the foliation is the rank of theV sheaf F at a general point of X and the codimension of F is q = dim(X) − rk(F ).
A foliation on a smooth variety X is regular if F is a subbundle of TX at every point of X. In general, reg reg let X be the maximal open subset of X such that F |Xreg is regular. Then X is a big subset of X; the complement X \ Xreg is denoted by Sing(F ) and is a closed subscheme of codimension at least 2 (this follows from the fact that F is saturated).
∗∗ Remark 2.7. The normal sheaf to F is defined to be NF = (TX / F ) . Taking the q-th wedge power of ∗ 1 0 1 the map NF ֒→ ΩX gives rise to a q-form ωF ∈ H (X, ΩX ⊗ det NF ) with zero locus of codimension at least two. This twisted q-form is locally decomposable and integrable, which means that locally in the Euclidean topology around a general point of X we have
ωF = ω1 ∧ ω2 ∧···∧ ωq for locally defined 1-forms ω1,...,ωq satisfying the integrability condition dωi ∧ ωF = 0. Conversely, 0 q L any locally decomposable and integrable twisted q-form ω ∈ H (X, ΩX ⊗ ) defines a codimension q F q−1 L foliation. The subsheaf ( TX is obtained as the kernel of the morphism cω : TX → ΩX ⊗ given by contraction with ω. Remark 2.8. We will need the following fact about behaviour of foliations under morphisms and rational maps: • Let f : Y 99K X be a dominant rational map of varieties restricting to a morphism f ◦ : Y ◦ → X◦ where Y ◦ ⊂ Y and X◦ ⊂ X are Zariski open subsets. Let F be a foliation on X given by a 0 q q-form ωF ∈ H (X, ΩX ⊗ det NF ). Then we have an induced q-form q ◦ 0 ◦ ◦ ∗ ◦ ωY ∈ H (Y , ΩY ◦ ⊗ (f ) (det NF |X )) which defines a foliation G on Y ◦. We define the pulled-back foliation f −1 F to be the saturation of G in TY . • Let f : Y → X be a dominant morphism and let G be a foliation on Y . We have an induced ∗ map df : TY → f TX . The foliation G is called projectable under f if for a general point x ∈ X −1 the image dfy(G y) does not depend on the choice of y ∈ f (x) and dim(dfy(G y)) = r = rk(G ). In particular, if f : Y → X is a birational contraction then any foliation G ( TY is projectable under f and induces a foliation F = f∗ G of the same rank on X. • Let Z ⊆ X be a smooth subvariety transverse to a foliation F given by a twisted q-form 0 q ωF ∈ H (X, ΩX ⊗det NF ). Suppose that the restriction of ωF to Z is nonzero. Then we obtain 0 q a nonzero induced q-form ωZ ∈ H (Z, ΩZ ⊗ det NF |Z ). Let B be the maximal effective divisor on Z such that 0 q ωZ ∈ H (Z, ΩZ ⊗ det NF |Z (−B)).
This q-form defines a codimension q foliation F Z on Z. Definition 2.9. Let F be a foliation on a smooth variety X. Since the integrability condition holds for F , the Frobenius theorem implies that for every point x ∈ Xreg there exists an open neighbourhood U = Ux and a submersion p: U → V such that F |U = TU/V . A leaf of F is a maximal connected, reg locally closed submanifold L ⊂ X such that F |L = TL. A leaf L is algebraic if it is open in its Zariski Zar closure or, equivalently, if dim(L) = dim(L ). In this case we use the word “leaf” for the Zariski closure of a leaf as well. TOWARDS CLASSIFICATION OF CODIMENSION 1 FOLIATIONS ON THREEFOLDS OF GENERAL TYPE 5
Definition 2.10 (Tangent and transverse subvarieties). Let W be an irreducible and reduced subvariety reg of X. We say that W is tangent to F if tangent space TW factors through F at all points x ∈ X . A subvariety is transverse to F if it is not tangent to F . If F factors through the tangent space of W then W is called invariant by F . In the special case of a codimension 1 foliation we call a hypersurface tangent to F an invariant hypersurface. Definition 2.11 (Algebraic integrability). A foliation F on X is called algebraically integrable or simply algebraic if the leaf of F through a general point of X is algebraic. An example of an algebraically sat integrable foliation is given by (the saturation of) the relative tangent sheaf F = (TX/Y ) of a fibration f : X → Y where dim(Y ) < dim(X). The leaves of F in this case are just the fibers of f. We say that F is induced by the fibration f. Proposition 2.12 (Rational first integrals). Let F be an algebraically integrable foliation on X. Then there is a unique irreducible subvariety W of the cycle space Chow(X) parameterizing the closure of a general leaf of F . Let V ⊂ W × X be the universal cycle with universal morphisms π : V → W and e: V → X. Then the morphism e is birational and for w ∈ W general e(π−1(w)) ⊂ X is the closure of a leaf of F . The normalization W of W is called the space of leaves of F and the induced rational map X 99K W is called rational first integral of F . In other words, an algebraically integrable foliation f is induced by a fibration on a suitable birational model of X. f Proposition 2.13 (Algebraic and purely transcendental parts). Let F be a foliation on X. Then there exists a normal variety Y with a dominant rational map ϕ: X 99K Y with connected fibers and a foliation G on Y such that • The foliation G is purely transcendental, that i, there is no subvariety tangent to G through a general point of Y ; • We have F = ϕ−1 G . The pair (Y, G ) is unique up to a birational equivalence. The foliation induced by ϕ is called the algebraic part of F and denoted by F alg. The rank of F alg is called the algebraic rank of F ; by construction, it is a birational invariant. Proposition 2.14 (Baum–Bott formula, [BP06]). Let F be a codimension 1 foliation on a complex manifold X of dimension at least 2. We have the following equality in H4(X, C): 2 F c1(NF )= BB( , Y )[Y ], XY where Y ranges over irreducible components of Sing(F ) of codimension 2, and BB(F , [Y ]) is a number, called the Baum–Bott index of F at Y . 2.3. Canonical class and singularities of foliations. Definition 2.15. By the canonical class of a foliation F we denote a linear equivalence class of Weil ∗ divisors KF such that OX (KF ) =∼ det(F ) . We have the relation ∗ KX = KF + det(NF ). Definition 2.16. Let f : Y → X be a birational morphism and let F be a foliation on X. Then we F −1 F have an induced foliation = f on Y . We express the canonical divisor KF as f ∗ F KF = f KF + a(Ei, ,X)Ei e Xi where the sum is over all prime f-exceptionale divisors on Y . The foliation F is said to have canonical (resp., terminal) singularities if all discrepancies a(Ei, F ,X) are nonnegative (resp., positive) for any such birational morphism. Remark 2.17. By property (5) in Proposition 2.3, if F is a foliation with canonical singularities and ϕ: (X, F ) → (X, F ) is a birational morphism, then
e f κ(KF )= κ(KF ) and ν(KF )= ν(KF ). Thus, the class of foliations with canonical singularities is natural to consider in birational geometry. A famous theorem of Seidenberg [Sei68] sayse that any foliation singularitye on a smooth surface can be 6 ALEKSEI GOLOTA
transformed to a reduced singularity by a finite number of blow-ups. For codimension one foliations in dimension 3 there is a resolution theorem of Cano [Can04], in terms of so-called simple foliation singularities. Both reduced and simple foliation singularities are canonical. Remark 2.18. Unlike canonical ones, terminal foliation singularities form a rather restricted class. A result of McQuillan [McQ08, Corollary I.2.2] says that terminal foliations on (normal Q-Gorenstein) surfaces are, up to finite cyclic covers, regular foliations on smooth surfaces. Thus terminal singularities of codimension one foliations on smooth projective varieties are regular in codimension 2. For more details on terminal foliation singularities on threefolds see [SS19, Section 5]. To express the canonical class of an algebraic foliation we recall the notion of ramification (see e.g. [AD17b, Definition 2.5]). Definition 2.19. Let f : X 99K Y be a dominant rational map between normal and Q-factorial projective ◦ ◦ −1 ◦ ◦ varieties. Let Y ⊂ Y be a maximal open subset such that f = f|f −1(Y ◦) : f (Y ) → Y is an equidimensional morphism. Define ◦ ◦ ∗ ◦ ∗ R(f )= ((f ) D − ((f ) D)red) , XD where the sum is over all prime divisors D on Y ◦. The ramification divisor R(f) of f is defined as the Zariski closure of R(f) in X. Proposition 2.20 ([AD17b, 2.5]). Let F be a foliation induced by an equidimensional morphism π : X → Y . Then the canonical class of F is given by the formula
KF = KX/Y − R(f). We also state the Hurwitz formula for codimension one foliations (see e.g. [Spi20, Proposition 3.7]). Proposition 2.21. Let f : X → X be a finite surjective morphism of projective varieties. Let F be a codimension 1 foliation on X and denote by F the induced foliation on X. Then the canonical classes of F and F are related by the formula ∗ KF = f KF + ǫ(D)(rD − 1)D. XD
Here the sum is over prime divisors D on X with ramification index rD, and ǫ(D) is zero if D is F -invariant and 1 otherwise. ∗ In particular, if f : X → X is a ramified cover with F -invariant branch divisor then KF = f KF . We will need an adjunction formula for foliations induced on general hyperplane sections of a projective variety [AD17b, Lemma 2.9]. Proposition 2.22. Let X be a smooth projective variety and let F be a codimension 1 foliation on X. Let A be a very ample divisor on X and take a general element D ∈ |A|. Then F induces a codimension 1 foliation F |D on D such that ∗ ∗ F KF |D = (K + D)|D and NF |D = (NF )|D.
3. Foliations with positive algebraic rank 3.1. Families with general fibers of general type. We start by recalling a few facts about fibrations on varieties of general type. Definition 3.1. A fibration is a proper and surjective map π : X → Y between normal projective varieties, such that the fibers of π are connected or, equivalently, π∗ OX = OY . The fibrations we consider in this section are algebraic parts of our foliations. In particular, general fibers of such fibrations are either curves or surfaces of general type. These fibrations belong to a wider class considered by Kawamata in his work [Kaw85] on the Iitaka conjecture. Namely, he considered fibrations with the geometric generic fiber Xη having a good minimal model. For these fibrations it is possible to define the birational variation and to compare this invariant to the Kodaira dimension of the relative canonical bundle. TOWARDS CLASSIFICATION OF CODIMENSION 1 FOLIATIONS ON THREEFOLDS OF GENERAL TYPE 7
Proposition 3.2. [Kaw85, Theorem 7.2] Let π : X → Y be a fibration such that the geometric generic fiber Xη has a good minimal model. We call a minimal closed field of definition of π a minimal element in the set of all algebraically closed subfields K ⊂ k(Y ) satisfying the condition ∼ Frac(L ⊗K k(Y )) = Frac(k(X) ⊗k(Y ) k(Y )) over k(Y ) for some finitely generated extension L ⊃ K. Then a minimal closed field of definition exists and is unique. Definition 3.3. Let π : X → Y be a fibration as above. We define the birational variation Var(π) as transcendence degree over C of the minimal closed field of definition of π. Remark 3.4. Suppose that the fibration π is semistable and there is a moduli space for the fibers (for example, the fibers are curves or canonically polarized varieties). Then Var(π) is equal to the variation in the sense of moduli theory. Theorem 3.5. [Kaw85, Theorem 1.1] Let π : X → Y be a fibration between smooth projective vari- eties. Suppose that the geometric generic fiber Xη of π has a good minimal model. Then the following inequalities hold:
(1) κ(Y, det(π∗ OX (mKX/Y ))) > Var(π) for some m ∈ N; (2) If L is a line bundle on Y such that κ(Y,L) > 0, then ∗ κ(X, OX (KX/Y ) ⊗ π L) > κ(Xη)+max{κ(Y,L), Var(π)}. Corollary 3.6. [Kaw85, Corollary 1.2] In the assumptions of Theorem 3.5, let F be a general fiber of π. Then we have the inequality
κ(X, OX (KX/Y )) > κ(KF ) + Var(π). We reproduce here a very useful construction from the proof of [CKT16, Theorem 7.1]. Informally speaking, this construction allows us to “eliminate the ramification” of the algebraic part of a foliation F by generically finite base change, preserving the Kodaira and numerical dimension of F alg. Construction 3.7. Let f : X 99K Y be a rational map with connected fibers between normal projective varieties. Then there exists a diagram
X a / X b / X ✤ f e ✤ f ✤ Y / Y / Y Y α β where the maps are as follows: e • b: X → X is a resolution of indeterminacies of f and of singularities of X; • β : Y → Y is an adapted Galois cover of the pair (Y,B), where B is the orbifold branch divisor e of the map f; e • α: Y → Y is a log resolution of the pair (Y,β∗B); • a: X → X is a log resolution of the fiber product Y × X. e e Y As a result, wee obtain a morphism of smooth varieties f : X →e Y and generically finite morphisms b ◦ a: X → X and β ◦ α: Y → Y . Moreover, there exist big open subsets X◦ ⊂ X and Y ◦ ⊂ Y with ◦ ◦ preimages X = (b ◦ a)−1(X◦) and Y = (β ◦ α)−1(Y ◦) also being big and such that
◦ ◦ ∗ ◦ ◦ KX /Y ∼Q (b ◦ a) (KX /Y − R(f)). Remark 3.8. Suppose that we have a fibration f : X → Y satisfying the assumptions of Theorem 3.5. Then Construction 3.7 gives us a morphism f : X → Y . Let us consider the Stein decomposition of f:
f X / Y ❄ ? ❄❄ ⑧⑧ ❄❄ ⑧⑧ g ❄❄ ⑧⑧h ❄ ⑧⑧ Z 8 ALEKSEI GOLOTA
Here the morphism g : X → Z is a fibration and h: Z → Y is finite. Thus we can set Var(π) := Var(g). ∗ By Hurwitz formula we have KZ >h KY , therefore KX/Z
Since G is transcendental, the canonical class KG is pseudoeffective. By [CP19, Theorem 1.3], the canonical class KX/S −R(π) of the algebraic part of F is pseudoeffective as well. We have the inequalities ν(KX/S − R(π)) 6 ν(KF ) 6 2 by our assumption on F . On the other hand, we apply Construction 3.7 to obtain a diagram as before: X / X
f f S / S TOWARDS CLASSIFICATION OF CODIMENSION 1 FOLIATIONS ON THREEFOLDS OF GENERAL TYPE 9
We can use this diagram to estimate the numerical dimension of KX/S − R(π) from below. Indeed, by Corollary 3.6 and Remark 3.8 we obtain
◦ ◦ > > ν(KX/S − R(π)) = ν(KX /S ) κ(KX/S) κ(KF ) + Var(π) = 1 + Var(π), since a general fiber F of π is a curve of general type. Thus we are left with two possibilities: either Var(π) = 0 or Var(π)=1. If Var(π) = 0 then after passing to a finite cover, the threefold X becomes birational to a product S×C of a surface and a curve. In particular, both the surface S and the curve C are of general type. Moreover, F −1 G ∗ ∗ if pS : S × C → S and pC : S × C → C are projections and = pS then KF = pSKG + pC KC. From this formula we see that if KF is not big on X = S × C then KG is not big on S. Since the foliation G is moreover transcendental and the singularities of G are canonical, by Theorem 1.1 we conclude that G is birational to a Hilbert modular foliation on a Hilbert modular surface. The case Var(π) = 0 is thus settled. Suppose now that Var(π) = 1; then since a general fiber F of π is a curve of general type, we nesessarily have that
ν(KX/S − R(π))=2. Again, we apply Construction 3.7 to obtain a morphism π : X → S and induced foliations F and G . By O Remark 3.8 we can apply part (2) of Theorem 3.5 to π, taking L = S(KG ), and obtain > ∗ > 2 κ(KF )= κ(π KG + KX/S) 1+max{Var(π),κ(KG )}, provided that κ(KG ) > 0. Therefore, the foliation G (and therefore G ) is not of general type. To complete the proof, we need to exclude the remaining cases ν(KG ) = 0 and ν(KG )=1. If ν(KG ) = 0 then by the classification theorem of McQuillan [McQ08, Theorem 2 IV.3.6] (see also [Bru15, Theorem 8.2]), we can replace S by a further finite cover followed by a sequence of birational contractions such that the foliation G is given by a holomorphic vector field with isolated zeroes. Let D ⊂ S be a minimal reduced divisor such that the restriction of π is a smooth family over S \ D. Take a minimal log resolution ϕ: (S, D) → (S,D). Then the induced foliation F is logarithmic for the pair (S, D), since the support of D = is snc and every component of D is F -invariant. Moreover, the foliation e e f F is given by a section e e e e e s ∈ H0(S,K−1) ⊂ H0(S,T (− log D)). e G S On the other hand, the restriction of π eis a smooth familye of genuse > 2 curves over the complement e S \ D. Our assumption Var(π) = 1 togethere with Remark 3.4 and Torelli theorem for curves gives us a non-trivial variation of polarized Hodgee structures supported on S \ D. By a result of Brunebarbe e e [Brun18, Theorem 1.2], there exists a section e e σ ∈ H0(S, Symm Ω1 (log D)). S Therefore, the line bundle O (1) is Qe-effective. However,e since there is a section P(Ω1 (log D)) S e s ∈ H0(S,T (− loge D)) = H0(P(Ω1 (log D)), O (−1)), eS S P(Ω1 (log D)) S e e e the logarithmic tangent bundle Te (− log D) has to be trivial.e Then by adjunctione we have S e K + De = π∗(K + D)+ K . e X X S X/S The left hand side of this linear equivalenceg is a big divisore class, while on the right hand side we have e e e e e the sum of a trivial divisor class π∗(K + D) and the class K . By the above discussion we have S X/S ν(K )= ν(K −R(π)) = 2, so the class on the right hand side is not big. We obtain a contradiction, X/S X/S e e e e e which shows that the case ν(KG ) = 0 does not occur. Finally,e e we need to exclude the case ν(KG ) = 1 and Var(π) = 1. In this case we have
ν(KX/S − R(π))=2.
Let us consider the divisorial Zariski decomposition KX/S −R(π)= P +N. Then P is nef in codimension 1 and ν(P ) = 2. By the MMP for foliations on surfaces, we can assume KG to be nef. Then by the 10 ALEKSEI GOLOTA
formula for KF and by properties of the restricted positive product from Theorem 2.4 we obtain 3 ∗ 3 ∗ 2 ∗ 2 3 (1) 0 = vol(KF )= hKF i > hπ KG i +3hπ KG · P i +3hπ KG · P i + hP i = ∗ 2 (2) =0+0+0+3π KG · hP i On the other hand, since ν(P ) = 2, it follows from duality that every movable class orthogonal to hP i2 ∗ is proportional to P . The class π KG is nef of numerical dimension 1 and is obviously not proportional to P . Therefore, π∗KG · hP i2 > 0, which contradicts ν(π∗KG + P ) 6 ν(KF ) = 2. Therefore this case is impossible and the theorem is proved.
4. The case of purely transcendental foliations In this section we consider purely transcendental foliations on smooth projective varieties of gen- eral type. Assuming that the foliation is non-singular in codimension 2, we can obtain the following description for these foliations. Theorem 4.1. Let X be a smooth projective manifold of general type, dim(X) = n > 2. Let F be a codimension 1 foliation on X. Suppose that (1) KF is not big; (2) F is purely transcendental; (3) codimX Sing(F ) > 3.
Then the foliation F is induced by a Hilbert modular foliation via a morphism X → MH , generically finite onto its image. Proof. If X is a surface then by assumption F is regular, therefore canonical (see [AD13]). The statement then follows from Theorem 1.1 with the morphism X → MH being the minimal model of F . Suppose now that dim(X)= n > 3. Step 1: Find a suitable complete intersection surface. By our assumptions, KX is big and KF is not big. From Proposition 2.3 and from the formula
KF = KX + NF we obtain that the normal bundle NF is not pseudoeffective. Since X is smooth, by [BDPP13, Theorem 1.5] this is equivalent to the following condition: there exists a birational model ϕ: X → X and a complete intersection class α = H ∩···∩ H on X such that 1 n−1 e ∗ (3) NF · ϕ∗(H1 ∩···∩ Hn−1)=eϕ NF · H1 · · · Hn−1 < 0.
By Bertini’s theorem we can take the above ample divisors H2,...,Hn−1 and large multiples mi for i ∈{2,...,n − 1} such that a general element
D ∈ |m2H2 ∩···∩ mn−1Hn−1| is a smooth surface. Moreover, since F is purely transcendental, a very general D as above satisfies the following condition: every compact curve C ⊂ D, invariant under F |D, is an intersection C = D ∩ E for an F -invariant hypersurface E ⊂ X. Note that this condition implies that the number of F |D-invariant curves is finite. Indeed, if the number of F |D-invariant curves is infinite, then the number of F -invariant surfaces E ⊂ X is infinite as well. Therefore by Jouanolou’s theorem [Jou78] the foliation F has to be algebraically integrable, which is not the case. ∗ ∗ Step 2: Prove pseudoeffectivity of ϕ NF on D. Recall from Remark 2.8 that we have the relation ∗ ∗ ∗ NF = ϕ NF + E where E is an effective ϕ-exceptional divisor. Therefore, if (ϕ∗N ∗ )| is pseudoeffective then the same e F D ∗ Q is true for NF |D. Let us consider the following -divisors on X: L := ϕ∗N ∗ + εH , ε ∈ Qe . e ε F 1 >0 By the Riemann–Roch theorem we obtain 0 2 2 2 h (D,mLε|D)+ h (D,mLε|D) > Cε · (Lε|D) m TOWARDS CLASSIFICATION OF CODIMENSION 1 FOLIATIONS ON THREEFOLDS OF GENERAL TYPE 11 for a positive constant Cε and m large and sufficiently divisible. The intersection number is equal to
2 ∗ ∗ 2 ∗ ∗ 2 ∗ ∗ 2 2 (4) (Lε|D) = (ϕ NF |D + εH1|D) = ((ϕ NF ) +2εϕ NF · H1 + ε H1 ) · D = ∗ ∗ 2 ∗ ∗ 2 = (ϕ NF ) · m2H2 · · · mn−1Hn−1 +2εϕ NF · H1 · m2H2 · · · mn−1Hn−1 + ε H1 · m2H2 · · · mn−1Hn−1. The second summand in the above equality is positive by the condition (3). The third one is also positive, since Hi are ample divisors. As for the first summand, by the projection formula we have ∗ ∗ 2 ∗ ∗ ∗ 2 (ϕ NF ) · H2 · · · Hn−1 = NF · ϕ∗(ϕ NF · H2 · · · Hn−1)= NF · ϕ∗(H2 ∩···∩ Hn−1).
By our assumption codimX Sing(F ) > 3 and by the Baum–Bott formula we have 2 2 (5) NF · ϕ∗(H2 ∩···∩ Hn−1)=0 since NF ≡ 0. 2 Thus (Lε|D) > 0 for all ε ∈ Q>0. Moreover, by Serre duality and by the condition (3) we have 2 0 ∗ h (D,mLε|D)= h (D,KD + mϕ NF − mεH1)=0 for m large enough. Therefore for every ε ∈ Q>0 we obtain 0 2 2 h (D,mLε|D) > C · (Lε|D) m > 0 ∗ ∗ for m large and sufficiently divisible (depending on ε). So the class of L0|D = ϕ NF |D is a limit of classes of Q-effective divisors, hence it is pseudoeffective. Then the conormal line bundle ∗ ∗ ∗ ∗ N = N |D = (ϕ NF + E)|D F|D F is pseudoeffective as well. e e Step 3: Case-by-case analysis. By the classification result of Touzet [Tou13, Proposition 2.14], we ∗ have three possibilities for the numerical and Kodaira dimensions of NF |D: ∗ (1) ν(NF |D)=0; (2) ν(N ∗ | )=1,κ(N ∗ | )=1; e F D F D ∗e ∗ (3) ν(NF |D)=1,κ(NF |D)= −∞. We considere these threee cases separately. e∗ e ∗ ∗ ∗ ∗ ∗ Case ν(NF |D) = 0. Since ϕ NF |D is pseudoeffective and NF |D = (ϕ NF + E)|D, it follows that ∗ ∗ ∗ ∗ ν(ϕ NF |D) = 0. We consider the Zariski decomposition (ϕ NF )|D = L+ i aiCi, where L is numerically trivial and Cei are exceptional curves on D. We obtain e P ∗ ∗ 2 ∗ ∗ 2 (ϕ NF |D) = (ϕ NF ) · m2H2 · · · mn−1Hn−1 = 0 (by the equality (5)) (6) 2 2 2 = L + ( aiCi) = ( aiCi) . X X ∗ ∗ Since the Gram matrix of {Ci} is negative definite, we obtain that Ci = 0, so that ϕ NF |D = L ≡ 0. By the Lefschetz hyperplane section theorem the map i∗ : H2(X, C) → H2(D, C) is injective, therefore ∗ ∗ ∗ ∗ we have ϕ N ≡ 0 on X. However, this implies ν(ϕ K ) = ν(ϕ KF ) = n, which contradicts our F X e assumptions. ∗ e ∗ Case ν(NF |D)=1,κ(NF |D) = 1. In this case we apply a result of Bogomolov [Bog79, Lemma 12.4] and obtain that F |D is algebraically integrable. However, the algebraic reduction of F |D is induced by F e e F that of (see [PS20,f Lemma 4]), so the algebraic rank of has to be positive, whichf is not the case by assumption. f ∗ ∗ f Case ν(NF |D)=1,κ(NF |D)= −∞. By a theorem of Touzet [Tou16, Theorem 1], there exists a map N f : D → MH , where MH = D /Γ is a Hilbert modular variety, and F |D is the pullback via f of one of the Hilbert modulare foliationse on M . The map f is constructed from a monodromy representation H f ρD : π1(D \ Supp(ND)) → PSL2(C) using the Corlette–Simpson correspondence. Here ND is the negative part in the Zariski decomposition ∗ of NF |D. By our assumption on D we have ND = NX |D where NX is a divisor on X with Supp(NX ) being F -invariant. Applying the Lefschetz hyperplane section theorem for quasi-projectivee varieties [HL85,e Theorem 1.1.1], we obtain that e e e f
π1(D \ (Supp(ND))) ≃ π1(X \ Supp(NX )). e e 12 ALEKSEI GOLOTA
Therefore we have a representation of π1(X \ Supp(NX )) satisfying all the assumptions used in the proof of Theorem 1 in [Tou16]. By the same argument as in loc. cit. we can construct a map f : X → M e X H F e such that is induced via fX by one of the Hilbert modular foliations on MH . In particular,e the conormal bundle N ∗ is pseudoeffective. The map f has to be generically finite onto itse image, since f F X F is purely transcendental. e ∗ ∗ Finally, the conormale bundle NF = ϕ∗NF is pseudoeffective as well. From the above analysis it ∗ ∗ follows that the only possible case is ν(NF ) = 1 and κ(NF )= −∞. Applying [Tou16, Theorem 1], we obtain the desired conclusion. e Finally, we list some questions which are natural to ask in view of our results. Question 1. Let F be a purely transcendental foliation of codimension 1 on a threefold X of general type. Suppose that F has canonical singularities and ν(KF ) < 3. Is the conormal (or log conormal, for some F -invariant boundary) bundle always pseudoeffective in this case? The logarithmic version of Touzet’s theorem [Tou16, Theorem 2] gives an affirmative answer to this question for singular Hilbert modular foliations. Question 2. Let F a foliation be as in the previous question. Can the numerical dimension be equal to 1? More generally, if X is an n-dimensional variety of general type, what is the minimal numerical dimension of a foliation F on X? Question 3. Let F be a codimension 1 foliation with canonical singularities on a projective threefold. Suppose that κ(KF ) > 0; does it follow that κ(KF )= ν(KF )? References
[AD13] Carolina Araujo and Stéphane Druel. On Fano foliations. Advances in Mathematics 238 (2013) 70–118. [AD17] Carolina Araujo and Stéphane Druel. Codimension 1 Mukai foliations on complex projective manifolds. J. Reine Angew. Math. 727 (2017), 191–246. [AD17b] Carolina Araujo and Stéphane Druel. Characterization of generic projective space bundles and algebraicity of foliations. ArXiv e-prints arXiv:1711.10174. [Bog79] Fedor Bogomolov. Holomorphic tensors and vector bundles on projective varieties. Math. USSR-Izv., 13:3 (1979), 499–555. [BDPP13] Sébastien Boucksom, Jean-Pierre Demailly, Mihai Păun and Thomas Peternell. The pseudo-effective cone of a compact Kähler manifold and varieties of negative Kodaira dimension. J. Algebraic Geom. 22 (2013), no. 2, 201–248. [Brun18] Brunebarbe, Yohan. Symmetric differentials and variations of Hodge structures. J. Reine Angew. Math. 743 (2018), 133–161. [Bru97] Marco Brunella. Feuilletages holomorphes sur les surfaces complexes compactes. Annales scientifiques de l’École Normale Supérieure, Série 4, Tome 30 (1997) no. 5, pp. 569-594. [Bru99] Marco Brunella. Courbes entières et feuilletages holomorphes. Enseign. Math. (2) 45 (1999), no. 1-2, 195–216. [Bru03] Brunella, Marco Subharmonic variation of the leafwise Poincaré metric. Invent. Math. 152 (2003), no. 1, 119–148. [Bru15] Brunella, Marco Birational geometry of foliations. IMPA Monographs, 1. Springer, Cham, 2015. xiv+130 pp. [BP06] Brunella, Marco and Perrone, Carlo. Exceptional singularities of codimension one holomorphic foliations. Publ. Mat. 55 (2011), 295–312. [CP15] Frédéric Campana and Mihai Păun. Orbifold generic semi-positivity: an application to families of canonically polarized manifolds. Annales de l’institut Fourier, 65 no. 2 (2015), p. 835-861. [CP19] Campana, Frédéric; Păun, Mihai. Foliations with positive slopes and birational stability of orbifold cotangent bundles. Publ. Math. Inst. Hautes Études Sci. 129 (2019), 1–49. [Can04] Cano, Felipe. Reduction of the singularities of codimension one singular foliations in dimension three. Ann. of Math. 160 (2004), 907–1011. [CKT16] Benoît Claudon, Stefan Kebekus, Behrouz Taji. Generic positivity and applications to hyperbolicity of moduli spaces. ArXiv e-prints arXiv:1610.09832. [CS18] Cascini, Paolo and Spicer, Calum. MMP for co-rank one foliations on threefolds. ArXiv e-prints arXiv:1808.02711. [Dem97] Jean-Pierre Demailly. Algebraic criteria for Kobayashi hyperbolic projective varieties and jet differentials. In Algebraic geometry—Santa Cruz 1995, volume 62 of Proc. Sympos. Pure Math., pages 285–360. Amer. Math. Soc., Providence, RI, 1997. [Dru18] Druel, Stéphane. Codimension one foliations with numerically trivial canonical class on singular spaces. ArXiv e-prints arXiv:1809.06905v1 [DR15] Simone Diverio and Erwan Rousseau. The exceptional set and the Green-Griffiths locus do not always coincide. Enseign. Math. 61 (2015), no. 3-4, 417–452. [E16] Eckl, Thomas. Numerical analogues of the Kodaira dimension and the Abundance Conjecture. Manuscripta Mathematica, 150 (3-4), 337–356. TOWARDS CLASSIFICATION OF CODIMENSION 1 FOLIATIONS ON THREEFOLDS OF GENERAL TYPE 13
[GPR13] Carlo Gasbarri, Gianluca Pacienza and Erwan Rousseau. Higher-dimensional tautological inequalities and ap- plications. Math. Ann. (2013) 356: 703–735. [HL85] Hamm, Helmut A. and Lê D˜ung Tráng. Lefschetz theorems on quasi-projective varieties. Bulletin de la Société Mathématique de France, Tome 113 (1985) , pp. 123-142. [Jou78] Jouanolou, Jean-Pierre. Hypersurfaces solutions d’une équation de Pfaff. Math. Ann. 232, 239–245 (1978). [Kaw85] Kawamata, Yujiro. Minimal models and the Kodaira dimension of algebraic fiber spaces. J. Reine Angew. Math.363(1985), 1–46. [Kob70] Shoshichi Kobayashi. Hyperbolic manifolds and holomorphic mappings, volume 2 of Pure and Applied Mathe- matics. Marcel Dekker, Inc., New York, 1970. [Leh13] Lehmann, Brian. Comparing numerical dimensions. Algebra and Number Theory, 7:5 (2013). [Les19] Lesieutre, John. Notions of numerical Iitaka dimension do not concide. ArXiv e-prints arXiv:1904.10832. [LPT18] Loray, Frank; Pereira, Jorge Vitório; Touzet, Frédéric. Singular foliations with trivial canonical class. Invent. Math. 213 (2018), no. 3, 1327–1380. [McQ98] McQuillan, Michael. Diophantine approximations and foliations. Inst. Hautes Études Sci. Publ. Math. No. 87 (1998), 121–174. [McQ08] McQuillan, Michael. Canonical models of foliations. Pure Appl. Math. Q. 4 (2008), no. 3, Special Issue: In honor of Fedor Bogomolov. Part 2, 877–1012. [Men00] Mendes, Luís Gustavo. Kodaira dimension of holomorphic singular foliations. Bol. Soc. Brasil. Mat. (N.S.) 31 (2000), no. 2, 127–143. [Nak04] Nakayama, Noboru. Zariski-decomposition and Abundance. (Tokyo: The Matematical Society of Japan, 2004) [PS20] Pereira, Jorge Vitório and Spicer, Calum. Hypersurfaces quasi-invariant by codimension one foliations. Math. Ann. 378 (2020), no. 1-2, 613–635. [Sei68] Seidenberg, Abraham. Reduction of singularities of the differential equation Ady = Bdx. Am. J. Math. 89, 248–269 (1968). [Spi20] Spicer, Calum. Higher-dimensional foliated Mori theory. Compositio Math. 156 (2020), 1–38. [SS19] Spicer, Calum and Svaldi, Roberto. Local and global applications of the Minimal Model Program for co-rank one foliations on threefolds. ArXiv e-prints arXiv:1908.05037. [Tou13] Touzet, Frédéric. Uniformisation de l’espace des feuilles de certains feuilletages de codimension un. Bull. Braz. Math. Soc. (N.S.) 44 (2013), no. 3, 351–391. [Tou16] Touzet, Frédéric. On the structure of codimension 1 foliations with pseudoeffective conormal bundle. Foliation theory in algebraic geometry, 157–216, Simons Symp., Springer, Cham, 2016. Aleksei Golota National Research University Higher School of Economics, Russian Federation Laboratory of Mirror Symmetry, NRU HSE, 6 Usacheva str.,Moscow, Russia, 119048 [email protected], [email protected]