I‑AIMS Institute for Artificial Intelligence
and Mathematical Sciences
/

The arithmetic of genus two curves

Tanush Shaska, Lubjana Beshaj

I-AIMS paper 2010-1 · Published in NATO Sci. Peace Secur. Ser. D Inf. Commun. Secur. 29 (2011), 59–98 · 2011

Genus 2 curves have been an object of much mathematical interest since eighteenth century and continued interest to date. They have become an important tool in many algorithms in cryptographic applications, such as factoring large numbers, hyperelliptic curve cryptography, etc. Choosing genus 2 curves suitable for such applications is an important step of such algorithms. In existing algorithms often such curves are chosen using equations of moduli spaces of curves with decomposable Jacobians or Humbert surfaces. In these lectures we will cover basic properties of genus 2 curves, moduli spaces of (n,n)-decomposable Jacobians and Humbert surfaces, modular polynomials of genus 2, Kummer surfaces, theta-functions and the arithmetic on the Jacobians of genus 2, and their applications to cryptography. The lectures are intended for graduate students in algebra, cryptography, and related areas.

MSC classes: Primary 11G30; Secondary 94A60, 14G50

PDF

References

  1. Ayad, Mohamed; Luca, Florian, Fields generated by roots of x + ax + b. Albanian J. Math. 3 (2009), no. 3, 95–105.
  2. H.F. Baker, Abelian Function, Abel’s theorem and the allied theory of theta functions, (1897).
  3. Banks, William D.; Nevans, C. Wesley; Pomerance, Carl, A remark on Giuga’s conjecture and Lehmer’s totient problem. Albanian J. Math. 3 (2009), no. 2, 81–85.
  4. L. Beshaj, Singular locus of the Shaska’s surface, (submitted)
  5. R. Broker, K. Lauter, Modular polynomials for genus 2. LMS J. Comput. Math. 12 (2009), 326339.
  6. Bernard, Nicolas; Leprevost, Franck; Pohst, Michael, Jacobians of genus-2 curves with a rational point of order 11. Experiment. Math. 18 (2009), no. 1, 6570.
  7. L. Beshaj, The arithmetic of genus two curves, (work in progress).
  8. L. Beshaj, A. Duka, V. Hoxha, T. Shaska Computational tools for genus two curves, (work in progress).
  9. I. Blake, G. Seroussi and N. Smart, Elliptic Curves in Cryptography, LMS, 265, (1999).
  10. C. Birkenhake, H. Wilhelm, Humbert surfaces and the Kummer plane. Trans. Amer. Math. Soc. 355 (2003), no. 5, 1819–1841.
  11. D. J. Bernstein, P. Birkner, T. Lange, and C. Peters, ECM using Edwards curves, Cryptology ePrint Archive, 2008, http://eprint.iacr.org/2008/016.
  12. O. Bolza, On binary sextics with linear transformations into themselves. Amer. J. Math. 10, 47-70.
  13. G. Cardona, J. Quer, Field of moduli and field of definition for curves of genus 2. Computational aspects of algebraic curves, 71–83, Lecture Notes Ser. Comput., 13, World Sci. Publ., Hackensack, NJ, 2005.
  14. C. -L. Chai, P. Norman, Bad reduction of the Siegel moduli scheme of genus two with Γ0(p)-level structure, Amer. J. Math. 122, (1990), 1003-1071.
  15. A. Clebsch, Theorie der Binären Algebraischen Formen, Verlag von B.G. Teubner, Leipzig, 1872.
  16. R. Cosset, Factorization with genus 2 curves. (preprint)
  17. R. Dupont, Moyenne arithmetico-geometrique,suites de Borchardt et applications, J.PhD thesis, Ecole Polytechnique. 1Paris (2006)
  18. A. Duka and T. Shaska Modular polynomials of genus two, preprint
  19. S. Duquesne, Improving the arithmetic of elliptic curve in the Jacobi model, Inform. Process. Lett. 104 (2007), 101–105.
  20. I. Duursma and N. Kiyavash, The Vector Decomposition Problem for Elliptic and Hyperelliptic Curves, (preprint)
  21. Elezi, Artur, Toric fibrations and mirror symmetry. Albanian J. Math. 1 (2007), no. 4, 223–233.
  22. K. Eisentrager, K. Lauter, A CRT algorithm for constructing genus 2 curves over finite fields, to appear in Arithmetic, Geometry and Coding Theory (AGCT-10), 2005.
  23. A. Enge, Computing modular polynomials in quasi-linear time. Math. Comp. 78 (2009), no. 267, 1809–1824.
  24. Elkin, Arsen; Pries, Rachel, Hyperelliptic curves with a-number 1 in small characteristic. Albanian J. Math. 1 (2007), no. 4, 245–252.
  25. J. W. Cassels and V. E. Flynn, Prolegomena to a middlebrow arithmetic of curves of genus 2. (English summary) London Mathematical Society Lecture Note Series, 230. Cambridge University Press, Cambridge, 1996. xiv+219 pp. ISBN: 0-521-48370-0
  26. Gashi, Qndrim R., A vanishing result for toric varieties associated with root systems. Albanian J. Math. 1 (2007), no. 4, 235–244.
  27. P. Gaudry, Fast genus 2 arithmetic based on theta functions, J. Math. Cryptol. 1 (2007), 243–265.
  28. P. Gaudry and E. Schost,Ón the invariants of the quotients of the Jacobian of a curve of genus 2, Applied Algebra, Algebraic Algorithms and Error-Correcting Codes (S. Boztaş and I. Shparlinski, eds.), Lecture Notes in Comput. Sci., vol. 2227, Springer-Verlag, 2001, pp. 373–386.
  29. P. Gaudry, R. Harley, Counting points on hyperelliptic curves over finite fields,Algorithmic Number Theory Symposium IV, Springer Lecture Notes in Computer Sience, vol. 1838, 2000, pp. 313-332.
  30. P. Gaudry, T. Houtman, D. Kohel, C. Ritzenthaler, A. Weng, The 2-adic CM-method for genus 2 curves with applications to cryptography, Asiacrypt, Springer Lecture Notes in Computer Science, vol. 4284, 2006, pp. 114-129
  31. P. Gaudry, E. Schost, Modular equations for hyperelliptic curves, Math, Comp,74 vol. (2005), 429-454.
  32. J. Gutierrez and T. Shaska, Hyperelliptic curves with extra involutions, LMS J. of Comput. Math., 8 (2005), 102-115.
  33. Haran, D.; Jarden, M., Regular lifting of covers over ample fields. Albanian J. Math. 1 (2007), no. 4, 179–185.
  34. R. Hidalgo, Classical Schottky uniformizations of Genus 2. A package for MATHEMAT-ICA. Sci. Ser. A Math. Sci. (N.S.) 15 (2007), 6794.
  35. V. Hoxha and T. Shaska, Factoring large numbers by using genus two curves, (work in progress)
  36. G. Humbert Sur les fonctionnes abliennes singulires. I, II, III. J. Math. Pures Appl. serie 5, t. V, 233–350 (1899); t. VI, 279–386 (1900); t. VII, 97–123 (1901).
  37. J. Igusa, Arithmetic Variety Moduli for genus 2. Ann. of Math. (2), 72, 612-649, 1960.
  38. J. -I. Igusa, On Siegel modular forms of genus two, Amer. J. Math.84 (1962), 175-200.
  39. C. Jacobi, Review of Legendre, Théorie des fonctions elliptiques. Troiseme supplém ent. 1832. J. reine angew. Math. 8, 413-417.
  40. B. Justus, On integers with two prime factors. Albanian J. Math. 3 (2009), no. 4, 189–197.
  41. Joswig, Michael; Sturmfels, Bernd; Yu, Josephine Affine buildings and tropical convexity. Albanian J. Math. 1 (2007), no. 4, 187–211.
  42. Joyner, David; Ksir, Amy; Vogeler, Roger, Group representations on Riemann-Roch spaces of some Hurwitz curves. Albanian J. Math. 1 (2007), no. 2, 67–85 (electronic).
  43. A. Krazer, Lehrbuch der Thetafunctionen, Chelsea, New York, 1970.
  44. V. Krishnamorthy, T. Shaska, H. Völklein, Invariants of binary forms , Developments in Mathematics, Vol. 12, Springer 2005, pg. 101-122.
  45. A. Krazer, Lehrbuch der Thetafunctionen, Chelsea, New York, (1970).
  46. Kopeliovich, Yaacov, Modular equations of order p and theta functions. Albanian J. Math. 1 (2007), no. 4, 271–282.
  47. H. W. Lenstra, Jr., Factoring integers with elliptic curves, Ann. of Math. (2) 126 (1987), 649–673.
  48. Luca, Florian; Shparlinski, Igor E., Pseudoprimes in certain linear recurrences. Albanian J. Math. 1 (2007), no. 3, 125–131 (electronic).
  49. K. Magaard, T. Shaska, H. Völklein, Genus 2 curves with degree 5 elliptic subcovers, Forum. Math., vol. 16, 2, pg. 263-280, 2004.
  50. Magaard, Kay; Völklein, Helmut; Wiesend, Götz, The combinatorics of degenerate covers and an application for general curves of genus 3. Albanian J. Math. 2 (2008), no. 3, 145–158.
  51. K. Magaard, T. Shaska, S. Shpectorov, and H. Völklein, The locus of curves with prescribed automorphism group. Communications in arithmetic fundamental groups (Kyoto, 1999/2001). S¯urikaisekikenky¯usho K¯oky¯uroku No. 1267 (2002), 112–141.
  52. J. -F. Mestre, Construction des curbes de genre 2 a partir de leurs modules, Effective Methods in Algebraic Geometry, Birkhauser, Progress in Mathematics, vol. 94, 1991, pp. 313-334.
  53. D. Mumford, The Red Book of Varieties and Schemes, Springer, 1999.
  54. D. Mumford, Tata lectures on theta. II. Jacobian theta functions and differential equations. With the collaboration of C. Musili, M. Nori, E. Previato, M. Stillman and H. Umemura. Progress in Mathematics, 43. Birkhuser Boston, Inc., Boston, MA, 1984.
  55. D. Mumford, Tata lectures on theta. I. With the assistance of C. Musili, M. Nori, E. Previato and M. Stillman. Progress in Mathematics, 28. Birkhuser Boston, Inc., Boston, MA, 1983. xiii+235 pp.
  56. N. Murabayashi, The moduli space of curves of genus two covering elliptic curves, Manuscripta Math.84 (1994), 125-133.
  57. A.Nakayashiki, On the Thomae formula for ZN curves, Publ. Res. Inst. Math. Sci., vol 33 (1997), no. 6, pg. 987–1015.
  58. Previato, E,; Shaska, T.; Wijesiri, S., Thetanulls of cyclic curves of small genus, Albanian J. Math., vol. 1, Nr. 4, 2007, 265-282.
  59. H.E. Rauch and H.M.Farkas, Theta functions with applications to Riemann surfaces, Williams and Wilkins, Baltimore, 1974.
  60. R. Sanjeewa, Automorphism groups of cyclic curves defined over finite fields of any characteristics. Albanian J. Math. 3 (2009), no. 4, 131–160.
  61. T. Shaska, Curves of genus 2 with (n, n)-decomposable Jacobians, J. Symbolic Comput. 31 (2001), no. 5, 603–617.
  62. T. Shaska, Genus 2 curves with (3,3)-split Jacobian and large automorphism group, Algorithmic Number Theory (Sydney, 2002), 6, 205-218, Lect. Not. in Comp. Sci., 2369, Springer, Berlin, 2002.
  63. T. Shaska, Genus 2 curves with degree 3 elliptic subcovers, Forum. Math., vol. 16, 2, pg. 263-280, 2004.
  64. T. Shaska, Some special families of hyperelliptic curves, J. Algebra Appl., vol 3, No. 1 (2004), 75-89.
  65. T.Shaska, Genus 2 curves covering elliptic curves, a computational approach Lect.Notes in Comp. 13 (2005)
  66. T. Shaska and H. Völklein, Elliptic subfields and automorphisms of genus two fields, Algebra, Arithmetic and Geometry with Applications, pg. 687 - 707, Springer (2004).
  67. T. Shaska and S. Wijesiri, Theta functions and algebraic curves with automorphisms, Algebraic Aspects of Digital Communications, pg. 193-237, NATO Advanced Study Institute, vol. 24, IOS Press, 2009.
  68. H. Shiga, On the representation of the Picard modular function by θ constants. I, II., Publ. Res. Inst. Math. Sci., vol. 24, (1988), no. 3, pg. 311–360.
  69. P. van Wamelen, Equations for the Jacobian of a hyperelliptic curve, Trans. Amer. Math. Soc. 350 (1998), no. 8, 3083–3106.

All preprints