zbMATH — the first resource for mathematics

On a characterization of certain maximal curves. (English) Zbl 1046.11045
Let \(X\) denote a maximal curve over the field \({\mathbb F}_{q^2}\), and let \(p\) denote the characteristic of this field. If there exists a rational point \(P\) on \(X\) and a function \(y\in {\mathbb F}_{q^2}(X)\) with \((y)_\infty=mP\), where \(m| (q+1)\), then R. Fuhrmann, F. Torres, and the second author [J. Number Theory 67, 29–51 (1997; Zbl 0914.11036)] showed that \(X\) must be isomorphic to the nonsingular model of \(y^q+y=x^m\). If, instead, \(m| q\) and \(x\in {\mathbb F}_{q^2}(X)\) with \((x)_\infty=mP\), then they conjectured that \(X\) is isomorphic to the curve given by \(P(z)=x^{q+1}\), where \(P(z)\) is an \({\mathbb F}_p\)-linear polynomial of degree \(m\).
The authors prove a weaker result: Under the additional hypothesis that the field \( {\mathbb F}_{q^2}(X)\) is a Galois extension of \( {\mathbb F}_{q^2}(x)\), they show that in this case the curve is isomorphic to a curve given by \(P(z)=A(x)\), where \(P(z)\in {\mathbb F}_{q^2}[z]\) is an additive separable polynomial of degree \(m\) and \(A(x)\in {\mathbb F}_{q^2}[x]\) is a polynomial of degree \(q+1\).
In the particular case \(m=q/p\), they show, without the Galois assumption above, that \(X\) is isomorphic to the nonsingular model of the curve given by \[ \sum_{i=1}^t z^{p^{t-i}}=c\cdot x^{q+1}, \] where \(q=p^t\) and \(c^{q-1}+1=0\). This generalizes a result in characteristic two shown by the first author and F. Torres [Manuscr. Math. 99, 39–53 (1999; Zbl 0931.11022)]. When \(m\) is a proper divisor of \(q\) such that \(m<q/p\), the authors give several examples to demonstrate nonuniqueness.

11G20 Curves over finite and local fields
14G15 Finite ground fields in algebraic geometry
14H25 Arithmetic ground fields for curves
Full Text: DOI
[1] M. Abdón, On maximal curves in characteristic two, Ph.D. Dissertation, Série F-121/2000, IMPA, Rio de Janeiro, Brazil, 2000.
[2] Abdón, M.; Torres, F., On maximal curves in characteristic two, Manuscripta math., 99, 39-53, (1999) · Zbl 0931.11022
[3] M. Abdón, F. Torres, On a \(Fq\^{}\{2\}\)-maximal curve of genus q(q−3)/6, arXiv: math.AG/0109044.
[4] Cossidente, A.; Hirschfeld, J.W.P.; Korchmáros, G.; Torres, F., On plane maximal curves, Compositio math., 121, 163-181, (2000) · Zbl 0958.11048
[5] Cossidente, A.; Korchmáros, G.; Torres, F., Curves with large genus covered by the Hermitian curve, Comm. algebra, 28, 4707-4728, (2000) · Zbl 0974.11031
[6] Fuhrmann, R.; Garcia, A.; Torres, F., On maximal curves, J. number theory, 67, 29-51, (1997) · Zbl 0914.11036
[7] Fuhrmann, R.; Torres, F., The genus of curves over finite fields with many rational points, Manuscripta math., 89, 103-106, (1996) · Zbl 0857.11032
[8] Goppa, V.D., Geometry and codes, Mathematics and its applications, Vol. 24, (1988), Kluwer Academic Publisher Dordrechet-Boston-London · Zbl 1097.14502
[9] Kato, T., On Weierstrass points whose first nongaps are three, J. reine angew. math., 316, 99-109, (1979)
[10] Rück, H.G.; Stichtenoth, H., A characterization of Hermitian function fields over finite fields, J. reine angew. math., 457, 185-188, (1994) · Zbl 0802.11053
[11] Serre, J.P., Local fields, Graduate texts in mathematics, Vol. 67, (1979), Springer New York-Berlin
[12] Stichtenoth, H., Algebraic function fields and codes, (1993), Springer Berlin · Zbl 0816.14011
[13] Stöhr, K.O.; Voloch, J.F., Weierstrass points and curves over finite fields, Proc. London math. soc., 52, 1-19, (1986) · Zbl 0593.14020
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.