The kappa function. [ a b. c d
|
|
- Isaac Townsend
- 5 years ago
- Views:
Transcription
1 The kappa function Masanobu KANEKO Masaaki YOSHIDA Abstract: The kappa function is introduced as the function κ satisfying Jκτ)) = λτ), where J and λ are the elliptic modular functions. A Fourier expansion of κ is studied. Keywords: covariant function, hypergeometric function, Schwarz s s-function, elliptic modular function. Mathematics Subject Classification: 30C20, 30F35, 33C05 1 Introduction Let G and G be discrete subgroups of the group P GL 2 C) of linear franctional transformations, and r : G G a surjective homomorphism. A holomorphic function fz) is said to be covariant of type G, r, G ) if ) az + b f = a fz) + b [ ] [ a b a cz + d c fz) + d, for g = b G, rg) = ] c d c d G. When G is trivial, a covariant function is a G-automorphic function. We are interested in the following cases: 1. G = G is a finite group r is the identity map). See [OY]. 2. G = G is a triangle Fuchsian group r is the identity map). An example of covariant functions for G = P SL 2 Z) is given in [KK]. 3. G and G are triangle Fuchsian groups, and Kerr) and G/Kerr) are both infinite groups. In this paper, as a typical example of the third case, we introduce the kappa function κ defined by Jκτ)) = λτ), where J and λ are the elliptic modular functions, and study its Fourier expansion at i. Department of Mathematics, Kyushu University, Fukuoka Japan Department of Mathematics, Kyushu University, Fukuoka Japan 1
2 2 The Schwarz map of the hypergeometric equation We briefly recall in this section a classical theory of Schwarz maps cf. [Yos]). Let Ea, b, c) be the hypergeometric differential equation x1 x)u + c a + b + 1)x)u abu = 0, where a, b and c are parameters. Its Schwarz map is defined by s : X = C {0, 1} x z = u 1 x) : u 2 x) Z = P 1 := C { }, where u 1 and u 2 are two linearly independent solutions of Ea, b, c). The local exponents of the equation Ea, b, c) at 0, 1 and are given as {0, 1 c}, {0, c a b} and {a, b}, respectively. Denote the differences of the local exponents by µ 0 = 1 c, µ 1 = c a b, µ = a b, and the monodromy group by Monodµ 0, µ 1, µ ). Then the Schwarzian derivative {s; x} of s with respect to x is given as 4{s; x} = 2s s 3s ) 2 s ) 2 = 1 µ2 0 x µ2 1 1 x) µ2 µ 2 0 µ 2 1. x1 x) We assume that the parameters a, b and c are rational numbers such that k 0 := 1 µ 0, k 1 := 1 µ 1, k := 1 µ and 1/k 0 + 1/k 1 + 1/k < 1. Then the Schwarz map {2, 3,...} { }, s = s k0,k 1,k ) : X H = {z C Iz) > 0} gives the developing map of the universal branched covering with ramification indices k 0, k 1, k ); its inverse map s 1 : H Fix ) X is single-valued, and induces the isomorphism H Fix ))/ = X, where = k0,k 1,k ) is the monodromy group Monodk 0, k 1, k ) regarded as a transformation group Schwarz s triangle group) of H, and Fix ) is the set of fixed points of. 3 Covariant functions of type Γ2), r, ) In particular, when k 0, k 1, k ) =,, ), the monodromy group,, ) is isomorphic to the principal congruence subgroup Γ2) = {g SL 2 Z) g id mod 2}/{±1}, 2
3 which has no fixed points, and the inverse of the Schwarz map is known by the name of the lambda function λz) defined on H. Since λ : H X is the universal covering of X, for any k 0, k 1, k ) satisfying 1/k 0 + 1/k 1 + 1/k < 1, the branched covering s 1 = s 1 k 0,k 1,k ) : H Fix ) X factors λ, that is, there is a unique map f = f k0,k 1,k ) : H H Fix ) such that s 1 fz)) = λz), z H, where = k0,k 1,k ). The Galois correspondence can be illustrated as {1} H The universal covering of X f N H Fix ) The universal branched covering of X s 1 π 1 X) X Here N is a normal subgroup of the fundamental group π 1 X) of X corresponding to the middle cover H Fix ). Actually, N is given as follows: Let γ 0 resp. γ 1 and γ ) be a simple loop around x = 0 resp. 1 and ), and regard these loops as elements of π 1 X). Then N is the smallest subgroup of π 1 X) containing At any rate, we have let r : π 1 X) denote the projection. γ k 0 0, γ k 1 1 and γ k. π 1 X)/N = ; For a point z H, put w = fz) and x = λz). Let γ be a loop in X with base x. The lift of γ under λ is a path in H connecting z and gz) for some g Γ2); this gives the isomorphism π 1 X, x) = Γ2). The lift of γ under the Schwarz map s is a path in H Fix ) connecting w and g w) for some g ; the correspondence Γ2) g g = rg) is the homomorphism r via the identification π 1 X, x) = Γ2). Proposition 1 Our function f is covariant of type Γ2), r, ). Proof. We have fgz)) = g w) = g fz)), g Γ2). 3
4 The following illustration may help the reader. H z λ γ) gz) H Fix ) w s γ) rg)w) X x γ x 3.1 The kappa function We are especially interested in the case k 0, k 1, k ) = 3, 2, ). The monodromy group 3,2, ) is isomorphic to Γ1) = P SL 2 Z), and the map s 1 is usually denoted by J. We name the function f as the kappa function κ; this is because the letter k is situated between j and l in the alphabetic sequence. So we have Jκz)) = λz). We normalize the maps in question as {1} H z = 0 1 κ N H Γ1){i, ρ} w = ρ i J Γ2) X x = 0 1 where ρ = exp2πi/6). Let γ 0 and γ 1 be the simple loops with base point in the lower half x-plane) around 0 and 1 as are shown in Figure 1. According to the normalization above, γ 0 and γ 1, as elements of π 1 X), are identified respectively with the two generators g 0 : z z and g : z z + 2 2z + 1 of Γ2); they fix 0 and, respectively. Then the subgroup N is the smallest normal subgroup of Γ2) containing g0 3 : z z and g 2 : z z + 4, 6z + 1 and the isomorphism Γ2)/N = Γ1) is given by the surjective homomorphism r : Γ2) Γ1) defined by g 0 w 1 ) and g w 1 ). 1 w w 4
5 Thus our function κ satisfies ) z κ = 2z κz) and κz + 2) = 1 κz). g rg ) rg 0 ) g 0 i ρ 0 1 z-plane κ w-plane 0 1 λ J γ 0 γ x-plane Figure 1: A geometric explanation of the correspondence: γ 0 g 0, γ 1 g 3.2 A fundamental domain for N Recall that the map κ : H H Γ1){i, ρ} is the universal cover of the infinitely punctured upper half w-plane H Γ1){i, ρ}) with the transformation group N Γ2). To obtain a fundamental domain of N in the upper half z-plane, we cut the punctured upper half w-plane so that it becomes simply connected. Our cut shown in Figure 2 is invariant under the action of Γ2), where Γ2) is here regarded as the subgroup of Γ1) acting on the w-space. In the figure, a fundamental domain of Γ2) is shown as the union of twelve triangles 1,..., 6, 1,..., 6, each of which is a fundamental domain of the extended triangle group of Γ1). Our cuts are now given by 1 6, 1 2, 3 4, 5 6, 6 1. It is easy to check that the complement of the Γ2)-orbits of these cuts is connected and simply connected. If we draw this connected net of triangles on the z-plane 5
6 w-plane Figure 2: Γ2)-invariant cuts of the w-plane H Γ1){i, ρ} through κ, shown in Figure 1, making use of the Schwarz reflection principle, we eventually obtain a fundamental domain of N bounded by infinitely many arcs as is shown in Figure Figure 3: A fundamental domain of N in the z-plane H 3.3 A Fourier expansion of the kappa function In this section we compute the Fourier development of κz) at z = i. Since κz + 4) = κz) and κ ) = i by definition, the Fourier series of κz) has the form κz) = i1 + a 1 q + a 2 q 2 + a 3 q 3 + ), where q := exp πiz 2. 6
7 Proposition 2 1) The nth Fourier coefficient a n of κz) can be expressed as a polynomial of degree n in a := a 1 with rational coefficients, starting with a n /2 n 1 + and having no constant term. The polynomial is even or odd according as n is even or odd. 2) The value of a is explicitly given by Example 1 a 1 = a, a 2 = 1 2 a2, a 3 = 1 4 a a, a = i 32 π 2 4 = i. 3 Γ1/4) a 4 = 1 8 a a2, a 5 = 1 16 a5 4 9 a a, a 6 = 1 32 a a a2, a 7 = 1 64 a a a a, a 8 = a8 1 9 a a a2. Proof. For 1), we shall establish recursion relations among a n s. First, by the identity κz + 2) = 1 κz), we immediately obtain the recursion with which the even index coefficients are determined by the previous ones. Lemma 1 For each even integer n 2, we have a n = n/2 1 i=1 1) i 1 a i a n i + 1) n/2 1 a2 n/2 2. 1) In particular, a 2 = a 2 1/2, a 4 = a 1 a 3 a 2 2/2, a 6 = a 1 a 5 a 2 a 4 + a 2 3/2,.... Proof. Since we have κz + 2) = i1 a 1 q + a 2 q 2 a 3 q 3 + ), we get the recursion by expanding κz + 2)κz) and equating the coefficient of q n with 0. Note κz + 2)κz) is the even function of q and so for odd n the coefficient is automatically 0. To determine a n for odd n, we make use of the explicit formula 7
8 for the Schwarzian derivative {κ; z}. To describe this, we introduce Jacobi s theta constants; θ 0 z) = 1) n q 2n2, n Z θ 2 z) = q 2n+1)2 2, θ 3 z) = q 2n2. n Z n Z They satisfy the famous identity θ 0 z) 4 + θ 2 z) 4 = θ 3 z) 4, which will be used later. By these theta s, our λ function can be expressed as λz) = θ 0z) 4 θ 3 z) 4 = 1 16q q 4 704q 6 +. In fact, the Γ2)-invariance is classical and the only thing we have to check is the values λ ) = 1, λ0) = 0 and λ1) = that we have chosen to normalize λ. But this is readily seen by the above and the following expansions λ 1 ) z λ 1 1 ) z + 1 = θ 2z) 4 θ 3 z) 4 = 16q2 128q q 6 +, = θ 3 1/z + 1)) 4 θ 0 1/z + 1)) 4 = θ 3z) 4 θ 2 z) 4 = 1 16q q2 +, which can be derived from the well-known transformation formulae cf. [Mum]) Lemma 2 We have where = q d dq = 2 πi d dz. Proof. Since we have θ 0 z + 1) = θ 3 z), θ 0 1/z) = z/i θ 2 z), θ 2 z + 1) = e πi/4 θ 2 z), θ 2 1/z) = z/i θ 0 z), θ 3 z + 1) = θ 0 z), θ 3 1/z) = z/i θ 3 z). 2κ κ 3κ 2 κ 2 = 1 9 4{λ 1 ; x} = 1 x x) x1 x), 5θ0 z) 4 θ 3 z) 4 + 4θ 3 z) 8), 2) 4{J 1 ; x} = 1 1/3)2 x /2)2 1 x) /3)2 1/2) 2, x1 x) the connection formula of the Schwarzian derivative {κ; z} = {J 1 λ; z} = {λ; z} + {J 1 ; x} dx dz ) 2 = {λ 1 ; x} + {J 1 ; x}) dx dz ) 2 8
9 allows us to express the Schwarzian {κ; z} as a rational function of x = λz) and its derivative we multiply 2/πi) 2 on both sides to have a formula with = q d/dq): 2κ κ 3κ 2 = λ z) 2 ) 5λz) + 4. κ 2 36 λz) 2 1 λz)) 2 The lemma then follows from the identities λ z) = 2θ 2 z) 4 λz) and 1 λz) = θ 2z) 4 θ 3 z) 4. Now we use 2) to obtain another recursion for a n. Put 1 5θ0 z) 4 θ 3 z) 4 + 4θ 3 z) 8) = 9 b n q n. n=0 By the formulas θ 0 z) 4 θ 3 z) 4 = n=1 d n 1) d d 3 q 4n, θ 3 z) 8 = ) n n=1 d n 1) d d 3 q 2n, the b n is explicitly given by b 0 = 1 and 0, for n : odd, 1) n/2 64 1) d d 3, for n 2 mod 4, b n = 9 d n/2 1) n/ d n/2 1) d d ) d d 3, for n 0 mod 4. 9 d n/4 Equating the coefficients of q n+1 on both sides of 2κ κ 3κ 2 = κ 2 n=0 b n q n, we obtain, after some manipulation, the recursive relation 2nn 1)n 2)a a n = n 1 i=2 n 1 j=1 in + 1 i) 2n + 1) 2 7in + 1) + 5i ) a i a n+1 i n j b j i=1 in + 1 j i)a i a n+1 j i. With this recursion and a 1 = a, a 2 = a 2 /2, we can deduce all the assertions in 1) of Proposition 2 by induction. For parity result we should note that b j = 0 for j odd, and for the top term we use the identity n 1 i=2 in + 1 i) 2n + 1) 2 7in + 1) + 5i ) = 2nn 1)n 2) 9
10 and note the second sum on the right has lower degree. Next we evaluate a. Differentiating the identity Jκz)) = λz) twice and multiplying both sides by 2 πi ) 2, we have d 2 J dw κz)) q dκ ) 2 2 dq z) + dj dw κz)) q d ) 2 κz) = q d ) 2 λz) = 64q 2 + 3) dq dq After dividing this by q 2, we look at the limit when z i so w i and q 0). Since q dκ ) 2 dq z) = a 2 q 2 +, q d ) 2 κz) = iaq +, dq we need the limiting values of d 2 Jw)/dw 2 and djw)/dw)/q as w i w = κz)). To compute these, we use the classical Eisenstein series and the cusp form Lemma 3 We have and E 2 w) = 1 24 E 4 w) = E 6 w) = w) = e 2πiw dj dw w) q Proof. We use the formula n=1 d n n=1 n=1 d n n=1 d n d) e 2πinw, d 3 ) e 2πinw, d 5 ) e 2πinw, 1 e 2πinw ) 24. 2π 2 iae 4 i) as w i) d 2 J dw 2 i) = 2π2 E 4 i). de 6 dw w) = πie 2w)E 6 w) E 4 w) 2 ) as well as the value E 6 i) = 0 and dw/dz = dκz)/dz = πaq/2 + to obtain use de L Hôpital s rule) E 6 w) lim z i q πi E 2 w)e 6 w) E 4 w) 2) dw = lim dz = πae z i πi 4 i) 2. 2 q 10
11 Hence by we obtain dj dw w) = 2πiE 6w) Jw) and Ji) = 1, E 4 w) lim z i dj dw w) q For the second value, we compute 2π 2 iae 4 i). d 2 ) J d Jw) 2 w) = 2πi E 6 w) + Jw) ) dw dw E 4 w) E 4 w) πie 2w)E 6 w) E 4 w) 2 ) and use E 6 i) = 0, Ji) = 1. Applying this lemma to the identity 3) together with the evaluation we obtain E 4 i) = 3 64 a 2 = Γ1/4) 8 π 6, π 4 Γ1/4) 8. Since κz) tends to i from the right on the unit circle as z goes up to infinity along the pure-imaginary axis, ia must be positive. This proves 2) of Proposion 2. References [KK] M. Kaneko and M. Koike, On modular forms arising from a differential equation of hypergeometric type, to appear in The Ramanujan J. [Mum] D. Mumford, Tata Lectures on Theta I, Progress in Math., Birkhäuser, [OY] H. Ochiai and M. Yoshida, Polynomials associated with the hypergeometric functions with finite monodromy groups, preprint [Yos] M. Yoshida, Hypergeometric Functions, My Love: Modular Interpretations of Confuguration Spaces, Vieweg Verlag, Wiesbaden,
Rational Equivariant Forms
CRM-CICMA-Concordia University Mai 1, 2011 Atkin s Memorial Lecture and Workshop This is joint work with Abdellah Sebbar. Notation Let us fix some notation: H := {z C; I(z) > 0}, H := H P 1 (Q), SL 2 (Z)
More informationEXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.
EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is
More informationMONODROMY OF THE HYPERGEOMETRIC DIFFERENTIAL EQUATION OF TYPE (3, 6) III. Contents 1. Introduction 1
MONODROMY OF THE HYPERGEOMETRIC DIFFERENTIAL EQUATION OF TYPE (3, 6) III KEIJI MATSUMOTO, TAKESHI SASAKI, AND MASAAKI YOSHIDA Abstract. For the hypergeometric system E(3, 6; α) of type (3, 6), two special
More informationEisenstein Series and Modular Differential Equations
Canad. Math. Bull. Vol. 55 (2), 2012 pp. 400 409 http://dx.doi.org/10.4153/cmb-2011-091-3 c Canadian Mathematical Society 2011 Eisenstein Series and Modular Differential Equations Abdellah Sebbar and Ahmed
More informationPart II. Riemann Surfaces. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 96 Paper 2, Section II 23F State the uniformisation theorem. List without proof the Riemann surfaces which are uniformised
More informationCusp forms and the Eichler-Shimura relation
Cusp forms and the Eichler-Shimura relation September 9, 2013 In the last lecture we observed that the family of modular curves X 0 (N) has a model over the rationals. In this lecture we use this fact
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 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 information20 The modular equation
18.783 Elliptic Curves Lecture #20 Spring 2017 04/26/2017 20 The modular equation In the previous lecture we defined modular curves as quotients of the extended upper half plane under the action of a congruence
More informationOn the zeros of certain modular forms
On the zeros of certain modular forms Masanobu Kaneko Dedicated to Professor Yasutaka Ihara on the occasion of his 60th birthday. The aim of this short note is to list several families of modular forms
More informationY. CHOIE AND Y. TAGUCHI
A SIMPLE PROOF OF THE MODULAR IDENTITY FOR THETA SERIES Y. CHOIE AND Y. TAGUCHI Abstract. We characterie the function spanned by theta series. As an application we derive a simple proof of the modular
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 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 information20 The modular equation
18.783 Elliptic Curves Spring 2015 Lecture #20 04/23/2015 20 The modular equation In the previous lecture we defined modular curves as quotients of the extended upper half plane under the action of a congruence
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 informationWhen 2 and 3 are invertible in A, L A is the scheme
8 RICHARD HAIN AND MAKOTO MATSUMOTO 4. Moduli Spaces of Elliptic Curves Suppose that r and n are non-negative integers satisfying r + n > 0. Denote the moduli stack over Spec Z of smooth elliptic curves
More information(www.math.uni-bonn.de/people/harder/manuscripts/buch/), files chap2 to chap
The basic objects in the cohomology theory of arithmetic groups Günter Harder This is an exposition of the basic notions and concepts which are needed to build up the cohomology theory of arithmetic groups
More informationA Motivated Introduction to Modular Forms
May 3, 2006 Outline of talk: I. Motivating questions II. Ramanujan s τ function III. Theta Series IV. Congruent Number Problem V. My Research Old Questions... What can you say about the coefficients of
More informationClassical modular group
Chapter 29 Classical modular group In this section, we introduce the classical modular group SL 2 (Z), examine the hyperbolic quotient in detail, and we discuss some arithmetic applications. 29. The fundamental
More informationOn values of Modular Forms at Algebraic Points
On values of Modular Forms at Algebraic Points Jing Yu National Taiwan University, Taipei, Taiwan August 14, 2010, 18th ICFIDCAA, Macau Hermite-Lindemann-Weierstrass In value distribution theory the exponential
More informationDepartment of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016
Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016 1. Please write your 1- or 2-digit exam number on
More informationExercises for Part 1
MATH200 Complex Analysis. Exercises for Part Exercises for Part The following exercises are provided for you to revise complex numbers. Exercise. Write the following expressions in the form x + iy, x,y
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 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 informationRamanujan s first letter to Hardy: 5 + = 1 + e 2π 1 + e 4π 1 +
Ramanujan s first letter to Hardy: e 2π/ + + 1 = 1 + e 2π 2 2 1 + e 4π 1 + e π/ 1 e π = 2 2 1 + 1 + e 2π 1 + Hardy: [These formulas ] defeated me completely. I had never seen anything in the least like
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 informationELLIPTIC FUNCTIONS AND THETA FUNCTIONS
ELLIPTIC FUNCTIONS AND THETA FUNCTIONS LECTURE NOTES FOR NOV.24, 26 Historically, elliptic functions were first discovered by Niels Henrik Abel as inverse functions of elliptic integrals, and their theory
More informationThe Galois Representation Associated to Modular Forms (Part I)
The Galois Representation Associated to Modular Forms (Part I) Modular Curves, Modular Forms and Hecke Operators Chloe Martindale May 20, 2015 Contents 1 Motivation and Background 1 2 Modular Curves 2
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 informationA MIXED MOCK MODULAR SOLUTION OF KANEKO ZAGIER EQUATION. k(k + 1) E 12
A MIXED MOCK MODULAR SOLUTION OF KANEKO ZAGIER EQUATION P. GUERZHOY Abstract. The notion of mixed mock modular forms was recently introduced by Don Zagier. We show that certain solutions of Kaneko - Zagier
More informationChapter 4. The Lamé equation. 4.1 The Lamé equation
Chapter 4 The Lamé equation In this chapter we introduce the Lamé (differential) equation L n (y) =0and consider its monodromy group in general. It turns out that a finite monodromy group of the Lamé equation
More information1 + lim. n n+1. f(x) = x + 1, x 1. and we check that f is increasing, instead. Using the quotient rule, we easily find that. 1 (x + 1) 1 x (x + 1) 2 =
Chapter 5 Sequences and series 5. Sequences Definition 5. (Sequence). A sequence is a function which is defined on the set N of natural numbers. Since such a function is uniquely determined by its values
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 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 informationINTEGRATION WORKSHOP 2003 COMPLEX ANALYSIS EXERCISES
INTEGRATION WORKSHOP 23 COMPLEX ANALYSIS EXERCISES DOUGLAS ULMER 1. Meromorphic functions on the Riemann sphere It s often useful to allow functions to take the value. This exercise outlines one way to
More informationIntroduction to modular forms Perspectives in Mathematical Science IV (Part II) Nagoya University (Fall 2018)
Introduction to modular forms Perspectives in Mathematical Science IV (Part II) Nagoya University (Fall 208) Henrik Bachmann (Math. Building Room 457, henrik.bachmann@math.nagoya-u.ac.jp) Lecture notes
More informationTheta Operators on Hecke Eigenvalues
Theta Operators on Hecke Eigenvalues Angus McAndrew The University of Melbourne Overview 1 Modular Forms 2 Hecke Operators 3 Theta Operators 4 Theta on Eigenvalues 5 The slide where I say thank you Modular
More informationLECTURE-15 : LOGARITHMS AND COMPLEX POWERS
LECTURE-5 : LOGARITHMS AND COMPLEX POWERS VED V. DATAR The purpose of this lecture is twofold - first, to characterize domains on which a holomorphic logarithm can be defined, and second, to show that
More informationLinear Ordinary Differential Equations Satisfied by Modular Forms
MM Research Preprints, 0 7 KLMM, AMSS, Academia Sinica Vol. 5, December 006 Linear Ordinary Differential Equations Satisfied by Modular Forms Xiaolong Ji Department of Foundation Courses Jiyuan Vocational
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 informationRiemann Surfaces and Modular Function Field Extensions
Riemann Surfaces and Modular Function Field Extensions Bryden R. Cais cais@fas.harvard.edu (617) 493 2628 Supervised by Noam D. Elkies A thesis presented to the Department of Mathematics in partial fulfillment
More informationMath Homework 2
Math 73 Homework Due: September 8, 6 Suppose that f is holomorphic in a region Ω, ie an open connected set Prove that in any of the following cases (a) R(f) is constant; (b) I(f) is constant; (c) f is
More informationClass Numbers, Continued Fractions, and the Hilbert Modular Group
Class Numbers, Continued Fractions, and the Hilbert Modular Group Jordan Schettler University of California, Santa Barbara 11/8/2013 Outline 1 Motivation 2 The Hilbert Modular Group 3 Resolution of the
More informationS ps S qs S rs S 0s. N pqr = s. S 2 2g
On generalizations of Verlinde's formula P. Bantay Inst. for Theor. Phys., Eotvos Univ. July, 000 Abstract It is shown that traces of mapping classes of finite order may be expressed by Verlinde-like formulae.
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 informationSPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS
SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly
More informationZEROS OF SOME LEVEL 2 EISENSTEIN SERIES. Accepted for publication by the Proceedings of the American Mathematical Society
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 000-9939XX0000-0 ZEROS OF SOME LEVEL EISENSTEIN SERIES SHARON GARTHWAITE, LING LONG, HOLLY SWISHER, STEPHANIE TRENEER
More informationConsidering our result for the sum and product of analytic functions, this means that for (a 0, a 1,..., a N ) C N+1, the polynomial.
Lecture 3 Usual complex functions MATH-GA 245.00 Complex Variables Polynomials. Construction f : z z is analytic on all of C since its real and imaginary parts satisfy the Cauchy-Riemann relations and
More informationDETERMINANT IDENTITIES FOR THETA FUNCTIONS
DETERMINANT IDENTITIES FOR THETA FUNCTIONS SHAUN COOPER AND PEE CHOON TOH Abstract. Two proofs of a theta function identity of R. W. Gosper and R. Schroeppel are given. A cubic analogue is presented, and
More informationExercises for Part 1
MATH200 Complex Analysis. Exercises for Part Exercises for Part The following exercises are provided for you to revise complex numbers. Exercise. Write the following expressions in the form x+iy, x,y R:
More information2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31
Contents 1 Lecture 1: Introduction 2 2 Lecture 2: Logical statements and proof by contradiction 7 3 Lecture 3: Induction and Well-Ordering Principle 11 4 Lecture 4: Definition of a Group and examples 15
More informationMath 259: Introduction to Analytic Number Theory Some more about modular forms
Math 259: Introduction to Analytic Number Theory Some more about modular forms The coefficients of the q-expansions of modular forms and functions Concerning Theorem 5 (Hecke) of [Serre 1973, VII (p.94)]:
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 informationQualifying Exam Complex Analysis (Math 530) January 2019
Qualifying Exam Complex Analysis (Math 53) January 219 1. Let D be a domain. A function f : D C is antiholomorphic if for every z D the limit f(z + h) f(z) lim h h exists. Write f(z) = f(x + iy) = u(x,
More informationThree-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms
Three-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms U-M Automorphic forms workshop, March 2015 1 Definition 2 3 Let Γ = PSL 2 (Z) Write ( 0 1 S =
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 informationBasic Background on Mock Modular Forms and Weak Harmonic Maass Forms
Basic Background on Mock Modular Forms and Weak Harmonic Maass Forms 1 Introduction 8 December 2016 James Rickards These notes mainly derive from Ken Ono s exposition Harmonic Maass Forms, Mock Modular
More informationElliptic Curves as Complex Tori
Elliptic Curves as Complex Tori Theo Coyne June 20, 207 Misc. Prerequisites For an elliptic curve E given by Y 2 Z = X 2 + axz 2 + bz 3, we define its j- invariant to be j(e = 728(4a3 4a 3 +27b. Two elliptic
More informationRiemann s zeta function, Newton s method, and holomorphic index
Riemann s zeta function, Newton s method, and holomorphic index Tomoki Kawahira Nagoya University, Nagoya, JAPAN URL: http://math.nagoya-u.ac.jp/ kawahira Abstract. We apply some root finding algorithms
More informationMath 213a: Complex analysis Notes on doubly periodic functions
Math 213a: Complex analysis Notes on doubly periodic functions Lattices. Let V be a real vector space of dimension n. A subgroup L V is said to be a lattice if it satisfies one of the following equivalent
More informationCommensurability between once-punctured torus groups and once-punctured Klein bottle groups
Hiroshima Math. J. 00 (0000), 1 34 Commensurability between once-punctured torus groups and once-punctured Klein bottle groups Mikio Furokawa (Received Xxx 00, 0000) Abstract. The once-punctured torus
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 informationA SHORT INTRODUCTION TO HILBERT MODULAR SURFACES AND HIRZEBRUCH-ZAGIER DIVISORS
A SHORT INTRODUCTION TO HILBERT MODULAR SURFACES AND HIRZEBRUCH-ZAGIER DIVISORS STEPHAN EHLEN 1. Modular curves and Heegner Points The modular curve Y (1) = Γ\H with Γ = Γ(1) = SL (Z) classifies the equivalence
More informationRiemann surfaces. 3.1 Definitions
3 Riemann surfaces In this chapter we define and give the first properties of Riemann surfaces. These are the holomorphic counterpart of the (real) differential manifolds. We will see how the Fuchsian
More informationPeriods and generating functions in Algebraic Geometry
Periods and generating functions in Algebraic Geometry Hossein Movasati IMPA, Instituto de Matemática Pura e Aplicada, Brazil www.impa.br/ hossein/ Abstract In 1991 Candelas-de la Ossa-Green-Parkes predicted
More informationQualitative Theory of Differential Equations and Dynamics of Quadratic Rational Functions
Nonl. Analysis and Differential Equations, Vol. 2, 2014, no. 1, 45-59 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/nade.2014.3819 Qualitative Theory of Differential Equations and Dynamics of
More informationMATH 311: COMPLEX ANALYSIS CONTOUR INTEGRALS LECTURE
MATH 3: COMPLEX ANALYSIS CONTOUR INTEGRALS LECTURE Recall the Residue Theorem: Let be a simple closed loop, traversed counterclockwise. Let f be a function that is analytic on and meromorphic inside. Then
More informationCOUNTING COVERS OF AN ELLIPTIC CURVE
COUNTING COVERS OF AN ELLIPTIC CURVE ABSTRACT. This note is an exposition of part of Dijkgraaf s article [Dij] on counting covers of elliptic curves and their connection with modular forms. CONTENTS 0.
More informationApplications of modular forms to partitions and multipartitions
Applications of modular forms to partitions and multipartitions Holly Swisher Oregon State University October 22, 2009 Goal The goal of this talk is to highlight some applications of the theory of modular
More informationModular forms and the Hilbert class field
Modular forms and the Hilbert class field Vladislav Vladilenov Petkov VIGRE 2009, Department of Mathematics University of Chicago Abstract The current article studies the relation between the j invariant
More information8 8 THE RIEMANN MAPPING THEOREM. 8.1 Simply Connected Surfaces
8 8 THE RIEMANN MAPPING THEOREM 8.1 Simply Connected Surfaces Our aim is to prove the Riemann Mapping Theorem which states that every simply connected Riemann surface R is conformally equivalent to D,
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 informationE. Falbel and P.-V. Koseleff
Mathematical Research Letters 9, 379 391 (2002) A CIRCLE OF MODULAR GROUPS IN PU(2,1) E. Falbel and P.-V. Koseleff Abstract. We prove that there exists a circle of discrete and faithful embeddings of the
More informationFrom the definition of a surface, each point has a neighbourhood U and a homeomorphism. U : ϕ U(U U ) ϕ U (U U )
3 Riemann surfaces 3.1 Definitions and examples From the definition of a surface, each point has a neighbourhood U and a homeomorphism ϕ U from U to an open set V in R 2. If two such neighbourhoods U,
More informationMATH 797MF PROBLEM LIST
MATH 797MF PROBLEM LIST PAUL E. GUNNELLS Please complete 20 of these problems. You can hand them in at any time, but please try to submit them in groups of 5 at a time. The problems cover a lot of different
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 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 informationConformal Mappings. Chapter Schwarz Lemma
Chapter 5 Conformal Mappings In this chapter we study analytic isomorphisms. An analytic isomorphism is also called a conformal map. We say that f is an analytic isomorphism of U with V if f is an analytic
More informationLecture 4. Frits Beukers. Arithmetic of values of E- and G-function. Lecture 4 E- and G-functions 1 / 27
Lecture 4 Frits Beukers Arithmetic of values of E- and G-function Lecture 4 E- and G-functions 1 / 27 Two theorems Theorem, G.Chudnovsky 1984 The minimal differential equation of a G-function is Fuchsian.
More information14 From modular forms to automorphic representations
14 From modular forms to automorphic representations We fix an even integer k and N > 0 as before. Let f M k (N) be a modular form. We would like to product a function on GL 2 (A Q ) out of it. Recall
More informationTHE HYPERBOLIC METRIC OF A RECTANGLE
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 26, 2001, 401 407 THE HYPERBOLIC METRIC OF A RECTANGLE A. F. Beardon University of Cambridge, DPMMS, Centre for Mathematical Sciences Wilberforce
More information1 Discussion on multi-valued functions
Week 3 notes, Math 7651 1 Discussion on multi-valued functions Log function : Note that if z is written in its polar representation: z = r e iθ, where r = z and θ = arg z, then log z log r + i θ + 2inπ
More informationRevision Problems for Examination 1 in Algebra 1
Centre for Mathematical Sciences Mathematics, Faculty of Science Revision Problems for Examination 1 in Algebra 1 Arithmetics 1 Determine a greatest common divisor to the integers a) 5431 and 1345, b)
More informationDIVISIBILITY PROPERTIES OF THE 5-REGULAR AND 13-REGULAR PARTITION FUNCTIONS
INTEGERS: ELECTRONIC JOURNAL OF COMBINATORIAL NUMBER THEORY 8 (008), #A60 DIVISIBILITY PROPERTIES OF THE 5-REGULAR AND 13-REGULAR PARTITION FUNCTIONS Neil Calkin Department of Mathematical Sciences, Clemson
More informationLECTURE-13 : GENERALIZED CAUCHY S THEOREM
LECTURE-3 : GENERALIZED CAUCHY S THEOREM VED V. DATAR The aim of this lecture to prove a general form of Cauchy s theorem applicable to multiply connected domains. We end with computations of some real
More informationARITHMETIC OF THE 13-REGULAR PARTITION FUNCTION MODULO 3
ARITHMETIC OF THE 13-REGULAR PARTITION FUNCTION MODULO 3 JOHN J WEBB Abstract. Let b 13 n) denote the number of 13-regular partitions of n. We study in this paper the behavior of b 13 n) modulo 3 where
More informationDyon degeneracies from Mathieu moonshine
Prepared for submission to JHEP Dyon degeneracies from Mathieu moonshine arxiv:1704.00434v2 [hep-th] 15 Jun 2017 Aradhita Chattopadhyaya, Justin R. David Centre for High Energy Physics, Indian Institute
More informationElliptic Curves Spring 2015 Problem Set #10 Due: 4/24/2015
18.783 Elliptic Curves Spring 2015 Problem Set #10 Due: 4/24/2015 Description These problems are related to the material covered in Lectures 18-19. As usual, the first person to spot each non-trivial typo/error
More informationIII. Consequences of Cauchy s Theorem
MTH6 Complex Analysis 2009-0 Lecture Notes c Shaun Bullett 2009 III. Consequences of Cauchy s Theorem. Cauchy s formulae. Cauchy s Integral Formula Let f be holomorphic on and everywhere inside a simple
More informationTHE REPRESENTATION THEORY, GEOMETRY, AND COMBINATORICS OF BRANCHED COVERS
THE REPRESENTATION THEORY, GEOMETRY, AND COMBINATORICS OF BRANCHED COVERS BRIAN OSSERMAN Abstract. The study of branched covers of the Riemann sphere has connections to many fields. We recall the classical
More informationSolution sheet 6. D-MATH Modular Forms HS 2015 Prof. Özlem Imamoglu. 1. Set Γ := SL 2 ( ) and let α GL + 2 (É).
D-MATH Modular Forms HS 205 Prof. Özlem Imamoglu Solution sheet 6. Set Γ := SL 2 ( and let α GL + 2 (É. a Show that the subgroup Γ := α Γα Γis a congruence subgroup. It is enough to show that α Γα contains
More informationDepartment of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2014
Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2014 1. Please write your 1- or 2-digit exam number on
More information5.3 The Upper Half Plane
Remark. Combining Schwarz Lemma with the map g α, we can obtain some inequalities of analytic maps f : D D. For example, if z D and w = f(z) D, then the composition h := g w f g z satisfies the condition
More informationComplex Continued Fraction Algorithms
Complex Continued Fraction Algorithms A thesis presented in partial fulfilment of the requirements for the degree of Master of Mathematics Author: Bastiaan Cijsouw (s3022706) Supervisor: Dr W Bosma Second
More informationMODULI OF ALGEBRAIC SL 3 -VECTOR BUNDLES OVER ADJOINT REPRESENTATION
Masuda, K. Osaka J. Math. 38 (200), 50 506 MODULI OF ALGEBRAIC SL 3 -VECTOR BUNDLES OVER ADJOINT REPRESENTATION KAYO MASUDA (Received June 2, 999). Introduction and result Let be a reductive complex algebraic
More informationComplex Analysis Slide 9: Power Series
Complex Analysis Slide 9: Power Series MA201 Mathematics III Department of Mathematics IIT Guwahati August 2015 Complex Analysis Slide 9: Power Series 1 / 37 Learning Outcome of this Lecture We learn Sequence
More informationF (z) =f(z). f(z) = a n (z z 0 ) n. F (z) = a n (z z 0 ) n
6 Chapter 2. CAUCHY S THEOREM AND ITS APPLICATIONS Theorem 5.6 (Schwarz reflection principle) Suppose that f is a holomorphic function in Ω + that extends continuously to I and such that f is real-valued
More information(τ) = q (1 q n ) 24. E 4 (τ) = q q q 3 + = (1 q) 240 (1 q 2 ) (1 q 3 ) (1.1)
Automorphic forms on O s+2,2 (R) + and generalized Kac-Moody algebras. Proceedings of the International Congress of Mathematicians, Vol. 1, 2 (Zürich, 1994), 744 752, Birkhäuser, Basel, 1995. Richard E.
More informationPart II. Algebraic Topology. Year
Part II Year 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2017 Paper 3, Section II 18I The n-torus is the product of n circles: 5 T n = } S 1. {{.. S } 1. n times For all n 1 and 0
More informationAlternate Locations of Equilibrium Points and Poles in Complex Rational Differential Equations
International Mathematical Forum, Vol. 9, 2014, no. 35, 1725-1739 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/imf.2014.410170 Alternate Locations of Equilibrium Points and Poles in Complex
More information