# A CRITERION FOR A DEGREE-ONE HOLOMORPHIC MAP TO BE A BIHOLOMORPHISM. 1. Introduction

Size: px
Start display at page:

Download "A CRITERION FOR A DEGREE-ONE HOLOMORPHIC MAP TO BE A BIHOLOMORPHISM. 1. Introduction"

Transcription

1 A CRITERION FOR A DEGREE-ONE HOLOMORPHIC MAP TO BE A BIHOLOMORPHISM GAUTAM BHARALI, INDRANIL BISWAS, AND GEORG SCHUMACHER Abstract. Let X and Y be compact connected complex manifolds of the same dimension with b 2 (X) = b 2 (Y ). We prove that any surjective holomorphic map of degree one from X to Y is a biholomorphism. A version of this was established by the first two authors, but under an extra assumption that dim H 1 (X, O X ) = dim H 1 (Y, O Y ). We show that this condition is actually automatically satisfied. 1. Introduction Let X and Y be compact connected complex manifolds of dimension n. Let f : X Y be a surjective holomorphic map such that the degree of f is one, meaning that the pullback homomorphism Z H 2n (Y, Z) f H 2n (X, Z) Z is the identity map of Z. It is very natural to ask, Under what conditions would f be a biholomorphism? An answer to this was given by [2, Theorem 1.1], namely: Result 1 ([2, Theorem 1.1]). Let X and Y be compact connected complex manifolds of dimension n, and let f : X Y be a surjective holomorphic map such that the degree of f is one. Assume that (i) the C manifolds underlying X and Y are diffeomorphic, and (ii) dim H 1 (X, O X ) = dim H 1 (Y, O Y ). Then, the map f is a biholomorphism. In the proof of Result 1, the condition (i) is used only in concluding that dim H 2 (X, R) = dim H 2 (Y, R). In other words, the proof of [2, Theorem 1.1] establishes that if dim H 2 (X, R) = dim H 2 (Y, R) and dim H 1 (X, O X ) = dim H 1 (Y, O Y ), then with X, Y, and f as above f is a biholomorphism. There is some cause to believe that the condition (ii) in Result 1 might be superfluous (which we shall discuss presently). It is the basis for our main theorem, which gives a simple, purely topological, criterion for a degree-one map to be a biholomorphism: Theorem 2. Let X and Y be compact connected complex manifolds of dimension n, and let f : X Y be a surjective holomorphic map of degree one. Then, f is a biholomorphism if and only if the second Betti numbers of X and Y coincide Mathematics Subject Classification. 32H02, 32J18. Key words and phrases. Bimeromorphic maps, degree-one maps. 1

2 2 G. BHARALI, I. BISWAS, AND G. SCHUMACHER If X and Y were assumed to be Kähler, then Theorem 2 would follow from Result 1. This is because, by the Hodge decomposition, dim H 1 (M, O M ) = 1 2 dim H2 (M, C) for any compact Kähler manifold M. We shall show that this observation i.e., that condition (ii) in Result 1 is automatically satisfied under the hypotheses therein holds true in the general, analytic setting. In more precise terms, we have: Proposition 3. Let the manifolds X and Y and f : X Y be as in Result 1. Then, f induces an isomorphism between H 1 (X, O X ) and H 1 (Y, O Y ). In particular, dim H 1 (X, O X ) = dim H 1 (Y, O Y ). The above proposition might be unsurprising to many. It is well known when X and Y are projective. Since we could not find an explicit statement of Proposition 3 and since certain supplementary details are required in the analytic case we provide a proof of it in Section 2. The non-trivial step in proving Theorem 2 uses Result 1: given Proposition 3, our theorem follows from Result 1 and the comment above upon its proof. 2. Proof of Proposition 3 We begin with a general fact that we shall use several times below. For any proper holomorphic map F : V W between complex manifolds, the Leray spectral sequence gives the following exact sequence: 0 H 1 (W, F O V ) θ F H 1 (V, O V ) H 0 (W, R 1 F O V ). (2.1) With our assumptions on X, Y and f, the map f 1 (which is defined outside the image in Y of the set of points at which f fails to be a local biholomorphism) is holomorphic on its domain. Thus f is bimeromorphic. We note that any bimeromorphic holomorphic map of connected complex manifolds has connected fibers, because it is biholomorphic on the complement of a thin analytic subset. In particular, the fibers of f are connected. Claim 1. Let F : V W be a bimeromorphic holomorphic map between compact, connected complex manifolds. The natural homomorphism O W F O V (2.2) is an isomorphism. By definition, (2.2) is injective. In our case, it is an isomorphism outside a closed complex analytic subset of W, say S, of codimension at least 2. So, to show that (2.2) is surjective, it suffices to show that given any w S, for each open connected set U w and each holomorphic function ψ on F 1 (U) there is a function H ψ holomorphic on U such that ψ = H ψ F Since F 1 is holomorphic on W \S, we set on F 1 (U). H ψ U\S := ψ (F 1 U\S ). This has a unique holomorphic extension to U by Hartogs theorem (or more acurately: Riemann s second extension theorem), since S is of codimension at least 2. As F has compact, connected fibers, this extension has the desired properties. This shows that the homomorphism in (2.2) is surjective. Hence the claim.

