arxiv: v1 [math.nt] 9 Sep 2015

Transcription

1 REPRESENTATION OF INTEGERS BY TERNARY QUADRATIC FORMS: A GEOMETRIC APPROACH GABRIEL DURHAM arxiv: v [mathnt] 9 Se 05 Abstract In957NCAnkenyrovidedanewroofofthethreesuarestheorem using geometry of numbers This aer generalizes Ankeny s techniue, roving exactly which integers are reresented by x + y + z and x +y +z as well as roving sufficient conditions for an integer to be reresented by x +y +3z and x +y +7z Introduction A natural uestion in the study of uadratic forms concerns the reresentation of integers by certain uadratic forms Given an n-ary uadratic form Q and an integer m, does there exist a vector x Z n such that Q x m? This aer considers this uestion for four ternary uadratic forms: x +y +z, x +y +z, x +y +3z, and x +y +7z We areable to roveexactly which integers are reresented by the first two forms and rovide sufficient conditions for an integer m to be reresented by the final two forms In 93 Burton Jones [4] rovided one of the key breakthroughs in the study of ositive definite ternary uadratic forms when he roved that the forms of a given genus collectively reresent all ositive integers not ruled out by certain congruence conditions As a result, if a uadratic form is alone in its genus then one can show it reresents an integer m by showing that it locally reresents m While Jones work made the task of determining which integers are reresented byourfirstthreeforms morestraightforward,theroofsresentedinthisaer make no use of Jones result Furthermore, Jones result tells us little about forms with one or more genus-mates While ternary uadratic forms have been studied for centuries, relatively little is known about the reresentation of integers by forms not alone in their genus In articular, the uestion of exactly which integers are reresented by x +y +7z remains oen, desite the fact that this form has the smallest determinant and thus, in a sense, is the most simle of any classically integral ternary uadratic form not alone in its genus While this aer does not fully answer the uestion, we do rovide a new roof of a result of Kalansky [5] in our roof of Theorem 3a For a more comrehensive list of what is known about the reresentation of integers by x +y +7z the reader may consult Wang and Pei [8] This research was suorted by the National Science Foundation DMS-4689 I would additionally like to thank Dr Katherine Thomson, Dr Jeremy Rouse, Dr Pete Clark, Sarah Blackwell and Tiffany Treece for their suort I would finally like to thank Dr Theodore Shifrin for his guidance over the last three years and his decades of service to the University of Georgia and its students As well as all other class number one forms ie forms which are alone in their genus

2 To rove our results we generalize a method develoed by NC Ankeny [], which he used to rovide a new roof of the Gauss-Legendre three suares theorem Ankeny began with a ositive integer m not of the form 4 k 8l + 7 for some k,l Z and, using Dirichlet s theorem on rimes in an arithmetic rogression,definedarimebasedontherimefactorsofm Hethendefineda linear ma, Φ : x,y,z R,S,T By considering the body Ω {R,S,T R 3 R +S +T < m} he was able to invokeminkowski s convexbody theorem to guarantee integer values of x,y,z such that Φx,y,z Ω By the roerties of the transformation T he shows that R + S + T m and R Z To comlete the roof of the three suares theorem Ankeny showed that S +T is a sum of two integer suares by showing that for all rimes dividing S +T to an odd ower, We alter this method by changingthe transformation Φ to show that S +T is reresented by other binary forms We obtain the following results: Theorem The uadratic form x + y + z reresents a ositive integer m if and only if m is not of the form 4 k 8l+7 for some k,l Z Theorem The uadratic form x +y +z reresents a ositive integer m if and only if m is not of the form 4 k 6l+4 for some k,l Z Theorem 3 a If m is a ositive integer of the form 4 k 8l+5 for some k,l Z and ord 7 m is even then m is reresented by the uadratic form x +y +7z b If m is a ositive integer of the form 4 k 8l+ for some k,l Z and ord 3 m is even then m is reresented by the uadratic form x +y +3z Background The following section serves as a brief introduction to the material resented in the aer Let n N An n ary integral uadratic form, Q, is a homogeneous olynomial of degree two, ie, Q : Z n Z Q : x i j n a i,j x i x j where a i,j Z for all i j n We say Q reresents an integer m if there exists an x Z n such that Q x m A uadratic form Q is ositive definite if iq x 0 for all x Z n, iiq x 0 if and only if x 0 Henceforth, by form we mean ositive definite ternary integral uadratic form

