DOCSLIB.ORG

The J Invariant

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
The J Invariant The j invariant Sacha Schweizer November 22 and 29, 2006 Introduction for the lattice L = Lτ = τZ + Z. This more general expression takes any lattice We pursue the discussion of modular func- ω tions, studying their relationship with ho- L = ω + ω , ω , ω ∈ , 1 ∈/ 1Z 2Z 1 2 C ω R mogeneous lattice functions and the Weier- 2 strass ℘ function, which gives us the oc- as argument and defines a lattice function, casion to define elliptic functions and in- which turns out to be homogeneous of de- troduce some basic results. We explain gree −k: for any λ ∈ C, let λL denote the the importance of the Eisenstein series - expansion by λ of L, λω1Z + λω2C, then two of them, in particular - in characteriz- ing ℘. We then introduce a special mod- X 1 Gk(λL) = ular function, the j invariant, in terms ωk ω∈λLr{0} of which any other modular function of weight 0 can be expressed explicitly. j is X 1 = shown to give a bijection between the fun- (λω)k ω∈Lr{0} damental domain and C mapping infinity −k to infinity, which allows us to prove an ex- = λ Gk(L) istence theorem for lattices related to el- a b Note that for τ ∈ and γ = ∈ liptic curves, and Picard’s Little Theorem H c d about the behavior of entire functions. Γ1, Relationship between homogeneous Lτ = γLτ = (aτ + b)Z + (cτ + d)Z lattice functions and modular func- tions For any homogeneous lattice function f of degree −k, Recall The Eisenstein series of order k is a modular form of weight k, defined as f(Lτ ) = f(γLτ ) X 1 = (cτ + d)−kf(L ) G (τ) = γτ k (mτ + n)k (m,n)∈Z×Zr{(0,0)} In other words, k It can be rewritten as f(Lγτ ) = (cτ + d) f(Lτ ) X 1 1As usual, Γ denotes the full modular group G (L) = k ωk SL2(Z). ω∈Lr{0} 1 so f(τ) = f(Lτ ) is modular of weight k. Theorem and Definition The num- ber of zeroes and poles (counted with mul- We have other modular forms tiplicity) of a nonzero elliptic function f in a period parallelogram coincide; it is g2(τ) = 60G4(τ) called the order of f, and it is always at least 2. g3(τ) = 140G6(τ) Proof Zeroes and poles of a nonzero mero- 3 2 ∆(τ) = g2(τ) − 27g3(τ) morphic function are discrete, hence lo- cally finite. Integrate the logarithmic deriv- of weight 4, 6, and 12, respectively. ative of f along the boundary of a pe- riod parallelogram so chosen that no ze- Elliptic Functions2 roes or poles lie on its boundary (trans- late if needed). By periodicity, opposite Definition A function f : C → C such sides cancel and the integral is 0. The that first part of the claim then follows by the Residue Theorem. The second part fol- f(z + ω) = f(z), ∀z ∈ C, ∀ω ∈ L lows by the Residue Theorem applied to f instead, and considering our previous for some lattice L is called doubly periodic. theorem. A doubly periodic meromorphic function is called elliptic. An example of elliptic function Elliptic functions form a subfield of the field of meromorphic functions. Definition The Weierstrass ℘ function for a lattice L is defined on as Note that by periodicity, such a function C is fully determined on a period parallelo- 1 X 1 1 ℘(z) = 2 + 2 − 2 gram such as [0, 1)ω1 + [0, 1)ω2 z (z − ω) ω ∼ ω∈Lr{0} Furthermore, L = Z⊕Z as a group under addition acting on C by translation, hence ∼ 2 Theorem ℘ is an elliptic function for C/L = T , and f is actually a function on a torus. L of order 2, with double poles at lattice points (without proof3). Theorem An elliptic function without poles (or zeroes) is constant. Theorem ℘ possesses the following Lau- Proof If f has no poles, it is entire, and rent expansion around the origin: continuous on the closure of any period ∞ 1 X parallelogram. This is compact, hence f ℘(z) = + (2n + 1)G z2n z2 2n+2 is bounded there. By periodicity, f is n=1 (globally) bounded, and by Liouville’s the- for kzk < min{kωk : ω ∈ L}. orem, it must be constant. If f has no zeroes, consider 1/f. Proof The proof is based on the Tay- 1 lor expansion of (z−ω)2 and can be found 2This portion has been added to this talk be- in < 1 >, 3. cause, for reasons of time, it had been left out from the talk < 1 >. 3For a proof, see [1], 1.6 2 Theorem ℘ satisfies the following dif- In particular, any elliptic curve can be ferential equation: brought into Weierstrass form. 0 2 3 [℘ (z)] = 4℘ (z) − g2(L)℘(z) − g3(L). The j invariant Definition The j invariant7 is defined Proof Knowledge of the above Laurent as expansion of ℘ around the origin allows g3(τ) j(τ) = 1728 2 , τ ∈ . one to conclude that the difference be- ∆(τ) H tween left-hand and right-hand side of the differential equation is a Taylor series with- out constant term. By ellipticity, it must Note j is the ratio of two modular forms be constant, hence zero. For the compu- of weight 12, hence it is a modular func- 4 tational details, see [1], 1.9. tion of weight 0. Since ∆ has a simple zero at infinity but vanishes nowhere else, Remarks 1) This differential equa- j has a simple pole at infinity and is holo- tion leads us to ask ourselves whether ℘ is morphic on H. fully determined by g2 and g3 alone. This is indeed so, since the Eisenstein series are Let Γd\H denote the closure of the modu- 5 expressible as polynomials in g2 and g3. lar fundamental domain with Γ-equivalent In turn, ℘ suffices for representing all el- sides identified and the point at infinity 6 liptic functions . added. Topologically, Γd\H can be given 2) ∆(L) is the discriminant of the cubic the structure of the one-point compactifi- polynomial in Weierstrass form P (z) = cation of the fundamental domain, which 3 4z − g2(L)z − g3(L); the discriminant is is homeomorphic to the 2-sphere. a constant multiple of 2 Theorem j defines a bijection [(z1 − z2)(z2 − z3)(z1 − z3)] Γd\H −→ C ∪ {∞}. where z1, z2, z3 are the roots of P , so Here the codomain is nothing but the Rie- ∼ 1 ∆(L) 6= 0 ⇐⇒ P has distinct roots mann sphere, C ∪ {∞} = CP . Any nondegenerate cubic polynomial can Proof As seen above, be transformed by affine change of vari- j(i∞) = ∞ able to the form 4z3 − Az − B. We will see later on that in case the polynomial It remains to show that on the fundamen- has distinct roots, there exists a lattice L tal domain, j attains every complex value such that exactly once. In other words, for each λ ∈ C there exists exactly one z ∈ Γ\H A = g2(L),B = g3(L) such that 4The numbers in square brackets correspond 3 g2(z) − λ∆(z) = 0. to the references given in the outline of the sem- inar, see General Information 7Serre [7] calls it the modular invariant. Apos- 5 g2 and g3 are constant multiples of E4 and tol [1] writes J instead, defines it first in terms of E6, respectively, which are shown to generate all a lattice, leaves out the factor 1728 and calls it modular forms in < 2 >, 4. Klein’s modular function. We adopt the notation 6See [5], §I.5. and definition of Koblitz’s [5]. 3 For each λ, the left-hand side of the lat- (i) f is a modular function of weight 0 ter equation defines a modular form fλ of (ii) f is a quotient of modular forms of weight 12. By the valence formula8 with the same weight “k = 12”, we obtain9 (iii) f is a rational function of j. 1 1 v (f ) + v (f ) + v (f ) Proof The implication (ii)⇒(i) is obvi- ∞ λ 2 i λ 3 ω λ ous. X + vp(fλ) = 1. To prove (iii)⇒(ii), suppose p∈(Γ\H)r{i,ω} P (j(z)) f(z) = Because g2(i∞) is a nonzero complex num- Q(j(z)) ber while ∆(i∞) = 0, the term v∞(fλ) vanishes. As a modular form, fλ has no for complex polynomials P and Q (not poles, the remaining terms in the valence necessarily of the same degree), Q 6= 0. formula are thus all nonnegative, so we P(j(z)) and Q(j(z)) are both modular func- get a decomposition tions of weight zero holomorphic on H. They have at most a pole at i∞, which 1 1 a + b + c = 1, a, b, c ∈ N we can kill by multiplication with the cusp 2 3 form ∆, so It is easy to check by substitution of the k k few possible candidates that the solutions P (j(z))∆ (z),Q(j(z))∆ (z) are are both holomorphic on H ∪ {ı∞} for (a, b, c) ∈ {(2, 0, 0), (0, 3, 0), (0, 0, 1)} some k ∈ N, and modular of weight 12k. So P (j(z))∆k(z) In all three cases, fλ vanishes at exactly f(z) = k one point in the fundamental domain. Q(j(z))∆ (z) is a ratio of modular forms of the same Remark Γd\H can be given a complex weight. manifold structure arising in a natural way To prove (i)⇒(iii), suppose f is modular from the compactification of the quotient of weight 0.
Load more

