F_p^2-maximal curves with many automorphisms are Galois-covered by the Hermitian curve

DOI10.1515/ADVGEOM-2021-0013MaRDI QIDQ2046809zbMATH OpenOpenAlexFDO

Authors Daniele Bartoli, Maria Montanucci, Fernando Torres

Publication date 19 August 2021

Published in advg (Search for Journal in Brave)

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

finite field Galois covering Hermitian curve maximal curve

Curves over finite and local fields (11G20) Finite ground fields in algebraic geometry (14G15) Arithmetic ground fields for curves (14H25) Coverings of curves, fundamental group (14H30) Automorphisms of curves (14H37)

Abstract: Let

m a t h b b F

be the finite field of order

q^{2}

,

q = p^{h}

with

p

prime. It is commonly atribute to J.P. Serre the fact that any curve

m a t h b b F

-covered by the Hermitian curve

m a t h c a l H_{q + 1} :, y^{q + 1} = x^{q} + x

is also

m a t h b b F

-maximal. Nevertheless, the converse is not true as the Giulietti-Korchm'aros example shows provided that

q > 8

and

h e q u i v 0 p m o d 3

. In this paper, we show that if an

m a t h b b F

-maximal curve

m a t h c a l X

of genus

g g e q 2

where

q = p

is such that

| A u t (m a t h c a l X) | > 84 (g - 1)

then

m a t h c a l X

is Galois-covered by

m a t h c a l H_{p + 1}

. Also, we show that the hypothesis on the order of

A u t (m a t h c a l X)

is sharp, since there exists an

m a t h b b F

-maximal curve

m a t h c a l X

for

q = 71

of genus

g = 7

with

| A u t (m a t h c a l X) | = 84 (7 - 1)

which is not Galois-covered by the Hermitian curve

m a t h c a l H_{72}

.

Review text

Let \({\mathbb{F}} = GF(q^2)\) denote the finite field with \(q^2\) elements. For a divisor \(m\) of \(q+1\), denote by \(H_{m}\) the curve \(y^{m} = x^{q}+x\). In particular, \(H_{q+1}\) denotes the Hermitian curve \(y^{q+1} = x^{q}+x\). It is known, for example, that \(H_{m}\) is Galois-covered by \(H_{q+1}\) over \({\mathbb{F}}\) (see Lemma 2.2 in the paper under review). A (projective, non-singular, geometrically irreducible) curve \(X\) of genus \(g\) over \({\mathbb{F}}\) is called \({\mathbb{F}}\)-maximal if the number of its \({\mathbb{F}}\)-rational points is maximum possible, i.e., it attains the Hasse-Weil bound, \(|X({\mathbb{F}})=q^2+1+2qg\). The main result of the authors deals with the case where \(q=p\) is a prime. Their main result is: Let \(X\) be an \({\mathbb{F}}\)-maximal curve with genus \(g\geq 2\). If \(|Aut(X)|>84(g-1)\) then \(X\) is Galois-covered by the Hermitian curve \(H_{q+1}\) over \({\mathbb{F}}\). The proof is broken into the cases \(p\leq 5\) and \(p>5\). The bound on the size of the automorphism group of \(X\) is sharp. The authors give an example (where \(q=p=71\)) of an \({\mathbb{F}}\)-maximal curve with genus \(g=7\), where \(|Aut(X)|=84(7-1)\), and yet is not Galois-covered by \(H_{72}\). For further details, the reader is referred to the paper. The paper is dedicated to the memory of the last-named author, Fernando Torres, who died of Covid-19 in May 2020 while the paper was in press. May his memory be a blessing.

Recommendations

Cites work

Cited in

(9)

This page was built for publication: \(\mathbb{F}_{p^2}\)-maximal curves with many automorphisms are Galois-covered by the Hermitian curve

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