3 A CRITERION FOR BIHOLOMORPHISM 3 By Claim 1, (2.1) yields an injective homomorphism Θ f : H 1 (Y, O Y ) H 1 (X, O X ), (2.3) which is the composition of the homomorphism θ f, as given by (2.1), and the isomorphism induced by (2.2). There is a commutative diagram of holomorphic maps g Z h X f Y, (2.4) where h is a composition of successive blow-ups with smooth centers, such that the subset of Y over which h fails to be a local biholomorphism (i.e., the image in Y of the the exceptional locus in Z) coincides with the subset of Y over which f fails to be a local biholomorphism. This fact (also called Hironaka s Chow Lemma ) can be deduced from Hironaka s Flattening Theorem [4, p. 503], [4, p. 504, Corollary 1]. We recollect briefly the argument for this. The set A of values of f in Y at which f is not flat coincides with the set of points over which f is not locally biholomorphic. Hironaka s Flattening Theorem states that there exists a sequence of blow-ups of Y with smooth centers over A amounting to a map h : Z Y such that with Z denoting the proper transform of Y in X Y Z and pr Z denoting the projection X Y Z Z the map f := pr Z is flat. In our case this implies that f : Z Z is a biholomorphism. The map g = prx ( f ) 1 and has the properties stated above. The maps h and g above are proper modifications. Thus, all the assumptions in Claim 1 hold true for g : Z X. Hence, we conclude that the homomorphism O X g O Z is an isomorphism. By (2.1) applied now to (V, W, F ) = (Z, X, g), the homomorphism Θ g : H 1 (X, O X ) H 1 (Z, O Z ), (2.5) which is analogous to Θ f above, is injective. Similarly, the homomorphism O Y h O Z is an isomorphism. Since (2.1), an exact sequence, is natural, we would be done in view of (2.3), (2.5) and the diagram (2.4) if we show that the homomorphism Θ h : H 1 (Y, O Y ) H 1 (Z, O Z ), (given by applying (2.1) to (V, W, F ) = (Z, Y, h)) is an isomorphism. To this end, we will use the following: Claim 2. For a complex manifold W of dimension n, if σ : S W is a blow-up with smooth center, then the direct image R 1 σ O S vanishes. This claim is familiar to many. However, since it is not so easy to point to one specific work for a proof in the analytic case, we indicate an argument. We first study the blow-up σ : S W of a point 0 W with exceptional divisor Ẽ = σ 1 (0). We use the Theorem on formal functions [3, Theorem 11.1], and the Grauert comparison theorem [1, Theorem III.3.1] for the analytic case. Let m 0 O W be the maximal

