Embedding of a maximal curve in a Hermitian variety

Abstract

Let X be a projective geometrically irreducible non-singular algebraic curve defined over a finite field F of order $q^2$. If the number of F-rational points of X satisfies the Hasse-Weil upper bound, then X is said to be F-maximal. For a point P_0\in X(F), let πbe the morphism arising from the linear series D:=|(q+1)P_0|, and let N:=dim(D). It is known that N\ge 2 and that πis independent of P_0 whenever X is F-maximal. The following theorems will be proved: Theorem 0.1: If X is F-maximal, then π:X\to π(X) is a F-isomorphism. The non-singular model π(X) has degree q+1 and lies on a Hermitian variety defined over F of P^N(\bar F); Theorem 0.2: If X is F-maximal, then it is F-isomorphic to a curve Y in P^M(\bar F), with 2\le M\le N, such that Y has degree q+1 and lies on a non-degenerate Hermitian variety defined over F of ¶^M(\bar F). Furthermore, Aut_F(X) is isomorphic to a subgroup of the projective unitary group PGU(M+1,q^2); Theorem 0.3: If X is F-birational to a curve Y embedded in P^M(\bar F) such that Y has degree q+1 and lies on a non-degenerate Hermitian variety defined over F of P^M(\bar F), then X is F-maximal and X is F-isomorphic to Y.