DOCSLIB.ORG

Higher Gauss Sums of Modular Categories

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Higher Gauss Sums of Modular Categories Modular categories Higher Gauss sums Arithmetic properties Witt invariance Higher Gauss sums of modular categories Yilong Wang Louisiana State University [email protected] Joint work with Andrew Schopieray and Siu-Hung Ng April 13, 2019 Southern Regional Number Theory Conference 1/18 I C-linear abelian: Hom spaces are finite-dimensional C-vector spaces =∼ I Monoidal: ⊗, αU;V;W :(U ⊗ V) ⊗ W −! U ⊗ (V ⊗ W) (Pentagon axiom), 1 I Duality: (V_; 1 ! V ⊗ V_; V_ ⊗ V ! 1) I Semisimple, Irr(C) finite. C(X; Y) = δX;YC for X; Y 2 Irr(C). 1 2 Irr(C). I Fusion rule M Z X ⊗ Y = NXYZ: Z2Irr(C) K0(C) := spanCfIrr(C)g is the Grothendieck ring with multiplication given by ⊗. Modular categories Higher Gauss sums Arithmetic properties Witt invariance Fusion categories Fusion category over C (generalization of Rep(G), Rep(H)): 2/18 =∼ I Monoidal: ⊗, αU;V;W :(U ⊗ V) ⊗ W −! U ⊗ (V ⊗ W) (Pentagon axiom), 1 I Duality: (V_; 1 ! V ⊗ V_; V_ ⊗ V ! 1) I Semisimple, Irr(C) finite. C(X; Y) = δX;YC for X; Y 2 Irr(C). 1 2 Irr(C). I Fusion rule M Z X ⊗ Y = NXYZ: Z2Irr(C) K0(C) := spanCfIrr(C)g is the Grothendieck ring with multiplication given by ⊗. Modular categories Higher Gauss sums Arithmetic properties Witt invariance Fusion categories Fusion category over C (generalization of Rep(G), Rep(H)): I C-linear abelian: Hom spaces are finite-dimensional C-vector spaces 2/18 I Duality: (V_; 1 ! V ⊗ V_; V_ ⊗ V ! 1) I Semisimple, Irr(C) finite. C(X; Y) = δX;YC for X; Y 2 Irr(C). 1 2 Irr(C). I Fusion rule M Z X ⊗ Y = NXYZ: Z2Irr(C) K0(C) := spanCfIrr(C)g is the Grothendieck ring with multiplication given by ⊗. Modular categories Higher Gauss sums Arithmetic properties Witt invariance Fusion categories Fusion category over C (generalization of Rep(G), Rep(H)): I C-linear abelian: Hom spaces are finite-dimensional C-vector spaces =∼ I Monoidal: ⊗, αU;V;W :(U ⊗ V) ⊗ W −! U ⊗ (V ⊗ W) (Pentagon axiom), 1 2/18 I Semisimple, Irr(C) finite. C(X; Y) = δX;YC for X; Y 2 Irr(C). 1 2 Irr(C). I Fusion rule M Z X ⊗ Y = NXYZ: Z2Irr(C) K0(C) := spanCfIrr(C)g is the Grothendieck ring with multiplication given by ⊗. Modular categories Higher Gauss sums Arithmetic properties Witt invariance Fusion categories Fusion category over C (generalization of Rep(G), Rep(H)): I C-linear abelian: Hom spaces are finite-dimensional C-vector spaces =∼ I Monoidal: ⊗, αU;V;W :(U ⊗ V) ⊗ W −! U ⊗ (V ⊗ W) (Pentagon axiom), 1 I Duality: (V_; 1 ! V ⊗ V_; V_ ⊗ V ! 1) 2/18 I Fusion rule M Z X ⊗ Y = NXYZ: Z2Irr(C) K0(C) := spanCfIrr(C)g is the Grothendieck ring with multiplication given by ⊗. Modular categories Higher Gauss sums Arithmetic properties Witt invariance Fusion categories Fusion category over C (generalization of Rep(G), Rep(H)): I C-linear abelian: Hom spaces are finite-dimensional C-vector spaces =∼ I Monoidal: ⊗, αU;V;W :(U ⊗ V) ⊗ W −! U ⊗ (V ⊗ W) (Pentagon axiom), 1 I Duality: (V_; 1 ! V ⊗ V_; V_ ⊗ V ! 1) I Semisimple, Irr(C) finite. C(X; Y) = δX;YC for X; Y 2 Irr(C). 1 2 Irr(C). 2/18 Modular categories Higher Gauss sums Arithmetic properties Witt invariance Fusion categories Fusion category over C (generalization of Rep(G), Rep(H)): I C-linear abelian: Hom spaces are finite-dimensional C-vector spaces =∼ I Monoidal: ⊗, αU;V;W :(U ⊗ V) ⊗ W −! U ⊗ (V ⊗ W) (Pentagon axiom), 1 I Duality: (V_; 1 ! V ⊗ V_; V_ ⊗ V ! 1) I Semisimple, Irr(C) finite. C(X; Y) = δX;YC for X; Y 2 Irr(C). 1 2 Irr(C). I Fusion rule M Z X ⊗ Y = NXYZ: Z2Irr(C) K0(C) := spanCfIrr(C)g is the Grothendieck ring with multiplication given by ⊗. 2/18 Rigidity of the duality: (V_; 1 ! V ⊗ V_; V_ ⊗ V ! 1). (idV ⊗ evV) ◦ αV;V_;V ◦ (coevV ⊗ idV) = idV Modular categories Higher Gauss sums Arithmetic properties Witt invariance Graphical calculus on morphisms: 3/18 Modular categories Higher Gauss sums Arithmetic properties Witt invariance Graphical calculus on morphisms: Rigidity of the duality: (V_; 1 ! V ⊗ V_; V_ ⊗ V ! 1). (idV ⊗ evV) ◦ αV;V_;V ◦ (coevV ⊗ idV) = idV 3/18 Two ways to define pivotal dimensions (taking values in C(1; 1) = C) A pivotal structure j of C is called spherical if dL(V) = dR(V) for all V 2 C. C spherical fusion ) categorical dimension dim(V) := dL(V). P 2 Global dimension: dim(C) = V2Irr(C) dim(V) . TrC(f ) 2 C(1; 1) for f 2 C(V; V): insert f in suitable position. Modular categories Higher Gauss sums Arithmetic properties Witt invariance Spherical structure A pivotal structure on C is an isomorphism of monoidal functors __ j : idC ! (−) . 4/18 A pivotal structure j of C is called spherical if dL(V) = dR(V) for all V 2 C. C spherical fusion ) categorical dimension dim(V) := dL(V). P 2 Global dimension: dim(C) = V2Irr(C) dim(V) . TrC(f ) 2 C(1; 1) for f 2 C(V; V): insert f in suitable position. Modular categories Higher Gauss sums Arithmetic properties Witt invariance Spherical structure A pivotal structure on C is an isomorphism of monoidal functors __ j : idC ! (−) . Two ways to define pivotal dimensions (taking values in C(1; 1) = C) 4/18 TrC(f ) 2 C(1; 1) for f 2 C(V; V): insert f in suitable position. Modular categories Higher Gauss sums Arithmetic properties Witt invariance Spherical structure A pivotal structure on C is an isomorphism of monoidal functors __ j : idC ! (−) . Two ways to define pivotal dimensions (taking values in C(1; 1) = C) A pivotal structure j of C is called spherical if dL(V) = dR(V) for all V 2 C. C spherical fusion ) categorical dimension dim(V) := dL(V). P 2 Global dimension: dim(C) = V2Irr(C) dim(V) . 4/18 Modular categories Higher Gauss sums Arithmetic properties Witt invariance Spherical structure A pivotal structure on C is an isomorphism of monoidal functors __ j : idC ! (−) . Two ways to define pivotal dimensions (taking values in C(1; 1) = C) A pivotal structure j of C is called spherical if dL(V) = dR(V) for all V 2 C. C spherical fusion ) categorical dimension dim(V) := dL(V). P 2 Global dimension: dim(C) = V2Irr(C) dim(V) . TrC(f ) 2 C(1; 1) for f 2 C(V; V): insert f in suitable position. 4/18 Twist: =∼ θ(V): V −! V . θ(V) = θV idV; 8V 2 Irr(C). (Vafa) For all V 2 Irr(C), θV is a root of unity. Modular categories Higher Gauss sums Arithmetic properties Witt invariance Braided spherical category Braiding: =∼ cVW : V ⊗ W −! W ⊗ V Hexagon axioms. 5/18 Modular categories Higher Gauss sums Arithmetic properties Witt invariance Braided spherical category Braiding: =∼ cVW : V ⊗ W −! W ⊗ V Hexagon axioms. Twist: =∼ θ(V): V −! V . θ(V) = θV idV; 8V 2 Irr(C). (Vafa) For all V 2 Irr(C), θV is a root of unity. 5/18 Pictorially (omitting j): In particular, S1;V = dim(V), and SV;W = SW;V. Source of examples: finite quadratic modules C(G; q), Z(Rep(G)), quantum groups C(g; k) at roots of unity, VOA, subfactor, ... Modular categories Higher Gauss sums Arithmetic properties Witt invariance Modular category Definition A braided spherical fusion category is called modular if its S-matrix SV;W = TrC(cW;V_ ◦ cV_;W); V; W 2 Irr(C) is invertible. 6/18 Source of examples: finite quadratic modules C(G; q), Z(Rep(G)), quantum groups C(g; k) at roots of unity, VOA, subfactor, ... Modular categories Higher Gauss sums Arithmetic properties Witt invariance Modular category Definition A braided spherical fusion category is called modular if its S-matrix SV;W = TrC(cW;V_ ◦ cV_;W); V; W 2 Irr(C) is invertible. Pictorially (omitting j): In particular, S1;V = dim(V), and SV;W = SW;V. 6/18 Modular categories Higher Gauss sums Arithmetic properties Witt invariance Modular category Definition A braided spherical fusion category is called modular if its S-matrix SV;W = TrC(cW;V_ ◦ cV_;W); V; W 2 Irr(C) is invertible. Pictorially (omitting j): In particular, S1;V = dim(V), and SV;W = SW;V. Source of examples: finite quadratic modules C(G; q), Z(Rep(G)), quantum groups C(g; k) at roots of unity, VOA, subfactor, ... 6/18 Modular category ) ρ : SL(2; Z) ! PGL(K0) 0 −1 1 1 7! S; 7! T: 1 0 0 1 I Congruence subgroup property. ∼ I SL(2; Z) = MCG(Σ1;0). ∼ L ∼ L 1 _ I K0 = V2Irr(C) C(V; V) = V2Irr(C) C( ; V ⊗ V ). I Representations of MCG(Σg;n) can be defined on M _ _ C(a1 ⊗ · · · an; b1 ⊗ b1 ⊗ · · · ⊗ bg ⊗ bg ) a1;:::;an;b1;:::;bg2Irr(C) . I They are provided by a (2+1)-TQFT associated to C. Modular categories Higher Gauss sums Arithmetic properties Witt invariance TV;W := θVδV;W, V; W 2 Irr(C). In particular, ord(T) < 1. S- and T-matrices are called the modular data of C. 7/18 ∼ I SL(2; Z) = MCG(Σ1;0). ∼ L ∼ L 1 _ I K0 = V2Irr(C) C(V; V) = V2Irr(C) C( ; V ⊗ V ). I Representations of MCG(Σg;n) can be defined on M _ _ C(a1 ⊗ · · · an; b1 ⊗ b1 ⊗ · · · ⊗ bg ⊗ bg ) a1;:::;an;b1;:::;bg2Irr(C) . I They are provided by a (2+1)-TQFT associated to C.
Load more

