Explicit computations of Serre's obstruction for genus 3 curves and application to optimal curves

Let k be a field of characteristic other than 2. There can be an obstruction to a principally polarized abelian threefold ( A , a ) over k , which is a Jacobian over , being a Jacobian over  k ; this can be computed in terms of the rationality of the square root of the value of a certain Siegel modular form. We show how to do this explicitly for principally polarized abelian threefolds which are the third power of an elliptic curve with complex multiplication. We use our numerical results to prove or refute the existence of some optimal curves of genus 3.

[1]  Geometric Methods for Improving the Upper Bounds on the Number of Rational Points on Algebraic Curves over Finite Fields , 2001, math/0104247.

[2]  Alexander Schiemann,et al.  Classification of Hermitian Forms with the Neighbour Method , 1998, J. Symb. Comput..

[3]  D. Hoffmann,et al.  On positive definite hermitian forms , 1991 .

[4]  J. Buhler,et al.  Arithmetic on elliptic curves with complex multiplication. II , 1985 .

[5]  S. Lang,et al.  Abelian varieties over finite fields , 2005 .

[6]  Kenji Ueno,et al.  Principally polarized abelian variaties dimension two or three are Jacobian varieties , 1973 .

[7]  W. Hoyt.  On Products and Algebraic Families of Jacobian Varieties , 1963 .

[8]  Takashi Ichikawa.  Theta Constants and Teichmüller Modular Forms , 1996 .

[9]  Principal polarizations on products of elliptic curves , 2005, math/0508458.

[10]  G. Lachaud,et al.  Jacobians among abelian threefolds: A formula of klein and a question of serre , 2008, 0802.4017.

[11]  M. Deuring.  Die Typen der Multiplikatorenringe elliptischer Funktionenkörper , 1941 .

[12]  S. Popescu,et al.  The geometry of Riemann surfaces and Abelian varieties : III Iberoamerican Congress on Geometry in honor of Professor Sevin Recillas-Pishmish's 60th birthday, June 8-12, 2004, Salamanca, Spain , 2006 .

[13]  G. Faltings,et al.  Degeneration of Abelian varieties , 1990 .

[14]  Jean-Pierre Serre,et al.  The Maximum or Minimum Number of Rational Points on Genus Three Curves over Finite Fields , 2002, Compositio Mathematica.

[15]  T. Ibukiyama.  On rational points of curves of genus $3$ over finite fields , 1993 .

[16]  Jaap Top.  Curves of genus 3 over small finite fields , 2003, math/0301264.

[17]  W. Waterhouse,et al.  Abelian varieties over finite fields , 1969 .

[18]  N. Markin,et al.  Optimal Curves of Genus 3 over Finite Fields with Discriminant -19 , 2009, 0902.1901.

[19]  Enric Nart,et al.  JACOBIANS IN ISOGENY CLASSES OF ABELIAN SURFACES OVER FINITE FIELDS , 2006, math/0607515.

[20]  On some questions of Serre on abelian threefolds , 2008 .

[21]  Silvio Levy,et al.  The Eightfold way : the beauty of Klein's quartic curve , 2002 .

[22]  J. Igusa,et al.  Modular Forms and Projective Invariants , 1967 .

[23]  Enric Nart,et al.  Genus 3 curves with many involutions and application to maximal curves in characteristic 2 , 2009 .

[24]  N. Elkies.  The Klein Quartic in Number Theory , 1999 .

[25]  Herbert Lange,et al.  Complex Abelian Varieties , 1992 .

[26]  Marcel van der Vlugt,et al.  Tables of curves with many points , 2000, Math. Comput..

[27]  Takashi Ichikawa.  TEICHMULLER MODULAR FORMS OF DEGREE 3 , 1995 .

[28]  G. Lachaud,et al.  On a conjecture of Serre on abelian threefolds , 2007, 0710.3303.

[29]  Enric Nart,et al.  Jacobians in isogeny classes of supersingular abelian threefolds in characteristic 2 , 2008, Finite Fields Their Appl..

[30]  Takashi Ichikawa.  Generalized Tate curve and integral Teichmüller modular forms , 2000 .

[31]  Jordi Guàrdia i Rúbies.  On the Torelli problem and Jacobian Nullwerte in genus three , 2011 .

[32]  T. Sekiguchi.  On the fields of rationality for curves and for their jacobian varieties , 1982, Nagoya Mathematical Journal.

[33]  Jordi Guardia.  On the Torelli problem and Jacobian Nullwerte in genus three , 2009 .