4 4 G. BHARALI, I. BISWAS, AND G. SCHUMACHER ideal sheaf for the point 0 W. Then the completion ( (R 1 σ O S) 0 ) of (R1 σ O S) 0 in the m 0 -adic topology is equal to We have the exact sequence of sheaves with support on lim k H 1 ( σ 1 (0), O S/ σ (m k 0) ). 0 O E (k) O S/ σ (m k+1 0 ) O S/ σ (m k 0) 0 σ 1 (0) = Ẽ Pn 1 so that the cohomology groups H q (Ẽ, O Ẽ (k)) vanish for all k 0, and q > 0. In particular the maps H 1 ( S, O S/ σ (m k+1 0 )) H 1 ( S, O S/ σ (m k 0)) are isomorphisms for k 1, and furthermore we have H 1 ( S, O S/ σ (m 0 )) H 1 (P n 1, O P n 1) = 0. This shows that R 1 σ O S vanishes. This establishes the claim for blow-up at a point. Now consider the case where the center of the blow-up σ is a smooth submanifold A of positive dimension. Since the claim is local with respect to the base space W, we may assume that W is of the form A W, where both A and W are small open subsets of complex number spaces, e.g. polydisks. Denote by π : W W the projection. We identify A with A {0} = π 1 (0) W as a submanifold. Note that the blow-up σ : S W of W along A is the fiber product S W W W. The exceptional divisor E of σ can be identified with A Ẽ. In the above argument we replace the maximal ideal sheaf m 0 by the vanishing ideal I A of A. Now σ (IA k )/σ (I k+1 A ) O E(k), and by [1, Theorem III.3.4] we have R 1 (σ E ) O E π R 1 ( σ Ẽ) OẼ = 0 so that the earlier argument can be applied. Hence the claim. Now, let τ Z = Z N τ N 1 τ N ZN 1 2 τ 1 Z1 Z0 = Y be the sequence of blow-ups that constitute h : Z Y. We have τ j O Zj O Zj 1 and R 1 τ j O Zj = 0 for 1 j τ N. Combining these with (2.1) yields a canonical injective homomorphism H 1 (Z j, O Zj ) H 1 (Z j 1, O Zj 1 ) that is an isomorphism for all j = 1,, N. Hence, by naturality, the homomorphism Θ h : H 1 (Y, O Y ) H 1 (Z, O Z ) is an isomorphism. By our above remarks, this establishes the result. Acknowledgements The second-named author thanks the Philipps-Universität, where the work for this paper was carried out, for its hospitality.

5 A CRITERION FOR BIHOLOMORPHISM 5 References [1] C. Bănică and O. Stănăşila: Algebraic Methods in the Global Theory of Complex Spaces, John Wiley & Sons, London-New York-Sydney-Toronto, [2] G. Bharali and I. Biswas: Rigidity of holomorphic maps between fiber spaces. Internat. J. Math. 25 (2014) , 8pp. [3] R. Hartshorne: Algebraic Geometry, Graduate Texts in Mathematics, No. 52, Springer-Verlag, New York-Heidelberg, [4] H. Hironaka: Flattening theorem in complex-analytic geometry. Amer. J. Math. 97 (1975), Department of Mathematics, Indian Institute of Science, Bangalore , India address: School of Mathematics, Tata Institute of Fundamental Research, 1 Homi Bhabha Road, Mumbai , India address: Fachbereich Mathematik und Informatik, Philipps-Universität Marburg, Lahnberge, Hans-Meerwein-Straße, D Marburg, Germany address:

### APPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD. 1. Introduction

APPROXIMATE YANG MILLS HIGGS METRICS ON FLAT HIGGS BUNDLES OVER AN AFFINE MANIFOLD INDRANIL BISWAS, JOHN LOFTIN, AND MATTHIAS STEMMLER Abstract. Given a flat Higgs vector bundle (E,, ϕ) over a compact

### THE VORTEX EQUATION ON AFFINE MANIFOLDS. 1. Introduction

THE VORTEX EQUATION ON AFFINE MANIFOLDS INDRANIL BISWAS, JOHN LOFTIN, AND MATTHIAS STEMMLER Abstract. Let M be a compact connected special affine manifold equipped with an affine Gauduchon metric. We show

### A Criterion for Flatness of Sections of Adjoint Bundle of a Holomorphic Principal Bundle over a Riemann Surface

Documenta Math. 111 A Criterion for Flatness of Sections of Adjoint Bundle of a Holomorphic Principal Bundle over a Riemann Surface Indranil Biswas Received: August 8, 2013 Communicated by Edward Frenkel

