arxiv: v1 [math.ag] 1 Apr 2013

Transcription

1 The characterization of Hermitian surfaces by the number of points arxiv: v1 [math.ag] 1 Apr 2013 Masaaki Homma Department of Mathematics and Physics Kanagawa University Hiratsuka , Japan homma@kanagawa-u.ac.jp Seon Jeong Kim Department of Mathematics and RINS Gyeongsang National University Jinju , Korea skim@gnu.kr Abstract The nonsingular Hermitian surface of degree +1 is characterized by its number of F q -points among the irreducible surfaces over F q of degree +1 in the projective 3-space. Key Words: Finite field, Hermitian surface, Weil-Deligne bound MSC: 11G25, 14G15, 14J70, 14N05 1 Introduction Hermitian varieties are known as ones having particular properties over finite fields. Throughout this paper, except Section 3, q is an even power of a prime number p. A Hermitian variety over F q is a hypersurface in P n defined by (X0,...,X q n )A t (X 0,...,X n ) = 0, (1) where A is a square matrix of order n+1 whose entries are in F q with the property t A = A () ; here A () means taking entry-wise the -th power, and t A is the transposed matrix of A. We refer this kind of polynomial as a Hermitian polynomial over F q. For a homogeneous polynomial F of degree +1 whose coefficients are Partially supported by Grant-in-Aid for Scientific Research ( ), JSPS. Partially supported by Basic Science Research Program through the National Research Foundation of Korea(NRF) funded by the Ministry of Education, Science and Technology (2012R1A1A ). 1

2 in F q, the hypersurface given by F = 0 is Hermitian if and only if there is an element ρ F q such that ρf is a Hermitian polynomial. The family of Hermitian polynomials over F q forms an F vector space. It is obvious that the Hermitian polynomial (1) defines a nonsingular Hermitian variety if and only if deta 0. By the standard argument, a nonsingular Hermitian variety is projectively equivalent to the variety +1 q+1 q+1 H n 1 : X0 +X1 + +Xn = 0 (2) over F q. The number N q (H n 1 ) of F q -points of H n 1 is N q (H n 1 ) = ( n+1 +( 1) n )( n +( 1) n 1 )/(q 1), (3) which is due to [1]. This number is remarkable in the following sense. The Weil conjecture [13] established by Deligne [2] implies that the number N of F q -points of a nonsingular hypersurface of degree d in P n defined over F q is bounded by N qn 1 q 1 + d 1 ((d 1) n ( 1) n ) n 1. (4) d Furthermore, if equality holds in (4) for a certain nonsingular hypersurface of degree d, thend +1. Asforthisadditionalclaim, see[11,corollary2.2]or[8,corollary 4.3]. The number N q (H n 1 ) achieves the equality in (4) for d = +1. On the other hand, Rück and Stichtenoth s characterization of nonsingular Hermitian curves [9] implies the following fact. Theorem 1.1 (Rück-Stichtenoth) An absolutely irreducible plane curve of degree +1 over F q which has 3 +1 points over F q is a nonsingular Hermitian curve. We explain a little more detail of this assertion in the next section. The purpose of this note is to show a similar fact for surfaces in P 3. Theorem 1.2 An absolutely irreducible surface over F q of degree +1 in P 3 which has (q +1)( 3 +1) points over F q is a nonsingular Hermitian surface. Notation When X is an algebraic set in P n defined by equations over F q, the set of F q -points in X is denoted by X(F q ), and the cardinality of X(F q ) by N q (X). 2 Hermitian curves For a plane curve C over F q, we proved a simple bound for N q (C) in a series of papers [5, 6, 7], which had been originally conjectured by Sziklai [12]. 2

