Computational aspects of curves of genus at least 2

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1122, Issue , 1996, Pages 283-306

  Poonen, Bjorn ^a  

^a PRINCETON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; NUMBER THEORY;

COMPUTATIONAL ASPECTS; FINITE FIELDS; JACOBIANS; NUMBER FIELDS; POSSIBLE FUTURES;

COMPUTATION THEORY;

EID: 84958057403     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61581-4_63     Document Type: Conference Paper

References (116)

1. ABRAMOVICH, D., Formal finiteness and the torsion conjecture on elliptic curves. A footnote to a paper: “Rational torsion of prime order in elliptic curves over number fields,” [Astérisque No. 228 (1995), 3, 81-100] by S. Kamienny and B. Mazur, Columbia University Number Theory Seminar (New York, 1992), Astérisque No. 228 (1995), 3, 5-17.
2. ABRAMOVICH, D., Uniformité des points rationnels des courbes algébriques sur les extensions quadratiques et cubiques, C. R. Acad. Sci. Paris Sér. I Math. 321 (1995), no. 6, 755-758.
3. ADLEMAN, L. and HUANG, M.-D., Primality testing and abelian varieties over finite fields, Lecture Notes in Math. 1512, Springer-Verlag, Berlin, 1992.
4. ADLEMAN, L. and HUANG, M.-D., Counting rational points on curves and abelian varieties over finite fields (extended abstract), in this volume.
5. ADLEMAN, L., DEMARRAIS, J. and HUANG, M.-D., A subexponential algorithm for discrete logarithms over the rational subgroup of the Jacobians of large genus hyperelliptic curves over finite fields, Algorithmic number theory (Ithaca, NY, 1994), 28-40, Lecture Notes in Comput. Sci. 877, Springer, Berlin, 1994.
6. BIRCH, B. and KUYK, W. (eds.), Modular functions of one variable IV, Lecture Notes in Math. 476, Springer-Verlag, 1975.
7. BAKER, A. and COATES, J., Integer points on curves of genus 1, Proc. Cambridge Philos. Soc. 67 (1970), 595-602.
8. BERTRAND, L., Computing a hyperelliptic integral using arithmetic in the Jacobian of the curve, Appl. Algebra Engrg. Comm. Comput. 6 (1995), no. 4-5, 275-298.
9. BIRCH, B. and MERRIMAN, J. R., Finiteness theorems for binary forms with given discriminant, Proc. London Math. Soc. (3) 24 (1972), 385-394.
10. BOST, J.-B. and MESTRE, J.-F., Moyenne arithmético-géométrique et périodes des courbes de genre 1 et 2, Gaz. Math., No. 38 (1988), 36-64.
11. BREMNER, A., Some quartic curves with no points in any cubic field, Proc. London Math. Soc. (3) 52 (1986), no. 2, 193-214.
12. BREMNER, A. and JONES, J., On the equation x 4 + mx2y 2 + y4 = z 2, j. Number Theory 50 (1995), no. 2, 286-298.
13. BREMNER, A., LEWIS, D. J., and MORTON, P., Some varieties with points only in a field extension, Arch. Math. (Basel) 43 (1984), no. 4, 344-350.
14. BRUMER, A., The rank of Jo(N), Columbia University Number Theory Seminar (New York, 1992), Astgrisque No. 228 (1995), 3, 41-68.
15. BRUMER, A., Curves with real multiplications, in preparation.
16. CANTOR, D. G., Computing in the Jacobian of a hyperelliptic curve, Math. Comp. 48 (1987), 95-101.
17. CANTOR, D. G., On the analogue of the division polynomials for hyperelliptic curves, J. Reine Angew. Math. 447 (1994), 91-145.
18. CAPORASO, L., HARRIS, J. and MAZUR, B., Uniformity of rational points, to appear in J. Amer. Math. Soc.
19. CAPORASO, L., HARRIS, J. and MAZUR, B., How many rational points can a curve have?, The moduli space of curves (Texel Island, 1994), 13-31, Progr. Math. 129, Birkhäuser, Boston, 1995.
20. CASSELS, J. W. S., The Mordell-Weil group of curves of genus 2., in: M. Artin, J. Tate (eds.), Arithmetic and Geometry I, Birkhäuser, Boston, (1983), 27-60.
21. CASSELS, J. W. S., The arithmetic of certain quartic curves, Proc. Roy. Soc. Edinburgh 100A (1985), 201-218.
22. CASSELS, J. W. S. and FLYNN, E. V., Prolegomena to a middlebrow arithmetic of curves of genus 2, London Math. Soc., Lecture Notes, Cambridge Univ. Press, 1996.
23. CHABAUTY, C., Sur les points rationnels des courbes algébriques de genre supérieur à l’unité, Comptes Rendus Hebdomadaires des Séances de l’Acad, des Sci., Paris 212 (1941), 882-885.
24. CHEVALLEY, C. and WEIL, A., Un théorème d’arithmétiques Bur les courbes algébriques, Comptes Rendus Hebdomadaires des Sdances de l’Acad, des Sci., Paris 195 (1930), 570-572.
25. COATES, J., Construction of rational functions on a curve, Proc. Cambridge Philos. Soc. 68 (1970), 105-123.s
26. COLEMAN, R. F., Effective Chabauty, Duke Math. J. 52 (1985), 765-780.
27. COOMBES, K. R. and GRANT, D. R., On heterogeneous spaces, J. London Math. Soc. (2) 40 (1989), no. 3, 385-397.
28. COUVEIGNES, J.-M., Quelques calcules en théorie des hombres, Thèse, Université de Bordeaux I, 1994.
29. CREMONA, J., Algorithms for modular elliptic curves, Cambridge Univ. Press, 1992.
30. DAVENPORT, J. H., On the integration of algebraic functions, Lecture Notes in Computer Science 102, Springer-Verlag, 1981.
31. DE WEGER, B. M. M., A hyperelliptic Diophantine equation related to imaginary quadratic number fields with class number 2, J. Reine Angew. Math. 427 (1992), 137-156. Correction: J. Reine Angew. Math. 441 (1993), 217-218.
32. Dem’janenko, V., Rational points on a class of algebraic curves, Amer. Math. Soe. Transl. 66 (1968), 246-272.
33. ELKIES, N. D., Heegner point computations, Algorithmic number theory (Ithaca, NY, 1994), 122-133, Lecture Notes in Comput. Sci. 877, Springer, Berlin, 1994.
34. ELKIES, N. D., Remarks on elliptic K-curves, preprint, 1993.
35. EVERTSE, J.-H. AND Györy, g., Effective finiteness results for binary forms with given discriminant, Compositio Math. 79 (1991), no. 2, 169-204.
36. FALTINGS, G., Endlichkeitssätze für abelsche Varietäten über Zahlkörpern, Invent. Math. 73 (1983), 349-366. Erratum: Invent. Math. 75 (1984), 381.
37. FLYNN, E. V., The Jacobian and formal group of a curve of genus 2 over an arbitrary ground field., Math. Proc. Camb. Phil. Soc. 107 (1990), 425 441.
38. FLYNN, E. V., Large rational torsion on abelian varieties, J. Number Theory 36 (1990), 257-265.
39. FLYNN, E. V., Sequences of rational torsions on abelian varieties, Invent. Math. 106 (1991), 433-442.
40. FLYNN, E. V., The group law on the Jacobian of a curve of genus 2., J. Reine Angew. Math. 439 (1993), 45-69.
41. FLYNN, E. V., Descent via isogeny in dimension 2, Acta Arith. 66 (1994), 23-43.
42. FLYNN, E. V., An explicit theory of heights, Trans. Amer. Math. Soc. 347 (1995), 3003-3015.
43. FLYNN, E. V., On a theorem of Coleman, Manuscr. Math. 88 (1995), 447-456.
44. FLYNN, E. V., A flexible method for applying Chabauty’s Theorem, to appear in Compositio Math.
45. FLYNN, E. V., POONEN, B., AND SCHAEFER, E., Cycles of quadratic polynomials and rational points on a genus 2 curve, preprint, 1995.
46. GOPPA, V. D., Geometry and codes, volume 24 of Mathematics and its applications (Soviet series), Kluwer Acad. Publ., 1988.
47. GORDON, D. and GRANT, D., Computing the Mordell-Weil rank of Jacobians of curves of genus two, Trans. Amer. Math. Soc. 337 (1993), 807-824.
48. GRANT, D., Formal groups in genus 2, J. Reine Angew. Math. 411 (1990), 96-121.
49. GRANT, D., A curve for which Coleman’s effective Chabauty bound is sharp, Proc. Amer. Math. Soc. 122 (1994), 317-319.
50. HUANG, M.-D. and IERARDI, D., Efficient algorithms for the effective Riemann- Roch problem and for addition in the Jacobian of a curve, J. Symbolic Comput. 18 (1994), 519-539.
51. HUANG, M.-D. and IERARDI, D., Counting rational points on curves over finite fields, IEEE Symposium on the Foundations of Computer Science, Palo Alto, CA, November 1993.
52. KAMIENNY, S. and MAZUR, B., Rational torsion of prime order in elliptic curves over number fields, Columbia University Number Theory Seminar (New York, 1992), Astdrisque No. 228 (1995), 3, 81-100.
53. KATZ, N., Galois properties of torsion points on abelian varieties, Invent. Math. 62 (1981), no. 3, 481-502.
54. KELLER, W. and KULESZ, L., Courbes algébriques de genre 2 et 3 possedant de nombreux points rationnels, C. R. Acad. Sci. Paris Sér. I Math. 321 (1995), no. 11, 1469-1472.
55. KLASSEN, M. and SCHAEFER, E., Arithmetic and geometry of the curve y3 + 1 = x 4, to appear in Acta Arith.
56. KOBLITZ, N., Hyperelliptic cryptosystems, J. Colptology 1 (1989), no. 3, 139-150.
57. KULESZ, L., Courbes algébriques de genre 2 possedant de nombreux points rationnels, C. R. Acad. Sci. Paris Sér. I Math. 321 (1995), no. 1, 91-94.
58. LASKA, M., Elliptic curves over number fields with prescribed reduction type, Aspects of Mathematics, E4. Friedr. Vieweg & Sohn, Braunschweig; distributed by Heyden & Son, Inc., Philadelphia, Pa., 1983.
59. LEPRÉVOST, F., Famille de courbes de genre 2 munies d’une classe de diviseurs rationnels d’ordre 13, C. R. Acad. Sci. Paris Sdr. I Math. 313 (1991), 451-454.
60. LEPRÉVOST, F., Families de courbes de genre 2 munies d’une classe de diviseurs rationnels d’ordre 15, 17, 19 ou 21, C. R. Acad. Sci. Paris Sér. IMath. 313 (1991), 771-774.
61. LEPRÉVOST, F., Torsion sur des famines de courbes de genre g, Manuscripta Math. 75 (1992), 303-326.
62. LEPRÉVOST, F., Famille de courbes hypereUiptiques de genre g munies d’une classe de diviseurs rationnels d’ordre 2g 2 + 4g + 1, Seminaire de Thdorie des Nombres, 1991-92, 107-119, Progr. Math. 116, Birkhäuser, 1993.
63. LEPRÉVOST, F., Points rationnels de torsion de jacobiennes de certalnes courbes de genre 2, C. R. Acad. Sci. Paris Sér. I Math. 316 (1993), 819-821.
64. LEPRÉVOST, F., Sur une conjecture sur les points de torsion rationnels des jacobiennes de courbes, to appear in J. Reine Angew. Math.
65. LEPRÉVOST, F., Sur certalns sous-groupes de torsion de jacobiennes de courbes hyperelliptiques de genres g ≥ 1, preprint, 1996.
66. LERCIER, R. and MORAIN, F., Counting the number of points on elliptic curves over finite fields: strategies and performances, Advances in cryptology-- EUROCRYPT ‘95 (Saint-Malo, 1995), 79-94, Lecture Notes in Comput. Sci, 921, Springer, Berlin, 1995.
67. LERCIER, R. and MORAIN, F., Counting points on elliptic curves over Fpn using Couveignes’s algorithm, preprint, 1995.
68. LIU, Q., Modèles minimaux des courbes de genre deux, J. Reine Angew. Math. 453 (1994), 137-164.
69. LIU, Q., Conductenr et discriminant minimal de courbes de genre 2, Compositio Math. 94 (1994), no. 1, 51-79.
70. LIU, Q., Modèles entiers d’une courbe hyperelliptique snr un corps de valuation discrete, to appear in Trans. Amer. Math. Soc.
71. MANIN, J., The p-torsion of elliptic curves is uniformly bounded, Isv. Akad. Nauk. SSSR Set. Mat. 33 (1969); Amer. Math. Soc. Transl., 433-438
72. MAZUR, B., Modular curves and the Eisenstein ideal, Inst. Hautes Études Sci. Publ. Math. 47 (1977), 33-186 (1978).
73. MAZUR, B. and TATE, J., Points of order 13 on elliptic curves, Invent. Math. 22 (1973/74), 41-49.
74. MCCALLUM, W., On the Shafarevich-Tate group of the Jacobian of a quotient of the Fermat curve, Invent. Math. 93 (1988), no. 3, 637-666.
75. MCCALLUM, W., On the method of Coleman and Chabauty, Math. Ann. 299 (1994), no. 3, 565-596.
76. MEREL, L., Bornes pour la torsion des courbes elliptiques sur les corps de nombres, Invent. Math. 124 (1996), no. 1-3, 437-449.
77. MERRIMAN, J. R., Binary forms and the reduction of curves, D. Phil. thesis, Oxford Univ., 1970.
78. MERRIMAN, J.R. and SMART, N. P., Curves of genus 2 with good reduction away from 2 with a rational Weierstrass point, Math. Proc. Camb. Phil. Soc. 114 (1993), 203-214. Corrigenda: Math. Proc. Camb. Phil. Soc. 118 (1995), 189.
79. MESTRE, J.-F., Formules explicites et minorations de conducteurs de variétés algébriques, Compositio Math. 58 (1986), no. 2, 209-232.
80. MESTRE, J.-F., Courbes hyperelliptiques à multiplications réelles, Séminaire de Théorie des Nombres, 1987-1988 (Talence, 1987-1988), Exp. No. 34, 6 pp., Univ. Bordeaux I, Talence.
81. MESTRE, J.-F., Courbes hyperelliptiques h multiplications réelles, C. R. Acad. Sci. Paris Sér. I Math. 307 (1988), no. 13, 721-724.
82. MESTRE, J.-F., Construction de courbes de genre 2 a partir de leurs modules, Effective methods in algebraic geometry (Castiglioncello, 1990), 313-334, Progr. Math. 94, Birkhäuser Boston, Boston, MA, 1991.
83. MILNE, J. S., Abelian Varieties, in: Cornell, G., Silverman, J.H. (eds.), Arithmetic geometry, 103-150, Springer-Verlag, New York, 1986.
84. MILNE, J. S., Jacobian Varieties, in: Cornell, G., Silverman, J.H. (eds.), Arithmetic geometry, 167-212, Springer-Verlag, New York, 1986.
85. MORDELL, L. J., On some sextic diophantine equations of genus 2, Proc. Amer. Math. Soc. 21 (1969), 347-350.
86. MUMFORD, D., On the equations defining abelian varieties I, Invent. Math. 1 (1966), 287-354.
87. MUMFORD, D., On the equations defining abelian varieties II, Invent. Math. 3 (1966), 75-135.
88. MUMFORD, D., On the equations defining abelian varieties III, Invent. Math. 3 (1966), 215-244.
89. MURABAYASHI, N., On normal forms of modular curves of genus 2, Osaka J. Math 29 (1992), 405-418.
90. NAMIKAWA, Y. and UENO, K., The complete classification of fibres in pencils of curves of genus two, Manuseripta Math. 9 (1973), 143-186.
91. OGAWA, H., Curves of genus 2 with a rational torsion divisor of order 23, Proc. Japan Acad. Set. A Math. Sci. 70 (1994), 295-298.
92. OGG, A., Abelian curves of 2-power conductor, Math. Proc. Camb. Phil. Soc. 62 (1966), 143-148.
93. OGG, A., On pencils of curves of genus two, Topology 5 (1966), 355-362.
94. OGO, A., Rational points on certain elliptic modular curves, Analytic number theory (Proc. Sympos. Pure Math., Vol XXIV, St. Louis Univ., St. Louis, Mo., I972), pp. 221-231, Amer. Math. Sou., Providence, R.I., 1973
95. OORT, F., Hyperelliptic curves over number fields, in H. Popp (ed.), Classification of algebraic varieties and compact complex manifolds, Springer-Verlag, 1974, 211-218.
96. PACELLI, P., Uniform boundedness for rational points, preprint, 1996.
97. PARSHIN, A. N., Minimal models of curves of genus 2, and homomorphisms of abelian varieties defined over a field of finite characteristic, Math. of USSR. Izvestija 6 (1972), 65-108.
98. PILA, J., Frobenius maps of abelian varieties and finding roots of unity in finite fields, Math. Comp. 55 (1990), no. 192, 745-763.
99. POONEN, B., The classification of rational preperiodic points of quadratic polynomials over ℚ, preprint, 1996.
100. PYLE, E., Abelian varieties over ℚ with large endomorphism algebras and their simple components over ℚ, Ph.D. thesis, Univ. of Calif. at Berkeley, 1995.
101. Rodriguez-Villegas, F., Arithmetic intersection in a Siegel threefold, in preparation.
102. SCHAEFER, E. F., 2-descent on the Jacobians of hyperelliptic curves, J. Number Theory 51 (1995) 219-232.
103. SCHOOF, a., Elliptic curves over finite fields and the computation of square roots rood p, Math. Comp. 44 (1985), no. 170, 483-494.
104. SHAFAREVICH, I., Algebraic number fields, Proc. Internat. Congr. Math., Stockholm 1963, Institute Mittag-Leffier, Djursholm, 1963, 163-176. English translation: Amer. Math. Soc. Transl. (2) 31 (1963), 25-39.
105. SHIMURA, G., On the field of rationality for an abelian, variety, Nagoya Math. J. 45 (1972), 167-178.
106. SILVERMAN, J., Rational points on certain families of curves of genus at least 2, Proc. London Math. Soc. (3) 55 (1987), no. 3, 465-481.
107. SILVERMAN, J., Advanced Topics in the Arithmetic of Elliptic Curves, Springer-Verlag, New York, 1994.
108. SMART, N. P., S-unit equations, binary forms and curves of genus 2, preprint, 1996.
109. STAHLKE, C., Algebraic curves over ℚ with many rational points and minimal automorphism group, preprint, 1996.
110. STOLL, M., Two simple 2-dimensional abelietn varieties defined over ℚ with Mordell-Weil group of rank at least 19, C. R. Acad. Sci. Paris Sdr. I Math. 321 (1995), 1341-1345.
111. TAYLOR, R. and WILES, A., Ring-theoretic properties of certain Hecke algebras, Ann. of Math. (2) 141 (1995), no. 3, 553-572.
112. Top, J., Hecke L. Series related with algebraic cycles or with Siegel modular forms, Ph.D. thesis, Utrecht, 1989.
113. TSFASMAN, M. A. and VLADUT, S. G., Algebraic geometric codes, volume 58 of Mathematics and its applications (Soviet series), Kluwer Acad. Publ., 1991.
114. VOLCHECK, E., Computing in the Jacobian of a plane algebraic curve, Algorithmic number theory (Ithaca, NY, 1994), 221-233, Lecture Notes in Comput. Sci. 877, Springer, Berlin, 1994.
115. VOLCHECK, E., Addition in the Jacobian of a curve over a finite field, preprint, 1995.
116. WILES, A., Modular elliptic curves and Fermat’s last theorem, Ann. of Math. (2) 141 (1995), no. 3, 443-551.