Improvements to the Deformation Method for Counting Points on Smooth Projective Hypersurfaces

We present various improvements to the deformation method for computing the zeta function of smooth projective hypersurfaces over finite fields using $$p$$p-adic cohomology. This includes new bounds for the $$p$$p-adic and $$t$$t-adic precisions required to obtain provably correct results and gains in the efficiency of the individual steps of the method. The algorithm that we thus obtain has lower time and space complexities than existing methods. Moreover, our implementation is more practical and can be applied more generally, which we illustrate with examples of generic quintic curves and quartic surfaces.

[1]  P. Berthelot.  Géométrie rigide et cohomologie des variétés algébriques de caractéristique $p$ , 1982 .

[2]  William B. Hart,et al.  FLINT : Fast library for number theory , 2013 .

[3]  Bernard Dwork,et al.  On the zeta function of a hypersurface , 1962 .

[4]  Alan G. B. Lauder.  Deformation Theory and The Computation of Zeta Functions , 2004 .

[5]  K. Kedlaya.  p-adic Differential Equations , 2010 .

[6]  Kiran S. Kedlaya,et al.  Bounding Picard numbers of surfaces using p-adic cohomology , 2006 .

[7]  P. Deligne,et al.  Groupes de monodromie en geometrie algebrique , 1972 .

[8]  Walter Keller-Gehrig,et al.  Fast Algorithms for the Characteristic Polynomial , 1985, Theor. Comput. Sci..

[9]  Nicholas M. Katz,et al.  On the differential equations satisfied by period matrices , 1968 .

[10]  Alan G. B. Lauder,et al.  Counting points on varieties over finite fields of small characteristic , 2006, math/0612147.

[11]  Jean-Yves Étesse,et al.  Fonctions L associées aux F-isocristaux surconvergents. I: Interprétation cohomologique , 1993 .

[12]  P. Deligne.  La conjecture de Weil. I , 1974 .

[13]  Jean-Yves Étesse,et al.  Fonctions L associées aux F-isocristaux surconvergents II: Zéros et pôles unités , 1997 .

[14]  Alan G. B. Lauder.  A Recursive Method for Computing Zeta Functions of Varieties , 2006, math/0602352.

[15]  K. Kedlaya,et al.  Effective convergence bounds for Frobenius structures on connections , 2011, 1111.0136.

[16]  Enrico Bombieri,et al.  On exponential sums in finite fields, II , 1978 .

[17]  Alan G. B. Lauder.  Counting Solutions to Equations in Many Variables over Finite Fields , 2004, Found. Comput. Math..

[18]  Kiran S. Kedlaya.  Search techniques for root-unitary polynomials , 2006 .

[19]  J. Bourgain.  On Exponential Sums in Finite Fields , 2010 .

[20]  Bernard Dwork,et al.  On the Zeta Function of a Hypersurface: III , 1964 .

[21]  Virginia Vassilevska Williams,et al.  Multiplying matrices faster than coppersmith-winograd , 2012, STOC '12.

[22]  B. Mazur.  Frobenius and the Hodge filtration , 1972 .

[23]  K. Kedlaya.  Counting Points on Hyperelliptic Curves using Monsky-Washnitzer Cohomology , 2001, math/0105031.

[24]  Alan G. B. Lauder,et al.  Degenerations and limit Frobenius structures in rigid cohomology , 2009, LMS J. Comput. Math..

[25]  Phillip A. Griffiths,et al.  On the Periods of Certain Rational Integrals: II , 1969 .

[26]  Hendrik Hubrechts,et al.  Fast arithmetic in unramified p-adic fields , 2009, Finite Fields Their Appl..

[27]  K. Kedlaya.  Effective p-adic cohomology for cyclic cubic threefolds , 2008 .

[28]  R. Schoof.  Journal de Theorie des Nombres de Bordeaux 7 (1995), 219{254 , 2022 .

[29]  Richard P. Brent,et al.  The complexity of multiple-precision arithmetic , 2010, ArXiv.