Relative Rigid Cohomology and Deformation of Hypersurfaces

The purpose of this article is to present a practical approach to computing zeta functions of smooth projective hypersurfaces over finite fields which is based on relative rigid cohomology. The method presented is a reformulation of a computational idea due to Lauder, which in turn was inspired by a beautiful paper by Dwork. The algorithm of Lauder, though a theoretical breakthrough, does not appear to be of immediate practical use; in particular, the precision-loss estimates appear too coarse to be useful. We derive a practical algorithm by recasting the computational idea in the setting of rigid cohomology and undertaking a delicate analysis of the precision loss, which is essential to improve the run-time behaviour. This also clarifies the relation to earlier point counting methods based on Monsky-Washnitzer cohomology, and shows how the methods can be gainfully combined. We have implemented our algorithm in the programing language Magma and present some examples which we have computed.

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

[2]  B. Dwork,et al.  Effective $p$-adic bounds at regular singular points , 1991 .

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

[4]  P. Griffiths,et al.  Infinitesimal variations of Hodge structure and the global Torelli problem , 2008 .

[5]  Frederik Vercauteren,et al.  Counting points on Cab curves using Monsky-Washnitzer cohomology , 2006, Finite Fields Their Appl..

[6]  Fernando Rodriguez-Villegas,et al.  Calabi-Yau manifolds over finite fields. 1. , 2000, hep-th/0402133.

[7]  N. Tsuzuki.  On base change theorem and coherence in rigid cohomology. , 2003 .

[8]  Paul Monsky,et al.  P-adic analysis and zeta functions , 1970 .

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

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

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

[12]  Bernard Dwork,et al.  On the Rationality of the Zeta Function of an Algebraic Variety , 1960 .

[13]  S. Yau.  Picard-Fuchs equations and mirror maps for hypersurfaces , 1998 .

[14]  Volker Strassen.  Computational Complexity over Finite Fields , 1976, SIAM J. Comput..

[15]  David R. Morrison.  Picard-Fuchs equations and mirror maps for hypersurfaces , 1991 .

[16]  B. Chiarellotto,et al.  Algebraic versis Rigid Cohomology with Logarithmic Coefficients , 1994 .

[17]  Don Coppersmith,et al.  Matrix multiplication via arithmetic progressions , 1987, STOC.

[18]  Joe W. Harris,et al.  Principles of Algebraic Geometry , 1978 .

[19]  Nicholas M. Katz,et al.  On the differentiation of De Rham cohomology classes with respect to parameters , 1968 .

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

[21]  Bernard Dwork,et al.  An introduction to G-functions , 1994 .

[22]  Pierre Berthelot,et al.  Finitude et pureté cohomologique en cohomologie rigide avec un appendice par Aise Johan de Jong , 1997 .

[23]  Nicolas Gürel,et al.  An Extension of Kedlaya's Point-Counting Algorithm to Superelliptic Curves , 2001, ASIACRYPT.

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

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

[26]  Hendrik Hubrechts.  Point counting in families of hyperelliptic curves in characteristic 2 , 2006, math/0607346.

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

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

[29]  Hendrik Hubrechts,et al.  Point Counting in Families of Hyperelliptic Curves , 2006, Found. Comput. Math..