ON A THEOREM OF MORLAYE AND JOLY AND ITS GENERALIZATION arxiv: v2 [math.nt] 14 Dec 2017

Transcription

1 ON A THEOREM OF MORLAYE AND JOLY AND ITS GENERALIZATION arxiv: v2 [math.nt] 4 Dec 207 IOULIA N. BAOULINA Abstract. We show that a weaker version of the well-known theorem of Morlaye and Joly on diagonal equations is a simple consequence of a restricted variable version of the Chevalley-Warning theorem. Moreover, we extend the result of Morlaye and Joly to the case of an equation of the form b D m (X,a )+ +b n D mn (X n,a n ) = c, where D m (X,a ),..., D mn (X n,a n ) are Dickson polynomials. Keywords: Equation over a finite field, Chevalley-Warning theorem, diagonal equation, Dickson polynomial, value set, combinatorial nullstellensatz 200 MSC: D79, G25, T06, B75, 2E0, 2E20. Introduction Let F q be a finite field of characteristic p with q = p s elements and F q = F q \{0}. In 934, Artin conjectured that if H F q [X,...,X n ] is a homogeneous polynomial with deg(h) < n then H has a nontrivial zero. In 935, Chevalley [4] proved this and even showed that the hypothesis of homogeneity could be replaced by the weaker assumption of no constant term. Immediately afterwards, Warning [5] showed that even without this last assumption the characteristic p of F q divides the number of solutions to the equation H(X,...,X n ) = 0 in F n q. Both results were extended by their authors to the case of a system of equations of the form H i (X,...,X n ) = 0, i k, with k i= deg(h i) < n. In 999, Alon [] established two theorems (so-called Combinatorial Nullstellensatz), which provide one of the most powerful algebraic tools, with many applications in combinatorics, number theory and graph theory. Alon used his combinatorial nullstellensatz to give a short proof of the following weaker version of the Chevalley-Warning theorem: Let H,...,H k F q [X,...,X n ] be polynomials with k i= deg(h i) < n; if the system of equations H i (X,...,X n ) = 0, i k, has a solution in F n q, then it has another solution. Later on, Brink [3] and Schauz [4] used Alon s ideas to prove a restricted variable version of this theorem. In 97, Morlaye [] and Joly [8] established an analogue of the Warning theorem for an equation of the type b X m + + b n X mn n = c (so-called diagonal equation). Namely, they proved that the characteristic p of F q divides the number of solutions to a diagonal equation with exponents m,...,m n, provided that /gcd(m,q )+ +/gcd(m n,q ) >. One can formulate a weaker version of this result as follows: Assume that /gcd(m,q )+ +/gcd(m n,q ) > ;

2 2 IOULIA N. BAOULINA if a given diagonal equation with exponents m,...,m n has a solution in F n q, then it has another solution. Thegoalofthispaperistoshowthattheweaker version ofthetheoremofmorlaye and Joly stated above and its generalization are consequences of the Chevalley- Warning theorem with restricted variables. In Section 3, we consider the case of a diagonal equation. Section 4 contains our main result, namely Theorem 6 in which we treat an equation of the type b D m (X,a ) + +b n D mn (X n,a n ) = c, where D m (X,a ),..., D mn (X n,a n ) are Dickson polynomials. Further possible generalizations are discussed in Section Preliminary lemmas Wewrite C for thecardinality ofafinite set C. The following result isarestricted variable version of the Chevalley-Warning theorem (for a proof, see Brink [3] or Schauz [4]). Lemma. Let H,...,H k F q [X,...,X n ] be nonzero polynomials and C,...,C n be nonempty subsets of F q such that k n (q ) deg(h i ) < ( C j ). Then the set is not a singleton. i= j= {(c,...,c n ) C C n H i (c,...,c n ) = 0 for all i} For a polynomial f F q [X], let V f denote the value set of f, that is, V f = {f(c) c F q }. The next corollary is a straightforward consequence of Lemma. Corollary 2. Let f,...,f n F q [X] and H,...,H k F q [X,...,X n ] be nonzero polynomials. Assume that k n (q ) deg(h i ) < ( V fj ). If the system of equations i= j= H i (f (X ),...,f n (X n )) = 0, i =,...,k, has a solution in F n q, then it has another solution. In particular, if f,...,f n, H,...,H k are polynomials without constant terms, then the above system of equations has a nontrivial solution in F n q, i.e., a solution other than the trivial one (0,...,0). If f F q [X] is a nonconstant polynomial, then each γ F q has at most deg(f) preimages under f, and so q V f +, deg(f)

