Explicit moduli for curves of genus 2 with real multiplication by ℚ(√5)

John Wilson

Acta Arithmetica (2000)

  • Volume: 93, Issue: 2, page 121-138
  • ISSN: 0065-1036

Abstract

top
1. Motivation. Let J₀(N) denote the Jacobian of the modular curve X₀(N) parametrizing pairs of N-isogenous elliptic curves. The simple factors of J₀(N) have real multiplication, that is to say that the endomorphism ring of a simple factor A contains an order in a totally real number field of degree dim A. We shall sometimes abbreviate "real multiplication" to "RM" and say that A has maximal RM by the totally real field F if A has an action of the full ring of integers of F. We say that a curve C has RM (or maximal RM) by F when the Jacobian Jac(C) does. Let us call an abelian variety modular if it is isogenous to a simple factor of J₀(N) for some N. Save for some technical restrictions, it is now known that all elliptic curves (that is, RM abelian varieties of dimension 1) are modular. It is also conjectured that all RM abelian varieties are modular [14]. In a recent paper, Taylor and Shepherd-Barron [15] have shown that many abelian surfaces with maximal real multiplication by ℚ(√5) are modular. (Again, there are some technical conditions to be met.) It is well known that principally polarized abelian surfaces are either Jacobians, or products. Thus principally polarized abelian surfaces with maximal RM are amenable to a fairly explicit description, if one can determine which curves give these surfaces as Jacobians. Our aim, then, is to attempt to give a description of those curves of genus 2 with maximal RM by ℚ(√5) both in terms of their moduli and by giving equations for the curves. (We also note that it follows from other work of ours [17, Chapter 4] that an abelian surface with RM is almost always isogenous over the ground field to a principally polarized abelian surface with maximal RM.)

How to cite

top

John Wilson. "Explicit moduli for curves of genus 2 with real multiplication by ℚ(√5)." Acta Arithmetica 93.2 (2000): 121-138. <http://eudml.org/doc/207404>.

