# Algebraic v.s. Analytic Point of View

Size: px
Start display at page:

Transcription

1 Algebraic v.s. Analytic Point of View Ziwen Zhu September 19, 2015 In this talk, we will compare 3 different yet similar objects of interest in algebraic and complex geometry, namely algebraic variety, analytic variety and complex manifold. Then we will go through some deep and powerful theorems concerning the relation between these 3 objects. Finally, we will look at some examples and applications in order to have an idea about the benefit of switching among different viewpoints due to previous theorems. The base field will be C throughout the talk. 1 Varieties and manifolds Intuitively, algebraic varieties are spaces that locally look like affine varieties. Indeed, we have the following definition: Definition. A space X is an algebraic varieties if every x X has a neighborhood U such that U is isomorphic to an affine variety. We have Zariski topology on affine varieties, therefore the topology on an algebraic variety X is still in some sense Zariski. Now we want to define analogously analytic varieties. Simply put, we are replacing polynomials with holomorphic (analytic) functions. We first define analytic affine varieties. Definition. Let U C n be the polydisc { z i < 1 i = 1,..., n}, An analytic affine variety X in U is the closed subset consisting of common zeros of f 1,..., f q, where f i s are holomorphic functions on U. We will denote X = V (f 1,..., f q ). Similar to the case of algebraic varieties, we can define the structure sheaf on an analytic affine variety X, i.e. the sheaf of holomorphic functions on X. Let O X be the structure sheaf of X. Then O X is the sheaf associated to the presheaf O U /(f 1,..., f q ), where O U is the sheaf of holomorphic functions on U, and (f 1,..., f q ) is the ideal sheaf inside O U determined by f 1,..., f q. Intuitively, holomorphic functions on X U are locally the restriction to X of holomorphic functions on U, quotient those holomorphic functions that vanishes on X. Now we can define analytic varieties as spaces that are locally analytic affine varieties. In many books, analytic varieties are also called analytic spaces. 1

2 Definition. A space X is an analytic variety if every x X has a neighborhood U such that U is isomorphic to an analytic affine variety. Finally, we give the definition of a complex manifold. Definition. A complex manifold of dimension n is a real differentiable manifold of dimension 2n such that it admits an atlas {U i, ϕ i }, such that ϕ i : U i ϕ i (U i ) is a homeomorphism of U i to open subsets of C n, and transition functions ϕ ij = ϕ i ϕ 1 j are holomorphic. Let s look at a somewhat trivial example. Example. The affine space C n and the projective space CP n are of course complex manifolds. Moreove, they are both algebraic varieties and analytic varieties as well because we can simply take them to be the vanishing locus of the zero function. 2 Relations between algebraic varieties, analytic varieties and complex manifolds 2.1 General Results We have some quick and general results about the relations between all 3 types of objects. First of all, by definition, we know that algebraic varieties are analytic varieties. Indeed, Suppose X = Spec C[x 1,..., x n ]/(f 1,..., f q ) is an affine variety. Because polynomials are holomorphic functions, X considered as the vanishing locus of f 1,..., f q is an analytic space. Algebraic varieties result from gluing affine varieties, so they are analytic as well. Next, we give a definition of regularity for analytic varieties (hence algebraic varieties), and then prove regular (nonsingular) varieties are complex manifolds. Thus a regular variety can in some sense be viewed as a smooth variety. Definition. Let X be an analytic variety, a point p X is called a regular point, if there is a neighborhood of x U C n, and holomorphic functions ( f ) 1,..., f q on U, such that X U = V (f 1,..., f q ) U, and the matrix fi z j (p) has i j maximal rank (i.e. rank is q). If every point in X is a regular point, then X is called regular (or nonsingular). Locally, if X is the vanishing locus of f 1,..., f q inside U C n, we can define a holomorphic map F : U C q, given by F (z 1,..., z n ) = (f 1,..., f q ). Then X U = F 1 (0). The condition that X is regular on U is the same as saying that 0 is a regular value of F, hence X U = F 1 (0) is a complex submanifold of U. We use holomorphic version of implicit function theorem here. 2

