Arxiv:1611.00556V1 [Math.AG]
Total Page:16
File Type:pdf, Size:1020Kb
THE MORRISON-KAWAMATA CONE CONJECTURE AND ABUNDANCE ON RICCI FLAT MANIFOLDS VLADIMIR LAZIC,´ KEIJI OGUISO, AND THOMAS PETERNELL Abstract. The aim of this survey paper is threefold: (a) to discuss the sta- tus of the Morrison-Kawamata cone conjecture, (b) to report on recent devel- opments towards the Abundance Conjecture, and (c) to discuss the nef line bundle version of the Abundance Conjecture on K-trivial varieties. Contents 1. Introduction 1 2. Notation 2 3. The Morrison-Kawamata Cone Conjecture 3 3.1. Formulation and basics 3 3.2. Abelian varieties 4 3.3. Hyperk¨ahler manifolds 6 3.4. Calabi-Yau Manifolds 8 4. Abundance Conjecture 11 4.1. Abundance for klt pairs 11 4.2. Abundance Conjecture on Ricci flat manifolds 13 4.3. Abundance conjecture: Calabi-Yau threefolds 14 4.4. Abundance conjecture: Calabi-Yau varieties in higher dimensions 18 4.5. Abundance conjecture: hyperk¨ahler manifolds 19 4.6. Strictly nef line bundles 20 References 21 1. Introduction arXiv:1611.00556v1 [math.AG] 2 Nov 2016 Since the fundamental work of S. Mori starting in the late 1970’s, the study of the closed cone of ample divisor – often called the nef cone – and its dual, the closed cone of curves of a projective manifold X, is one of the cornerstones of higher-dimensional complex algebraic geometry, in particular in connection with the canonical bundle KX . By now traditionally, the cone of curves is denoted by NE(X). The basic Cone Theorem says that the KX -negative part of NE(X) is locally rational polyhedral. Furthermore, “extremal” rational points on the bound- ary of the negative carry significant geometric information: they lead to morphisms All authors were partially supported by the DFG-Forschergruppe 790 “Classification of Alge- braic Surfaces and Compact Complex Manifolds”. Lazi´cwas supported by the DFG-Emmy- Noether-Nachwuchsgruppe “Gute Strukturen in der h¨oherdimensionalen birationalen Geome- trie”. Oguiso was supported by JSPS Grant-in-Aid (S) No 25220701, JSPS Grant-in-Aid (S) No 22224001, JSPS Grant-in-Aid (B) No 22340009, and by KIAS Scholar Program. 1 ϕ: X → Y of the variety. The Minimal Model Program then continues to study Y instead of X, and eventually produces a fibre space with K-negative (Fano) fibres or a variety with nef canonical bundle. In that case the Abundance Conjecture predicts that some multiple of the canonical bundle is spanned by global sections. The KX -trivial part of NE(X) gets more complicated; we restrict our attention here to the case when the whole bundle KX is trivial, i.e. we consider Ricci-flat projective manifolds. In this case the Cone Theorem has a hypothetical counterpart, the Morrison-Kawamata cone conjecture. This conjecture basically says that there is a rational polyhedral cone which is a fundamental domain for the action of the automorphism group on the (not necessarily closed) cone of nef effective divisors. This conjecture is – contrary to the KX negative case – wide open, even in dimension three. Again, it is interesting to look at the boundary of the nef cone; one might even conjecture that the nef cone itself is locally rational polyhedral, so that the boundary contains many rational points. These rational points correspond to nef line bundles L and a line bundle version of the Abundance Conjecture would say that a multiple of L = KX + L is spanned by global sections. The aim of this paper is therefore threefold: • to discuss the status of the Morrison-Kawamata cone conjecture, • to report on recent developments towards the Abundance Conjecture, • to discuss the nef line bundle version of the Abundance Conjecture on K- trivial varieties. 2. Notation Unless otherwise stated, we work in the category of projective varieties defined over C. Let X be a complex normal projective variety. As usual, let N 1(X) be the N´eron-Severi group generated by the classes of divisors, using numerical 1 1 1 1 1 equivalence; let N (X)Q = N (X) ⊗ Q and N (X)R = N (X) ⊗ R. Inside N (X)R we have • the nef cone Nef(X), which is just the closure of the ample cone; • the effective nef cone Nefe(X) := Nef(X) ∩ Eff(X) (not necessarily closed); • the movable cone Mov(X); • the effective cone Eff(X); and e • the effective movable cone Mov (X) := Mov(X) ∩ Eff(X). Recall that a divisor D is movable if for some positive number m the linear system |mD| has no components of codimension 1. A divisor D whose class is in the closure of Eff(X) is called pseudoeffective. The closed cone of curves will be denoted by NE(X) ⊆ H2(X, R). For further notations in the context of the minimal model program we refer e.g. to [KM98]. Suppose now that a finite-dimensional real vector space V has a distinguished Q-structure, i.e. there is a Q-vector space VQ such that V = VQ ⊗Q R. Let C ⊆ V be a convex cone. Then by definition, C+ is the smallest convex cone in V containing all the Q-rational points of C. In particular we can speak of Nef+(X), Amp+(X) and Mov+(X). The group of automorphisms of a normal projective variety will as usual denoted by Aut(X), whereas Bir(X) is the group of birational automorphisms. 2 Given a nef divisor L, the numerical dimension ν(L) is given by ν(L) = max{k | Lk 6≡ 0}. Furthermore, a locally free sheaf E is nef, if the line bundle OP(E)(1) is nef. 3. The Morrison-Kawamata Cone Conjecture 3.1. Formulation and basics. First we fix some notation. Definition 3.1. A projective or compact K¨ahler manifold is said to be Ricci-flat 2 if KX ≡ 0; equivalently, c1(X) = 0 in H (X, R). Due to Yau’s solution of the Calabi conjecture when c1(X) = 0, there exists indeed a K¨ahler metric on a compact K¨ahler manifold X with KX ≡ 0 whose Ricci curvature vanishes. We recall the following important Beauville-Bogomolov decomposition theorem: Theorem 3.2. Any Ricci-flat compact K¨ahler (resp. projective) manifold M has a finite ´etale Galois cover π : M → M such that M is the product of Calabi-Yau manifolds, hyperk¨ahler manifolds (resp. projective hyperk¨ahler manifolds) and a f f complex torus (resp. a projective complex torus, i.e. an abelian variety). According to this theorem, the most important classes of projective Ricci flat manifolds are abelian varieties, projective hyperk¨ahler manifolds and Calabi-Yau manifolds. To be precise, a Calabi-Yau manifold X of dimension n in this context is a (simply connected) projective manifold with trivial canonical class such that q H (X, OX )=0for1 ≤ q ≤ n − 1. The Morrison-Kawamata Cone Conjecture, shortly referered to as Cone Conjec- ture in the following, is stated as follows. Conjecture 3.3. Let X be a projective Ricci flat manifold. (1) There exists a rational polyhedral cone Π which is a fundamental domain for the action of Aut(X) on Nefe(X) = Nef(X) ∩ Eff(X), in the sense that Nefe(X)= g∗Π, g∈Aut([ X) and int Π ∩ int g∗Π= ∅ unless g∗ = id. (2) There exists a rational polyhedral cone Π′ which is a fundamental domain e for the action of Bir(X) on Mov (X)= Mov(X) ∩ Eff(X). There is also the following weaker form. Conjecture 3.4. Let X be a projective Ricci-flat manifold. (1) There exists a (not necessarily closed) cone Π which is a weak fundamental domain for the action of Aut(X) on Nefe(X), in the sense that Nefe(X)= g∗Π, g∈Aut([ X) int Π ∩ int g∗Π= ∅ unless g∗ = id, and for every g ∈ Aut(X), the intersec- tion Π ∩ g∗Π is contained in a rational hyperplane. (2) There exists a polyhedral cone Π′ which is a weak fundamental domain for e the action of Bir(X) on Mov (X). 3 Sometimes versions of the Morrison-Kawamata Cone Conjecture with slightly different cones will be considered, such as Nef+(X) instead of Nefe(X). 3.2. Abelian varieties. Let A be an abelian variety. As an abelian variety has e no rational curves, we have Bir(A) = Aut(A) and Mov (A) = Nefe(A). Therefore the Cone Conjectures 3.2 (1) and (2) coincide for an abelian variety. The Cone Conjecture for an abelian variety is actually highly non-trivial, as Nef(A) looks quite circular. We have the following very satisfactory answer for the cone conjecture for abelian varieties: Theorem 3.5. (Prendergast-Smith [PS12]) The Cone Conjecture is true for any abelian variety. The most crucial part of the proof is the following structure Theorem 3.7 of the homogeneous self-dual cone, which we now explain. Let C be a strict open convex cone in a finite dimensional real vector space V . C is called homogeneous if the linear subgroup Aut(C) := {g ∈ GL(V, R) | g(C)= C} acts transitively on C. Let V ∗ be the dual vector space of V . The dual cone C∗ ⊆ V ∗ is the interior of {ℓ ∈ V ∗ | ℓ(v) ≥ 0 for all v ∈ V }. The cone C is called self-dual if C∗ = C under the identification V = V ∗ with respect to some non-degenerate linear form b(· , ·) on V . Example 3.6. (1) Let K = R, C or H, where H is the division ring of quaternions. Let V := Vg be the real vector space consisting of g × g hermitian matrices with entries in K and let Cg be the cone consisting of positive definite hermitian matrices in Vg.