3 Lemma 2.1 (Sziklai bound) Let d be an integer with 2 d q + 2, and C a curve of degree d in P 2 defined over F q without F q -linear components. Then N q (C) (d 1)q +1 (5) except for curves over F 4 which are projectively equivalent to the curve defined by (X 0 +X 1 +X 2 ) 4 +(X 0 X 1 +X 1 X 2 +X 2 X 0 ) 2 +X 0 X 1 X 2 (X 0 +X 1 +X 2 ) = 0. For the exceptional curve above, the number of its F 4 -points is 14. The number N q (H 1 ) attains the equality of the Sziklai bound too. In the next proposition, we consider a slightly larger family of plane curves than the family of irreducible ones, that is to say, the family of plane curves over F q without F q -linear components. Proposition 2.2 Let C be a plane curve of degree +1 over F q without F q -linear components. If N q (C) = 3 +1, then C is a nonsingular Hermitian curve over F q. Proof. From [6, Propositions 2.1, 2.2 and 2.3], C must be absolutely irreducible and each F q -point of C is nonsingular, because equality holds in (5) for C. If C has singular points, all of which are not F q -points, then the normalization C of C is also defined over F q and N q ( C) = N q (C). From the Hasse-Weil bound, N q ( C) 1+q +2 g < 3 +1 because the genus g of C is less than the arithmetic genus of C, that is, g < ( 1)/2. Hence C is a nonsingular curve of genus ( 1)/2. Therefore C must be a nonsingular Hermitian curve by the main theorem of [9]. Remark 2.3 In the previous proposition, the assumption that C has no F q -linear components is actually necessary. We construct a plane curve C which has F q -linear components such that N q (C) = Let D be an irreducible conic over F q in P 2. Let P 0 D(F q ) and L 0 the tangent line to D at P 0. Choose P 1 L 0 (F q )\{P 0 }. If the characteristic p is 2, P 1 should be taken in L 0 (F q ) \{P 0, the nucleus of D}. Then there are q 1 2 F q -lines passing through P 1 that do not meet with any point of D(F q ) if p 2; or q 2 if p = 2. Since 2 < q 1 2, we can take 2 such lines, say L 1,...,L 2. Then the number of F q -points of the curve C = D + 2 i=0 L i is In fact, N q (C) = # (D(F q )\{P 0 })+ # (L 0 (F q )\{P 0,P 1 })+ = q +(q 1)+( 2)q +2 = (L i (F q )\{P 1 })+2 We close this section with a remark on plane curves that are used in the proof of the main theorem. i=1 3