### 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).

### CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents

CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS Contents 1. The Lefschetz hyperplane theorem 1 2. The Hodge decomposition 4 3. Hodge numbers in smooth families 6 4. Birationally

### arxiv:math/ v1 [math.ag] 18 Oct 2003

Proc. Indian Acad. Sci. (Math. Sci.) Vol. 113, No. 2, May 2003, pp. 139 152. Printed in India The Jacobian of a nonorientable Klein surface arxiv:math/0310288v1 [math.ag] 18 Oct 2003 PABLO ARÉS-GASTESI

### 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

### NOTES ON HOLOMORPHIC PRINCIPAL BUNDLES OVER A COMPACT KÄHLER MANIFOLD

NOTES ON HOLOMORPHIC PRINCIPAL BUNDLES OVER A COMPACT KÄHLER MANIFOLD INDRANIL BISWAS Abstract. Our aim is to review some recent results on holomorphic principal bundles over a compact Kähler manifold.

### NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY

NOTES ON FLAT MORPHISMS AND THE FPQC TOPOLOGY RUNE HAUGSENG The aim of these notes is to define flat and faithfully flat morphisms and review some of their important properties, and to define the fpqc

### 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

### HOMOMORPHISMS OF VECTOR BUNDLES ON CURVES AND PARABOLIC VECTOR BUNDLES ON A SYMMETRIC PRODUCT

PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 140, Number 9, September 2012, Pages 3017 3024 S 0002-9939(2012)11227-4 Article electronically published on January 24, 2012 HOMOMORPHISMS OF VECTOR

### TitleOn manifolds with trivial logarithm. Citation Osaka Journal of Mathematics. 41(2)

TitleOn manifolds with trivial logarithm Author(s) Winkelmann, Jorg Citation Osaka Journal of Mathematics. 41(2) Issue 2004-06 Date Text Version publisher URL http://hdl.handle.net/11094/7844 DOI Rights

### arxiv: v1 [math.ag] 13 Mar 2019

THE CONSTRUCTION PROBLEM FOR HODGE NUMBERS MODULO AN INTEGER MATTHIAS PAULSEN AND STEFAN SCHREIEDER arxiv:1903.05430v1 [math.ag] 13 Mar 2019 Abstract. For any integer m 2 and any dimension n 1, we show

### INDRANIL BISWAS AND GEORG HEIN

GENERALIZATION OF A CRITERION FOR SEMISTABLE VECTOR BUNDLES INDRANIL BISWAS AND GEORG HEIN Abstract. It is known that a vector bundle E on a smooth projective curve Y defined over an algebraically closed

### EXAMPLES OF CALABI-YAU 3-MANIFOLDS WITH COMPLEX MULTIPLICATION

EXAMPLES OF CALABI-YAU 3-MANIFOLDS WITH COMPLEX MULTIPLICATION JAN CHRISTIAN ROHDE Introduction By string theoretical considerations one is interested in Calabi-Yau manifolds since Calabi-Yau 3-manifolds

### The Atiyah bundle and connections on a principal bundle

Proc. Indian Acad. Sci. (Math. Sci.) Vol. 120, No. 3, June 2010, pp. 299 316. Indian Academy of Sciences The Atiyah bundle and connections on a principal bundle INDRANIL BISWAS School of Mathematics, Tata

### ALGEBRAIC CYCLES ON THE FANO VARIETY OF LINES OF A CUBIC FOURFOLD arxiv: v2 [math.ag] 18 Apr INTRODUCTION

ALGEBRAIC CYCLES ON THE FANO VARIETY OF LINES OF A CUBIC FOURFOLD arxiv:1609.05627v2 [math.ag] 18 Apr 2018 KALYAN BANERJEE ABSTRACT. In this text we prove that if a smooth cubic in P 5 has its Fano variety

### Factorization of birational maps on steroids

Factorization of birational maps on steroids IAS, April 14, 2015 Dan Abramovich Brown University April 14, 2015 This is work with Michael Temkin (Jerusalem) Abramovich (Brown) Factorization of birational

### Algebraic v.s. Analytic Point of View

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,

### DELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES

DELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES YIFEI ZHAO Abstract. We present the proofs of Deligne s theorems on degeneration of the Leray spectral sequence, and the algebraic Hodge-de Rham

### (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

### 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

### FLABBY STRICT DEFORMATION QUANTIZATIONS AND K-GROUPS

FLABBY STRICT DEFORMATION QUANTIZATIONS AND K-GROUPS HANFENG LI Abstract. We construct examples of flabby strict deformation quantizations not preserving K-groups. This answers a question of Rieffel negatively.

### APPENDIX 3: AN OVERVIEW OF CHOW GROUPS

APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss

### 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

### arxiv:alg-geom/ v1 21 Mar 1996

AN INTERSECTION NUMBER FOR THE PUNCTUAL HILBERT SCHEME OF A SURFACE arxiv:alg-geom/960305v 2 Mar 996 GEIR ELLINGSRUD AND STEIN ARILD STRØMME. Introduction Let S be a smooth projective surface over an algebraically

### If F is a divisor class on the blowing up X of P 2 at n 8 general points p 1,..., p n P 2,

Proc. Amer. Math. Soc. 124, 727--733 (1996) Rational Surfaces with K 2 > 0 Brian Harbourne Department of Mathematics and Statistics University of Nebraska-Lincoln Lincoln, NE 68588-0323 email: bharbourne@unl.edu

### Cohomology and Base Change

Cohomology and Base Change Let A and B be abelian categories and T : A B and additive functor. We say T is half-exact if whenever 0 M M M 0 is an exact sequence of A-modules, the sequence T (M ) T (M)

### September 27, :51 WSPC/INSTRUCTION FILE biswas-loftin. Hermitian Einstein connections on principal bundles over flat affine manifolds

International Journal of Mathematics c World Scientific Publishing Company Hermitian Einstein connections on principal bundles over flat affine manifolds Indranil Biswas School of Mathematics Tata Institute

### Université Paris Sud XI Orsay THE LOCAL FLATTENING THEOREM. Master 2 Memoire by Christopher M. Evans. Advisor: Prof. Joël Merker

Université Paris Sud XI Orsay THE LOCAL FLATTENING THEOREM Master 2 Memoire by Christopher M. Evans Advisor: Prof. Joël Merker August 2013 Table of Contents Introduction iii Chapter 1 Complex Spaces 1

### Porteous s Formula for Maps between Coherent Sheaves

