Kummer Surfaces: 200 Years of Study

Total Page:16

File Type:pdf, Size:1020Kb

Load more

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]. converging to a single point. DOI: https://doi.org/10.1090/noti2168 NOVEMBER 2020 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY 1527 Figure 1. Augustin-Jean Fresnel. A biaxial crystal gives an example of homogeneous but Figure 2. Sir William Hamilton. anisotropic propagation. Fresnel found the equation of the propagation of light in such a crystal to be of the form: planes forming a tetrahedron such that each plane cuts out 휉2 휉2 휉2 1 + 2 + 3 = 0, (1) the surface along a pair of conics. The three vertices of the −2 −2 −2 −2 −2 −2 푎1 − 푣 푎2 − 푣 푎3 − 푣 tetrahedron are conjugate with respect to the two conics where 푎1, 푎2, 푎3 are constants describing the property of lying in the face of the tetrahedron they span. Moreover the crystal (principal refraction indices). By substituting 16 intersection points of four pairs of conics are singular (푧1, 푧2, 푧3) = 푣(휉1, 휉2, 휉3), one can rewrite the previous points of the surface. Cayley also discovered an important equation as property of tetraedroid quartic surfaces: they are projec- tively self-dual (or reciprocal). Wave surfaces were the sub- 푎2푧2 푎 푧2 1 1 + 2 2 ject of study for many famous mathematicians of the 19th 2 2 2 2 2 2 2 2 푧1 + 푧2 + 푧3 − 푎1 푧1 + 푧2 + 푧 − 푎2 century. 푎 푧2 Among them were A. Cauchy, J. Darboux, J. MacCul- + 3 3 = 0. 2 2 2 2 lagh, J. Sylvester, and W. Hamilton (see [Lor96, pp. 114– 푧1 + 푧2 + 푧3 − 푎3 115]). A nice modern exposition of the theory of Fresnel’s After clearing the denominators and homogenizing, we wave surfaces can be found in [Knö86]. find an equation of a quartic surface in ℙ3. In 1833 Sir Projective equivalence classes of Fresnel’s wave surfaces William Hamilton discovered that the surface has four real depend on two parameters and as we shall see momen- singular points tarily, these are examples of Kummer surfaces which are 2 2 2 2 determined by three parameters. 푎1 − 푎2 푎2 − 푎3 (±푎3 , 0, ±푎1 , 1) In 1847 Adolph Göpel, using the transcendental theory of √푎2 − 푎2 √푎2 − 푎2 1 3 1 3 theta functions, had found a relation of order four between and also four real planes 훼푥 + 훽푦 + 훾푧 + 푤 = 0 that cut out theta functions of second order in two variables that ex- the surface along a conic (trope-conics), where presses an equation of a general Kummer surface [Göp47]. 2 2 2 2 To give Göpel’s equation, we next briefly discuss theta func- 푎3 푎1 − 푎2 푎1 푎2 − 푎3 (훼, 훽, 훾, 1) = (± 2 2 2 , 0, ± 2 2 2 , 1) tions. 푎2 √푎1 − 푎3 푎2 √푎1 − 푎3 Let 푇 = ℂ푔/Λ be a compact 푔-dimensional torus, the [Ham37, p. 134]. In fact, as we shall see later, over ℂ, it quotient of ℂ푔 by the group of translations Λ isomor- has additionally 12 nodes and 12 trope-conics. phic to ℤ2푔. There are no nonconstant holomorphic func- In 1849 Arthur Cayley proved that Fresnel’s wave surface tions on 푇 because it is a compact complex manifold; in- is a special kind of a tetraedroid quartic surface. The latter stead one considers nonzero holomorphic sections of a is characterized by the following property. There are four holomorphic line bundle 퐿 on 푇. For general Λ no line 1528 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY VOLUME 67, NUMBER 10 Figure 4. Ernst Kummer. of zeros in ℙ3 of a quartic polynomial Figure 3. Arthur Cayley. 퐹 = 퐴(푥4 + 푦4 + 푧4 + 푤4) + 2퐵(푥2푦2 + 푧2푤2) bundle has enough sections to embed 푇 into a projective + 2퐶(푥2푧2 + 푦2푤2) + 2퐷(푥2푤2 + 푦2푧2) + 4퐸푥푦푧푤, space, i.e., 푇 does not admit a structure of a projective alge- braic variety. However, in 1857 Bernard Riemann found where the coefficients (퐴, 퐵, 퐶, 퐷, 퐸) satisfy a certain ex- a condition on Λ such that 푇 admits a line bundle 퐿 with plicit equation in terms of theta constants, the values of dim Γ(푇, 퐿푛) = 푛푔 and whose sections embed 푇 onto a pro- theta functions at 0. The images of 16 two-torsion points 1 jective space. Such complex tori are now called principally 휖 ∈ Λ/Λ ∈ ℂ2/Λ are singular points of 푋. The Abel-Jacobi 2 1 푥 푥 polarized abelian varieties. They depend on 푔(푔 + 1) com- map 퐶 → Jac(퐶), 푥 ↦ (∫ 휔 , ∫ 휔 ) mod Λ embeds 퐶 2 푥0 1 푥0 2 plex parameters. Holomorphic sections of 퐿푛 can be lifted into Jac(퐶) and the images of the curves 퐶+휖 = {푐+휖, 푐 ∈ 퐶} to holomorphic functions on ℂ푔 that are Λ-invariant up are the 16 trope-conics of 푋. to some multiplicative factor. They are called theta func- In 1864 Ernst Kummer had shown that 16-nodal quar- tions of order 푛. For 푛 = 1, such a holomorphic func- tic surfaces depend on three complex parameters and Fres- tion is the famous Riemann theta function Θ(푧, Λ). One nel’s wave surface represents only a special case of these can modify Riemann’s expression for Θ(푧, Λ) to include quartic surfaces. Kummer proved that such surfaces con- some parameters which are elements (푚, 푚′) of the group tain 16 trope-conics which together with 16 nodes form 푔 푔 (ℤ/푛ℤ) ⊕ (ℤ/푛ℤ) , called theta characteristics. They gen- an abstract incidence configuration (166) (this means that erate the linear space Γ(푇, 퐿푛). each node lies on six trope-conics and each trope-conic An example of a principally polarized abelian variety is contains six nodes) [Kum64]. Kummer shows that any 16- the Jacobian variety Jac(퐶) of a Riemann surface 퐶 of genus nodal quartic surface has a tetrahedron with conic-tropes 푔. Here Λ is spanned by vectors 푣 = (∫ 휔 ,…, ∫ 휔 ) ∈ in the faces intersecting at two points on the edges. More- 푖 훾푖 1 훾푖 푔 푔 ℂ , 푖 = 1, … , 2푔, where (휔1, … , 휔푔) is a basis of the linear over, he proved that no vertex can be a node. From this he space of holomorphic differential 1-forms and (훾1, … , 훾2푔) deduced that there exists a quadric surface that contains is a basis of 퐻1(푇, ℤ). the four trope-conics. Using this observation, he found an Göpel was able to find a special basis (휃0, 휃1, 휃2, 휃3) in equation of a general Kummer surface of the form the space Γ(Jac(퐶), 퐿2) ≅ ℂ4 such that the map (푥2 + 푦2 + 푧2 + 푤2 + 푎(푥푦 + 푧푤) + 푏(푥푧 + 푦푤) Φ ∶ 푇 → ℙ3, (푧 , 푧 ) ↦ (휃 (푧) ∶ 휃 (푧) ∶ 휃 (푧) ∶ 휃 (푧)) 1 2 0 1 2 3 +푐(푥푤 + 푦푧))2 + 퐾푥푦푧푤 = 0, satisfies Φ(−푧1, −푧2) = Φ(푧1, 푧2) and its image 푋 is the set where 푥푦푧푤 = 0 is the equation of a chosen tetrahedron NOVEMBER 2020 NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY 1529 Figure 5. Carl Borchardt. Figure 6. Felix Klein. and 퐾 = 푎2 + 푏2 + 푐2 − 2푎푏푐 − 1. Since then any 16-nodal quartic surface became known as a Kummer quartic surface. The first book entirely devoted to Kummer surfaces It took almost 30 years since Göpel’s discovery to real- that combines geometric, algebraic, and transcendental ap- ize that the Göpel equation, after a linear change of vari- proaches to their study was published by Ronald Hudson in ables, can be reduced to a Kummer equation. This was 1905 [Hud05]. done by Carl Borchardt in 1877 [Bor77]. In fact, Göpel’s As I understand, Kummer’s interest in 16-nodal quar- discovery leads to a modern definition of the Kummer sur- tic surfaces arose from his pioneering study of two- face and its higher-dimensional version, the Kummer va- dimensional families (congruences) of lines in ℙ3. They riety. One considers any 푔-dimensional complex torus 푇 are naturally parameterized by irreducible surfaces in the 3 3 and divides it by the involution 푧 ↦ −푧; the orbit space is Grassmann variety 퐺1(ℙ ) of lines in ℙ .
Recommended publications
  • Point Sets in Projective Spaces and Theta Functions

    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 Aspects on Humbert-Edge's Curves of Type 5

    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.
  • Finite Groups for the Kummer Surface: the Genetic Code and a Quantum Gravity Analogy

    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.
  • Explicit Kummer Surface Formulas for Arbitrary Characteristic

    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).
  • Hasse Principle for Kummer Varieties

    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.
  • The Rigid Body Dynamics in an Ideal Fluid: Clebsch Top and Kummer

    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.
  • Kummer Surfaces: 200 Years of Study

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