arxiv: v3 [math.nt] 27 Jul 2013

Transcription

1 THE GRAPHIC NATURE OF GAUSSIAN PERIODS WILLIAM DUKE, STEPHAN RAMON GARCIA, AND BOB LUTZ arxiv: v3 [math.nt] 27 Jul 2013 Abstract. Rct work has show that th study of surcharactrs o ablia grous rovids a atural framwork withi which to study crtai xotial sums of itrst i umbr thory. Our aim hr is to iitiat th study of Gaussia riods from this ovl rsctiv. Amog othr thigs, our aroach rvals that ths classical objcts dislay dazzlig visual attrs of grat comlxity ad rmarkabl subtlty. 1. Itroductio Th thory of surcharactrs, which gralizs classical charactr thory, was rctly itroducd i a axiomatic fashio by P. Diacois ad I.M. Isaacs [6], xtdig th smial work of C. Adré [1, 2]. Rct work has show that th study of surcharactrs o ablia grous rovids a atural framwork withi which to study th rortis of crtai xotial sums of itrst i umbr thory [4, 8] (s also [7] ad Tabl 1). Our aim hr is to iitiat th study of Gaussia riods from this ovl rsctiv. Amog othr thigs, this aroach rvals that ths classical objcts dislay a dazzlig array of visual attrs of grat comlxity ad rmarkabl subtlty (s Figur 1). Lt G b a fiit grou with idtity 0, K a artitio of G, ad X a artitio of th st IrrGq of irrducibl charactrs of G. Th ordrd air X, Kq is calld a surcharactr thory for G if t0u P K, X K, ad for ach X P X, th fuctio σ X χ0qχ χpx is costat o ach K P K. Th fuctios σ X ar calld surcharactrs of G ad th lmts of K ar calld surclasss. Lt G Z{Z ad rcall that th irrducibl charactrs of Z{Z ar th fuctios χ x yq xy q for x i Z{Z, whr θq x2πiθq. For a fixd subgrou A of Z{Zqˆ, lt K dot th artitio of Z{Z arisig from th actio a x ax of A. Th actio a χ x χ a 1 x of A o th irrducibl charactrs of Z{Z yilds a comatibl artitio X. Th radr ca vrify that X, Kq is a surcharactr thory o Z{Z ad that th corrsodig surcharactrs ar giv by σ X yq xy, (1) xpx whr X is a orbit i Z{Z udr th actio of A. Wh is a odd rim, (1) is a Gaussia riod, a ctral objct i th thory of cyclotomy. For kd ` 1, Gauss dfid th d-omial riods η j ř d 1 ζgkl`j l0, whr ζ 1 q ad g dots a rimitiv root modulo [3, 5]. Clarly η j rus ovr th sam valus as Partially suortd by Natioal Scic Foudatio Grats DMS , DMS , ad DMS

2 2 W. DUKE, S. R. GARCIA, AND BOB LUTZ σ X yq wh y 0, A d, ad X A1 is th A-orbit of 1. For comosit moduli, th fuctios σ X attai valus which ar gralizatios of Gaussia riods of th ty cosidrd by Kummr ad othrs (s [10]). (a) 52059, A x766y (b) 91205, A x2337y (c) 70091, A x3447y (d) 91205, A x39626y () 91205, A x1322y (f) 95095, A x626y (g) 82677, A x8147y (h) 70091, A x21792y (i) 51319, A x430y Figur 1. Each subfigur is th imag of σ X : Z{Z Ñ C, whr X is th orbit of 1 udr th actio of a cyclic subgrou A of Z{Zqˆ. If σ X yq ad σ X y 1 q diffr i color, th y ı y 1 mod mq, whr m is a fixd divisor of. Wh visualizd as substs of th comlx la, th imags of ths surcharactrs xhibit a surrisigly divrs rag of faturs (s Figur 1). Th mai uros of this ar is to iitiat th ivstigatio of ths lots, focusig our atttio o th cas whr A xay is a cyclic subgrou of Z{Zqˆ. W rfr to surcharacrs which aris i this mar as cyclic surcharactrs. Th shr divrsity of attrs dislayd by cyclic surcharactrs is ovrwhlmig. To som dgr, ths circumstacs forc us to focus our iitial fforts o documtig th otabl faturs that aar ad o xlaiig thir umbr-thortic origis. O such thorm is th followig.

3 THE GRAPHIC NATURE OF GAUSSIAN PERIODS 3 Nam Exrssio G A Gauss d 1 ˆ gkl`j η j l0 Z{Z ozro kth owrs mod Ramauja c xq j1 j,q1 1 Kloostrma K a, bq l0 ˆ jx al ` bl 1 ˆ al Hilbro H aq l0 2 Z{Z Z{Zqˆ " j * u 0 Z{Zq 2 0 u 1 : u P Z{Zqˆ Z{ 2 Z ozro th owrs mod 2 Tabl 1. Gaussia riods, Ramauja sums, Kloostrma sums, ad Hilbro sums aar as surcharactrs arisig from th actio of a subgrou A of Aut G for a suitabl ablia grou G. Hr dots a odd rim umbr. Thorm 1.1. Suos that q a is a odd rim owr ad that σ X is a cyclic surcharactr of Z{qZ. If X d is rim ad d, th th imag of σ X is boudd by th d-cusd hyocycloid aramtrizd by θ ÞÑ d 1q iθ ` id 1qθ. I fact, for a fixd rim m, as th modulus q 1 mod dq tds to ifiity th corrsodig surcharactr imags bcom ds i th filld hyocycloid i a ss that will b mad rcis i Sctio 6 (s Figurs 2 ad 9). (a) 2791, A x800y (b) 27011, A x9360y (c) , A x61576y Figur 2. Grahs of cyclic surcharactrs σ X : Z{Z Ñ C whr X A1. Th rcdig rsult is itslf a scial cas of a much mor gral thorm (Thorm 6.3) which rlats th asymtotic bhavior of cyclic surcharactr lots to th maig rortis of crtai multivariat Laurt olyomials, rgardd as comlx-valud fuctios o suitabl high-dimsioal tori. 2. Multilicativity ad stig lots Our first ordr of busiss is to dtrmi wh ad i what mar th imag of o cyclic surcharactr lot ca aar i aothr. Crtai cyclic surcharactrs

4 4 W. DUKE, S. R. GARCIA, AND BOB LUTZ hav a aturally multilicativ structur. Wh combid with Proositio 2.4 ad th discussio i Sctio 6, th followig rsult rovids a comlt ictur of ths surcharactrs. Followig th itroductio, w lt X Ar dot th orbit of r i Z{Z udr th actio of a cyclic subgrou A of Z{Zqˆ. Thorm 2.1. Lt σ X b a cyclic surcharactr of Z{Z, writig ś k j1 aj j i stadard form ad X xωy. For ach j, lt ψ j : Z{Z Ñ Z{ aj j Z b th atural homomorhism, lt x j b th multilicativ ivrs of { aj j mod aj j q, ad writ X j xψ j ωqyx j ψ j rq. If th orbit sizs X j ar airwis corim, th σ X yq kź σ Xj `ψj yq. j1 Proof. W rov th thorm for 1 2 a roduct of distict rims; th gral argumt is similar. Lt ψ ψ 1, ψ 2 q b th rig isomorhism giv by th Chis Rmaidr Thorm, ad lt d X, d 1 ψ 1 Xq ad d 2 ψ 2 Xq. W hav σ X1`ψ1 yq σ X2`ψ2 yq d 1 1 j0 d 1 1 j0 d 1 1 j0 d 1 1 j0 d 1 l0 ˆψ1 ω j ryqx 1 d 2 1 k0 d 2 1 k0 d 2 1 k0 1 d2 1 k0 ˆψ2 ω k ryqx 2 2 ˆψ1 ω j ryqx 1 ` ψ2ω k ryqx ψ 1`ψ 1 ω j ryq, ψ 2 ω ryq k ψ 1`ψ 1 ωq j, ψ 2 ωq k ry ˆωl ry σ X yq. Th followig asy rsult tlls us that w obsrv all ossibl grahical bhavior, u to scalig, by studyig cass whr r 1 (i.., whr X A as sts). Proositio 2.2. Lt r blog to Z{Z, ad suos that r, q d for som ositiv divisor d of, so that ξ rd is a uit modulo. Also lt ψ : Z{Z Ñ Z{dZ b th atural homomorhism. (i) Th imags of σ Ar, σ Ar,q, ad σ ψd Aq1 ar qual. (ii) Th imag i (i), wh scald by A ψ d Aq, is a subst of th imag of σ Aξ. Examl 2.3. Lt Each lot i Figur 3 dislays th imag of a diffrt cyclic surcharactr σ X, whr X x319yr. If d r{, rq, th Proositio 2.2(i) says that ach imag quals that of a cyclic surcharactr σ X 1 of Z{dZ, whr X 1 xψ d 319qy1. Proositio 2.2(ii) says that ach sts i th imag i Figur 3(f).

5 THE GRAPHIC NATURE OF GAUSSIAN PERIODS 5 (a) r 37 (b) r 7 (c) r 5 (d) r 3 () r 4 (f) r 1 Figur 3. Grahs of cyclic surcharactrs σ X of Z{62160Z, whr X x319yr. Each imag sts i Figur 3(f), as r Proositio 2.2(ii). S Figur 1 for a brif discussio of colorizatio. Bcaus of Thorm 2.1, w ar mostly itrstd i rim owr moduli. Th followig rsult imlis that th imag of ay cyclic surcharactr o Z{ a Z is a scald coy of o whos boudary is giv by Thorm 6.3. Proositio 2.4. Lt b a odd rim, a ą b ogativ itgrs, ad ψ th atural homomorhism from Z{ a Z to Z{ a b Z. If σ X is a cyclic surcharactr of Z{ a b Z, whr X A1 with bˇˇ X ad a b 1 mod ϕxq q, th σ X Z{ a Zq t0u Y b σ ϕxq Z{ a b Zq. Proof. Lt k 1q. If X k b, th A ψ 1 A 1 q, whr A 1 is th uiqu subgrou of Z{ a b Zqˆ of ordr k. Lt X 1 A 1 1 (i.., X 1 ϕxq), so that W hav X tx ` j a b : x P X 1, j 0, 1,..., b 1u. σ X yq b 1 xpx 1 j0 b 1 j0 ˆjy b ˆx ` j a b qy xpx 1 a ˆxy a # b σ X 1ψyqq, if b y 0, ls.

6 6 W. DUKE, S. R. GARCIA, AND BOB LUTZ 3. Symmtris W say that a cyclic surcharactr σ X : Z{Z Ñ C has k-fold dihdral symmtry if its imag is ivariat udr th atural actio of th dihdral grou of ordr 2k. I othr words, σ X has k-fold dihdral symmtry if its imag is ivariat udr comlx cojugatio ad rotatio by 2π{k about th origi. If X is th orbit of r, whr r, q d for som odd divisor d of, th σ X is grally asymmtric about th imagiary axis, as vidcd by Figur 4. (a) 68913, A x88y (b) 20485, A x4609y (c) 51319, A x138y (d) 51319, A x27y () 44161, A x608y (f) N 16383, A x2y Figur 4. Grahs of σ X : Z{Z Ñ C, whr X Ar, fixig r 1 (clos isctio rvals that (E) joys o rotatioal symmtry). Proositio 3.1. If σ X is a cyclic surcharactr of Z{Z, whr X xωyr, th σ X has ω 1, q-fold dihdral symmtry. r,q Proof. Lt d {r, q. If k ω 1, dq, th ω, ad hc vry lmt of xωy, has th form jk ` 1. Sic r ξ{d for som uit ξ, ach x i X has th form ξ{dqjk ` 1q. If y 1 y ` d{k, th y 1 y d{k 0 mod q, i which cas It follows that whc ξ d jk ` 1q ˆ y 1 y d k 0 mod q. ˆξ jk ` 1q `y1 y ξ 0 mod q, d k ξ d jk ` 1qy1 ξ d jk ` 1qy ` ξ jk ` 1q k mod q

7 THE GRAPHIC NATURE OF GAUSSIAN PERIODS 7 ξ ξ jk ` 1qy ` mod q, d k Sic th fuctio is riodic with riod 1, w hav ˆ ˆ xy 1 ˆ xy ` ξ{k xy ξ. k xpx xpx xpx I othr words, th imag of σx is ivariat udr coutrclockwis rotatio by 2πξ{k about th origi. If mξ 1 mod kq, th th grah is also ivariat udr coutrclockwis rotatio by m 2πξ{k 2π{k. Dihdral symmtry follows, sic for all y i Z{Z, th th imag of σx cotais both σx yq ad σx yq σx yq. Examl 3.2. For m 1, 2, 3, 4, 6, 8, 12, lt Xm dot th orbit of 1 udr th actio of x4609y o Z{20485mqZ. Cosidr th cyclic surcharactr σx1, whos grah aars i Figur 4(b). W hav 20485, 4608q , q 1, so Thorm 3.1 guarats that σx1 has 1-fold dihdral symmtry. It is visibly aart that σx has o rotatioal symmtry. Figurs 5(a) to 5(f) dislay th grahs of σxm i th cass m 1. For ach such m, th grah of σxm cotais a scald coy of σx1 by Thorm 2.2 ad has m-fold dihdral symmtry by Thorm 3.1, sic 20485m, 4608q m. It is vidt from th associatd figurs that m is maximal i ach cas, i th ss that σxm havig k-fold dihdral symmtry imlis k ď m. (a) (b) (c) (d) () (f) Figur 5. Grahs of cyclic surcharactrs σx of Z{Z, whr X x4609y1. O ca roduc dihdrally symmtric imags cotaiig th o i Figur 4(b), ach rotatd coy of which is colord diffrtly.

8 8 W. DUKE, S. R. GARCIA, AND BOB LUTZ 4. Ral ad imagiary surcharactrs Th imags of som cyclic surcharactrs ar substs of th ral axis. May othrs ar substs of th uio of th ral ad imagiary axs. I this sctio, w stablish sufficit coditios for ach situatio to occur ad rovid xlicit valuatios i crtai cass. Lt σ X b a cyclic surcharactr of Z{Z, whr X Ar. If A cotais 1, th it is immdiat from (1) that σ X is ral-valud. Examl 4.1. Lt X b th orbit of 3 udr th actio of x164y o Z{855Z. Sic mod q, it follows that σ X is ral-valud, as suggstd by Figur 6(a). Examl 4.2. If A x 1y ad X Ar whr r 2, th X t r, ru ad σ X yq 2 cos2πry{q. Figur 6(b) illustrats this situatio. (a) 855, A x164y (b) 105, A x104y (c) 121, A x94y Figur 6. Grahs of cyclic surcharactrs σ X of Z{Z, whr X A1. Each σ X is ral-valud, sic ach A cotais 1. W tur our atttio to cyclic surcharactrs whos valus, if ot ral, ar urly imagiary (s Figur 7). To this d, w itroduc th followig otatio. Lt k b a ositiv divisor of, ad suos that I this situatio, w hav A xj 0 {k 1y, for som 1 ď j 0 ă k. (2) j 0 {k 1q m 1q m `mod k, so that vry lmt of A has ithr th form j k ` 1 or j k 1, whr 0 ď j ă k. I this situatio, w writ A tj{k ` 1 : j P J`u Y tj{k 1 : j P J u (3) for som substs J` ad J of t0, 1,..., k 1u. Th coditio (3) is vacuous if k. Howvr, if k ă ad j 0 ą 1 (i.., if A is otrivial), th it follows that 1q A 1 mod k q, whc A is v. I articular, this imlis J` J. Th substs J` ad J ar ot cssarily disjoit. For istac, if A x 1y t 1, 1u, th (3) holds whr k 1 ad J` J t0u. I gral, J` must cotai 0, sic A must cotai 1. Th followig rsult is tyical of thos obtaid by imosig rstrictios o J` ad J. Proositio 4.3. Lt σ X b a cyclic surcharactr of Z{Z, whr X Ar, ad suos that (3) holds, whr k is v ad J k 2 J`. (i) If r is v, th th imag of σ X is a subst of th ral axis. (ii) If r is odd, th σ X yq is ral whvr y is v ad urly imagiary whvr y is odd. Proof. Each x i X has th form j{k ` 1qr or k{2 jq {k ` 1q r. If y 2m for som itgr m, th for vry summad xy{q i th dfiitio of σ X yq havig th form 2mj{k ` 1qr{q, thr is o of th form 2m{2 j{k ` 1qr{q, its comlx cojugat. From this w dduc that σ X yq is ral whvr y is v. If y 2m ` 1, th for vry summad of th form 2m ` 1q j{k ` 1q r{q, thr

9 THE GRAPHIC NATURE OF GAUSSIAN PERIODS 9 is o of th form 2m ` 1q{2 j{k ` 1qr{q. If r is odd, th th lattr is th formr rflctd across th imagiary axis, i which cas σ X yq is urly imagiary. If r is v, th th lattr is th cojugat of th formr, whc σ X yq is ral. (a) 912, A x71y (b) 400, A x39y (c) 552, A x275y Figur 7. Grahs of cyclic surcharactrs σ X : Z{Z Ñ C whos valus ar ithr ral or urly imagiary. Examl 4.4. I th cas of Figur 7(a), w hav 912, r 1, k 38, j 0 3, J` t0, 2, 12, 16, 20, 22, 24, 26, 32u, ad J t3, 7, 17, 19, 25, 31, 33, 35, 37u, so th hyothss of Proositio 4.3(ii) hold. A xlicit valuatio of σ X is availabl if J` Y J t0, 1,..., k 1u. Th followig rsult, rstd without roof, trats this situatio (s Figur 7(b)). Proositio 4.5. Suos that k ą 2 is v, ad that (3) holds whr J` is th st of all v rsidus modulo k ad J is th st of all odd rsidus. If X is th orbit of a uit r udr th actio of A o Z{Z, th $ & k cos 2πry if k y, σ X yq ik si 2πry if y k 2 mod kq, % 0 othrwis. 5. Elliss Discrtizd lliss aar frqutly i th grahs of cyclic surcharactrs. Ths, i tur, form rimitiv lmts from which mor comlicatd surcharactr lots mrg. I ordr to rocd, w rcall th dfiitio of a Gauss sum. Suos that m ad k ar itgrs with k ą 0. If χ is a Dirichlt charactr modulo k, th th Gauss sum associatd with χ is giv by k Gm, χq l1 χlq ˆlm k If is rim, th quadratic Gauss sum gm; q ovr Z{Z is giv by gm; q gm, χq, whr χaq is th Lgdr symbol of a ad. That is, a gm; q k 1 l0 2 ˆml..

10 10 W. DUKE, S. R. GARCIA, AND BOB LUTZ W rquir th followig wll-kow rsult [3, Thm ]. Lmma 5.1. If 1 mod 4q is rim ad m, q 1, th ˆm?. gm; q Proositio 5.2. Suos that ad 1 mod 4q is rim. Lt ˆm Q tm P Z{Z : 1u dot th st of distict ozro quadratic rsidus modulo. If (3) holds whr J` taq ` b : q P Q u ad J tcq b : q P Q u (4) c for itgrs a, b, c corim to with, th σ X yq blogs to th ral a itrval r1, 1s whvr y, ad othrwis blogs to th llis dscribd by th quatio R zq 2 ` Im zq 2 { 1. Proof. For all y i Z{Z, w hav σ X yq xy xpa 1 j ` y ` jpj` jpj ˆaq ` bqy ` y ` qpq ˆby ` y ˆaqy ` whr θ y b`qy 1q{2 θ y q σ X yq l1 1q 2 qpq ˆal 2 y j qpq 1q{2 ` θ y q 1qy ˆcq bqy y ˆ by y l1. If y, th θ y q y q ad al2 y ˆ y ` If ot, th, yq 1 so that Lmma 5.1 yilds ˆcl 2 y qpq, ˆcqy q cl2 y q 1, so y 1q cos 2πy. σ X yq θ yq gay; q 1q ` θ y qgcy; q 1q 2 θ yqgay; q ` θ y qgcy; q cos 2πθ y? 2 ˆˆay ˆcy θ 2 y q ` θ y q cos 2πθ y? ˆy θ y q θ y q cos 2πθ y 2 ˆy? i si 2πθy cos 2πθ y,

11 THE GRAPHIC NATURE OF GAUSSIAN PERIODS 11 (a) 1535, A x613y (b) 559, A x171y (c) 770, A x153y (d) , A x613y () , A x171y (f) , A x1693y Figur 8. Grahs of cyclic surcharactrs σ X of Z{Z, whr X A1. Proositios 2.2, 3.1 ad 5.2 ca b usd to roduc surcharactrs whos imags fatur llitical attrs. Examl 5.3. Lt d ad cosidr th orbit X of r 1 udr th actio of A x63y x 17 1y o Z{Z. I this situatio, illustratd by Figur 8(a), (3) holds with J` t0, 4u 2Q 5 ` 2 ad J t2, 4u Q 17 ` 3. Figur 8(b) illustrats th situatio J` Q 13 ` 3 ad J 2Q 13 3, whil Figur 8(c) illustrats J` Q 5 `1 ad J 2Q 2 1. Th rmaidr of Figur 8 dmostrats th ffct of usig Proositios 2.2, 3.1 ad 5.2 to roduc surcharactrs whos imags fatur lliss. 6. Asymtotic bhavior W ow tur our atttio to a tirly diffrt mattr, amly th asymtotic bhavior of cyclic surcharactr lots. To this d w bgi by rcallig svral dfiitios ad rsults cocrig uiform distributio modulo 1. Th discrcy of a fiit subst S of r0, 1q m is th quatity DSq su B ˇ B X S S µbq ˇ, whr th surmum rus ovr all boxs B ra 1, b 1 qˆ ˆra m, b m q ad µ dots m-dimsioal Lbsgu masur. W say that a squc S of fiit substs of r0, 1q d is uiformly distributd if lim Ñ8 DS q 0. If S is a squc of fiit substs i R m, w say that S is uiformly distributd mod 1 if th corrsodig squc of sts tx 1 u, tx 2 u,..., tx d uq : x 1, x 2,..., x m q P S ( is uiformly distributd i r0, 1q m. Hr txu dots th fractioal art x txu of a ral umbr x. Th followig fudamtal rsult is du to H. Wyl [13].

12 12 W. DUKE, S. R. GARCIA, AND BOB LUTZ Lmma 6.1. A squc of fiit sts S i R m is uiformly distributd modulo 1 if ad oly if 1 lim u vq 0 Ñ8 S ups for ach v i Z m. I th followig, w suos that q a is a ozro owr of a odd rim ad that X d is a divisor of 1. Lt ω q dot a rimitiv dth root of uity modulo q ad lt " * l S q q 1, ω q, ωq, 2..., ωq ϕdq 1 q : l 0, 1,..., q 1 Ď r0, 1q ϕdq whr ϕ dots th Eulr totit fuctio. Th followig lmma of Myrso, whos roof w hav adatd to suit our otatio, ca b foud i [11, Thm. 12]. Lmma 6.2. Th sts S q for q 1 mod dq ar uiformly distributd modulo 1. Proof. Fix a ozro vctor v a 0, a 1,..., a ϕdq 1 q i Z ϕdq ad lt Lt r q{q, fω q qq, ad obsrv that ftq a 0 ` a 1 t ` ` a ϕdq 1 t ϕdq 1. ups q u vq q 1 l0 ˆfωq ql q q{r 1 m`1qr 1 ˆfωq ql r m0 lmr q r 1 ˆfωq ql r r l0 # q if q fω q q, 0 ls. Havig fixd d ad v, w claim that th sum abov is ozro for oly fiitly may q 1 mod dq. Lttig Φ d dot th dth cyclotomic olyomial, rcall that dg Φ d ϕdq ad that Φ d is th miimal olyomial of ay rimitiv dth root of uity. Clarly th gcd of ftq ad Φ d tq as olyomials i Qrts is i Z. Thus thr xist atq ad btq i Zrts so that atqφ d tq ` btqftq for som itgr. Passig to Z{qZ ad lttig t ω q, w fid that bω q qfω q q mod q. This mas that q fω q q imlis that q, which ca occur for oly fiitly may rim owrs q. Puttig this all togthr, w fid that lim qñ8 q 1 mod dq 1 S q ups q u vq 0 holds for all v i Z ϕdq. By Wyl s Critrio, it follows that th sts S q ar uiformly distributd mod 1 as q 1 mod dq tds to ifiity.

13 THE GRAPHIC NATURE OF GAUSSIAN PERIODS 13 Thorm 6.3. Lt σ X b a cyclic surcharactr of Z{qZ, whr q a is a ozro owr of a odd rim. If X A1 ad X d divids 1, th th imag of σ X is cotaid i th imag of th fuctio g : r0, 1q ϕdq Ñ C dfid by gz 1, z 2,..., z ϕdq q whr th itgrs b k,j ar giv by t k ϕdq 1 j0 d 1 k0 ϕdq 1 ź j0 z b k,j j`1 (5) b k,j t j mod Φ d tqq. (6) For a fixd d, as q bcoms larg, th imag of σ X fills out th imag of g, i th ss that, giv ɛ ą 0, thr xists som q 1 mod dq such that if σ X : Z{qZ Ñ C is a cyclic surcharactr with X d, th vry o ball of radius ɛ ą 0 i th imag of g has omty itrsctio with th imag of σ X. Proof. Lt ω q b a rimitiv dth root of uity modulo q, so that A xω q y i Z{qZqˆ. Rcall that t1, 1 ϕdq 1 dq,..., d qu is a Z-basis for th rig of itgrs of th cyclotomic fild Q 1 dqq [12, Pro. 10.2]. For k 0, 1,..., d 1, th itgrs b k,j i th xrssio ϕdq 1 ˆk ˆ j b k,j, d d j0 ar dtrmid by (6). I articular, it follows that W hav xpx ω k ϕdq 1 j0 σ X yq d 1 ˆxy q k0 b k,j ω j ωk mod q. d 1 k0 ϕdq 1 j0 ωl j b k,j, from which it follows that th imag of σ X is cotaid i th imag of th fuctio g : T ϕdq Ñ C dfid by (5). Th dsity claim ow follows from Lmma 6.2. I combiatio with Proositios 2.2 ad 2.4, th rcdig thorm charactrizs th boudary curvs of cyclic surcharactrs with rim owr moduli. If d is v, th X is closd udr gatio, so σ X is ral. If d a whr is a odd rim, th g : T ϕaq Ñ C is giv by gz 1, z 2,, z ϕdq q ϕdq j1 z j ` a 1 2 ź j1 l0 z 1 j`l a 1. A articularly cocrt maifstatio of our rsult is Thorm 1.1, whos roof w rst blow. Rcall that a hyocycloid is a laar curv obtaid by tracig th ath of a distiguishd oit o a small circl which rolls withi a largr circl. Rollig a circl of itgral radius λ withi a circl of itgral radius κ, whr κ ą λ, yilds th aramtrizatio θ ÞÑ κ λq iθ ` λ 1 κ{λqiθ of th hyocycloid ctrd at th origi, cotaiig th oit κ, ad havig rcisly κ cuss.

14 14 W. DUKE, S. R. GARCIA, AND BOB LUTZ (a) 2017, A x294y (b) 32587, A x10922y (c) , A x35098y (d) 4019, A x1551y () 32173, A x3223y (f) , A x11073y Figur 9. Cyclic surcharactrs σ X of Z{Z, whr X A1, whos grahs fill out X -hyocycloids. Pf. of Thm Comutig th cofficits b k,j from (6) w fid that b k,j δ kj for k 0, 1,..., d 2, ad b d 1,j 1 for all j, from which (5) yilds gz 1, z 2,..., z d 1 q z 1 ` z 2 `... ` z d 1 ` 1 z 1 z 2 z d 1. Th imag of th fuctio g : T d 1 Ñ C dfid abov is th filld hyocycloid corrsodig to th aramtrs κ d ad λ 1, as obsrvd i [9, 3]. Rfrcs [1] Carlos A. M. Adré. Th basic charactr tabl of th uitriagular grou. J. Algbra, 241(1): , [2] Carlos A. M. Adré. Basic charactrs of th uitriagular grou (for arbitrary rims). Proc. Amr. Math. Soc., 130(7): (lctroic), [3] Bruc C. Brdt, Roald J. Evas, ad Kth S. Williams. Gauss ad Jacobi sums. Caadia Mathmatical Socity Sris of Moograhs ad Advacd Txts. Joh Wily & Sos Ic., Nw York, A Wily-Itrscic Publicatio. [4] J.L. Brumbaugh, Madli Bulkow, Patrick S. Flmig, Luis Albrto Garcia, Stha Ramo Garcia, Gizm Karaali, Matthw Michal, ad Adrw P. Turr. Surcharactrs, xotial sums, ad th ucrtaity ricil. (rrit) htt://arxiv.org/abs/ [5] Harold Davort. Multilicativ umbr thory, volum 74 of Graduat Txts i Mathmatics. Srigr-Vrlag, Nw York, third ditio, [6] Prsi Diacois ad I. M. Isaacs. Surcharactrs ad surclasss for algbra grous. Tras. Amr. Math. Soc., 360(5): , [7] P.S. Flmig, S.R. Garcia, ad G. Karaali. Classical Kloostrma sums: rrstatio thory, magic squars, ad Ramauja multigrahs. J. Numbr Thory, 131(4): , 2011.

15 THE GRAPHIC NATURE OF GAUSSIAN PERIODS 15 [8] Christohr Fowlr, Stha Ramo Garcia, ad Gizm Karaali. Ramauja sums as surcharactrs. Ramauja J. (i rss) htt://arxiv.org/abs/ [9] N. Kaisr. Ma igvalus for siml, simly coctd, comact Li grous. J. Phys. A, 39(49): , [10] D. H. Lhmr ad Emma Lhmr. Cyclotomy with short riods. Math. Com., 41(164): , [11] Grald Myrso. A combiatorial roblm i fiit filds. II. Quart. J. Math. Oxford Sr. (2), 31(122): , [12] Jürg Nukirch. Algbraic umbr thory, volum 322 of Grudlhr dr Mathmatisch Wissschaft. Srigr-Vrlag, Brli, Traslatd from th 1992 Grma origial ad with a ot by Norbrt Schaachr, With a forword by G. Hardr. [13] H. Wyl. Übr di Glichvrtilug vo Zahl mod. Eis. Math. A., 77(3): , Dartmt of Mathmatics, UCLA, Los Agls, Califoria, , USA addrss: wdduk@ucla.du URL: htt:// Dartmt of Mathmatics, Pomoa Collg, Clarmot, Califoria, 91711, USA addrss: Stha.Garcia@omoa.du URL: htt://ags.omoa.du/~sg Currt addrss: Dartmt of Mathmatics, Uivrsity of Michiga, 2074 East Hall, 530 Church Strt, A Arbor, MI addrss: boblutz@umich.du