Michigan Math. J. 52 (2004) Porteous s Formula for Maps between Coherent Sheaves Steven P. Diaz 1. Introduction Recall what the Thom Porteous formula for vector bundles tells us (see [2, Sec. 14.4] for

### LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL

LECTURE 7: STABLE RATIONALITY AND DECOMPOSITION OF THE DIAGONAL In this lecture we discuss a criterion for non-stable-rationality based on the decomposition of the diagonal in the Chow group. This criterion

### ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES

ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle on a general hypersurface

### 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

### 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

### 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)

### Generalized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485

Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757

### 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.

### Smooth morphisms. Peter Bruin 21 February 2007

Smooth morphisms Peter Bruin 21 February 2007 Introduction The goal of this talk is to define smooth morphisms of schemes, which are one of the main ingredients in Néron s fundamental theorem [BLR, 1.3,

### A First Lecture on Sheaf Cohomology

A First Lecture on Sheaf Cohomology Elizabeth Gasparim Departamento de Matemática, Universidade Federal de Pernambuco Cidade Universitária, Recife, PE, BRASIL, 50670-901 gasparim@dmat.ufpe.br I. THE DEFINITION

### 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.

### LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY

LECTURE 5: SOME BASIC CONSTRUCTIONS IN SYMPLECTIC TOPOLOGY WEIMIN CHEN, UMASS, SPRING 07 1. Blowing up and symplectic cutting In complex geometry the blowing-up operation amounts to replace a point in

### Factorization of birational maps for qe schemes in characteristic 0

Factorization of birational maps for qe schemes in characteristic 0 AMS special session on Algebraic Geometry joint work with M. Temkin (Hebrew University) Dan Abramovich Brown University October 24, 2014

### the complete linear series of D. Notice that D = PH 0 (X; O X (D)). Given any subvectorspace V H 0 (X; O X (D)) there is a rational map given by V : X

2. Preliminaries 2.1. Divisors and line bundles. Let X be an irreducible complex variety of dimension n. The group of k-cycles on X is Z k (X) = fz linear combinations of subvarieties of dimension kg:

### 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

### Nodal symplectic spheres in CP 2 with positive self intersection

Nodal symplectic spheres in CP 2 with positive self intersection Jean-François BARRAUD barraud@picard.ups-tlse.fr Abstract 1 : Let ω be the canonical Kähler structure on CP 2 We prove that any ω-symplectic

### 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

### 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

### Remarks on the existence of Cartier divisors

arxiv:math/0001104v1 [math.ag] 19 Jan 2000 Remarks on the existence of Cartier divisors Stefan Schröer October 22, 2018 Abstract We characterize those invertible sheaves on a noetherian scheme which are

### 1 Smooth manifolds and Lie groups

An undergraduate approach to Lie theory Slide 1 Andrew Baker, Glasgow Glasgow, 12/11/1999 1 Smooth manifolds and Lie groups A continuous g : V 1 V 2 with V k R m k open is called smooth if it is infinitely

### 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

### Abelian Varieties and the Fourier Mukai transformations (Foschungsseminar 2005)

Abelian Varieties and the Fourier Mukai transformations (Foschungsseminar 2005) U. Bunke April 27, 2005 Contents 1 Abelian varieties 2 1.1 Basic definitions................................. 2 1.2 Examples

### 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.

### 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

### 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

### CONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP

CONSIDERATION OF COMPACT MINIMAL SURFACES IN 4-DIMENSIONAL FLAT TORI IN TERMS OF DEGENERATE GAUSS MAP TOSHIHIRO SHODA Abstract. In this paper, we study a compact minimal surface in a 4-dimensional flat

### Math 231b Lecture 16. G. Quick

Math 231b Lecture 16 G. Quick 16. Lecture 16: Chern classes for complex vector bundles 16.1. Orientations. From now on we will shift our focus to complex vector bundles. Much of the theory for real vector

### DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS

DEGREE OF EQUIVARIANT MAPS BETWEEN GENERALIZED G-MANIFOLDS NORBIL CORDOVA, DENISE DE MATTOS, AND EDIVALDO L. DOS SANTOS Abstract. Yasuhiro Hara in [10] and Jan Jaworowski in [11] studied, under certain

### A GENERALIZED QUOT SCHEME AND MEROMORPHIC VORTICES

A GENERALIZED QUOT SCHEME AND MEROMORPHIC VORTICES INDRANIL BISWAS, AJNEET DHILLON, JACQUES HURTUBISE, AND RICHARD A. WENTWORTH Abstract. Let be a compact connected Riemann surface. Fix a positive integer

### INTRODUCTION TO REAL ANALYTIC GEOMETRY

INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E

### Pullbacks of hyperplane sections for Lagrangian fibrations are primitive

Pullbacks of hyperplane sections for Lagrangian fibrations are primitive Ljudmila Kamenova, Misha Verbitsky 1 Dedicated to Professor Claire Voisin Abstract. Let p : M B be a Lagrangian fibration on a hyperkähler

### 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)

### LECTURE 6: THE ARTIN-MUMFORD EXAMPLE

LECTURE 6: THE ARTIN-MUMFORD EXAMPLE In this chapter we discuss the example of Artin and Mumford [AM72] of a complex unirational 3-fold which is not rational in fact, it is not even stably rational). As

### ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE

ON THE NUMBER AND BOUNDEDNESS OF LOG MINIMAL MODELS OF GENERAL TYPE DILETTA MARTINELLI, STEFAN SCHREIEDER, AND LUCA TASIN Abstract. We show that the number of marked minimal models of an n-dimensional

### 14 Lecture 14: Basic generallities on adic spaces

14 Lecture 14: Basic generallities on adic spaces 14.1 Introduction The aim of this lecture and the next two is to address general adic spaces and their connection to rigid geometry. 14.2 Two open questions

### The Global Defect Index

Communications in Mathematical Physics Manuscript-Nr. (will be inserted by hand later) The Global Defect Index Stefan Bechtluft-Sachs, Marco Hien Naturwissenschaftliche Fakultät I, Universität Regensburg,

### 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

### LECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS

LECTURES ON SINGULARITIES AND ADJOINT LINEAR SYSTEMS LAWRENCE EIN Abstract. 1. Singularities of Surfaces Let (X, o) be an isolated normal surfaces singularity. The basic philosophy is to replace the singularity

### Symplectic varieties and Poisson deformations

Symplectic varieties and Poisson deformations Yoshinori Namikawa A symplectic variety X is a normal algebraic variety (defined over C) which admits an everywhere non-degenerate d-closed 2-form ω on the

### Non-uniruledness results for spaces of rational curves in hypersurfaces

Non-uniruledness results for spaces of rational curves in hypersurfaces Roya Beheshti Abstract We prove that the sweeping components of the space of smooth rational curves in a smooth hypersurface of degree

### A NOTE ON RELATIVE DUALITY FOR VOEVODSKY MOTIVES

A NOTE ON RELATIVE DUALITY FOR VOEVODSKY MOTIVES LUCA BARBIERI-VIALE AND BRUNO KAHN Abstract. Let k be a perfect field which admits resolution of singularities in the sense of Friedlander and Voevodsky

### Characteristic classes in the Chow ring

arxiv:alg-geom/9412008v1 10 Dec 1994 Characteristic classes in the Chow ring Dan Edidin and William Graham Department of Mathematics University of Chicago Chicago IL 60637 Let G be a reductive algebraic

### Algebraic geometry versus Kähler geometry

Algebraic geometry versus Kähler geometry Claire Voisin CNRS, Institut de mathématiques de Jussieu Contents 0 Introduction 1 1 Hodge theory 2 1.1 The Hodge decomposition............................. 2

### Diagonal Subschemes and Vector Bundles

Pure and Applied Mathematics Quarterly Volume 4, Number 4 (Special Issue: In honor of Jean-Pierre Serre, Part 1 of 2 ) 1233 1278, 2008 Diagonal Subschemes and Vector Bundles Piotr Pragacz, Vasudevan Srinivas

### VERY STABLE BUNDLES AND PROPERNESS OF THE HITCHIN MAP

VERY STABLE BUNDLES AND PROPERNESS OF THE HITCHIN MAP CHRISTIAN PAULY AND ANA PEÓN-NIETO Abstract. Let X be a smooth complex projective curve of genus g 2 and let K be its canonical bundle. In this note

### HARMONIC COHOMOLOGY OF SYMPLECTIC FIBER BUNDLES

HARMONIC COHOMOLOGY OF SYMPLECTIC FIBER BUNDLES OLIVER EBNER AND STEFAN HALLER Abstract. We show that every de Rham cohomology class on the total space of a symplectic fiber bundle with closed Lefschetz

### ALGEBRAIC PROPERTIES OF BIER SPHERES

LE MATEMATICHE Vol. LXVII (2012 Fasc. I, pp. 91 101 doi: 10.4418/2012.67.1.9 ALGEBRAIC PROPERTIES OF BIER SPHERES INGA HEUDTLASS - LUKAS KATTHÄN We give a classification of flag Bier spheres, as well as

### MODULI SPACES OF CURVES

MODULI SPACES OF CURVES SCOTT NOLLET Abstract. My goal is to introduce vocabulary and present examples that will help graduate students to better follow lectures at TAGS 2018. Assuming some background

### CANONICAL BUNDLE FORMULA AND VANISHING THEOREM

CANONICAL BUNDLE FORMULA AND VANISHING THEOREM OSAMU FUJINO Abstract. In this paper, we treat two different topics. We give sample computations of our canonical bundle formula. They help us understand

### Formality of Kähler manifolds

Formality of Kähler manifolds Aron Heleodoro February 24, 2015 In this talk of the seminar we like to understand the proof of Deligne, Griffiths, Morgan and Sullivan [DGMS75] of the formality of Kähler

### SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN

SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank

### ARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES

ARITHMETICALLY COHEN-MACAULAY BUNDLES ON THREE DIMENSIONAL HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle

### D-RATIO OF A CONFIGURATION

D-RATIO OF A CONFIGURATION JORGE PINEIRO, TANVIR ABULKALAM Abstract. We extend the notion of D-ratio to a general configuration of lines and study its properties. 1. Succesive blow-ups for resolving the

### 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

### Splitting criterion for reflexive sheaves

Splitting criterion for reflexive sheaves TAKURO ABE MASAHIKO YOSHINAGA April 6, 2005 Abstract The purpose of this paper is to study the structure of reflexive sheaves over projective spaces through hyperplane

### CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES

CHEAT SHEET: PROPERTIES OF MORPHISMS OF SCHEMES BRIAN OSSERMAN The purpose of this cheat sheet is to provide an easy reference for definitions of various properties of morphisms of schemes, and basic results

### MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f

### MODULI SPACES OF CONNECTIONS ON A RIEMANN SURFACE

MODULI SPACES OF CONNECTIONS ON A RIEMANN SURFACE INDRANIL BISWAS AND VICENTE MUÑOZ Abstract. Let E be a holomorphic vector bundle over a compact connected Riemann surface X. The vector bundle E admits

### THE H-PRINCIPLE, LECTURE 14: HAEFLIGER S THEOREM CLASSIFYING FOLIATIONS ON OPEN MANIFOLDS

THE H-PRINCIPLE, LECTURE 14: HAELIGER S THEOREM CLASSIYING OLIATIONS ON OPEN MANIOLDS J. RANCIS, NOTES BY M. HOYOIS In this lecture we prove the following theorem: Theorem 0.1 (Haefliger). If M is an open

### FAKE PROJECTIVE SPACES AND FAKE TORI

FAKE PROJECTIVE SPACES AND FAKE TORI OLIVIER DEBARRE Abstract. Hirzebruch and Kodaira proved in 1957 that when n is odd, any compact Kähler manifold X which is homeomorphic to P n is isomorphic to P n.

### FLAT BUNDLES ON AFFINE MANIFOLDS. 1. Introduction

FLAT BUNDLES ON AFFINE MANIFOLDS INDRANIL BISWAS, JOHN LOFTIN, AND MATTHIAS STEMMLER Abstract. We review some recent results in the theory of affine manifolds and bundles on them. Donaldson Uhlenbeck Yau

### Some Remarks on Prill s Problem

AFFINE ALGEBRAIC GEOMETRY pp. 287 292 Some Remarks on Prill s Problem Abstract. N. Mohan Kumar If f : X Y is a non-constant map of smooth curves over C and if there is a degree two map π : X C where C

### L 2 -THEORY FOR THE -OPERATOR ON COMPLEX SPACES WITH ISOLATED SINGULARITIES

L 2 -THEORY FOR THE -OPERATOR ON COMPLEX SPACES WITH ISOLATED SINGULARITIES J. RUPPENTHAL Abstract. The present paper is a complement to the L 2 -theory for the - operator on a Hermitian complex space

### 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

### NOTES IN COMMUTATIVE ALGEBRA: PART 2

NOTES IN COMMUTATIVE ALGEBRA: PART 2 KELLER VANDEBOGERT 1. Completion of a Ring/Module Here we shall consider two seemingly different constructions for the completion of a module and show that indeed they

### 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

### HYPER-KÄHLER FOURFOLDS FIBERED BY ELLIPTIC PRODUCTS

HYPER-KÄHLER FOURFOLDS FIBERED BY ELLIPTIC PRODUCTS LJUDMILA KAMENOVA Abstract. Every fibration of a projective hyper-kähler fourfold has fibers which are Abelian surfaces. In case the Abelian surface

### Introduction to. Riemann Surfaces. Lecture Notes. Armin Rainer. dim H 0 (X, L D ) dim H 0 (X, L 1 D ) = 1 g deg D

Introduction to Riemann Surfaces Lecture Notes Armin Rainer dim H 0 (X, L D ) dim H 0 (X, L 1 D ) = 1 g deg D June 17, 2018 PREFACE i Preface These are lecture notes for the course Riemann surfaces held