3 ON A THEOREM OF MORLAYE AND JOLY 3 where z denotes the greatest integer less than or equal to z. Taking k = and H (X,...,X n ) = X + +X n in Corollary 2, we obtain the following result. Corollary 3. Let f,...,f n F q [X] be nonconstant polynomials. Assume that q q + + > q. deg(f ) deg(f n ) If the equation f (X )+ +f n (X n ) = 0 has a solution in F n q, then it has another solution. In particular, if f,...,f n are polynomials without constant terms, then the above equation has a nontrivial solution in F n q. We consider an equation of the type 3. Diagonal equations b X m + +b n X mn n = c, () wherem,...,m n arepositiveintegers, b,...,b n F q,andc F q. Suchanequation is called a diagonal equation. Diagonal equations have been studied extensively; see [2, Chapter 0], [0, Chapter 6], [2, Chapters 6-7] and references therein. Taking k = and H (X,...,X n ) = b X + + b n X n c in Corollary 2 and using the well-known fact that V X m = q d +, (2) where d = gcd(m,q ), we deduce the weaker version of the result of Morlaye [] and Joly [8] mentioned in the introduction. Theorem 4. Assume that d + + d n >, where d j = gcd(m j,q ), j n. If the equation () has a solution in F n q, then it has another solution. In particular, if c = 0, then () has a nontrivial solution in F n q. 4. Equations with Dickson polynomials In this section, we consider an equation of the form b D m (X,a )+ +b n D mn (X n,a n ) = c, (3) where m,...,m n are positive integers, b,...,b n F q, a,...,a n,c F q, and D m (X,a ),..., D mn (X n,a n ) are Dickson polynomials defined as follows.

4 4 IOULIA N. BAOULINA Let m be an integer and a F q. The Dickson polynomial of degree m with parameter a is defined by m/2 ( ) m m j D m (X,a) = ( a) j X m 2j. m j j j=0 Basic properties of Dickson polynomials can be found in the monograph of Lidl, Mullen and Turnwald [9]. Since for a = 0 we have D m (X,a) = X m, the equation (3) can be viewed as a generalization of the diagonal equation (). Chou, Mullen, and Wassermann [6] used a character sum argument to give bounds for the number of solutions to (3) in F n q. See also [7] and [3] for some results on (3) with a = = a n, b = = b n =. In order to generalize Theorem 4, we need the following result concerning the cardinality of the value set of D m (X,a) with a F q (for a proof, see [5, Theorems 0 and 0 ] or [9, Theorems 3.27 and 3.30]; see also [6, Theorem 7] for an alternative proof). Lemma 5. Let a F q. Suppose that 2r (q 2 ). Then where V Dm(X,a) = q 2gcd(m,q ) + q + 2gcd(m,q +) +δ, if q is odd, 2 r m and a is a nonsquare in F q, δ = /2 if q is odd, m is even and 2 r m, 0 otherwise. Combining the relation (2), Lemma 5 and Corollary 2 (with k = and H (X,...,X n ) = b X + +b n X n c), we derive our main result. Theorem 6. Assume that a = = a t = 0, a t+,...,a n F q, 0 t n, 2 r (q 2 ) and t d + n ( j 2 d + j=t+ j 2 + ) n q d + > + n t δ t+ δ n, j=t+ j q j= where, for j n, d j = gcd(m j,q ), d + j = gcd(m j,q +), if q is odd, 2 r m j and a j is a nonsquare in F q, δ j = /2 if q is odd, m j is even and 2 r m j, 0 otherwise. If the equation (3) has a solution in F n q, then it has another solution. In particular, if m t+,...,m n are odd, c = 0, and t d j= j + 2 n d j=t+ j + ( 2 + q ) n d + j=t+ j > + n t q,

5 then (3) has a nontrivial solution in F n q. ON A THEOREM OF MORLAYE AND JOLY 5 Note that in some cases the existence of more than one solution can be deduced from Theorem 0 of [6], while in some other cases the lower bound of Theorem 0 of[6] is trivial, however, our Theorem 6 still applies. We illustrate the latter situation with an example. Example. Let n > 4, and let e,...,e n be positive divisors of q satisfying e e n q n/2 (q ). For j =,2,...,n, put m j = (q )/e j. Let a,...,a n, b,...,b n F q, and put n m c = 2 ( a j ) j /2 b j. j= 2 m j Let N denote the number of solutions to the equation (3) in F n q. Using the notation of Theorem 6, we can rewrite the lower bound of Theorem 0 of [6] as n N q n q (n 2)/2 (q ) (d + j +d j ). (4) Since d j = (q )/e j, we have Hence q n q (n 2)/2 (q ) j= d + j +d j + q e j q e j. n ( ) (d + j +d j ) qn qn/2 (q ) 0, e e n j= and so the inequality (4) does not give us any information about the number of solutions. Next, we observe that d + j = gcd((q )/e j,q+) 2. Thus 2 n d j= j + ( 2 + q ) n d + j= j e + +e n 2(q ) + ( 2 + q ) n 2 n 2(q ) + n 4 + n 2(q ) > + n q + n δ δ n. q Note also that (3) has the trivial solution (0,...,0). Using Theorem 6, we infer that (3) has a nontrivial solution. 5. Concluding remarks ItiseasytoseethatCorollary2canbeextended tothecaseofrestricted variables. Forapolynomialf F q [X]andanonemptysubset CofF q, letv f (C)={f(c) c C}. Lemma implies

