Generalized Modular Forms Representable As Eta Products
Total Page:16
File Type:pdf, Size:1020Kb
Modular Forms Representable As Eta Products A Dissertation Submitted to the Temple University Graduate Board in Partial Fulfillment of the Requirements for the Degree of DOCTOR OF PHILOSOPHY by Wissam Raji August, 2006 iii c by Wissam Raji August, 2006 All Rights Reserved iv ABSTRACT Modular Forms Representable As Eta Products Wissam Raji DOCTOR OF PHILOSOPHY Temple University, August, 2006 Professor Marvin Knopp, Chair In this dissertation, we discuss modular forms that are representable as eta products and generalized eta products . Eta products appear in many areas of mathematics in which algebra and analysis overlap. M. Newman [15, 16] published a pair of well-known papers aimed at using eta-product to construct forms on the group Γ0(n) with the trivial multiplier system. Our work here divides into three related areas. The first builds upon the work of Siegel [23] and Rademacher [19] to derive modular transformation laws for functions defined as eta products (and related products). The second continues work of Kohnen and Mason [9] that shows that, under suitable conditions, a generalized modular form is an eta product or generalized eta product and thus a classical modular form. The third part of the dissertation applies generalized eta-products to rederive some arithmetic identities of H. Farkas [5, 6]. v ACKNOWLEDGEMENTS I would like to thank all those who have helped in the completion of my thesis. To God, the beginning and the end, for all His inspiration and help in the most difficult days of my life, and for all the people listed below. To my advisor, Professor Marvin Knopp, a great teacher and inspirer whose support and guidance were crucial for the completion of my work. He taught me how to be a good researcher and a passionate teacher. I am honored to be the student of such a great mathematician. To Professor Pavel Guerzhoy, who provided his ideas in the last two sections of my thesis and especially his key idea in the fourth chapter. His ideas and techniques helped me to attack several problems successfully. To Professor Boris Datskovsky, for serving on my examining committee, for being a great teacher, a wonderful problem solver who amazed me all the time by his great abilities. To Professor Omar Hijab, for serving on my examining committee. Dr. Hijab is a mathematician who taught me how to be passionate about the subject. His support for me all over the years was very helpful in developing my intuition. To Professor Wladimir Pribitkin, for serving on my examining committee, for being very helpful in the whole process of the defense. To Professor Sinai Robins, a number theorist at Temple University whose comments helped in the development of several theorems in my thesis, for his continuous support and encouragement throughout the years. To Jose Gimenez and Karen Taylor, my mathematical siblings, for their support and advice throughout my thesis. To my friend Marilena Downing, whose encouragement and friendship were valuable to me. To Professor Bassam Shayya, my thesis advisor at the American University of Beirut for his confidence that I will make it one day and for his continuous vi encouragement to take further and further steps. To Professor Kamal Khuri-Makdisi, a brilliant number theorist whose guid- ance and support throughout my graduate studies gave me the confidence to work harder. He was of great help in developing my mathematical intuition during my Master’s degree study at the American University of Beirut. To Nancy Abdel-Halim, my real love who stood all the years of my graduate work by my side. She helped me in taking great decisions in my life which will have great effects on my future. To my family, for their infinite love and support throughout the years of my life. In particular, to my Dad Victor, my Mom Nadia and my brothers George and Fadi. vii To my family, Victor, Nadia, George, Fadi and Nancy. With love and admiration viii TABLE OF CONTENTS ABSTRACT iv ACKNOWLEDGEMENT v DEDICATION vii 1 Introduction 1 1.1 Basic Definitions . 1 2 Transformation Laws Of Classes Of Functions 5 2.1 Transformation Law of Jacobi θ3(w, τ) ............. 5 2.1.1 The Jacobi function θ3(τ) . 11 2.1.2 The Function w(z, τ)................... 11 2.2 Transformation Laws of a Class of Eta Products . 13 2.2.1 The Transformation law of g1(τ) under Γ0(n) . 14 2.2.2 A Special Case of g1(τ).................. 20 2.2.3 Another Special Case of g1(τ) . 21 2.3 Comments on Generalizing the Proof of Section (2.1) . 24 3 Generalized Modular Forms Representable As Eta-Products 26 3.1 Introduction . 26 3.2 GMF’s on Γ0(N) Representable as Generalized Eta-Products . 29 3.3 GMF’s on Γ1(N) Representable as Eta-Products . 33 3.4 GMF’s on Γ(N) Representable as Eta-Products . 37 4 Arithmetic Identities 40 4.1 Introduction . 40 4.2 Arithmetic Identities Modulo 3 . 41 4.3 Arithmetic Identities modulo 7 . 43 4.4 Arithmetic Identities Modulo 4 . 45 REFERENCES 48 1 CHAPTER 1 Introduction 1.1 Basic Definitions By SL2(Z) we mean the group of 2x2 matrices with integral entries and determinant 1. We call SL2(Z) the modular group Γ(1). We define the action of an element A ∈ SL2(Z) on the upper half plane H by az + b Az = , cz + d ! a b where A = . For a positive integer N, we define a subgroup of Γ(1); c d ( ! ) a b Γ(N) = : a, b, c, d ∈ Z, b ≡ c ≡ 0 mod N, a ≡ d ≡ 1 mod N, ad − bc = 1 . c d We call this subgroup the principal congruence subgroup of level N. For any other subgroup Γ ⊂ Γ(1), if Γ(N) ⊂ Γ for some N ∈ Z, then we call Γ a congruence subgroup. Definition 1.1 Let Γ be a subgroup of Γ(1). A fundamental region for Γ is an open subset R of H such that 1. no two distinct points of R are equivalent with respect to Γ, and 2. every point of H is equivalent to some point in the closure of R. 2 ! 1 1 Proposition 1.1 The full modular group is generated by S = and 0 1 ! 0 −1 T = 1 0 Definition 1.2 We say that ν is a multiplier system for the group Γ and weight k provided ν(M), M ∈ Γ, is a complex-valued function of absolute value 1, satisfying the following equation k k k ν(M1M2)(c3τ + d3) = ν(M1)ν(M2)(c1M2τ + d1) (c2τ + d2) , ! ! ! ∗ ∗ ∗ ∗ ∗ ∗ where M1 = , M2 = and M3 = M1M2 = . c1 d1 c2 d2 c3 d3 Definition 1.3 Let R be a fundamental region of Γ. A parabolic point (or parabolic vertex or parabolic cusp) of Γ is any real point q, or q = ∞, such that q ∈ closure(R), in the topology of the Riemann sphere. Definition 1.4 Suppose Γ ⊂ Γ(1) such that [Γ(1) : Γ] = µ. Let A1,A2, ..., Aµ be a set of right coset representatives of Γ in Γ(1). The width of Γ at qj = ∞ is the smallest positive integer λ such that Sλ ∈ Γ. Also, the width of Γ at any other cusp qj = Aj(∞) is the smallest positive integer λ such that λ −1 AjS Aj ∈ Γ. Definition 1.5 Let k ∈ R and ν(M) a multiplier system for Γ and of weight k. A function F (τ) defined and meromorphic in H is a modular form (MF) of weight k, with multiplier system (MS) ν, with respect to Γ, provided 1. F (Mτ) = ν(M)(cτ + d)kF (τ) for every M ∈ Γ; 2. The Fourier expansion of F at every cusp qj has the form ∞ −1 X 2πi(n+κj )(A τ)/λj F (τ) = σj(τ) an(j)e j , n=−n0 3 where σj(τ) = 1 if qj = ∞ −k σj(τ) = (τ − qj) if qj is finite. Here λj is the width at qj and 0 ≤ κj < 1 is determined by ν(ASλj A−1) = e2πiκj , if qj is finite and ν(Sλj ) = e2πiκj , if qj is infinity. If the first nonzero an(j) occurs for n = −n0 < 0, we say F has a pole at qj of order n0 − κj. If the first nonzero an(j) occurs for n = n0 ≥ 0, we say F is regular at qj with a zero of order n0 + κj. To decide whether a given function is a modular form on Γ, it is essential to determine how this function transforms under the action of Γ. With respect to the full modular group, it will be enough to determine how the function transforms under the generators S and T . Usually, it is easier to see how the function transforms under the action of S. In Chapter 2 of this thesis, we de- termine the transformation law of θ3(w, τ) under the action of T using Siegel’s method [23]. Notice that θ3(w, τ) is not a modular form but θ3(0, τ) = θ3(τ) 1 is. We will see in the (2.1.1) that θ3(τ) is a modular form of weight 2 . We then generalize Siegel’s method to determine the transformation laws for an entire class of modular forms under Γ0(N). Here Γ0(N) is a congruence subgroup to be defined later. This class of functions is a product of eta functions with very important properties to be used in the later chapters. We then impose some conditions to derive a class of functions which is invariant under Γ0(N).