Recommended publications
  • Classical Simulation of Quantum Circuits by Half Gauss Sums
    CLASSICAL SIMULATION OF QUANTUM CIRCUITS BY HALF GAUSS SUMS † ‡ KAIFENG BU ∗ AND DAX ENSHAN KOH ABSTRACT. We give an efficient algorithm to evaluate a certain class of expo- nential sums, namely the periodic, quadratic, multivariate half Gauss sums. We show that these exponential sums become #P-hard to compute when we omit either the periodic or quadratic condition. We apply our results about these exponential sums to the classical simulation of quantum circuits, and give an alternative proof of the Gottesman-Knill theorem. We also explore a connection between these exponential sums and the Holant framework. In particular, we generalize the existing definition of affine signatures to arbitrary dimensions, and use our results about half Gauss sums to show that the Holant problem for the set of affine signatures is tractable. CONTENTS 1. Introduction 1 2. Half Gausssums 5 3. m-qudit Clifford circuits 11 4. Hardness results and complexity dichotomy theorems 15 5. Tractable signature in Holant problem 18 6. Concluding remarks 20 Acknowledgments 20 Appendix A. Exponential sum terminology 20 Appendix B. Properties of Gauss sum 21 Appendix C. Half Gauss sum for ξd = ω2d with even d 21 Appendix D. Relationship between half− Gauss sums and zeros of a polynomial 22 References 23 arXiv:1812.00224v1 [quant-ph] 1 Dec 2018 1. INTRODUCTION Exponential sums have been extensively studied in number theory [1] and have a rich history that dates back to the time of Gauss [2]. They have found numerous (†) SCHOOL OF MATHEMATICAL SCIENCES, ZHEJIANG UNIVERSITY, HANGZHOU, ZHE- JIANG 310027, CHINA (*) DEPARTMENT OF PHYSICS, HARVARD UNIVERSITY, CAMBRIDGE, MASSACHUSETTS 02138, USA (‡) DEPARTMENT OF MATHEMATICS, MASSACHUSETTS INSTITUTE OF TECHNOLOGY, CAMBRIDGE, MASSACHUSETTS 02139, USA E-mail addresses: [email protected] (K.Bu), [email protected] (D.E.Koh).
    [Show full text]
  • Appendices A. Quadratic Reciprocity Via Gauss Sums
    1 Appendices We collect some results that might be covered in a first course in algebraic number theory. A. Quadratic Reciprocity Via Gauss Sums A1. Introduction In this appendix, p is an odd prime unless otherwise specified. A quadratic equation 2 modulo p looks like ax + bx + c =0inFp. Multiplying by 4a, we have 2 2ax + b ≡ b2 − 4ac mod p Thus in studying quadratic equations mod p, it suffices to consider equations of the form x2 ≡ a mod p. If p|a we have the uninteresting equation x2 ≡ 0, hence x ≡ 0, mod p. Thus assume that p does not divide a. A2. Definition The Legendre symbol a χ(a)= p is given by 1ifa(p−1)/2 ≡ 1modp χ(a)= −1ifa(p−1)/2 ≡−1modp. If b = a(p−1)/2 then b2 = ap−1 ≡ 1modp,sob ≡±1modp and χ is well-defined. Thus χ(a) ≡ a(p−1)/2 mod p. A3. Theorem a The Legendre symbol ( p ) is 1 if and only if a is a quadratic residue (from now on abbre- viated QR) mod p. Proof.Ifa ≡ x2 mod p then a(p−1)/2 ≡ xp−1 ≡ 1modp. (Note that if p divides x then p divides a, a contradiction.) Conversely, suppose a(p−1)/2 ≡ 1modp.Ifg is a primitive root mod p, then a ≡ gr mod p for some r. Therefore a(p−1)/2 ≡ gr(p−1)/2 ≡ 1modp, so p − 1 divides r(p − 1)/2, hence r/2 is an integer. But then (gr/2)2 = gr ≡ a mod p, and a isaQRmodp.
    [Show full text]
  • Arxiv:0804.2233V4 [Math.NT]
    October 26, 2018 MEAN VALUES WITH CUBIC CHARACTERS STEPHAN BAIER AND MATTHEW P. YOUNG Abstract. We investigate various mean value problems involving order three primitive Dirichlet characters. In particular, we obtain an asymptotic formula for the first moment of central values of the Dirichlet L-functions associated to this family, with a power saving in the error term. We also obtain a large-sieve type result for order three (and six) Dirichlet characters. 1. Introduction and Main results Dirichlet characters of a given order appear naturally in many applications in number theory. The quadratic characters have seen a lot of attention due to attractive questions to ranks of elliptic curves, class numbers, etc., yet the cubic characters have been relatively neglected. In this article we are interested in mean values of L-functions twisted by characters of order three, and also large sieve-type inequalities for these characters. Our first result on such L-functions is the following Theorem 1.1. Let w : (0, ) R be a smooth, compactly supported function. Then ∞ → q (1) ∗ L( 1 , χ)w = cQw(0) + O(Q37/38+ε), 2 Q (q,3)=1 χ (mod q) X χX3=χ 0 b where c> 0 is a constant that can be given explicitly in terms of an Euler product (see (23) below), and w is the Fourier transform of w. Here the on the sum over χ restricts the sum ∗ to primitive characters, and χ0 denotes the principal character. This resultb is most similar (in terms of method of proof) to the main result of [L], who considered the analogous mean value but for the case of cubic Hecke L-functions on Q(ω), ω = e2πi/3.
    [Show full text]
  • Quadratic Reciprocity Via Linear Algebra
    QUADRATIC RECIPROCITY VIA LINEAR ALGEBRA M. RAM MURTY Abstract. We adapt a method of Schur to determine the sign in the quadratic Gauss sum and derive from this, the law of quadratic reciprocity. 1. Introduction Let p and q be odd primes, with p = q. We define the Legendre symbol (p/q) to be 1 if p is a square modulo q and 16 otherwise. The law of quadratic reciprocity, first proved by Gauss in 1801, states− that (p/q)(q/p) = ( 1)(p−1)(q−1)/4. − It reveals the amazing fact that the solvability of the congruence x2 p(mod q) is equivalent to the solvability of x2 q(mod p). ≡ There are many proofs of this law≡ in the literature. Gauss himself published five in his lifetime. But all of them hinge on properties of certain trigonometric sums, now called Gauss sums, and this usually requires substantial background on the part of the reader. We present below a proof, essentially due to Schur [2] that uses only basic notions from linear algebra. We say “essentially” because Schur’s goal was to deduce the sign in the quadratic Gauss sum by studying the matrix A = (ζrs) 0 r n 1, 0 s n 1 ≤ ≤ − ≤ ≤ − where ζ = e2πi/n. For the case of n = p a prime, Schur’s proof is reproduced in [1] and a ‘slicker’ proof was later supplied by Waterhouse [3]. Our point is to show that Schur’s proof can be modified to determine tr A when n is an odd number and this allows us to deduce the law of quadratic reciprocity.
    [Show full text]
  • The Fourth Moment of Dirichlet L-Functions
    Annals of Mathematics 173 (2011), 1{50 doi: 10.4007/annals.2011.173.1.1 The fourth moment of Dirichlet L-functions By Matthew P. Young Abstract We compute the fourth moment of Dirichlet L-functions at the central point for prime moduli, with a power savings in the error term. 1. Introduction Estimating moments of families of L-functions is a central problem in number theory due in large part to extensive applications. Yet, these moments are seen to be natural objects to study in their own right as they illuminate structure of the family and display beautiful symmetries. The Riemann zeta function has by far garnered the most attention from researchers. Ingham [Ing26] proved the asymptotic formula Z T 1 1 4 4 3 jζ( 2 + it)j dt = a4(log T ) + O((log T ) ) T 0 2 −1 where a4 = (2π ) . Heath-Brown [HB79] improved this result by obtaining Z T 4 1 1 4 X i − 1 +" (1.1) jζ( + it)j dt = a (log T ) + O(T 8 ) T 2 i 0 i=0 for certain explicitly computable constants ai (see (5.1.4) of [CFK+05]). Ob- taining a power savings in the error term was a significant challenge because it requires a difficult analysis of off-diagonal terms which contribute to the lower-order terms in the asymptotic formula. The fourth moment problem is related to the problem of estimating (1.2) X d(n)d(n + f) n≤x uniformly for f as large as possible with respect to x. Extensive discussion of this binary divisor problem can be found in [Mot94].
    [Show full text]
  • As an Entire Function; Gauss Sums We First Give, As Promised, the Anal
    Math 259: Introduction to Analytic Number Theory L(s; χ) as an entire function; Gauss sums We first give, as promised, the analytic proof of the nonvanishing of L(1; χ) for a Dirichlet character χ mod q; this will complete our proof of Dirichlet's theorem that there are infinitely primes in the arithmetic progression mq+a : m Z>0 whenever (a; q) = 1, and that the logarithmic density of suchf primes is 12='(q).g1 We follow [Serre 1973, Ch. VI 2]. Functions such as ζ(s), L(s; χ) and their products are special cases of whatx Serre calls \Dirichlet series": functions 1 f(s) := a e λns (1) X n − n=1 with an C and 0 λn < λn+1 . [For instance, L(s; χ) is of this form with 2 ≤ !1 λn = log n and an = χ(n).] We assume that the an are small enough that the sum in (1) converges for some s C. We are particularly interested in series such as 2 ζ (s) := L(s; χ) q Y χ mod q whose coefficients an are nonnegative. Then if (1) converges at some real σ0, it converges uniformly on σ σ0, and f(s) is analytic on σ > σ0. Thus a series (1) has a maximal open half-plane≥ of convergence (if we agree to regard C itself as an open half-plane for this purpose), namely σ > σ0 where σ0 is the infimum of the real parts of s C at which (1) converges. This σ0 is then called the \abscissa of convergence"2 2 of (1).
    [Show full text]
  • Sign Ambiguities of Gaussian Sums Heon Kim Louisiana State University and Agricultural and Mechanical College, [email protected]
    Louisiana State University LSU Digital Commons LSU Doctoral Dissertations Graduate School 2007 Sign Ambiguities of Gaussian Sums Heon Kim Louisiana State University and Agricultural and Mechanical College, [email protected] Follow this and additional works at: https://digitalcommons.lsu.edu/gradschool_dissertations Part of the Applied Mathematics Commons Recommended Citation Kim, Heon, "Sign Ambiguities of Gaussian Sums" (2007). LSU Doctoral Dissertations. 633. https://digitalcommons.lsu.edu/gradschool_dissertations/633 This Dissertation is brought to you for free and open access by the Graduate School at LSU Digital Commons. It has been accepted for inclusion in LSU Doctoral Dissertations by an authorized graduate school editor of LSU Digital Commons. For more information, please [email protected]. SIGN AMBIGUITIES OF GAUSSIAN SUMS A Dissertation Submitted to the Graduate Faculty of the Louisiana State University and Agricultural and Mechanical College in partial fulfillment of the requirements for the degree of Doctor of Philosophy in The Department of Mathematics by Heon Kim B.S. in Math., Chonbuk National University, 1995 M.S. in Math., Chonbuk National University, 1997 M.A. in Math., University of Georgia, 2002 December 2007 Acknowledgments This dissertation would not be possible without several contributions. The love of family and friends provided my inspiration and was my driving force. It has been a long journey and completing this work is definitely a high point in my academic career. I could not have come this far without the assistance of many individuals and I want to express my deepest appreciation to them. It is a pleasure to thank my dissertation advisor, Dr. Helena Verrill, and coad- visor Dr.
    [Show full text]
  • The Voronoi Formula and Double Dirichlet Series
    The Voronoi formula and double Dirichlet series Eren Mehmet Kıral and Fan Zhou May 10, 2016 Abstract We prove a Voronoi formula for coefficients of a large class of L-functions including Maass cusp forms, Rankin-Selberg convolutions, and certain non-cuspidal forms. Our proof is based on the functional equations of L-functions twisted by Dirichlet characters and does not directly depend on automorphy. Hence it has wider application than previous proofs. The key ingredient is the construction of a double Dirichlet series. MSC: 11F30 (Primary), 11F68, 11L05 Keywords: Voronoi formula, automorphic form, Maass form, multiple Dirichlet series, Gauss sum, Kloosterman sum, Rankin-Selberg L-function 1 Introduction A Voronoi formula is an identity involving Fourier coefficients of automorphic forms, with the coefficients twisted by additive characters on either side. A history of the Voronoi formula can be found in [MS04]. Since its introduction in [MS06], the Voronoi formula on GL(3) of Miller and Schmid has become a standard tool in the study of L-functions arising from GL(3), and has found important applications such as [BB], [BKY13], [Kha12], [Li09], [Li11], [LY12], [Mil06], [Mun13] and [Mun15]. As of yet the general GL(N) formula has had fewer applications, a notable one being [KR14]. The first proof of a Voronoi formula on GL(3) was found by Miller and Schmid in [MS06] using the theory of automorphic distributions. Later, a Voronoi formula was established for GL(N) with N ≥ 4 in [GL06], [GL08], and [MS11], with [MS11] being more general and earlier than [GL08] (see the addendum, loc.
    [Show full text]
  • Moments of Generalized Quadratic Gauss Sums Weighted by L-Functions1
    Journal of Number Theory 92, 304–314 (2002) doi:10.1006/jnth.2001.2715, available online at http://www.idealibrary.comon Moments of Generalized Quadratic Gauss Sums Weighted by L-Functions1 Zhang Wenpeng Research Center for Basic Science, Xi’an Jiaotong University, Xi’an, Shaanxi, People’s Republic of China Communicated by D. Goss Received May 5, 2000 The main purpose of this paper is using estimates for character sums and analytic methods to study the second, fourth, and sixth order moments of generalized quadratic Gauss sums weighted by L-functions. Three asymptotic formulae are obtained. © 2002 Elsevier Science (USA) Key Words: general quadratic Gauss sums; L-functions; asymptotic formula. 1. INTRODUCTION Let q \ 2 be an integer; q denotes a Dirichlet character modulo q. For any integer n, we define the general quadratic Gauss sums G(n, q;q)as q na2 G(n, q; q)= C q(a) e 1 2, a=1 q where e(y)=e2piy. This sum is important because it is a generalization of the classical quadratic Gauss sum. But about the properties of G(n, q;q), we know very little at present. The value of |G(n, q;q)| is irregular as q varies. One can only get some upper bound estimates. For example, for any integer n with (n, q)=1, from the general result of Cochrane and Zheng [8] we can deduce 1 w(q) |G(n, q;q)|[ 2 q 2, where w(q) denotes the number of distinct prime divisors of q; the case where q is prime is due to Weil [9].
    [Show full text]
  • Computational Number Theory in Relation with L-Functions 3
    Computational Number Theory in Relation with L-Functions Henri Cohen Abstract We give a number of theoretical and practical methods related to the com- putation of L-functions, both in the local case (counting points on varieties over finite fields, involving in particular a detailed study of Gauss and Jacobi sums), and in the global case (for instance Dirichlet L-functions, involving in particular the study of inverse Mellin transforms); we also give a number of little-known but very useful numerical methods, usually but not always related to the computation of L-functions. 1 L-Functions This course is divided into five parts. In the first part (Sections 1 and 2), we introduce the notion of L-function, give a number of results and conjectures concerning them, and explain some of the computational problems in this theory. In the second part (Sections 3 to 6), we give a number of computational methods for obtaining the Dirichlet series coefficients of the L-function, so is arithmetic in nature. In the third part (Section 7), we give a number of analytic tools necessary for working with L- functions. In the fourth part (Sections 8 and 9), we give a number of very useful numerical methods which are not sufficiently well-known, most of which being also related to the computation of L-functions. The fifth part (Sections 10 and 11) gives the Pari/GP commands corresponding to most of the algorithms and examples given in the course. A final Section 12 gives as an appendix some basic definitions arXiv:1809.10904v1 [math.NT] 28 Sep 2018 and results used in the course which may be less familiar to the reader.
    [Show full text]
  • A History of Stickelberger's Theorem
    A History of Stickelberger’s Theorem A Senior Honors Thesis Presented in Partial Fulfillment of the Requirements for graduation with research distinction in Mathematics in the undergraduate colleges of The Ohio State University by Robert Denomme The Ohio State University June 8, 2009 Project Advisor: Professor Warren Sinnott, Department of Mathematics 1 Contents Introduction 2 Acknowledgements 4 1. Gauss’s Cyclotomy and Quadratic Reciprocity 4 1.1. Solution of the General Equation 4 1.2. Proof of Quadratic Reciprocity 8 2. Jacobi’s Congruence and Cubic Reciprocity 11 2.1. Jacobi Sums 11 2.2. Proof of Cubic Reciprocity 16 3. Kummer’s Unique Factorization and Eisenstein Reciprocity 19 3.1. Ideal Numbers 19 3.2. Proof of Eisenstein Reciprocity 24 4. Stickelberger’s Theorem on Ideal Class Annihilators 28 4.1. Stickelberger’s Theorem 28 5. Iwasawa’s Theory and The Brumer-Stark Conjecture 39 5.1. The Stickelberger Ideal 39 5.2. Catalan’s Conjecture 40 5.3. Brumer-Stark Conjecture 41 6. Conclusions 42 References 42 2 Introduction The late Professor Arnold Ross was well known for his challenge to young students, “Think deeply of simple things.” This attitude applies to no story better than the one on which we are about to embark. This is the century long story of the generalizations of a single idea which first occurred to the 19 year old prodigy, Gauss, and which he was able to write down in no less than 4 pages. The questions that the young genius raised by offering the idea in those 4 pages, however, would torment the greatest minds in all the of the 19th century.
    [Show full text]
  • Moments of Quadratic Hecke $ L $-Functions of Imaginary Quadratic
    MOMENTS OF QUADRATIC HECKE L-FUNCTIONS OF IMAGINARY QUADRATIC NUMBER FIELDS PENG GAO AND LIANGYI ZHAO Abstract. In this paper, we study the moments of central values of Hecke L-functions associated with quadratic char- acters in Q(i) and Q(ω) with ω = exp(2πi/3) and establish some quantitative non-vanishing result for these L-values. Mathematics Subject Classification (2010): 11M41, 11L40 Keywords: quadratic Hecke characters, Hecke L-functions 1. Introduction The values of L-functions at the central point of its symmetry encode a lot of arithmetic information. For example, the Birch-Swinnerton-Dyer conjecture asserts that the algebraic rank of an elliptic curve equals the order of vanishing of the L-function associated with the curve at its central point. The average value of L-functions at s =1/2 over a family of characters of a fixed order has been a subject of extensive study. M. Jutila [19] gave the evaluation of the mean value of L(1/2,χ) for quadratic Dirichlet characters. The error term in the asymptotic formula in [19] was later improved in [11, 25, 26]. S. Baier and M. P. Young [1] studied the moments of L(1/2,χ) for cubic Dirichlet characters. Literature also abounds in the investigation of moments of Hecke L-functions associated with various families of characters of a fixed order [6–8, 10, 12, 21]. In this paper, we shall investigate the first and second moments of the central values of a family of L-functions associated with quadratic Hecke characters. From these results, we deduce results regarding the non-vanishing of these L-functions at s =1/2.
    [Show full text]