arxiv: v1 [math.ag] 12 Jul 2018

Transcription

1 A note on certain superspecial and maximal curves of genus 5 Momonari Kudo arxiv: v1 [math.ag] 12 Jul 2018 July 13, 2018 Abstract In this note, we characterize certain maximal superspecial curves of genus 5 over finite fields. Specifically, weprovethatthedesingularizationt p ofxyz 3 +x 5 +y 5 = 0isamaximalsuperspecial trigonal curve of genus 5 if and only if p 1 (mod 15) or p 11 (mod 15). Moreover, we give families of maximal curves of more general type, which include T p. Key words Maximal curves, Superspecial curves, Curves of genus 5 1 Introduction By a curve, we mean a projective, geometrically irreducible, non-singular algebraic curve. Let K be a field of positive characteristic p > 0. A curve C of genus g over K is said to be superspecial if its Jacobian variety is isomorphic to the product of supersingular elliptic curves over the algebraic closure K of K. Any superspecial curve is a supersingular curve, which is a curve such that its Jacobian variety is isogenous to the product of supersingular elliptic curves. Furthermore, superspecial curves are closely related to maximal curves and minimal curves, where a curve over F q is called a maximal (resp. minimal) curve if the number of its F q -rational points attains the Hasse-Weil upper (resp. lower) bound q g q (resp. q + 1 2g q). It is known that a superspecial curve over an algebraically closed field in characteristic p descends to a maximal or minimal curve over F p 2. In contrast, any maximal or minimal curve over F p 2 is superspecial. Note that superspecial curves over F p 2 are not necessarily F p 2-maximal. This note studies superspecial curves in order to find F p 2-maximal curves. Finding maximal curves is an active research problem in the study of curves over finite fields, see e.g., [10], [12], [22], [23], [24], [25], and [26]. In particular, Tafazolian and Torres (cf. [22], [23], [24], [25], [26]) characterize maximal curves of various types, e.g., hyperelliptic curves y 2 = x m +x and y 2 = x m +1, Fermat type x m + y n = 1, Hurwitz type x m y a +y n +x b = 0, other types such as y n = x l (x m +1). They use Serre s covering result (cf. [11, Prop. 2.3], [19]): Any curve over F q 2 non-trivially F q 2-covered by a maximal curve over F q 2 is also a maximal curve over F q 2. They prove the maximality of curves by finding subcovers of a maximal curve such as the Hermitian curve. Another problem is the enumeration of superspecial (or maximal) curves. Enumeration means here that we count the number of K-isomorphism classes of superspecial (or maximal) curves of genus g over F q for K = F q or F q. If g 3, some theoretical approaches to enumerate superspecial (or maximal) curves are available, and they are based on Torelli s theorem (cf. [3], [27, Prop. 4.4] Kobe City College of Technology. Institute of Mathematics for Industry, Kyushu University. m-kudo@math.kyushu-u.ac.jp 1

2 for g = 1, [7], [9], [21] for g = 2, and [6], [8] for g = 3). If g 4, however, it is thought that these approaches are not so effective; different from the case of g 3, the dimension of the moduli space of curves of genus g is strictly less than that of the moduli space of principally polarized abelian varieties of dimension g. To deal with the case of g 4, alternative approaches based on both theory of algebraic geometry and computer algebraic methods are proposed in [14], [15], [16], [17] and [18]. In [18], superspecial trigonal curves of genus 5 over F q are completely enumerated for q = 5, 5 2, 7, 7 2, 11 and 13. In particular, there are precisely four F 11 -isomorphism classes of superspecial trigonal curves. Enumerated isomorphism classes are represented by the non-singular models of the singular plane curves xyz 3 +sx 5 +ty 5 = 0 with a singularity [0 : 0 : 1] in P 2 = Proj(F 11 [x,y,z]) for some s F 11 and t F 11. The non-singular model with s = t = 1 is also an F 112-maximal curve, see [18, Remark 5.1.2]. In this note, we investigate the superspeciality of the non-singular model of xyz 3 +sx 5 +ty 5 = 0 with s F q and t F q for arbitrary q. We also investigate the F p 2-maximality of the curve with (s,t) = (1,1) for arbitrary p > 11. Moreover, we consider curves of more general type: the nonsingular model of the homogeneous equation x a +y a +z b x c y c = 0 for natural numbers a, b and c with b+2c = a. Main results of this note are as follows: Theorem 1.1. Let (s,t) be a pair of elements in F q. Put F := xyz3 +sx 5 +ty 5. Let V(F) denote the projective zero-locus in P 2 = Proj(F q [x,y,z]) defined by F = 0. Then the desingularization T p of V(F) is a superspecial trigonal curve of genus 5 if and only if p 2 (mod 3) and p 1,4 (mod 5). We directly prove Theorem 1.1 by computing the Hasse-Witt matrix of T p. Since F p 2-maximal curves are superspecial, the condition p 2 (mod 3) and p 1,4 (mod 5) is necessary for T p to be F p 2-maximal. In fact, the converse is true for (s,t) = (1,1). Theorem 1.2. Let V(F) denote the projective zero-locus in P 2 defined by F = xyz 3 +x 5 +y 5 = 0. Then the desingularization T p of V(F) is an F p 2-maximal trigonal curve of genus 5 if and only if p 1 (mod 15) or p 11 (mod 15). We prove Theorem 1.3 below by constructing explicit equations for subcovers of the Hermitian curve, similarly to methods in [22], [23], [24], [25] and [26]. Theorem 1.3. Let a, b and c be natural numbers with b + 2c = a. Put n := ab/gcd(a,b,c). Let C p,a,b,c be the non-singular model of x a +y a +z b x c y c = 0. Then we have the following: (1) The curve C p,a,b,c is maximal over F p 2 if p 1 (mod n). (2) Suppose that a and b are coprime. Since there exists an integer d such that d 2 (mod a) and d 0 (mod b), and since any two such d are congruent modulo ab, we fix such a d in the interval [0,ab). Then the curve C p,a,b,c is maximal over F p 2 if p d 1 (mod n). Acknowledgments I thank Shushi Harashita for his comments on the preliminary version of this note. I also thank Bradley Brock for sending me his thesis [2]. From his thesis, I learned much about superspecial curves. 2

