Computing zeta functions via p-adic cohomology

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

Volumn 3076, Issue , 2004, Pages 1-17

  Kedlaya, Kiran S ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FINITE ELEMENT METHOD; FUNCTIONS; NUMBER THEORY; TOPOLOGY;

ALGEBRAIC VARIETIES; COHOMOLOGY; FINITE FIELDS; MACHINE COMPUTATIONS; ZETA FUNCTION;

COMPUTATION THEORY;

EID: 33646502163     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24847-7_1     Document Type: Article

References (52)

1. L.M. Adleman and M.-D. Huang, Counting rational points on curves and abelian varieties over finite fields, in H. Cohen (ed.), ANTS-II, Lecture Notes in Comp. Sci. 1122, Springer-Verlag, 1996, 1-16.
2. L. Berger, Représentations p-adiques et équations différentielles, Invent. Math. 148 (2002), 219-284.
3. P. Berthelot, Cohomologie cristalline des schémas de caractéristique p > 0, Lecture Notes in Math. 407, Springer-Verlag, 1974.
4. P. Berthelot, Géométrie rigide et cohomologie des variétés algébriques de caractéristique p, in Introductions aux cohomologies p-adiques (Luminy, 1984), Mém. Soc. Math. France 23 (1986), 7-32.
5. P. Berthelot, Finitude et pureté cohomologique en cohomologie rigide (with an appendix in English by A.J. de Jong), Invent. Math. 128 (1997), 329-377.
6. P. Candelas, X. de la Ossa and F. Rodriguez-Villegas, Calabi-Yau manifolds over finite fields, I, preprint (arXiv: hep-th/0012233).
7. R. Coleman and A. Iovita, Revealing hidden structures, preprint (URL http://math.berkeley.edu/∼coleman/).
8. P. Deligne, La conjecture de Weil. I, Publ. Math. IHES 43 (1974), 273-307.
9. J. Denef and F. Vercauteren, An extension of Kedlaya's algorithm to Artin-Schreier curves in characteristic 2, in C. Fieker and D.R. Kohel (eds.), ANTS-V, Lecture Notes in Comp. Sci. 2369, Springer-Verlag, 2002, 308-323.
10. J. Denef and F. Vercauteren, An extension of Kedlaya's algorithm to hyperelliptic curves in characteristic 2, to appear in J. Crypt.
11. αb curves using Monsky-Washnitzer cohomology, preprint (2003).
12. B. Dwork, On the rationality of the zeta function of an algebraic variety, Amer. J. Math. 82 (1960), 631-648.
13. R. Elkik, Solutions d'équations à coefficients dans un anneau hensélien, Ann. Sci. Éc. Norm. Sup. 6 (1973), 553-603.
14. E. Freitag and R. Kiehl, Étale cohomology and the Weil conjectures (translated by B.S. Waterhouse and W.C. Waterhouse), Ergebnisse der Math. 13, Springer-Verlag, 1998.
15. P. Gaudry and 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 Comp. Sci. 2248, Springer-Verlag, 2001, 480-494.
16. P. Gaudry and N. Gürel, Counting points in medium characteristic using Kedlaya's algorithm, preprint (URL http://www.inria.fr/rrrt/rr-4838.html).
17. P. Gaudry and R. Harley, Counting points on hyperelliptic curves over finite fields, in W. Bosma (ed.), ANTS-IV, Lecture Notes in Comp. Sci. 1838, Springer-Verlag, 2000, 313-332.
18. P. Gaudry and É. Schost, Construction of secure random curves of genus 2 over prime fields, to appear in Eurocrypt 2004.
19. R. Gerkmann, The p-adic cohomology of varieties over finite fields and applications to the computation of zeta functions, thesis, Universität Duisberg-Essen, 2003.
20. B.H. Gross, A tameness criterion for Galois representations associated to modular forms (mod p), Duke Math. J. 61 (1990), 445-517.
21. A. Grothendieck On the de Rham cohomology of algebraic varieties, Publ. Math. IHES 29 (1966), 95-103.
22. R. Hartshorne, On the De Rham cohomology of algebraic varieties, Publ. Math. IHES 45 (1975), 5-99.
23. G.C. Kato and S. Lubkin, Zeta matrices of elliptic curves, J. Number Theory 15 (1982), 318-330.
24. K.S. Kedlaya, Counting points on hyperelliptic curves using Monsky-Washnitzer cohomology, J. Ramanujan Math. Soc. 16 (2001), 323-338; errata, ibid. 18 (2003), 417-418.
25. K.S. Kedlaya, Fourier transforms and p-adic "Weil II" preprint (URL http://math.mit.edu/∼kedlaya/papers/).
26. K.S. Kedlaya, Quantum computation of zeta functions of curves, preprint (URL http://math.mit.edu/∼kedlaya/papers/).
27. 0(N) Heegner point lifting algorithm and elliptic curve point counting, in Asiacrypt '03, Lecture Notes in Comp. Sci. 2894, Springer-Verlag, 2003, 124-136.
28. A.G.B. Lauder, Deformation theory and the computation of zeta functions, to appear in Proc. London Math. Soc.
29. A.G.B. Lauder, Counting solutions to equations in many variables over finite fields, to appear in Foundations of Comp. Math.
30. A.G.B. Lauder and D. Wan, Counting points on varieties over finite fields of small characteristic, to appear in J.P. Buhler and P. Stevenhagen (eds.), Algorithmic Number Theory: Lattices, Number Fields, Curves and Cryptography, MSRI Publications, Cambridge Univ. Press.
31. A.G.B. Lauder and D. Wan, Computing zeta functions of Artin-Schreier curves over finite fields, London Math. Soc. J. Comp. Math. 5 (2002), 34-55.
32. A.G.B. Lauder and D. Wan, Computing zeta functions of Artin-Schreier curves over finite fields II, J. Complexity, to appear.
33. R. Lercier and D. Lubicz, email to the NMBRTHRY mailing list, 5 December 2002 (URL http://listserv.nodak.edu/archives/nmbrthry.html).
34. J.-F. Mestre, Algorithmes pour compter des points en petite caractéristique en genre 1 et 2, preprint (URL http://www.math.univ-rennes1.fr/crypto/2001-02/mestre.ps).
35. S. Miura, Error correcting codes based on algebraic curves (in Japanese), thesis, University of Tokyo, 1997.
36. P. Monsky, Formal cohomology. II. The cohomology sequence of a pair, Ann. of Math. (2) 88 (1968), 218-238.
37. P. Monsky, Formal cohomology. III. Fixed point theorems, Ann. of Math. (2) 93 (1971), 315-343.
38. P. Monsky and G. Washnitzer, Formal cohomology. I, Ann. of Math. (2) 88 (1968), 181-217.
39. A. Nijenhuis and H.S. Wilf, Representations of integers by linear forms in nonnegative integers, J. Number Th. 4 (1972), 98-106.
40. J. Pila, Frobenius maps of abelian varieties and finding roots of unity in finite fields, Math. Comp. 55 (1990), 745-763.
41. C. Ritzenthaler, Problèmes arithmétiques relatifs à certaines familles de courbes sur les corps finis, thesis, Université Paris 7, 2003 (URL http://www.math.jussieu.fr/∼ritzenth/).
42. C. Ritzenthaler, Point counting on genus 3 non hyperelliptic curves, preprint (URL http://www.math.jussieu.fr/∼ritzenth/).
43. T. Satoh, The canonical lift of an ordinary elliptic curve over a finite field and its point counting, J. Ramanujan Math. Soc. 15 (2000), 247-270.
44. T. Satoh, On p-adic point counting algorithms for elliptic curves over finite fields, ANTS-V, Lecture Notes in Comp. Sci. 2369, Springer-Verlag, 2002, 43-66.
45. R. Schoof, Elliptic curves over finite fields and the computation of square roots mod p, Math. Comp. 44 (1985), 483-494.
46. J.-P. Serre and J. Tate, Good reduction of abelian varieties, Ann. Math. (2) 88 (1968), 492-517.
47. J. Suzuki, An extension of Kedlaya's order counting based on Miura theory, preprint.
48. N. Tsuzuki, Bessel F-isocrystals and an algorithm of computing Kloosterman sums, preprint.
49. M. van der Put, The cohomology of Monsky and Washnitzer, in Introductions aux cohomologies p-adiques (Luminy, 1984), Mém. Soc. Math. France 23 (1986), 33-59.
50. F. Vercauteren, Extensions of Kedlaya's algorithm, notes from ECC 2002 talk (URL http://www.cs.bris.ac.uk/∼frederik/).
51. F. Vercauteren, Computing zeta functions of curves over finite fields, thesis, Katholieke Universiteit Leuven, 2003 (URL http://www.cs.bris.ac.uk/∼frederik/).
52. U. Walther, Algorithmic determination of the rational cohomology of complex varieties via differential forms, in Symbolic computation: solving equations in algebra, geometry, and engineering (South Hadley, MA, 2000), Contemp. Math. 286, Amer. Math. Soc. (Providence), 2001, 185-206.