3 Example. Let s look at an example of hypersurface in U C n, where U is the polydisc { z i < 1 i = 1,..., n}. Suppose X is defined by a holomorphic function f on U, i.e. X = V (f). If X is nonsingular at p = (p 1,..., p n ) X, then by definition, all partials f z i (p) are not zero. WLOG, we may assume f z n (p) 0, then by IFT, we have neighborhoods of (p 1,..., p n 1 ) in C n 1 and p n in C, denoted by V 1 and V 2 respectively, and a holomorphic function g : V 1 V 2 such that f(z 1,..., z n 1, g(z 1,..., z n 1 )) = 0. Therefore, a neighborhood of p in X, namely X (V 1 V 2 ), is biholomorphic to V 1, an open subset in C n 1. The isomorphism is given by (z 1,..., z n 1, z n ) (z 1,..., z n 1 ) and (z 1,..., z n 1 ) (z 1,..., z n 1, g(z 1,..., z n 1 )). 2.2 Chow s Theorem We already know every algebraic variety is analytic. Then a natural question is whether every analytic variety is algebraic. This is generally false. There are 2 simple counterexamples due to the fact that analytic topology is finer than Zariski topology and there are more holomorphic functions than polynomials. Example. Consider the polydisc in C n. It is analytic, but is not going to be defined by the zero locus of any set of polynomials because any polynomial that vanishes on polydisc will vanish on the whole C n. This example results from an open subset in analytic topology that is not Zariski open. Example. Consider the zero locus of sin z in C, which consists of countably many points {kπ, k Z}. It is not the zero locus of a polynomial, or else it would be finite. In this example, we find some holomorphic function which is not a polynomial. However, Chow s theorem tells us that the answer to the question above is yes in projective spaces. Theorem (Chow). Let X CP n be an analytic subvariety, then X is algebraic. This result is amazing because we start from spaces in the projective space that are locally defined by vanishing locus of holomorphic functions, but they turn out to be vanishing locus of polynomials globally. Chow s theorem has an immediate corollary. Corollary. Meromorphic functions on a projective variety is rational. Proof. Given a meromorphic function f on a projective variety X CP k, we can view it as a map from X to CP 1. Let Γ f X CP 1 be the closure of the graph of f. Then Γ f is a subvariety of X CP 1, hence a subvariety of CP k CP 1, which embeds into CP k+1. Then by Chow s theorem, the graph Γ f is algebraic. Let p and q be the 2 projections from X CP 1 to X and CP 1 respectively. Then p is an isomorphism from Γ f to X, and f can be recovered as f(x) = q(p 1 (x)). Because p and q are algebraic, so is f. 3

4 There are some correspondence between some properties in algebraic and analytic varieties. For example, separatedness on the algebraic side is Hausdorff on the analytic side, etc. 2.3 GAGA Serre s GAGA principle generalizes Chow s theorem, claiming that analytic coherent sheaves on a projective variety is actually algebraic, and that it doesn t matter whether we are calculating the cohomology of coherent sheaves in the analytic sense or in the algebraic sense. We already know the definition of coherent sheaves on an algebraic variety. To state GAGA, we need to define as well analytic coherent sheaves. First of all, let s look at a special case, the locally free sheaves (vector bundles) on a projective variety. Locally free sheaves are locally direct sums of the structure sheaf. For every projective algebraic variety X, we can view it as an analytic variety, denoted as X h. And we associate to O X, the structure sheaf of X, the structure sheaf of X h, denoted as O Xh. Then for every locally free sheaf E on X, we can associate an analytic locally free sheaf E h in the following way: For every local trivialization of E, E U O r U, we can associate locally to E U the sheaf O r U h. Then we can glue them together for all U and get an analytic locally free sheaf E h. Because coherent sheaf on an algebraic variety is defined in Hartshorne in an algebraic way, we need to find another way of definition in order to generalize the concept of coherent sheaf to analytic varieties. Now for a coherent sheaf F on X, locally on an affine open subset U = Spec A, it is the sheaf associated to a finitely generated A-module M. A is Noetherian because it is finitely generated C-algebra. Then we have the following exact sequence: A m A n M 0. Apply the -functor, we have an exact sequence for sheaves: O m U O n U F U 0. That is every coherent sheaf is locally the cokernel of a map between free sheaves of finite rank. Then we can define in the same way the coherent sheaf on an analytic variety. Definition. A sheaf F on an analytic variety X is coherent if for every x X, we have a neighborhood U such that we have the following exact sequence: O m U O n U F U 0. With coherent sheaf defined on analytic spaces, we can associate an analytic coherent sheaf to every algebraic coherent sheaf. Namely, for an algebraic coherent sheaf F on an algebraic variety X, we have locally F U = coker ϕ, where ϕ : O m U On U. ϕ naturally induces a map ϕ h : O m U h O n U h. Then we can associate locally the analytic sheaf coker ϕ h and glue them together to get F h. 4

5 More strictly speaking, we can define the associated coherent sheaf in the following way: Let f : X h X be the identity map, which is continuous because analytic topology is finer than Zariski topology. Then we also have a natural map between structure sheaves f : O X f O Xh by sending regular functions on X to itself on X h considered as holomorphic functions. We have f O U = O Uh for every open subset U X. Then by applying f (which is always right exact) to the exact sequence: O m U O n U F U 0. We know that we can define F h = f F. Remark. Actually here f is exact. Indeed, generally if we have an inclusion of open subset i : U X, i is right adjoint to i!, which is exact. f also defines natural maps between cohomology groups: H i (X, F) H i (X h, F h ). Indeed, if we have an injective resolution (in the category of sheaves of modules) 0 F I, apply the exact functor f, we have an injective resolution 0 F h f I. Because topologically f is the identity map, we also have Γ(X, G) Γ(X h, f G) for G = F, I i here. Therefore, we get a chain map between Γ(X, I ) and Γ(X h, f I ), which induces the morphism of cohomology groups. Now we can introduce Serre s GAGA principle. Simply put, it claims that every analytic coherent sheaf on a projective variety is algebraic. Furthermore, it doesn t matter how we calculate the cohomology of coherent sheaves. Formally, we have the following theorem: Theorem (Serre). Let X be a projective variety over C, then there is an equivalence of categories from the category of coherent sheaves on X to the category of coherent analytic sheaves on X h. Furthermore, for every coherent sheaf F on X, the natural maps H i (X, F) H i (X h, F h ) are isomorphisms for all i. Remark. The theorem is not true for sheaves that are not coherent. A simple counterexample is the constant sheaf Z on X. Now Chow s theorem can be obtained directly from GAGA. Indeed, if X CP n is an analytic subvariety, we can associate to X an ideal sheaf I O CP n which is locally generated by the defining functions f 1,..., f q of X. Thus I is an analytic coherent sheaf on X and by GAGA it is actually algebraic. Therefore, the subvariety defined by the ideal sheaf I is algebraic. 3 Applications Chow s theorem and Serre s GAGA principle enable us to switch between algebraic and analytic point of views. On the algebraic side we can utilize a lot of 5