Recommended publications
  • 13 Elliptic Function
    13 Elliptic Function Recall that a function g : C → Cˆ is an elliptic function if it is meromorphic and there exists a lattice L = {mω1 + nω2 | m, n ∈ Z} such that g(z + ω)= g(z) for all z ∈ C and all ω ∈ L where ω1,ω2 are complex numbers that are R-linearly independent. We have shown that an elliptic function cannot be holomorphic, the number of its poles are finite and the sum of their residues is zero. Lemma 13.1 A non-constant elliptic function f always has the same number of zeros mod- ulo its associated lattice L as it does poles, counting multiplicites of zeros and orders of poles. Proof: Consider the function f ′/f, which is also an elliptic function with associated lattice L. We will evaluate the sum of the residues of this function in two different ways as above. Then this sum is zero, and by the argument principle from complex analysis 31, it is precisely the number of zeros of f counting multiplicities minus the number of poles of f counting orders. Corollary 13.2 A non-constant elliptic function f always takes on every value in Cˆ the same number of times modulo L, counting multiplicities. Proof: Given a complex value b, consider the function f −b. This function is also an elliptic function, and one with the same poles as f. By Theorem above, it therefore has the same number of zeros as f. Thus, f must take on the value b as many times as it does 0.
    [Show full text]
  • Generalization of a Theorem of Hurwitz
    J. Ramanujan Math. Soc. 31, No.3 (2016) 215–226 Generalization of a theorem of Hurwitz Jung-Jo Lee1,∗ ,M.RamMurty2,† and Donghoon Park3,‡ 1Department of Mathematics, Kyungpook National University, Daegu 702-701, South Korea e-mail: [email protected] 2Department of Mathematics and Statistics, Queen’s University, Kingston, Ontario, K7L 3N6, Canada e-mail: [email protected] 3Department of Mathematics, Yonsei University, 50 Yonsei-Ro, Seodaemun-Gu, Seoul 120-749, South Korea e-mail: [email protected] Communicated by: R. Sujatha Received: February 10, 2015 Abstract. This paper is an exposition of several classical results formulated and unified using more modern terminology. We generalize a classical theorem of Hurwitz and prove the following: let 1 G (z) = k (mz + n)k m,n be the Eisenstein series of weight k attached to the full modular group. Let z be a CM point in the upper half-plane. Then there is a transcendental number z such that ( ) = 2k · ( ). G2k z z an algebraic number Moreover, z can be viewed as a fundamental period of a CM elliptic curve defined over the field of algebraic numbers. More generally, given any modular form f of weight k for the full modular group, and with ( )π k /k algebraic Fourier coefficients, we prove that f z z is algebraic for any CM point z lying in the upper half-plane. We also prove that for any σ Q Q ( ( )π k /k)σ = σ ( )π k /k automorphism of Gal( / ), f z z f z z . 2010 Mathematics Subject Classification: 11J81, 11G15, 11R42.
    [Show full text]
  • ELLIPTIC FUNCTIONS (Approach of Abel and Jacobi)
    Math 213a (Fall 2021) Yum-Tong Siu 1 ELLIPTIC FUNCTIONS (Approach of Abel and Jacobi) Significance of Elliptic Functions. Elliptic functions and their associated theta functions are a new class of special functions which play an impor- tant role in explicit solutions of real world problems. Elliptic functions as meromorphic functions on compact Riemann surfaces of genus 1 and their associated theta functions as holomorphic sections of holomorphic line bun- dles on compact Riemann surfaces pave the way for the development of the theory of Riemann surfaces and higher-dimensional abelian varieties. Two Approaches to Elliptic Function Theory. One approach (which we call the approach of Abel and Jacobi) follows the historic development with motivation from real-world problems and techniques developed for solving the difficulties encountered. One starts with the inverse of an elliptic func- tion defined by an indefinite integral whose integrand is the reciprocal of the square root of a quartic polynomial. An obstacle is to show that the inverse function of the indefinite integral is a global meromorphic function on C with two R-linearly independent primitive periods. The resulting dou- bly periodic meromorphic functions are known as Jacobian elliptic functions, though Abel was actually the first mathematician who succeeded in inverting such an indefinite integral. Nowadays, with the use of the notion of a Rie- mann surface, the inversion can be handled by using the fundamental group of the Riemann surface constructed to make the square root of the quartic polynomial single-valued. The great advantage of this approach is that there is vast literature for the properties of the Jacobain elliptic functions and of their associated Jacobian theta functions.
    [Show full text]
  • Lecture 9 Riemann Surfaces, Elliptic Functions Laplace Equation
    Lecture 9 Riemann surfaces, elliptic functions Laplace equation Consider a Riemannian metric gµν in two dimensions. In two dimensions it is always possible to choose coordinates (x,y) to diagonalize it as ds2 = Ω(x,y)(dx2 + dy2). We can then combine them into a complex combination z = x+iy to write this as ds2 =Ωdzdz¯. It is actually a K¨ahler metric since the condition ∂[i,gj]k¯ = 0 is trivial if i, j = 1. Thus, an orientable Riemannian manifold in two dimensions is always K¨ahler. In the diagonalized form of the metric, the Laplace operator is of the form, −1 ∆=4Ω ∂z∂¯z¯. Thus, any solution to the Laplace equation ∆φ = 0 can be expressed as a sum of a holomorphic and an anti-holomorphid function. ∆φ = 0 φ = f(z)+ f¯(¯z). → In the following, we assume Ω = 1 so that the metric is ds2 = dzdz¯. It is not difficult to generalize our results for non-constant Ω. Now, we would like to prove the following formula, 1 ∂¯ = πδ(z), z − where δ(z) = δ(x)δ(y). Since 1/z is holomorphic except at z = 0, the left-hand side should vanish except at z = 0. On the other hand, by the Stokes theorem, the integral of the left-hand side on a disk of radius r gives, 1 i dz dxdy ∂¯ = = π. Zx2+y2≤r2 z 2 I|z|=r z − This proves the formula. Thus, the Green function G(z, w) obeying ∆zG(z, w) = 4πδ(z w), − should behave as G(z, w)= log z w 2 = log(z w) log(¯z w¯), − | − | − − − − near z = w.
    [Show full text]
  • Congruences Between Modular Forms
    CONGRUENCES BETWEEN MODULAR FORMS FRANK CALEGARI Contents 1. Basics 1 1.1. Introduction 1 1.2. What is a modular form? 4 1.3. The q-expansion priniciple 14 1.4. Hecke operators 14 1.5. The Frobenius morphism 18 1.6. The Hasse invariant 18 1.7. The Cartier operator on curves 19 1.8. Lifting the Hasse invariant 20 2. p-adic modular forms 20 2.1. p-adic modular forms: The Serre approach 20 2.2. The ordinary projection 24 2.3. Why p-adic modular forms are not good enough 25 3. The canonical subgroup 26 3.1. Canonical subgroups for general p 28 3.2. The curves Xrig[r] 29 3.3. The reason everything works 31 3.4. Overconvergent p-adic modular forms 33 3.5. Compact operators and spectral expansions 33 3.6. Classical Forms 35 3.7. The characteristic power series 36 3.8. The Spectral conjecture 36 3.9. The invariant pairing 38 3.10. A special case of the spectral conjecture 39 3.11. Some heuristics 40 4. Examples 41 4.1. An example: N = 1 and p = 2; the Watson approach 41 4.2. An example: N = 1 and p = 2; the Coleman approach 42 4.3. An example: the coefficients of c(n) modulo powers of p 43 4.4. An example: convergence slower than O(pn) 44 4.5. Forms of half integral weight 45 4.6. An example: congruences for p(n) modulo powers of p 45 4.7. An example: congruences for the partition function modulo powers of 5 47 4.8.
    [Show full text]
  • 25 Modular Forms and L-Series
    18.783 Elliptic Curves Spring 2015 Lecture #25 05/12/2015 25 Modular forms and L-series As we will show in the next lecture, Fermat's Last Theorem is a direct consequence of the following theorem [11, 12]. Theorem 25.1 (Taylor-Wiles). Every semistable elliptic curve E=Q is modular. In fact, as a result of subsequent work [3], we now have the stronger result, proving what was previously known as the modularity conjecture (or Taniyama-Shimura-Weil conjecture). Theorem 25.2 (Breuil-Conrad-Diamond-Taylor). Every elliptic curve E=Q is modular. Our goal in this lecture is to explain what it means for an elliptic curve over Q to be modular (we will also define the term semistable). This requires us to delve briefly into the theory of modular forms. Our goal in doing so is simply to understand the definitions and the terminology; we will omit all but the most straight-forward proofs. 25.1 Modular forms Definition 25.3. A holomorphic function f : H ! C is a weak modular form of weight k for a congruence subgroup Γ if f(γτ) = (cτ + d)kf(τ) a b for all γ = c d 2 Γ. The j-function j(τ) is a weak modular form of weight 0 for SL2(Z), and j(Nτ) is a weak modular form of weight 0 for Γ0(N). For an example of a weak modular form of positive weight, recall the Eisenstein series X0 1 X0 1 G (τ) := G ([1; τ]) := = ; k k !k (m + nτ)k !2[1,τ] m;n2Z 1 which, for k ≥ 3, is a weak modular form of weight k for SL2(Z).
    [Show full text]
  • NOTES on ELLIPTIC CURVES Contents 1
    NOTES ON ELLIPTIC CURVES DINO FESTI Contents 1. Introduction: Solving equations 1 1.1. Equation of degree one in one variable 2 1.2. Equations of higher degree in one variable 2 1.3. Equations of degree one in more variables 3 1.4. Equations of degree two in two variables: plane conics 4 1.5. Exercises 5 2. Cubic curves and Weierstrass form 6 2.1. Weierstrass form 6 2.2. First definition of elliptic curves 8 2.3. The j-invariant 10 2.4. Exercises 11 3. Rational points of an elliptic curve 11 3.1. The group law 11 3.2. Points of finite order 13 3.3. The Mordell{Weil theorem 14 3.4. Isogenies 14 3.5. Exercises 15 4. Elliptic curves over C 16 4.1. Ellipses and elliptic curves 16 4.2. Lattices and elliptic functions 17 4.3. The Weierstrass } function 18 4.4. Exercises 22 5. Isogenies and j-invariant: revisited 22 5.1. Isogenies 22 5.2. The group SL2(Z) 24 5.3. The j-function 25 5.4. Exercises 27 References 27 1. Introduction: Solving equations Solving equations or, more precisely, finding the zeros of a given equation has been one of the first reasons to study mathematics, since the ancient times. The branch of mathematics devoted to solving equations is called Algebra. We are going Date: August 13, 2017. 1 2 DINO FESTI to see how elliptic curves represent a very natural and important step in the study of solutions of equations. Since 19th century it has been proved that Geometry is a very powerful tool in order to study Algebra.
    [Show full text]
  • Lectures on the Combinatorial Structure of the Moduli Spaces of Riemann Surfaces
    LECTURES ON THE COMBINATORIAL STRUCTURE OF THE MODULI SPACES OF RIEMANN SURFACES MOTOHICO MULASE Contents 1. Riemann Surfaces and Elliptic Functions 1 1.1. Basic Definitions 1 1.2. Elementary Examples 3 1.3. Weierstrass Elliptic Functions 10 1.4. Elliptic Functions and Elliptic Curves 13 1.5. Degeneration of the Weierstrass Elliptic Function 16 1.6. The Elliptic Modular Function 19 1.7. Compactification of the Moduli of Elliptic Curves 26 References 31 1. Riemann Surfaces and Elliptic Functions 1.1. Basic Definitions. Let us begin with defining Riemann surfaces and their moduli spaces. Definition 1.1 (Riemann surfaces). A Riemann surface is a paracompact Haus- S dorff topological space C with an open covering C = λ Uλ such that for each open set Uλ there is an open domain Vλ of the complex plane C and a homeomorphism (1.1) φλ : Vλ −→ Uλ −1 that satisfies that if Uλ ∩ Uµ 6= ∅, then the gluing map φµ ◦ φλ φ−1 (1.2) −1 φλ µ −1 Vλ ⊃ φλ (Uλ ∩ Uµ) −−−−→ Uλ ∩ Uµ −−−−→ φµ (Uλ ∩ Uµ) ⊂ Vµ is a biholomorphic function. Remark. (1) A topological space X is paracompact if for every open covering S S X = λ Uλ, there is a locally finite open cover X = i Vi such that Vi ⊂ Uλ for some λ. Locally finite means that for every x ∈ X, there are only finitely many Vi’s that contain x. X is said to be Hausdorff if for every pair of distinct points x, y of X, there are open neighborhoods Wx 3 x and Wy 3 y such that Wx ∩ Wy = ∅.
    [Show full text]
  • Applications of Elliptic Functions in Classical and Algebraic Geometry
    APPLICATIONS OF ELLIPTIC FUNCTIONS IN CLASSICAL AND ALGEBRAIC GEOMETRY Jamie Snape Collingwood College, University of Durham Dissertation submitted for the degree of Master of Mathematics at the University of Durham It strikes me that mathematical writing is similar to using a language. To be understood you have to follow some grammatical rules. However, in our case, nobody has taken the trouble of writing down the grammar; we get it as a baby does from parents, by imitation of others. Some mathe- maticians have a good ear; some not... That’s life. JEAN-PIERRE SERRE Jean-Pierre Serre (1926–). Quote taken from Serre (1991). i Contents I Background 1 1 Elliptic Functions 2 1.1 Motivation ............................... 2 1.2 Definition of an elliptic function ................... 2 1.3 Properties of an elliptic function ................... 3 2 Jacobi Elliptic Functions 6 2.1 Motivation ............................... 6 2.2 Definitions of the Jacobi elliptic functions .............. 7 2.3 Properties of the Jacobi elliptic functions ............... 8 2.4 The addition formulæ for the Jacobi elliptic functions . 10 2.5 The constants K and K 0 ........................ 11 2.6 Periodicity of the Jacobi elliptic functions . 11 2.7 Poles and zeroes of the Jacobi elliptic functions . 13 2.8 The theta functions .......................... 13 3 Weierstrass Elliptic Functions 16 3.1 Motivation ............................... 16 3.2 Definition of the Weierstrass elliptic function . 17 3.3 Periodicity and other properties of the Weierstrass elliptic function . 18 3.4 A differential equation satisfied by the Weierstrass elliptic function . 20 3.5 The addition formula for the Weierstrass elliptic function . 21 3.6 The constants e1, e2 and e3 .....................
    [Show full text]
  • Elliptic Curves, Modular Forms, and L-Functions Allison F
    Claremont Colleges Scholarship @ Claremont HMC Senior Theses HMC Student Scholarship 2014 There and Back Again: Elliptic Curves, Modular Forms, and L-Functions Allison F. Arnold-Roksandich Harvey Mudd College Recommended Citation Arnold-Roksandich, Allison F., "There and Back Again: Elliptic Curves, Modular Forms, and L-Functions" (2014). HMC Senior Theses. 61. https://scholarship.claremont.edu/hmc_theses/61 This Open Access Senior Thesis is brought to you for free and open access by the HMC Student Scholarship at Scholarship @ Claremont. It has been accepted for inclusion in HMC Senior Theses by an authorized administrator of Scholarship @ Claremont. For more information, please contact [email protected]. There and Back Again: Elliptic Curves, Modular Forms, and L-Functions Allison Arnold-Roksandich Christopher Towse, Advisor Michael E. Orrison, Reader Department of Mathematics May, 2014 Copyright c 2014 Allison Arnold-Roksandich. The author grants Harvey Mudd College and the Claremont Colleges Library the nonexclusive right to make this work available for noncommercial, educational purposes, provided that this copyright statement appears on the reproduced ma- terials and notice is given that the copying is by permission of the author. To dis- seminate otherwise or to republish requires written permission from the author. Abstract L-functions form a connection between elliptic curves and modular forms. The goals of this thesis will be to discuss this connection, and to see similar connections for arithmetic functions. Contents Abstract iii Acknowledgments xi Introduction 1 1 Elliptic Curves 3 1.1 The Operation . .4 1.2 Counting Points . .5 1.3 The p-Defect . .8 2 Dirichlet Series 11 2.1 Euler Products .
    [Show full text]
  • 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 function of elliptic curves with complex multiplication and the Maximal unramified abelian extensions of imaginary quadratic fields related to these curves. In the second section we prove that the j−invariant is a modular form of weight 0 and takes algebraic values at special points in the upper halfplane related to the curves we study. In the third section we use this function to construct the Hilbert class field of an imaginary quadratic number field and we prove that the Ga- lois group of that extension is isomorphic to the Class group of the base field, giving the particular isomorphism, which is closely related to the j−invariant. Finally we give an unexpected application of those results to construct a curious approximation of π. 1 Introduction We say that an elliptic curve E has complex multiplication by an order O of a finite imaginary extension K/Q, if there exists an isomorphism between O and the ring of endomorphisms of E, which we denote by End(E). In such case E has other endomorphisms beside the ordinary ”multiplication by n”- [n], n ∈ Z. Although the theory of modular functions, which we will define in the next section, is related to general elliptic curves over C, throughout the current paper we will be interested solely in elliptic curves with complex multiplication. Further, if E is an elliptic curve over an imaginary field K we would usually assume that E has complex multiplication by the ring of integers in K.
    [Show full text]
  • An Eloquent Formula for the Perimeter of an Ellipse Semjon Adlaj
    An Eloquent Formula for the Perimeter of an Ellipse Semjon Adlaj he values of complete elliptic integrals Define the arithmetic-geometric mean (which we of the first and the second kind are shall abbreviate as AGM) of two positive numbers expressible via power series represen- x and y as the (common) limit of the (descending) tations of the hypergeometric function sequence xn n∞ 1 and the (ascending) sequence { } = 1 (with corresponding arguments). The yn n∞ 1 with x0 x, y0 y. { } = = = T The convergence of the two indicated sequences complete elliptic integral of the first kind is also known to be eloquently expressible via an is said to be quadratic [7, p. 588]. Indeed, one might arithmetic-geometric mean, whereas (before now) readily infer that (and more) by putting the complete elliptic integral of the second kind xn yn rn : − , n N, has been deprived such an expression (of supreme = xn yn ∈ + power and simplicity). With this paper, the quest and observing that for a concise formula giving rise to an exact it- 2 2 √xn √yn 1 rn 1 rn erative swiftly convergent method permitting the rn 1 − + − − + = √xn √yn = 1 rn 1 rn calculation of the perimeter of an ellipse is over! + + + − 2 2 2 1 1 rn r Instead of an Introduction − − n , r 4 A recent survey [16] of formulae (approximate and = n ≈ exact) for calculating the perimeter of an ellipse where the sign for approximate equality might ≈ is erroneously resuméd: be interpreted here as an asymptotic (as rn tends There is no simple exact formula: to zero) equality.
    [Show full text]