3 Throughout the aer a b refers to the Jacobi symbol Furthermore, a uadratic form Q is multilicative if Q reresents integers a and b imlies that Q reresents ab The following roofs rely on two external theorems, Dirichlet s theorem on rimes in an arithmetic rogression and Minkowski s theorem on convex symmetric bodies We also use the following result: For c,3 and 7, x + cy reresents a ositive integer m if and only if c for all rimes dividing m to an odd ower [3] We end this section with the statement of Dirichlet s and Minkowski s theorems: Theorem Dirichlet, 837: If b,m Z and gcdb,m, then there are infinitely many rimes b mod m [] Before we state Minkowski s convex body theorem we will introduce the following terminology: A lattice, Λ, in R n is a subgrou of R n with a basis {e,e,,e n } such that Λ {a e +a e ++a n e n a i Z for all i n} We call the set T {b e +b e + +b n e n 0 b i < for all i n} the fundamental domain of Λ [6] Theorem Minkowski, 889: Let L be an n dimensional lattice in R n with fundamental domain T, and let X be a bounded symmetric convex subset of R n If volx > n volt then X contains a non-zero oint of L [7] 3 Proofs of Theorems ForTheoremsandwecanlookatthese forms mod 8and mod 6andsee that they do not reresent any ositive integer congruent to 7 mod 8 and 4 mod 6, resectively Thus the roofs of these theorems will rovide necessary and sufficient conditions for a ositive integer to be reresented by these forms We can also see that for any ositive m Z, if x + y + z reresents m then x + y + z reresents m, and if x + y + z reresents m, then x +y +z reresents m Thus, Theorems and can be roven simly by showing which ositive odd integers are reresented by these forms; however, the urose of this aer is to dislay the manner in which Ankeny s techniue can be generalized In the sirit of this urose we comletely rove Theorem using Ankeny s techniue We also use Ankeny s techniue to show which ositive odd integersare reresented by the form x +y +z, but, for brevity s sake, we refer to Theorem when roving which even integers are reresented by the form and leave the Ankeny-style roof to the reader 3 x +y +z Here we wish to rove that the uadratic form x + y + z reresents all ositive integers not of the form 4 k 8l+7 for some k,l Z Proof 3

4 Let m Z, m > 0, where there is no k,l Z such that m 4 k 8l+7 We want to show that x +y +z reresents m Without loss of generality we can assume that m is suarefree We will first consider the case where m 3 mod 8 Let be an odd rime such that > m, mod 8, and for all rimes m we know such a exists by Dirichlet s theorem on rimes in an arithmetic rogression This construction of guarantees that there exists a t Z with t mod m This construction of also guarantees m m m m m m m Thus there exists a b Z by the Chinese Remainder Theorem we can assume b is odd such that b m mod As a result, there exists an h Z such that b h m Looking at this statement modulo we get h mod andso h 0 mod We nowseethath isevenandthush h for some h Z Therefore we have that: b h m We now consider the body, Ω, defined by: Ω {R,S,T R 3 R +S +T < m}, where R tx + bty + mz S x + T b y m y Note that volω 4 3 π m 3 8πm3/ 3 Let Φ : R 3 R 3, where Φ : x,y,z R,S,T, be the function associated to the above transformation We see that Φ x M Φ x where M Φ t 0 bt m b 0 m 0 By looking at Φ as a linear ma we see that M Φ is the standard matrix of Φ Furthermore, detm Φ m m m 3/ 4