6 results from commutative algebra to study algebraic varieties. Whereas on the analytic side, all the methods of complex analysis and differential geometry can be used. There are so-called transcendental methods referring to the process of using analysis to prove results for which no purely algebraic proofs are known. Even for results that can be understand both algebraically and analytically, it is still helpful to switch between point of views. We list in this section some common ideas that both algebraic and analytic viewpoints come into play. Example (Line bundles and the exponential sequence). Let X be an analytic variety. We have an exact sequence of sheaves 0 Z O X O X 0, where Z is the constant sheaf on X, and can be considered naturally a subsheaf of O X, and OX is the sheaf of invertible (under multiplication) holomorphic functions. The map exp : O X OX is given by sending f to e2πif. The sequence is indeed exact because e 2πz = 1 exactly when z Z and logarithm gives locally the inverse of the exponential map exp. This short exact sequence induces a long exact sequence of cohomology: H i 1 (X, O X) H i (X, Z) H i (X, O X ) H i (X, O X) H i+1 (X, Z). Now if we consider the case that X h is analytic projective, whose underlying algebraic variety is X. Then because H 0 (X h, O Xh ) = H 0 (X, O X ) = C and H 0 (X h, OX h ) = H 0 (X, OX ) = C, for the H 0 part of the long exact sequence, we have 0 Z C C 0. Therefore, starting from H 1, we have 0 H 1 (X h, Z) H 1 (X h, O Xh ) H 1 (X h, O X h ) H 2 (X h, Z).... First we notice that there is an isomorphism H 1 (X h, OX h ) = Pic X h. Indeed, by first viewing H 1 (X h, OX h ) as Čech cohomology on an open cover {U i} of X h, an element in H 1 (X h, OX h ) is a collection of cocyles {(U ij, g ij )} i,j. Then in the Čech complex, {(U ij, g ij )} i,j is closed means that all g ij satisfies cocycle condition g ik = g ij g jk. And it is exact if we have g i OU i such that g ij = g j g 1 i. Therefore, closedness tells us g ij defines a line bundle on X h, whereas exactness tells us g ij defines the trivial line bundle O Xh. Therefore we have an injective map from H 1 (X h, OX h ) to Pic X h. Moreover, since every line bundle can be determined by transition functions g ij which can be viewed as cocycles in H 1 (X h, OX h ), we know H 1 (X h, OX h ) = Pic X h. By GAGA, we then have Pic X h = Pic X, i.e. analytic line bundles over X h are the same as algebraic line bundles over X. We also have H 1 (X h, O Xh ) = H 1 (X, O X ). So the sequence we have now becomes 0 H 1 (X h, Z) H 1 (X, O X ) Pic X H 2 (X h, Z).... 6

7 Now we can easily define the fisrt chern class c 1 (L) of a line bundle L Pic X to be its image under the map Pic X H 2 (X h, Z). Also if we denote by Pic X the line bundle that are numerically trivial (in most cases we may assume this is the same as saying c 1 (L) = 0), we can deduce from the long exact sequence that Pic X H 1 (X, O X )/H 1 (X h, Z). Indeed, Pic X = ker(pic X H 2 (X h, Z)) = coker(h 1 (X h, Z) H 1 (X, O X )) = H 1 (X, O X )/H 1 (X h, Z). When X is a nonsingular curve of genus g, or equivalently, X h is a Riemann surface of genus g, we can have a more explicit expression for Pic X. Now H 1 (X h, Z) = Z 2g because topologically X h is a sphere with g handles. On the other hand, by Serre duality, we have H 1 (X, O X ) H 0 (X, ω X ) C g. So Pic X C g /Z 2g, which is a complex torus. This is the Jacobian variety of the curve X. Another advantage of the analytic viewpoint is that we can define metrics on a complex manifold and the vector bundles on it, Which will relate many concepts to solving a specifi PDE and hence allow us to use analysis approaches. Example (Hodge decomposition). First of all, in classical Hodge theory, on a compact Kähler manifold X, we have Hodge decomposition H m (X, C) = H p,q (X). p+q=m The decomposition briefly speaking is given in the following way: by viewing H m (X, C) as De Rham cohomology, we can find a unique harmonic representative for every element in H m (X, C), and then we can decompose it into harmonic (p, q)-forms with p+q = m. The notion of harmonic forms is defined by a Laplace operator associated to the Kähler metric on X, therefore in general, we don t have Hodge decompostion for algebraic varieties. However, for nonsingular algebraic projective varieties, we actually have Hodge decomposition. Indeed, for projective spaces CP n, there is a standard Fubini-Study metric on it which is Kähler. Therefore, for every projective variety X, we have the induced Kähler metric pullbacked from some CP n, making X into a Kähler manifold. So there is Hodge decomposition on X. There are some theorem later in Hodge theory claiming that every compact algebraic variety (not necessarily projective) admits a Hodge decomposition though it might not be Kähler. Example (Ample line bundles). The ampleness of a line bundle L on an algebraic variety X can be defined in the following way: First of all, L is very ample if there exists a closed immersion X CP N such that L = O CP N (1) X. 7