6 6 IOULIA N. BAOULINA Corollary 7. Let f,...,f n F q [X] and H,...,H k F q [X,...,X n ] be nonzero polynomials and C,...,C n be nonempty subsets of F q. Assume that k n (q ) deg(h i ) < ( V fj (C j ) ). If the system of equations i= j= H i (f (X ),...,f n (X n )) = 0, i =,...,k, has a solution with X j C j, j n, then it has another solution with X j C j, j n. Taking k = and H (X,...,X n ) = b X + + b n X n c in Corollary 7, we deduce the following extension of Theorem 4 to the case where all the variables are restricted to a subfield of F q. Theorem 8. Let F p l be a subfield of F q. Assume that gcd(m,p l ) + + gcd(m n,p l ) > q p l. If the equation () has a solution in F n p l, then it has another solution in F n p l. In particular, if c = 0, then () has a nontrivial solution in F n p l. It is readily seen that the inequality in Theorem 8 can be replaced by gcd(m,p l ) + + gcd(m n,p l ) > (5) if b,...,b n,c F p l, but not in general. As an example, we consider an equation of the type X 3 + gx2 3 = 0, where g is a generator of the cyclic group F 25. This equation has the only solution (0,0) in F 2 25 (and, consequently, in F2 5 ), however, (5) holds for p l = 5, n = 2, m = m 2 = 3. Acknowledgments The author would like to thank Pete Clark for his interest and encouraging comments. The author thanks the referee for a careful reading of the manuscript and helpful suggestions.

7 ON A THEOREM OF MORLAYE AND JOLY 7 References [] N. Alon, Combinatorial Nullstellensatz, Combin. Probab. Comput. 8 (999) [2] B. C. Berndt, R. J. Evans, K. S. Williams, Gauss and Jacobi Sums, Wiley-Interscience, New York, 998. [3] D. Brink, Chevalley s theorem with restricted variables, Combinatorica 3 (20) [4] C. Chevalley, Démonstration d une hypothèse de M. Artin, Abh. Math. Sem. Univ. Hamburg (936) [5] W.-S. Chou, J. Gomez-Calderon, G. L. Mullen, Value sets of Dickson polynomials over finite fields, J. Number Theory 30 (988) [6] W.-S. Chou, G. L. Mullen, B. Wassermann, On the number of solutions of equations of Dickson polynomials over finite fields, Taiwanese J. Math. 2 (2008) [7] D. Gomez, A. Winterhof, Warings problem in finite fields with Dickson polynomials, in: Finite fields: Theory and applications, in: Contemp. Math., vol. 477, American Mathematical Society, 200, pp [8] J.-R. Joly, Nombre de solutions de certaines équations diagonales sur un corps fini, C. R. Acad. Sci. Paris Sér. A B 272 (97) [9] R. Lidl, G. L. Mullen, G. Turnwald, Dickson Polynomials, Longman Scientific and Technical, Essex, UK, 993. [0] R. Lidl, H. Niederreiter, Finite Fields, Addison-Wesley, Reading, MA, 983. [] B. Morlaye, Équations diagonales non homogènes sur un corps fini, C. R. Acad. Sci. Paris Sér. A-B 272 (97) [2] G. L. Mullen, D. Panario, Handbook of Finite Fields, CRC Press, 203. [3] A. Ostafe, I. E. Shparlinski, On the Waring problem with Dickson polynomials in finite fields, Proc. Amer. Math. Soc. 39 (20) [4] U. Schauz, Algebraically solvable problems: describing polynomials as equivalent to explicit solutions, Electron. J. Combin. 5 (2008) #R0. [5] E. Warning, Bermerkung zur Vorstehenden Arbeit von Herr Chevalley, Abh. Math. Sem. Univ. Hamburg (936) Department of Mathematics, Moscow State Pedagogical University, Krasnoprudnaya str. 4, Moscow 0740, Russia address: jbaulina@mail.ru