@article{JohnWilson2000,
abstract = { 1. Motivation. Let J₀(N) denote the Jacobian of the modular curve X₀(N) parametrizing pairs of N-isogenous elliptic curves. The simple factors of J₀(N) have real multiplication, that is to say that the endomorphism ring of a simple factor A contains an order in a totally real number field of degree dim A. We shall sometimes abbreviate "real multiplication" to "RM" and say that A has maximal RM by the totally real field F if A has an action of the full ring of integers of F. We say that a curve C has RM (or maximal RM) by F when the Jacobian Jac(C) does. Let us call an abelian variety modular if it is isogenous to a simple factor of J₀(N) for some N. Save for some technical restrictions, it is now known that all elliptic curves (that is, RM abelian varieties of dimension 1) are modular. It is also conjectured that all RM abelian varieties are modular [14]. In a recent paper, Taylor and Shepherd-Barron [15] have shown that many abelian surfaces with maximal real multiplication by ℚ(√5) are modular. (Again, there are some technical conditions to be met.) It is well known that principally polarized abelian surfaces are either Jacobians, or products. Thus principally polarized abelian surfaces with maximal RM are amenable to a fairly explicit description, if one can determine which curves give these surfaces as Jacobians. Our aim, then, is to attempt to give a description of those curves of genus 2 with maximal RM by ℚ(√5) both in terms of their moduli and by giving equations for the curves. (We also note that it follows from other work of ours [17, Chapter 4] that an abelian surface with RM is almost always isogenous over the ground field to a principally polarized abelian surface with maximal RM.) },
author = {John Wilson},
journal = {Acta Arithmetica},
keywords = {Humbert configuration; curves of genus 2; real multiplication; Jacobian; Rosati involution; Humbert's criterion; explicit embedding},
language = {eng},
number = {2},
pages = {121-138},
title = {Explicit moduli for curves of genus 2 with real multiplication by ℚ(√5)},
url = {http://eudml.org/doc/207404},
volume = {93},
year = {2000},
}

TY - JOUR
AU - John Wilson
TI - Explicit moduli for curves of genus 2 with real multiplication by ℚ(√5)
JO - Acta Arithmetica
PY - 2000
VL - 93
IS - 2
SP - 121
EP - 138
AB - 1. Motivation. Let J₀(N) denote the Jacobian of the modular curve X₀(N) parametrizing pairs of N-isogenous elliptic curves. The simple factors of J₀(N) have real multiplication, that is to say that the endomorphism ring of a simple factor A contains an order in a totally real number field of degree dim A. We shall sometimes abbreviate "real multiplication" to "RM" and say that A has maximal RM by the totally real field F if A has an action of the full ring of integers of F. We say that a curve C has RM (or maximal RM) by F when the Jacobian Jac(C) does. Let us call an abelian variety modular if it is isogenous to a simple factor of J₀(N) for some N. Save for some technical restrictions, it is now known that all elliptic curves (that is, RM abelian varieties of dimension 1) are modular. It is also conjectured that all RM abelian varieties are modular [14]. In a recent paper, Taylor and Shepherd-Barron [15] have shown that many abelian surfaces with maximal real multiplication by ℚ(√5) are modular. (Again, there are some technical conditions to be met.) It is well known that principally polarized abelian surfaces are either Jacobians, or products. Thus principally polarized abelian surfaces with maximal RM are amenable to a fairly explicit description, if one can determine which curves give these surfaces as Jacobians. Our aim, then, is to attempt to give a description of those curves of genus 2 with maximal RM by ℚ(√5) both in terms of their moduli and by giving equations for the curves. (We also note that it follows from other work of ours [17, Chapter 4] that an abelian surface with RM is almost always isogenous over the ground field to a principally polarized abelian surface with maximal RM.)
LA - eng
KW - Humbert configuration; curves of genus 2; real multiplication; Jacobian; Rosati involution; Humbert's criterion; explicit embedding
UR - http://eudml.org/doc/207404
ER -

References

top
  1. [1] O. Bolza, On binary sextics with linear transformations into themselves, Amer. J. Math. 10 (1888), 47-70. Zbl19.0488.01
  2. [2] A. Brumer, The rank of J₀(N), Astérisque 228 (1995), 41-68. Zbl0851.11035
  3. [3] J. W. S. Cassels and E. V. Flynn, Prologomena to a Middlebrow Theory of Curves of Genus 2, London Math. Soc. Lecture Note Ser. 230, Cambridge Univ. Press, 1996. 
  4. [4] I. Dolgachev and D. Ortland, Point sets in projective space and theta functions, Astérisque 165 (1988). Zbl0685.14029
  5. [5] G. van der Geer, Hilbert Modular Surfaces, Springer, 1988. Zbl0634.14022
  6. [6] M. R. Gonzalez-Dorrego, (16,6) configurations and geometry of Kummer surfaces in ℙ³, Mem. Amer. Math. Soc. 512 (1994). Zbl0809.14032
  7. [7] P. Griffiths and J. Harris, A Poncelet theorem in space, Comment. Math. Helv. 52 (1977), 145-160. Zbl0358.50009
  8. [8] R. W. H. T. Hudson, Kummer's Quartic Surface, Cambridge Univ. Press, 1905. Zbl36.0709.03
  9. [9] G. Humbert, Sur les fonctions abéliennes singulières, J. Math. Pures Appl. (5) 5 (1899), 233-350. Zbl30.0408.04
  10. [10] J. I. Igusa, Arithmetic variety of moduli of genus two, Ann. of Math. 72 (1960), 612-649. Zbl0122.39002
  11. [11] B. Jakob, Poncelet 5-gons and abelian surfaces, Manuscripta Math. 83 (1994), 183-198. Zbl0812.14023
  12. [12] J. F. Mestre, Familles de courbes hyperelliptiques à multiplications réelles, in: Progr. Math. 89, Birkhäuser, 1991, 193-208. Zbl0754.14020
  13. [13] J. F. Mestre, Construction de courbes de genre 2 à partir de leurs modules, in: Progr. Math. 94, Birkhäuser, 1991, 313-334. Zbl0752.14027
  14. [14] K. Ribet, Abelian varieties over ℚ and modular forms, in: Algebra and Topology 1992 (Taejon), Korea Adv. Inst. Sci. Tech., Taejon, 1992, 53-79. 
  15. [15] N. I. Shepherd-Barron and R. Taylor, Mod 2 and mod 5 icosahedral representations, J. Amer. Math. Soc. 10 (1997), 283-298. Zbl1015.11019
  16. [16] X. Wang, 2-dimensional simple factors of J₀(N), Manuscripta Math. 87 (1995), 179-197. 
  17. [17] J. Wilson, Curves of genus 2 with real multiplication by a square-root of 5, Oxford University D. Phil. thesis, 1998. 

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.