8 Then a line bundle L is called ample if L m is very ample for some m > 0. On the other hand, there is a similar notion of positivity of a line bundle on analytic variety. Given a Hermitian metric h on a Line bundle L on X, it i determines a curvature form Θ(L, h) which is a (1,1)-form (Moreover, 2π Θ(L, h) is actually a representative of c 1 (L)). Then the line bundle L is called positive if it carries a Hermitian metric h such that i 2π Θ(L, h) is a Kähler form (i.e. the (1,1)-form associated to a Kähler metric). We have the following Kodaira embedding theorem claiming that positive line bundle is the same as ample line bundle. Theorem (Kodaira). Let X be a compact Kähler manifold, and L a holomorphic line bunlde on X. Then L is positive if and only if there is a holomorphic embedding φ : X CP N of X into some projective space such that φ O CP N (1) = L m for some m > 0. By GAGA, we know from Kodaira embedding theorem that if we have a positive line bundle L on a compact Kähler manifold X, then both X and L are algebraic and L is ample. Fianlly, let s look at an example about how to resolve by an algebraic approach the problem that Zariski topology is too coarse. In some sense, the method is actually inspired from the analytic point of view. Example (Completion of a local ring). Let X and Y be two algebraic varieties. Suppose there are points p X and q Y such that the local rings of germs of regular functions O p,x and O q,y are isomorphic as C-algebras. Then there are open sets p U X and q V Y and isomorphism of U to V which sends p to q. This in particular shows that X and Y are birationally equivalent. Therefore, on an algebraic variety, local ring at a specific point pretty much tells us almost everything about the variety itself, and we are actually not looking at something really local when studying the local ring. However, we can introduce Ôp,X, the completion of the local ring O p,x, which intuitively is replacing germs of regular functions with germs of power series (not necessarily convergence, contrary to the case of germs of holomorphic functions). Then we can see from the following fact that Ôp,X indeed forgets more global properties and reflects information that is much more local. Observation. If p X and q Y are nonsingular points on varieties of the same dimension, then Ôp,X is isomorphic to Ôq,Y. This observation is the algebraic analogue of the fact that any two manifolds of the same dimension n are loccally isomorphic (in fact to a polydisc U C n ). 8

### 1. Algebraic vector bundles. Affine Varieties

0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24 RAVI VAKIL CONTENTS 1. Vector bundles and locally free sheaves 1 2. Toward quasicoherent sheaves: the distinguished affine base 5 Quasicoherent and coherent sheaves

### Math 248B. Applications of base change for coherent cohomology

Math 248B. Applications of base change for coherent cohomology 1. Motivation Recall the following fundamental general theorem, the so-called cohomology and base change theorem: Theorem 1.1 (Grothendieck).

### Algebraic Geometry Spring 2009

MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

### Algebraic Curves and Riemann Surfaces

Algebraic Curves and Riemann Surfaces Rick Miranda Graduate Studies in Mathematics Volume 5 If American Mathematical Society Contents Preface xix Chapter I. Riemann Surfaces: Basic Definitions 1 1. Complex

### Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti

Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY E-mail address: alex.massarenti@sissa.it These notes collect a series of

### Algebraic Geometry Spring 2009

MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

### Synopsis of material from EGA Chapter II, 5

Synopsis of material from EGA Chapter II, 5 5. Quasi-affine, quasi-projective, proper and projective morphisms 5.1. Quasi-affine morphisms. Definition (5.1.1). A scheme is quasi-affine if it is isomorphic

### Useful theorems in complex geometry

Useful theorems in complex geometry Diego Matessi April 30, 2003 Abstract This is a list of main theorems in complex geometry that I will use throughout the course on Calabi-Yau manifolds and Mirror Symmetry.

### ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES

ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open

### Introduction to algebraic surfaces Lecture Notes for the course at the University of Mainz

