Compter (rapidement) le nombre de solutions d'équations dans les corps finis

Asterisque

Volumn , Issue 317, 2008, Pages 39-90

  Chambert Loir, Antoine ^a  

^a UNIVERSITÉ DE RENNES 1   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 57949101279     PISSN: 03031179     EISSN: None     Source Type: Book Series    
DOI: None     Document Type: Article

References (119)

1. T. G. ABOTT, K. S. KEDLAYA & D. ROE - Bounding Picard numbers of surfaces using p-adic cohomology, in Arithmetic, Geometry, and Coding Theory (AGCT-IO), 2006, arXiv:math.NT/0601508.
2. L. M. ADLEMAN & M.-D. HUANG - Primality testing and abelian varieties over finite fields, Lecture Notes in Mathematics, vol. 1512, Springer, 1992.
3. -, Counting points on curves and abelian varieties over finite fields, J. Symbolic Comput. 32 (2001), p. 171-189.
4. A. O. L. ATKIN - The number of points of an elliptic curve modulo a prime, 1988.
5. -, The number of points of an elliptic curve modulo a prime (II), 1992.
6. E. BACH - Explicit bounds for primality testing and related problems, Math. Comp. 55 (1990), p. 355-380.
7. F. BALDASSARRI & B. CHIARELLOTTO - Algebraic versus rigid cohomology with logarithmic coefficients, in Barsotti Symposium in Algebraic Geometry (Abano Terme, 1991), Perspect. Math., vol. 15, Academic Press, 1994, p. 11-50.
8. P. BERTHELOT - Géométrie rigide et cohomologie des variétés algébriques de caractéristique p, Mém. Soc. Math. France (1986), p. 7-32, Introductions aux cohomologies p-adiques (Luminy, 1984).
9. -, Cohomologie rigide et cohomologie rigide à supports propres. Première partie, Prépublication, IRMAR, Université Rennes 1, 1996.
10. -, Dualité de Poincaré et formule de Kûnneth en cohomologie rigide, C. R. Acad. Sci. Paris Sér. I Math. 325 (1997), p. 493-498.
11. -, Finitude et pureté cohomologique en cohomologie rigide, Invent. Math. 128 (1997), p. 329-377, avec un appendice en anglais par A. J. de Jong.
12. I. F. BLAKE, G. SEROUSSI & N. SMART - Elliptic curves in cryptography, London Mathematical Society Lecture Note Series, vol. 265, Cambridge University Press, 2000, Reprint of the 1999 original.
13. - (éds.) - Advances in elliptic curve cryptography, London Mathematical Society Lecture Note Series, vol. 317, Cambridge University Press, 2005.
14. E. BOMBIERI - On exponential sums in finite fields. II, Invent. Math. 47 (1978), p. 29-39.
15. S. BOSCH - A rigid analytic version of M. Artin's theorem on analytic equations, Math. Ann. 255 (1981), p. 395-404.
16. W. BOSMA, J. CANNON & C. PLAYOUST - The Magma algebra system. I. The user language, J. Symbolic Comput. 24 (1997), p. 235-265, Computational algebra and number theory (London, 1993).
17. J.-B. BOST & J.-F. MESTRE - Moyenne arithmético-géométrique et périodes des courbes de genre 1 et 2, Gaz. Math. (1988), p. 36-64.
18. A. BOSTAN, P. GAUDRY & É. SCHOST - Linear recurrences with polynomial coefficients and application to integer factorization and Cartier-Manin operator, SIAM Journal on Computing 36 (2007), p. 1777-1806.
19. C. BREUIL, B. CONRAD, F. DIAMOND & R. TAYLOR - On the modularity of elliptic curves over Q : wild 3-adic exercises, Amer. J. Math. 14 (2001), p. 843-939.
20. D. G. CANTOR - On the analogue of the division polynomials for hyperelliptic curves, J. reine angew. Math. 447 (1994), p. 91-145.
21. R. CARLS - A generalized arithmetico-geometric mean, Thèse, Rijksuniversiteit Groningen, 2004.
22. -, Canonical coordinates on the canonical lift, The Ramanujan Journal 22 (2007), p. 1-14, arXiv.math/0508007.
23. R. CARLS & D. LUBICZ - A p-adic quasi-quadratic point counting algorithm, 2007, arXiv.math/0706.0234.
24. W. CASTRYCK, J. DENEF & F. VERCAUTEREN - Computing Zeta Functions of Nondegenerate Curves, 2006, arXiv.math.NT/0607308.
25. B. CHIARELLOTTO - Weights in rigid cohomology applications to unipotent F-isocrystals, Ann. Sci. École Norm. Sup. 31 (1998), p. 683-715.
26. B. CHIARELLOTTO & B. LE STUM - A comparison theorem for weights, J. reine angew. Math. 546 (2002), p. 159-176.
27. H. COHEN - A course in computational algebraic number theory, Graduate Texts in Mathematics, vol. 138, Springer, 1993.
28. H. COHEN, G. FREY, R. AVANZI, C. DOCHE, T. LANGE, K. NGUYEN & F. VERCAUTEREN (éds.) - Handbook of elliptic and hyperelliptic curve cryptography, Discrete Mathematics and its Applications (Boca Raton), Chapman & Hall/CRC, Boca Raton, FL, 2006.
29. P. COHEN - On the coefficients of the transformation polynomials for the elliptic modular function, Math. Proc. Cambridge Philos. Soc. 95 (1984), p. 389-402.
30. J.-M. COUVEIGNES - Computing ℓ-isogenies using the p-torsion, in Algorithmic number theory (Talence, 1996), Lecture Notes in Comput. Sci., vol. 1122, Springer, 1996, p. 59-65.
31. P. DELIGNE - Équations différentielles à points singuliers réguliers, Springer, 1970, Lecture Notes in Mathematics, Vol. 163.
32. -, Formes modulaires et représentations ℓ-adiques, in Séminaire Bourbaki 1968/69, Lecture Notes in Math., 1971, Exp. 355, p. 139-172.
33. -, Théorie de Hodge II, Publ. Math. Inst. Hautes Études Sci. 40 (1972), p. 5-57.
34. -, La conjecture de Weil, I, Publ. Math. Inst. Hautes Études Sci 43 (1974), p. 273-307.
35. -, Cohomologie étale (Séminaire de géomé trie algébrique du Bois-Marie - SGA 41/2ecture Notes in Mathematics, vol. 569, Springer, 1977, Avec la collaboration de J.-F. Boutot, A. Grothendieck, L. Illusie et J.-L. Verdier.
36. - La conjecture de Weil, II, Publ. Math. Inst. Hautes Etudes Sc. 52 (1980), p. 137-252.
37. ab, curves using Monsky-Washnitzer cohomology, Finite Fields Appl. 12 (2006), p. 78-102.
38. - An extension of Kedlaya's algorithm to hyperelliptic curves in characteristic 2, J. Cryptology 19 (2006), p. 1-25.
39. M. DEURING - Die Typen der Multiplikatorringe elliptischer Funktionenkörper, Abh. Math. Sem. Hannsischen Univ. 14 (1941), p. 197-272.
40. W. DIFFIE & M. HELLMAN - New directions in cryptography, IEEE Trans. Inform. Theory 22 (1976), p. 644-654.
41. B. DWORK - On the rationality of the zeta function of an algebraic variety, Amer. J. Math. 82 (1960), p. 631-648.
42. B. DWORK & A. OGUS - Canonical liftings of Jacobians, Compositio Math. 58 (1986), p. 111-131.
43. B. EDIXHOVEN - Point counting after Kedlaya, EIDMA-Stieltjes Graduate course, Leiden, September 22-26, 2003, http://www.math.leidenuniv.nl/ ~edix/oww/mathofcrypt/carls-edixhoven/kedlaya.pdf, 2003.
44. B. EDIXHOVEN, J.-M. COUVEIGNES, R. DE JONG, F. MERKL & J. BOSMAN - On the computation of coefficients of a modular form, Tech. report, 2006, arXiv:math.NT/0605244.
45. N. ELKIES - Explicit isogenies, 1991.
46. R. ELKIK - Solutions d'équations à coefficients dans un anneau hensélien, Ann. Sci. École Norm. Sup. 6 (1973), p. 553-603.
47. A. ENGE - Computing modular polynomials in quasi-linear time, Prépublication, http://www.lix.polytechnique.fr/Labo/Andreas.Enge/ vorabdrucke/modcomp.pdf, 2006.
48. A. ENGE, P. GAUDRY & F. MORAIN - A new record for SEA, http://www.lix.polytechnique.fr/~morain/SEA/d2100x.annonce, 2006.
49. M. FOUQUET, P. GAUDRY & R. HARLEY - An extension of Satoh's algorithm and its implementation, J. Ramanujan Math. Soc. 15 (2000), p. 281-318.
50. J. FRESNEL & M. VAN DER PUT - Rigid analytic geometry and its applications, Progress in Mathematics, vol. 218, Birkhäuser, 2004.
51. G. FREY & H.-G. RÜCK - A remark concerning m-divisibility and the discrete logarithm problem in the divisor class group of curves, Math. Comp. 62 (1994), p. 865-874.
52. S. GALBRAITH & A. MENEZES - Algebraic curves and cryptography, Finite Fields Appl. 11 (2005), p. 544-577.
53. P. GAUDRY & N. GÜREL - An extension of Kedlaya's point-counting algorithm to superelliptic curves, in Advances in cryptology-ASIACRYPT 2001 (Gold Coast), Lecture Notes in Comput. Sci., vol. 2248, Springer, 2001, p. 480-494.
54. -, Counting points in medium characteristic using Kedlaya's algorithm, Experiment. Math. 12 (2003), p. 395-402.
55. P. GAUDRY & R. HARLEY - Counting points on hyperelliptic curves over finite fields, in Algorithmic number theory (Leiden, 2000), Lecture Notes in Comput. Sci., vol. 1838, Springer, 2000, p. 313-332.
56. R. GERKMANN - Relative rigid cohomology and point counting in families of elliptic curves, 2005, http://joguinf.informatik.uni-mainz.de/ ~gerkmann/legendre.pdf.
57. S. GOLDWASSER & J. KILIAN - Primality testing using elliptic curves, J. ACM 46 (1999), p. 450-472.
58. A. GROTHENDIECK - On the de Rham cohomology of algebraic varieties, Publ. Math. I.H.É.S. (1966), p. 95-103.
59. -, Cohomologie i-adique et fonctions L, Lecture Notes in Math., Springer, 1972-73, SGA 5.
60. -, Formule de Lefschetz et rationalité des fonctions L, in Séminaire Bourbaki, Vol. 9, Soc. Math. France, 1995, Exp. No. 279, Année 1964-1965, p. 41-55.
61. R. HARLEY - Asymptotically optimal p-adic point-counting, e-mail à la liste NMBRTHRY, décembre 2002.
62. D. HARVEY - Kedlaya's Algorithm in Larger Characteristic, Internat. Math. Res. Notices (2006), à paraître, arXiv:math.NT/0610973.
63. H. HASSE - Beweis des Analogons der Riemannschen Vermutung für die Artinschen und F. K. Schmidtschen Kongruenzzetafunktionen in gewissen elliptischen Fällen. Vorläufige Mitteilung, Nachrichten von der Gesellschaft der Wissenschaften zu Göttingen, Mathematisch- Physikalische Klasse 42 (1933), p. 253-262, http://gdzdoc.sub.uni- goettingen.de/sub/digbib/loader?did=D64289.
64. -, Zur Theorie der abstrakten elliptischen Funktionenkörper III. Die Struktur des Meromorphismenrings. Die Riemannsche Vermutung., J. reine angew. Math. 175 (1936), p. 193-208, http://gdzdoc.sub.uni- goettingen.de/sub/digbib/loader?did=D255900.
65. W. V. D. HODGE & M. F. ATIYAH - Integrals of the second kind on an algebraic variety, Ann. of Math. 62 (1955), p. 56-91.
66. H. HUBRECHTS - Memory efficient hyperelliptic curve point counting, 2006, arXiv:math.NT/0609032.
67. -, Point counting in families of hyperelliptic curves, 2006, arXiv:math.NT/0601438.
68. -, Point counting in families of hyperelliptic curves in characteristic 2, 2006, arXiv:math.NT/0607346.
69. G. C. KATO & S. LUBKIN - Zeta matrices of elliptic curves, J. Number Theory 15 (1982), p. 318-330.
70. N. M. KATZ & W. MESSING - Some consequences of the Riemann hypothesis for varieties over finite fields, Invent. Math. 23 (1974), p. 73-77.
71. K. S. KEDLAYA - Counting points on hyperelliptic curves using Monsky-Washnitzer cohomology, J. Ramanujan Math. Soc. 16 (2001), p. 323-338, Erratum : J. Ramanujan Math. Soc. 18 (2003), no. 4, 417-418.
72. -, Finiteness of rigid cohomology with coefficients, Duke Math. J. 134 (2006), p. 15-97.
73. N. KOBLITZ & A. MENEZES - A survey of public-key cryptosystems, SIAM Rev. 46 (2004), p. 599-634.
74. 0(AT) Heegner point lifting algorithm and elliptic curve point counting, in Advances in cryptology-ASIACRYPT 2003, Lecture Notes in Comput. Sci., vol. 2894, Springer, 2003, p. 124-136.
75. A. G. B. LAUDER - Deformation theory and the computation of zeta functions, Proc. London Math. Soc. 88 (2004), p. 565-602.
76. -, Rigid cohomology and p-adic point counting, J. Théor. Nombres Bordeaux 17 (2005), p. 169-180.
77. -, A recursive method for computing zeta functions of varieties, LMS J. Comp. Math. 9 (2006), p. 222-267, http://www.lms.ac.uk/jcm/9/ lms2006-005.
78. A. G. B. LAUDER & D. WAN - Counting points on varieties over finite fields of small characteristic, in Algorithmic Number Theory : Lattices, Number Fields, Curves and Cryptography (J. Buhler & P. Stevenhagen, éds.), Mathematical Sciences Research Institute Publications, Cambridge University Press, 2007, à paraître, http: //www.maths.ox.ac.uk/.
79. B. LE STUM - A course on rigid cohomology, Cambridge Tracts in Mathematics, Cambridge Univ. Press, 2007, à paraître.
80. n, in Algorithmic number theory (Talence, 1996), Lecture Notes in Comput. Sci., vol. 1122, Springer, 1996, p. 197-212.
81. R. LERCIER & D. LUBICZ - Counting points in elliptic curves over finite fields of small characteristic in quasi quadratic time, in Advances in cryptology-EUROCRYPT 2003, Lecture Notes in Comput. Sci., vol. 2656, Springer, 2003, p. 360-373.
82. -, A Quasi Quadratic Time Algorithm for Hyperelliptic Curve Point Counting, The Ramanujan Journal 12 (2006), p. 399-423, http://medicis.polytechnique.fr/~lercier/file/LL05.pdf.
83. pn using Couveignes's algorithm, Math. Comp. 69 (2000), p. 351-370.
84. J. LUBIN, J-P. SERRE & J. TATE - Elliptic curves and formal groups, 1964, Lecture notes prepared in connection with the seminars held at the Summer institute on Algebraic Geometry, Whitney State, Woods Hole, Massachusetts, http://ma.utexas.edu/users/voloch/lst.html.
85. U. M. MAURER & S. WOLF - The relationship between breaking the Diffie-Hellman protocol and computing discrete logarithms, SIAM J. Comput. 28 (1999), p. 1689-1721.
86. Z. MEBKHOUT - Sur le théorème de finitude de la cohomologie p-adique d'une variété affine non singulière, Amer. J. Math. 119 (1997), p. 1027-1081.
87. W. MESSING - The crystals associated to Barsotti-Tate groups : with applications to abelian schemes, Lecture Notes in Math., Springer, 1976.
88. 2n), Lettre à Harley et Gaudry, décembre 2000, http://www.math.jussieu.fr/~mestre.
89. -, Algorithmes pour compter des points de courbes en petite caractéristique et en petit genre, rédigé par David Lubicz, http://www.math, jussieu.fr/~mestre/rennescrypto.ps, 2002.
90. P. MONSKY & G. WASHNITZER - Formal cohomology I, Ann. of Math. 88 (1968), p. 181-217.
91. F. MORAIN - Calcul du nombre de points sur une courbe elliptique dans un corps fini : aspects algorithmiques, J. Théor. Nombres Bordeaux 7 (1995), p. 255-282, Les Dix-huitièmes Journées Arithmétiques (Bordeaux, 1993).
92. -, La primalité en temps polynomial (d'après Adleman, Huang ; Agrawal, Kayal, Saxena), Astérisque (2004), p. 205-230.
93. V. MÜLLER - Ein Algorithmus zur Bestimmung der Punktanzahl elliptischer Kurven über endlichen Körpern der Charakteristik größer drei, Thèse, University of Saarland, Saarbrücken, 1995.
94. D. MUMFORD - Tata lectures on Theta II, Birkhäuser, 1984.
95. A. MUZEREAU, N. SMART & F. VERCAUTEREN - The equivalence between the DHP and DLP for elliptic curves used in practical applications, LMS J. Comput. Math. 7 (2004), p. 50-72.
96. A. NITAJ - L'algorithme de Cornacchia, Exposition. Math. 13 (1995), p. 358-365.
97. The PARI Group - PARI/GP, version 2.3.1, 2006, http://pari.math.u-bordeaux.fr/.
98. J. PILA - Frobenius maps of abelian varieties and finding roots of unity in finite fields, Math. Comp. 55 (1990), p. 745-763.
99. -, Counting points on curves over families in polynomial time, 1991, arXiv:math.NT/0504570.
100. S. C. POHLIG & M. HELLMAN - An improved algorithm for computing logarithms over GF(p) and its cryptographic significance, IEEE Trans. Information Theory IT-24 (1978), p. 106-110.
101. J. M. POLLARD - Monte Carlo methods for index computation (mod p), Math. Comp. 32 (1978), p. 918-924.
102. M. VAN DER PUT - The cohomology of Monsky and Washnitzer, Mém. Soc. Math. France (N.S.) (1986), p. 4, 33-59, Introductions aux cohomologies p-adiques (Luminy, 1984).
103. C. RITZENTHALER - Point counting on genus 3 non hyperelliptic curves, in Algorithmic number theory, Lecture Notes in Comput. Sci., vol. 3076, Springer, 2004, p. 379-394.
104. T. SATOH - The canonical lift of an ordinary elliptic curve over a finite field and its point counting, J. Ramanujan Math. Soc. 15 (2000), p. 247-270.
105. T. SATOH, B. SKJERNAA & Y. TAGUCHI - Fast computation of canonical lifts of elliptic curves and its application to point counting, Finite Fields Appl. 9 (2003), p. 89-101.
106. R. SCHOOF - Elliptic curves over finite fields and the computation of square roots mod p, Math. Comp. 44 (1985), p. 483-494.
107. -, Counting points on elliptic curves over finite fields, J. Théor. Nombres Bordeaux 7 (1995), p. 219-254, Les Dix-huitièmes Journées Arithmétiques (Bordeaux, 1993).
108. D. SHANKS - Class number, a theory of factorization, and genera, in 1969 Number Theory Institute (Proc. Sympos. Pure Math., Vol. XX, State Univ. New York, Stony Brook, N.Y., 1969), Amer. Math. Soc., 1971, p. 415-440.
109. A. SHIHO - Crystalline fundamental groups. II. Log convergent cohomology and rigid cohomology, J. Math. Sei. Univ. Tokyo 9 (2002), p. 1-163.
110. V. SHOUP - Lower bounds for discrete logarithms and related problems, in Advances in cryptology-EUROCRYPT '97, Lecture Notes in Comput. Sci., vol. 1233, Springer, 1997, p. 256-266.
111. B. SKJERNAA - Satoh's algorithm in characteristic 2, Math. Comp. 72 (2003), p. 477-487.
112. N. TSUZUKI - Bessel F-isocrystals and an algorithm for computing Kloosterman sums, 2003.
113. J. VÉLU - Isogénies entre courbes elliptiques, G. R. Acad. Sci Paris Sér. I Math. 273 (1971), p. 238-241.
114. F. VERCAUTEREN - The SEA algorithm in characteristic 2, http://homes-.esat.kuleuven.be/~fvercaut/papers/SEA.pdf.gz, 2000.
115. -, Computing zeta functions of hyperelliptic curves over finite fields of characteristic 2, in Advances in cryptology-CRYPTO 2002, Lecture Notes in Comput. Sei., vol. 2442, Springer, 2002, p. 369-384.
116. F. VERCAUTEREN, B. PRENEEL & J. VANDEWALLE - A memory efficient version of Satoh's algorithm, in Advances in cryptology-EUROCRYPT 2001 (Innsbruck), Lecture Notes in Comput. Sci., vol. 2045, Springer, 2001, p. 1-13.
117. D. WAN - Algorithmic theory of zeta functions over finite fields, in Algorithmic Number Theory : Lattices, Number Fields, Curves and Cryptography (J. Buhler & P. Stevenhagen, éds.), Mathematical Sciences Research Institute Publications, Cambridge University Press, 2007, à paraître, http://www.maths.ox.ac.uk/.
118. W. C. WATERHOUSE - Abelian varieties over finite fields, Ann. Sci. École Norm. Sup. 2 (1969), p. 521-560, http://www.numdam.org/item?id=ASENS-1969-4 -2-4-521-0.
119. A. WEIL - Variétés abéliennes et courbes algébriques, Actualités Sci. Ind., Hermann & Cie., Paris, 1948.