DOCSLIB.ORG

K-Stability of Fano Varieties: an Algebro-Geometric Approach

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
K-Stability of Fano Varieties: an Algebro-Geometric Approach K-STABILITY OF FANO VARIETIES: AN ALGEBRO-GEOMETRIC APPROACH CHENYANG XU Abstract. We give a survey of the recent progress on the study of K-stability of Fano varieties by an algebro-geometric approach. Contents 1. Introduction2 1.1. K-stability in algebraic geometry3 1.2. Organization of the paper6 1.3. Conventions7 Part 1. What is K-stability? 8 2. Definition of K-stability by degenerations and MMP8 2.1. One parameter group degeneration8 2.2. MMP on family of Fano varieties 11 3. Fujita-Li's valuative criterion of K-stability 14 3.1. β-invariant 14 3.2. Stability threshold 18 3.A. Appendix: General valuations 20 4. Special valuations 21 4.1. Complements 21 4.2. Degenerations and lc places 23 4.3. Bounded complements 27 4.A. Appendix: Normalized volumes and local stability 28 5. Filtrations and Ding stability 34 5.1. Ding stability 34 5.2. Filtrations and non-Archimedean invariants 35 5.3. Revisit uniform stability 40 Notes on history 43 Part 2. K-moduli space of Fano varieties 46 Kss 6. Artin stack Xn;V 47 6.1. Family of varieties 47 6.2. Boundedness 48 Date: December 10, 2020. 1 2 CHENYANG XU 6.3. Openness 49 kps 7. Good moduli space Xn;V 50 7.1. Separated quotient 51 7.2. The existence of a good moduli space 57 8. Properness and Projectivity 59 8.1. Properness 59 8.2. Projectivity 60 Notes on history 63 Part 3. Explicit K-stable Fano varieties 66 9. Estimating δ(X) via j − KX jQ 67 9.1. Fano varieties with index one 67 9.2. Index 2 Fano hypersurfaces 70 10. Explicit K-moduli spaces 75 10.1. Deformation and degeneration 75 10.2. Wall crossings and log surfaces 77 Notes on history 78 References 80 Throughout, we work over an algebraically closed field k of characteristic 0. 1. Introduction The concept of K-stability is one of the most precious gifts differential geometers brought to algebraic geometers. It was first introduced in [Tia97] as a criterion to char- acterize the existence of K¨ahler-Einsteinmetrics on Fano manifolds, which is a central topic in complex geometry. The definition involves the sign of an analytic invariant, namely the generalized Futaki invariant, of all possible normal C∗-degenerations of a Fano manifold X. Later, in [Don02], the notion of K-stability was extended to general polarized manifolds (X; L), and the generalized Futaki invariant was reformulated in completely algebraic terms, which then allows arbitrary flat degenerations. In this survey, we will discuss the recent progress on the algebraic study of K- stability of Fano varieties, using the ideas developed in higher dimensional geometry, especially the techniques centered around the minimal model program (MMP). While there is a long history for complex geometers to study K¨ahler-Einsteinmetrics on Fano varieties, algebraic geometers, especially higher dimensional geometers, only started to look at the K-stability question relatively recently. One possible reason is that only until the necessary background knowledge from the minimal model program was developed (e.g. [BCHM10]), a systematic study in general could rise above the CX is partially supported by a Chern Professorship of the MSRI (NSF No. DMS-1440140) and by the National Science Fund for Distinguished Young Scholars (NSFC 11425101) `Algebraic Geometry' (2015-2018), NSF DMS-1901849 (2019-now). K-STABILITY OF FANO VARIETIES: AN ALGEBRO-GEOMETRIC APPROACH 3 horizon. Nevertheless, there has been spectacular progress from the algebro-geometric side in the last a few years, which we aim to survey in this note. 1.1. K-stability in algebraic geometry. Unlike many other stability notions, when K-stability was first defined in [Tia97] and later formulated using purely algebraic geometric terms in [Don02], it was not immediately clear to algebraic geometers what this really means and whether it is going to be useful in algebraic geometry. The definition itself is clear: one considers all one parameter subgroup flat degenerations X =A1, and attach an invariant Fut(X ) to it, and being K-stable is amount to saying that Fut(X ) is always positive (except the suitably defined trivial ones). Following the philosophy of Donaldson-Uhlenbeck-Yau Theorem, which established the Hitchin- Kobayashi Correspondence between stable bundles and Einstein-Hermitian bundles, one naturally would like compare it to the geometric invariant theory (GIT) (see e.g. [PT04, RT07] etc.). This may make algebraic geometers feel more comfortable with the concept. However, an apparently similar nature to the asymptotic GIT stability also makes one daunted, since the latter is notoriously known to be hard to check. Later people found examples which are K-stable but not asymptotically GIT stable varieties (see [OSY12]), which made the picture even less clear. However, it is remarkable that in [Oda13a], concepts and technicals from the mini- mal model program were first noticed to be closely related to K-stability question. In particular, it was shown K-semistability of a Fano variety implies at worst it only has Kawamata log terminal (klt) singularities, which is a measure of singularities invented in the minimal model program (MMP) theory. Then by running a meticulously de- signed MMP process, in [LX14] we show to study K-stability of Fano varieties, one only needs to consider X =A1 where the special fiber over 0 2 A1 is also a klt Fano va- riety. These works make it clear that to study K-stability of Fano varieties, the MMP would play a prominent role. In fact, as a refinement of Tian's original perspective, [Oda13a] and [LX14] suggested that in the study of K-stability of Fano varieties, we should focus on Kawamata log terminal (klt) Fano varieties, since this class of varieties is equipped with the necessary compactness. The class of klt Fano varieties is a theme that has been investigated in higher dimensional geometry for decades, however such compactness was not noticed before by birational geometers. It was then foreseeable that not far from the future, there would be an intensive interplay between two origi- nally disconnected subjects, and a purely algebraic K-stability theory would be given a birth as a result. Nevertheless, such a view only fully arose after a series of intertwining works (con- tributed by K. Fujita, C. Li and others) which established a number of equivalent char- acterizations of notations in K-stability, including the ones using invariants defined on valuations (instead of the original definition using one parameter subgroup degen- erations X =A1). More specificly, in [Ber16], inspired by the analytic work [Din88], Berman realized that one can replace the generalized Futaki invariants by Ding in- variants and define the corresponding notions of Ding stability. Soon after that, it was 4 CHENYANG XU noticed in [BBJ18,Fuj19b] that one can apply the argument in [LX14] for Ding invari- ants, and conclude that Ding stability and K-stability are indeed the same for Fano varieties. A key technical advantage for Ding invariant, observed by Fujita in [Fuj18], is that we can define Ding(F) more generally for a linearly bounded multiplicative 0 filtration F on the anti-pluri-canonical ring R = ⊕m2NH (−mrKX ) which satisfies that if we approximate a filtration by its finitely generated m-truncation Fm, then limm Ding(Fm) ! Ding(F) (this is not known for the generalized Futaki invariants!). Therefore, Ding semistability implies the non-negativity of any Ding(F). Based on this, a key invariant for the later development was independently formulated by Fujita and Li (see [Fuj19b, Li18]), namely β(E) for any divisorial valuation E over K(X). They also show that there is a close relation between Ding and β, and conclude for instance X is Ding-semistable if and only if β(E) ≥ 0 for any divisorial valuation. Another remarkable conceptual progress is the definition of the normalized volumes in [Li18] which provides the right framework to study the local K-stability theory for klt singularities. As a consequence, one can investigate the local-to-global principle for K-stability as in many other higher dimensional geometry problems. In a different direction, a uniform version of the definition of K-stability was introduced in [BHJ17] and [Der16] independently, which is more natural when one consider the space of all valuations instead of only divisorial valuations (see [BJ20, BX19]). With all these progress on our foundational understanding of K-stability, we can then turn to study various questions on K-stable Fano varieties using purely algebraic geometry. One of the most important reasons for algebraic geometers' interests in K-stability of Fano varieties is the possibility of using it to construct a well behaved moduli space, called K-moduli. Constructing moduli spaces of Fano varieties once seemed to be out of reach for higher dimensional geometers, as one primary reason is that degenerations of a family of Fano varieties are often quite complicated. Nevertheless, it is not com- pletely clueless to believe that by adding the K-stability assumption, one can overcome the difficulty. In fact, explicit examples of K-moduli spaces, especially parametrizing families of surfaces, appeared in [Tia90,MM93,OSS16]. Then general compact moduli spaces of smoothable K-polystable Fano varieties were first abstractly constructed in [LWX19] (also see partial results in [SSY16,Oda15]). However, the proofs of all these heavily rely on analytics input e.g. [DS14,CDS15,Tia15]. To proceed, naturally people were trying to construct the moduli space purely algebraically, and therefore remove the `smoothable' assumption. However, this only became plausible after the progress of the foundation theory of K-stability described in the previous paragraph. Indeed, together with major results from birational geometry (e.g.
Load more

Recommended publications
  • 10. Relative Proj and the Blow up We Want to Define a Relative Version Of
    10. Relative proj and the blow up We want to define a relative version of Proj, in pretty much the same way we defined a relative version of Spec. We start with a scheme X and a quasi-coherent sheaf S sheaf of graded OX -algebras, M S = Sd; d2N where S0 = OX . It is convenient to make some simplifying assump- tions: (y) X is Noetherian, S1 is coherent, S is locally generated by S1. To construct relative Proj, we cover X by open affines U = Spec A. 0 S(U) = H (U; S) is a graded A-algebra, and we get πU : Proj S(U) −! U a projective morphism. If f 2 A then we get a commutative diagram - Proj S(Uf ) Proj S(U) π U Uf ? ? - Uf U: It is not hard to glue πU together to get π : Proj S −! X. We can also glue the invertible sheaves together to get an invertible sheaf O(1). The relative consruction is very similar to the old construction. Example 10.1. If X is Noetherian and S = OX [T0;T1;:::;Tn]; n then satisfies (y) and Proj S = PX . Given a sheaf S satisfying (y), and an invertible sheaf L, it is easy to construct a quasi-coherent sheaf S0 = S ? L, which satisfies (y). The 0 d graded pieces of S are Sd ⊗ L and the multiplication maps are the obvious ones. There is a natural isomorphism φ: P 0 = Proj S0 −! P = Proj S; which makes the digram commute φ P 0 - P π0 π - S; and ∗ 0∗ φ OP 0 (1) 'OP (1) ⊗ π L: 1 Note that π is always proper; in fact π is projective over any open affine and properness is local on the base.
    [Show full text]
  • Arxiv:2006.16553V2 [Math.AG] 26 Jul 2020
    ON ULRICH BUNDLES ON PROJECTIVE BUNDLES ANDREAS HOCHENEGGER Abstract. In this article, the existence of Ulrich bundles on projective bundles P(E) → X is discussed. In the case, that the base variety X is a curve or surface, a close relationship between Ulrich bundles on X and those on P(E) is established for specific polarisations. This yields the existence of Ulrich bundles on a wide range of projective bundles over curves and some surfaces. 1. Introduction Given a smooth projective variety X, polarised by a very ample divisor A, let i: X ֒→ PN be the associated closed embedding. A locally free sheaf F on X is called Ulrich bundle (with respect to A) if and only if it satisfies one of the following conditions: • There is a linear resolution of F: ⊕bc ⊕bc−1 ⊕b0 0 → OPN (−c) → OPN (−c + 1) →···→OPN → i∗F → 0, where c is the codimension of X in PN . • The cohomology H•(X, F(−pA)) vanishes for 1 ≤ p ≤ dim(X). • For any finite linear projection π : X → Pdim(X), the locally free sheaf π∗F splits into a direct sum of OPdim(X) . Actually, by [18], these three conditions are equivalent. One guiding question about Ulrich bundles is whether a given variety admits an Ulrich bundle of low rank. The existence of such a locally free sheaf has surprisingly strong implications about the geometry of the variety, see the excellent surveys [6, 14]. Given a projective bundle π : P(E) → X, this article deals with the ques- tion, what is the relation between Ulrich bundles on the base X and those on P(E)? Note that answers to such a question depend much on the choice arXiv:2006.16553v3 [math.AG] 15 Aug 2021 of a very ample divisor.
    [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]
  • CHERN CLASSES of BLOW-UPS 1. Introduction 1.1. a General Formula
    CHERN CLASSES OF BLOW-UPS PAOLO ALUFFI Abstract. We extend the classical formula of Porteous for blowing-up Chern classes to the case of blow-ups of possibly singular varieties along regularly embed- ded centers. The proof of this generalization is perhaps conceptually simpler than the standard argument for the nonsingular case, involving Riemann-Roch without denominators. The new approach relies on the explicit computation of an ideal, and a mild generalization of the well-known formula for the normal bundle of a proper transform ([Ful84], B.6.10). We also discuss alternative, very short proofs of the standard formula in some cases: an approach relying on the theory of Chern-Schwartz-MacPherson classes (working in characteristic 0), and an argument reducing the formula to a straight- forward computation of Chern classes for sheaves of differential 1-forms with loga- rithmic poles (when the center of the blow-up is a complete intersection). 1. Introduction 1.1. A general formula for the Chern classes of the tangent bundle of the blow-up of a nonsingular variety along a nonsingular center was conjectured by J. A. Todd and B. Segre, who established several particular cases ([Tod41], [Seg54]). The formula was eventually proved by I. R. Porteous ([Por60]), using Riemann-Roch. F. Hirzebruch’s summary of Porteous’ argument in his review of the paper (MR0121813) may be recommend for a sharp and lucid account. For a thorough treatment, detailing the use of Riemann-Roch ‘without denominators’, the standard reference is §15.4 in [Ful84]. Here is the formula in the notation of the latter reference.
    [Show full text]
  • ALGEBRAIC GEOMETRY (PART III) EXAMPLE SHEET 3 (1) Let X Be a Scheme and Z a Closed Subset of X. Show That There Is a Closed Imme
    ALGEBRAIC GEOMETRY (PART III) EXAMPLE SHEET 3 CAUCHER BIRKAR (1) Let X be a scheme and Z a closed subset of X. Show that there is a closed immersion f : Y ! X which is a homeomorphism of Y onto Z. (2) Show that a scheme X is affine iff there are b1; : : : ; bn 2 OX (X) such that each D(bi) is affine and the ideal generated by all the bi is OX (X) (see [Hartshorne, II, exercise 2.17]). (3) Let X be a topological space and let OX to be the constant sheaf associated to Z. Show that (X; OX ) is a ringed space and that every sheaf on X is in a natural way an OX -module. (4) Let (X; OX ) be a ringed space. Show that the kernel and image of a morphism of OX -modules are also OX -modules. Show that the direct sum, direct product, direct limit and inverse limit of OX -modules are OX -modules. If F and G are O H F G O L X -modules, show that omOX ( ; ) is also an X -module. Finally, if is a O F F O subsheaf of an X -module , show that the quotient sheaf L is also an X - module. O F O O F ' (5) Let (X; X ) be a ringed space and an X -module. Prove that HomOX ( X ; ) F(X). (6) Let f :(X; OX ) ! (Y; OY ) be a morphism of ringed spaces. Show that for any O F O G ∗G F ' G F X -module and Y -module we have HomOX (f ; ) HomOY ( ; f∗ ).
    [Show full text]
  • Projective Varieties and Their Sheaves of Regular Functions
    Math 6130 Notes. Fall 2002. 4. Projective Varieties and their Sheaves of Regular Functions. These are the geometric objects associated to the graded domains: C[x0;x1; :::; xn]=P (for homogeneous primes P ) defining“global” complex algebraic geometry. Definition: (a) A subset V ⊆ CPn is algebraic if there is a homogeneous ideal I ⊂ C[x ;x ; :::; x ] for which V = V (I). 0 1 n p (b) A homogeneous ideal I ⊂ C[x0;x1; :::; xn]isradical if I = I. Proposition 4.1: (a) Every algebraic set V ⊆ CPn is the zero locus: V = fF1(x1; :::; xn)=F2(x1; :::; xn)=::: = Fm(x1; :::; xn)=0g of a finite set of homogeneous polynomials F1; :::; Fm 2 C[x0;x1; :::; xn]. (b) The maps V 7! I(V ) and I 7! V (I) ⊂ CPn give a bijection: n fnonempty alg sets V ⊆ CP g$fhomog radical ideals I ⊂hx0; :::; xnig (c) A topology on CPn, called the Zariski topology, results when: U ⊆ CPn is open , Z := CPn − U is an algebraic set (or empty) Proof: Note the similarity with Proposition 3.1. The proof is the same, except that Exercise 2.5 should be used in place of Corollary 1.4. Remark: As in x3, the bijection of (b) is \inclusion reversing," i.e. V1 ⊆ V2 , I(V1) ⊇ I(V2) and irreducibility and the features of the Zariski topology are the same. Example: A projective hypersurface is the zero locus: n n V (F )=f(a0 : a1 : ::: : an) 2 CP j F (a0 : a1 : ::: : an)=0}⊂CP whose irreducible components, as in x3, are obtained by factoring F , and the basic open sets of CPn are, as in x3, the complements of hypersurfaces.
    [Show full text]
  • MMP) Is One of the Cornerstones in the Clas- Sification Theory of Complex Projective Varieties
    MINIMAL MODELS FOR KÄHLER THREEFOLDS ANDREAS HÖRING AND THOMAS PETERNELL Abstract. Let X be a compact Kähler threefold that is not uniruled. We prove that X has a minimal model. 1. Introduction The minimal model program (MMP) is one of the cornerstones in the clas- sification theory of complex projective varieties. It is fully developed only in dimension 3, despite tremendous recent progress in higher dimensions, in particular by [BCHM10]. In the analytic Kähler situation the basic methods from the MMP, such as the base point free theorem, fail. Nevertheless it seems reasonable to expect that the main results should be true also in this more general context. The goal of this paper is to establish the minimal model program for Kähler threefolds X whose canonical bundle KX is pseudoeffective. To be more specific, we prove the following result: 1.1. Theorem. Let X be a normal Q-factorial compact Kähler threefold with at most terminal singularities. Suppose that KX is pseudoeffective or, equivalently, that X is not uniruled. Then X has a minimal model, i.e. there exists a MMP X 99K X′ such that KX′ is nef. In our context a complex space is said to be Q-factorial if every Weil ⊗m ∗∗ divisor is Q-Cartier and a multiple (KX ) of the canonical sheaf KX is locally free. If X is a projective threefold, Theorem 1.1 was estab- lished by the seminal work of Kawamata, Kollár, Mori, Reid and Shokurov [Mor79, Mor82, Rei83, Kaw84a, Kaw84b, Kol84, Sho85, Mor88, KM92]. Based on the deformation theory of rational curves on smooth threefolds [Kol91b, Kol96], Campana and the second-named author started to inves- tigate the existence of Mori contractions [CP97, Pet98, Pet01].
    [Show full text]
  • Algebraic Curves and Surfaces
    Notes for Curves and Surfaces Instructor: Robert Freidman Henry Liu April 25, 2017 Abstract These are my live-texed notes for the Spring 2017 offering of MATH GR8293 Algebraic Curves & Surfaces . Let me know when you find errors or typos. I'm sure there are plenty. 1 Curves on a surface 1 1.1 Topological invariants . 1 1.2 Holomorphic invariants . 2 1.3 Divisors . 3 1.4 Algebraic intersection theory . 4 1.5 Arithmetic genus . 6 1.6 Riemann{Roch formula . 7 1.7 Hodge index theorem . 7 1.8 Ample and nef divisors . 8 1.9 Ample cone and its closure . 11 1.10 Closure of the ample cone . 13 1.11 Div and Num as functors . 15 2 Birational geometry 17 2.1 Blowing up and down . 17 2.2 Numerical invariants of X~ ...................................... 18 2.3 Embedded resolutions for curves on a surface . 19 2.4 Minimal models of surfaces . 23 2.5 More general contractions . 24 2.6 Rational singularities . 26 2.7 Fundamental cycles . 28 2.8 Surface singularities . 31 2.9 Gorenstein condition for normal surface singularities . 33 3 Examples of surfaces 36 3.1 Rational ruled surfaces . 36 3.2 More general ruled surfaces . 39 3.3 Numerical invariants . 41 3.4 The invariant e(V ).......................................... 42 3.5 Ample and nef cones . 44 3.6 del Pezzo surfaces . 44 3.7 Lines on a cubic and del Pezzos . 47 3.8 Characterization of del Pezzo surfaces . 50 3.9 K3 surfaces . 51 3.10 Period map . 54 a 3.11 Elliptic surfaces .
    [Show full text]
  • The Riemann-Roch Theorem
    The Riemann-Roch Theorem by Carmen Anthony Bruni A project presented to the University of Waterloo in fulfillment of the project requirement for the degree of Master of Mathematics in Pure Mathematics Waterloo, Ontario, Canada, 2010 c Carmen Anthony Bruni 2010 Declaration I hereby declare that I am the sole author of this project. This is a true copy of the project, including any required final revisions, as accepted by my examiners. I understand that my project may be made electronically available to the public. ii Abstract In this paper, I present varied topics in algebraic geometry with a motivation towards the Riemann-Roch theorem. I start by introducing basic notions in algebraic geometry. Then I proceed to the topic of divisors, specifically Weil divisors, Cartier divisors and examples of both. Linear systems which are also associated with divisors are introduced in the next chapter. These systems are the primary motivation for the Riemann-Roch theorem. Next, I introduce sheaves, a mathematical object that encompasses a lot of the useful features of the ring of regular functions and generalizes it. Cohomology plays a crucial role in the final steps before the Riemann-Roch theorem which encompasses all the previously developed tools. I then finish by describing some of the applications of the Riemann-Roch theorem to other problems in algebraic geometry. iii Acknowledgements I would like to thank all the people who made this project possible. I would like to thank Professor David McKinnon for his support and help to make this project a reality. I would also like to thank all my friends who offered a hand with the creation of this project.
    [Show full text]
  • SHEAVES of MODULES 01AC Contents 1. Introduction 1 2
    SHEAVES OF MODULES 01AC Contents 1. Introduction 1 2. Pathology 2 3. The abelian category of sheaves of modules 2 4. Sections of sheaves of modules 4 5. Supports of modules and sections 6 6. Closed immersions and abelian sheaves 6 7. A canonical exact sequence 7 8. Modules locally generated by sections 8 9. Modules of finite type 9 10. Quasi-coherent modules 10 11. Modules of finite presentation 13 12. Coherent modules 15 13. Closed immersions of ringed spaces 18 14. Locally free sheaves 20 15. Bilinear maps 21 16. Tensor product 22 17. Flat modules 24 18. Duals 26 19. Constructible sheaves of sets 27 20. Flat morphisms of ringed spaces 29 21. Symmetric and exterior powers 29 22. Internal Hom 31 23. Koszul complexes 33 24. Invertible modules 33 25. Rank and determinant 36 26. Localizing sheaves of rings 38 27. Modules of differentials 39 28. Finite order differential operators 43 29. The de Rham complex 46 30. The naive cotangent complex 47 31. Other chapters 50 References 52 1. Introduction 01AD This is a chapter of the Stacks Project, version 77243390, compiled on Sep 28, 2021. 1 SHEAVES OF MODULES 2 In this chapter we work out basic notions of sheaves of modules. This in particular includes the case of abelian sheaves, since these may be viewed as sheaves of Z- modules. Basic references are [Ser55], [DG67] and [AGV71]. We work out what happens for sheaves of modules on ringed topoi in another chap- ter (see Modules on Sites, Section 1), although there we will mostly just duplicate the discussion from this chapter.
    [Show full text]
  • Arxiv:1307.5568V2 [Math.AG]
    PARTIAL POSITIVITY: GEOMETRY AND COHOMOLOGY OF q-AMPLE LINE BUNDLES DANIEL GREB AND ALEX KURONYA¨ To Rob Lazarsfeld on the occasion of his 60th birthday Abstract. We give an overview of partial positivity conditions for line bundles, mostly from a cohomological point of view. Although the current work is to a large extent of expository nature, we present some minor improvements over the existing literature and a new result: a Kodaira-type vanishing theorem for effective q-ample Du Bois divisors and log canonical pairs. Contents 1. Introduction 1 2. Overview of the theory of q-ample line bundles 4 2.1. Vanishing of cohomology groups and partial ampleness 4 2.2. Basic properties of q-ampleness 7 2.3. Sommese’s geometric q-ampleness 15 2.4. Ample subschemes, and a Lefschetz hyperplane theorem for q-ample divisors 17 3. q-Kodaira vanishing for Du Bois divisors and log canonical pairs 19 References 23 1. Introduction Ampleness is one of the central notions of algebraic geometry, possessing the extremely useful feature that it has geometric, numerical, and cohomological characterizations. Here we will concentrate on its cohomological side. The fundamental result in this direction is the theorem of Cartan–Serre–Grothendieck (see [Laz04, Theorem 1.2.6]): for a complete arXiv:1307.5568v2 [math.AG] 23 Jan 2014 projective scheme X, and a line bundle L on X, the following are equivalent to L being ample: ⊗m (1) There exists a positive integer m0 = m0(X, L) such that L is very ample for all m ≥ m0. (2) For every coherent sheaf F on X, there exists a positive integer m1 = m1(X, F, L) ⊗m for which F ⊗ L is globally generated for all m ≥ m1.
    [Show full text]
  • MINIMAL MODEL THEORY of NUMERICAL KODAIRA DIMENSION ZERO Contents 1. Introduction 1 2. Preliminaries 3 3. Log Minimal Model Prog
    MINIMAL MODEL THEORY OF NUMERICAL KODAIRA DIMENSION ZERO YOSHINORI GONGYO Abstract. We prove the existence of good minimal models of numerical Kodaira dimension 0. Contents 1. Introduction 1 2. Preliminaries 3 3. Log minimal model program with scaling 7 4. Zariski decomposition in the sense of Nakayama 9 5. Existence of minimal model in the case where º = 0 10 6. Abundance theorem in the case where º = 0 12 References 14 1. Introduction Throughout this paper, we work over C, the complex number ¯eld. We will make use of the standard notation and de¯nitions as in [KM] and [KMM]. The minimal model conjecture for smooth varieties is the following: Conjecture 1.1 (Minimal model conjecture). Let X be a smooth pro- jective variety. Then there exists a minimal model or a Mori ¯ber space of X. This conjecture is true in dimension 3 and 4 by Kawamata, Koll¶ar, Mori, Shokurov and Reid (cf. [KMM], [KM] and [Sho2]). In the case where KX is numerically equivalent to some e®ective divisor in dimen- sion 5, this conjecture is proved by Birkar (cf. [Bi1]). When X is of general type or KX is not pseudo-e®ective, Birkar, Cascini, Hacon Date: 2010/9/21, version 4.03. 2000 Mathematics Subject Classi¯cation. 14E30. Key words and phrases. minimal model, the abundance conjecture, numerical Kodaira dimension. 1 2 YOSHINORI GONGYO and McKernan prove Conjecture 1.1 for arbitrary dimension ([BCHM]). Moreover if X has maximal Albanese dimension, Conjecture 1.1 is true by [F2]. In this paper, among other things, we show Conjecture 1.1 in the case where º(KX ) = 0 (for the de¯nition of º, see De¯nition 2.6): Theorem 1.2.
    [Show full text]