DOCSLIB.ORG

Point Sets in Projective Spaces and Theta Functions

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Point Sets in Projective Spaces and Theta Functions Astérisque IGOR DOLGACHEV DAVID ORTLAND Point sets in projective spaces and theta functions Astérisque, tome 165 (1988) <http://www.numdam.org/item?id=AST_1988__165__1_0> © Société mathématique de France, 1988, tous droits réservés. L’accès aux archives de la collection « Astérisque » (http://smf4.emath.fr/ Publications/Asterisque/) implique l’accord avec les conditions générales d’uti- lisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit contenir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ 165 ASTÉRISQUE 1988 POINT SETS IN PROJECTIVE SPACES AND THETA FUNCTIONS Igor DOLGACHEV and David ORTLAND SOCIÉTÉ MATHÉMATIQUE DE FRANCE Publié avec le concours du CENTRE NATIONAL DE LA RECHERCHE SCIENTIFIQUE A.M.S. Subjects Classification : 14-02, 14C05, 14C21, 14D25, 14E07, 14H10, 14H40, 14H45, 14J26, 14J25, 14J30, 14K25, 14N99, 14J50, 20C30, 17B20, 17B67. TO HILARY AND NATASHA Table of Contents Introduction 3 I. CROSS-RATIO FUNCTIONS 1. The variety Pmn (first definition) 7 2. Standard monomials .9 3. Examples 13 II. GEOMETRIC INVARIANT THEORY 1. Pmn (second definition) 21 2. A criterion of semi-stability.... 22 3. Most special point sets 2.6 4. Examples 31 III. ASSOCIATED POINT SETS 1. The association 33 2. Geometric properties of associated point sets 41 3. Self-associated point sets .43 IV. BLOWING-UPS OF POINT SETS 1. Infinitely near point sets 53 2. Analysis of stability in m .57 V. GENERALIZED DEL PEZZO VARIETIES 1. The Neron-Severi bilattice 63 2. Geometric markings of gDP-varieties 67 3. The Weyl groups Wn,m 71 4. Discriminant conditions 79 5. Exceptional configurations 81 VI. CREMONA ACTION 1. The Cremona representation of the Weyl group Wn,m 84 2. Explicit formulae. 94 3. Cremona action and association 96 4. Pseudo-automorphisms of gDP-varieties 99 5. Special subvarieties of Pmn 104 1 I. DOLGACHEV, D. ORTLAND VII. EXAMPLES 1. Point sets in P, 110 2. Point sets in P2 (m < 5) 111 3. Cubic surfaces (n=2, m=6) 116 4. Del Pezzo surfaces of degree 2 120 5. Del Pezzo surfaces of degree 1 123 6. Point sets in P3 126 7. Point sets in P4 130 VIII. POINT SETS IN IP1 AND HYPERELLIPTIC CURVES 1. The ta functions 1 3 2 2. Jacobian varieties and theta characteristics 137 3. Hyperelliptic curves 141 4. Theta characteristics on hyperelliptic curves 146 5. Thomae's theorem 1 5 3 6. Elliptic curves 155 7. Abelian surfaces 156 IX. CURVES OF GENUS 3 1. Level 2 structures on the Jacobian variety of a curve of genus 3 160 2. Aronhold sets of bitangents to a quartic plane curve 165 3. The varieties S8 and m3(2) 173 4. Theta structures 177 5. Kummer-Wirtinger varieties 1 82 6. Cayley dianode surfaces 187 7. Göpel functions 190 8. Final remaries 1 9 5 Bibliography 1 97 Notations -203 Index 206 Resume • 209 2 Introduction. The purpose of these notes is to re-introduce some of the worK of A. Coble [Co 11 in a language that a modern mathematician can easily understand. There is a well-Known relationship between the theory of invariants of finite sets of points in a projective line and the theory of hyperelliptic curves. The DOOK of Coble gives an account of the theory which generalizes this relationship to point sets in projective spaces of higher dimension and non-hyperelliptic curves. Though some aspects of this theory were Known before Coble (see for example [Fr1l, IFr21, EKal, [Sen 1, [Sen 2], [Sen 31), his exposition is by far the most complete and conceptually motivated. In recent years the booK of Coble was saved from oblivion and the number of references to it grew substantially. This prompted us to serve the mathematical community by giving a modern account of his theory. The contents of these notes is the following. In Chapters I and II we give a development of the general theory of projective invariants for ordered point sets. We use a presentation of these invariants by certain tableaux, along with the straightening algorithm to describe the structure of the ring they form. Following a now standard approach to the theory of invariants [Mu 11, we construct the moduli spaces P™ for the projective equivalence classes of sets of m ordered points in a n-dimensional projective space IPn and provide a description of the stable and semi-stable ones. A rather complete discussion of the "most special" point sets is given. These are the point sets which are parametrized by the spaces P™ . The chapters conclude with some examples that illustrate how the general techniques worK for specific cases. Note that we are able to discern the structure of the moduli spaces in these examples without too much effort, whereas Coble had to devise rather complicated and ingenious methods to reveal the same information. 3 I. DOLGACHEV, D. ORTLAND Chapter III is concerned with the classical concept of association, which is a form of duality between the spaces P™ and Pm-n_2. It is difficult to trace out the origins of this concept, but it was refined and used extensively by Coble [Co 51. Our approach is to show that association arises from an isomorphism between the coordinate rings of the respective moduli spaces, which is based on the notion of duality between tableaux. In the case m = 2n+2 the notion of association leads to the notion of self-association. We provide a criterion, essentially due to Coble, for a stable set to be self-associated. This condition is closely related to questions of independence of point sets with respect to the linear system of quadrics through them which is extensively studied in modern and classical worKs on algebraic curves. After various geometric properties of associated sets, we prove the rationality of the moduli space Sn that parametrizes projective equivalence classes of ordered self-associated point sets. In Chapter IV we extend the invariant theory of points sets to the case where some of the points are considered to be infinitely near. Following a construction from IK1] we construct the variety parametrizing such point sets, and then consider the extension of the action of the projective linear group on this variety. We use some recent results from [ReM to derive explicit criterion of stability of infinitely near points sets. This allows to construct the spaces P™ which are extensions of the spaces P™, and birational morphisms P™ —• P1^ - In Chapter V we begin to consider point sets from a different point of view. Blowing-up such a set gives a certain rational variety, which we call a generalized Del Pezzo variety. The order on the set equips this variety with an additional structure. This additional structure is interpreted as a certain marKing in the 1- codimensional and 1-dimensional components of the Chow ring of this variety. The varieties P™ can be interpreted as certain moduli varieties of marked generalized Del Pezzo varieties. Here the most interesting part of Coble's theory enters into the discussion. This is the notion of root systems and their Weyl groups. The discovery that Coble was aware of some of these notions even in the case of infinite root systems, a long time before Carton's worK, and it goes without saying, before the wonc of V. Kac and R. Moody, was the main motivation for the first author to study his worK. The theory of Del Pezzo surfaces and surface singularities is Known to have a relationship with this theory. A modern account of this can be found for example in [Ma], [Del, CPU. An earlier exposition of this is due to P. Du Val [DV 1-DV41 who apparently was not aware of Coble's worK. A new result of this chapter is a partial description of roots for certain 4 INTRODUCTION root systems in hyperbolic vector spaces. The notion of roots corresponds to the classical notion of a discriminant condition on a point set which substitutes the condition for a binary form to have a multiple root. In Chapter VI we develop the notion of the Cremona action on the point sets. It was observed by Coble and S. Kantor ( in the case n = 2), and later by P. Du Val [DuV 3], [DuY4] that certain types of Cremona transformations of the projective space act birationally on projective equivalence classes of point sets. More precisely they give a representation of a certain Weyl group Wn m in the group of birational automorphisms of P™. Much effort was applied to give a rigorous exposition of this beautiful theory. The Kernel of the Cremona representation of Wnm can be identified with a subgroup of pseudo- automorphisms (i.e. birational automorphisms which are isomorphisms in codimension 1) of the blowing-up of a point set represented by a generic point of P1^. In the case n = 2, the Kernel is the full automorphism group, and we prove, following Coble, that this group is trivial if m > 9. A modern proof of this result, also based on Coble's ideas, was given in [Gil (m = 9) and [Hirl. In Chapter VII we discuss all special cases where the Weyl group Wn m is finite, and compute the Kernel of the Cremona representation. This leads to a beautiful interpretation of certain elements of the center of the Weyl groups as certain types of Cremona transformations in the projective space. We refer to a recent paper of P. Du Val [DuV 4], where, again without mentioning Coble's worK, a nice account of this is given.
Load more