5 We now wish to examine Φ Ω Since Ω is a convex symmetric body we know that Φ Ω is as well 3 We see that: vol Φ Ω detm Φ volω m 3/volΩ 8π 3 > 8 3 By Minkowski s theorem on convex symmetric bodies there exist x,y,z Z, not all zero, such that Φx,y,z Ω Let R,S,T : Φx,y,z We see that and also that R +S +T tx +bty + x + by + t x +by + x +by +my x +by + x +by 0 mod m, S +T x +bx y +b +my x +bx y +hy x +bx y +hy my While S,T Z, we can see that S + T Z Thus R + S + T Z, 0 < R + S + T < m and R + S + T 0 mod m We can now conclude that R +S +T m Our goal now is to show that R +S +T is reresented by the uadratic form x +y +z Since R Z we wish to show that S +T is of the form a +b for some a,b Z It will suffice to show that for all rimes dividing S +T to an odd ower We note here that x +y is multilicative and reresents, so we need not consider ; furthermore, S+T m <, and so we need not consider Thus it will suffice to show for all odd rimes v, where v : S +T, ie v x +by +my We will do this in two cases Case m: We see that 0 m R mod ; it follows that m R mod and so m Furthermore, 0 v x +by +my mod so mod Since divides v to an odd ower we know x + by my y 0 mod and thus we can conclude m 3 Since Φ is an invertible linear ma 5

6 Case m: Sincemisassumedsuarefreewecanassume m SinceR +S+T m, weknowr 0 mod Thus R, andso R Furthermore,x +by + my x +by R 0 mod, so x + by Hence, + S +T R + x+by + m y m We now see that m y m mod Thisshowsthat y mod, soy mod and y mod Thus, In both cases by the construction of,thusthereexista,b ZsuchthatS+T a +b Therefore, m is reresented by the form x +y +z, as reuired FURTHER CASES: For m odd: If m,5 mod 8 take to be an odd rime such that > m, mod 8 and m for all rimes m We see that m m m m m m We now roceed as before; however, we take t 4 following transformations: mod m and take the R tx + bty + mz S x + T b y m y For m even: Take m m Since m is assumed suarefree we can assume that m is odd If m,3 mod 8 take to be an odd rime such that mod 8, > m, and m for all m We see that m m m m m m Now take t,b Z such that t mod m and b m mod, where b is even Thus there exists an h Z such that b h m 6

7 We now consider the body defined by: Ω {R,S,T R 3 R + S +T < m } note that volω 6π m 3/ 3 where R tx + bty + m z S x + T b y m y We define Φ to be the function associated to the above transformation We seethat Φ is an invertiblelinear ma and the determinant ofits standard matrix is m 3/, thus the volume of Φ Ω is 6π 3 > 6 3 We now consider the lattice Λ {x,y,z Z 3 x 0 mod } Since [Z 3 : Λ], we know the fundamental domain of Λ has volume and thus we can invoke Minkowski s theorem on convex symmetric bodies to show there exists a nonzero oint x,y,z Λ such that Φx,y,z Ω Let R,S,T : Φx,y,z We see that R + S +T t x +by + x +by + m y t x +by + x +by +m y x +by + x +by 0 mod m and that S +T x +by +m y x +bx y +hy x +bx y +hy Since x is even, we see that S +T Z Since R Z as well, R + S +T Z Moreover, 0 < R + S +T < m, thus we conclude that R + S +T m We now define v : S + T, ie v x + by + m y We now wish to show that S +T is reresented by the binary uadratic form x +y 7

