Appendices A

Total Page:16

File Type:pdf, Size:1020Kb

Appendices A Appendices A Projective Bundles We recall here some basic facts about projective bundles. Definition and construction. Let X be an algebraic variety or scheme, and let E be a vector bundle of rank e on X. We denote by π : P(E) −→ X the projective bundle of one-dimensional quotients of X.ThusapointinP(E) is determined by specifying a point x ∈ X together with a one-dimensional quotient of the fibre E(x)ofE at x. More algebraically, P(E) is realized as the scheme P(E)=Proj Sym(E) , OX where Sym(E)=⊕ SmE denotes the symmetric algebra of E.1 Serre line bundle. The projective bundle P(E) carries a line bundle ∗ OP(E)(1), arising as a “tautological” quotient of π E: ∗ π E −→ O P(E)(1) −→ 0. (A.1) ∼ If L is a line bundle, then P(E) = P(E ⊗ L) via an isomorphism under which ∗ OP(E⊗L)(1) corresponds to OP(E)(1) ⊗ π L. For m ≥ 0onehas m π∗O (m)=S E (A.2a) P(E) e−1 m ∗ ∗ R π∗OP(E)(−e − m)= S E ⊗ det E , (A.2b) and all other direct images vanish. Maps to P(E). Let p : Y −→ X be a variety or scheme mapping to X.Then giving a line bundle quotient p∗E L of the pullback of E is equivalent to specifying a map f : Y −→ P(E)overX: 1 Here and elsewhere we do not distinguish between E and the corresponding locally free sheaf of sections. 316 Appendix A. Projective Bundles f / Y @ P(E) @@ yy @@ yy @@ yy p @ y|y π X. ∗ Under this correspondence L = f OP(E)(1), and the given quotient is the pullback of (A.1). In particular, for each >0 there is a natural Veronese embedding of P(E)intoP(S E): ν P(E) /P(S E) EE w EE ww EE ww p E ww π E" w{w X. ∗ th It is determined by the quotient S π E OP(E)() arising by taking symmetric products in (A.1). N´eron–Severi group. Assume that X is projective. Then the N´eron–Severi group of P(E) is determined by 1 ∗ 1 N (P(E)) = π N (X) ⊕ Z · ξE, O where ξE is the class of a divisor representing P(E)(1). Writing ξE also for 2 ∗ the corresponding class in H X;Z , the integral cohomology H P(E); Z of ∗ P(E) is generated as an H X; Z -algebra by ξE, subject to the Grothendieck relation e − ∗ · e−1 ∗ · e−2 − e ∗ ξE π c1(E) ξE + π c2(E) ξE + ... +( 1) π ce(E)=0. One–dimensional subspaces. On a few occasions it will be preferable to consider the bundle Psub(E) of one–dimensional subspaces of E.Thisisrelated ∗ to the bundles of quotients by the isomorphism Psub(E)=P(E ). B Cohomology and Complexes We collect in this appendix several constructions and facts of a homological nature. The first subsection deals with techniques for analyzing the cohomol- ogy of a sheaf. The second focuses on some complexes associated to vector bundle maps. B.1 Cohomology This section lays out a collection of tools that can be useful in computing the cohomology of a coherent sheaf on a variety or scheme. Cohomology and direct images. Let f : Y −→ X be a morphism of varieties or schemes, and consider a sheaf F on Y .Itis frequently important to compute the cohomology of F on Y in terms of data — specifically, the direct images of F —onX. The basic mechanism to this end is the Leray spectral sequence p,q p q F ⇒ p+q F E2 = H X, R f∗ = H Y, . However, one often needs only a special case, in which the sequence degener- ates. Proposition B.1.1. In the situation just described, assume that all the higher j direct images of F vanish, i.e. suppose that R f∗F =0for every j>0.Then i i H Y,F = H X, f∗F for all i. A direct proof (avoiding spectral sequences) is possible: see [280, Exercise III.8.1]. We frequently use this equality without explicit mention. 318 Appendix B. Cohomology and Complexes Resolutions. Let X be a projective (or complete) algebraic variety or scheme. One sometimes attempts to understand the cohomology of a coherent sheaf F on X in terms of a resolution, or something close to a resolution. Thus consider a complex of coherent sheaves ε F• :0−→ F −→ ...−→ F1 −→ F0 −→ F −→ 0, with ε surjective. We record some simple criteria, in increasing order of gener- ality, that allow one to conclude the vanishing of Hk X, F in terms of data involving F•. Proposition B.1.2. (Chasing through complexes). Given an integer k ≥ 0, assume that k k+1 k+ H X, F0 = H X, F1 = ... = H X, F =0. (B.1) k (i). If F• is exact, then H X, F =0. (ii). The same conclusion holds assuming that F• is exact off a subset of X having dimension ≤ k. (iii). More generally still, for i ≥ 0 denote by Hi the homology sheaf ker Fi −→ Fi−1 Hi = im Fi+1 −→ Fi k (with F−1 = F). Still assuming (B.1), the vanishing H X, F =0 holds provided that k+1 k+2 k+ +1 H X, H0 = H X, H1 = ···= H X, H =0. The hypothesis in (ii) means that all the homology sheaves of F• should be supported on an algebraic set of dimension ≤ k. Proof of Proposition B.1.2. This is most easily checked by chopping F• into short exact sequences in the usual way, and chasing through the resulting diagram. Example B.1.3. (Surjectivity on global sections). One can also ask for criteria to guarantee that the map 0 0 H X, F0 −→ H X, F (*) determined by ε is surjective. Assume that 1 2 H X, F1 = H X, F2 = ... = H X, F =0. Then the homomorphism in (*) is surjective provided either that F• is exact off a set of dimension 0, or that one has the case k = 0 of the vanishings in B.1.2 (iii). B.1 Cohomology 319 Remark B.1.4. (Infinite complexes). Note that the vanishing k+i H X, Fi =0 appearing in (B.1) is automatic if k + i>dim X, and similarly for the hy- potheses in (iii). Therefore one can always replace a complex F• of length 0 by a suitable truncation of length ≤ dim X + 1. In particular, the proposition applies also to possibly infinite resolutions of F. Example B.1.3 extends in a similar fashion. Spectral sequences. It is sometimes most efficient to organize cohomological data into a spectral sequence. Suppose for example that the complex F• above + is exact, and denote by F• the truncated complex + F• :0−→ F −→ ...−→ F1 −→ F0 −→ 0. + Thus F• is quasi-isomorphic to the single sheaf F, and hence the hypercoho- + mology of F• coincides with the cohomology of F itself: k + k H X, F• = H X, F . In this case the cohomology of F is computed via the hypercohomology spec- + tral sequence associated to F• : Lemma B.1.5. Assuming that F• is exact, there is a (second quadrant) spectral sequence p,q q ⇒ p+q F E1 = H X, F−p = H X, abutting to the cohomology of F. Example B.1.6. In the situation of the lemma, suppose that there are pos- i itive integers r and s such that all the groups H X, Fj vanish except when i =0andj ≤ s or when i = r and j ≥ s + r + 1. Then the cohomology groups of F are computed as the cohomology of a complex ...−→ Hr X, F −→ Hr X, F −→ H0 X, F s+r+2 s+r+1 s 0 −→ H X, Fs−1 −→ .... (B.2) Filtrations. Instead of a “resolution” such as F•, one sometimes wishes to infer something about the cohomology of a sheaf from a filtration. Suppose then that F is a coherent sheaf on X, and that one is given a filtration K• of F by coherent subsheaves: 0=Kp+1 ⊆ Kp ⊆ ... ⊆ K1 ⊆ K0 = F. As usual, we set Grj = Kj/Kj+1. In general, the cohomology of F is most effi- ciently analyzed via the spectral sequence of a filtered sheaf (cf. [248, Chapter 3, §5]), but in the simplest situations it is just as easy to work directly with the evident short exact sequences linking these data. 320 Appendix B. Cohomology and Complexes Lemma B.1.7. Suppose that there is an integer k ≥ 0 such that all the Grj have vanishing cohomology in all degrees i = k: Hi X, Grj =0 for all i = k and all 0 ≤ j ≤ p. i F k F Then H X, =0for i = k,and H X, has a filtration with graded pieces isomorphic to Hk X, Grj . Direct images. Everything here generalizes to the setting of a proper mor- phism f : X −→ Y (without X or Y necessarily being complete), with coho- mology groups being replaced by direct image sheaves. We leave the details to the reader. B.2 Complexes We next discuss some useful complexes. Throughout this section, X is an irreducible variety or scheme of dimension n. Koszul complex. Let E be a vector bundle on X of rank e,andlet s ∈ Γ X, E be a section of E. This section gives rise to a zero scheme Z =Zeroes(s) ⊆ X : in terms of a local trivialization of E, s is expressed by a vector s =(s1,...,se) of regular functions, and the ideal sheaf of Z is locally generated by the component functions si.
Recommended publications
  • 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]
  • FIELDS MEDAL for Mathematical Efforts R
    Recognizing the Real and the Potential: FIELDS MEDAL for Mathematical Efforts R Fields Medal recipients since inception Year Winners 1936 Lars Valerian Ahlfors (Harvard University) (April 18, 1907 – October 11, 1996) Jesse Douglas (Massachusetts Institute of Technology) (July 3, 1897 – September 7, 1965) 1950 Atle Selberg (Institute for Advanced Study, Princeton) (June 14, 1917 – August 6, 2007) 1954 Kunihiko Kodaira (Princeton University) (March 16, 1915 – July 26, 1997) 1962 John Willard Milnor (Princeton University) (born February 20, 1931) The Fields Medal 1966 Paul Joseph Cohen (Stanford University) (April 2, 1934 – March 23, 2007) Stephen Smale (University of California, Berkeley) (born July 15, 1930) is awarded 1970 Heisuke Hironaka (Harvard University) (born April 9, 1931) every four years 1974 David Bryant Mumford (Harvard University) (born June 11, 1937) 1978 Charles Louis Fefferman (Princeton University) (born April 18, 1949) on the occasion of the Daniel G. Quillen (Massachusetts Institute of Technology) (June 22, 1940 – April 30, 2011) International Congress 1982 William P. Thurston (Princeton University) (October 30, 1946 – August 21, 2012) Shing-Tung Yau (Institute for Advanced Study, Princeton) (born April 4, 1949) of Mathematicians 1986 Gerd Faltings (Princeton University) (born July 28, 1954) to recognize Michael Freedman (University of California, San Diego) (born April 21, 1951) 1990 Vaughan Jones (University of California, Berkeley) (born December 31, 1952) outstanding Edward Witten (Institute for Advanced Study,
    [Show full text]
  • I. Overview of Activities, April, 2005-March, 2006 …
    MATHEMATICAL SCIENCES RESEARCH INSTITUTE ANNUAL REPORT FOR 2005-2006 I. Overview of Activities, April, 2005-March, 2006 …......……………………. 2 Innovations ………………………………………………………..... 2 Scientific Highlights …..…………………………………………… 4 MSRI Experiences ….……………………………………………… 6 II. Programs …………………………………………………………………….. 13 III. Workshops ……………………………………………………………………. 17 IV. Postdoctoral Fellows …………………………………………………………. 19 Papers by Postdoctoral Fellows …………………………………… 21 V. Mathematics Education and Awareness …...………………………………. 23 VI. Industrial Participation ...…………………………………………………… 26 VII. Future Programs …………………………………………………………….. 28 VIII. Collaborations ………………………………………………………………… 30 IX. Papers Reported by Members ………………………………………………. 35 X. Appendix - Final Reports ……………………………………………………. 45 Programs Workshops Summer Graduate Workshops MSRI Network Conferences MATHEMATICAL SCIENCES RESEARCH INSTITUTE ANNUAL REPORT FOR 2005-2006 I. Overview of Activities, April, 2005-March, 2006 This annual report covers MSRI projects and activities that have been concluded since the submission of the last report in May, 2005. This includes the Spring, 2005 semester programs, the 2005 summer graduate workshops, the Fall, 2005 programs and the January and February workshops of Spring, 2006. This report does not contain fiscal or demographic data. Those data will be submitted in the Fall, 2006 final report covering the completed fiscal 2006 year, based on audited financial reports. This report begins with a discussion of MSRI innovations undertaken this year, followed by highlights
    [Show full text]
  • The Cones of Effective Cycles on Projective Bundles Over Curves
    The cones of effective cycles on projective bundles over curves Mihai Fulger 1 Introduction The study of the cones of curves or divisors on complete varieties is a classical subject in Algebraic Geometry (cf. [10], [9], [4]) and it still is an active research topic (cf. [1], [11] or [2]). However, little is known if we pass to higher (co)dimension. In this paper we study this problem in the case of projective bundles over curves and describe the cones of effective cycles in terms of the numerical data appearing in a Harder–Narasimhan filtration. This generalizes to higher codimension results of Miyaoka and others ([15], [3]) for the case of divisors. An application to projective bundles over a smooth base of arbitrary dimension is also given. Given a smooth complex projective variety X of dimension n, consider the real vector spaces The real span of {[Y ] : Y is a subvariety of X of codimension k} N k(X) := . numerical equivalence of cycles We also denote it by Nn−k(X) when we work with dimension instead of codimension. The direct sum n k N(X) := M N (X) k=0 is a graded R-algebra with multiplication induced by the intersection form. i Define the cones Pseff (X) = Pseffn−i(X) as the closures of the cones of effective cycles in i N (X). The elements of Pseffi(X) are usually called pseudoeffective. Dually, we have the nef cones k k Nef (X) := {α ∈ Pseff (X)| α · β ≥ 0 ∀β ∈ Pseffk(X)}. Now let C be a smooth complex projective curve and let E be a locally free sheaf on C of rank n, deg E degree d and slope µ(E) := rankE , or µ for short.
    [Show full text]
  • Equivariant Resolution of Singularities and Semi-Stable Reduction In
    Equivariant Resolution of Singularities and Semi-stable Reduction in Characteristic 0 by Jianhua Wang Submitted to the Department of Mathematics in partial fulfillment of the requirements for the degree of Doctor of Philosophy at the MASSACHUSETTS INSTITUTE OF TECHNOLOGY June 1997 © Massachusetts Institute of Technology 1997. All rights reserved. Author Department of Mathematics April 29, 1997 Certified by .-. ......................... Steven L. Kleiman Professor of Mathematics Thesis Supervisor ~ f~c\ Accepted by Richard B. Melrose, Chairman Departmental Graduate Committee Department of Mathematics JUN 2 5 1997 Equivariant Resolution of Singularities and Semi-stable Reduction in Characteristic 0 by Jianhua Wang Submitted to the Department of Mathematics on April 29, 1997, in partial fulfillment of the requirements for the degree of Doctor of Philosophy Abstract In this thesis, I shall prove the equivariant resolution of singularities theorem first, then using this theorem and the barycentric subdivision technique, I shall prove the equivariant semi-stable reduction theorem. Both results are over algebraically closed fields of characteristic 0 and their proofs are purely algebraic in nature. In the statement of the equivariant semi-stable theorem, besides giving the equivariant version of classic theorem, I shall describe more precisely what the base curve could be. I shall also discuss a stronger form of the theorem when the dimension of the fiber is less than or equal to 2. Thesis Supervisor: Steven L. Kleiman Title: Professor of Mathematics to my parents and grandparents Acknowledgments First of all I thank my thesis advisor Professor Steven Kleiman, for supporting me in all possible ways during the past three years and for imparting to me the philosophies of studying mathematics.
    [Show full text]
  • Motives, Volume 55.2
    http://dx.doi.org/10.1090/pspum/055.2 Recent Titles in This Series 55 Uwe Jannsen, Steven Kleiman, and Jean-Pierre Serre, editors, Motives (University of Washington, Seattle, July/August 1991) 54 Robert Greene and S. T. Yau, editors, Differential geometry (University of California, Los Angeles, July 1990) 53 James A. Carlson, C. Herbert Clemens, and David R. Morrison, editors, Complex geometry and Lie theory (Sundance, Utah, May 1989) 52 Eric Bedford, John P. D'Angelo, Robert £. Greene, and Steven G. Krantz, editors, Several complex variables and complex geometry (University of California, Santa Cruz, July 1989) 51 William B. Arveson and Ronald G. Douglas, editors, Operator theory/operator algebras and applications (University of New Hampshire, July 1988) 50 James Glimm, John Impagliazzo, and Isadore Singer, editors, The legacy of John von Neumann (Hofstra University, Hempstead, New York, May/June 1988) 49 Robert C. Gunning and Leon Ehrenpreis, editors, Theta functions - Bowdoin 1987 (Bowdoin College, Brunswick, Maine, July 1987) 48 R. O. Wells, Jr., editor, The mathematical heritage of Hermann Weyl (Duke University, Durham, May 1987) 47 Paul Fong, editor, The Areata conference on representations of finite groups (Humboldt State University, Areata, California, July 1986) 46 Spencer J. Bloch, editor, Algebraic geometry - Bowdoin 1985 (Bowdoin College, Brunswick, Maine, July 1985) 45 Felix E. Browder, editor, Nonlinear functional analysis and its applications (University of California, Berkeley, July 1983) 44 William K. Allard and Frederick J. Almgren, Jr., editors, Geometric measure theory and the calculus of variations (Humboldt State University, Areata, California, July/August 1984) 43 Francois Treves, editor, Pseudodifferential operators and applications (University of Notre Dame, Notre Dame, Indiana, April 1984) 42 Anil Nerode and Richard A.
    [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]
  • Occasion of Receiving the Seki-Takakazu Prize
    特集:日本数学会関孝和賞受賞 On the occasion of receiving the Seki-Takakazu Prize Jean-Pierre Bourguignon, the director of IHÉS A brief introduction to the Institut des Hautes Études Scientifiques The Institut des Hautes Études Scientifiques (IHÉS) was founded in 1958 by Léon MOTCHANE, an industrialist with a passion for mathematics, whose ambition was to create a research centre in Europe, counterpart to the renowned Institute for Advanced Study (IAS), Princeton, United States. IHÉS became a foundation acknowledged in the public interest in 1981. Like its model, IHÉS has a small number of Permanent Professors (5 presently), and hosts every year some 250 visitors coming from all around the world. A Scientific Council consisting of the Director, the Permanent Professors, the Léon Motchane professor and an equal number of external members is in charge of defining the scientific strategy of the Institute. The foundation is managed by an 18 member international Board of Directors selected for their expertise in science or in management. The French Minister of Research or their representative and the General Director of CNRS are members of the Board. IHÉS accounts are audited and certified by an international accountancy firm, Deloitte, Touche & Tomatsu. Its resources come from many different sources: half of its budget is provided by a contract with the French government, but institutions from some 10 countries, companies, foundations provide the other half, together with the income from the endowment of the Institute. Some 50 years after its creation, the high quality of its Permanent Professors and of its selected visiting researchers has established IHÉS as a research institute of world stature.
    [Show full text]
  • Mori Dream Spaces and Birational Rigidity of Fano 3-Folds
    Ahmadinezhad, H., & Zucconi, F. (2016). Mori dream spaces and birational rigidity of Fano 3-folds. Advances in Mathematics, 292, 410- 445. https://doi.org/10.1016/j.aim.2016.01.008 Peer reviewed version Link to published version (if available): 10.1016/j.aim.2016.01.008 Link to publication record in Explore Bristol Research PDF-document University of Bristol - Explore Bristol Research General rights This document is made available in accordance with publisher policies. Please cite only the published version using the reference above. Full terms of use are available: http://www.bristol.ac.uk/red/research-policy/pure/user-guides/ebr-terms/ MORI DREAM SPACES AND BIRATIONAL RIGIDITY OF FANO 3-FOLDS HAMID AHMADINEZHAD AND FRANCESCO ZUCCONI Abstract. We highlight a relation between the existence of Sarkisov links and the finite generation of (certain) Cox rings. We introduce explicit methods to use this relation in order to prove birational rigidity statements. To illustrate, we complete the birational rigidity results of Okada for Fano complete intersection 3-folds in singular weighted projective spaces. 1. Introduction Rationality question for varieties covered by rational curves (e.g. unirational varieties) has been a fundamental problem in algebraic geometry, the answer to which has opened various subjects across the field. The first examples of unirational varieties that are irrational were found about the same time by Clemens and Griffiths [10], Iskovskikh and Manin [18], Artin and Mumford [3]. While the results of [10] and [3] indicate that the varieties under study (respectively, a smooth cubic 3-fold and some special singular quartic 3-folds in the weighted projective space P(1; 1; 1; 1; 2)) are irrational, the result in [18] shows that a smooth quartic 3-fold is not birational to any conic bundle or fibration into del 3 Pezzo surfaces, or any other Fano variety, including P , that is to say it is irrational in a strong sense.
    [Show full text]
  • 2008 Award for Distinguished Public Service
    2008 Award for Distinguished Public Service The 2008 Award for Distinguished and continuation of the Park City/IAS Mathemat- Public Service was presented at the ics Institute. 114th Annual Meeting of the AMS in San Diego in January 2008. Biographical Sketch The Award for Distinguished Public Herbert Clemens earned his Ph.D. in 1966 from Service is presented every two years the University of California, Berkeley, under the to a research mathematician who has direction of Phillip A. Griffiths. He has taught at made a distinguished contribution to Columbia University, the University of Utah, and the mathematics profession during the preceding five years. The purpose of the Ohio State University, where he has been on the award is to encourage and recog- the faculty since 2002. He has served as director nize those individuals who contribute of the NSF Regional Geometry Institute, Park City, their time to public service activities UT, and chair of the Steering Committee for the IAS in support of mathematics. The award Park City Mathematics Institute. He was an invited Herbert Clemens carries a cash prize of US$4,000. speaker at the International Congress of Mathema- The Award for Distinguished Public ticians in 1974 and in 1986. His academic honors Service is made by the AMS Council include a Silver Medal from the Italian Mathemati- acting on the recommendation of a selection com- cal Society and a Laurea de honoris causa from the mittee. For the 2008 award the members of the Universita di Torino, among others. His research selection committee were: William J. Lewis, Carolyn R.
    [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]
  • 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]