Introduction to algebraic surfaces Lecture Notes for the course at the University of Mainz Wintersemester 2009/2010 Arvid Perego (preliminary draft) October 30, 2009 2 Contents Introduction 5 1 Background

### APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY

APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY In this appendix we begin with a brief review of some basic facts about singular homology and cohomology. For details and proofs, we refer to [Mun84]. We then

### The Canonical Sheaf. Stefano Filipazzi. September 14, 2015

The Canonical Sheaf Stefano Filipazzi September 14, 015 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will go over

### (1) The embedding theorem. It says that a Stein manifold can always be embedded into C n for sufficiently large n.

Class 1. Overview Introduction. The subject of this course is complex manifolds. Recall that a smooth manifold is a space in which some neighborhood of every point is homeomorphic to an open subset of

### Some brief notes on the Kodaira Vanishing Theorem

Some brief notes on the Kodaira Vanishing Theorem 1 Divisors and Line Bundles, according to Scott Nollet This is a huge topic, because there is a difference between looking at an abstract variety and local

### Locally G-ringed spaces and rigid spaces

18.727, Topics in Algebraic Geometry (rigid analytic geometry) Kiran S. Kedlaya, fall 2004 Rigid analytic spaces (at last!) We are now ready to talk about rigid analytic spaces in earnest. I ll give the

### 12. Linear systems Theorem Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n

12. Linear systems Theorem 12.1. Let X be a scheme over a ring A. (1) If φ: X P n A is an A-morphism then L = φ O P n A (1) is an invertible sheaf on X, which is generated by the global sections s 0, s

### Homological mirror symmetry via families of Lagrangians

Homological mirror symmetry via families of Lagrangians String-Math 2018 Mohammed Abouzaid Columbia University June 17, 2018 Mirror symmetry Three facets of mirror symmetry: 1 Enumerative: GW invariants

### Lecture 3: Flat Morphisms

Lecture 3: Flat Morphisms September 29, 2014 1 A crash course on Properties of Schemes For more details on these properties, see [Hartshorne, II, 1-5]. 1.1 Open and Closed Subschemes If (X, O X ) is a

### Math 797W Homework 4

Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition

### Algebraic Geometry Spring 2009

MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

### MIXED HODGE MODULES PAVEL SAFRONOV

MIED HODGE MODULES PAVEL SAFRONOV 1. Mixed Hodge theory 1.1. Pure Hodge structures. Let be a smooth projective complex variety and Ω the complex of sheaves of holomorphic differential forms with the de

### Algebraic Geometry Spring 2009

MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

### Preliminary Exam Topics Sarah Mayes

Preliminary Exam Topics Sarah Mayes 1. Sheaves Definition of a sheaf Definition of stalks of a sheaf Definition and universal property of sheaf associated to a presheaf [Hartshorne, II.1.2] Definition

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 43 RAVI VAKIL CONTENTS 1. Facts we ll soon know about curves 1 1. FACTS WE LL SOON KNOW ABOUT CURVES We almost know enough to say a lot of interesting things about

### Definition We say that a topological manifold X is C p if there is an atlas such that the transition functions are C p.

