Hodge Theory and Boundaries of Moduli Spaces

Total Page:16

File Type:pdf, Size:1020Kb

Hodge Theory and Boundaries of Moduli Spaces Hodge theory and boundaries of moduli spaces Phillip Griffiths∗ Based on correspondence and discussions with Mark Green, Colleen Robles and Radu Laza ∗Institute for Advanced Study 1/82 I The general theme of this talk is the use of Hodge theory to study questions in algebraic geometry. I This is a vast and classical subject; here we shall focus on one particular aspect. I In algebraic geometry a subject of central interest is the study of moduli spaces M and their compactifications M. I Points in @M = MnM correspond to singular varieties X0 that arise from degenerations X ! X0 of a smooth variety X . 2/82 I It is well known and classical that X0 may be \simpler" than X and understanding X0 may shed light on X . For an example, any smooth curve X may be degenerated to a stick curve 1 X0 = = configuration of P 's and deep questions about the geometry of a general X may frequently be reduced to essentially combinatorial ones on X0. 3/82 I The central thesis of this talk is Hodge theory may be used to guide the study of degenerations X ! X0. Underlying this thesis are the points ∗ I the polarized Hodge structure on H (X ; Z) (mod torsion) is the basic invariant of a smooth projective variety X ; I the study of degenerations (V ; Q; F ) ! (V ; Q; W ; Fo) of polarized Hodge structures is fairly highly developed; I this understanding may be used to suggest what the possible degenerations X ! X0 should be and where to look for them. 4/82 This thesis is well known and has been effectively used in the classical case when the Hodge structures are parametrized by a Hermitian symmetric domain and 1-parameter degenerations are used. It has been utilized in the non-classical case mainly for 1-parameter degenerations of Calabi-Yau threefolds, but to my knowledge not so much in other non-classical cases or for several parameter degenerations other than for the case of algebraic curves. 5/82 I the structure of this talk will be I discussion of some of the basic aspects of Hodge theory; I the example of algebraic curves, which indicates how the study might go in the classical case; I discussion of the first non-classical case, namely that of an algebraic surface X of general type with h2;0(X ) = 2, 1;0 2 h (X ) = 0 and KX = 2; this is based on correspondence with Mark Green, and also with Colleen Robles and Radu Laza, and reflects developments in a very early stage. 6/82 I A final general point: a schematic of how Hodge theory interacts with algebraic geometry for the above surface is canonical 0 2 2;0 ! H (ΩX ) = H (X ) series jKX j bi-canonical variation of Hodge structure ! 1 series j2KX j associated to H (C); C 2 jKX j . which arises from KX = KC C. 7/82 Definition A polarized Hodge structure (PHS) of weight n is given by (V ; Q; F •) where I V is a Q-vector space (in practice we will have V ⊃ VZ); I Q · V ⊗ V ! Q is a non-degenerate form with Q(u; v) = (−1)nQ(v; u); • n n−1 0 I F is a decreasing filtration F ⊂ F ⊂ · · · ⊂ F = VC satisfying p n−p+1 ∼ F ⊕ F −! VC; 0 5 p 5 n; p n−p+1 I Q(F ; F ) = 0; I Q(v; Cv¯) > 0 for v 6= 0, where C is the Weil operator. 8/82 q q;p Setting V p;q = F p \ F = V , the third condition above is p;q p;q q;p VC = ⊕V where V = V and Cv = i p−q on V p;q. Example Let X ⊂ PN be a smooth projective variety of dimension d and L 2 H2(X ; Q) the restriction of the generator of a hyperplane class in H2(PN ; Z). Then multiplication by L gives a nilpotent operator on H∗(X ; Q) m m+2 L : H (X ; Q) ! H (X ; Q): 9/82 The Hard Lefschetz theorem k m−k ∼ m+k L : H (X ; Q) −! H (X ; Q) implies that the action of L may be uniquely extended to the action of an sl2-triple fL; Y ; Λg where m Y = (m − d)Id on H (X ; Q) ∗ is the grading. This sl2-action decomposes H (X ; Q) into irreducibles whose basic building blocks are the lowest weight spaces k+1 m−k n m−k L m+k+2 o H (X ; Q)prim = ker H (X ; Q) −−! H (X ; Q) = V of the irreducible summands. 10/82 Setting Q(u; v) = (Lk u · v)[X ] and using the decomposition n−k H (X ; C)prim induced by the Hodge decomposition Hm−k (X ; C) = ⊕ Hp;q(X ) gives a PHS of weight p+q=m−k m − k. Instead of the usual Hodge diamond, we will picture the groups in the first quadrant in the (p; q) plane. q dim X = 1 L r r p "r 0 1 H (ΩX ) = holomorphic 1-forms on the compact Rieman surface X . 11/82 dim X = 2 and X is regular (H1;0(X ) = 0) 0 LH (X ) H rr HHj 1;1 H (X )prim r r 0 r 2 H (ΩX ) <o> 12/82 dim X = 1 The PHS on H1(X ) for X a compact Riemann surface is classically represented by the matrix of periods γ 0 1 ! , , ! 2 H ΩX ˆδ,γ ··· δ Even more classically, if X is given as the Riemann surface associated to an algebraic curve, e.g., the one of genus g given in C2 by 2g+2 2 Y f (x; y) = y − (x − ai ) = 0; ai distinct i=1 g(x) dx 2g(x) dx ! = = ; 0 5 deg g(x) 5 g − 1 y fy (x; y) 13/82 the periods are δ ::: a1 a2 a3 a4 γ The closure in P2 of the above affine curve has a singular point at [0; 0; 1] and the condition deg g(x) 5 g − 1 is the one that gives a holomorphic 1-form on X . 14/82 dim X = 2 The surfaces we shall be considering are minimal, of general type and have 2;0 1;0 2 h (X ) = 2; h (X ) = 0; KX = 2: They are extremal; i.e., they have the maximum h2;0(X ) subject to the other conditions above. They were analyzed classically by Castelnuovo and more recently by Horikawa. A general one is the minimal desingularization of the quartic 4 surface on P given in affine coordinates x1; x2; x3; x4 by ( f (x) = h(x) − k(x)2 = 0 2 g(x) = x1 − x2 = 0 where h(x); k(x) are a general cubic, quadric. 15/82 This surface has as singularity a double curve with eight pinch points. Think of it as an analogue of the smooth curve with affine equation 2g+2 2 Y y − (x − ai ) = 0 i=1 encountered above. It is the first regular, non-classical extremal surface. We will say more about it later. 16/82 The holomorphic 2-forms are `(x)dx ^ dx ! = 3 4 ; deg `(x) 1 f (x)g (x) 5 x1 x2 and where `(x) vanishes on the double conic so that ! is holomorphic on X . With these conditions we find that h2;0(X ) = 2. Think of ! as the analogue of g(x) dx where fy (x) deg g(x) 5 g − 1 above. One has b2(X ) = 32, so that 1;1 h (X )prim = 31 and the PHS is given by the matrix of periods. 17/82 The surface is more conveniently given in the homogenous coordinate [t0; t1; x3; x4] in the weighted projective space P(1; 1; 2; 2) by 2 2 2 2 2 2 t0 G(t0 ; t0t1; t1 ; x3; x4) = F (t0 ; t0t1; t1 ; x3; x4) : For fixed [t0; t1] we obtain genus 3 plane quartic curves which constitute the pencil jKX j. <o> 18/82 Definition D = period domain given by f(V ; Q; F •); dim V p;q = hp;qg Dˇ = compact dual given by f(V ; Q; F •); Q(F p; F n−p+1) = 0g. If G = Aut(V ; Q), then D = GR=H; H compact \ ˇ D = GC=P; P parabolic and H = P \ GR: 19/82 Example ∼ t D = Hg = fZ = g × g matrix; Z = Z and Im Z > 0g = Sp(2g; R)=U(g) ˇ 2g 2g D = GrassL(g; C ) = Lagrangian g-planes in (C ; Q) 0 I where Q = −I 0 . The embedding D ,! Dˇ is Z Z ! span of the columns of : Ig 1 For g = 1 we have H ,! P and GR = SL2(R) acting by linear fractional transformations. 20/82 Example ˇ D = GrassQ (2; VC) = f2-planes E : Q(E; E) = 0g [ D = 2-planes E with Q(E; E) < 0: The GR = SO(4; h) and D = GR=U(2) × SO(h) is not an Hermitian symmetric domain (HSD). Definition A variation of Hodge structure (VHS), or period mapping, is given by a holomorphically varying family of PHS's parametrized by a complex manifold S and satisfying a differential constraint. In order to have the PHS's occurring in a fixed vector space (V ; Q) we need to use the universal covering Se ! S. 21/82 Example S = ∆∗ = ft : 0 < jtj < 1g, Se = H = fz : Im z > 0g, and t = e2πiz . We may take products of this to have S = ∆∗`. Definition A VHS is given by Φ Se e / D Φ S / ΓnD where we have the monodromy representation ρ : π1(S) ! GZ and where Φe is an equivariant holomorphic mapping satisfying (i) Φ(e γz) = ρ(γ)Φ(e z) for γ 2 π1(S), z 2 Se; p dFz p−1 (ii) dz ⊂ Fz (infinitesimal period relation = IPR).
Recommended publications
  • Arithmetic of the Moduli of Fibered Algebraic Surfaces with Heuristics for Counting Curves Over Global Fields
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by University of Minnesota Digital Conservancy Arithmetic of the moduli of fibered algebraic surfaces with heuristics for counting curves over global fields A THESIS SUBMITTED TO THE FACULTY OF THE GRADUATE SCHOOL OF THE UNIVERSITY OF MINNESOTA BY Jun Yong Park IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE OF Doctor of Philosophy Craig Westerland May, 2018 © Jun Yong Park 2018 ALL RIGHTS RESERVED Acknowledgements First and foremost, I would like to express sincere gratitude to my doctoral advisor Craig Westerland for his kind guidance throughout the theme of studying arithmetic of moduli spaces under the interplay of geometry & topology with number theory. His insights and suggestions have helped me grow as a researcher and as a mathematician. I would also like to thank Denis Auroux, Jordan Ellenberg, Benson Farb, Thomas Espitau, Robert Gulliver, Joe Harris, Changho Han, Leo Herr, Minhyong Kim, Anatole Katok, Maxim Kazarian, Honglei Lang, Frank Morgan, Steven Sperber, Dennis Stan- ton, Vladimir Sverak, András Stipsicz, Sergei Tabachnikov, Yu-jong Tzeng, Alexander Voronov, Chuen-Ming Michael Wong, Jonathan Wise and Jesse Wolfson for helpful conversations, numerous suggestions and inspirations. A majority this thesis was written during my stay at the Brown University, Depart- ment of Mathematics in January-July 2018. I would like to thank Department Chair Dan Abramovich and Graduate Advisor Thomas Goodwillie as well as Dori Bejleri, Ali- cia Harper, Giovanni Inchiostro and many other wonderful graduate students at Brown for their kind hospitality. Also a part of this thesis work was done during my stay at IBS-CGP in July-August 2017, I would like to thank Yong-Geun Oh, Jae-Suk Park, and Jihun Park for their kind hospitality.
    [Show full text]
  • Hodge Theory and Moduli
    Contemporary Mathematics Volume 766, 2021 https://doi.org/10.1090/conm/766/15381 Hodge theory and moduli Phillip Griffiths Outline I.A Introductory comments I.B Classification problem; first case of relation between moduli and Hodge theory II.A Moduli II.B Hodge theory III.A Generalities on Hodge theory and moduli III.B I-surfaces and their period mappings Appendix; Application of Hodge theory to I-surfaces with a degree 2 el- liptic singularity I.A. Introductory comments. Algebraic geometry is frequently seen as a very interesting and beautiful subject, but one that is also very difficult to get into. This is partly due to its breadth, as traditionally algebra (commutative and homological), topology, analysis, differential geometry, Lie theory — and more recently combinatorics, logic, categorical and derived algebraic techniques, . — are used to study it. I have tried to make these notes accessible to a general audience by reviewing some of the most basic concepts, illustrating the material with elementary examples and informal geometric and heuristic arguments, and with occasional side comments for experts in the subject. Although algebra, both commutative and homological, are the central tools in algebraic geometry, their use in many current areas of research (birational geometry and the minimal model program) is frequently quite technical and will not be extensively discussed in these notes. On the other hand, partly because Hodge theory involves analysis, Lie theory and differential geometry as well as a wide variety of homological methods, it is perhaps less prevalent in the more algebraic works in the field. One objective of these talks is to illustrate how, in partnership with the more algebraic and homological methods, Hodge theory may be used to study interesting and important geometric questions.
    [Show full text]
  • The Cohomology of Coherent Sheaves
    CHAPTER VII The cohomology of coherent sheaves 1. Basic Cechˇ cohomology We begin with the general set-up. (i) X any topological space = U an open covering of X U { α}α∈S a presheaf of abelian groups on X. F Define: (ii) Ci( , ) = group of i-cochains with values in U F F = (U U ). F α0 ∩···∩ αi α0,...,αYi∈S We will write an i-cochain s = s(α0,...,αi), i.e., s(α ,...,α ) = the component of s in (U U ). 0 i F α0 ∩··· αi (iii) δ : Ci( , ) Ci+1( , ) by U F → U F i+1 δs(α ,...,α )= ( 1)j res s(α ,..., α ,...,α ), 0 i+1 − 0 j i+1 Xj=0 b where res is the restriction map (U U ) (U U ) F α ∩···∩ Uαj ∩···∩ αi+1 −→ F α0 ∩··· αi+1 and means “omit”. Forb i = 0, 1, 2, this comes out as δs(cα , α )= s(α ) s(α ) if s C0 0 1 1 − 0 ∈ δs(α , α , α )= s(α , α ) s(α , α )+ s(α , α ) if s C1 0 1 2 1 2 − 0 2 0 1 ∈ δs(α , α , α , α )= s(α , α , α ) s(α , α , α )+ s(α , α , α ) s(α , α , α ) if s C2. 0 1 2 3 1 2 3 − 0 2 3 0 1 3 − 0 1 2 ∈ One checks very easily that the composition δ2: Ci( , ) δ Ci+1( , ) δ Ci+2( , ) U F −→ U F −→ U F is 0. Hence we define: 211 212 VII.THECOHOMOLOGYOFCOHERENTSHEAVES s(σβ0, σβ1) defined here U σβ0 Uσβ1 Vβ1 Vβ0 ref s(β0, β1) defined here Figure VII.1 (iv) Zi( , ) = Ker δ : Ci( , ) Ci+1( , ) U F U F −→ U F = group of i-cocycles, Bi( , ) = Image δ : Ci−1( , ) Ci( , ) U F U F −→ U F = group of i-coboundaries Hi( , )= Zi( , )/Bi( , ) U F U F U F = i-th Cech-cohomologyˇ group with respect to .
    [Show full text]
  • Algebraic Surfaces in Positive Characteristic
    Contents Algebraic Surfaces in Positive Characteristic Christian Liedtke ................................................ 3 1 Introduction...................................... ........... 3 Preparatory Material 2 Frobenius, curves and group schemes ................... ........ 5 3 Cohomological tools and invariants ................... .......... 12 Classification of Algebraic Surfaces 4 Birational geometry of surfaces...................... ........... 18 5 (Quasi-)elliptic fibrations......................... ............. 22 6 Enriques–Kodaira classification..................... ............ 25 7 Kodairadimensionzero .............................. ......... 26 8 Generaltype....................................... .......... 31 Special Topics in Positive Characteristic 9 Unirationality, supersingularity, finite fields, and arithmetic........ 38 10 Inseparable morphisms and foliations ................ ........... 46 From Positive Characteristic to Characteristic Zero 11 Witt vectorsand lifting ............................ ........... 50 12 Rational curves on K3 surfaces....................... .......... 54 References ......................................... ............. 59 arXiv:0912.4291v4 [math.AG] 6 Apr 2013 Algebraic Surfaces in Positive Characteristic Christian Liedtke Mathematisches Institut Endenicher Allee 60 D-53115 Bonn, Germany [email protected] Summary. These notes are an introduction to and an overview over the theory of algebraic surfaces over algebraically closed fields of positive characteristic. After a little bit of
    [Show full text]
  • 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 material 9 1.1 Complex and projective manifolds . 9 1.1.1 Complex manifolds . 10 1.1.2 The algebraic world . 13 1.2 Vector bundles . 15 1.3 Sheaves and cohomology . 18 1.3.1 Sheaves . 18 1.3.2 Cohomology . 25 1.3.3 Cohomology of coherent sheaves . 29 1.3.4 The GAGA Theorem . 33 1.4 Hodge theory . 35 1.4.1 Harmonic forms . 35 1.4.2 K¨ahlermanifolds and Hodge decomposition . 38 2 Line bundles 41 2.1 The Picard group . 41 2.2 Cartier and Weil divisors . 45 2.2.1 Cartier divisors . 45 2.2.2 Weil divisors . 47 2.3 Ampleness and very ampleness . 52 2.4 Intersection theory on surfaces . 56 2.4.1 The Riemann-Roch Theorem for surfaces . 61 2.5 Nef line bundles . 64 2.5.1 Cup product and intersection product . 64 2.5.2 The N´eron-Severi group . 65 2.5.3 The Nakai-Moishezon Criterion for ampleness . 69 2.5.4 Cones . 72 3 Birational geometry 79 3.1 Contraction of curves . 79 3.1.1 Rational and birational maps . 79 3.1.2 The Zariski Main Theorem . 81 3.1.3 Blow-up of a point . 84 3.1.4 Indeterminacies . 87 3.1.5 Castelnuovo's contraction theorem . 89 3 4 Contents 3.2 Kodaira dimension . 93 3.2.1 Definition and geometrical interpretation .
    [Show full text]
  • 1 on Classical Riemann Roch and Hirzebruch's Generalization 0
    1 On Classical Riemann Roch and Hirzebruch's generalization 0. Summary of contents. p. 2. I. RR for curves, statement, application to branched covers of P1. p.8 II. RR for surfaces, statement, applications to Betti numbers of surfaces in P3, and line geometry on cubic surfaces. p.15 III. Classical proof of RR for complex curves, (assuming existence and uniqueness of standard differentials of first and second kind). p.20 IV. Modern proof of HRR for nodal plane curves and smooth surfaces in P3, by induction using sheaf cohomology and elementary topology. p.37 V. Hirzebruch’s formalism of Chern roots, Todd class, and the statement of the general HRR. Exercises. p.48 2 Chapter 0. Summary of Contents Mittag Leffler problems We view the classical Riemann Roch theorem as a non planar version of the Mittag Leffler theorem, i.e. as a criterion for recognizing which configurations of principal parts can occur for a global meromorphic function on a compact Riemann surface. For example, the complex projective line P1 = C ! {∞}, the one point compactification of the complex numbers, is a compact Riemann surface of genus zero. Any configuration of principal parts can occur for a global meromorphic function on P1, and all such functions are just rational functions of z. On a compact Riemann surface of genus one, i.e. a "torus", hence a quotient C/L of C by a lattice L, there is a residue condition that must be fulfilled. If f is a global meromorphic function on C/L and F is the L - periodic function on C obtained by composition C-->C/L, then the differential form F(z)dz must have residue sum zero in every period parallelogram for the lattice L.
    [Show full text]
  • Notes for Algebraic Geometry II
    Notes for Algebraic Geometry II William A. Stein May 19, 2010 Contents 1 Preface 4 2 Ample Invertible Sheaves 4 3 Introduction to Cohomology 5 4 Cohomology in Algebraic Geometry 6 5 Review of Derived Functors 6 5.1 Examples of Abelian Categories . 7 5.2 Exactness . 7 5.3 Injective and Projective Objects . 8 6 Derived Functors and Homological Algebra 8 6.1 Construction of RiF ............................... 9 6.2 Properties of Derived Functors . 9 7 Long Exact Sequence of Cohomology and Other Wonders 10 8 Basic Properties of Cohomology 10 8.1 Cohomology of Schemes . 10 8.2 Objective . 10 9 Flasque Sheaves 11 10 Examples 12 11 First Vanishing Theorem 13 12 Cechˇ Cohomology 14 12.1 Construction . 14 12.2 Sheafify . 14 13 Cechˇ Cohomology and Derived Functor Cohomology 16 13.1 History of this Module E ............................. 17 n 14 Cohomology of Pk 18 1 15 Serre's Finite Generation Theorem 18 15.1 Application: The Arithmetic Genus . 19 16 Euler Characteristic 19 17 Correspondence between Analytic and Algebraic Cohomology 21 18 Arithmetic Genus 22 18.1 The Genus of Plane Curve of Degree d ..................... 22 19 Not Enough Projectives 23 20 Some Special Cases of Serre Duality 24 20.1 Example: OX on Projective Space . 24 20.2 Example: Coherent sheaf on Projective Space . 24 n 20.3 Example: Serre Duality on Pk .......................... 25 21 The Functor Ext 25 21.1 Sheaf Ext . 25 21.2 Locally Free Sheaves . 26 22 More Technical Results on Ext 27 23 Serre Duality 28 24 Serre Duality for Arbitrary Projective Schemes 30 25 Existence of the Dualizing Sheaf on a Projective Scheme 32 25.1 Relative Gamma and Twiddle .
    [Show full text]
  • The Theory of Non-Complete Algebraic Surfaces
    THE THEORY OF NON-COMPLETE ALGEBRAIC SURFACES R.V. Gurjar School of Mathematics, Tata Institute of Fundamental Research, Homi-Bhabha road, Mumbai 400005. E-mail: [email protected]. Abstract. We will describe the basic theory of non-complete algebraic sur- faces developed by Japanese algebraic geometers. We will also mention some of the major results in this theory as well as several results about affine sur- faces proved using this theory during the last thirty years. x1. Introduction. The Enriques-Kodaira classification of minimal algebraic surfaces can be briefly described as follows. Let X be a smooth projective surface which does not contain any exceptional curve of the first kind (i.e. no smooth rational curve with self-intersection −1). We say that X is a relatively minimal surface. (1) If κ(X) = −∞ then either X ∼= P2 or X admits a morphism X!B onto a smooth projective curve all whose fibers are isomorphic to P1. In this latter case X is called a relatively minimal ruled surface. (2) If κ(X) = 0 then X is either an abelian surface, a K − 3 surface, an Enriques surface, or a hyperelliptic surface (i.e. a quotient of a product of two elliptic curves by a finite group of automorphisms, acting freely). 1 (3) If κ(X) = 1 then X has an elliptic fibration ' : X!B onto a smooth projective curve. Kodaira gave a rich theory of possible singular fibers of ', the monodromy action on the first integral homology group of a general fiber in a neighborhood of any singular fiber, a formula for the canonical bundle of X in terms of the canonical bundle of B and the singular fibers, study of variation of complex structures of the fibers of ', etc.
    [Show full text]
  • Algebraic Surfaces in Positive Characteristic Christian Liedtke
    Algebraic Surfaces in Positive Characteristic Christian Liedtke ABSTRACT. These notes are an introduction to and an overview of the theory of algebraic surfaces over algebraically closed fields of positive characteristic. After some background in characteristic-p-geometry, we sketch the Kodaira– Enriques classification. Next, we turn to more special characteristic-p topics, and end by lifting results and applications to characteristic zero. We assume that the reader has a background in complex geometry and has seen the Kodaira– Enriques classification of complex surfaces before. Introduction These notes grew out of a series of lectures given at Sogang University, Seoul in October 2009. They were meant for complex geometers, who are not familiar with characteristic-p-geometry, but who would like to see similarities, as well as differences to complex geometry. More precisely, these notes are on algebraic surfaces in positive characteristic, and assume familiarity with the complex side of this theory, say, on the level of Beauville’s book [Bea]. Roughly speaking, the theories of curves in characteristic zero and p > 0 look very similar, and many fundamental results were already classically known to hold in arbitrary characteristic. For example, curves (and also Abelian varieties) lift from characteristic p over the Witt ring to characteristic zero, which implies that many ”characteristic-p-pathologies“ cannot happen. However, from dimension two on, geometry in positive characteristic displays more and more differences to classical complex geometry. In fact, this geometry has long been considered as ”pathological“ and ”exotic“, as even reflected in the titles of a series of articles by Mumford (the first one being [Mu61]).
    [Show full text]
  • On the Birational Invariance of the Arithmetic Genus and Euler Characteristic3
    ON THE BIRATIONAL INVARIANCE OF THE ARITHMETIC GENUS AND EULER CHARACTERISTIC HELGE OYSTEIN¨ MAAKESTAD EMAIL H [email protected] Abstract. The aim of this note is to use elementary methods to give a large d class of examples of projective varieties Y ⊆ Pk over a field k with the property N N that Y is not isomorphic to a hypersurface H ⊆ Pk in projective space Pk with N := dim(Y ) + 1. We apply this construction to the study of the arithmetic genus pa(Y ) of Y and the problem of determining if pa(Y ) is a birational invariant of Y in general. We give positive dimensional families of pairs of projective varieties (Y,Y ′) in any dimension d ≥ 4 where Y is birational to Y ′, ′ but where pa(Y ) =6 pa(Y ). The arithmetic genus is known to be a birational invariant in any dimension d over an algebraically closed field of characteristic zero. The varieties Y,Y ′ may be singular. We get similar results for the Euler characteristic χ(Y ). Contents 1. Introduction 1 2. Projectivevarietiesthatarenothypersurfaces 2 References 5 1. Introduction The problem of defining birational invariants for smooth projective varieties has a long and complicated history in algebraic geometry. The geometric genus pg(Y ) and arithmetic genus pa(Y ) of a projective variety Y has been around since the arXiv:1903.04871v8 [math.AG] 12 Nov 2020 beginning of the study of projective geometry and projective varieties. It is well known that the geometric genus pg(Y ) of a smooth projective variety Y over an algebraically closed field k is a birational invariant.
    [Show full text]