Arxiv:1611.00556V1 [Math.AG]

Total Page:16

File Type:pdf, Size:1020Kb

Arxiv:1611.00556V1 [Math.AG] 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.
Recommended publications
  • REMARKS on the ABUNDANCE CONJECTURE 3 Log flips for Log Canonical Pairs Is Known for All Dimensions (Cf
    REMARKS ON THE ABUNDANCE CONJECTURE KENTA HASHIZUME Abstract. We prove the abundance theorem for log canonical n- folds such that the boundary divisor is big assuming the abundance conjecture for log canonical (n − 1)-folds. We also discuss the log minimal model program for log canonical 4-folds. Contents 1. Introduction 1 2. Notations and definitions 3 3. Proof of the main theorem 5 4. Minimal model program in dimension four 9 References 10 1. Introduction One of the most important open problems in the minimal model theory for higher-dimensional algebraic varieties is the abundance con- jecture. The three-dimensional case of the above conjecture was com- pletely solved (cf. [KeMM] for log canonical threefolds and [F1] for semi log canonical threefolds). However, Conjecture 1.1 is still open in dimension ≥ 4. In this paper, we deal with the abundance conjecture in relative setting. arXiv:1509.04626v2 [math.AG] 3 Nov 2015 Conjecture 1.1 (Relative abundance). Let π : X → U be a projective morphism of varieties and (X, ∆) be a (semi) log canonical pair. If KX + ∆ is π-nef, then it is π-semi-ample. Hacon and Xu [HX1] proved that Conjecture 1.1 for log canonical pairs and Conjecture 1.1 for semi log canonical pairs are equivalent (see also [FG]). If (X, ∆) is Kawamata log terminal and ∆ is big, then Date: 2015/10/30, version 0.21. 2010 Mathematics Subject Classification. Primary 14E30; Secondary 14J35. Key words and phrases. abundance theorem, big boundary divisor, good minimal model, finite generation of adjoint ring. 1 2 KENTAHASHIZUME Conjecture 1.1 follows from the usual Kawamata–Shokurov base point free theorem in any dimension.
    [Show full text]
  • Kähler-Einstein Metrics and Algebraic Geometry
    Current Developments in Mathematics, 2015 K¨ahler-Einstein metrics and algebraic geometry Simon Donaldson Abstract. This paper is a survey of some recent developments in the area described by the title, and follows the lines of the author’s lecture in the 2015 Harvard Current Developments in Mathematics meeting. The main focus of the paper is on the Yau conjecture relating the ex- istence of K¨ahler-Einstein metrics on Fano manifolds to K-stability. We discuss four different proofs of this, by different authors, which have ap- peared over the past few years. These involve an interesting variety of approaches and draw on techniques from different fields. Contents 1. Introduction 1 2. K-stability 3 3. Riemannian convergence theory and projective embeddings 6 4. Four proofs 11 References 23 1. Introduction General existence questions involving the Ricci curvature of compact K¨ahler manifolds go back at least to work of Calabi in the 1950’s [11], [12]. We begin by recalling some very basic notions in K¨ahler geometry. • All the K¨ahler metrics in a given cohomology class can be described in terms of some fixed reference metric ω0 and a potential function, that is (1) ω = ω0 + i∂∂φ. • A hermitian holomorphic line bundle over a complex manifold has a unique Chern connection compatible with both structures. A Her- −1 n mitian metric on the anticanonical line bundle KX =Λ TX is the same as a volume form on the manifold. When this volume form is derived from a K¨ahler metric the curvature of the Chern connection c 2016 International Press 1 2 S.
    [Show full text]
  • Introduction
    SEMINAR WS 16/17 BERKOVICH SPACES, BIRATIONAL GEOMETRY AND MOTIVIC ZETA FUNCTIONS Talk II on Birational geometry and MMP Efstathia Katsigianni 10.11.2016 Introduction The goal of this talk is to present the notions that have to do with the Minimal model Program and will be used in the course of the seminar, as well as the main theorems of this area. For this we rely entirely on the references listed in the end. Given a projective variety X defined over an algebraically closed field k, one could try to find another projective variety birationally isomorphic to X which is the simplest possible. We define on the set CX of all (isomorphism classes of) projective varieties birationally isomorphic to X a relation as fol- lows: if X0, X1 are in CX , we write X0 < X1, whenever there is a birational morphism X0 ! X1. This defines an ordering on CX and we look for minimal elements in CX or for the smallest element of it. For example, each irreducible curve is birational to a unique smooth pro- jective curve, thus the investigation of smooth projective curves is equivalent to the study of all curves up to birational equivalence. When X is a smooth surface, it has a smooth minimal model obtained by contracting all exceptional curves on it. If X is not uniruled, this minimal model has nef canonical divisor and is the smallest element in cX. When X is uniruled, this minimal model is not unique. Smooth projective varieties with nef canonical bundles are minimal in the above sense: Proposition.
    [Show full text]
  • The Role of Partial Differential Equations in Differential Geometry
    Proceedings of the International Congress of Mathematicians Helsinki, 1978 The Role of Partial Differential Equations in Differential Geometry Shing-Tung Yau In the study of geometric objects that arise naturally, the main tools are either groups or equations. In the first case, powerful algebraic methods are available and enable one to solve many deep problems. While algebraic methods are still important in the second case, analytic methods play a dominant role, especially when the defining equations are transcendental. Indeed, even in the situation where the geometric abject is homogeneous or algebraic, analytic methods often lead to important contributions. In this talk, we shall discuss a class of problems in dif­ ferential geometry and the analytic methods that are involved in solving such problems. One of the main purposes of differential geometry is to understand how a surface (or a generalization of it) is curved, either intrinsically or extrinsically. Naturally, the problems that are involved in studying such an object cannot be linear. Since curvature is defined by differentiating certain quantities, the equations that arise are nonlinear differential equations. In studying curved space, one of the most important tools is the space of tangent vectors to the curved space. In the language of partial differential equations, the main tool to study nonlinear equations is the use of the linearized operators. Hence, even when we are facing nonlinear objects, the theory of linear operators is unavoidable. Needless to say, we are then left with the difficult problem of how precisely a linear operator approximates a non­ linear operator. To illustrate the situation, we mention five important differential operators in differential geometry.
    [Show full text]
  • AN INTRODUCTION to MORI THEORY: the CASE of SURFACES Contents Introduction 1 Part 1. Preliminaries 2 1.1. Basic Notation 3 1.2
    AN INTRODUCTION TO MORI THEORY: THE CASE OF SURFACES MARCO ANDREATTA Contents Introduction 1 Part 1. Preliminaries 2 1.1. Basic notation 3 1.2. Morphisms associated to line bundles; ample line bundles 4 1.3. Riemann - Roch and Hodge Index theorems 5 Part 2. Mori theory for surfaces 6 2.1. Mori-Kleiman cone 6 2.2. Examples 9 2.3. The rationality lemma and the cone theorem 11 2.4. Castelnuovo contraction theorem 16 2.5. Base point freeness, BPF 16 2.6. Minimal model program for surfaces 20 Part 3. Birational theory for surfaces 22 3.1. Castelnuovo rationality criterium 22 3.2. Factorization of birational morphisms 23 3.3. Singularities and log singularities. 25 3.4. Castelnuovo-Noether theorem and some definitions in the Sarkisov program 26 References 32 Introduction One of the main results of last decades algebraic geometry was the foun- dation of Mori theory or Minimal Model Program, for short MMP, and its proof in dimension three. Minimal Model Theory shed a new light on what 1991 Mathematics Subject Classification. Primary 14E30, 14J40 ; Secondary 14J30, 32H02. Key words and phrases. Fano Mori spaces, contractions, base point freeness, sub- adjunction, extremal ray. 1 2 MARCO ANDREATTA is nowadays called higher dimensional geometry. In mathematics high num- bers are really a matter of circumstances and here we mean greater than or equal to 3. The impact of MMP has been felt in almost all areas of algebraic geometry. In particular the philosophy and some of the main new objects like extremal rays, Fano-Mori contractions or spaces and log varieties started to play around and give fruitful answer to different problems.
    [Show full text]
  • Moving Codimension-One Subvarieties Over Finite Fields
    Moving codimension-one subvarieties over finite fields Burt Totaro In topology, the normal bundle of a submanifold determines a neighborhood of the submanifold up to isomorphism. In particular, the normal bundle of a codimension-one submanifold is trivial if and only if the submanifold can be moved in a family of disjoint submanifolds. In algebraic geometry, however, there are higher-order obstructions to moving a given subvariety. In this paper, we develop an obstruction theory, in the spirit of homotopy theory, which gives some control over when a codimension-one subvariety moves in a family of disjoint subvarieties. Even if a subvariety does not move in a family, some positive multiple of it may. We find a pattern linking the infinitely many obstructions to moving higher and higher multiples of a given subvariety. As an application, we find the first examples of line bundles L on smooth projective varieties over finite fields which are nef (L has nonnegative degree on every curve) but not semi-ample (no positive power of L is spanned by its global sections). This answers questions by Keel and Mumford. Determining which line bundles are spanned by their global sections, or more generally are semi-ample, is a fundamental issue in algebraic geometry. If a line bundle L is semi-ample, then the powers of L determine a morphism from the given variety onto some projective variety. One of the main problems of the minimal model program, the abundance conjecture, predicts that a variety with nef canonical bundle should have semi-ample canonical bundle [15, Conjecture 3.12].
    [Show full text]
  • Algebraic Surfaces and Hyperbolic Geometry
    Current Developments in Algebraic Geometry MSRI Publications Volume 59, 2011 Algebraic surfaces and hyperbolic geometry BURT TOTARO We describe the Kawamata–Morrison cone conjecture on the structure of Calabi–Yau varieties and more generally klt Calabi–Yau pairs. The conjecture is true in dimension 2. We also show that the automorphism group of a K3 surface need not be commensurable with an arithmetic group, which answers a question by Mazur. 1. Introduction Many properties of a projective algebraic variety can be encoded by convex cones, such as the ample cone and the cone of curves. This is especially useful when these cones have only finitely many edges, as happens for Fano varieties. For a broader class of varieties which includes Calabi–Yau varieties and many rationally connected varieties, the Kawamata–Morrison cone conjecture predicts the structure of these cones. I like to think of this conjecture as what comes after the abundance conjecture. Roughly speaking, the cone theorem of Mori, Kawamata, Shokurov, Kollár, and Reid describes the structure of the curves on a projective variety X on which the canonical bundle K X has negative degree; the abundance conjecture would give strong information about the curves on which K X has degree zero; and the cone conjecture fully describes the structure of the curves on which K X has degree zero. We give a gentle summary of the proof of the cone conjecture for algebraic surfaces, with plenty of examples [Totaro 2010]. For algebraic surfaces, these cones are naturally described using hyperbolic geometry, and the proof can also be formulated in those terms.
    [Show full text]
  • About the Calabi-Yau Theorem and Its Applications
    About the Calabi-Yau theorem and its applications { Krageomp program { Julien Keller L.A.T.P., Marseille University { Universit´ede Provence October 21, 2009 1 Any comments, remarks and suggestions are welcome. These notes are summing up the series of lectures given by the author during the Krageomp program (2009). Please feel free to contact the author at [email protected] 2 1 About complex and K¨ahlermanifolds In this lecture, starting with the background of Riemannian geometry, we introduce the notion of complex manifolds: • Definition using charts and holomorphic transition functions • Almost complex structure, complex structure and Newlander-Nirenberg theorem • Examples: the projective space , S2, hypersurfaces, weighted projective spaces • Uniformization theorem for Riemann surfaces, Chow's theorem (com- n plex compact analytic submanifolds of CP are actually algebraic vari- eties). We introduce the language of tensors on complex manifolds, and some natural invariants of the complex structure: • k-forms, exterior diffentiation operator, d = @ +@¯ decomposition, (p; q) forms • De Rham cohomology, Dolbeault cohomology, Hodge numbers, Euler characteristic invariant Using all the previous material, we can explain what is a K¨ahlermanifold. In particular we will formulate the Calabi conjecture on that space. • K¨ahlerforms, K¨ahlerclasses, K¨ahlercone n • The Fubini-Study metric on CP is a K¨ahlermetric Finally, we sketched the notion of holomorphic line bundle, the correspon- dence with divisor and Chern classes. This very classical material can be read in different books: - F. Zheng, Complex Differential Geometry, Studies in Adv. Maths, AMS (2000) 3 - W. Ballmann, Lectures on K¨ahlermanifolds, Lectures in Math and Physics, EMS (2006).
    [Show full text]
  • Strictly Nef Vector Bundles and Characterizations of P
    Complex Manifolds 2021; 8:148–159 Research Article Open Access Jie Liu, Wenhao Ou, and Xiaokui Yang* Strictly nef vector bundles and characterizations of Pn https://doi.org/10.1515/coma-2020-0109 Received September 8, 2020; accepted February 10, 2021 Abstract: In this note, we give a brief exposition on the dierences and similarities between strictly nef and ample vector bundles, with particular focus on the circle of problems surrounding the geometry of projective manifolds with strictly nef bundles. Keywords: strictly nef, ample, hyperbolicity MSC: 14H30, 14J40, 14J60, 32Q57 1 Introduction Let X be a complex projective manifold. A line bundle L over X is said to be strictly nef if L · C > 0 for each irreducible curve C ⊂ X. This notion is also called "numerically positive" in literatures (e.g. [25]). The Nakai-Moishezon-Kleiman criterion asserts that L is ample if and only if Ldim Y · Y > 0 for every positive-dimensional irreducible subvariety Y in X. Hence, ample line bundles are strictly nef. In 1960s, Mumford constructed a number of strictly nef but non-ample line bundles over ruled surfaces (e.g. [25]), and they are tautological line bundles of stable vector bundles of degree zero over smooth curves of genus g ≥ 2. By using the terminology of Hartshorne ([24]), a vector bundle E ! X is called strictly nef (resp. ample) if its tautological line bundle OE(1) is strictly nef (resp. ample). One can see immediately that the strictly nef vector bundles constructed by Mumford are actually Hermitian-at. Therefore, some functorial properties for ample bundles ([24]) are not valid for strictly nef bundles.
    [Show full text]
  • C Omp Act Riemann
    Jü rgen Jost C omp actRiemann S urfaces An Introduction to Contemporary Mathematics Third Edition With 23 Figures 123 Jü rgen Jost Max Planck Institute for Mathematics in the Sciences Inselstr. 22 04103 Leipzig Germany e-mail: [email protected] Mathematics Subject Classification (2000): 30F10, 30F45, 30F60, 58E20, 14H55 Library of Congress Control Number: 2006924561 ISBN-10 3-540-33065-8 Springer Berlin Heidelberg New York ISBN-13 978-3-540-33065-3 Springer Berlin Heidelberg New York This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically the rights of translation, reprinting, reuse of illustrations, recitation, broadcasting, reproduction on microfilm or in any other way, and storage in data banks. Dupli- cation of this publication or parts thereof is permitted only under the provisions of the German Copyright Law of September 9, 1965, in its current version, and permission for use must always be obtained from Springer. Violations are liable for prosecution under the German Copyright Law. Springer is a part of Springer Science+Business Media springer.com © Springer-Verlag Berlin Heidelberg 2006 PrintedinGermany The use of general descriptive names, registered names, trademarks, etc. in this publication does not imply, even in the absence of a specific statement, that such names are exempt from the relevant protective laws and regulations and therefore free for general use. Cover design: Erich Kirchner, Heidelberg Typesetting by the author and SPI Publisher Services using a Springer LATEX macro package Printed on acid-free paper 11689881 41/sz - 5 4 3 2 1 0 Dedicated to the memory of my father Preface The present book started from a set of lecture notes for a course taught to stu- dents at an intermediate level in the German system (roughly corresponding to the beginning graduate student level in the US) in the winter term 86/87 in Bochum.
    [Show full text]
  • Bimeromorphic Geometry of K'́ahler Threefolds
    Bimeromorphic geometry of K’́ahler threefolds Andreas Höring, Thomas Peternell To cite this version: Andreas Höring, Thomas Peternell. Bimeromorphic geometry of K’́ahler threefolds. 2015 Summer Institute on Algebraic Geometry, Jul 2015, Salt Lake City, United States. hal-01428621 HAL Id: hal-01428621 https://hal.archives-ouvertes.fr/hal-01428621 Submitted on 6 Jan 2017 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Bimeromorphic geometry of K¨ahler threefolds Andreas H¨oring and Thomas Peternell Abstract. We describe the recently established minimal model program for (non-algebraic) K¨ahler threefolds as well as the abundance theorem for these spaces. 1. Introduction Given a complex projective manifold X, the Minimal Model Program (MMP) predicts that either X is covered by rational curves (X is uniruled) or X has a ′ - slightly singular - birational minimal model X whose canonical divisor KX′ is nef; and then the abundance conjecture says that some multiple mKX′ is spanned by global sections (so X′ is a good minimal model). The MMP also predicts how to achieve the birational model, namely by a sequence of divisorial contractions and flips. In dimension three, the MMP is completely established (cf.
    [Show full text]
  • ON the EXISTENCE of FLIPS 1. Introduction the Main Result of This Paper Is: Theorem 1.1. Assume the Real MMP in Dimension
    ON THE EXISTENCE OF FLIPS CHRISTOPHER D. HACON AND JAMES MCKERNAN Abstract. Using the techniques of [17], [7], [13] and [15], we prove that flips exist in dimension n, if one assumes the termination of real flips in dimension n − 1. 1. Introduction The main result of this paper is: Theorem 1.1. Assume the real MMP in dimension n − 1. Then flips exist in dimension n. Here are two consequences of this result: Corollary 1.2. Assume termination of real flips in dimension n − 1 and termination of flips in dimension n. Then the MMP exists in dimension n. As Shokurov has proved, [14], the termination of real flips in di- mension three, we get a new proof of the following result of Shokurov [15]: Corollary 1.3. Flips exist in dimension four. Given a proper variety, it is natural to search for a good birational model. An obvious, albeit hard, first step is to pick a smooth projective model. Unfortunately there are far too many such models; indeed given any such, we can construct infinitely many more, simply by virtue of successively blowing up smooth subvarieties. To construct a unique model, or at least cut down the examples to a manageable number, we have to impose some sort of minimality on the birational model. The choice of such a model depends on the global geometry of X. One possibility is that we can find a model on which the canonical di- visor KX is nef, so that its intersection with any curve is non-negative. Date: December 31, 2005.
    [Show full text]