arxiv: v1 [math.nt] 13 Sep 2016

Transcription

1 EXPLICIT EVALUATION OF DOUBLE GAUSS SUMS ŞABAN ALACA AND GREG DOYLE arxiv: v [mathnt] 3 S 06 Abstract W rsnt an xlicit valuation of th doubl Gauss sum G(a,b,c;S; n := n x, πis(ax +bxy+cy / n, whr a,b,c ar intgrs such that gcd(a,b,c =, is a rim, n is a ositiv intgr, and S is an intgr corim to Ky words and hrass: Gauss sums; doubl Gauss sums; xonntial sums; binary quadratic forms; quadratic xonntial sums 00 Mathmatics Subjct Classification: L03, L05, T3, E6, E5, D79 Introduction W lt N dnot th st of ositiv intgrs, N 0 th non-ngativ intgrs, Z th intgrs, Q th rational numbrs and C th comlx numbrs Lt a,b,c,s Z, n N and lt b a rim For convninc w st (α := πiα for any α Q Th (quadratic Gauss sum G(S; n is dfind by ( G(S; n := ( Sx Th valuation of G(S; n is wll known and was first dtrmind by Gauss [4] In this ar w valuat a similar sum with binary quadratic form argumnt W dfin th doubl (quadratic Gauss sum G(a,b,c;S; n by ( G(a,b,c;S; n := x, n ( S(ax +bxy +cy n If n S thn w hav (3 G(S; n = = n and G(a,b,c;S; n = x, = n

2 ŞABAN ALACA AND GREG DOYLE If n S thn m S for som m N 0 with m < n, so that S = S/ m Z, and (4 and G(a,b,c;S; n = (5 G(S; n = x, n m = m n m = m ( Sx = n ( S x n m ( S(ax +bxy +cy = x, n = m G(a,b,c;S ; n m ( S x n m = m G(S ; n m x, ( S (ax +bxy +cy n m ( S (ax +bxy +cy n m Thus w may assum that S is corim to and gcd(a,b,c = W writ (a,b,c to dnot gcd(a,b,c Th sum G(a,b,c;S; n was first valuatd by Wbr [6] for b vn, and subsquntly rfind by Jordan [5] around 870 Alaca, Alaca and Williams [] valuatd th sum G(a,b,c;S; n givn th condition 4ac b 0 In ach of ths ars, th main ida is to us a linar chang of variabls to diagonaliz th binary quadratic form (6 Q := Q(x,y = ax +bxy +cy In this fashion, if Q Q = Ax +Cy for som intgrs A and C, thn (7 G(Q;S; n = G(Q ;S; n = G(AS; n G(CS; n Our aroach is similar to thos arlir idas, but our choic for chang of variabls will gnraliz thos rsults in an xlicit fashion Our aroach diffrs from th aroach of Wbr[6] and Jordan[5], who diagonalizd Q rcursivly W first valuat G(a,b,c;S; n for an odd rim, and subsquntly G(a,b,c;S; n It should b notd that rfrncs to th ars [6] and [5] ar rar As thos ars wr writtn in Grman and Frnch, rsctivly, this ar may also srv as a modrn translation of thos idas W may assum that a,b 0, and rmuting cofficints if ncssary, w may also assum that if m a for som m N, thn m c W obsrv that (8 G(a,b,c;S; n = G(a,b,c;S; n, whr a, b and c dnot th rsidu classs of a, b and c modulo n, rsctivly Hnc, w may idntify a,b and c with thir ositiv intgr rsidus modulo n

3 EXPLICIT EVALUATION OF DOUBLE GAUSS SUMS 3 W writa α A (mod n and b β B (mod n, whr α,β N 0 and A,B Z satisfy AB Thus, w may assum that a,b and c ar of th form (9 (a,b,c =, a α A (mod n, b β B (mod n, c 0 (mod α, whr A,B Z satisfy AB, and α,β N 0 W not that (9 imlis that at last on of α,β is zro W us th inquality α β to indicat that α = 0, and similarly w us β α to indicat that β = 0 Finally, th discriminant of th binary quadratic form Q in (6 is dfind by := 4ac b Prliminary Rsults for Gauss Sums ( S For th rmaindr of th ar, w lt dnot th Jacobi-Kronckr Lgndr symbol Th following thorm is th famous d formula first givn by Gauss [4] On can consult th xcllnt monograh by Brndt, Evans and Williams [, 8-8] for an lmntary roof Thorm Lt k N For S Z corim to k, w hav ( S k if k (mod 4 k k ( Sx ( 0 if k (mod 4 G(S;k := = S k k if k 3 (mod 4 ( k k (+i S k if k 0 (mod 4 S Th following corollary is a scial cas of Thorm for k = n Corollary Lt b a rim, n N and S Z corim to If is odd, w hav ( G(S; n n ( n S = i n If =, w hav 0 G(S; n ( if n = = n (+i S n if n > S W now rov som basic rsults for th Gauss sum ( and for its variations Lmma Lt b a rim, n N and S Z b corim to W idntify S with th last ositiv intgr rsidu of th invrs of S modulo n Thn w hav G(S ; n = G(S; n and G(S ; n = G(; n

4 4 ŞABAN ALACA AND GREG DOYLE Proof W first suos that is odd By Corollary, w hav ( S G(S ; n n ( n = i n = G(; n ( ( ( ( S S S S As = =, Corollary yilds G(S ; n = G(S; n W now suos that = If n =, thn w hav G(S; = 0 = G(S ; W assum that n As S( is odd, w ( hav S (mod 8, which imlis that S (mod 8 so that = and furthr that i S = i S, so by S S Corollary, w hav G(S ; n = G(S; n By similar rasoning, on can s that G(S ; n = G(; n Lmma Lt b a rim, n N and S Z corim to Lt α,β N 0 satisfy α,β n If is odd, w hav x 0 (mod α x 0 (mod α ( S β x = n n α if α+β n β G(S; n β if α+β n If =, w hav n ( S β x n α if α+β n = 0 if α+β = n n β G(S; n β if α+β n Proof W first suos that is odd As α n, w hav ( S β x n α ( S α+β x ( = = G(S α+β ; n α x 0 (mod α n n α If α + β n, w s that ( simlifis to n α If α + β n, by (4 and Corollary, w hav G(S α+β ; n α = α+β G(S; n β α = β G(S; n β, whr w hav usd th fact that n β α n β (mod 4 W hav similar rasoning for =, with th xction that if α+β = n thn, by (4 and Corollary, w hav G(S α+β ; n α = 0 Not that if is odd and α+β = n thn both statmnts of Lmma agr Indd, undr this assumtion, w s from Corollary that β G(S; n β = n α G(S; α = n α

5 EXPLICIT EVALUATION OF DOUBLE GAUSS SUMS 5 W mhasiz that th following roof of Lmma 3 is clarly modld aftr th roof of Lmma 3 [, 45-47] in th ar by Alaca, t al Lmma 3 Lt b a rim, n N, w Z and S Z corim to Lt α,β N 0 satisfy α,β n If is odd and α+β n, w hav x w (mod α ( S β x = n If = and α+β n, w hav n ( S β x = x w (mod α n 0 if w 0 (mod α β G(S; n β if w 0 (mod α 0 if w 0 (mod α β G(S; n β if w 0 (mod α Proof W first suos that is odd and α + β n If w 0 (mod α, th statmnt of th lmma is givn by Lmma and so w may assum that α w W hav ( x w (mod α ( S β x n = α ( Sx α n β = α ( wy α α = β α ( wy n β α α ( (x wy α ( Sx xy + n β α ( Sx +xy n α β n β whr w hav usd (4 to xtract β Obsrv that as α + β n, w hav ( n α β 0 (mod n β By comlting th squar modulo n β w obtain, (3 Sx + n α β xy S(x+(S n α β xy (mod n β As x runs ovr a comlt rsidu systm modulo n β, so dos th bracktd xrssion in (3 Thus, ( simlifis to (4 x w (mod α ( S β x n = β α α G(S;n β ( wy Thinnrmost sumof(4isagomtricsum Asw 0 (mod α, thright-hand sid of (4 will rduc to zro, which comlts th first art of th lmma α

6 6 ŞABAN ALACA AND GREG DOYLE W now suos that = and α+β n W rocd in a similar mannr as in th odd rim cas to arriv at n ( Sx = β α ( wy n β ( Sx + n α β xy (5 x w (mod α n α α n β As α+β n, w hav ( n α β 0 (mod n β Comlting th squar as bfor, w obtain (6 Sx + n α β xy S ( x+s n α β y (mod n β Hnc, with (6 w s that (5 simlifis to n ( Sx x w (mod α n = β α α G(S;n β which simlifis to th scond art of th lmma ( wy Lmma 4 Lt b a rim, n N, w Z and S Z corim to Lt α,β N 0 satisfy α,β n If is odd and α+β n, w hav n ( S β ( α x+w = n α, 0 if w 0 (mod α α+β G(S; n β if w 0 (mod α If = and α+β n, w hav n ( S β ( α x+w 0 if w 0 (mod α = n α+β G(S; n β if w 0 (mod α Proof For any rim, from (4 w hav ( S β ( α x+w n β ( S( = β α x+w n n β Hnc, w may rlac n by n β in th statmnts of th lmma to arriv at th sam rsult Thus, w may suos that β = 0 W hav ( S( α x+w n+α ( Sx ( Sx = = α (7 n x w (mod α n x w (mod α Th assrtions of th lmma follow by considring th arity of in (7 with rsct to Lmma 3 W now rov a siml rsult rgarding th doubl gauss sum G(a,b,c;S; n n

7 EXPLICIT EVALUATION OF DOUBLE GAUSS SUMS 7 Lmma 5 Lt b a rim, n N and S Z corim to Lt b Z and writ b β B (mod n for β N 0 and B Z corim to Thn w hav Proof W hav (8 G(0,b,0;S; n = n+β G(0,b,0;S; n = x, ( β Bxy Th rsult is clar whn β = n and so w may assum that β < n Along with (5, th xrssion for G(0,b,0;S; n in (8 will simlify to n β ( Bxy n β n β ( Bxy β = β n β + = n+β, x, n β which comlts th roof y= n n β W now diagonaliz our binary quadratic form Q givn in (6 Thorm Lt Q b th binary quadratic form givn in (6 If a 0, w hav (9 4a Q = (ax+by + y ( a b Proof Lt M := Thn Q = [x y] M b c [x y]t As a 0, w can ( ( 0 a 0 xrss thmatrixm asm = LDL T, whrl = b andd = 0 a a Thrfor, w hav (0 Q = [x y]l D LT [x y] T = ([x y]l D ([x y]lt Lt X := x+ b a y and X := y dnot th chang of variabls givn by L W substitut this into (0 to obtain Q = [X X ] D [X X ] T = ax + 4a X = 4a (ax + 4a X, which comlts th roof Not that on can asily xand th squar and collct lik trms in (9 to show quality Our LDL T diagonalization mthod would gnraliz to a quadratic form in n variabls, with a crtain non-singularity condition It s wll known that any intgral quadratic form is quivalnt to a diagonal quadratic form with rational cofficints [3, 69-70], and so our mthod may work for othr diagonalizations of Q

8 8 ŞABAN ALACA AND GREG DOYLE W look at th quation in (9 modulo a rim owr Allowing for th divisibility of 4a, on can dduc th following corollary from Thorm Corollary Lt Q b th quadratic form givn in (6 and suos a 0 Lt b a rim and n N W writ a = α A for α N 0 and A Z corim to If is odd, w hav If =, w hav α Q (4A (A α x+by +(4A y (mod n+α α+ Q A ( α+ Ax+by +A y (mod n+α+ 3 Exlicit Evaluation of Doubl Gauss Sums Thorm 3 Lt b a rim, n N, S Z corim to and lt a,b,c Z b as in (9, namly (a,b,c =, a α A (mod n, b β B (mod n, c 0 (mod α, whr A,B Z satisfy AB, and α,β N 0 Not that if n a, thn by convntion w st α = n and A = W st := 4ac b If is odd, w hav G(a,b,c;S; n = G(SA; n α G(SA ; n+α If =, w hav G(a,b,c;S; n 4 G(SA;n α G(SA ; n+α+ if α+ < n = ( c (+( b+ if α+ n = n if α+ n > Proof W first suos that is odd By (, (5 and Corollary, w hav G(a,b,c;S; n = ; n+α αg(a,b,c;sα = n+α ( S((4A (A α x+by +(4A y α n+α (3 x, = n+α ( S(4A y n+α α n+α Assum that α β W hav ( S(4A (A α x+ β By A α x+ β y α (Ax+ β α By (mod n+α n+α As x runs ovr a comlt rsidu systm modulo n+α, so dos Ax+ β α By for any fixd valu of y Thrfor, with (4 and Lmma, (3 will simlify to th statmnt of th thorm

9 EXPLICIT EVALUATION OF DOUBLE GAUSS SUMS 9 Assum now that β < α and in articular this mans β = 0 which in turn imlis (, = As α n, by Lmma 4, w s that th innrmost sum of (3 is non-zro if and only if y 0 (mod α In such an instanc, along with Lmma, th sum indxd by x in (3 will b givn by α G(SA; n+α Hnc, by modifying th indx of th outrmost sum in (3 by this congrunc condition, th doubl sum in (3 will simlify to (3 α G(SA;n+α Obsrv that by Corollary, w hav (33 αg(sa;n+α = ( SA n+α ı( = G(SA; n α n+α y 0 (mod α n+α n α = ( S(4A y n+α ( SA n α ı( n α n α As α n, w may us Lmma to simlify th sum indxd by y in (3 Thus, with (33 and Lmma, (3 will simlify to G(SA; n α G(SA ; n+α W now suos that = If α = n, thn β = 0 so that b is odd Additionally, c is vn, and so th statmnt of th thorm will agr with Lmma 5 for all n Thus, w may assum without loss of gnrality that α < n Similar to th abov, with ( and Corollary, w dduc that G(a,b,c;S; n is givn by (34 n+α+ ( SA y n+α+ (α+ n+α+ ( ( SA α+ Ax+ β By n+α+ If α+ β, thn w can xtract a common factor of α+ as bfor so that with (4 and Lmma, (34 will simlify to (α+ G(SA ;n+α+ G(SA (α+ ; n+α+ = 4 G(SA ;n+α+ G(SA; n α Suos instad that β < α +, so that w hav β = 0 and odd W look to valuat th innrmost sum in (34 If α + n, by Lmma 4, w hav that (34 simlifis to (35 α+3 G(SA;n+α+ n+α+ y 0 (mod α ( SA y n+α+

10 0 ŞABAN ALACA AND GREG DOYLE Subsquntly, as α < n, by Lmma, (35 will simlify to (36 α+3 G(SA;n+α+ G(SA ; n+α+ = 4 G(SA;n α G(SA ; n+α+, whr w hav simlifid with Corollary and Lmma as ncssary Thus, suos now that α+ = n and obsrv that w cannot us Lmma 4 in this cas If n =, thn a is odd and hnc ( S(ax+bxy +cy G(a,b,c;S; = = +( a +( c +( a+b+c x, = ( c (+( b+, which agrs with th statmnt of th thorm Othrwis, if α+ = n > w hav β = 0, so that n ( S( G(a,b,c;S; n n Ax +Bxy +cy = (37 = x, n ( Scy n n n ( SBxy ( x Th sum indxd by x in (37 can b writtn as n ( SBxy n ( SBxy n ( SBxy = (38 x vn n x odd n = x vn n n y 0 (mod n n n n y 0 (mod n ( SBxy By assumtion, ( w hav α c so w may writ c c α (mod n for som intgr Scy c Hnc, = ( cy Thus, togthr with (38, braking u th sum n in (37 according to th arity of y yilds ( (39 G(a,b,c;S; n = n y vn n y 0 (mod n +( c n y odd ( n y 0 (mod n n y 0 (mod n n y 0 (mod n n

11 EXPLICIT EVALUATION OF DOUBLE GAUSS SUMS As n, th scond trm of (39 vanishs, and w r lft with ( G(a,b,c;S; n = n n = n y 0 (mod n n y 0 (mod n = n+ n = n, which agrs with th statmnt of th thorm n y 0 (mod n n n y 0 (mod n W obsrv that for odd, Thorm 3 agrs with Lmma 5 if α = n First, not that α > 0 imlis β = 0 and so is corim to Thus, by Corollary, th statmnt of Thorm 3 simlifis to G(SA; n α G(SA ; n+α = G(SA ; n = n Continuing in this mannr, w hav th following corollary Corollary 3 Lt b a rim, n N, S Z corim to and lt a,b,c Z b as in (9, namly (a,b,c =, a α A (mod n, b β B (mod n, c 0 (mod α, whr A,B Z satisfy AB, and α,β N 0 W rcall our convntion that if n a, thn w st α = n and A = W also rcall that := 4ac b W writ δ D (mod n+α if is odd δ D (mod n+α+ if =, whr D Z satisfis D, and δ N 0 If is odd, w hav G(a,b,c;S; n = n+δ ( SA δ ( D n+α+δ ( (n+α(δ+ i( δ If = and α+ < n, w hav ( δ 3n+α (+ı SA if δ = n+α+ SA G(a,b,c;S; n = 0 if δ = n+α+ ( δ ( n+α+δ n+δ ı SA(D+ if δ n+α SA D

12 ŞABAN ALACA AND GREG DOYLE If = and α+ n, w hav G(a,b,c;S; n n if α+ n > = ( c (+( b+ if α+ n = Proof Suos is odd From Thorm 3, (4 and Corollary, w hav G(a,b,c;S; n = G(SA; n α G(SA δ D; n+α n+α G(SA; n α if δ = n+α = δ G(SA; n α G(SAD; n+α δ if δ < n+α ( 3n+α SA n+αi ( n+α if δ = n+α (30 = ( δ ( n+α+δi ( n+α n+δ i( n+α+δ if δ < n+α SA D Obsrv that th cass in (30 will agr whn δ = n+α Subsquntly, w hav ( ( n+α n+α i i( n+α+δ if δ vn (3 = ( δ i if δ odd ( (n+α(δ+ = i( δ Hnc, with (30 and (3 w may dduc th statmnt of th corollary Suosnow = andα+ < n Notthatthisimlisn ByThorm3, (4 and Corollary, w hav G(a,b,c;S; n = 4 G(SA;n α G(SA δ D; n+α+ n+α G(SA; n α if δ = n+α+ = 0 if δ = n+α+ δ G(SA; n α G(SAD; n+α+ δ if δ n+α ( 3n+α n+α(+ı SA SA if δ = n+α+ (3 = 0 if δ = n+α+ n+δ ( δ ( n+α+δ(+i SA D SA (+i SAD if δ n+α Dnding on th rsidu class of D modulo 4, w hav (+i SA (+i SAD ı SA if D (mod 4 (33 = if D 3 (mod 4 Thus, with (3 and (33 w may dduc th statmnt of th corollary Finally th cas = and α+ n follows immdiatly from Thorm 3

13 EXPLICIT EVALUATION OF DOUBLE GAUSS SUMS 3 W not that th rsults of Thorm 3 and Corollary 3 agr with th rsults of Wbr [6, ] and Alaca, t al [, 9-3] 4 Examls W rovid a fw xamls to illuminat our mthod Examl 4 ( Suos that Q := Q(x,y = x +xy +y, so that a = b = c = Thus M = is th symmtric intgral matrix associatd with Q, and = 3 For > 3, w tak A =, D = 3 and α = δ = 0 in Corollary 3 to obtain ( n 3 (4 G(,,;S; n = n For = 3, w tak A =, D =, α = 0 and δ = in Corollary 3 to obtain ( G(,,;S;3 n = 3 n+ S (4 i 3 Finally, for =, w assum for th sak of discussion that n W tak A =, D = 3 and α = δ = 0 in Corollary 3 to obtain (43 G(,,;S; n = n ( 3 n = ( n n Altrnativly, w can us Thorm 3 and subsquntly Thorm to obtain th sam rsults W not that (4 and (4 ar givn by Corollary (i [, 37], and (43 agrs with Corollary 3(i [, 5] of Alaca, t al Examl 4 Suos( that Q := Q(x,y = 3x + xy + 3y, so that a = c = 3 6 and b = Thus M = is th symmtric intgral matrix associatd with 6 Q, and = 35 For > 7, w tak A = 3, D = 35 and α = δ = 0 in Corollary 3 to obtain ( n 35 G(3,,3;S; n = n For = 7, w tak A = 3, D = 5, α = 0 and δ = in Corollary 3 to obtain ( ( n+ ( G(3,,3;S;7 n = 7 n+ 3S 5 S 7 i = ( n 7 n For = 5, w tak A = 3, D = 7, α = 0 and δ = in Corollary 3 to obtain ( ( n+ ( G(3,,3;S;5 n = 5 n+ 3S 7 S 5 = ( n 5 n 5 5 5

14 4 ŞABAN ALACA AND GREG DOYLE Finally, for =, and assuming n, w tak A = 3, D = 35 and α = δ = 0 in Corollary 3 and w conclud that G(3,,3;S; n = n ( 35 n = ( n n Altrnativly, w can us Thorm 3 and Thorm to obtain th sam rsults 5 Rmarks It is straightforward to dduc th following thorm using our mthod Thorm 5 Lt k N b odd, and a,b,c Z b as in (9 If (a,k =, thn ( G(a,b,c;S;k = k k Proof Using th aroach of Thorm 3, w obtain which comlts th roof G(a,b,c;S;k = G(Sa;k G(Sa ;k ( ( Sa = ı (k k Sa ı (k k k k ( = k, k W lan to show in an ucoming ar how w may us our mthod to giv an xlicit valuation of a quadratic form Gauss sum in n variabls W also lan on dmonstrating how w may us our valuation of th doubl Gauss sum G(a,b,c;S; n to dtrmin an xlicit formula for th numbr of solutions to th congrunc ax +bxy +cy k (mod n for a givn intgr k Acknowldgmnts Th rsarch of Şaban Alaca was suortd by a Discovry Grant from th Natural Scincs and Enginring Rsarch Council of Canada (RGPIN Rfrncs [] A Alaca, Ş Alaca and K S Williams, Doubl Gauss Sums, J Comb Numbr Thory 6 (04, 7-53 [] B C Brndt, R J Evans and K S Williams, Gauss and Jacobi Sums, Canad Math Soc Sris of Monograhs and Advancd Txts, Wily, Nw York, 998 [3] L E Dickson, Modrn Algbraic Thoris, B H Sanborn & Co, Chicago, 96 [4] C F Gauss, Summatio Quarumdam Srirum Singularium, Commnt Soc Rg Sci Gottingnsis (8 [5] C Jordan, Sur ls somms d Gauss à lusiurs variabls, Comts rndus hbdomadairs ds séancs d l Académi ds scincs 73 (87, 36-39

15 EXPLICIT EVALUATION OF DOUBLE GAUSS SUMS 5 [6] H Wbr, Übr di mhrfachn Gaussischn Summn, J Rin Angw Math 74(87, 4-56 Şaban Alaca and Grg Doyl School of Mathmatics and Statistics Carlton Univrsity, Ottawa Ontario, KS 5B6, Canada SabanAlaca@cuntcarltonca gdoyl@mathcarltonca