13. Riemann surfaces Definition 13.1. Let X be a topological space. We say that X is a topological manifold, if (1) X is Hausdorff, (2) X is 2nd countable (that is, there is a base for the topology which

### Topic: First Chern classes of Kähler manifolds Mitchell Faulk Last updated: April 23, 2016

Topic: First Chern classes of Kähler manifolds itchell Faulk Last updated: April 23, 2016 We study the first Chern class of various Kähler manifolds. We only consider two sources of examples: Riemann surfaces

### Topics in Complex Geometry and Holomorphic Foliations. César Camacho, Hossein Movasati

Topics in Complex Geometry and Holomorphic Foliations César Camacho, Hossein Movasati Contents 1 Introduction 5 1.1 The organization of the text........................... 6 1.2 Notations.....................................

### HARTSHORNE EXERCISES

HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing

### ALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0.

ALGEBRAIC K-THEORY HANDOUT 5: K 0 OF SCHEMES, THE LOCALIZATION SEQUENCE FOR G 0. ANDREW SALCH During the last lecture, we found that it is natural (even just for doing undergraduatelevel complex analysis!)

### THREE APPROACHES TO CHOW S THEOREM

THREE APPROACHES TO CHOW S THEOREM EVAN WARNER 1. Statement and overview The focus of this talk will be on Chow s theorem, a simple but very useful result linking complex analytic geometry to algebraic

### CHAPTER 0 PRELIMINARY MATERIAL. Paul Vojta. University of California, Berkeley. 18 February 1998

CHAPTER 0 PRELIMINARY MATERIAL Paul Vojta University of California, Berkeley 18 February 1998 This chapter gives some preliminary material on number theory and algebraic geometry. Section 1 gives basic

### COMPLEX ALGEBRAIC SURFACES CLASS 9

COMPLEX ALGEBRAIC SURFACES CLASS 9 RAVI VAKIL CONTENTS 1. Construction of Castelnuovo s contraction map 1 2. Ruled surfaces 3 (At the end of last lecture I discussed the Weak Factorization Theorem, Resolution

### Algebraic varieties. Chapter A ne varieties

Chapter 4 Algebraic varieties 4.1 A ne varieties Let k be a field. A ne n-space A n = A n k = kn. It s coordinate ring is simply the ring R = k[x 1,...,x n ]. Any polynomial can be evaluated at a point

### QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 10 February 2004 (Day 1)

Tuesday 10 February 2004 (Day 1) 1a. Prove the following theorem of Banach and Saks: Theorem. Given in L 2 a sequence {f n } which weakly converges to 0, we can select a subsequence {f nk } such that the

### Contents. Chapter 3. Local Rings and Varieties Rings of Germs of Holomorphic Functions Hilbert s Basis Theorem 39.

Preface xiii Chapter 1. Selected Problems in One Complex Variable 1 1.1. Preliminaries 2 1.2. A Simple Problem 2 1.3. Partitions of Unity 4 1.4. The Cauchy-Riemann Equations 7 1.5. The Proof of Proposition

### Introduction and preliminaries Wouter Zomervrucht, Februari 26, 2014

Introduction and preliminaries Wouter Zomervrucht, Februari 26, 204. Introduction Theorem. Serre duality). Let k be a field, X a smooth projective scheme over k of relative dimension n, and F a locally

### Holomorphic line bundles

Chapter 2 Holomorphic line bundles In the absence of non-constant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank

### Complex manifolds, Kahler metrics, differential and harmonic forms

Complex manifolds, Kahler metrics, differential and harmonic forms Cattani June 16, 2010 1 Lecture 1 Definition 1.1 (Complex Manifold). A complex manifold is a manifold with coordinates holomorphic on

### COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY BRIAN OSSERMAN Classical algebraic geometers studied algebraic varieties over the complex numbers. In this setting, they didn t have to worry about the Zariski

### Section Higher Direct Images of Sheaves

Section 3.8 - Higher Direct Images of Sheaves Daniel Murfet October 5, 2006 In this note we study the higher direct image functors R i f ( ) and the higher coinverse image functors R i f! ( ) which will

### Contributors. Preface

Contents Contributors Preface v xv 1 Kähler Manifolds by E. Cattani 1 1.1 Complex Manifolds........................... 2 1.1.1 Definition and Examples.................... 2 1.1.2 Holomorphic Vector Bundles..................

### mirko mauri, valerio proietti

O K A - C A R TA N F U N D A M E N TA L T H E O R E M O N S T E I N M A N I F O L D S mirko mauri, valerio proietti contents 1 Preparation 2 1.1 Coherent sheaves 2 1.2 Holomorphic convexity 4 1.3 Sheaf

### Chapter 17 Computation of Some Hodge Numbers

Chapter 17 Computation of Some Hodge Numbers The Hodge numbers of a smooth projective algebraic variety are very useful invariants. By Hodge theory, these determine the Betti numbers. In this chapter,

### Vanishing theorems and holomorphic forms

Vanishing theorems and holomorphic forms Mihnea Popa Northwestern AMS Meeting, Lansing March 14, 2015 Holomorphic one-forms and geometry X compact complex manifold, dim C X = n. Holomorphic one-forms and

### NOTES ON DIVISORS AND RIEMANN-ROCH

NOTES ON DIVISORS AND RIEMANN-ROCH NILAY KUMAR Recall that due to the maximum principle, there are no nonconstant holomorphic functions on a compact complex manifold. The next best objects to study, as

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37 RAVI VAKIL CONTENTS 1. Application of cohomology: Hilbert polynomials and functions, Riemann- Roch, degrees, and arithmetic genus 1 1. APPLICATION OF COHOMOLOGY:

### Chern classes à la Grothendieck

Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces

### Hyperkähler geometry lecture 3

Hyperkähler geometry lecture 3 Misha Verbitsky Cohomology in Mathematics and Physics Euler Institute, September 25, 2013, St. Petersburg 1 Broom Bridge Here as he walked by on the 16th of October 1843

### 3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).

3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)

### D-manifolds and derived differential geometry

D-manifolds and derived differential geometry Dominic Joyce, Oxford University September 2014 Based on survey paper: arxiv:1206.4207, 44 pages and preliminary version of book which may be downloaded from

### We can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr )

MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 43 5.3. Linearisations. An abstract projective scheme X does not come with a pre-specified embedding in a projective space. However, an ample line bundle

### DEFINITION OF ABELIAN VARIETIES AND THE THEOREM OF THE CUBE

DEFINITION OF ABELIAN VARIETIES AND THE THEOREM OF THE CUBE ANGELA ORTEGA (NOTES BY B. BAKKER) Throughout k is a field (not necessarily closed), and all varieties are over k. For a variety X/k, by a basepoint

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 48 RAVI VAKIL CONTENTS 1. A little more about cubic plane curves 1 2. Line bundles of degree 4, and Poncelet s Porism 1 3. Fun counterexamples using elliptic curves

### ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES.

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 9: SCHEMES AND THEIR MODULES. ANDREW SALCH 1. Affine schemes. About notation: I am in the habit of writing f (U) instead of f 1 (U) for the preimage of a subset