Recommended publications
  • Kummer Surfaces: 200 Years of Study
    Kummer Surfaces: 200 Years of Study Igor Dolgachev The fascinating story about the Kummer surface starts from material where double refraction occurs: a ray of light the discovery by Augustin-Jean Fresnel in 1822 of the equa- splits into two, traveling at the same speed along different tion describing the propagation of light in an optically paths. The speed of light may depend on the coordinates biaxial crystal [Fre]. Biaxial crystals are an example of 푥 = (푥1, 푥2, 푥3) of a point and the unit direction vector 휉 = (휉1, 휉2, 휉3). The propagation of light is described by Igor Dolgachev is a professor of mathematics, emeritus, at the University of the speed 푣(푥, 휉) at 푥 in the direction 휉. We say that the Michigan. His email address is [email protected]. matter is homogeneous if 푣 does not depend on 푥 and we The article is based on the author’s Oliver Club talk at Cornell University de- livered on October 10, 2019, exactly 121 years since the first meeting of the say that it is isotropic if it does not depend on 휉. For exam- club, at which then the faculty member John Hutchinson spoke. As we will see, ple, while a student, James Maxwell described a lens that Hutchinson contributed significantly to the theory of Kummer surfaces. reminded him of the eyes of a fish. Through his fish eye, Communicated by Notices Associate Editor Angela Gibney. he found that light is inhomogeneous but isotropic, bend- For permission to reprint this article, please contact: ing in arcs whose shape depends on where they start and [email protected].
    [Show full text]
  • Geometric Aspects on Humbert-Edge's Curves of Type 5
    GEOMETRIC ASPECTS ON HUMBERT-EDGE’S CURVES OF TYPE 5, KUMMER SURFACES AND HYPERELLIPTIC CURVES OF GENUS 2 ABEL CASTORENA AND JUAN BOSCO FR´IAS-MEDINA Abstract. In this work we study the Humbert-Edge’s curves of type 5, defined as a complete intersection of four diagonal quadrics in P5. We characterize them using Kummer surfaces and using the geometry of these surfaces we construct some vanishing thetanulls on such curves. In addition, we describe an argument to give an isomorphism between the moduli space of Humbert- Edge’s curves of type 5 and the moduli space of hyperelliptic curves of genus 2, and we let see how this argument can be generalized to state an isomorphism between the moduli space of n−1 hyperelliptic curves of genus g = 2 and the moduli space of Humbert-Edge’s curves of type n ≥ 5 where n is an odd number. Keywords: Intersection of quadrics; Curves with automorphisms, Jacobian variety. 1. Introduction W.L. Edge began the study of Humbert’s curves in [5], such curves are defined as canonical curves in P4 that are complete intersection of three diagonal quadrics. A natural generalization of Humbert’s curve was later introduced by Edge in [7]: irreducible, non-degenerated and non-singular curves on Pn that are the complete intersection of n − 1 diagonal quadrics. One important feature of Humbert-Edge’s curves of type n noted by Edge in [7] is that each one can be write down in a normal form. Indeed, we can assume that the n − 1 quadrics in Pn are given by n i 2 Qi = ajxj , i =0,...,n − 1 j=0 X where aj ∈ C for all j ∈ {0,...,n} and aj 6= ak if j 6= k.
    [Show full text]
  • Finite Groups for the Kummer Surface: the Genetic Code and a Quantum Gravity Analogy
    quantum reports Article Finite Groups for the Kummer Surface: The Genetic Code and a Quantum Gravity Analogy Michel Planat 1,* , David Chester 2, Raymond Aschheim 2 , Marcelo M. Amaral 2 , Fang Fang 2 and Klee Irwin 2 1 Institut FEMTO-ST CNRS UMR 6174, Université de Bourgogne/Franche-Comté, 15 B Avenue des Montboucons, F-25044 Besançon, France 2 Quantum Gravity Research, Los Angeles, CA 90290, USA; [email protected] (D.C.); [email protected] (R.A.); [email protected] (M.M.A.); [email protected] (F.F.); [email protected] (K.I.) * Correspondence: [email protected] Abstract: The Kummer surface was constructed in 1864. It corresponds to the desingularization of the quotient of a 4-torus by 16 complex double points. Kummer surface is known to play a role in some models of quantum gravity. Following our recent model of the DNA genetic code based on the ∼ irreducible characters of the finite group G5 := (240, 105) = Z5 o 2O (with 2O the binary octahedral ∼ ∼ group), we now find that groups G6 := (288, 69) = Z6 o 2O and G7 := (336, 118) = Z7 o 2O can be used as models of the symmetries in hexamer and heptamer proteins playing a vital role for some biological functions. Groups G6 and G7 are found to involve the Kummer surface in the structure of their character table. An analogy between quantum gravity and DNA/RNA packings is suggested. Keywords: kummer surface; DNA genetic code; hexamers and pentamers; informationally complete Citation: Planat, M.; Chester, D.; characters; finite groups; hyperelliptic curve Aschheim, R.; Amaral, M.M.; Fang, F.; Irwin, K.
    [Show full text]
  • Explicit Kummer Surface Formulas for Arbitrary Characteristic
    EXPLICIT KUMMER SURFACE FORMULAS FOR ARBITRARY CHARACTERISTIC JAN STEFFEN MULLER¨ Abstract. If C is a curve of genus 2 defined over a field k and J is its Jacobian, then we can associate a hypersurface K in P3 to J, called the Kummer surface of J. Flynn has made this construction explicit in the case that the characteristic of k is not 2 and C is given by a simplified equation. He has also given explicit versions of several maps defined on the Kummer surface and shown how to perform arithmetic on J using these maps. In this paper we generalize these results to the case of arbitrary characteristic. 1. Introduction If C is a curve of genus 2 defined over a field k and J is its Jacobian variety, then J can be regarded as a smooth projective variety em- bedded into P15. However, in order to perform explicit arithmetic on J, this construction is not suitable, since computations in P15 are too cumbersome. To remedy this, one can associate a hypersurface K in P3 to J, called the Kummer surface of J. It is the quotient of the Jaco- bian by the negation map and, although not an abelian variety itself, remnants of the group law on J can be exhibited on K and arithmetic on J can be performed using its Kummer surface. The map from J to K corresponds to the map from an elliptic curve to P1 that assigns to an affine point its x-coordinate. In [1] Cassels and Flynn construct the Kummer surface associated to the Jacobian of a genus 2 curve C defined over a field k and several maps on it only in the special case (1) C : y2 = f(x) and leave the general case (2) C : y2 + h(x)y = f(x); where deg(f) ≤ 6 and deg(h) ≤ 3, as \optional exercises for the reader" (p.1).
    [Show full text]
  • Hasse Principle for Kummer Varieties
    Hasse principle for Kummer varieties Yonatan Harpaz and Alexei N. Skorobogatov Abstract The existence of rational points on the Kummer variety associated to a 2- covering of an abelian variety A over a number field can sometimes be estab- lished through the variation of the 2-Selmer group of quadratic twists of A. In the case when the Galois action on the 2-torsion of A has a large image we prove, under mild additional hypotheses and assuming the finiteness of relevant Shafarevich{Tate groups, that the Hasse principle holds for the as- sociated Kummer varieties. This provides further evidence for the conjecture that the Brauer{Manin obstruction controls rational points on K3 surfaces. 1 Introduction The principal aim of this paper is to give some evidence in favour of the conjecture that the Brauer{Manin obstruction is the only obstruction to the Hasse principle for rational points on K3 surfaces over number fields, see [31, p. 77] and [34, p. 484]. Conditionally on the finiteness of relevant Shafarevich{Tate groups we establish the Hasse principle for certain families of Kummer surfaces. These surfaces are quotients of 2-coverings of an abelian surface A by the antipodal involution, where (a) A is the product of elliptic curves A = E1 × E2, or (b) A is the Jacobian of a curve C of genus 2 with a rational Weierstraß point. Both cases are treated by the same method which allows us to prove a more general result for the Kummer varieties attached to 2-coverings of an abelian variety A over a number field k, provided certain conditions are satisfied.
    [Show full text]
  • The Rigid Body Dynamics in an Ideal Fluid: Clebsch Top and Kummer
    The Rigid Body Dynamics in an ideal fluid: Clebsch Top and Kummer surfaces Jean-Pierre Fran¸coise∗ and Daisuke Tarama† This version: March 5, 2019 Dedicated to Emma Previato Key words Algebraic curves and their Jacobian varieties, Integrable Systems, Clebsch top, Kum- mer surfaces MSC(2010): 14D06, 37J35, 58K10, 58K50, 70E15 Abstract This is an expository presentation of a completely integrable Hamiltonian system of Clebsch top under a special condition introduced by Weber. After a brief account on the geometric setting of the system, the structure of the Poisson commuting first integrals is discussed following the methods by Magri and Skrypnyk. Introducing supplementary coordinates, a geometric connection to Kummer surfaces, a typical class of K3 surfaces, is mentioned and also the system is linearized on the Jacobian of a hyperelliptic curve of genus two determined by the system. Further some special solutions contained in some vector subspace are discussed. Finally, an explicit computation of the action-angle coordinates is introduced. 1 Introduction This article provides expository explanations on a class of completely integrable Hamiltonian sys- tems describing the rotational motion of a rigid body in an ideal fluid, called Clebsch top. Further, some new results are exhibited about the computation of action variables of the system. In analytical mechanics, the Hamiltonian systems of rigid bodies are typical fundamental prob- lems, among which one can find completely integrable systems in the sense of Liouville, such as Euler, Lagrange, Kowalevski, Chaplygin, Clebsch, and Steklov tops. These completely integrable systems are studied from the view point of geometric mechanics, dynamical systems, (differential) arXiv:1903.00917v1 [math-ph] 3 Mar 2019 topology, and algebraic geometry.
    [Show full text]
  • Kummer Surfaces: 200 Years of Study
    Kummer Surfaces: 200 Years of Study Igor Dolgachev The fascinating story about the Kummer surface starts from material where double refraction occurs: a ray of light the discovery by Augustin-Jean Fresnel in 1822 of the equa- splits into two, traveling at the same speed along different tion describing the propagation of light in an optically paths. The speed of light may depend on the coordinates biaxial crystal [Fre]. Biaxial crystals are an example of 푥 = (푥1, 푥2, 푥3) of a point and the unit direction vector 휉 = (휉1, 휉2, 휉3). The propagation of light is described by Igor Dolgachev is a professor of mathematics, emeritus, at the University of the speed 푣(푥, 휉) at 푥 in the direction 휉. We say that the Michigan. His email address is [email protected]. matter is homogeneous if 푣 does not depend on 푥 and we The article is based on the author’s Oliver Club talk at Cornell University de- livered on October 10, 2019, exactly 121 years since the first meeting of the say that it is isotropic if it does not depend on 휉. For exam- club, at which then the faculty member John Hutchinson spoke. As we will see, ple, while a student, James Maxwell described a lens that Hutchinson contributed significantly to the theory of Kummer surfaces. reminded him of the eyes of a fish. Through his fish eye, Communicated by Notices Associate Editor Angela Gibney. he found that light is inhomogeneous but isotropic, bend- For permission to reprint this article, please contact: ing in arcs whose shape depends on where they start and [email protected].
    [Show full text]