Space of surjective morphisms between projective varieties
|
|
- Marlene Hicks
- 5 years ago
- Views:
Transcription
1 Space of surjective morphisms between projective varieties -Talk at AMC2005, Singapore- Jun-Muk Hwang Korea Institute for Advanced Study Cheongryangri-dong Seoul, , Korea Let X and Y be two complex projective varieties. Denote by Hom s (X, Y ) the set of surjective morphisms from X to Y. Each irreducible component of Hom s (X, Y ) has the structure of a quasiprojective algebraic variety. A natural question to ask is what kind of an algebraic variety this is. Given a surjective morphism f : X Y, the question can be reformulated as describing all possible deformations of f as morphisms between X and Y. Since any surjective morphism from X to Y can be lifted to the normalizations of X and Y, we may assume that X and Y are normal varieties. In this note, we will survey some recent results on this question. In particular, our joint-work with S. Kebekus and T. Peternell in the case when Y is non-uniruled and our joint-work with N. Mok in the case when Y is a uniruled manifold of Picard number 1 will be discussed. It is well-known that the tangent space to Hom s (X, Y ) at a point [f] is T [f] (Hom s (X, Y )) = Hom(f Ω 1 Y, O X ) where Ω 1 Y denotes the sheaf of differentials on the variety Y. When Y is non-singular, T [f] (Hom s (X, Y )) = H 0 (X, f T (Y )) where T (Y ) is the tangent bundle of Y. An element of this vector space can be viewed as a multi-valued vector field on Y. The essential point of our discussion here is to understand the nature of this multi-valuedness. 1 The case of curves To have an idea of what kind of an answer we can expect for our problem, let us examine the case when Y is of dimension 1. To start with, consider the case when Y = P 1. For a given normal variety X, Hom s (X, P 1 ) is just the set of base-point-free linear systems of dimension 1 on X. This is a very classical object of study. Even for a curve X, this is a huge subject. The geometry of Hom s (X, P 1 ) is very complicated and depends heavily on X. There is no simple description of the variety Hom s (X, P 1 ). This first example may be discouraging to us. However the situation is quite different when Y P 1. 1
2 When Y is an elliptic curve, T (Y ) = O Y. Thus for any f : X Y, H 0 (X, f T (Y )) = H 0 (X, O X ) = C = f H 0 (Y, T (Y )). This means all the multi-valued vector fields on Y appearing in H 0 (X, f T (Y )) are actually univalent vector fields on Y. Then T [f] (Hom s (X, Y )) = f H 0 (Y, T (Y )) = C. In other words, all deformations of f are of the form τ f where τ : Y Y is a translation on the elliptic curve Y. We conclude that each component of Hom s (X, Y ) is an elliptic curve. On the other hand, when Y is a curve of genus 2, T (Y ) is a negative line bundle. Thus H 0 (X, f T (Y )) = 0. This means that Hom s (X, Y ) is discrete. We can summarize the 1-dimensional case as follows. Y = P 1 Y P 1 Hom s (X, Y ) complicated, each component is depends heavily on X an elliptic curve or a point. 2 The case of higher dimension The most natural question to ask is whether there is a natural generalization of the the table at the end of the previous section when the dimension of Y is bigger than 1. The first step is to formulate the correct generalization of the dichotomy of the set of curves into P 1 and the rest. A simple-minded generalization would be the dichotomy of the set of n-dimensional varieties into P n and the rest. It turns out that this is too naive. Experiences show that the correct generalization is the dichotomy into uniruled varieties and non-uniruled varieties. Recall that a projective variety is uniruled if through each point on it, there exists a rational curve on the variety. In other words, the variety is swept out by rational curves. Obviously, in dimension 1, only P 1 is uniruled. Now the following gives a natural generalization of the 1-dimensional case. Theorem 1 [HKP] Let X, Y be any normal projective varieties. Then the following holds. Y uniruled Y non-uniruled Hom s (X, Y ) complicated, each component is depends heavily on X an abelian variety of dimension dim Y. In the first case when Y is uniruled, there is nothing to prove. For example, when Y = P n, the study of Hom s (X, P n ) is the study of base-point-free linear systems of dimension n on X. It is well-known that this is complicated and depends heavily on X. The non-trivial case is when Y is non-uniruled, which is the main content of [HKP]. For simplicity, let us assume that Y is non-singular. The main result of [HKP] is the following from which the above follows easily. Theorem 2 [HKP] Let Y be a non-uniruled non-singular projective variety and f : X Y be a surjective morphism from a projective variety X. Then there exists a finite etale cover 2
3 h : Z Y and a surjective morphism g : X Z such that f = h g and all deformations of f come from the identity component Aut o (Z) of the group of the automorphisms of Z. In other words, let Hom f (X, Y ) be a component of Hom s (X, Y ) containing [f]. Then the natural map is surjective. h Aut o (Z) g Hom f (X, Y ) Since Y is non-uniruled, Z is also non-uniruled. For a non-uniruled variety Z, it is easy to see that Aut o (Z) is an abelian variety of dimension dim Z. Thus Theorem 2 implies Theorem 1. Also note that if Aut o (Z) is an abelian variety of positive dimension, the fundamental group of Z is infinite. This observation implies the following Corollary of Theorem 2. Corollary Let Y be a non-uniruled non-singular projective variety with finite fundamental group. Then for any projective variety X, Hom s (X, Y ) is discrete. Now let us briefly discuss the proof of Theorem 2. Suppose H 0 (X, f T (Y )) = f H 0 (Y, T (Y )), namely, all the multi-valued vector fields on Y involved here are univalent. Then we can just take Z = Y. The natural map Aut o (Y ) f Hom f (X, Y ) is surjective because its differential is exactly the natural homomorphism Now what if In this case, we have the following. f H 0 (Y, T (Y )) H 0 (X, f T (Y )). H 0 (X, f T (Y )) f H 0 (Y, T (Y ))? Theorem 3 Let Y be a non-uniruled non-singular projective variety and f : X Y be a surjective morphism. Suppose there exists σ H 0 (X, f T (Y )) such that σ f H 0 (Y, T (Y )). Then there exists an etale cover h σ : Z σ Y of degree > 1 and a surjective morphism g σ : X Z σ such that f = h σ g σ. Certainly, Theorem 2 follows from Theorem 3 by induction on the degree of f. To prove Theorem 3, the key point is to construct the etale cover Z σ. Let F σ T (Y ) be the subsheaf spanned by the multiple values of σ regarded as a multi-valued vector field on Y. Then F σ is a semi-positive sheaf, namely, its restriction to a general curve is semi-positive, because it is generically generated by global (multi-valued) sections. On the other hand, by the famous theorem of Miyaoka, any quotient sheaf of the cotangent sheaf T (Y ) of a non-uniruled variety is semi-positive. It follows that both F σ and its dual are semi-positive. This implies that F σ is a flat bundle, defining an etale cover h σ : Z σ Y. This has degree > 1, because σ is genuinely multi-valued. Now it is easy to verify the existence of g σ with the desired property. 3
4 3 The case of uniruled manifolds of Picard number 1 In the discussion of Theorem 1, we remarked that the case when Y is uniruled is complicated and depends heavily on X, as one can see when Y = P n. However, it is not immediate that this is so for uniruled varieties other than P n. When Y is of the form P k Y for some lowerdimensional variety Y or more generally when Y is a P k -bundle over a lower dimensional variety, one can see that the structure of Hom s (X, Y ) can be complicated and depends heavily on X, just as in the case when Y = P n. But suppose Y is not of this form. Then we expect that the structure of Hom s (X, Y ) is rather simple. One natural condition to exclude the possibility of P k -bundle structure on Y is that the Picard number of Y is 1. In this setting we have the following conjecture. Conjecture Let Y be a uniruled non-singular variety with Picard number 1. If Y is different from a projective space, then for any surjective morphism f : X Y, H 0 (X, f T (Y )) = f H 0 (Y, T (Y )), namely, each component of Hom s (X, Y ) is biregular to Aut o (Y ). Note that when Y is uniruled and of Picard number 1, Aut o (Y ) is an affine algebraic group. Thus Conjecture predicts that each component of Hom s (X, Y ) is an affine variety. This is in contrast with the non-uniruled case in Theorem 1 where each component of Hom s (X, Y ) is an abelian variety. The strongest evidence for Conjecture is the following result. Theorem 4 [HM2] Let Y be a uniruled non-singular variety of Picard number 1 different from a projective space. Assume that Y contains no immersed projective space with trivial normal bundle. Then for any surjective morphism f : X Y, H 0 (X, f T (Y )) = f H 0 (Y, T (Y )). Theorem 4 proves Conjecture with the additional assumption that Y contains no immersed projective space with trivial normal bundle. There are many examples where Y contains immersed rational curves with trivial normal bundle. In this case, we have the following result. Theorem 5 [HM1] Let Y be a uniruled non-singular variety of Picard number 1 different from a projective space. Assume that Y contains no immersed rational curves with trivial normal bundle. Then for any surjective morphism f : X Y, H 0 (X, f T (Y )) = f H 0 (Y, T (Y )). On the other hand, no example is known where Y contains immersed projective space of dimension 2 with trivial normal bundle. Thus Theorem 4 and Theorem 5 prove Conjecture for all known examples of Y. 4
5 To understand the basic idea of the proof of Theorem 4, consider the special case when Y is the quadric hypersurface Q n in P n+1. The key point here is that Q n has a natural holomorphic conformal structure. There are many ways to describe this structure, but what is relevant to us is the description via lines on the quadric. Given a point y Y = Q n P n+1, let C y PT y (Y ) be the set of tangents to lines of P n+1 through y lying on the quadric Y. Then C y is a smooth quadric hypersurface in PT y (Y ). C y gives a conformal class of holomorphic Riemannian metric on T y (Y ). Then the union C = C y PT (Y ) y Y defines a holomorphic conformal structure on Y. Why is this conformal structure relevant to our problem? Given σ H 0 (X, f T (Y )) viewed as a multi-valued vector field on Y, a local holomorphic vector field on Y defining a value of σ turns out to be a conformal vector field, namely, the local flow of biholomorphisms generated by σ preserves the conformal structure. This follows from certain deformation-theoretic properties of lines on Q n. Now we recall the classical Liouville theorem in conformal geometry, which states that any conformal vector field on a connected analytic open subset of Q n can be extended to a global holomorphic vector field on Q n. Since a local representative of σ on Y is conformal, Liouville theorem shows that σ is actually globally well-defined holomorphic vector field on Y, i.e., an element of f H 0 (Y, T (Y )). This proves Theorem 4 for the special case when Y is a quadric hypersurface. How can we generalize this proof to general Y? The key idea is to construct a natural geometric structure on Y, which generalizes the conformal structure on Q n. For this, we need to generalize the notion of lines. The correct notion for general Y is minimal rational curves, i.e., rational curves covering Y which have minimal degree with respect to the ample generator of the Picard group of Y. For a general point y Y, let C y PT y (Y ) be the set of tangent vectors to minimal rational curves through y. Then the closure C PT (Y ) of the union general y Y C y PT (Y ) defines a holomorphic geometric structure on Y. This is non-trivial, i.e., C y PT y (Y ), if Y is different from the projective space. Given a surjective morphism f : X Y and σ H 0 (X, f T (Y )), a local representative of σ viewed as a multi-valued vector field on Y preserves the geometric structure C. This is because minimal rational curves have the same deformation-theoretic properties as lines on Q n. Now the crucial point is whether an analogue of Liouville theorem holds for C. The essential property of the conformal structure which is necessary for Liouville theorem is the non-degeneracy of the holomorphic Riemannian metric. It turns out that if the projective variety C y PT y (Y ) is not linear, an analogue of Liouville theorem holds for the structure C. When C y is linear, they can be integrated to give an immersed projective space with trivial normal bundle in Y. This proves Theorem 4. The proof of Theorem 5 uses a different approach. When Y has rational curves with trivial normal bundles, these rational curves locally give a foliation on Y. This local foliation gives rise 5
6 to a multi-valued foliation globally. From the viewpoint of geometric structures, this is a web structure. Given a generically finite morphism f : X Y, the web-structure on Y gives rise to a web-structure on X. One can show that such web-structures cannot be deformed. Any deformations of f must preserve these web-structures and from this we can prove Theorem 5. It is tempting to generalize Theorem 5 to the case when Y has immersed projective space with trivial normal bundles, which would give a complete proof of Conjecture. However there are many difficulties in this direction, which we have been unable to overcome so far. References [HKP] J.-M. Hwang, S. Kebekus and T. Peternell, Holomorphic maps onto varieties of nonnegative Kodaira dimension. to appear in J. Alg. Geom. [HM1] J.-M. Hwang and N. Mok, Finite morphisms onto Fano manifolds of Picard number 1 which have rational curves with trivial normal bundles. J. Alg. Geom. 12 (2003) [HM2] J.-M. Hwang and N. Mok, Birationality of the tangent map for minimal rational curves. Asian J. Math. 8, Special issue dedicated to Y.-T. Siu on his 60th birthday (2004)
Uniruledness criteria and applications to classification and foliations
Uniruledness criteria and applications to classification and foliations Stefan Kebekus March 1, 2012 Plan for the talk: 1. Uniruledness criteria 1.1 for varieties that are not uniruled 1.2 for varieties
More informationBirationality of the tangent map for minimal rational curves. Dedicated to Professor Yum-Tong Siu on his sixtieth birthday
Birationality of the tangent map for minimal rational curves Jun-Muk Hwang 1 and Ngaiming Mok 2 Dedicated to Professor Yum-Tong Siu on his sixtieth birthday Abstract For a uniruled projective manifold,
More informationRigidity of rational homogeneous spaces
Rigidity of rational homogeneous spaces Jun-Muk Hwang Abstract. Rigidity questions on rational homogeneous spaces arise naturally as higher dimensional generalizations of Riemann s uniformization theorem
More informationSEPARABLE RATIONAL CONNECTEDNESS AND STABILITY
SEPARABLE RATIONAL CONNECTEDNESS AND STABILIT ZHIU TIAN Abstract. In this short note we prove that in many cases the failure of a variety to be separably rationally connected is caused by the instability
More informationON A THEOREM OF CAMPANA AND PĂUN
ON A THEOREM OF CAMPANA AND PĂUN CHRISTIAN SCHNELL Abstract. Let X be a smooth projective variety over the complex numbers, and X a reduced divisor with normal crossings. We present a slightly simplified
More informationRational Curves On K3 Surfaces
Rational Curves On K3 Surfaces Jun Li Department of Mathematics Stanford University Conference in honor of Peter Li Overview of the talk The problem: existence of rational curves on a K3 surface The conjecture:
More informationStructure theorems for compact Kähler manifolds
Structure theorems for compact Kähler manifolds Jean-Pierre Demailly joint work with Frédéric Campana & Thomas Peternell Institut Fourier, Université de Grenoble I, France & Académie des Sciences de Paris
More informationarxiv:math/ v3 [math.ag] 1 Mar 2006
arxiv:math/0506132v3 [math.ag] 1 Mar 2006 A NOTE ON THE PROJECTIVE VARIETIES OF ALMOST GENERAL TYPE SHIGETAKA FUKUDA Abstract. A Q-Cartier divisor D on a projective variety M is almost nup, if (D, C) >
More informationTrends in Mathematics Information Center for Mathematical Sciences Volume 2, December 1999, Pages 86{90 ON THE ZEROES OF HOLOMORPHIC VECTOR FIELDS ON
Trends in Mathematics Information Center for Mathematical Sciences Volume 2, December 1999, Pages 86{90 ON THE ZEROES OF HOLOMORPHIC VECTOR FIELDS ON ALGEBRAIC MANIFOLDS JUN-MUK HWANG Given a holomorphic
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationHYPER-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
More informationNormality of secant varieties
Normality of secant varieties Brooke Ullery Joint Mathematics Meetings January 6, 2016 Brooke Ullery (Joint Mathematics Meetings) Normality of secant varieties January 6, 2016 1 / 11 Introduction Let X
More information1 Notations and Statement of the Main Results
An introduction to algebraic fundamental groups 1 Notations and Statement of the Main Results Throughout the talk, all schemes are locally Noetherian. All maps are of locally finite type. There two main
More informationUNIRULEDNESS CRITERIA AND APPLICATIONS
UNIRULEDNESS CRITERIA AND APPLICATIONS STEFAN KEBEKUS CONTENTS 1. Introduction 1 2. Applications to non-uniruled spaces: Description of the Hom-scheme 2 3. Applications to uniruled manifolds: Partial rational
More informationCONSIDERATION 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
More informationCharacterization of smooth Schubert varieties in rational homogeneous manifolds of Picard number 1
Characterization of smooth Schubert varieties in rational homogeneous manifolds of Picard number 1 Jaehyun Hong and Ngaiming Mok Abstract. In a series of works one of the authors has developed with J.-M.
More informationNon-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
More informationGeneralized Tian-Todorov theorems
Generalized Tian-Todorov theorems M.Kontsevich 1 The classical Tian-Todorov theorem Recall the classical Tian-Todorov theorem (see [4],[5]) about the smoothness of the moduli spaces of Calabi-Yau manifolds:
More informationMODULI 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
More informationON SHOKUROV S RATIONAL CONNECTEDNESS CONJECTURE
ON SHOKUROV S RATIONAL CONNECTEDNESS CONJECTURE CHRISTOPHER D. HACON AND JAMES M C KERNAN Abstract. We prove a conjecture of V. V. Shokurov which in particular implies that the fibers of a resolution of
More informationComplex Geometry. Bounded Symmetric Domains II. & III. Ngaiming MOK The University of Hong Kong
1 Complex Geometry on Bounded Symmetric Domains II. & III. Ngaiming MOK The University of Hong Kong Aug 21, 2006 II. Geometric structures III. Proper holomorphic maps and related problems 2 II. Geometric
More informationPullbacks 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
More informationALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3
ALGEBRAIC HYPERBOLICITY OF THE VERY GENERAL QUINTIC SURFACE IN P 3 IZZET COSKUN AND ERIC RIEDL Abstract. We prove that a curve of degree dk on a very general surface of degree d 5 in P 3 has geometric
More informationAn introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109
An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups
More informationLIFTABILITY OF FROBENIUS
LIFTABILITY OF FROBENIUS (JOINT WITH J. WITASZEK AND M. ZDANOWICZ) Throughout the tal we fix an algebraically closed field of characteristic p > 0. 1. Liftability to(wards) characteristic zero It often
More informationPolarized K3 surfaces of genus thirteen
Advanced Studies in Pure Mathematics 45, 2006 Moduli Spaces and Arithmetic Geometry (Kyoto, 2004) pp. 315 326 Polarized K3 surfaces of genus thirteen Shigeru Mukai A smooth complete algebraic surface S
More informationFAKE 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.
More informationlocus such that Γ + F = 0. Then (Y, Γ = Γ + F ) is kawamata log terminal, and K Y + Γ = π (K X + ) + E + F. Pick H ample such that K Y + Γ + H is nef
17. The MMP Using the cone (16.6) and contraction theorem (16.3), one can define the MMP in all dimensions: (1) Start with a kawamata log terminal pair (X, ). (2) Is K X + nef? Is yes, then stop. (3) Otherwise
More informationA Humble Example of Notions of Divisor
A Humble Example of Notions of Divisor Gohan May 16, 2013 I must apologize for my morbid procrastination. Due to my incapability of understanding advanced mathematics, I was rather tortured by my previous
More informationQUALIFYING 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
More informationA TRANSCENDENTAL METHOD IN ALGEBRAIC GEOMETRY
Actes, Congrès intern, math., 1970. Tome 1, p. 113 à 119. A TRANSCENDENTAL METHOD IN ALGEBRAIC GEOMETRY by PHILLIP A. GRIFFITHS 1. Introduction and an example from curves. It is well known that the basic
More informationGeometry dictates arithmetic
Geometry dictates arithmetic Ronald van Luijk February 21, 2013 Utrecht Curves Example. Circle given by x 2 + y 2 = 1 (or projective closure in P 2 ). Curves Example. Circle given by x 2 + y 2 = 1 (or
More informationAlgebraic 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,
More informationMORI GEOMETRY MEETS CARTAN GEOMETRY: VARIETIES OF MINIMAL RATIONAL TANGENTS arxiv: v1 [math.ag] 20 Jan 2015
MORI GEOMETRY MEETS CARTAN GEOMETRY: VARIETIES OF MINIMAL RATIONAL TANGENTS arxiv:1501.04720v1 [math.ag] 20 Jan 2015 JUN-MUK HWANG 1 Abstract. We give an introduction to the theory of varieties of minimal
More informationVanishing 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
More informationThe Grothendieck Ring of Varieties
The Grothendieck Ring of Varieties Ziwen Zhu University of Utah October 25, 2016 These are supposed to be the notes for a talk of the student seminar in algebraic geometry. In the talk, We will first define
More informationTitleOn 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
More informationD LY S NOTION OF ALGEBRAIC HYPERBOLICITY: GEOMETRICITY, BOUNDEDNESS, MODULI OF MAPS ARIYAN JAVANPEYKAR AND LJUDMILA KAMENOVA
DEMAILLY S NOTION OF ALGEBRAIC HYPERBOLICITY: GEOMETRICITY, BOUNDEDNESS, MODULI OF MAPS ARIYAN JAVANPEYKAR AND LJUDMILA KAMENOVA Abstract. Demailly s conjecture, which is a consequence of the Green Griffiths
More informationRecognizing Certain Rational Homogeneous Manifolds of Picard Number 1 from their Varieties of Minimal Rational Tangents.
Recognizing Certain Rational Homogeneous Manifolds of Picard Number 1 from their Varieties of Minimal Rational Tangents Ngaiming Mok* Let X be a uniruled projective manifold, i.e., a projective manifold
More informationLogarithmic 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
More informationALGEBRAIC GEOMETRY I, FALL 2016.
ALGEBRAIC GEOMETRY I, FALL 2016. DIVISORS. 1. Weil and Cartier divisors Let X be an algebraic variety. Define a Weil divisor on X as a formal (finite) linear combination of irreducible subvarieties of
More informationF. LAYTIMI AND D.S. NAGARAJ
REMARKS ON RAMANUJAM-KAWAMATA-VIEHWEG VANISHING THEOREM arxiv:1702.04476v1 [math.ag] 15 Feb 2017 F. LAYTIMI AND D.S. NAGARAJ Abstract. In this article weproveageneralresult on anef vector bundle E on a
More informationThe geography of irregular surfaces
Università di Pisa Classical Algebraic Geometry today M.S.R.I., 1/26 1/30 2008 Summary Surfaces of general type 1 Surfaces of general type 2 3 and irrational pencils Surface = smooth projective complex
More informationMath 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
More informationSummary of Prof. Yau s lecture, Monday, April 2 [with additional references and remarks] (for people who missed the lecture)
Building Geometric Structures: Summary of Prof. Yau s lecture, Monday, April 2 [with additional references and remarks] (for people who missed the lecture) A geometric structure on a manifold is a cover
More informationCOMPLEX 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
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #23 11/26/2013 As usual, a curve is a smooth projective (geometrically irreducible) variety of dimension one and k is a perfect field. 23.1
More informationHolomorphic symmetric differentials and a birational characterization of Abelian Varieties
Holomorphic symmetric differentials and a birational characterization of Abelian Varieties Ernesto C. Mistretta Abstract A generically generated vector bundle on a smooth projective variety yields a rational
More informationA p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1
A p-adic GEOMETRIC LANGLANDS CORRESPONDENCE FOR GL 1 ALEXANDER G.M. PAULIN Abstract. The (de Rham) geometric Langlands correspondence for GL n asserts that to an irreducible rank n integrable connection
More informationFANO MANIFOLDS AND BLOW-UPS OF LOW-DIMENSIONAL SUBVARIETIES. 1. Introduction
FANO MANIFOLDS AND BLOW-UPS OF LOW-DIMENSIONAL SUBVARIETIES ELENA CHIERICI AND GIANLUCA OCCHETTA Abstract. We study Fano manifolds of pseudoindex greater than one and dimension greater than five, which
More information12. 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
More informationThe structure of algebraic varieties
The structure of algebraic varieties János Kollár Princeton University ICM, August, 2014, Seoul with the assistance of Jennifer M. Johnson and Sándor J. Kovács (Written comments added for clarity that
More informationAlgebraic 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
More informationCLASSIFICATION OF COMPLEX ALGEBRAIC SURFACES. from the point of view of MORI THEORY
CLASSIFICATION OF COMPLEX ALGEBRAIC SURFACES from the point of view of MORI THEORY By Chris Peters Mathematisch Instituut der Rijksuniversiteit Leiden and Institut Fourier Grenoble i Preface These notes
More informationON THE INTEGRAL HODGE CONJECTURE FOR REAL THREEFOLDS. 1. Motivation
ON THE INTEGRAL HODGE CONJECTURE FOR REAL THREEFOLDS OLIVIER WITTENBERG This is joint work with Olivier Benoist. 1.1. Work of Kollár. 1. Motivation Theorem 1.1 (Kollár). If X is a smooth projective (geometrically)
More informationFinite generation of pluricanonical rings
University of Utah January, 2007 Outline of the talk 1 Introduction Outline of the talk 1 Introduction 2 Outline of the talk 1 Introduction 2 3 The main Theorem Curves Surfaces Outline of the talk 1 Introduction
More informationDensity of rational points on Enriques surfaces
Density of rational points on Enriques surfaces F. A. Bogomolov Courant Institute of Mathematical Sciences, N.Y.U. 251 Mercer str. New York, (NY) 10012, U.S.A. e-mail: bogomolo@cims.nyu.edu and Yu. Tschinkel
More information3. 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
More informationON THE SLOPE_AND KODAIRA DIMENSION OF M g. FOR SMALL g
J. DIFFERENTIAL GEOMETRY 34(11) 26-24 ON THE SLOPE_AND KODAIRA DIMENSION OF M g FOR SMALL g MEI-CHU CHANG & ZIV RAN Let M denote the moduli space of smooth curves of genus g and let σ be its stable compactification;
More informationarxiv: v2 [math.ag] 20 Dec 2011
arxiv:1107.4239v2 [math.ag] 20 Dec 2011 Differential forms on singular spaces, the minimal model program, and hyperbolicity of moduli stacks Stefan Kebekus In memory of Eckart Viehweg Abstract. The Shafarevich
More informationRational Homogeneous Manifold and its Rigidity
Rational Homogeneous Manifold and its Rigidity Kyeong-Dong Park 2011 Summer Workshop for Young Mathematicians in Korea. August 4, 2011. KAIST, Daejeon Abstract An important theorem in complex geometry
More informationWe 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
More informationBott vanishing for algebraic surfaces
Bott vanishing for algebraic surfaces Burt Totaro For William Fulton on his eightieth birthday A smooth projective variety X over a field is said to satisfy Bott vanishing if H j (X, Ω i X L) = 0 for all
More informationMinimal model program and moduli spaces
Minimal model program and moduli spaces Caucher Birkar Algebraic and arithmetic structures of moduli spaces, Hokkaido University, Japan 3-7 Sep 2007 Minimal model program In this talk, all the varieties
More informationPaolo Stellari STABILITY CONDITIONS ON GENERIC K3 SURFACES
Paolo Stellari STABILITY CONDITIONS ON GENERIC K3 SURFACES Joint with D. Huybrechts and E. Macrì math.ag/0608430 Dipartimento di Matematica F. Enriques Università degli Studi di Milano CONTENTS A generic
More information1.5.4 Every abelian variety is a quotient of a Jacobian
16 1. Abelian Varieties: 10/10/03 notes by W. Stein 1.5.4 Every abelian variety is a quotient of a Jacobian Over an infinite field, every abelin variety can be obtained as a quotient of a Jacobian variety.
More informationComparison for infinitesimal automorphisms. of parabolic geometries
Comparison techniques for infinitesimal automorphisms of parabolic geometries University of Vienna Faculty of Mathematics Srni, January 2012 This talk reports on joint work in progress with Karin Melnick
More informationQuaternionic Complexes
Quaternionic Complexes Andreas Čap University of Vienna Berlin, March 2007 Andreas Čap (University of Vienna) Quaternionic Complexes Berlin, March 2007 1 / 19 based on the joint article math.dg/0508534
More informationFOUNDATIONS 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
More informationA decomposition of the Moving cone of a projective manifold according to the Harder-Narasimhan filtration of the tangent bundle
A decomposition of the Moving cone of a projective manifold according to the Harder-Narasimhan filtration of the tangent bundle Dissertation zur Erlangung des Doktorgrades der Fakultät für Mathematik und
More information1. 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.
More informationHolomorphic 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
More informationDiagonal 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
More information10. 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
More informationThe Reducibility and Dimension of Hilbert Schemes of Complex Projective Curves
The Reducibility and Dimension of Hilbert Schemes of Complex Projective Curves Krishna Dasaratha dasaratha@college.harvard.edu Advisor: Joe Harris Submitted to the Department of Mathematics in partial
More informationSegre classes of tautological bundles on Hilbert schemes of surfaces
Segre classes of tautological bundles on Hilbert schemes of surfaces Claire Voisin Abstract We first give an alternative proof, based on a simple geometric argument, of a result of Marian, Oprea and Pandharipande
More informationMath 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).
More informationK-stability and Kähler metrics, I
K-stability and Kähler metrics, I Gang Tian Beijing University and Princeton University Let M be a Kähler manifold. This means that M be a complex manifold together with a Kähler metric ω. In local coordinates
More informationAlgebraic 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
More informationON 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
More informationAlgebraic Geometry. Andreas Gathmann. Class Notes TU Kaiserslautern 2014
Algebraic Geometry Andreas Gathmann Class Notes TU Kaiserslautern 2014 Contents 0. Introduction......................... 3 1. Affine Varieties........................ 9 2. The Zariski Topology......................
More informationIsogeny invariance of the BSD conjecture
Isogeny invariance of the BSD conjecture Akshay Venkatesh October 30, 2015 1 Examples The BSD conjecture predicts that for an elliptic curve E over Q with E(Q) of rank r 0, where L (r) (1, E) r! = ( p
More informationGeometry of Conformal Field Theory
Geometry of Conformal Field Theory Yoshitake HASHIMOTO (Tokyo City University) 2010/07/10 (Sat.) AKB Differential Geometry Seminar Based on a joint work with A. Tsuchiya (IPMU) Contents 0. Introduction
More informationTHE QUANTUM CONNECTION
THE QUANTUM CONNECTION MICHAEL VISCARDI Review of quantum cohomology Genus 0 Gromov-Witten invariants Let X be a smooth projective variety over C, and H 2 (X, Z) an effective curve class Let M 0,n (X,
More informationarxiv: v2 [math.ag] 23 Sep 2017
VARIETIES WITH AMPLE TANGENT SHEAVES PHILIP SIEDER arxiv:1704.00218v2 [math.ag] 23 Sep 2017 ABSTRACT. This paper generalises Mori s famous theorem about Projective manifolds with ample tangent bundles
More informationMA 206 notes: introduction to resolution of singularities
MA 206 notes: introduction to resolution of singularities Dan Abramovich Brown University March 4, 2018 Abramovich Introduction to resolution of singularities 1 / 31 Resolution of singularities Let k be
More informationa double cover branched along the smooth quadratic line complex
QUADRATIC LINE COMPLEXES OLIVIER DEBARRE Abstract. In this talk, a quadratic line complex is the intersection, in its Plücker embedding, of the Grassmannian of lines in an 4-dimensional projective space
More informationRational curves on general type hypersurfaces
Rational curves on general type hypersurfaces Eric Riedl and David Yang May 5, 01 Abstract We develop a technique that allows us to prove results about subvarieties of general type hypersurfaces. As an
More informationFANO VARIETIES AND EPW SEXTICS
FNO VRIETIES ND EPW SEXTICS OLIVIER DEBRRE bstract. We explore a connection between smooth projective varieties X of dimension n with an ample divisor H such that H n = 10 and K X = (n 2)H and a class
More informationKä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
More informationCAUCHER BIRKAR. Abstract. We prove that the Iitaka conjecture C n,m for algebraic fibre spaces holds up to dimension 6, that is, when n 6.
IITAKA CONJECTURE C n,m IN DIMENSION SIX CAUCHER BIRKAR Abstract. We prove that the Iitaka conjecture C n,m for algebraic fibre spaces holds up to dimension 6, that is, when n 6. 1. Introduction We work
More informationSynopsis 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.
More informationHomological 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
More informationVector Bundles on Algebraic Varieties
Vector Bundles on Algebraic Varieties Aaron Pribadi December 14, 2010 Informally, a vector bundle associates a vector space with each point of another space. Vector bundles may be constructed over general
More informationLinear systems and Fano varieties: introduction
Linear systems and Fano varieties: introduction Caucher Birkar New advances in Fano manifolds, Cambridge, December 2017 References: [B-1] Anti-pluricanonical systems on Fano varieties. [B-2] Singularities
More informationRATIONALLY INEQUIVALENT POINTS ON HYPERSURFACES IN P n
RATIONALLY INEQUIVALENT POINTS ON HYPERSURFACES IN P n XI CHEN, JAMES D. LEWIS, AND MAO SHENG Abstract. We prove a conjecture of Voisin that no two distinct points on a very general hypersurface of degree
More informationThe moduli space of curves is rigid
The moduli space of curves is rigid Paul Hacking August 6, 2008 Abstract We prove that the moduli stack M g,n of stable curves of genus g with n marked points is rigid, that is, has no infinitesimal deformations.
More informationDel Pezzo surfaces and non-commutative geometry
Del Pezzo surfaces and non-commutative geometry D. Kaledin (Steklov Math. Inst./Univ. of Tokyo) Joint work with V. Ginzburg (Univ. of Chicago). No definitive results yet, just some observations and questions.
More informationStable maps and Quot schemes
Stable maps and Quot schemes Mihnea Popa and Mike Roth Contents 1. Introduction........................................ 1 2. Basic Setup........................................ 4 3. Dimension Estimates
More informationRIMS-1743 K3 SURFACES OF GENUS SIXTEEN. Shigeru MUKAI. February 2012 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES. KYOTO UNIVERSITY, Kyoto, Japan
RIMS-1743 K3 SURFACES OF GENUS SIXTEEN By Shigeru MUKAI February 2012 RESEARCH INSTITUTE FOR MATHEMATICAL SCIENCES KYOTO UNIVERSITY, Kyoto, Japan K3 SURFACES OF GENUS SIXTEEN SHIGERU MUKAI Abstract. The
More information