The kappa function. [ a b. c d

Size: px
Start display at page:

Download "The kappa function. [ a b. c d"

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

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 information

EXERCISES 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) (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 information

MONODROMY 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. 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 information

Eisenstein Series and Modular Differential Equations

Eisenstein 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 information

Part II. Riemann Surfaces. Year

Part 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 information

Cusp forms and the Eichler-Shimura relation

Cusp 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 information

RANKIN-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 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 information

DEDEKIND 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 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 information

20 The modular equation

20 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 information

On the zeros of certain modular forms

On 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 information

Y. CHOIE AND Y. TAGUCHI

Y. 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 information

LINEAR RELATIONS BETWEEN MODULAR FORM COEFFICIENTS AND NON-ORDINARY PRIMES

LINEAR 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 information

FOURIER COEFFICIENTS OF VECTOR-VALUED MODULAR FORMS OF DIMENSION 2

FOURIER 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 information

20 The modular equation

20 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 information

On Rankin-Cohen Brackets of Eigenforms

On 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 information

When 2 and 3 are invertible in A, L A is the scheme

When 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

(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 information

A Motivated Introduction to Modular Forms

A 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 information

Classical modular group

Classical 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 information

On values of Modular Forms at Algebraic Points

On 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 information

Department of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016

Department 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 information

Exercises for Part 1

Exercises 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 information

HECKE OPERATORS ON CERTAIN SUBSPACES OF INTEGRAL WEIGHT MODULAR FORMS.

HECKE 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 information

REPRESENTATIONS 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. 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 information

Ramanujan s first letter to Hardy: 5 + = 1 + e 2π 1 + e 4π 1 +

Ramanujan 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 information

Representations 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 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 information

ELLIPTIC FUNCTIONS AND THETA FUNCTIONS

ELLIPTIC 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 information

The Galois Representation Associated to Modular Forms (Part I)

The 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 information

THE 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. (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 information

A MIXED MOCK MODULAR SOLUTION OF KANEKO ZAGIER EQUATION. k(k + 1) E 12

A 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 information

Chapter 4. The Lamé equation. 4.1 The Lamé equation

Chapter 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 information

1 + 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 =

1 + 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 information

THE ARITHMETIC OF BORCHERDS EXPONENTS. Jan H. Bruinier and Ken Ono

THE 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 information

Abstract. Gauss s hypergeometric function gives a modular parameterization of period integrals of elliptic curves in Legendre normal form

Abstract. 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 information

INTEGRATION WORKSHOP 2003 COMPLEX ANALYSIS EXERCISES

INTEGRATION 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 information

Introduction 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 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 information

Theta Operators on Hecke Eigenvalues

Theta 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 information

LECTURE-15 : LOGARITHMS AND COMPLEX POWERS

LECTURE-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 information

Linear Ordinary Differential Equations Satisfied by Modular Forms

Linear 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 information

FORMAL GROUPS OF CERTAIN Q-CURVES OVER QUADRATIC FIELDS

FORMAL 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 information

Riemann Surfaces and Modular Function Field Extensions

Riemann 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 information

Math Homework 2

Math 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 information

Class Numbers, Continued Fractions, and the Hilbert Modular Group

Class 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 information

S ps S qs S rs S 0s. N pqr = s. S 2 2g

S 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 information

SOME CONGRUENCES FOR TRACES OF SINGULAR MODULI

SOME 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 information

SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS

SPRING 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 information

ZEROS OF SOME LEVEL 2 EISENSTEIN SERIES. Accepted for publication by the Proceedings of the American Mathematical Society

ZEROS 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 information

Considering 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.

Considering 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 information

DETERMINANT IDENTITIES FOR THETA FUNCTIONS

DETERMINANT 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 information

Exercises for Part 1

Exercises 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 information

2 Lecture 2: Logical statements and proof by contradiction Lecture 10: More on Permutations, Group Homomorphisms 31

2 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 information

Math 259: Introduction to Analytic Number Theory Some more about modular forms

Math 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 information

DIVISIBILITY AND DISTRIBUTION OF PARTITIONS INTO DISTINCT PARTS

DIVISIBILITY 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 information

Qualifying Exam Complex Analysis (Math 530) January 2019

Qualifying 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 information

Three-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 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 information

PARITY OF THE PARTITION FUNCTION. (Communicated by Don Zagier)

PARITY 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 information

Basic Background on Mock Modular Forms and Weak Harmonic Maass Forms

Basic 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 information

Elliptic Curves as Complex Tori

Elliptic 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 information

Riemann s zeta function, Newton s method, and holomorphic index

Riemann 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 information

Math 213a: Complex analysis Notes on doubly periodic functions

Math 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 information

Commensurability between once-punctured torus groups and once-punctured Klein bottle groups

Commensurability 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 information

PARITY OF THE COEFFICIENTS OF KLEIN S j-function

PARITY 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 information

A SHORT INTRODUCTION TO HILBERT MODULAR SURFACES AND HIRZEBRUCH-ZAGIER DIVISORS

A 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 information

Riemann surfaces. 3.1 Definitions

Riemann 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 information

Periods and generating functions in Algebraic Geometry

Periods 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 information

Qualitative Theory of Differential Equations and Dynamics of Quadratic Rational Functions

Qualitative 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 information

MATH 311: COMPLEX ANALYSIS CONTOUR INTEGRALS LECTURE

MATH 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 information

COUNTING COVERS OF AN ELLIPTIC CURVE

COUNTING 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 information

Applications of modular forms to partitions and multipartitions

Applications 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 information

Modular forms and the Hilbert class field

Modular 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 information

8 8 THE RIEMANN MAPPING THEOREM. 8.1 Simply Connected Surfaces

8 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 information

Projects on elliptic curves and modular forms

Projects 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 information

E. Falbel and P.-V. Koseleff

E. 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 information

From the definition of a surface, each point has a neighbourhood U and a homeomorphism. U : ϕ U(U U ) ϕ U (U U )

From 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 information

MATH 797MF PROBLEM LIST

MATH 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 information

A NOTE ON THE SHIMURA CORRESPONDENCE AND THE RAMANUJAN τ(n) FUNCTION

A 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 information

Converse theorems for modular L-functions

Converse 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 information

Conformal Mappings. Chapter Schwarz Lemma

Conformal 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 information

Lecture 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 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 information

14 From modular forms to automorphic representations

14 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 information

THE HYPERBOLIC METRIC OF A RECTANGLE

THE 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 information

1 Discussion on multi-valued functions

1 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 information

Revision Problems for Examination 1 in Algebra 1

Revision 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 information

DIVISIBILITY PROPERTIES OF THE 5-REGULAR AND 13-REGULAR PARTITION FUNCTIONS

DIVISIBILITY 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 information

LECTURE-13 : GENERALIZED CAUCHY S THEOREM

LECTURE-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 information

ARITHMETIC OF THE 13-REGULAR PARTITION FUNCTION MODULO 3

ARITHMETIC 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 information

Dyon degeneracies from Mathieu moonshine

Dyon 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 information

Elliptic Curves Spring 2015 Problem Set #10 Due: 4/24/2015

Elliptic 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 information

III. Consequences of Cauchy s Theorem

III. 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 information

THE REPRESENTATION THEORY, GEOMETRY, AND COMBINATORICS OF BRANCHED COVERS

THE 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 information

Solution sheet 6. D-MATH Modular Forms HS 2015 Prof. Özlem Imamoglu. 1. Set Γ := SL 2 ( ) and let α GL + 2 (É).

Solution 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 information

Department of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2014

Department 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 information

5.3 The Upper Half Plane

5.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 information

Complex Continued Fraction Algorithms

Complex 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 information

MODULI OF ALGEBRAIC SL 3 -VECTOR BUNDLES OVER ADJOINT REPRESENTATION

MODULI 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 information

Complex Analysis Slide 9: Power Series

Complex 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 information

F (z) =f(z). f(z) = a n (z z 0 ) n. F (z) = a n (z z 0 ) n

F (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)

(τ) = 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 information

Part II. Algebraic Topology. Year

Part 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 information

Alternate Locations of Equilibrium Points and Poles in Complex Rational Differential Equations

Alternate 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