8 As before, it will suffice to show for all odd rimes dividing v to an odd ower We roceed in two cases Case m: Since m R mod, m Furthermore, x +by m y mod It follows that m Case m: By the same argument resented in the m 3 mod 8 case we see that y mod and so y mod By the construction of, In both cases we have Therefore there exist a,b Z such that S +T a + b Since the form x + y is multilicative and reresents we also know there exist a,b Z such that S +T a +b Furthermore, since R + S +T m, R + S + T m Noting that R Z we see m R +a +b Therefore m is reresented by the uadratic form x +y +z, as reuired If m 5 mod 8, take to be an odd rime such that > m, 5 mod 8, and m for all rimes m We see that m m m m The rest of the roof roceeds as above If m 7 mod 8, take to be an odd rime such that > m, 3 mod 8, and for all rimes m We see that m m m m The rest of the roof roceeds as above This comletes the roof of Theorem 3 x +y +z m m We now wish to rove that the uadratic form x + y + z reresents all ositive integers not of the form 4 k 6l+4 for some k,l Z Proof Let m Z, where m > 0 and there is no k,l Z such that m 4 k 6l+4 We wish to rove that m is reresented by the form x +y +z Without loss of generality we can assume that m is suarefree As before we first consider the case where m 3 mod 8 m m m 8

9 Let be an odd rime where > m, mod 8 and for all rimes m Dirichlet s theorem regarding rimes in an arithmetic rogression guarantees us such a Furthermore, this construction of ensures that there exists a t Z such that t mod m We also have: m m m m m m m Thus there exists a b Z where b is even such that b m mod As a result we know b h m for some h Z Since b is even h must be as well We write h h for some h Z and see b h m We now consider the body defined by: Ω {R,S,T R 3 R +S +T < m} note that volω 4 3 π m 3 8 πm 3/ 3 where: R tx + bty + mz S x + T b y m y Let Φ : R 3 R 3, where Φ : x,y,z R,S,T be the function associated to the above transformation Thus, Φ x M Φ x where M Φ t bt m b 0 0 m 0 Since Ω is a convex symmetric body, Φ is as well We see that vol Φ Ω volω detm Φ 8π 3 > 8 Minkowski s theorem on convex symmetric bodies guarantees the existence of x,y,z Z not all zero such that Φx,y,z Ω Let R,S,T : 9

10 Φx,y,z We see that, R +S +T tx +bty + x + by my + and that t x +by + x +by +my t x +by + x +by 0 mod m, S +T 4 x +4bx y +b +my 4 x +4bx y +hy x +bx y +hy Wenowseethat S +T Zand, asbefore, wecanconcludethat R +S +T m Let v : S +T, ie v x +by +my We wish to show that S +T is of the form a +b for some a,b Z As was the case in our roof of Theorem, it will suffice to show for all odd rimes dividing v to an odd ower and we need not consider We will do so in two cases Case m: Since m R m mod, Furthermore, x + by my mod Thus m Case m: Since m is assumed suarefree we know that m Since R +S +T m, R 0 mod and so R Moreover, we know that x +by my x +by 0 mod Thus x +by Noting that R + x+by + m y m, we see that m y m mod, and so y mod Thus In both cases we have for all odd rimes dividing v to an odd ower We now know there exist a,b Z such that S +T a+b Therefore, m is reresented by the uadratic form x +y +z, as reuired FURTHER CASES: For m odd: For m 7 mod 8 take to be an odd rime such that > m, 3 mod 8 and m for all rimes m We see that m m m m m m 0

11 The rest of the roof roceeds as above For m,5 mod 8 take to be an odd rime such that > m, mod 8 and for all rimes m We see that m m m m m m We let t mod m and take the following transformation: R tx + bty + mz m S x + T b y m y The rest of the roof roceeds as above For m even: Take m m By Theorem we know, for m,3,5 mod 8, there exist x,y,z Z such that m x +y +z Thus m x +y +z Therefore, m is reresented by the uadratic form x +y +z This comletes the roof of Theorem 33 x +y +7z and x +y +3z Here we wish to show that if m is a ositive integer of the form 4 k 8l+5 for some k,l Z and ord 7 m is even then m is reresented by the uadratic form x +y +7z and if m is a ositive integer ofthe form 4 k 8l+for some k,l Z and ord 3 m is even then m is reresented by the uadratic form x +y +3z Proof We first seek to rove Theorem 3a Without loss of generality we can assume m suarefree and conseuently that 7 m and m 5 mod 8 Let be an odd rime such that > m, mod 8 and for all rimes m Dirichlet s theorem of rimes in an arithmetic rogression guarantees the existence of By this construction of, there exists a t Z such that t 4 mod m Additionally we see that m 7m m m m m m Thus there is a b Z where b is odd such that b 7m mod This shows us that b h 7m for some h Z Looking at this statement modulo 4