### Geometry 9: Serre-Swan theorem

Geometry 9: Serre-Swan theorem Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 26

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 26 RAVI VAKIL CONTENTS 1. Proper morphisms 1 Last day: separatedness, definition of variety. Today: proper morphisms. I said a little more about separatedness of

### Algebraic geometry over quaternions

Algebraic geometry over quaternions Misha Verbitsky November 26, 2007 Durham University 1 History of algebraic geometry. 1. XIX centrury: Riemann, Klein, Poincaré. Study of elliptic integrals and elliptic

### INTRODUCTION TO THE HODGE CONJECTURE

INTRODUCTION TO THE HODGE CONJECTURE JIM BROWN Abstract. These are notes from a talk introducing the Hodge conjecture to undergraduates attending the 2009 Clemson REU. The description given here of the

### 3. The Sheaf of Regular Functions

24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice

### RIEMANN S INEQUALITY AND RIEMANN-ROCH

RIEMANN S INEQUALITY AND RIEMANN-ROCH DONU ARAPURA Fix a compact connected Riemann surface X of genus g. Riemann s inequality gives a sufficient condition to construct meromorphic functions with prescribed

### Synopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].

Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.

### RIEMANN SURFACES: TALK V: DOLBEAULT COHOMOLOGY

RIEMANN SURFACES: TALK V: DOLBEAULT COHOMOLOGY NICK MCCLEEREY 0. Complex Differential Forms Consider a complex manifold X n (of complex dimension n) 1, and consider its complexified tangent bundle T C

### Algebraic varieties and schemes over any scheme. Non singular varieties

Algebraic varieties and schemes over any scheme. Non singular varieties Trang June 16, 2010 1 Lecture 1 Let k be a field and k[x 1,..., x n ] the polynomial ring with coefficients in k. Then we have two

### Kähler manifolds and variations of Hodge structures

Kähler manifolds and variations of Hodge structures October 21, 2013 1 Some amazing facts about Kähler manifolds The best source for this is Claire Voisin s wonderful book Hodge Theory and Complex Algebraic

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 25

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 25 RAVI VAKIL CONTENTS 1. Quasicoherent sheaves 1 2. Quasicoherent sheaves form an abelian category 5 We began by recalling the distinguished affine base. Definition.

### AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES

AFFINE PUSHFORWARD AND SMOOTH PULLBACK FOR PERVERSE SHEAVES YEHAO ZHOU Conventions In this lecture note, a variety means a separated algebraic variety over complex numbers, and sheaves are C-linear. 1.

### 2. Problems in AG (mostly second semester)

Introduction There will be no specific text in mind. Sources include Griffiths and Harris as well as Hartshorne. Others include Mumford s Red Book and AG I- Complex Projective Varieties, Shafarevich s

### 10. Smooth Varieties. 82 Andreas Gathmann

82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It

### Topics in Algebraic Geometry

Topics in Algebraic Geometry Nikitas Nikandros, 3928675, Utrecht University n.nikandros@students.uu.nl March 2, 2016 1 Introduction and motivation In this talk i will give an incomplete and at sometimes

### ON EMBEDDABLE 1-CONVEX SPACES

Vâjâitu, V. Osaka J. Math. 38 (2001), 287 294 ON EMBEDDABLE 1-CONVEX SPACES VIOREL VÂJÂITU (Received May 31, 1999) 1. Introduction Throughout this paper all complex spaces are assumed to be reduced and

### ABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY

ABSTRACT DIFFERENTIAL GEOMETRY VIA SHEAF THEORY ARDA H. DEMIRHAN Abstract. We examine the conditions for uniqueness of differentials in the abstract setting of differential geometry. Then we ll come up

### 1 Moduli spaces of polarized Hodge structures.

1 Moduli spaces of polarized Hodge structures. First of all, we briefly summarize the classical theory of the moduli spaces of polarized Hodge structures. 1.1 The moduli space M h = Γ\D h. Let n be an

### Algebraic Geometry Spring 2009

MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry

### DERIVED CATEGORIES OF COHERENT SHEAVES

DERIVED CATEGORIES OF COHERENT SHEAVES OLIVER E. ANDERSON Abstract. We give an overview of derived categories of coherent sheaves. [Huy06]. Our main reference is 1. For the participants without bacground

### Beilinson s conjectures I

Beilinson s conjectures I Akshay Venkatesh February 17, 2016 1 Deligne s conjecture As we saw, Deligne made a conjecture for varieties (actually at the level of motives) for the special values of L-function.

### A TASTE OF TWO-DIMENSIONAL COMPLEX ALGEBRAIC GEOMETRY. We also have an isomorphism of holomorphic vector bundles

A TASTE OF TWO-DIMENSIONAL COMPLEX ALGEBRAIC GEOMETRY LIVIU I. NICOLAESCU ABSTRACT. These are notes for a talk at a topology seminar at ND.. GENERAL FACTS In the sequel, for simplicity we denote the complex

