Notes for Algebraic Geometry II
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Modules and Vector Spaces
Modules and Vector Spaces R. C. Daileda October 16, 2017 1 Modules Definition 1. A (left) R-module is a triple (R; M; ·) consisting of a ring R, an (additive) abelian group M and a binary operation · : R × M ! M (simply written as r · m = rm) that for all r; s 2 R and m; n 2 M satisfies • r(m + n) = rm + rn ; • (r + s)m = rm + sm ; • r(sm) = (rs)m. If R has unity we also require that 1m = m for all m 2 M. If R = F , a field, we call M a vector space (over F ). N Remark 1. One can show that as a consequence of this definition, the zeros of R and M both \act like zero" relative to the binary operation between R and M, i.e. 0Rm = 0M and r0M = 0M for all r 2 R and m 2 M. H Example 1. Let R be a ring. • R is an R-module using multiplication in R as the binary operation. • Every (additive) abelian group G is a Z-module via n · g = ng for n 2 Z and g 2 G. In fact, this is the only way to make G into a Z-module. Since we must have 1 · g = g for all g 2 G, one can show that n · g = ng for all n 2 Z. Thus there is only one possible Z-module structure on any abelian group. • Rn = R ⊕ R ⊕ · · · ⊕ R is an R-module via | {z } n times r(a1; a2; : : : ; an) = (ra1; ra2; : : : ; ran): • Mn(R) is an R-module via r(aij) = (raij): • R[x] is an R-module via X i X i r aix = raix : i i • Every ideal in R is an R-module. -
The Geometry of Syzygies
The Geometry of Syzygies A second course in Commutative Algebra and Algebraic Geometry David Eisenbud University of California, Berkeley with the collaboration of Freddy Bonnin, Clement´ Caubel and Hel´ ene` Maugendre For a current version of this manuscript-in-progress, see www.msri.org/people/staff/de/ready.pdf Copyright David Eisenbud, 2002 ii Contents 0 Preface: Algebra and Geometry xi 0A What are syzygies? . xii 0B The Geometric Content of Syzygies . xiii 0C What does it mean to solve linear equations? . xiv 0D Experiment and Computation . xvi 0E What’s In This Book? . xvii 0F Prerequisites . xix 0G How did this book come about? . xix 0H Other Books . 1 0I Thanks . 1 0J Notation . 1 1 Free resolutions and Hilbert functions 3 1A Hilbert’s contributions . 3 1A.1 The generation of invariants . 3 1A.2 The study of syzygies . 5 1A.3 The Hilbert function becomes polynomial . 7 iii iv CONTENTS 1B Minimal free resolutions . 8 1B.1 Describing resolutions: Betti diagrams . 11 1B.2 Properties of the graded Betti numbers . 12 1B.3 The information in the Hilbert function . 13 1C Exercises . 14 2 First Examples of Free Resolutions 19 2A Monomial ideals and simplicial complexes . 19 2A.1 Syzygies of monomial ideals . 23 2A.2 Examples . 25 2A.3 Bounds on Betti numbers and proof of Hilbert’s Syzygy Theorem . 26 2B Geometry from syzygies: seven points in P3 .......... 29 2B.1 The Hilbert polynomial and function. 29 2B.2 . and other information in the resolution . 31 2C Exercises . 34 3 Points in P2 39 3A The ideal of a finite set of points . -
On Fusion Categories
Annals of Mathematics, 162 (2005), 581–642 On fusion categories By Pavel Etingof, Dmitri Nikshych, and Viktor Ostrik Abstract Using a variety of methods developed in the literature (in particular, the theory of weak Hopf algebras), we prove a number of general results about fusion categories in characteristic zero. We show that the global dimension of a fusion category is always positive, and that the S-matrix of any (not nec- essarily hermitian) modular category is unitary. We also show that the cate- gory of module functors between two module categories over a fusion category is semisimple, and that fusion categories and tensor functors between them are undeformable (generalized Ocneanu rigidity). In particular the number of such categories (functors) realizing a given fusion datum is finite. Finally, we develop the theory of Frobenius-Perron dimensions in an arbitrary fusion cat- egory. At the end of the paper we generalize some of these results to positive characteristic. 1. Introduction Throughout this paper (except for §9), k denotes an algebraically closed field of characteristic zero. By a fusion category C over k we mean a k-linear semisimple rigid tensor (=monoidal) category with finitely many simple ob- jects and finite dimensional spaces of morphisms, such that the endomorphism algebra of the neutral object is k (see [BaKi]). Fusion categories arise in several areas of mathematics and physics – conformal field theory, operator algebras, representation theory of quantum groups, and others. This paper is devoted to the study of general properties of fusion cate- gories. This has been an area of intensive research for a number of years, and many remarkable results have been obtained. -
Curves, Surfaces, and Abelian Varieties
Curves, Surfaces, and Abelian Varieties Donu Arapura April 27, 2017 Contents 1 Basic curve theory2 1.1 Hyperelliptic curves.........................2 1.2 Topological genus...........................4 1.3 Degree of the canonical divisor...................6 1.4 Line bundles.............................7 1.5 Serre duality............................. 10 1.6 Harmonic forms............................ 13 1.7 Riemann-Roch............................ 16 1.8 Genus 3 curves............................ 18 1.9 Automorphic forms.......................... 20 2 Divisors on a surface 22 2.1 Bezout's theorem........................... 22 2.2 Divisors................................ 23 2.3 Intersection Pairing.......................... 24 2.4 Adjunction formula.......................... 27 2.5 Riemann-Roch............................ 29 2.6 Blow ups and Castelnuovo's theorem................ 31 3 Abelian varieties 34 3.1 Elliptic curves............................. 34 3.2 Abelian varieties and theta functions................ 36 3.3 Jacobians............................... 39 3.4 More on polarizations........................ 41 4 Elliptic Surfaces 44 4.1 Fibered surfaces........................... 44 4.2 Ruled surfaces............................ 45 4.3 Elliptic surfaces: examples...................... 46 4.4 Singular fibres............................. 48 4.5 The Shioda-Tate formula...................... 51 1 Chapter 1 Basic curve theory 1.1 Hyperelliptic curves As all of us learn in calculus, integrals involving square roots of quadratic poly- nomials can be evaluated by elementary methods. For higher degree polynomi- als, this is no longer true, and this was a subject of intense study in the 19th century. An integral of the form Z p(x) dx (1.1) pf(x) is called elliptic if f(x) is a polynomial of degree 3 or 4, and hyperelliptic if f has higher degree, say d. It was Riemann who introduced the geometric point of view, that we should really be looking at the algebraic curve Xo defined by y2 = f(x) 2 Qd in C . -
A NOTE on SHEAVES WITHOUT SELF-EXTENSIONS on the PROJECTIVE N-SPACE
A NOTE ON SHEAVES WITHOUT SELF-EXTENSIONS ON THE PROJECTIVE n-SPACE. DIETER HAPPEL AND DAN ZACHARIA Abstract. Let Pn be the projective n−space over the complex numbers. In this note we show that an indecomposable rigid coherent sheaf on Pn has a trivial endomorphism algebra. This generalizes a result of Drezet for n = 2: Let Pn be the projective n-space over the complex numbers. Recall that an exceptional sheaf is a coherent sheaf E such that Exti(E; E) = 0 for all i > 0 and End E =∼ C. Dr´ezetproved in [4] that if E is an indecomposable sheaf over P2 such that Ext1(E; E) = 0 then its endomorphism ring is trivial, and also that Ext2(E; E) = 0. Moreover, the sheaf is locally free. Partly motivated by this result, we prove in this short note that if E is an indecomposable coherent sheaf over the projective n-space such that Ext1(E; E) = 0, then we automatically get that End E =∼ C. The proof involves reducing the problem to indecomposable linear modules without self extensions over the polynomial algebra. In the second part of this article, we look at the Auslander-Reiten quiver of the derived category of coherent sheaves over the projective n-space. It is known ([10]) that if n > 1, then all the components are of type ZA1. Then, using the Bernstein-Gelfand-Gelfand correspondence ([3]) we prove that each connected component contains at most one sheaf. We also show that in this case the sheaf lies on the boundary of the component. -
Boundary and Shape of Cohen-Macaulay Cone
BOUNDARY AND SHAPE OF COHEN-MACAULAY CONE HAILONG DAO AND KAZUHIKO KURANO Abstract. Let R be a Cohen-Macaulay local domain. In this paper we study the cone of Cohen-Macaulay modules inside the Grothendieck group of finitely generated R-modules modulo numerical equivalences, introduced in [3]. We prove a result about the boundary of this cone for Cohen-Macaulay domain admitting de Jong’s alterations, and use it to derive some corollaries on finite- ness of isomorphism classes of maximal Cohen-Macaulay ideals. Finally, we explicitly compute the Cohen-Macaulay cone for certain isolated hypersurface singularities defined by ξη − f(x1; : : : ; xn). 1. Introduction Let R be a Noetherian local ring and G0(R) the Grothendieck group of finitely generated R-modules. Using Euler characteristic of perfect complexes with finite length homologies (a generalized version of Serre’s intersection multiplicity pair- ings), one could define the notion of numerical equivalence on G0(R) as in [17]. See Section 2 for precise definitions. When R is the local ring at the vertex of an affine cone over a smooth projective variety X, this notion can be deeply related to that of numerical equivalences on the Chow group of X as in [17] and [20]. Let G0(R) be the Grothendieck group of R modulo numerical equivalences. A simple result in homological algebra tells us that if M is maximal Cohen- Macaulay (MCM), the Euler characteristic function will always be positive. Thus, maximal Cohen-Macaulay modules all survive in G0(R), and it makes sense to talk about the cone of Cohen-Macaulay modules inside G (R) : 0 R X C (R) = [M] ⊂ G (R) : CM R≥0 0 R M:MCM The definition of this cone and some of its basic properties was given in [3]. -
Foundations of Algebraic Geometry Class 13
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 13 RAVI VAKIL CONTENTS 1. Some types of morphisms: quasicompact and quasiseparated; open immersion; affine, finite, closed immersion; locally closed immersion 1 2. Constructions related to “smallest closed subschemes”: scheme-theoretic image, scheme-theoretic closure, induced reduced subscheme, and the reduction of a scheme 12 3. More finiteness conditions on morphisms: (locally) of finite type, quasifinite, (locally) of finite presentation 16 We now define a bunch of types of morphisms. (These notes include some topics dis- cussed the previous class.) 1. SOME TYPES OF MORPHISMS: QUASICOMPACT AND QUASISEPARATED; OPEN IMMERSION; AFFINE, FINITE, CLOSED IMMERSION; LOCALLY CLOSED IMMERSION In this section, we'll give some analogues of open subsets, closed subsets, and locally closed subsets. This will also give us an excuse to define affine and finite morphisms (closed immersions are a special case). It will also give us an excuse to define some im- portant special closed immersions, in the next section. In section after that, we'll define some more types of morphisms. 1.1. Quasicompact and quasiseparated morphisms. A morphism f : X Y is quasicompact if for every open affine subset U of Y, f-1(U) is quasicompact. Equivalently! , the preimage of any quasicompact open subset is quasicom- pact. We will like this notion because (i) we know how to take the maximum of a finite set of numbers, and (ii) most reasonable schemes will be quasicompact. 1.A. EASY EXERCISE. Show that the composition of two quasicompact morphisms is quasicompact. 1.B. EXERCISE. Show that any morphism from a Noetherian scheme is quasicompact. -
Arithmetic of the Moduli of Fibered Algebraic Surfaces with Heuristics for Counting Curves Over Global Fields
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by University of Minnesota Digital Conservancy Arithmetic of the moduli of fibered algebraic surfaces with heuristics for counting curves over global fields A THESIS SUBMITTED TO THE FACULTY OF THE GRADUATE SCHOOL OF THE UNIVERSITY OF MINNESOTA BY Jun Yong Park IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF Doctor of Philosophy Craig Westerland May, 2018 © Jun Yong Park 2018 ALL RIGHTS RESERVED Acknowledgements First and foremost, I would like to express sincere gratitude to my doctoral advisor Craig Westerland for his kind guidance throughout the theme of studying arithmetic of moduli spaces under the interplay of geometry & topology with number theory. His insights and suggestions have helped me grow as a researcher and as a mathematician. I would also like to thank Denis Auroux, Jordan Ellenberg, Benson Farb, Thomas Espitau, Robert Gulliver, Joe Harris, Changho Han, Leo Herr, Minhyong Kim, Anatole Katok, Maxim Kazarian, Honglei Lang, Frank Morgan, Steven Sperber, Dennis Stan- ton, Vladimir Sverak, András Stipsicz, Sergei Tabachnikov, Yu-jong Tzeng, Alexander Voronov, Chuen-Ming Michael Wong, Jonathan Wise and Jesse Wolfson for helpful conversations, numerous suggestions and inspirations. A majority this thesis was written during my stay at the Brown University, Depart- ment of Mathematics in January-July 2018. I would like to thank Department Chair Dan Abramovich and Graduate Advisor Thomas Goodwillie as well as Dori Bejleri, Ali- cia Harper, Giovanni Inchiostro and many other wonderful graduate students at Brown for their kind hospitality. Also a part of this thesis work was done during my stay at IBS-CGP in July-August 2017, I would like to thank Yong-Geun Oh, Jae-Suk Park, and Jihun Park for their kind hospitality. -
Orientations for DT Invariants on Quasi-Projective Calabi-Yau 4-Folds
Orientations for DT invariants on quasi-projective Calabi{Yau 4-folds Arkadij Bojko∗ Abstract For a Calabi{Yau 4-fold (X; !), where X is quasi-projective and ! is a nowhere vanishing section of its canonical bundle KX , the (derived) moduli stack of compactly supported perfect complexes MX is −2-shifted symplectic and thus has an orientation ! bundle O !MX in the sense of Borisov{Joyce [11] necessary for defining Donaldson{ Thomas type invariants of X. We extend first the orientability result of Cao{Gross{ Joyce [15] to projective spin 4-folds. Then for any smooth projective compactification Y , such that D = Y nX is strictly normal crossing, we define orientation bundles on the stack MY ×MD MY and express these as pullbacks of Z2-bundles in gauge theory, constructed using positive Dirac operators on the double of X. As a result, we relate the ! orientation bundle O !MX to a gauge-theoretic orientation on the classifying space of compactly supported K-theory. Using orientability of the latter, we obtain orientability of MX . We also prove orientability of moduli spaces of stable pairs and Hilbert schemes of proper subschemes. Finally, we consider the compatibility of orientations under direct sums. 1 Introduction 1.1 Background and results Donaldson-Thomas type theory for Calabi{Yau 4-folds has been developed by Borisov{ Joyce [11], Cao{Leung [22] and Oh{Thomas [73] . The construction relies on having Serre duality Ext2(E•;E•) =∼ Ext2(E•;E•)∗ : for a perfect complex E•. This gives a real structure on Ext2(E•;E•), and one can take 2 • • its real subspace Ext (E ;E )R. -
Automorphisms of a Symmetric Product of a Curve (With an Appendix by Najmuddin Fakhruddin)
Documenta Math. 1181 Automorphisms of a Symmetric Product of a Curve (with an Appendix by Najmuddin Fakhruddin) Indranil Biswas and Tomas´ L. Gomez´ Received: February 27, 2016 Revised: April 26, 2017 Communicated by Ulf Rehmann Abstract. Let X be an irreducible smooth projective curve of genus g > 2 defined over an algebraically closed field of characteristic dif- ferent from two. We prove that the natural homomorphism from the automorphisms of X to the automorphisms of the symmetric product Symd(X) is an isomorphism if d > 2g − 2. In an appendix, Fakhrud- din proves that the isomorphism class of the symmetric product of a curve determines the isomorphism class of the curve. 2000 Mathematics Subject Classification: 14H40, 14J50 Keywords and Phrases: Symmetric product; automorphism; Torelli theorem. 1. Introduction Automorphisms of varieties is currently a very active topic in algebraic geom- etry; see [Og], [HT], [Zh] and references therein. Hurwitz’s automorphisms theorem, [Hu], says that the order of the automorphism group Aut(X) of a compact Riemann surface X of genus g ≥ 2 is bounded by 84(g − 1). The group of automorphisms of the Jacobian J(X) preserving the theta polariza- tion is generated by Aut(X), translations and inversion [We], [La]. There is a universal constant c such that the order of the group of all automorphisms of any smooth minimal complex projective surface S of general type is bounded 2 above by c · KS [Xi]. Let X be a smooth projective curve of genus g, with g > 2, over an al- gebraically closed field of characteristic different from two. -
Associating Abelian Varieties to Weight-2 Modular Forms: the Eichler-Shimura Construction
Ecole´ Polytechnique Fed´ erale´ de Lausanne Master’s Thesis in Mathematics Associating abelian varieties to weight-2 modular forms: the Eichler-Shimura construction Author: Corentin Perret-Gentil Supervisors: Prof. Akshay Venkatesh Stanford University Prof. Philippe Michel EPF Lausanne Spring 2014 Abstract This document is the final report for the author’s Master’s project, whose goal was to study the Eichler-Shimura construction associating abelian va- rieties to weight-2 modular forms for Γ0(N). The starting points and main resources were the survey article by Fred Diamond and John Im [DI95], the book by Goro Shimura [Shi71], and the book by Fred Diamond and Jerry Shurman [DS06]. The latter is a very good first reference about this sub- ject, but interesting points are sometimes eluded. In particular, although most statements are given in the general setting, the book mainly deals with the particular case of elliptic curves (i.e. with forms having rational Fourier coefficients), with little details about abelian varieties. On the other hand, Chapter 7 of Shimura’s book is difficult, according to the author himself, and the article by Diamond and Im skims rapidly through the subject, be- ing a survey. The goal of this document is therefore to give an account of the theory with intermediate difficulty, accessible to someone having read a first text on modular forms – such as [Zag08] – and with basic knowledge in the theory of compact Riemann surfaces (see e.g. [Mir95]) and algebraic geometry (see e.g. [Har77]). This report begins with an account of the theory of abelian varieties needed for what follows. -
AN EXPLORATION of COMPLEX JACOBIAN VARIETIES Contents 1
AN EXPLORATION OF COMPLEX JACOBIAN VARIETIES MATTHEW WOOLF Abstract. In this paper, I will describe my thought process as I read in [1] about Abelian varieties in general, and the Jacobian variety associated to any compact Riemann surface in particular. I will also describe the way I currently think about the material, and any additional questions I have. I will not include material I personally knew before the beginning of the summer, which included the basics of algebraic and differential topology, real analysis, one complex variable, and some elementary material about complex algebraic curves. Contents 1. Abelian Sums (I) 1 2. Complex Manifolds 2 3. Hodge Theory and the Hodge Decomposition 3 4. Abelian Sums (II) 6 5. Jacobian Varieties 6 6. Line Bundles 8 7. Abelian Varieties 11 8. Intermediate Jacobians 15 9. Curves and their Jacobians 16 References 17 1. Abelian Sums (I) The first thing I read about were Abelian sums, which are sums of the form 3 X Z pi (1.1) (L) = !; i=1 p0 where ! is the meromorphic one-form dx=y, L is a line in P2 (the complex projective 2 3 2 plane), p0 is a fixed point of the cubic curve C = (y = x + ax + bx + c), and p1, p2, and p3 are the three intersections of the line L with C. The fact that C and L intersect in three points counting multiplicity is just Bezout's theorem. Since C is not simply connected, the integrals in the Abelian sum depend on the path, but there's no natural choice of path from p0 to pi, so this function depends on an arbitrary choice of path, and will not necessarily be holomorphic, or even Date: August 22, 2008.