THE ARITHMETIC OF THE COEFFICIENTS OF HALF INTEGRAL WEIGHT EISENSTEIN SERIES. H(1, n)q n =
|
|
- Edwin Wheeler
- 5 years ago
- Views:
Transcription
1 THE ARITHMETIC OF THE COEFFICIENTS OF HALF INTEGRAL WEIGHT EISENSTEIN SERIES ANTAL BALOG, WILLIAM J. MCGRAW AND KEN ONO 1. Introduction and Statement of Results If H( n) denotes the Hurwitz-Kronecer class number of positive definite binary quadratic forms with discriminant n, then Zagier s weight 3/ Eisenstein series is given by (q = e πiz throughout) (1.1) H 3/ (z) = H(1, n)q n = <n 0,3 (mod 4) H( n)q n. This series fits into Cohen s general theory of weight + 1 Eisenstein series (1.) H + 1 (z) = H(, n)q n, n=0 where H(, n) = H 1 (, n) is defined in (??). If, then H + 1 (z) is a weight + 1 modular form on the congruence subgroup Γ 0 (4) (see Th. 3.1, [?]). If D 0, 1 (mod 4), and χ D ( ) = ( D ) denotes the usual Kronecer character, then it is a classical fact ([?], Ch. 5, 4) that H(1, D) = H(D) = D 1 χ D (a)a, when D < 4 is a fundamental discriminant. We generalize this classical result in a variety of ways. See, for example, Corollary??. Moreover, we obtain an elegant uniform description of the H(, n) in terms of values of the Bernoulli polynomials B (x), weighted against the mod n representation numbers of sums of squares. Date: January 1, Mathematics Subject Classification. 11F11. The authors than the National Science Foundation for their generous support. The second and third authors than the Number Theory Foundation for their generous support, and the third author is grateful for the support of the Alfred P. Sloan, David and Lucile Pacard, and H. I. Romnes Fellowships. 1
2 ANTAL BALOG, WILLIAM J. MCGRAW AND KEN ONO To state our result, if χ is a Dirichlet character, we let L(s, χ) = χ(n)n s its L-series. For positive integers r, n and with r odd, let D := ( 1) n and set ( 1) [/] χ 8 (r)( 1)!n r L(, χ D ) r+1 if ( 1) n 0 (mod 4), π (1.3) h r (, n) = ( 1) [/] ( 1)!n r L(, χ D ) if ( 1) n 1 (mod 4), 1 π 0 if ( 1) n, 3 (mod 4). Define also d n h r(, n/d ) if ( 1) n 0, 1 (mod 4), (1.4) H r (, n) = ζ(1 ) if n = 0, 0 otherwise. Note that h r (, n) n r log(n) (where the log(n) is necessary only for = 1). In particular, (1.5) H r (, n) n max( r,0)+ε. Next, we define, for positive integers r and n, (1.6) R r (a, n) := #{(ν 1, ν,..., ν r ) (Z/nZ) r : ν 1 + ν + + ν r a (mod n)}. If is a positive integer, then let B be the th Bernoulli number and let B (x) denote the usual th Bernoulli function with the convention that { x 1 if x 0 (1.7) B 1 (x) = 0 if x = 0. Finally, define the two formal Dirichlet series H r, (s) and F r, (s) by H r (, n) (1.8) H r, (s) = n s and (1.9) F r, (s) = χ ( 1) (r) n 1 R r(a, n)b (a/n) n s. By (??), H r, (s) converges for Re(s) > max(1, + 1 r ). For F r,(s), we note that B (x) is bounded in the interval [0, 1] and R r (a, n) = n r. This implies that F r, (s) converges for Re(s) > r + 1. As a consequence of the following theorem, we can extend the region of convergence for F r, (s) to Re(s) > max( r + 1, r + 1). By modifying an argument of J. Bruinier (see Th. 11 [?]) in the case where = 1, for positive odd integers r, we obtain the following description of H r, (s) as a formal
3 COEFFICIENTS OF HALF INTEGRAL WEIGHT EISENSTEIN SERIES 3 product of F r, (s) and a simple quotient of the Riemann zeta function ζ(s). In particular, if r = 1, we obtain a convenient description of the Mellin transform of Cohen s half integral weight Eisenstein series. Theorem 1.1. If r is a positive odd integer and 1, then As is well-nown, ζ(s) ζ(s) H r, (s) = ζ(s) ζ(s) F r,(s + r). = λ(n)n s, where λ is the Liouville function, the totally multiplicative function on positive integers defined on primes p by λ(p) = 1. Then Theorem?? gives an immediate formula for H r (, n). Corollary 1.. For r, n, Z with r odd, H r (, n) = χ ( 1) (r) d 1 λ(n/d)d r R r (a, d)b (a/d). d n We cannot resist interpreting the r = 1 case of Theorem?? in terms of the logarithmic derivatives of the infinite products (1.10) F (q) = (1 q n ) H(,n)/n. Corollary 1.3. If is a positive integer, then q d dq (F (q)) F (q) + a,b 1 c b square-free H(, a)q abc = 1 n 1 R 1 (a, n)b (a/n)n 1 q n. Acnowledgments: The authors than the referee, whose contributions improved this paper.. Proofs We begin with the following elementary lemmas. The first lemma is standard and can be found in ([?], p. 5). Lemma.1. The Fourier expansion of B (x) is given by: (.1) B (x) =! (πi) where n Z e(nx) n. indicates that we are summing over all non-zero integers, and e(x) = e πix. The proof of the following lemma is a straightforward analogue of the proof of Möbius inversion and will be left to the reader.
4 4 ANTAL BALOG, WILLIAM J. MCGRAW AND KEN ONO Lemma.. Let f : Z + C. Define F, G : Z + C by F (N) = ( ) N f and d d N (.) G(N) = ( ) N f. d N d Then (.3) (i) F (N) = (ii) G(N) = a N a N N/a square-free λ ( N a G(a) and ) F (a). Fixing notation, we define, for integers m and a, (.4) G(m, a) = e(mν ). ν Z/aZ In the following lemma, we recall some basic facts of the Gauss sums in (??). For their proofs, we refer the reader to ([?], IV.3). Lemma.3. Suppose that a, b and c are integers with b, c 1. (i) If c (a, b), then G(a, b) = c G ( a, ) b c c (ii) If (b, c) = 1 and (a, bc)=1, then G(a, bc) = G(ab, c)g(ac, b) (iii) If b is odd and (a, b) = 1, the G(a, b) = ( a b) G(1, b) (iv) If a is odd, then G(a, s ) = ( ) s a ε((a 1)/)G(1, s ) (1 + i) b if b 0 (mod 4) b if b 1 (mod 4) (v) G(1, b) = 0 if b (mod 4) i b if b 3 (mod 4) Here, ε(b) = 1 if b is even and ε(b) = i if b is odd. For positive integers and r, let { Re(G(m, a) r ) if Z (.5) g,r (m, a) = Im(G(m, a) r ) if Z + 1. Then we see immediately from the definition and (i) above that, for b (m, a), ( m (.6) g,r (m, a) = b r g,r b, a ). b Then we have the following proposition.
5 COEFFICIENTS OF HALF INTEGRAL WEIGHT EISENSTEIN SERIES 5 Proposition.4. For integers m and a such that (m, a) = 1, ( ) (.7) g,r (m, a) = a r ( 1) a r 1 χ ( 1) 8(r) if ( 1) a 0 (mod 4) χ m ( 1) (r) if ( 1) a 1 (mod 4) 0 if ( 1) a, 3 (mod 4). Proof. If ( 1) a 1 (mod 4), then G(m, a) r = ( ) m rε() r a r/. Therefore, a ( ) ( ) (.8) g,r (m, a) = a r m ε() r 1 = a r m χ a a ( 1) (r). Clearly, by Lemma??, if ( 1) a (mod 4), g,r (m, a) = 0. If ( 1) a 3 (mod 4), then G(m, a) r = ( ) m rε( a 1) r a r/ and g,r (m, a) = 0. Therefore, the only case left is ( 1) a 0 (mod 4). Suppose a = s a 0 with a 0 odd; then, by Lemma??, we see that ( )( ) ( ) m s ma0 1 (.9) G(m, a) = ε G(1, s )G(1, a 0 ). m a 0 Therefore, if a 0 1 (mod 4), then ( ) ( s a 0 m 1 (.10) G(m, a) = ε m ) (1 + i) s/ a 0 = ( ) a ε m and if a 0 3 (mod 4), then ( )( ) ( ) a0 s m + 1 G(m, a) = ε i a 0 (1 + i) s/ m m ( ) ( ) a m + 1 (.11) = ε i a(1 + i) m ( ) ( ) a m 1 a(1 = ε + i). m Then we see that (.1) G(m, a) r = (r 1)/ a r/ ( a m After a lengthy verification, we obtain ( ) ( 1) a (.13) g,r (m, a) = r 1 r a m as desired. ) ( ) r m 1 ε i (r 1)/. χ( 1) 8(r), The following proposition provides the foundation for Theorem??. Proposition.5. For r,, n Z + with r odd, n 1 R r (a, n)b (a/n) = χ ( 1) (r) n r h r (, d). d n ( ) m 1 a(1 + i),
6 6 ANTAL BALOG, WILLIAM J. MCGRAW AND KEN ONO Proof. Let N be a positive integer; then by Lemma??, (.14) N 1 ( ) ν R r (a, N)B (a/n) = B 1 N + + ν r N ν 1,...,ν r (mod N) ( e n =! (πi) n Z n ν 1,...,ν r (mod N) =! n G(n, N) r (πi) n Z ( )) ν 1 N + + ν r N =! n (Re(G(n, N) r ) + iim(g(n, N) r )) (πi) n Z = ε()! (πi) n g,r (n, N). n 1 Reindexing this sum on the divisors of N, we find (.15) N 1 R r (a, N)B (a/n) = ε()! (πi) a N n 1 (n,n)= N a = ε()! N r a r (πi) a N n g,r (n, N) (m,a)=1 m g,r (m, a). Since χ a (m) = 0 if (m, a) 1, Proposition?? yields a r m g,r (m, a) = r 1 χ( 1) 8(r)a r/ m χ ( 1) a(m) (.16) (m,a)=1 = r 1 χ( 1) 8(r)a r/ L(, χ ( 1) a) if ( 1) a 0 (mod 4), and m g,r (m, a) = χ ( 1) (r)a r/ m χ ( 1) a(m) (.17) a r (m,a)=1 = χ ( 1) (r)a r/ L(, χ ( 1) a) if ( 1) a 1 (mod 4). If ( 1) a, 3 (mod 4), the sum is zero. (??) yields (.18) as desired. N 1 R r (a, N)B (a/n) = χ ( 1) (r) N r We are now prepared to prove the main theorem. h r (, d) d N
7 COEFFICIENTS OF HALF INTEGRAL WEIGHT EISENSTEIN SERIES 7 Proof of Theorem??. Combining Proposition?? with Lemma??(ii) yields (.19) H r (, n) = χ ( 1) (r) d 1 λ(n/d)d r R r (a, d)b (a/d). d n A straightforward calculation involving formal Dirichlet series verifies that, for any series n 1 b(n)n s, ζ(s) b(n)n s = λ(n/d)b(d) n s. ζ(s) n 1 n 1 d n Applying this to (??), we obtain the theorem. Proof of Corollary??. This is (??) in the proof of Theorem?? Proof of Corollary??. If we define a formal product (.0) F (q) = (1 q n ) c(n), then one obtains formally that (.1) q d (F (q)) dq F (q) = c(d)d q n. d n Combining Proposition?? with Lemma??(i), we get (.) χ ( 1) (r) n r n 1 R r (a, n)b (a/n) = The result follows from this and (??) when r = 1. d n n/d square-free H r (, d). 3. Remars We remar, here, that these calculations can be carried out in similar settings with similar results. We state here some interesting formulas that are obtained when r is even in the above calculations. We obtain the following Theorem. Theorem 3.1. With notation as above, (i) If r (mod 4) and is even, 1 B n 1 R r (a, n)b (a/n) = n r d n d ( ) 1 d (1 r/ 1p ). d p d
8 8 ANTAL BALOG, WILLIAM J. MCGRAW AND KEN ONO (ii) If r (mod 4) and is odd, ( 1) (r )/4 n 1 r/ B ( 1) 4 R r (a, n)b (a/n) = n r d n 4 d d r/ p d p ( 1 ( 1 p p )) (iii) If r 0 (mod 4) and is even, 1 n 1 R r (a, n)b (a/n) = n r d (1 r/ 1p ) η(d), where B d n p d 1 if d η(d) = 0 if d (mod 4) ( 1) r/4 r/ if 4 d. (iv) If r 0 (mod 4) and is odd, n 1 R r (a, n)b (a/n) = 0.. References [1] Z. I. Borevich and I. R. Shafarevich, Number Theory, Academic Press, New Yor, [] J. Bruinier, On the ran of Picard groups of modular varieties attached to orthogonal groups, Compositio Mathematica, in press. [3] H. Cohen, Sums involving the values at negative integers of L-functions of quadratic characters, Math. Ann., 17, (1975), pages [4] K. Knopp, Theory and Application of Infinite Series, nd edition, Hafner Publishing Company, New Yor, [5] S. Lang, Algebraic Number Theory, Springer-Verlag, Graduate Texts in Mathematics 110, Mathematical Institute of the Hungarian Academy of Sciences, P. O. Box 17, Budapest 1364, Hungary address: balog@hexagon.math-inst.hu Department of Mathematics, University of Wisconsin, Madison, Wisconsin address: mcgraw@math.wisc.edu Department of Mathematics, University of Wisconsin, Madison, Wisconsin address: ono@math.wisc.edu
QUADRATIC CONGRUENCES FOR COHEN - EISENSTEIN SERIES.
QUADRATIC CONGRUENCES FOR COHEN - EISENSTEIN SERIES. P. GUERZHOY The notion of quadratic congruences was introduced in the recently appeared paper [1]. In this note we present another, somewhat more conceptual
More informationREPRESENTATIONS OF INTEGERS AS SUMS OF SQUARES. Ken Ono. Dedicated to the memory of Robert Rankin.
REPRESENTATIONS OF INTEGERS AS SUMS OF SQUARES Ken Ono Dedicated to the memory of Robert Rankin.. Introduction and Statement of Results. If s is a positive integer, then let rs; n denote the number of
More informationLINEAR RELATIONS BETWEEN MODULAR FORM COEFFICIENTS AND NON-ORDINARY PRIMES
LINEAR RELATIONS BETWEEN MODULAR FORM COEFFICIENTS AND NON-ORDINARY PRIMES YOUNGJU CHOIE, WINFRIED KOHNEN, AND KEN ONO Appearing in the Bulletin of the London Mathematical Society Abstract. Here we generalize
More informationTHE ARITHMETIC OF BORCHERDS EXPONENTS. Jan H. Bruinier and Ken Ono
THE ARITHMETIC OF BORCHERDS EXPONENTS Jan H. Bruinier and Ken Ono. Introduction and Statement of Results. Recently, Borcherds [B] provided a striking description for the exponents in the naive infinite
More informationA q-series IDENTITY AND THE ARITHMETIC OF HURWITZ ZETA FUNCTIONS
A -SERIES IDENTITY AND THE ARITHMETIC OF HURWITZ ZETA FUNCTIONS GWYNNETH H COOGAN AND KEN ONO Introduction and Statement of Results In a recent paper [?], D Zagier used a -series identity to prove that
More informationDEDEKIND S ETA-FUNCTION AND ITS TRUNCATED PRODUCTS. George E. Andrews and Ken Ono. February 17, Introduction and Statement of Results
DEDEKIND S ETA-FUNCTION AND ITS TRUNCATED PRODUCTS George E. Andrews and Ken Ono February 7, 2000.. Introduction and Statement of Results Dedekind s eta function ηz, defined by the infinite product ηz
More informationAN ARITHMETIC FORMULA FOR THE PARTITION FUNCTION
AN ARITHMETIC FORMULA FOR THE PARTITION FUNCTION KATHRIN BRINGMANN AND KEN ONO 1 Introduction and Statement of Results A partition of a non-negative integer n is a non-increasing sequence of positive integers
More informationarxiv: v3 [math.nt] 28 Jul 2012
SOME REMARKS ON RANKIN-COHEN BRACKETS OF EIGENFORMS arxiv:1111.2431v3 [math.nt] 28 Jul 2012 JABAN MEHER Abstract. We investigate the cases for which products of two quasimodular or nearly holomorphic eigenforms
More informationPARITY OF THE COEFFICIENTS OF KLEIN S j-function
PARITY OF THE COEFFICIENTS OF KLEIN S j-function CLAUDIA ALFES Abstract. Klein s j-function is one of the most fundamental modular functions in number theory. However, not much is known about the parity
More informationq-series IDENTITIES AND VALUES OF CERTAIN L-FUNCTIONS Appearing in the Duke Mathematical Journal.
q-series IDENTITIES AND VALUES OF CERTAIN L-FUNCTIONS George E. Andrews, Jorge Jiménez-Urroz and Ken Ono Appearing in the Duke Mathematical Journal.. Introduction and Statement of Results. As usual, define
More informationAN ARITHMETIC FORMULA FOR THE PARTITION FUNCTION
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 135, Number 11, November 007, Pages 3507 3514 S 000-9939(07)08883-1 Article electronically published on July 7, 007 AN ARITHMETIC FORMULA FOR THE
More informationDIVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUADRATIC FIELDS
IVISIBILITY CRITERIA FOR CLASS NUMBERS OF IMAGINARY QUARATIC FIELS PAUL JENKINS AN KEN ONO Abstract. In a recent aer, Guerzhoy obtained formulas for certain class numbers as -adic limits of traces of singular
More informationPart II. Number Theory. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section I 1G 70 Explain what is meant by an Euler pseudoprime and a strong pseudoprime. Show that 65 is an Euler
More informationTHE RAMANUJAN-SERRE DIFFERENTIAL OPERATORS AND CERTAIN ELLIPTIC CURVES. (q = e 2πiτ, τ H : the upper-half plane) ( d 5) q n
THE RAMANUJAN-SERRE DIFFERENTIAL OPERATORS AND CERTAIN ELLIPTIC CURVES MASANOBU KANEKO AND YUICHI SAKAI Abstract. For several congruence subgroups of low levels and their conjugates, we derive differential
More informationOn the number of representations of n by ax 2 + by(y 1)/2, ax 2 + by(3y 1)/2 and ax(x 1)/2 + by(3y 1)/2
ACTA ARITHMETICA 1471 011 On the number of representations of n by ax + byy 1/, ax + by3y 1/ and axx 1/ + by3y 1/ by Zhi-Hong Sun Huaian 1 Introduction For 3, 4,, the -gonal numbers are given by p n n
More informationOn Rankin-Cohen Brackets of Eigenforms
On Rankin-Cohen Brackets of Eigenforms Dominic Lanphier and Ramin Takloo-Bighash July 2, 2003 1 Introduction Let f and g be two modular forms of weights k and l on a congruence subgroup Γ. The n th Rankin-Cohen
More informationApéry Numbers, Franel Numbers and Binary Quadratic Forms
A tal given at Tsinghua University (April 12, 2013) and Hong Kong University of Science and Technology (May 2, 2013) Apéry Numbers, Franel Numbers and Binary Quadratic Forms Zhi-Wei Sun Nanjing University
More informationTATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES. Ken Ono. X(E N ) is a simple
TATE-SHAFAREVICH GROUPS OF THE CONGRUENT NUMBER ELLIPTIC CURVES Ken Ono Abstract. Using elliptic modular functions, Kronecker proved a number of recurrence relations for suitable class numbers of positive
More informationRANKIN-COHEN BRACKETS AND VAN DER POL-TYPE IDENTITIES FOR THE RAMANUJAN S TAU FUNCTION
RANKIN-COHEN BRACKETS AND VAN DER POL-TYPE IDENTITIES FOR THE RAMANUJAN S TAU FUNCTION B. RAMAKRISHNAN AND BRUNDABAN SAHU Abstract. We use Rankin-Cohen brackets for modular forms and quasimodular forms
More informationConverse theorems for modular L-functions
Converse theorems for modular L-functions Giamila Zaghloul PhD Seminars Università degli studi di Genova Dipartimento di Matematica 10 novembre 2016 Giamila Zaghloul (DIMA unige) Converse theorems 10 novembre
More informationCongruences among generalized Bernoulli numbers
ACTA ARITHMETICA LXXI.3 (1995) Congruences among generalized Bernoulli numbers by Janusz Szmidt (Warszawa), Jerzy Urbanowicz (Warszawa) and Don Zagier (Bonn) For a Dirichlet character χ modulo M, the generalized
More informationA PROBLEM ON THE CONJECTURE CONCERNING THE DISTRIBUTION OF GENERALIZED FERMAT PRIME NUMBERS (A NEW METHOD FOR THE SEARCH FOR LARGE PRIMES)
A PROBLEM ON THE CONJECTURE CONCERNING THE DISTRIBUTION OF GENERALIZED FERMAT PRIME NUMBERS A NEW METHOD FOR THE SEARCH FOR LARGE PRIMES) YVES GALLOT Abstract Is it possible to improve the convergence
More informationDirichlet s Theorem. Martin Orr. August 21, The aim of this article is to prove Dirichlet s theorem on primes in arithmetic progressions:
Dirichlet s Theorem Martin Orr August 1, 009 1 Introduction The aim of this article is to prove Dirichlet s theorem on primes in arithmetic progressions: Theorem 1.1. If m, a N are coprime, then there
More informationCONGRUENCE PROPERTIES FOR THE PARTITION FUNCTION. Department of Mathematics Department of Mathematics. Urbana, Illinois Madison, WI 53706
CONGRUENCE PROPERTIES FOR THE PARTITION FUNCTION Scott Ahlgren Ken Ono Department of Mathematics Department of Mathematics University of Illinois University of Wisconsin Urbana, Illinois 61801 Madison,
More informationPARTITION-THEORETIC FORMULAS FOR ARITHMETIC DENSITIES
PARTITION-THEORETIC FORMULAS FOR ARITHMETIC DENSITIES KEN ONO, ROBERT SCHNEIDER, AND IAN WAGNER In celebration of Krishnaswami Alladi s 60th birthday Abstract If gcd(r, t) = 1, then a theorem of Alladi
More informationDIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS
DIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS JEREMY LOVEJOY Abstract. We study the generating function for (n), the number of partitions of a natural number n into distinct parts. Using
More informationKUMMER S LEMMA KEITH CONRAD
KUMMER S LEMMA KEITH CONRAD Let p be an odd prime and ζ ζ p be a primitive pth root of unity In the ring Z[ζ], the pth power of every element is congruent to a rational integer mod p, since (c 0 + c 1
More informationarxiv: v2 [math.co] 9 May 2017
Partition-theoretic formulas for arithmetic densities Ken Ono, Robert Schneider, and Ian Wagner arxiv:1704.06636v2 [math.co] 9 May 2017 In celebration of Krishnaswami Alladi s 60th birthday. Abstract If
More informationMath 259: Introduction to Analytic Number Theory More about the Gamma function
Math 59: Introduction to Analytic Number Theory More about the Gamma function We collect some more facts about Γs as a function of a complex variable that will figure in our treatment of ζs and Ls, χ.
More informationGUO-NIU HAN AND KEN ONO
HOOK LENGTHS AND 3-CORES GUO-NIU HAN AND KEN ONO Abstract. Recently, the first author generalized a formula of Nekrasov and Okounkov which gives a combinatorial formula, in terms of hook lengths of partitions,
More informationProjects on elliptic curves and modular forms
Projects on elliptic curves and modular forms Math 480, Spring 2010 In the following are 11 projects for this course. Some of the projects are rather ambitious and may very well be the topic of a master
More informationCOMBINATORIAL APPLICATIONS OF MÖBIUS INVERSION
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 COMBINATORIAL APPLICATIONS OF MÖBIUS INVERSION MARIE JAMESON AND ROBERT P. SCHNEIDER (Communicated
More informationA NOTE ON THE EXISTENCE OF CERTAIN INFINITE FAMILIES OF IMAGINARY QUADRATIC FIELDS
A NOTE ON THE EXISTENCE OF CERTAIN INFINITE FAMILIES OF IMAGINARY QUADRATIC FIELDS IWAO KIMURA ABSTRACT. Let l > 3 be an odd prime. Let S 0, S +, S be mutually disjoint nite sets of rational primes. For
More informationCYCLOTOMIC FIELDS CARL ERICKSON
CYCLOTOMIC FIELDS CARL ERICKSON Cyclotomic fields are an interesting laboratory for algebraic number theory because they are connected to fundamental problems - Fermat s Last Theorem for example - and
More informationON THE POSITIVITY OF THE NUMBER OF t CORE PARTITIONS. Ken Ono. 1. Introduction
ON THE POSITIVITY OF THE NUMBER OF t CORE PARTITIONS Ken Ono Abstract. A partition of a positive integer n is a nonincreasing sequence of positive integers whose sum is n. A Ferrers graph represents a
More informationMATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences.
MATH 433 Applied Algebra Lecture 4: Modular arithmetic (continued). Linear congruences. Congruences Let n be a postive integer. The integers a and b are called congruent modulo n if they have the same
More informationCONGRUENCES FOR BROKEN k-diamond PARTITIONS
CONGRUENCES FOR BROKEN k-diamond PARTITIONS MARIE JAMESON Abstract. We prove two conjectures of Paule and Radu from their recent paper on broken k-diamond partitions. 1. Introduction and Statement of Results
More informationGauss and Riemann versus elementary mathematics
777-855 826-866 Gauss and Riemann versus elementary mathematics Problem at the 987 International Mathematical Olympiad: Given that the polynomial [ ] f (x) = x 2 + x + p yields primes for x =,, 2,...,
More informationREDUCTION OF CM ELLIPTIC CURVES AND MODULAR FUNCTION CONGRUENCES
REDUCTION OF CM ELLIPTIC CURVES AND MODULAR FUNCTION CONGRUENCES NOAM ELKIES, KEN ONO AND TONGHAI YANG 1. Introduction and Statement of Results Let j(z) be the modular function for SL 2 (Z) defined by
More informationFOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2
FOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2 CAMERON FRANC AND GEOFFREY MASON Abstract. We prove the following Theorem. Suppose that F = (f 1, f 2 ) is a 2-dimensional vector-valued
More informationRESULTS ON VALUES OF BARNES POLYNOMIALS
ROCKY MOUTAI JOURAL OF MATHEMATICS Volume 43, umber 6, 2013 RESULTS O VALUES OF BARES POLYOMIALS ABDELMEJID BAYAD AD TAEKYU KIM ABSTRACT. In this paper, we investigate rationality of the Barnes numbers,
More informationThe primitive root theorem
The primitive root theorem Mar Steinberger First recall that if R is a ring, then a R is a unit if there exists b R with ab = ba = 1. The collection of all units in R is denoted R and forms a group under
More informationETA-QUOTIENTS AND ELLIPTIC CURVES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 11, November 1997, Pages 3169 3176 S 0002-9939(97)03928-2 ETA-QUOTIENTS AND ELLIPTIC CURVES YVES MARTIN AND KEN ONO (Communicated by
More informationof Classical Constants Philippe Flajolet and Ilan Vardi February 24, 1996 Many mathematical constants are expressed as slowly convergent sums
Zeta Function Expansions of Classical Constants Philippe Flajolet and Ilan Vardi February 24, 996 Many mathematical constants are expressed as slowly convergent sums of the form C = f( ) () n n2a for some
More informationTOPICS IN NUMBER THEORY - EXERCISE SHEET I. École Polytechnique Fédérale de Lausanne
TOPICS IN NUMBER THEORY - EXERCISE SHEET I École Polytechnique Fédérale de Lausanne Exercise Non-vanishing of Dirichlet L-functions on the line Rs) = ) Let q and let χ be a Dirichlet character modulo q.
More informationRECENT RESULTS ON STIELTJES CONSTANTS ADDENDUM TO HIGHER DERIVATIVES OF THE HURWITZ ZETA FUNCTION. 1. Introduction
RECENT RESULTS ON STIELTJES CONSTANTS ADDENDUM TO HIGHER DERIVATIVES OF THE HURWITZ ZETA FUNCTION DOMINIC LANPHIER. Introduction Much recent significant wor on the arithmetic and analytic properties of
More informationRank-one Twists of a Certain Elliptic Curve
Rank-one Twists of a Certain Elliptic Curve V. Vatsal University of Toronto 100 St. George Street Toronto M5S 1A1, Canada vatsal@math.toronto.edu June 18, 1999 Abstract The purpose of this note is to give
More informationCONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN
Int. J. Number Theory 004, no., 79-85. CONGRUENCES CONCERNING LUCAS SEQUENCES ZHI-HONG SUN School of Mathematical Sciences Huaiyin Normal University Huaian, Jiangsu 00, P.R. China zhihongsun@yahoo.com
More informationArithmetic properties of harmonic weak Maass forms for some small half integral weights
Arithmetic properties of harmonic weak Maass forms for some small half integral weights Soon-Yi Kang (Joint work with Jeon and Kim) Kangwon National University 11-08-2015 Pure and Applied Number Theory
More informationarxiv: v1 [math.nt] 28 Jan 2010
NON VANISHING OF CENTRAL VALUES OF MODULAR L-FUNCTIONS FOR HECKE EIGENFORMS OF LEVEL ONE D. CHOI AND Y. CHOIE arxiv:00.58v [math.nt] 8 Jan 00 Abstract. Let F(z) = n= a(n)qn be a newform of weight k and
More informationGAUSSIAN HYPERGEOMETRIC FUNCTIONS AND TRACES OF HECKE OPERATORS
GAUSSIAN HYPERGEOMETRIC FUNCTIONS AND TRACES OF HECKE OPERATORS SHARON FRECHETTE, KEN ONO, AND MATTHEW PAPANIKOLAS Abstract We establish a simple inductive formula for the trace (Γ 0 (8, p of the p-th
More informationELEMENTARY PROOF OF DIRICHLET THEOREM
ELEMENTARY PROOF OF DIRICHLET THEOREM ZIJIAN WANG Abstract. In this expository paper, we present the Dirichlet Theorem on primes in arithmetic progressions along with an elementary proof. We first show
More informationPacific Journal of Mathematics
Pacific Journal of Mathematics ELLIPTIC FUNCTIONS TO THE QUINTIC BASE HENG HUAT CHAN AND ZHI-GUO LIU Volume 226 No. July 2006 PACIFIC JOURNAL OF MATHEMATICS Vol. 226, No., 2006 ELLIPTIC FUNCTIONS TO THE
More informationSome unusual identities for special values. of the Riemann zeta function. by William D. Banks. 1. Introduction p s ) 1
Some unusual identities for special values of the Riemann zeta function by William D Banks Abstract: In this paper we use elementary methods to derive some new identities for special values of the Riemann
More informationPARITY OF THE PARTITION FUNCTION. (Communicated by Don Zagier)
ELECTRONIC RESEARCH ANNOUNCEMENTS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 1, Issue 1, 1995 PARITY OF THE PARTITION FUNCTION KEN ONO (Communicated by Don Zagier) Abstract. Let p(n) denote the number
More informationFORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS
Sairaiji, F. Osaka J. Math. 39 (00), 3 43 FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS FUMIO SAIRAIJI (Received March 4, 000) 1. Introduction Let be an elliptic curve over Q. We denote by ˆ
More informationPODSYPANIN S PAPER ON THE LENGTH OF THE PERIOD OF A QUADRATIC IRRATIONAL. Copyright 2007
PODSYPANIN S PAPER ON THE LENGTH OF THE PERIOD OF A QUADRATIC IRRATIONAL JOHN ROBERTSON Copyright 007 1. Introduction The major result in Podsypanin s paper Length of the period of a quadratic irrational
More informationA NOTE ON THE SHIMURA CORRESPONDENCE AND THE RAMANUJAN τ(n) FUNCTION
A NOTE ON THE SHIMURA CORRESPONDENCE AND THE RAMANUJAN τ(n) FUNCTION KEN ONO Abstract. The Shimura correspondence is a family of maps which sends modular forms of half-integral weight to forms of integral
More informationNumber Theory and Algebraic Equations. Odile Marie-Thérèse Pons
Number Theory and Algebraic Equations Odile Marie-Thérèse Pons Published by Science Publishing Group 548 Fashion Avenue New York, NY 10018, U.S.A. http://www.sciencepublishinggroup.com ISBN: 978-1-940366-74-6
More informationKen Ono. 1 if N = m(m+1) Q(N 2ω(k)) + Q(N 2ω( k)) =
PARTITIONS INTO DISTINCT PARTS AND ELLIPTIC CURVES Ken Ono Abstract. Let QN denote the number of partitions of N into distinct parts. If ωk : 3k2 +k, 2 then it is well known that X QN + 1 k 1 if N mm+1
More informationPrimes in arithmetic progressions
(September 26, 205) Primes in arithmetic progressions Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/mfms/notes 205-6/06 Dirichlet.pdf].
More informationAbstract. Gauss s hypergeometric function gives a modular parameterization of period integrals of elliptic curves in Legendre normal form
GAUSS S 2 F HYPERGEOMETRIC FUNCTION AND THE CONGRUENT NUMBER ELLIPTIC CURVE AHMAD EL-GUINDY AND KEN ONO Abstract Gauss s hypergeometric function gives a modular parameterization of period integrals of
More informationdenote the Dirichlet character associated to the extension Q( D)/Q, that is χ D
January 0, 1998 L-SERIES WITH NON-ZERO CENTRAL CRITICAL VALUE Kevin James Department of Mathematics Pennsylvania State University 18 McAllister Building University Park, Pennsylvania 1680-6401 Phone: 814-865-757
More informationRamanujan-type Congruences for Broken 2-Diamond Partitions Modulo 3
Ramanujan-type Congruences for Broken 2-Diamond Partitions Modulo 3 William Y.C. Chen 1, Anna R.B. Fan 2 and Rebecca T. Yu 3 1,2,3 Center for Combinatorics, LPMC-TJKLC Nankai University, Tianjin 300071,
More informationRepresentations of integers as sums of an even number of squares. Özlem Imamoḡlu and Winfried Kohnen
Representations of integers as sums of an even number of squares Özlem Imamoḡlu and Winfried Kohnen 1. Introduction For positive integers s and n, let r s (n) be the number of representations of n as a
More information1, for s = σ + it where σ, t R and σ > 1
DIRICHLET L-FUNCTIONS AND DEDEKIND ζ-functions FRIMPONG A. BAIDOO Abstract. We begin by introducing Dirichlet L-functions which we use to prove Dirichlet s theorem on arithmetic progressions. From there,
More informationA MODULAR IDENTITY FOR THE RAMANUJAN IDENTITY MODULO 35
A MODULAR IDENTITY FOR THE RAMANUJAN IDENTITY MODULO 35 Adrian Dan Stanger Department of Mathematics, Brigham Young University, Provo, Utah 84602, USA adrian@math.byu.edu Received: 3/20/02, Revised: 6/27/02,
More informationLemma 1.1. The field K embeds as a subfield of Q(ζ D ).
Math 248A. Quadratic characters associated to quadratic fields The aim of this handout is to describe the quadratic Dirichlet character naturally associated to a quadratic field, and to express it in terms
More informationConvoluted Convolved Fibonacci Numbers
1 2 3 47 6 23 11 Journal of Integer Sequences, Vol. 7 (2004, Article 04.2.2 Convoluted Convolved Fibonacci Numbers Pieter Moree Max-Planc-Institut für Mathemati Vivatsgasse 7 D-53111 Bonn Germany moree@mpim-bonn.mpg.de
More informationMath 259: Introduction to Analytic Number Theory Primes in arithmetic progressions: Dirichlet characters and L-functions
Math 259: Introduction to Analytic Number Theory Primes in arithmetic progressions: Dirichlet characters and L-functions Dirichlet extended Euler s analysis from π(x) to π(x, a mod q) := #{p x : p is a
More informationDirichlet s Theorem and Algebraic Number Fields. Pedro Sousa Vieira
Dirichlet s Theorem and Algebraic Number Fields Pedro Sousa Vieira February 6, 202 Abstract In this paper we look at two different fields of Modern Number Theory: Analytic Number Theory and Algebraic Number
More informationDedekind zeta function and BDS conjecture
arxiv:1003.4813v3 [math.gm] 16 Jan 2017 Dedekind zeta function and BDS conjecture Abstract. Keywords: Dang Vu Giang Hanoi Institute of Mathematics Vietnam Academy of Science and Technology 18 Hoang Quoc
More informationA new family of character combinations of Hurwitz zeta functions that vanish to second order
A new family of character combinations of Hurwitz zeta functions that vanish to second order A. Tucker October 20, 2015 Abstract We prove the second order vanishing of a new family of character combinations
More informationMODULAR FORMS ARISING FROM Q(n) AND DYSON S RANK
MODULAR FORMS ARISING FROM Q(n) AND DYSON S RANK MARIA MONKS AND KEN ONO Abstract Let R(w; q) be Dyson s generating function for partition ranks For roots of unity ζ it is known that R(ζ; q) and R(ζ; /q)
More informationLogarithm and Dilogarithm
Logarithm and Dilogarithm Jürg Kramer and Anna-Maria von Pippich 1 The logarithm 1.1. A naive sequence. Following D. Zagier, we begin with the sequence of non-zero complex numbers determined by the requirement
More informationComputing a Lower Bound for the Canonical Height on Elliptic Curves over Q
Computing a Lower Bound for the Canonical Height on Elliptic Curves over Q John Cremona 1 and Samir Siksek 2 1 School of Mathematical Sciences, University of Nottingham, University Park, Nottingham NG7
More informationarxiv: v3 [math.nt] 12 Jan 2011
SUPERCONGRUENCES FOR APÉRY-LIKE NUMBERS arxiv:0906.3413v3 [math.nt] 12 Jan 2011 ROBERT OSBURN AND BRUNDABAN SAHU Abstract. It is nown that the numbers which occur in Apéry s proof of the irrationality
More informationas x. Before giving the detailed proof, we outline our strategy. Define the functions for Re s > 1.
Chapter 7 The Prime number theorem for arithmetic progressions 7.1 The Prime number theorem Denote by π( the number of primes. We prove the Prime Number Theorem. Theorem 7.1. We have π( log as. Before
More informationSome remarks on signs in functional equations. Benedict H. Gross. Let k be a number field, and let M be a pure motive of weight n over k.
Some remarks on signs in functional equations Benedict H. Gross To Robert Rankin Let k be a number field, and let M be a pure motive of weight n over k. Assume that there is a non-degenerate pairing M
More informationReciprocals of the Gcd-Sum Functions
2 3 47 6 23 Journal of Integer Sequences, Vol. 4 20, Article.8.3 Reciprocals of the Gcd-Sum Functions Shiqin Chen Experimental Center Linyi University Linyi, 276000, Shandong China shiqinchen200@63.com
More informationMATH 361: NUMBER THEORY FOURTH LECTURE
MATH 361: NUMBER THEORY FOURTH LECTURE 1. Introduction Everybody knows that three hours after 10:00, the time is 1:00. That is, everybody is familiar with modular arithmetic, the usual arithmetic of the
More informationB n (x) zn n! n=0. E n (x) zn n! n=0
UDC 517.9 Q.-M. Luo Chongqing Normal Univ., China) q-apostol EULER POLYNOMIALS AND q-alternating SUMS* q-полiноми АПОСТОЛА ЕЙЛЕРА ТА q-знакозмiннi СУМИ We establish the basic properties generating functions
More informationActa Academiae Paedagogicae Agriensis, Sectio Mathematicae 30 (2003) ON ADDITIVE FUNCTIONS SATISFYING CONGRUENCE PROPERTIES
Acta Academiae Paedagogicae Agriensis, Sectio Mathematicae 30 2003) 123 132 ON ADDITIVE FUNCTIONS SATISFYING CONGRUENCE PROPERTIES Bui Minh Phong Budapest, Hungary) Dedicated to the memory of Professor
More information18.785: Analytic Number Theory, MIT, spring 2006 (K.S. Kedlaya) Dirichlet series and arithmetic functions
18.785: Analytic Number Theory, MIT, spring 2006 (K.S. Kedlaya) Dirichlet series and arithmetic functions 1 Dirichlet series The Riemann zeta function ζ is a special example of a type of series we will
More informationHECKE OPERATORS ON CERTAIN SUBSPACES OF INTEGRAL WEIGHT MODULAR FORMS.
HECKE OPERATORS ON CERTAIN SUBSPACES OF INTEGRAL WEIGHT MODULAR FORMS. MATTHEW BOYLAN AND KENNY BROWN Abstract. Recent works of Garvan [2] and Y. Yang [7], [8] concern a certain family of half-integral
More informationSIMULTANEOUS SIGN CHANGE OF FOURIER-COEFFICIENTS OF TWO CUSP FORMS
SIMULTANEOUS SIGN CHANGE OF FOURIER-COEFFICIENTS OF TWO CUSP FORMS SANOLI GUN, WINFRIED KOHNEN AND PURUSOTTAM RATH ABSTRACT. We consider the simultaneous sign change of Fourier coefficients of two modular
More informationMultiple divisor functions, their algebraic structure and the relation to multiple zeta values
Multiple divisor functions, their algebraic structure and the relation to multiple zeta values Kyushu University - 13th November 2013 joint work: H.B., Ulf Kühn, arxiv:1309.3920 [math.nt] Multiple
More informationTHE JACOBIAN AND FORMAL GROUP OF A CURVE OF GENUS 2 OVER AN ARBITRARY GROUND FIELD E. V. Flynn, Mathematical Institute, University of Oxford
THE JACOBIAN AND FORMAL GROUP OF A CURVE OF GENUS 2 OVER AN ARBITRARY GROUND FIELD E. V. Flynn, Mathematical Institute, University of Oxford 0. Introduction The ability to perform practical computations
More informationClass numbers of quadratic fields Q( D) and Q( td)
Class numbers of quadratic fields Q( D) and Q( td) Dongho Byeon Abstract. Let t be a square free integer. We shall show that there exist infinitely many positive fundamental discriminants D > 0 with a
More informationSOME CONGRUENCES FOR TRACES OF SINGULAR MODULI
SOME CONGRUENCES FOR TRACES OF SINGULAR MODULI P. GUERZHOY Abstract. We address a question posed by Ono [7, Problem 7.30], prove a general result for powers of an arbitrary prime, and provide an explanation
More informationTHE DENOMINATORS OF POWER SUMS OF ARITHMETIC PROGRESSIONS. Bernd C. Kellner Göppert Weg 5, Göttingen, Germany
#A95 INTEGERS 18 (2018) THE DENOMINATORS OF POWER SUMS OF ARITHMETIC PROGRESSIONS Bernd C. Kellner Göppert Weg 5, 37077 Göttingen, Germany b@bernoulli.org Jonathan Sondow 209 West 97th Street, New Yor,
More informationAn arithmetic method of counting the subgroups of a finite abelian group
arxiv:180512158v1 [mathgr] 21 May 2018 An arithmetic method of counting the subgroups of a finite abelian group Marius Tărnăuceanu October 1, 2010 Abstract The main goal of this paper is to apply the arithmetic
More informationSome Arithmetic Functions Involving Exponential Divisors
2 3 47 6 23 Journal of Integer Sequences, Vol. 3 200, Article 0.3.7 Some Arithmetic Functions Involving Exponential Divisors Xiaodong Cao Department of Mathematics and Physics Beijing Institute of Petro-Chemical
More informationTHE NUMBER OF PARTITIONS INTO DISTINCT PARTS MODULO POWERS OF 5
THE NUMBER OF PARTITIONS INTO DISTINCT PARTS MODULO POWERS OF 5 JEREMY LOVEJOY Abstract. We establish a relationship between the factorization of n+1 and the 5-divisibility of Q(n, where Q(n is the number
More informationAn Additive Characterization of Fibers of Characters on F p
An Additive Characterization of Fibers of Characters on F p Chris Monico Texas Tech University Lubbock, TX c.monico@ttu.edu Michele Elia Politecnico di Torino Torino, Italy elia@polito.it January 30, 2009
More informationON DIRICHLET S CONJECTURE ON RELATIVE CLASS NUMBER ONE
ON DIRICHLET S CONJECTURE ON RELATIVE CLASS NUMBER ONE AMANDA FURNESS Abstract. We examine relative class numbers, associated to class numbers of quadratic fields Q( m) for m > 0 and square-free. The relative
More informationSpecial values of derivatives of L-series and generalized Stieltjes constants
ACTA ARITHMETICA Online First version Special values of derivatives of L-series and generalized Stieltjes constants by M. Ram Murty and Siddhi Pathak (Kingston, ON To Professor Robert Tijdeman on the occasion
More informationSHIMURA LIFTS OF HALF-INTEGRAL WEIGHT MODULAR FORMS ARISING FROM THETA FUNCTIONS
SHIMURA LIFTS OF HALF-INTEGRAL WEIGHT MODULAR FORMS ARISING FROM THETA FUNCTIONS DAVID HANSEN AND YUSRA NAQVI Abstract In 1973, Shimura [8] introduced a family of correspondences between modular forms
More informationBinary quadratic forms and sums of triangular numbers
Binary quadratic forms and sums of triangular numbers Zhi-Hong Sun( ) Huaiyin Normal University http://www.hytc.edu.cn/xsjl/szh Notation: Z the set of integers, N the set of positive integers, [x] the
More informationBefore giving the detailed proof, we outline our strategy. Define the functions. for Re s > 1.
Chapter 7 The Prime number theorem for arithmetic progressions 7. The Prime number theorem We denote by π( the number of primes. We prove the Prime Number Theorem. Theorem 7.. We have π( as. log Before
More information