12 we see that b h m mod 4 and so h 0 mod 4 Therefore h 4h for some h Z and b 4h 7m Looking at the above statement modulo 8 we see 4h 4 mod 8, thus h is odd We now consider the body defined by: Ω {R,S,T R 3 R +S +T < m} note that volω 4 3 π m 3 8 πm 3/ 3 where: R tx + bty + mz S x + T b y 7m y Let Φ : R 3 R 3, where Φ : x,y,z R,S,T be the function associated to the above transformation Thus, Φ x M Φ x where M Φ t bt m b 0 0 7m 0 WeseethatdetM Φ 7m 3/ SinceΩisaconvexsymmetricbody, Φ Ω is as well It follows that: vol Φ Ω volω detm Φ 6 π 3 7 > 8 Minkowski s theorem on convex symmetric bodies guarantees that there exist x,y,z Z, not all zero, such that Φx,y,z Ω Let R,S,T : Φx,y,z We see that R +S +T tx +bty + x + by 7my + t x +by + 4 x +by +7my t x +by + 4 x +by 0 mod m,

13 and that S +T 4 4 x +4bx y +b +7my 4 4 x +4bx y +4hy x +bx y +hy Thus S +T Z and, as before, we conclude R+S +T m Since R Z we wish to show S + T is of the form a +7b for some a,b Z It will be 7 sufficient to show that for all rimes dividing S + T to an odd ower Note that m <, so we can assume Furthermore, if S +T x +bx y +hy then x,y since h and b areodd, thus divides S+T to an even ower and so we need not consider We also need not consider 7, as the form x +7y reresents 7 and is multilicative As a result it will suffice to show 7 for all rimes,7, dividing v, where v : 4S +T, ie v x +by +7my We roceed in two cases Case m: We see that x + by 7my mod and m R mod It follows that 7 m Case m: m Note that since m is assumed suarefree Thus, R 0 mod and so R Additionally, x +by +7my x +by 0 mod so x + by We now see that R + 4 x+by + 7 m y m Thus 4 7m y m mod It follows that 7y 4 mod By the construction of, 7 In both cases we see Thus there exist a,b Z such that m 7 a +7b Therefore, m is reresented by the uadratic form x +y +7z, as reuired This comletes the roof of Theorem 3a The roof of Theorem 3b follows the above roof; however, we take to be an odd rime such that > m, mod and for all rimes m It follows that m m m m m m 3m 3

14 and we take the following transformation: R tx + bty + mz S x + T b y 3m y This comletes the roof of Theorem 3 References [] NC Ankeny, Sums of three suares, Proceedings of the American Mathematical Society 8 957, [] TM Aostol, Introduction to Analytic Number Theory, Sringer, New York, 976, 54 [3] PL Clark, J Hicks, H Parshall, and K Thomson, GoNI: Primes reresented by binary uadratic forms, INTEGERS 3 03, A37, 8 [4] B Jones, The regularity of a genus of ositive ternary uadratic forms, Trans Amer Math Soc 33 93, -4 [5] I Kalansky The first nontrivial genus of ositive definite ternary forms, Mathematics of Comutation, , [6] J Martinet, Perfect Lattices in Euclidean Sace, Sringer, New York, 003, [7] I Stewart, D Tall, Algebraic Number Theory and Fermat s Last Theorem, A K Peters, Natick, MA, third edition 00, 39 [8] X Wang, D Pei, Eisenstein series of 3/ weight and one conjecture of Kalansky, Sci China Ser A no 0, G Durham, Deartment of Mathematics, University of Georgia, Athens, GA, address, G Durham: gjdurham@ugaedu 4