4 Lemma 2.4 (Segre) Let d be an integer with 1 d q + 1, and C be a curve of degree d in P 2 defined over F q, which may have F q -linear components. Then N q (C) dq +1, and equality holds if and only if C is a pencil of d F q -lines. Proof. See Segre [10, II, 6 Observation IV ] or Homma-Kim [5, Remark 1.2]. 3 An elementary bound In this section, q is simply a power of p, that is, it need not be an even power of p. In [8], we established an upper bound for N q (X) of a hypersurface X over F q without F q -linear components, particularly a surface in P 3 without F q -plane components. Theorem 3.1 Let S be a surface of degree d in P 3 defined over F q without F q -plane components. Then N q (S) (d 1)q 2 +dq +1. (6) We refer the bound (6) as the elementary bound. When d = +1, the Weil- Deligne bound (4) for n = 3 agrees with the elementary bound. In this section, we investigate the geometry of a surface in P 3 whose number of F q -points achieves the bound (6). There are at least two examples other than the Hermitian surface each of which attains the equality in (6). From now on, we keep the following setup until the end of this section. Setup 3.2 Let d be an integer with 2 d q +1. Let S be a surface of degree d in P 3 defined over F q without F q -plane components. Furthermore we suppose that N q (S) achieves the equality in (6). Lemma 3.3 The surface S contains an F q -line. Proof. Suppose S does not contain any F q -lines. Let H be any F q -plane in P 3. Then S H is a plane curve of degree d over F q in H = P 2, and has no F q -line as a component. Hence N q (S H) { (d 1)q +1 if (d,q) (4,4) 14 if (d,q) = (4,4) (7) by Lemma 2.1. In a term of [4], defining the s-degree δ of S(F q ) by δ = max{n q (S H) H is an F q -plane}, we have N q (S) (δ 1)q +1+ δ 1 q +1 4

5 by [4, Proposition 2.2]. Hence if (d,q) (4,4), then (d 1)q N q (S) (d 1)q q +1 (d 2)(q +1)+q +2 d = (d 1)q q +1 = (d 1)(q 2 +1); andif(d,q) = (4,4), thenn q (S) 55. Ineithercase, N q (S)can tbe(d 1)q 2 +dq+1. Definition 3.4 Let l 1,...,l d be F q -lines in P 3 with d 2. The union of those d- lines Z = d i=1 l i is called a planar F q -pencil of degree d if those d-lines lie on a plane simultaneously and l 1 l d. The F q -point {v Z } = l 1 l d is called the vertex of Z. Notation 3.5 For an F q -line l of P 3, the set of F q -planes containing the line l is denoted by ľ(f q). Lemma 3.6 Let l be an F q -line on the surface S. (i) If an F q -plane H contains l, then S H is a planar F q -pencil of degree d. (ii) The map ľ(f q) H v S H l(f q ) is bijective. Proof. (i) Since S has no F q -plane components, S H is a plane curve of degree d in H, and N q (S H) dq+1 by Lemma 2.4. Counting the cardinality of S(F q ) by the decomposition we have S(F q ) = H ľ(f q) ((S H)(F q)\l(f q )) l(f q ), (d 1)q 2 +dq +1 = N q (S) (q +1)(dq +1 (q +1))+(q +1) = (d 1)q 2 +dq +1. Hence N q (S H) = dq+1. So S H is a planar F q -pencil of degree d by the latter part of Lemma 2.4. (ii) Let ľ(f q) = {H 1,H 2,...,H q+1 }. Since S H i is a planar F q -pencil and has the line l as a component, we may set notations as S H i = l l i,1 l i,d 1 and v i = v S Hi. It is obvious that v i l(f q ). Since ľ(f q) and l(f q ) have the same cardinality, it is enough to show that the map ľ(f q) H i v i l(f q ) is surjective. 5

6 Contrary, supposethismapisnotsurjective. PickapointQ l(f q )\{v 1,...,v q+1 }, and choose an F q -plane K such that K Q and K l. Then we face two consequences: (α) S K does not contain any F q -line; (β) N q (S K) (d 1)q +d, as we verify them below. Since S K is a plane curve of degree d in K, those two conditions are incompatible each other by Lemma 2.1. The verification of (α). If S K contains an F q -line, then it must be a planar F q -pencil by (i). Since Q is a point of S, there is an F q -line m passing through Q among d lines of S K. Hence l and m spans an F q -plane which is one of the H i s, say H i. Then v i l m = {Q}, which contradicts to the choice of Q. The verification of (β). Let Q i,j be the intersection point of l i,j with K. Then the plane containing l and Q i,j is H i and the line containing v i and Q i,j is l i,j. Hence Q i,j = Q i,j implies (i,j) = (i,j ). Since (S K)(F q ) {Q i,j 1 i q +1, 1 j d 1} {Q}, we have N q (S K) (d 1)(q +1)+1. Lemma 3.7 Let H be an F q -plane such that S H is a planar F q -pencil of degree d. If an F q -line l S passes through v S H, then l is a component of S H. Proof. Since d 2, there are two distinct components l 1 and l 2 of S H. Suppose that l is not contained in H. Then l and l i span an F q -plane, say H i. Hence S H i is also a planar F q -pencil of degree d by Lemma 3.6 (i). By the construction of H 1 and H 2, v S H1 = l l 1 = v S H = l l 2 = v S H2, which contradicts (ii) of Lemma 3.6. Hence l is contained in H, and hence it is a component of S H. Corollary 3.8 For any F q -point P of S, there is a unique F q -plane H such that S H is a planar F q -pencil of degree d with v S H = P. Proof. From Lemma 3.3 and Lemma 3.6 (i), there is a line l on S containing P. Hence, by (ii) of Lemma 3.6 there is a desired F q -plane. The uniqueness of such an F q -plane comes from the above lemma. 4 A characterization of Hermitian surfaces In this section, q is assumed to be an even power of a prime number p again, and S is a surface in P 3 of degree +1 defined over F q without F q -plane components such that N q (S) = ( 3 + 1)(q + 1). Note that this number N q (S) achieves both the Weil-Deligne bound (4) for n = 3 and the elementary bound (6). 6

7 Proposition 4.1 With the above situation, let H be an F q -plane of P 3. Then either (1) S H is a planar F q -pencil of degree +1, or (2) S H is a nonsingular Hermitian curve of degree +1 over F q. Furthermore, let ν 1 denote the number of F q -planes having the property (1) above, and ν 2 the property (2). Then { ν1 = N q (S) = ( 3 +1)(q +1) ν 2 = 3 (q +1)( 1). Proof. Let ˇP 3 (F q ) denote the set of F q -planes of P 3, and P 1 the set of F q -planes having the property (1). The map P 1 H v S H S(F q ) is bijective by Corollary 3.8. Hence ν 1 = N q (S). Let P 2 = ˇP 3 (F q )\P 1. Note that if H P 2, then S H has no F q -liner components by Lemma 3.6 (i). Consider the correspondence A = {(P,H) P H} S(F q ) ˇP 3 (F q ) with two projections π 1 : A S(F q ) and π 2 : A ˇP 3 (F q ). Counting the cardinality of A by π 1, we have # A = N q (S) (q 2 +q +1). If H P 1, then # π2 1 (H) = N q(s H) = 3 + q + 1, and if H P 2, then # π2 1 (H) = N q(s H) 3 +1 by Lemma 2.1. Hence, counting the cardinality of A by π 2, we have # A N q (S) ( 3 q +q +1)+( 4 ) 1 q 1 N q(s) ( 3 +1) = N q (S) (q 2 +q +1). Therefore, if H P 2, then N q (S H) = Furthermore, when H P 2, since S H has no F q -line as a component, S H is a nonsingular Hermitian curve by Proposition 2.2. Now we come to the main theorem. From the above proposition, we know that for any F q -line l, the cardinality of S(F q ) l is either 1 or +1 or q +1. So we may apply the characterization of nonsingular Hermitian surfaces by Hirschfeld [3, Theorem ], though we give a straightforward proof because our starting point isasurfacegivenbyanequation. Inourproof,thehyperplanedefinedbyanequation h = 0 is sometimes denoted by {h = 0}; and also F q \{0} by F q. Theorem 4.2 Let S be a surface in P 3 defined over F q without F q -plane components. If the degree of S is + 1 and N q (S) = ( 3 + 1)(q + 1), then S is a nonsingular Hermitian surface over F q. Proof. From Proposition 4.1, there is an F q -plane H P 3 such that S H is a nonsingular Hermitian curve. Choose a system of homogeneous coordinates X 0,X 1,X 2,X 3 of P 3 such that 7

8 (i) H is given by X 0 = 0; and (ii) the plane curve S H in H = P 2 is given by X X X 1 X 2 + X+1 3 = 0, where X 1, X 2, X 3 are coordinates on H induced by X 1,X 2,X 3 respectively. Let P 1 = (0,0,1,0) and P 2 = (0,1,0,0), both of which are points on S H. For α = 1,2, the tangent line L α at P α to S H in H = P 2 is given by X α = 0. It is easy to see that S L α = {P α }. Hence for an F q -plane H L α, { # q if S H is Hermitian (S(F q ) (H \L α )) = 3 +q +1 1 if S H is an F q -pencil. Counting the number N q (S) 1 by using all F q -planes containing L α, we know that there is a unique plane H α,0 L α such that S H α,0 is a planar F q -pencil of degree +1; and S Hα,λ is a nonsingular Hermitian curve for other plane H α,λ L α. By changing coordinates of type { X1 X 1 +ax 0 X 2 X 2 +bx 0 if necessary, we may suppose that H α,0 is defined by X α = 0 for α = 1 and 2 respectively. But the situation on H never change. Summing up, S is defined by where F(X 0,...,X 3 ) = X 0 f(x 0,...,X 3 )+h(x 1,X 2,X 3 ) = 0 h(x 1,X 2,X 3 ) = X 1 X2 +X1 X 2 +X +1 and degf =. Since S H 1,0 = S {X 1 = 0} is a planar F q -pencil with the vertex P 1 = (0,0,1,0), +1 F(X 0,0,X 2,X 3 ) = X 0 f(x 0,0,X 2,X 3 )+X3 does not contain X 2, because this polynomial must have the form c j (X 0+γ j X 3 ), with c F q. Hence, in F(X 0,X 1,X 2,X 3 ), any monomial containing X 2 also contains X 1. By the same argument on S H 2,0 = S {X 2 = 0}, any monomial containing X 1 also contains X 2. Therefore f(x 0,X 1,X 2,X 3 ) is written as f(x 0,X 1,X 2,X 3 ) = g 1 (X 0,X 3 )+g 2 (X 0,...,X 3 )X 1 X 2, where degg 1 = and degg 2 = 2. For the plane H 1,λ = {X 0 = λx 1 } (λ F q ), since S {X 0 = λx 1 } is a Hermitian curve, ρf(λx 1,X 1,X 2,X 3 ) = ρ(λx 1 (g 1 (λx 1,X 3 )+g 2 (λx 1,X 1,X 2,X 3 )X 1 X 2 )+h(x 1,X 2,X 3 )) (8) 8 3

9 isahermitianpolynomialforsomeρ F q. SinceX +1 3 appearsonlyinh(x 1,X 2,X 3 ), the constant ρ must be an element of F. Hence (8) is a Hermitian polynomial even if ρ = 1. Since h itself Hermitian, λg 1 (λx 1,X 3 )X 1 +λg 2 (λx 1,X 1,X 2,X 3 )X 2 1X 2 must be Hermitian. Any monomial in g 2 (λx 1,X 1,X 2,X 3 )X1 2X 2 never appear in g 1 (λx 1,X 3 )X 1. So g 2 (λx 1,X 1,X 2,X 3 ))X1 2X 2 contains the monomials only of types X Hence g 2 (λx 1,X 1,X 2,X 3 )X1 2 X q 2 = µx1 X 2 (µ F q ). +1 But the monomial X 1 X2 can t appear in g 1 (λx 1,X 3 )X 1 +g 2 (λx 1,X 1,X 2,X 3 )X 2 1X i or Xi X j. Hence g 2 (λx 1,X 1,X 2,X 3 ) = 0, that is, X 0 λx 1 is a factor of g 2 (X 0,X 1,X 2,X 3 ) for any λ F q. But degg 2 = 2(< q 1), it is impossible. Therefore g 2 (X 0,X 1,X 2,X 3 ) = 0 and λg 1 (λx 1,X 3 )X 1 is Hermitian. Let Then g 1 (X 0,X 3 ) = i=0 a i X i 0 X i 3. λg 1 (λx 1,X 3 )X 1 = a i λ i+1 X i+1 i=0 i 1 X3, which is Hermitian. Hence a i = 0 for i 0, 1, q; and also a0 = a 1 and a F, that is, Hence g 1 (X 0,X 3 ) = a 0 X3 +a F(X 0,...,X 3 ) = a 0 X 0 X3 +a 0 X q 1 0 X 3 +a qx 0 X q 0 X 3 +a +1 qx 0 with a F. 0 +h(x 1,X 2,X 3 ), which is Hermitian. If a = 0, then the surface is a cone of a nonsingular Hermitian curve with vertex (1,0,0,0), and then N q (S) = ( 3 + 1)q + 1, which is not the given number. So a F, and hence S is a nonsingular Hermitian surface. References [1] R. C. Bose and I. M. Chakravarti, Hermitian varieties in a finite projective space PG(N,q 2 ), Canad. J. Math. 18 (1966)

10 [2] P. Deligne, La conjecture de Weil, I, Inst. Hautes Études Sci. Publ. Math. 43 (1974), [3] J. W. P. Hirschfeld, Finite projective spaces of three dimensions (Oxford mathematical monographs), The Clarendon Press, Oxford University Press, New York, [4] M. Homma, A bound on the number of points of a curve in a projective space over a finite field, in: M. Lavrauw, G.L. Mullen, S. Nikova, D. Panario, and L. Storme (Eds.), Theory and Applications of Finite Fields, Contemp. Math., vol. 579, AMS, Providence, [5] M. Homma and S. J. Kim, Around Sziklai s conjecture on the number of points of a plane curve over a finite field, Finite Fields Appl. 15 (2009), [6] M. Homma and S. J. Kim, Sziklai s conjecture on the number of points of a plane curve over a finite field II, in: G. McGuire, G.L. Mullen, D. Panario, I.E. Shparlinski (Eds.), Finite Fields: Theory and Applications, , Contemp. Math., vol. 518, AMS, Providence, [7] M. Homma and S. J. Kim, Sziklai s conjecture on the number of points of a plane curve over a finite field III, Finite Fields Appl. 16 (2010) [8] M. Homma and S. J. Kim, An elementary bound for the number of points of a hypersurface over a finite field, Finite Fields Appl. 20 (2013) [9] H.-G. Rück and H. Stichtenoth, A characterization of Hermitian function fields over finite fields, J. Reine Angew. Math. 457 (1994) [10] B. Segre, Le geometrie di Galois, Ann. Mat. Pura Appl. (4) 48 (1959) [11] A. B. Sørensen, On the number of rational points on codimension-1 algebraic sets in P n (F q ), Discrete Math. 135 (1994), [12] P. Sziklai, A bound on the number of points of a plane curve, Finite Fields Appl. 14 (2008) [13] A. Weil, Numbers of solutions of equations in finite fields, Bull. Amer. Math. Soc. 55 (1949)