An improvement of the Hasse-Weil-Serre bound for curves over some finite fields (Q405958): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
The well known Hasse--Weil bound, equivalent to the Riemann Hypothesis, improved by J. P. Serre, establishes that the number \(N(C)\) of rational points on a curve \(C\) of genus \(g\) defined over \({\mathbb F}_q\) satisfies \(|N(C) -q-1|\leq g[2\sqrt{q}]\). Here a curve over \({\mathbb F}_q\) is an absolutely irreducible nonsingular projective algebraic variety of dimension \(1\) over \({\mathbb F}_q\). The \textit{discriminant} \(d({\mathbb F}_q)\) is defined by \(m^2-4q\), where \(m=[2\sqrt{q}]\). A curve \(C\) of genus \(g\) over a finite field \({\mathbb F}_q\) is called a \textit{maximal} (resp. \textit{minimal}) curve if \(N(C)\) attains the upper (resp. lower) Hasse--Weil--Serre bound: \(q+1\pm g[2\sqrt{q}]\). The main object of this paper is the study of maximal and minimal curves of low genera over fields with discriminant \(d({\mathbb F}_q)\in \{-3,-4,-7,-8\}\). It turns out that such curves are ordinary. The main result of this paper is the following: Theorem. If \(C\) is a curve of genus \(g\) over \({\mathbb F}_q\), then \(|N(C)-q-1|\leq g[2\sqrt{q}]-2\) if \(q\) and \(g\) satisfy: \noindent \(\bullet\;d({\mathbb F}_q)=-3, q\neq 3, 3\leq g \leq 10\) (Theorem 3.2); \noindent \(\bullet\;d({\mathbb F}_q)=-4, q\neq 2, 3\leq g \leq 10\) (Theorem 3.4); \noindent \(\bullet\;d({\mathbb F}_q)=-7, 4\leq g \leq 8\) (Theorem 3.7); \noindent \(\bullet\;d({\mathbb F}_q)=-8, \roman{char}({\mathbb F}_q)\neq 3, 3\leq g \leq 7\) (Theorem 3.9). The method employed by the author is the use of the explicit classification of Hermite lattices by \textit{A. Schiemann} [J. Symb. Comput. 26, No. 4, 487--508 (1998; Zbl 0936.68129)]. | |||
Property / review text: The well known Hasse--Weil bound, equivalent to the Riemann Hypothesis, improved by J. P. Serre, establishes that the number \(N(C)\) of rational points on a curve \(C\) of genus \(g\) defined over \({\mathbb F}_q\) satisfies \(|N(C) -q-1|\leq g[2\sqrt{q}]\). Here a curve over \({\mathbb F}_q\) is an absolutely irreducible nonsingular projective algebraic variety of dimension \(1\) over \({\mathbb F}_q\). The \textit{discriminant} \(d({\mathbb F}_q)\) is defined by \(m^2-4q\), where \(m=[2\sqrt{q}]\). A curve \(C\) of genus \(g\) over a finite field \({\mathbb F}_q\) is called a \textit{maximal} (resp. \textit{minimal}) curve if \(N(C)\) attains the upper (resp. lower) Hasse--Weil--Serre bound: \(q+1\pm g[2\sqrt{q}]\). The main object of this paper is the study of maximal and minimal curves of low genera over fields with discriminant \(d({\mathbb F}_q)\in \{-3,-4,-7,-8\}\). It turns out that such curves are ordinary. The main result of this paper is the following: Theorem. If \(C\) is a curve of genus \(g\) over \({\mathbb F}_q\), then \(|N(C)-q-1|\leq g[2\sqrt{q}]-2\) if \(q\) and \(g\) satisfy: \noindent \(\bullet\;d({\mathbb F}_q)=-3, q\neq 3, 3\leq g \leq 10\) (Theorem 3.2); \noindent \(\bullet\;d({\mathbb F}_q)=-4, q\neq 2, 3\leq g \leq 10\) (Theorem 3.4); \noindent \(\bullet\;d({\mathbb F}_q)=-7, 4\leq g \leq 8\) (Theorem 3.7); \noindent \(\bullet\;d({\mathbb F}_q)=-8, \roman{char}({\mathbb F}_q)\neq 3, 3\leq g \leq 7\) (Theorem 3.9). The method employed by the author is the use of the explicit classification of Hermite lattices by \textit{A. Schiemann} [J. Symb. Comput. 26, No. 4, 487--508 (1998; Zbl 0936.68129)]. / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Gabriel Daniel Villa-Salvador / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 14H25 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 11R58 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6340943 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
curves over finite fields | |||
Property / zbMATH Keywords: curves over finite fields / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
the Hasse--Weil--Serre bound | |||
Property / zbMATH Keywords: the Hasse--Weil--Serre bound / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
maximal and minimal curves | |||
Property / zbMATH Keywords: maximal and minimal curves / rank | |||
Normal rank |
Revision as of 18:28, 29 June 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | An improvement of the Hasse-Weil-Serre bound for curves over some finite fields |
scientific article |
Statements
An improvement of the Hasse-Weil-Serre bound for curves over some finite fields (English)
0 references
8 September 2014
0 references
The well known Hasse--Weil bound, equivalent to the Riemann Hypothesis, improved by J. P. Serre, establishes that the number \(N(C)\) of rational points on a curve \(C\) of genus \(g\) defined over \({\mathbb F}_q\) satisfies \(|N(C) -q-1|\leq g[2\sqrt{q}]\). Here a curve over \({\mathbb F}_q\) is an absolutely irreducible nonsingular projective algebraic variety of dimension \(1\) over \({\mathbb F}_q\). The \textit{discriminant} \(d({\mathbb F}_q)\) is defined by \(m^2-4q\), where \(m=[2\sqrt{q}]\). A curve \(C\) of genus \(g\) over a finite field \({\mathbb F}_q\) is called a \textit{maximal} (resp. \textit{minimal}) curve if \(N(C)\) attains the upper (resp. lower) Hasse--Weil--Serre bound: \(q+1\pm g[2\sqrt{q}]\). The main object of this paper is the study of maximal and minimal curves of low genera over fields with discriminant \(d({\mathbb F}_q)\in \{-3,-4,-7,-8\}\). It turns out that such curves are ordinary. The main result of this paper is the following: Theorem. If \(C\) is a curve of genus \(g\) over \({\mathbb F}_q\), then \(|N(C)-q-1|\leq g[2\sqrt{q}]-2\) if \(q\) and \(g\) satisfy: \noindent \(\bullet\;d({\mathbb F}_q)=-3, q\neq 3, 3\leq g \leq 10\) (Theorem 3.2); \noindent \(\bullet\;d({\mathbb F}_q)=-4, q\neq 2, 3\leq g \leq 10\) (Theorem 3.4); \noindent \(\bullet\;d({\mathbb F}_q)=-7, 4\leq g \leq 8\) (Theorem 3.7); \noindent \(\bullet\;d({\mathbb F}_q)=-8, \roman{char}({\mathbb F}_q)\neq 3, 3\leq g \leq 7\) (Theorem 3.9). The method employed by the author is the use of the explicit classification of Hermite lattices by \textit{A. Schiemann} [J. Symb. Comput. 26, No. 4, 487--508 (1998; Zbl 0936.68129)].
0 references
curves over finite fields
0 references
the Hasse--Weil--Serre bound
0 references
maximal and minimal curves
0 references