3 2 Superspeciality of the trigonal curve T p As in the previous section, let K be a perfect field of characteristic p > 2. Let K[x,y,z] denote the polynomial ring of the three variables x, y and z. As an example of a superspecial curve of genus g = 5 incharacteristic 11, wehave thedesingularization of theprojective variety xyz 3 +sx 5 +ty 5 = 0 with (s,t) (K ) 2 in the projective plane P 2 = Proj(K[x,y,z]), see [18, Theorem B]. In this section, we shall prove that the desingularization of the variety xyz 3 +sx 5 +ty 5 = 0 over K is (resp. not) a superspecial curve of genus 5 if p 2 (mod 3) and p 1 (mod 5) or if p 2 (mod 3) andp 4 (mod 5) (resp.otherwise). Throughoutthissection, wesetf := xyz 3 +sx 5 +ty 5. Let T p denote the non-singular model of the projective variety V(F) in P 2 defined by F = Singularity of V(F) First, we prove that the variety V(F) has a unique singular point if p > 5. Lemma If p > 5 (resp. p = 5), then the variety V(F) has a unique singular point [0 : 0 : 1] (resp. at least two singular points). Proof. Let J(F) denote the set of all the elements of the Jacobian matrix ) = ( yz 3 +5sx 4 xz 3 +5ty 4 3xyz 2 ). ( F x F y F z Namely, the set J(F) consists of the following 3 elements: f 1 = yz 3 +5sx 4, f 2 = xz 3 + 5ty 4 and f 3 := 3xyz 2. Assume p > 5. It suffices to show that x and y belong to the radical of the ideal generated by F and J(F). By straightforward computations, we have F xf yf xf 1 = 3sx 5 F yf xf yf 2 = 3ty 5 which belong to the ideal F,J(F) in K[x,y,z]. Thus, x and y belong to its radical. If p = 5, then the point [s 1/5 : t 1/5 : 0] on V(F) is a singular point over the algebraic closure F 5 for each (s,t) K 2 {(0,0)}. 2.2 Irreducibility of F In this subsection, we show that the variety V(F) with F = xyz 3 + sx 5 + ty 5 is irreducible for s and t K, equivalently the quintic form F is irreducible over the algebraic closure K. Lemma The quintic form F = xyz 3 + sx 5 + ty 5 is irreducible for s and t K over the algebraic closure. Proof. It suffices to prove that s 1 F = x 5 +s 1 ty 5 +s 1 xyz 3, which is monic with respect to x, is irreducible over K. If s 1 F is reducible, we have either of the following two cases: (1) s 1 F = g 1 g 4 forsome linear formg 1 and somequartic form g 4 in K[x,y,z], or (2) s 1 F = g 2 g 3 for some quadratic form g 2 and some cubic form g 3 in K[x,y,z]. (1) We may assume that the coefficient of x (resp. x 4 ) in g 1 (resp. g 4 ) is 1. Writing g 1 = x+a 1 y +a 2 z, and g 4 = x 4 +a 3 x 3 y +a 4 x 3 z +a 5 x 2 y 2 +a 6 x 2 yz +a 7 x 2 z 2 +a 8 xy 3 +a 9 xy 2 z +a 10 xyz 2 +a 11 xz 3 +a 12 y 4 +a 13 y 3 z +a 14 y 2 z 2 +a 15 yz 3 +a 16 z 4 3

4 for a i K with 1 i 16, we have g 1 g 4 = x 5 +(a 1 +a 3 )x 4 y +(a 2 +a 4 )x 4 z +(a 1 a 3 +a 5 )x 3 y 3 +(a 2 a 3 +a 1 a 4 a 6 )x 3 yz +(a 2 a 4 +a 7 )x 3 z 2 +(a 1 a 5 +a 8 )x 2 y 3 +(a 2 a 5 +a 1 a 6 +a 9 )x 2 y 2 z +(a 2 a 6 +a 1 a 7 +a 1 0)x 2 yz 2 +(a 2 a 7 +a 11 )x 2 z 3 +(a 1 a 8 +a 12 )xy 4 +(a 2 a 8 +a 1 a 9 +a 13 )xy 3 z +(a 2 a 9 +a 1 a 10 +a 14 )xy 2 z 2 +(a 2 a 10 +a 1 a 11 +a 15 )xyz 3 +(a 2 a 11 +a 16 )xz 4 +a 1 a 12 y 5 +(a 2 a 12 +a 1 a 13 )y 4 z +(a 2 a 13 +a 1 a 14 )y 3 z 2 +(a 2 a 14 +a 1 a 15 )y 2 z 3 +(a 2 a 15 +a 1 a 16 )yz 4 +a 2 a 16 z 5. Note that a 1 0 and a 12 0 since the coefficient a 1 a 12 of y 5 is s 1 t. Since the coefficient of z 5 in F is zero, we have a 2 a 16 = 0 and thus a 2 = 0 or a 16 = 0. Assume a 2 = 0. In this case, we have a 1 a i = 0 and hence a i = 0 for 13 i 16 since the coefficients of yz 4, y 2 z 3, y 3 z 2 and y 4 z arezero. Thecoefficients ofy 5 andxyz 3 area 1 a 12 = s 1 tanda 2 a 10 +a 1 a 11 +a 15 = a 1 a 11 = s 1 respectively, and thus ta 11 = a 12 by a 1 0. The coefficient of x 2 z 3 is a 2 a 7 + a 11 = a 11 is zero, which contradicts ta 11 = a Assume a 2 0 and a 16 = 0. Since the coefficients of yz 4, y 2 z 3, y 3 z 2 and y 4 z are zero, one has a i = 0 for 12 i 15. The condition a 12 = 0 is a contradiction. (2) Writing g 2 = x 2 +b 1 xy +b 2 xz +b 3 y 2 +b 4 yz +b 5 z 2, and g 3 = x 3 +b 6 x 2 y +b 7 x 2 z +b 8 xy 2 +b 9 xyz +b 10 xz 2 +b 11 y 3 +b 12 y 2 z +b 13 yz 2 +b 14 z 3 for b i K with 1 i 14, we have g 2 g 3 = x 5 +(b 1 +b 6 )x 4 y +(b 2 +b 7 )x 4 z +(b 1 b 6 +b 3 +b 8 )x 3 y 2 +(b 2 b 6 +b 1 b 7 +b 4 +b 9 )x 3 yz +(b 2 b 7 +b 5 +b 10 )x 3 z 2 +(b 3 b 6 +b 1 b 8 +b 11 )x 2 y 3 +(b 4 b 6 +b 3 b 7 +b 2 b 8 +b 1 b 9 +b 12 )x 2 y 2 z +(b 5 b 6 +b 4 b 7 +b 2 b 9 +b 1 b 10 +b 13 )x 2 yz 2 +(b 5 b 7 +b 2 b 10 +b 14 )x 2 z 3 +(b 3 b 8 +b 1 b 11 )xy 4 +(b 4 b 8 +b 3 b 9 +b 2 b 11 +b 1 b 12 )xy 3 z +(b 5 b 8 +b 4 b 9 +b 3 b 10 +b 2 b 12 +b 1 b 13 )xy 2 z 2 +(b 5 b 9 +b 4 b 10 +b 2 b 13 +b 1 b 14 )xyz 3 +(b 5 b 10 +b 2 b 14 )xz 4 +b 3 b 11 y 5 +(b 4 b 11 +b 3 b 12 )y 4 z +(b 5 b 11 +b 4 b 12 +b 3 b 13 )y 3 z 2 +(b 5 b 12 +b 4 b 13 +b 3 b 14 )y 2 z 3 +(b 5 b 13 +b 4 b 14 )yz 4 +b 5 b 14 z 5. Note that b 3 0 and b 11 0 since the coefficient b 3 b 11 of y 5 is s 1 t. Since the coefficient of z 5 in F is zero, we have b 5 b 14 = 0 and thus b 5 = 0 or b 14 = 0. Assume b 5 0 and b 14 = 0. Since the coefficients of yz 4, y 2 z 3 and y 3 z 2 are zero, we have b 13 = b 12 = b 11 = 0, which contradicts b Assume b 5 = 0 and b Since the coefficients of yz 4, y 2 z 3 and y 3 z 2 are zero, we have b 4 = b 3 = 0, which contradicts b 3 0. Assume b 5 = b 14 = 0. Since the coefficient of y 2 z 3 is zero, we have b 4 b 13 = 0. If b 4 = 0, then we have b 13 = 0 since the coefficient of y 3 z 2 is b 5 b 11 +b 4 b 12 +b 3 b 13 = b 3 b 13 and since b 3 0. Now we have b 4 = b 5 = b 13 = b 14 = 0, which contradicts that the coefficient of xyz 3 is not zero. If b 13 = 0 and b 4 0, then we have b 12 = 0 since the coefficient of y 3 z 2 is b 5 b 11 +b 4 b 12 +b 3 b 13 = b 4 b 12 and since b 4 0. Since the coefficient b 4 b 11 +b 3 b 12 = b 4 b 11 of y 4 z is zero, we have b 11 = 0, which is a contradiction for b

5 2.3 Superspeciality of T p In the following, we suppose p > 5. It is shown in [18] that we can decide whether the desingularization T p of V(F) is superspecial or not by computing the coefficients of certain monomials in (F) p 1, where F = xyz 3 +sx 5 +ty 5. Proposition ([18], Corollary3.1.6). With notation as above, the desingularization T p of V(F) is superspecial if and only if the coefficients of all the following 25 monomials of degree 5(p 1) in (F) p 1 are zero: (x 3 yz) p 1, x 3p 1 y p 3 z p 1, x 3p 2 y p 2 z p 1, x 3p 2 y p 1 z p 2, x 3p 1 y p 2 z p 2, x p 3 y 3p 1 z p 1, (xy 3 z) p 1, x p 2 y 3p 2 z p 1, x p 2 y 3p 1 z p 2, x p 1 y 3p 2 z p 2, x 2p 3 y 2p 1 z p 1, x 2p 1 y 2p 3 z p 1, (x 2 y 2 z) p 1, x 2p 2 y 2p 1 z p 2, x 2p 1 y 2p 2 z p 2, x 2p 3 y p 1 z 2p 1, x 2p 1 y p 3 z 2p 1, x 2p 2 y p 2 z 2p 1, (x 2 yz 2 ) p 1, x 2p 1 y p 2 z 2p 2, x p 3 y 2p 1 z 2p 1, x p 1 y 2p 3 z 2p 1, x p 2 y 2p 2 z 2p 1, x p 2 y 2p 1 z 2p 2, (xy 2 z 2 ) p 1. To prove Theorem 1.1 stated in Section 1 (and in Section 2.3.3), we compute the 25 coefficients given in Proposition We have ( ) p 1 (F) p 1 = (xyz 3 ) a (sx 5 ) b (ty 5 ) c a,b,c a+b+c=p 1 ( ) p 1 = (x a y a z 3a )(s b x 5b )(t c y 5c ) a,b,c a+b+c=p 1 ( ) p 1 = s b t c x a+5b y a+5c z 3a (2.1) a,b,c a+b+c=p 1 by the multinomial theorem. To express (F) p 1 as a sum of the form (F) p 1 = c i,j,k x i y j z k, (i,j,k) (Z 0) 3 we consider the linear system and put a+b+c = p 1, a+5b = i, a+5c = j, 3a = k, (2.2) S(i,j,k) := {(a,b,c) [0,p 1] 3 : (a,b,c) satisfies (2.2)} (2.3) for each (i,j,k) (Z 0 ) 3. Using the notation S(i,j,k), we have ( ) (F) p 1 = p 1 s b t c x i y j z k. (2.4) a,b,c (i,j,k) (Z 0) 3 (a,b,c) S(i,j,k) 5

6 2.3.1 Case of p 2 (mod 3) We first consider the case of p 2 (mod 3). Lemma With notation as above, if p 2 (mod 3), the coefficients of the monomials x i y j z p 1 and x i y j z 2p 2 in (F) p 1 are zero for all (i,j) (Z 0 ) 2. Proof. Recall from (2.1) that the z-exponent of each monomial in (F) p 1 is 3a, which is divided by 3. On the other hand, the z-exponents of the monomials x i y j z p 1 and x i y j z 2p 2 are p 1 and 2p 2, which are congruent to 1 and 2 modulo 3 respectively. Thus their coefficients in (F) p 1 are all zero. Let M be the set of the 25 monomials given in Proposition 2.3.1, and set E(M) := {(i,j,k) (Z 0 ) 3 : x i y j z k = m for some m M}, which is the set of the exponent vectors of the monomials in M. Lemma Assume p 2 (mod 3). If p 1 (mod 5) or p 4 (mod 5), then we have S(i,j,k) = for any (i,j,k) E(M). Proof. Note that for each (i,j,k) E(M), we have i + j + k = 5(p 1), see Proposition Using matrices, we write the system (2.2) as a b c = p 1 i j k whose extended coefficient matrix is transformed as follows: p i j k, (2.5) p j +(p 1) i+4j 5(p 1) Considering modulo 5, we have the following linear system over F 5 : a p b = j +(p 1) c i j. (2.6) 0 Note that the system (2.6) over F 5 has a solution if and only if i j 0 (mod 5). Assume p 2 (mod 3). We claim that if p 1 (mod 5) or if p 4 (mod 5), the original system (2.5) over Z has no solution in [0,p 1] 3 for any (i,j,k) E(M). Indeed, if p 1 (mod 5) or p 4 (mod 5), and if the system (2.5) has a solution in [0,p 1] 3 for some (i,j,k) E(M), the system (2.6) has a solution. Since p 2 (mod 3), it follows from Lemma that k p 1 and k 2p 2, i.e., k = 2p 1 or k = p 2. Thus we may assume that (i,j,k) is either of the following: (3p 2,p 1,p 2), (3p 1,p 2,p 2), (p 2,3p 1,p 2), (p 1,3p 2,p 2), 6

7 (2p 2,2p 1,p 2), (2p 1,2p 2,p 2), (2p 3,p 1,2p 1), (2p 1,p 3,2p 1), (2p 2,p 2,2p 1), (p 3,2p 1,2p 1), (p 1,2p 3,2p 1), (p 2,2p 2,2p 1). The value i j takes 2p 1, 2p+1, 2p 1, 2p+1, 1, 1, p 2, p+2, p, p 2 or p+2, p, each of which is not congruent to 0 modulo 5 if p 1 (mod 5) or if p 4 (mod 5). This is a contradiction. Proposition Assume p 2 (mod 3). If p 1 (mod 5) or p 4 (mod 5), then the desingularization T p of V(F) is superspecial. Proof. It follows from Lemma that the coefficient of x i y j z k in (2.4) is zero for each (i,j,k) E(M). By Proposition 2.3.1, the desingularization of V(F) is superspecial. It follows from the proof of Lemma that (2.2) is equivalent to the following system: a+b+c = p 1, b 4c = j +(p 1), 15c = i+4j 5(p 1). (2.7) Different from the case where p 1 (mod 5) or p 4 (mod 5), the desingularization of V(F) is not superspecial if p 3 (mod 5). Lemma Assume p 2 (mod 3). If p 3 (mod 5), then we have #S(3p 2,p 1,p 2) = 1. In other words, the system (2.7) with (i,j,k) = (3p 2,p 1,p 2) has a uniquesolution in [0,p 1] 3. The solution is given by ( a, b, c ) = ( (p 2)/3, 4(2p 1)/15, (2p 1)/15 ). (2.8) Note that (p 2)/3, 4(2p 1)/15 and (2p 1)/15 are less than p 1. Proof. The system to be solved with (i,j,k) = (3p 2,p 1,p 2) is given by a+b+c = p 1, (2.9) b 4c = 0, (2.10) 15c = 2p 1 (2.11) with(a,b,c) [0,p 1] 3. Note that 2p (mod 3) and2p (mod 5), and thus 2p 1 is divided by 15. We have c = (2p 1)/15 by (2.11) and b = 4c = 4(2p 1)/15 by (2.10). Since b+c = (2p 1)/3, it follows from (2.9) that a = (p 2)/3. Lemma Assume p 2 (mod 3). If p 3 (mod 3), then the coefficient of the monomial x 3p 2 y p 1 z p 2 in (F) p 1 is not zero. Proof. Let c 3p 2,p 1,p 2 be the coefficient of x 3p 2 y p 1 z p 2 in (F) p 1. Recall from (2.4) that c 3p 2,p 1,p 2 is given by ( ) p 1 s b t c, a,b,c (a,b,c) S(3p 2,p 1,p 2) 7

8 where S(3p 2,p 1,p 2) is defined in (2.3). By Lemma 2.3.5, the set S(3p 2,p 1,p 2) consists of only the element given by (2.8), and hence c 3p 2,p 1,p 2 = (p 1)! ( ) ( ) ( ), p 2 4(2p 1) 2p 1!!! which is not divisible by p. Proposition Assume p 2 (mod 3). If p 3 (mod 5), then the desingularization T p of V(F) is not superspecial. Proof. It follows from Lemma that the coefficient of x 3p 2 y p 1 z p 2 in (F) p 1 is not zero. By Proposition 2.3.1, the desingularization of V(F) is not superspecial Case of p 1 (mod 3) Next, we consider the case of p 1 (mod 3). Lemma Assume p 1 (mod 3). Then we have #S(2p 2,2p 2,p 1) = 1. In other words, the system (2.7) with (i,j,k) = (2p 2,2p 2,p 1) has a unique solution in [0,p 1] 3. The solution is given by ( a, b, c ) = ( (p 1)/3, (p 1)/3, (p 1)/3 ). (2.12) Proof. The system to be solved with (i,j,k) = (2p 2,2p 2,p 1) is given by a+b+c = p 1, (2.13) b 4c = (p 1), (2.14) 15c = 5(p 1) (2.15) with (a,b,c) [0,p 1] 3. Since p 1 is divided by 3 from our assumption, it follows from (2.15) that c = (p 1)/3. By (2.14) and (2.13), we have a = b = (p 1)/3. Lemma Assume p 1 (mod 3). Then the coefficient of the monomial x 2p 2 y 2p 2 z p 1 in (F) p 1 is not zero. Proof. Let c 2p 2,2p 2,p 1 be the coefficient of x 2p 2 y 2p 2 z p 1 in (F) p 1. Recall from (2.4) that c 2p 2,2p 2,p 1 is given by ( ) p 1 s b t c, a,b,c (a,b,c) S(2p 2,2p 2,p 1) where S(2p 2,2p 2,p 1) is defined in (2.3). By Lemma 2.3.8, the set S(2p 2,2p 2,p 1) consists of only the element given by (2.12), and hence c 2p 2,2p 2,p 1 = (p 1)! ( ) ( ) ( ), p 1 p 1 p 1!!! which is not divisible by p. 8

9 Proposition Assume p 1 (mod 3). Then the desingularization T p of V(F) is not superspecial. Proof. It follows from Lemma that the coefficient of x 2p 2 y 2p 2 z p 1 in (F) p 1 is not zero. By Proposition 2.3.1, the desingularization T p of V(F) is not superspecial Proofs of the superspeciality of T p Theorem 1.1. Let (s,t) be a pair of elements in F q. Put F := xyz3 +sx 5 +ty 5. Let V(F) denote the projective zero-locus in P 2 = Proj(K[x,y,z]) defined by F = 0. Then the desingularization T p of V(F) is a superspecial trigonal curve of genus 5 if and only if p 2 (mod 3) and p 1,4 (mod 5). Proof. Since F is an irreducible quintic form over K, the desingularization T p of V(F) is a trigonal curve of genus 5 over K, see [18, Section 2]. The assertion follows from Propositions 2.3.4, and Corollary There exist superspecial trigonal curves of genus 5 in characteristic p for infinitely many primes p. The set of primes p for which T p is superspecial has natural density 1/4. Proof. Note that p 2 (mod 3) and p 1 (mod 5) (resp. p 2 (mod 3) and p 4 (mod 5)) is equivalent to p 11 (mod 15) (resp. p 14 (mod 15)). Since both 11 and 14 are coprime to 15, it follows from Dirichlet s Theorem that there are infinitely many primes congruent to 11 or 14 modulo 15. Thus, the first claim follows from Theorem 1.1. The second claim is deduced from the fact that the natural density of primes equal to 11 or 14 modulo 15 is where ϕ is Euler s totient function. 1 ϕ(15) + 1 ϕ(15) = = 1 4, Problem Does there exist a superspecial trigonal curve of genus 5 in characteristic p for each of the following case? (1) p 1 (mod 3). Cf. the non-existence for p = 7 (and 13 over F 13 ) is already shown in [18]. (2) p 2 (mod 3) and p 3 (mod 5). 2.4 Application: Finding maximal curves over K = F p 2 for large p In the following, we set K := F p 2. It is known that any maximal or minimal curve over F p 2 is supersepcial. Conversely, any superspecial curve over an algebraically closed field descends to a maximal or minimal curve over F p 2, see the proof of [16, Proposition 2.2.1]. Under the condition given in Theorem 1.1, we computed the number of F p 2-rational points on T p with s = t = 1 for 7 p 1000 using a computer algebra system Magma [1]. Table 1 shows our computational results for 7 p 179. We see from Table 1 that any superspecial T p is maximal over F p 2 for 7 p 179 (also for 180 p 1000, but omit to write them in the table). From our computational results, let us give a conjecture on the existence of F p 2-maximal (trigonal) curves of genus 5. For any p with p 2 (mod 3) and p 1,4 (mod 5), the desingularization T p of V(F) over F p 2 is maximal. In the next subsection we prove this conjecture (in fact, the condition p 2 (mod 3) and p 1,4 (mod 5) is a necessary and sufficient condition for the maximality of T p ). 9

10 Table 1: The number of F p 2-rational points on the desingularization T p of V(F) for 7 p 100 with p 2 (mod 3), where F = xyz 3 +x 5 +y 5. We denote by #T p (F p 2) the number of F p 2-rational points on T p for each p. p p mod 5 S.sp. or not #T p (F p 2) p p mod 5 S.sp. or not #T p (F p 2) 11 1 S.sp. 232 (Max.) 89 4 S.sp (Max.) 29 4 S.sp (Max.) S.sp (Max.) 41 1 S.sp (Max.) S.sp (Max.) 59 4 S.sp (Max.) S.sp (Max.) 71 1 S.sp (Max.) S.sp (Max.) 3 Main results Let T p denote the non-singular model of x 5 + y 5 +xyz 3 = 0. In this section, we prove that T p is F p 2-maximal if and only if p 2 (mod 3) and p 1,4 (mod 5). Furthermore, we give a family of F p 2-maximal curves defined by equations of a more general form. 3.1 Maximality of T p : x 5 +y 5 +xyz 3 = 0 Theorem 1.2. Let V(F) denote the projective zero-locus in P 2 defined by F = xyz 3 +x 5 +y 5 = 0. Then the desingularization T p of V(F) is an F p 2-maximal trigonal curve of genus 5 if and only if p 1 (mod 15) or p 11 (mod 15). Proof. First, we suppose that T p is F p 2-maximal. Since an F p 2-maximal curve is superspecial, the curve T p is superspecial. By Theorem 1.1, we have p 1 (mod 15) or p 11 (mod 15). Conversely, assume p 1 (mod 15) or p 11 (mod 15). It suffices to show that T p is covered by an F p 2-maximal curve. Note that we have 1+y 5 +yz 3 = 0 for x = 1. Case of p 1 (mod 15). There exists an integer m such that p+1 = 15m. It follows from the following morphism H p+1 : 1+Y p+1 +Z p+1 = 0 1+y 5 +yz 3 = 0 (Y,Z) ( Y 3m,Y m Z 5m) that T p is covered by the maximal Hermitian curve H p+1. Thus T p is also maximal over F p 2. Case of p 11 (mod 15). In this case, there exists an integer m such that p+1 = 12+15m. It follows from the following morphism H p+1 : Y p +Y = Z p+1 1+y 5 = yz 3 (Y,Z) ( Y 3m+2,Y (m+1) Z 5m+4) that T p is covered by H p+1. Thus T p is also maximal over F p 2. 10

11 3.2 A generalization of the maximal curve of the form x 5 +y 5 +xyz 3 = 0 More generally, we consider the homogeneous equation x a +y a +z b x c y c = 0 for natural numbers a, b and c with b+2c = a. Let C p,a,b,c be the non-singular model of x a +y a +z b x c y c = 0. Note that C p,a,b,c has genus 1 2 (ab a+2 gcd(b,a c) gcd(b,c)). Here, we give sufficient conditions under which C p,a,b,c is F p 2-maximal. Theorem 1.3. Let a, b and c be natural numbers with b + 2c = a. Put n := ab/gcd(a,b,c). Let C p,a,b,c be the non-singular model of x a +y a +z b x c y c = 0. Then we have the following: (1) The curve C p,a,b,c is maximal over F p 2 if p 1 (mod n). (2) Suppose that a and b are coprime. Since there exists an integer d such that d 2 (mod a) and d 0 (mod b), and since any two such d are congruent modulo ab, we fix such a d in the interval [0,ab). Then the curve C p,a,b,c is maximal over F p 2 if p d 1 (mod n). Proof. It suffices to show that T p is covered by an F p 2-maximal curve. For x = 1, we have 1+y a + z b y c = 0. (1) Assume p n 1 (mod n). There exists an integer m such that p+1 = nm. It follows from the following morphism H p+1 : 1+Y p+1 +Z p+1 = 0 1+y a +z b y c = 0 ( (Y, Z) Y bm gcd(a,b,c),y gcd(a,b,c)z cm am gcd(a,b,c) that C p,a,b,c is covered by the maximal Hermitian curve H p+1, and so is F p 2-maximal. (2) Assume that a and b are coprime. Let d be a unique integer with 0 d < ab such that d 2 (mod a) and d 0 (mod b). Note that cd and a 2c (resp. c(d 2) and a) are divisible by b (resp. a). Since gcd(a,b) = 1, the sum cd+(a 2c) = c(d 2)+a is divisible by ab. We also assume that p d 1 (mod n), and then there exists an integer m such that p+1 = nm+d. It follows from the following morphism H p+1 : Y p +Y = Z p+1 1+y a +z b y c = 0 ( bm (Y, Z) Y gcd(a,b,c) +d 2 a,y cm ab gcd(a,b,c) c(d 2)+a ) ) Z am gcd(a,b,c) +d b that C p,a,b,c is covered by the maximal Hermitian curve H p+1, and so is maximal over F p 2. Now we can see that Theorem 1.2 is a special case of Theorem 1.3 for (a,b,c) = (5,3,1) with d = 15. Remark We replace y and z in 1+y a +z b y c = 0with x and y respectively, say 1+x a +y b x c = 0. It follows from gcd(a,b) = 1 with b + 2c = a that gcd(b,c) = 1, and that a and b are odd numbers. There exist l and k such that kb + lc = 1. Without loss of generality, we may assume 11

12 Table 2: Parameters for which C p,a,b,c are maximal and superspecial curves over F p 2. There are two cases listed in Theorem 1.3. genus congruence (a, b, c) case p 15 (mod 16) (8,2,3) case (1) with n = 16 p 9 (mod 10) (10,2,4) case (1) with n = 10 p 14 (mod 15) (5,3,1) case (1) with n = 15 p 11 (mod 15) case (2) with (n,d) = (15,12) p 13 (mod 14) (14,2,6) case (1) with n = 14 p 23 (mod 24) (12,2,5) case (1) with n = 24 p 20 (mod 21) (7,3,2) case (1) with n = 21 p 8 (mod 21) case (2) with (n,d) = (21,9) p 8 (mod 9) (9,3,3) case (1) with n = 9 p 31 (mod 32) (16,2,7) case (1) with n = 32 p 17 (mod 18) (18,2,8) case (1) with n = 18 9 p 23 (mod 24) (6,4,1) case (1) with n = p 39 (mod 40) (20,2,9) case (1) with n = 40 p 21 (mod 22) (22,2,10) case (1) with n = 22 p 32 (mod 33) (11,3,4) case (1) with n = 33 p 23 (mod 33) case (2) with (n,d) = (33,24) p 15 (mod 16) (8,4,2) case (1) with n = 16 l < 0 with 0 l < b. One can check that la+2 2 (mod a) and la+2 0 (mod b) with 0 la + 2 < ab, and thus can take d to be la + 2. Considering (x,y) (x l, y/x k ), we transform 1+x a +y b x c = 0 into y b = x(1+x la ). Assume p d 1 (mod ab), i.e., p la+1 (mod ab). If p la + 1 (mod lab), it follows from [25, Proposition 4.12] that the curve C(b, la+1) : y b = x la+1 +x is maximal over F p 2, and hence 1+x a +y b x c = 0 is also maximal over F p Examples There exists an F p 2-maximal and superspecial curve for each case in Table 2. Three concrete examples introduced below are constructed from parameters in Table 2. We also refer to [20] for the existence of (smooth) supersingular curves over F p, and [13] for the existence of (non-hyperelliptic) superspecial curves of genus 4. (1) The curve C p,8,2,3 with (a,b,c) = (8,2,3), given by x 8 +y 8 +z 2 x 3 y 3 = 0, is an F p 2-maximal superspecial curve of genus 4 if p 15 (mod 16), e.g., p = 31, 47, 79, 127, 191. Since

13 (mod 3) and 31 1 (mod 5), the superspecial (and hence supersingular) curve C 31,8,2,3 is not obtained in [20, Theorems 1.1 and 5.5] nor [13, Theorem 3.1]. The existence of a superspecial curve of genus 4 for p 1 (mod 3) is a positive answer to [13, Problem 3.3]. (2) For (a,b,c) = (12,2,5), the curve C p,12,2,5 with x 12 + y 12 + z 2 x 5 y 5 = 0 is an F p 2-maximal superspecial curve of genus 6 if p 23 (mod 24), e.g., p = 23, 47, 71, 167, 191. Since (mod 13) and (mod 7), the superspecial (and thus supersingular) curve C 191,12,2,5 is not obtained in [20, Theorems 1.1 and 5.5]. (3) For (a,b,c) = (7,3,2), the curve C p,7,3,2 of genus 7 is F p 2-maximal and superspecial if p 20 (mod 21), e.g., p = 41, 83, 167 or if p 8 (mod 21), e.g., p = 29, 71, 113, 197. Note that except for p = 29, each p listed above does not satisfy any of congruences (p 14 mod 15 and p 15 mod 16) for g = 7 listed in [20, Theorems 1.1 and 5.5]. References [1] Bosma, W., Cannon, J. and Playoust, C.: The Magma algebra system. I. The user language, Journal of Symbolic Computation 24, (1997) [2] B. W. Brock, Superspecial Curves of Genera Two and Three, Princeton University (1993), Ph. D. Thesis. [3] Deuring, M.: Die Typen der Multiplikatorenringe elliptischer Funktionenkörper, Abh. Math. Sem. Univ. Hamburg 14 (1941), no. 1, [4] Ekedahl, T.: On supersingular curves and abelian varieties, Math. Scand. 60 (1987), [5] Fuhrmann R., Garcia, A., Torres, F.: On maximal curves, J. of Number Theory 67, 29 51, 1997 [6] Hashimoto K.: Class numbers of positive definite ternary quaternion Hermitian forms, Proc. Japan Acad. Ser. A Math. Sci. 59 (1983), no. 10, [7] Hashimoto, K. and Ibukiyama, T.: On class numbers of positive definite binary quaternion Hermitian forms. II, J. Fac. Sci. Univ. Tokyo Sect. IA Math. 28 (1981), no. 3, (1982). [8] Ibukiyama, T.: On rational points of curves of genus 3 over finite fields, Tohoku Math. J. 45 (1993), [9] Ibukiyama, T. and Katsura, T.: On the field of definition of superspecial polarized abelian varieties and type numbers, Compositio Math. 91 (1994), no. 1, [10] Kawakita, M.: Some sextics of genera five and seven attaining the Serre bound, In: Proceedings of International Workshop on the Arithmetic of Finite Fields, WAIFI 2018, to appear in Lecture Notes in Computer Science, Springer, 2018, post-proceedings version is available at paper 2.pdf [11] Kazemifard, A., Naghipour, A. R. and Tafazolian, S.: A note on superspecial and maximal curves, Bull. Iranian Math. Soc. 39 (2013),

14 [12] Kazemifard, A., Tafazolian, S. and Torres, F.: On maximal curves related to Chebyshev polynomials, Finite Fields and Their Applications, 52, , [13] Kudo, M.: On the existence of superspecial nonhyperelliptic curves of genus 4, arxiv: [math.ag], [14] Kudo, M. and Harashita, S.: Enumerating superspecial curves of genus 4 over prime fields, arxiv: [math.ag], [15] Kudo, M. and Harashita, S.: Enumerating Superspecial Curves of Genus 4 over Prime Fields (abstract version of [14]), In: Proceedings of The Tenth International Workshop on Coding and Cryptography 2017 (WCC2017), September 18-22, 2017, Saint-Petersburg, Russia, available at [16] Kudo, M. and Harashita, S.: Superspecial curves of genus 4 in small characteristic, Finite Fields and Their Applications, 45, , [17] Kudo, M. and Harashita, S.: Superspecial Hyperelliptic Curves of Genus 4 over Small Finite Fields, In: Proceedings of International Workshop on the Arithmetic of Finite Fields, WAIFI 2018, to appear in Lecture Notes in Computer Science, Springer, 2018, post-proceedings version is available at paper 15.pdf [18] Kudo, M. and Harashita, S.: Superspecial trigonal curves of genus 5, arxiv: [math.ag], [19] Lachaud, G.: Sommes d Eisenstein et nombre de points de certaines courbes algébriques sur les corps finis, C. R. Acad. Sci. Paris Sér. I Math. 305 (1987), no. 16, pp [20] Li,W., Mantovan, E., Pries, R. and Tang, T.: Newton polygons of cyclic covers of the projective line branched at three points, arxiv: [math.nt], [21] Serre, J.-P.: Nombre des points des courbes algebrique sur F q, Sém. Théor. Nombres Bordeaux (2) 1982/83, 22 (1983). [22] Tafazolian, S. and Torres, F.: A note on certain maximal curves, Communications in Algebra, 45 (2017), Issue 2, [23] Tafazolian, S.: A note on certain maximal hyperelliptic curves, Finite Fields and Their Applications, 18, , [24] Tafazolian, S. and Torres, F.: On maximal curves of Fermat type, Advances in Geometry, 13 (4), , [25] Tafazolian, S. and Torres, F.: On the curve y n = x m +x over finite fields, Journal of Number Theory, 145, 51 66, [26] Tafazolian, S. and Torres, F.: On the curve y n = x l (x m + 1) over finite fields, Advances in Geometry, 2018, DOI: [27] Xue, J., Yang, T.-C. and Yu, C.-F.: On superspecial abelian surfaces over finite fields, Doc. Math. 21 (2016)