### MT845: ALGEBRAIC CURVES

MT845: ALGEBRAIC CURVES DAWEI CHEN Contents 1. Sheaves and cohomology 1 2. Vector bundles, line bundles and divisors 9 3. Preliminaries on curves 16 4. Geometry of Weierstrass points 27 5. Hilbert scheme

### An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations

An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 The

### THE HODGE DECOMPOSITION

THE HODGE DECOMPOSITION KELLER VANDEBOGERT 1. The Musical Isomorphisms and induced metrics Given a smooth Riemannian manifold (X, g), T X will denote the tangent bundle; T X the cotangent bundle. The additional

### RELATIVE AMPLENESS IN RIGID-ANALYTIC GEOMETRY

RELATIVE AMPLENESS IN RIGID-ANALYTIC GEOMETRY BRIAN CONRAD 1. Introduction 1.1. Motivation. The aim of this paper is to develop a rigid-analytic theory of relative ampleness for line bundles, and to record

### LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS

LECTURE 6: J-HOLOMORPHIC CURVES AND APPLICATIONS WEIMIN CHEN, UMASS, SPRING 07 1. Basic elements of J-holomorphic curve theory Let (M, ω) be a symplectic manifold of dimension 2n, and let J J (M, ω) be

### AN INTRODUCTION TO AFFINE SCHEMES

AN INTRODUCTION TO AFFINE SCHEMES BROOKE ULLERY Abstract. This paper gives a basic introduction to modern algebraic geometry. The goal of this paper is to present the basic concepts of algebraic geometry,

### Chern Classes and the Chern Character

Chern Classes and the Chern Character German Stefanich Chern Classes In this talk, all our topological spaces will be paracompact Hausdorff, and our vector bundles will be complex. Let Bun GLn(C) be the

### SCHEMES. David Harari. Tsinghua, February-March 2005

SCHEMES David Harari Tsinghua, February-March 2005 Contents 1. Basic notions on schemes 2 1.1. First definitions and examples.................. 2 1.2. Morphisms of schemes : first properties.............

### ABEL S THEOREM BEN DRIBUS

ABEL S THEOREM BEN DRIBUS Abstract. Abel s Theorem is a classical result in the theory of Riemann surfaces. Important in its own right, Abel s Theorem and related ideas generalize to shed light on subjects

### Special cubic fourfolds

Special cubic fourfolds 1 Hodge diamonds Let X be a cubic fourfold, h H 2 (X, Z) be the (Poincaré dual to the) hyperplane class. We have h 4 = deg(x) = 3. By the Lefschetz hyperplane theorem, one knows

### FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 37 RAVI VAKIL CONTENTS 1. Motivation and game plan 1 2. The affine case: three definitions 2 Welcome back to the third quarter! The theme for this quarter, insofar

### BEZOUT S THEOREM CHRISTIAN KLEVDAL

BEZOUT S THEOREM CHRISTIAN KLEVDAL A weaker version of Bézout s theorem states that if C, D are projective plane curves of degrees c and d that intersect transversally, then C D = cd. The goal of this

### Hodge Theory of Maps

Hodge Theory of Maps Migliorini and de Cataldo June 24, 2010 1 Migliorini 1 - Hodge Theory of Maps The existence of a Kähler form give strong topological constraints via Hodge theory. Can we get similar

### Applications to the Beilinson-Bloch Conjecture

Applications to the Beilinson-Bloch Conjecture Green June 30, 2010 1 Green 1 - Applications to the Beilinson-Bloch Conjecture California is like Italy without the art. - Oscar Wilde Let X be a smooth projective

### MATH 233B, FLATNESS AND SMOOTHNESS.

MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)

### Qualifying Exams I, 2014 Spring

Qualifying Exams I, 2014 Spring 1. (Algebra) Let k = F q be a finite field with q elements. Count the number of monic irreducible polynomials of degree 12 over k. 2. (Algebraic Geometry) (a) Show that

### Or, more succinctly, lim

Lecture 7. Functions and Stuff PCMI Summer 2015 Undergraduate Lectures on Flag Varieties Lecture 7. Functions and differentiable and analytic manifolds. The implicit function theorem, cotangent spaces

### INTERSECTION THEORY CLASS 6

INTERSECTION THEORY CLASS 6 RAVI VAKIL CONTENTS 1. Divisors 2 1.1. Crash course in Cartier divisors and invertible sheaves (aka line bundles) 3 1.2. Pseudo-divisors 3 2. Intersecting with divisors 4 2.1.

### Logarithmic geometry and rational curves

Logarithmic geometry and rational curves Summer School 2015 of the IRTG Moduli and Automorphic Forms Siena, Italy Dan Abramovich Brown University August 24-28, 2015 Abramovich (Brown) Logarithmic geometry

### An Introduction to Spectral Sequences

An Introduction to Spectral Sequences Matt Booth December 4, 2016 This is the second half of a joint talk with Tim Weelinck. Tim introduced the concept of spectral sequences, and did some informal computations,

### Chern numbers and Hilbert Modular Varieties

Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point