The maximum number of points on a curve of genus eight over the field of four elements

DOI10.1016/J.JNT.2020.08.002MaRDI QIDQ2212671zbMATH OpenOpenAlexFDO

Authors Everett W. Howe

Publication date 24 November 2020

Published in Journal of Number Theory (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2004.08007

zbMATH Keywords

curveJacobianpointsWeil polynomial

Mathematics Subject Classification ID

Curves over finite and local fields (11G20) Rational points (14G05) Zeta functions and related questions in algebraic geometry (e.g., Birch-Swinnerton-Dyer conjecture) (14G10) Finite ground fields in algebraic geometry (14G15)

Abstract: The Oesterl'e bound shows that a curve of genus 8 over the finite field $mathbb{F}_4$ can have at most 24 rational points, and Niederreiter and Xing used class field theory to show that there exists such a curve with 21 points. We improve both of these results: We show that a genus-8 curve over $mathbb{F}_4$ can have at most 23 rational points, and we provide an example of such a curve with 22 points, namely the curve defined by the two equations $y^2+(x^3+x+1)y=x^6+x^5+x^4+x^2$ and $z^3=(x+1)y+x^2.$

Review text

Let \(q\) be a power of a prime number, \(g\) be a non-negative integer, and denote by \(N_{q}(g)\) the maximum number of rational points on a curve of genus \(g\) over the finite field \(\mathbb{F}_{q}\). Studying \(N_{q}(g)\) from both its assimptotic behavior and computation of its actual value is a noteworthy, and often challenging, problem. For \(q=4\) and \(g=8\), the Oesterlé bound shows that \[ N_{4}(8)\leqslant 24, \] while \textit{H. Niederreiter} and \textit{C. Xing} proves in [Acta Arith. 79, No. 1, 59--76 (1997; Zbl 0891.11057)] that there exists a curve of genus \(8\) over the finite field \(\mathbb{F}_4\) with \(21\) rational points. In this paper, the author improves the previous upper and lower bounds by showing that \[ 22\leqslant N_{4}(8)\leqslant 23, \] where to prove the lower bound, a genus-\(8\) curve over \(\mathbb{F}_{2}\) with \(22\) points over \(\mathbb{F}_{4}\) is constructed as a degree-\(3\) Kummer extension of a genus-\(2\) curve.

Recommendations

• The Maximum Number of Points on a Curve of Genus 4 over is 25
• New bounds on the maximum number of points on genus-4 curves over small finite fields
• Nombre maximum de points rationnels d'une courbe sur un corps fini
• scientific article; zbMATH DE number 1944662

Cites work

• Cyclotomic function fields, Hilbert class fields, and global function fields with many rational places
• Endomorphisms of Abelian varieties over finite fields
• scientific article; zbMATH DE number 3836211 (Why is no real title available?)
• scientific article; zbMATH DE number 1461540 (Why is no real title available?)
• scientific article; zbMATH DE number 3803619 (Why is no real title available?)
• New methods for bounding the number of points on curves over finite fields
• Number of points of an algebraic curve
• Rational points on curves over finite fields. With contributions by Everett Howe, Joseph Oesterlé and Christophe Ritzenthaler. Edited by Alp Bassa, Elisa Lorenzo García, Christophe Ritzenthaler and René Schoof
• Uniqueness of low genus optimal curves over F₂

Cited in

(3)

• The Maximum Number of Points on a Curve of Genus 4 over is 25
• New bounds on the maximum number of points on genus-4 curves over small finite fields
• Refinements on higher order Weil-Oesterlé bounds via a Serre type argument

Describes a project that uses

Uses Software

• manYPoints

This page was built for publication: The maximum number of points on a curve of genus eight over the field of four elements

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2212671)