Theta Functions and Their Applications

Total Page:16

File Type:pdf, Size:1020Kb

Theta Functions and Their Applications Theta functions and their applications Håvard Damm-Johnsen 2019 Contents 1 Certain Theta Functions 1 1.1 Introduction ............................. 1 1.2 The Jacobi theta functions ..................... 3 1.3 The transformation formula .................... 4 2 Applications to Number Theory 6 2.1 Jacobi’s four-square theorem .................... 6 2.2 Quadratic reciprocity ........................ 7 3 Epilogue 11 Bibliography 11 1 Certain Theta Functions 1.1 Introduction The classical theta function, ∞ ∞ 휋푖푛2휏 휋푖푛2휏 휃 (휏 ) .= ∑ 푒 = 1 + 2 ∑푒 푛=−∞ 푛=1 was introduced by Euler in a letter to Goldbach, as a tool in the study of repre- sentation of integers as sums of squares. Observe that ∞ ∞ ∞ 2 휋푖푚2휏 휋푖푛2휏 휋푖푘휏 휃 (휏 ) = ( ∑ 푒 )( ∑ 푒 ) = ∑푟2(푘)푒 , 푚=−∞ 푛=−∞ 푘=1 where 푟2(푘) is the number of ways in which 푘 can be written as a sum of two squares, since we get one contribution from each ordered pair (푚,푛) such that 2 2 푒휋푖푚 휏푒휋푖푛 휏 = 푒휋푖푘휏, or equivalently, 푘 = 푛2+푚2. This line of inquiry was taken up by Jacobi, who first proved the fundamental transformation formula for 휃, and the four-square theorem of section 2.1. Our point of departure will be slightly more general. Definition 1.1. For 푧 ∈ ℂ and 휏 ∈ H .= {휏 ∈ ℂ∶ Im휏 > 0}, we define the theta function to be ∞ 2 휃 (푧,휏 ) = ∑ 푒2휋푖푛푧+휋푖푛 휏. 푛=−∞ 1 Remark. Our notation follows Riemann and Mumford [Mum83], but there is no shortage of alternative conventions. We see that 휃 (휏 ) = 휃 (0,휏 ). The condition that 휏 ∈ H ensures that by the ratio test, 휃 (푧,휏 ) converges absolutely, and moreover uniformly on compact sets in the first variable, hence is an entire function in 푧. A fundamental property of the theta function is the following: Proposition 1.2. The theta function satisfies the transformation equations 휃 (푧 + 1,휏 ) = 휃 (푧,휏 ) and 휃 (푧 + 휏 ,휏 ) = 푒−2휋푖푧푒−휋푖휏휃 (푧,휏 ). Proof. The first is immediate from the definition, the second follows from the quick computation ∞ ∞ 2 2 휃 (푧 + 휏 ,휏 ) = ∑ 푒2휋푖푛푧+2휋푖푛휏 +휋푖푛 휏 = 푒−2휋푖푧푒−휋푖휏 ∑ 푒2휋푖(푛+1)푧+2휋푖(푛+1) 휏 푛=−∞ 푛=−∞ = 푒−2휋푖푧푒−휋푖휏휃 (푧,휏 ). Recall that by Liouville’s theorem, every entire doubly periodic function is constant. One might ask what happens if we weaken the periodicity condition slightly. The above proposition can be interpreted as saying that when viewed as a function of 푧, 휃 has period 1, and a quasi-period 휏 with periodicity factor 푒−2휋푖푧푒−휋휏. In other words, it is a quasi-periodic function with respect to the lattice 훬 .= ℤ+휏 ℤ. Conversely, considering quasi-periodic functions of this sort naturally gives rise to the theta function: Theorem 1.3 (Functional equation for 휃). Suppose 푓∶ ℂ → ℂ is entire and non- constant, 푓 (푧) = 푓 (푧 +1) and 푓 (푧 +휏 ) = 푒푎푧+푏푓 (푧) for some fixed 푎,푏 ∈ ℂ and any 푧 ∈ ℂ. If 푎 = 0, then 푓 (푧) = 푒2휋푖푧, and if 푎 = −2휋푖, then 1 푏 푓 (푧) = 푎 휃(−푧 − 휏 − ,휏), 0 2 2휋푖 for some 푎0 ∈ ℂ. Proof [Mum83]. Expanding 푓 in terms of its Fourier series, we have that ∞ 2휋푖푛푧 푓 (푧) = ∑ 푎푛푒 for some 푎푛 ∈ ℂ. 푛=−∞ Using the periodicity relations, we compute 푓 (푧 + 휏 + 1) in two ways, namely 푓 (푧 + 휏 + 1) = 푓 (푧 + 휏 ) = 푒푎푧+푏푓 (푧) and 푓 (푧 + 휏 + 1) = 푒푎(푧+1)+푏푓 (푧 + 1) = 푒푎(푧+1)+푏푓 (푧) = 푒푎푒푎푧+푏푓 (푧), 2 so 푎 = 2휋푖푘 for some 푘 ∈ ℤ. Substituting in the Fourier series of 푓, we find that ∞ ∞ 2휋푖푘푧+푏 2휋푖푘푧+푏+2휋푖푛푧 2휋푖푛푧+푏 푓 (푧 + 휏 ) = 푒 푓 (푧) = ∑ 푎푛푒 = ∑ 푎푛−푘푒 , 푛=−∞ 푛=−∞ 푏−2휋푛푖휏 which gives a recurrence relation for the Fourier coefficients, 푎푛 = 푎푛−푘푒 . 2휋푖푧 If 푘 = 0, then 푎푛 = 0 for all 푛 but possibly 푛 = 0, so 푓 (푧) = 푒 . Taking 푘 = −1, we readily see that −푛푏+휋푖푛(푛−1)휏 푎푛 = 푎0푒 for all 푛 ∈ ℤ, and so ∞ −푛푏+휋푖푛(푛−1)휏 +2휋푖푛푧 1 푏 푓 (푧) = 푎0 ∑ 푒 = 푎0휃(−푧 − 휏 − ,휏). 푛=−∞ 2 2휋푖 Suppose we take 푘 ≥ 1 in the proof above; then the Fourier coefficients grow rapidly, and so the corresponding function 푓 is not entire. On the other hand, for 푘 < −1, one can show that the solutions of the functional equations form a vector space of dimension |푘|. 1.2 The Jacobi theta functions Returning to the lattice 훬 = ℤ + 휏 ℤ, we define the following: Definition 1.4. Let 휏 ∈ H and 푧 ∈ ℂ. The Jacobi theta functions are . 휋푖휏 /4+휋푖푧 휏 휃00(푧,휏 ) .= 휃 (푧,휏 ), 휃10(푧,휏 ) .= 푒 휃 (푧 + /2,휏 ), . 1 . 휋푖휏 /4+휋푖(푧+1/2) (1+휏 ) 휃01(푧,휏 ) .= 휃 (푧 + /2,휏 ), 휃11(푧,휏 ) .= 푒 휃 (푧 + /2,휏 ). If 휏 ∈ H is fixed, we write 휃푎푏(푧) .= 휃푎푏(푧,휏 ). The value 휃푎푏(0) is traditionally called the theta-nullwerte of 휃푎푏(푧,휏 ). These functions were studied in great detail by Jacobi. Note that the Jacobi theta functions are simply 휃 shifted by the half-periods of 훬, modulo a certain scaling factor. This is explained in the more general theory of theta functions with characteristic, which is unfortunately beyond the scope of this essay. The Jacobi theta functions are also quasi-elliptic with respect to the same lattice 훬. An astonishing number of formulae involving these functions exist, but we will limit our attention to the following identity: Theorem 1.5 ( Jacobi’s identity). For 휏 ∈ H fixed, we have 4 4 4 휃00(0) = 휃01(0) + 휃10(0). It is easily seen that for any 푧 ∈ ℂ, 휃11(−푧) = −휃11(푧), so that 휃11(0) = 0, which explains why 휃11 is absent from the identity. The identity is particularly interest- ing from an algebro-geometric point of view, since it gives a parameterisation of the Fermat quartic 푋 4 + 푌 4 = 푍4 in terms of theta functions. 3 휋푖휏 Let 푞 .= 푒 . Using Jacobi’s triple product identity,1 one can prove that ∞ 1/4 2푛 2푛 4푛 휃11(푧,푞) = −2푞 sin휋푧 ∏(1 − 푞 )(1 − 2푞 cos2휋푧 + 푞 ), 푛=1 ∞ 1/4 2푛 2푛 4푛 휃10(푧,푞) = 2푞 cos휋푧 ∏(1 − 푞 )(1 + 2푞 cos2휋푧 + 푞 ), 푛=1 and from these we readily compute 휃11(푧,푞) 휃10(푧,푞) lim = sin휋푧 and lim = cos휋푧. 푞→0 −2푞 1/4 푞→0 2푞 1/4 Therefore, Jacobi’s theta functions can be considered as natural one-parameter deformations of sin and cos. For more details, see [GR04], section 1.6. 1.3 The transformation formula The transformation formula for the theta function is arguably its most useful property in applications. Without further ado: Theorem 1.6. The theta function satisfies the following identity: 1 1 2 휃( ,− ) = √−푖휏 푒휋푖푧 /휏휃 (푧,휏 ). 푧 휏 The theorem is not “optimal”, since there exists a more general transforma- tion formula, cf. Thm. 7.1 in [Mum83]. However, that one follows without too much effort from the ours, which is quite sufficient for our purposes. We start off with two lemmata: Lemma 1.7. We have that ∞ 2 ∫ 푒−푥 푑푥 = √휋. −∞ Proof (Poisson). Let 퐼 denote the integral on the left. We can consider 퐼 2 as an integral in two variables 푥 and 푦, and introduce polar coordinates 푟 and 휙 in the (푥,푦)-plane to yield −푢 ∞ ∞ 2 2 2휋 ∞ 2 ∞ 푒 2휋 퐼 2 = ∫ ∫ 푒−푥 −푦 푑푥푑푦 = ∫ ∫ 푒−푟 푟 푑푟 푑휙 = 2휋 ∫ 푑푢 = = 휋, −∞ −∞ 0 0 0 2 2 so 퐼 = √휋. Lemma 1.8 (Poisson summation formula). Suppose 푓∶ ℝ → ℂ is a Schwarz func- tion. Then ∞ ∞ ∑ 푓 (푥 + 푛) = ∑ 푒2휋푖푛푥푓̂ (푛), 푛=−∞ 푛=−∞ where 푓̂ denotes the Fourier transform of 푓. 1Not to be confused with the above identity. 4 Proof (sketch). Recognise the left-hand side as a periodic function, write out its Fourier series and re-index after a change of variables in the integral. Remark. The condition that 푓 be Schwarz is very far from optimal, but sufficient for our purposes. The classical statement of the Poisson formula is obtained by taking 푥 = 0. Proof of theorem 1.6. Fixing 푡 ∈ ℂ with Re푡 > 0, for 푥 ∈ ℝ we define 푓 (푥) .= 2 푒−휋푡푥 and compute −휋푦 2/푡 −휋푦 2/푡 ∞ 2 푒 ∞ 2 푒 푓̂ (푦) = ∫ 푒휋푖푥푦−휋푡푥 푑푥 = ∫ 푒−푢 푑푢 = −∞ √푡√휋 −∞ √푡 by the substitution 푢 = 휋√푡(푥−푖푦/푡) and lemma 1.7. Now by Poisson summation (lemma 1.8), we obtain ∞ ∞ ∞ ∞ 2 1 2 ∑ 푓 (푥 + 푛) = ∑ 푒−휋푡(푥+푛) = ∑ 푒2휋푖푛푥푓̂ (푛) = ∑ 푒2휋푖푛푥−휋푛 /푡. (1) 푛=−∞ 푛=−∞ 푛=−∞ √푡 푛=−∞ Taking 휏 = 푖푡, we have that 휏 ∈ H, and we see that ∞ ∞ 2 2 2 2 ∑ 푒휋푖휏 (푥+푛) = 푒휋푖휏 푥 ∑ 푒2휋푖휏 푥푛+휋푖푛 휏 = 푒휋푖휏 푥 휃 (휏 푥,휏 ). 푛=−∞ 푛=−∞ But now, by eq. (1), ∞ 2 1 2 1 1 푒휋푖휏 푥 휃 (휏 푥,휏 ) = ∑ 푒2휋푖푛푥−휋푖푛 /휏 = 휃(푥,− ), √−푖휏 푛=−∞ √−푖휏 휏 and by analytic continuation, this is valid for any 푥 ∈ ℂ. Setting 푧 = 휏 푥 and rearranging, we obtain 1 1 2 휃( ,− ) = √−푖휏 푒휋푖푧 /휏휃 (푧,휏 ), 푧 휏 as required. Corollary 1.9. Euler’s theta function is a modular form of weight 1/2 and level 2. Proof. In addition to the regular growth and analyticity conditions, this means that 휃 transforms like a modular form under 휏 ↦ 휏 +2 and 휏 ↦ −1/휏. The first two conditions hold because the series defining 휃 converges absolutely and uniformly on compact sets.
Recommended publications
  • Lectures on Modular Forms. Fall 1997/98
    Lectures on Modular Forms. Fall 1997/98 Igor V. Dolgachev October 26, 2017 ii Contents 1 Binary Quadratic Forms1 2 Complex Tori 13 3 Theta Functions 25 4 Theta Constants 43 5 Transformations of Theta Functions 53 6 Modular Forms 63 7 The Algebra of Modular Forms 83 8 The Modular Curve 97 9 Absolute Invariant and Cross-Ratio 115 10 The Modular Equation 121 11 Hecke Operators 133 12 Dirichlet Series 147 13 The Shimura-Tanyama-Weil Conjecture 159 iii iv CONTENTS Lecture 1 Binary Quadratic Forms 1.1 The theory of modular form originates from the work of Carl Friedrich Gauss of 1831 in which he gave a geometrical interpretation of some basic no- tions of number theory. Let us start with choosing two non-proportional vectors v = (v1; v2) and w = 2 (w1; w2) in R The set of vectors 2 Λ = Zv + Zw := fm1v + m2w 2 R j m1; m2 2 Zg forms a lattice in R2, i.e., a free subgroup of rank 2 of the additive group of the vector space R2. We picture it as follows: • • • • • • •Gv • ••• •• • w • • • • • • • • Figure 1.1: Lattice in R2 1 2 LECTURE 1. BINARY QUADRATIC FORMS Let v v B(v; w) = 1 2 w1 w2 and v · v v · w G(v; w) = = B(v; w) · tB(v; w): v · w w · w be the Gram matrix of (v; w). The area A(v; w) of the parallelogram formed by the vectors v and w is given by the formula v · v v · w A(v; w)2 = det G(v; w) = (det B(v; w))2 = det : v · w w · w Let x = mv + nw 2 Λ.
    [Show full text]
  • Abelian Solutions of the Soliton Equations and Riemann–Schottky Problems
    Russian Math. Surveys 63:6 1011–1022 c 2008 RAS(DoM) and LMS Uspekhi Mat. Nauk 63:6 19–30 DOI 10.1070/RM2008v063n06ABEH004576 Abelian solutions of the soliton equations and Riemann–Schottky problems I. M. Krichever Abstract. The present article is an exposition of the author’s talk at the conference dedicated to the 70th birthday of S. P. Novikov. The talk con- tained the proof of Welters’ conjecture which proposes a solution of the clas- sical Riemann–Schottky problem of characterizing the Jacobians of smooth algebraic curves in terms of the existence of a trisecant of the associated Kummer variety, and a solution of another classical problem of algebraic geometry, that of characterizing the Prym varieties of unramified covers. Contents 1. Introduction 1011 2. Welters’ trisecant conjecture 1014 3. The problem of characterization of Prym varieties 1017 4. Abelian solutions of the soliton equations 1018 Bibliography 1020 1. Introduction The famous Novikov conjecture which asserts that the Jacobians of smooth alge- braic curves are precisely those indecomposable principally polarized Abelian vari- eties whose theta-functions provide explicit solutions of the Kadomtsev–Petviashvili (KP) equation, fundamentally changed the relations between the classical algebraic geometry of Riemann surfaces and the theory of soliton equations. It turns out that the finite-gap, or algebro-geometric, theory of integration of non-linear equa- tions developed in the mid-1970s can provide a powerful tool for approaching the fundamental problems of the geometry of Abelian varieties. The basic tool of the general construction proposed by the author [1], [2]which g+k 1 establishes a correspondence between algebro-geometric data Γ,Pα,zα,S − (Γ) and solutions of some soliton equation, is the notion of Baker–Akhiezer{ function.} Here Γis a smooth algebraic curve of genus g with marked points Pα, in whose g+k 1 neighborhoods we fix local coordinates zα, and S − (Γ) is a symmetric prod- uct of the curve.
    [Show full text]
  • Mirror Symmetry of Abelian Variety and Multi Theta Functions
    1 Mirror symmetry of Abelian variety and Multi Theta functions by Kenji FUKAYA (深谷賢治) Department of Mathematics, Faculty of Science, Kyoto University, Kitashirakawa, Sakyo-ku, Kyoto Japan Table of contents § 0 Introduction. § 1 Moduli spaces of Lagrangian submanifolds and construction of a mirror torus. § 2 Construction of a sheaf from an affine Lagrangian submanifold. § 3 Sheaf cohomology and Floer cohomology 1 (Construction of a homomorphism). § 4 Isogeny. § 5 Sheaf cohomology and Floer cohomology 2 (Proof of isomorphism). § 6 Extension and Floer cohomology 1 (0 th cohomology). § 7 Moduli space of holomorphic vector bundles on a mirror torus. § 8 Nontransversal or disconnected Lagrangian submanifolds. ∞ § 9 Multi Theta series 1 (Definition and A formulae.) § 10 Multi Theta series 2 (Calculation of the coefficients.) § 11 Extension and Floer cohomology 2 (Higher cohomology). § 12 Resolution and Lagrangian surgery. 2 § 0 Introduction In this paper, we study mirror symmetry of complex and symplectic tori as an example of homological mirror symmetry conjecture of Kontsevich [24], [25] between symplectic and complex manifolds. We discussed mirror symmetry of tori in [12] emphasizing its “noncom- mutative” generalization. In this paper, we concentrate on the case of a commutative (usual) torus. Our result is a generalization of one by Polishchuk and Zaslow [42], [41], who studied the case of elliptic curve. The main results of this paper establish a dictionary of mirror symmetry between symplectic geometry and complex geometry in the case of tori of arbitrary dimension. We wrote this dictionary in the introduction of [12]. We present the argument in a way so that it suggests a possibility of its generalization.
    [Show full text]
  • Theta Function Review G = 1 Case
    The genus 1 case - review Theta Function Review g = 1 case We recall the main de¯nitions of theta functions in the 1-dim'l case: De¯nition 0 Let· ¿ 2¸C such that Im¿ > 0: For "; " real numbers and z 2 C then: " £ (z;¿) = "0 n ¡ ¢ ¡ ¢ ¡ ¢ ³ ´o P 1 " " ² t ²0 l²Z2 exp2¼i 2 l + 2 ¿ l + 2 + l + 2 z + 2 The series· is uniformly¸ and absolutely convergent on compact subsets " C £ H: are called Theta characteristics "0 The genus 1 case - review Theta Function Properties Review for g = 1 case the following properties of theta functions can be obtained by manipulation of the series : · ¸ · ¸ " + 2m " 1. £ (z;¿) = exp¼i f"eg £ (z;¿) and e; m 2 Z "0 + 2e "0 · ¸ · ¸ " " 2. £ (z;¿) = £ (¡z;¿) ¡"0 "0 · ¸ " 3. £ (z + n + m¿; ¿) = "0 n o · ¸ t t 0 " exp 2¼i n "¡m " ¡ mz ¡ m2¿ £ (z;¿) 2 "0 The genus 1 case - review Remarks on the properties of Theta functions g=1 1. Property number 3 describes the transformation properties of theta functions under an element of the lattice L¿ generated by f1;¿g. 2. The same property implies that that the zeros of theta functions are well de¯ned on the torus given· ¸ by C=L¿ : In fact there is only a " unique such 0 for each £ (z;¿): "0 · ¸ · ¸ "i γj 3. Let 0 ; i = 1:::k and 0 ; j = 1:::l and "i γj 2 3 Q "i k θ4 5(z;¿) ³P ´ ³P ´ i=1 "0 k 0 l 0 2 i 3 "i + " ¿ ¡ γj + γ ¿ 2 L¿ Then i=1 i j=1 j Q l 4 γj 5 j=1 θ 0 (z;¿) γj is a meromorphic function on the elliptic curve de¯ned by C=L¿ : The genus 1 case - review Analytic vs.
    [Show full text]
  • Theta Function Identities
    JOURNAL OF MATHEMATICAL ANALYSIS AND APPLICATIONS 147, 97-121 (1990) Theta Function Identities RONALD J. EVANS Deparlment of Mathematics, University of California, San Diego, La Jolla, California 92093 Submitted by Bruce C. Berndt Received June 3. 1988 1. INTR~D~JcTI~N By 1986, all but one of the identities in the 21 chapters of Ramanujan’s Second Notebook [lo] had been proved; see Berndt’s books [Z-4]. The remaining identity, which we will prove in Theorem 5.1 below, is [ 10, Chap. 20, Entry 8(i)] 1 1 1 V2(Z/P) (1.1) G,(z) G&l + G&J G&J + G&l G,(z) = 4 + dz) ’ where q(z) is the classical eta function given by (2.5) and 2 f( _ q2miP, - q1 - WP) G,(z) = G,,,(z) = (- 1)” qm(3m-p)‘(2p) f(-qm,p, -q,-m,p) 9 (1.2) with q = exp(2niz), p = 13, and Cl(k2+k)/2 (k2pkV2 B . (1.3) k=--13 The author is grateful to Bruce Berndt for bringing (1.1) to his attention. The quotients G,(z) in (1.2) for odd p have been the subject of interest- ing investigations by Ramanujan and others. Ramanujan [ 11, p. 2071 explicitly wrote down a version of the famous quintuple product identity, f(-s’, +)J-(-~*q3, -w?+qfF~, -A2q9) (1.4) f(-43 -Q2) f(-Aq3, -Pq6) ’ which yields as a special case a formula for q(z) G,(z) as a linear combina- tion of two theta functions; see (1.7). In Chapter 16 of his Second 97 0022-247X/90 $3.00 Copyright % 1993 by Academc Press, Inc.
    [Show full text]
  • An Addition Formula for the Jacobian Theta Function and Its Applications
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Advances in Mathematics 212 (2007) 389–406 www.elsevier.com/locate/aim An addition formula for the Jacobian theta function and its applications Zhi-Guo Liu 1 East China Normal University, Department of Mathematics, Shanghai 200062, People’s Republic of China Received 13 July 2005; accepted 17 October 2006 Available online 28 November 2006 Communicated by Alain Lascoux Abstract In this paper, we prove an addition formula for the Jacobian theta function using the theory of elliptic functions. It turns out to be a fundamental identity in the theory of theta functions and elliptic function, and unifies many important results about theta functions and elliptic functions. From this identity we can derive the Ramanujan cubic theta function identity, Winquist’s identity, a theta function identities with five parameters, and many other interesting theta function identities; and all of which are as striking as Winquist’s identity. This identity allows us to give a new proof of the addition formula for the Weierstrass sigma function. A new identity about the Ramanujan cubic elliptic function is given. The proofs are self contained and elementary. © 2006 Elsevier Inc. All rights reserved. MSC: 11F11; 11F12; 11F27; 33E05 Keywords: Weierstrass sigma function; Addition formula; Elliptic functions; Jacobi’s theta function; Winquist’s identity; Ramanujan’s cubic theta function theory E-mail addresses: [email protected], [email protected]. 1 The author was supported in part by the National Science Foundation of China. 0001-8708/$ – see front matter © 2006 Elsevier Inc.
    [Show full text]
  • Transformation Groups for Soliton Equations V —
    Publ. RIMS, Kyoto Univ. 18 (1982), 1111-1119 Quasi- Periodic Solutions of the Orthogonal KP Equation — Transformation Groups for Soliton Equations V — By Etsuro DATE*, Michio JIMBO?, Masaki KASHIWARAI and Tetsuji MiWAf § 0. Introduction In this note we study quasi-periodic solutions of the BKP hierarchy in- troduced in [1]. Our main result is the Theorem in Section 2, which states that quasi-periodic T-functions for the BKP hierarchy are the theta functions on the Prym varieties of algebraic curves admitting involutions with two fixed points. The rational and soliton solutions of the BKP hierarchy were studied in part IV [2] together with its operator formalism. We also showed that the BKP hierarchy is the compatibility condition for the following system of linear equations for w(x), x = (xl9 x3, .T5,...)^ (1) ^7=B'W' '='.3,5,... where 5, is a linear ordinary differential operator with respect to XL without constant term. dl l~2 dm One of the specific properties of the BKP hierarchy is the fact that squares of T-functions for the BKP hierarchy are T-functions for the KP hierarchy with x2j- = 0. Now we explain why the Prym varieties and the theta functions on them ap- pear in our present study. Received November 20, 1981. Faculty of General Education, Kyoto University, Kyoto 606, Japan. Research Institute for Mathematical Sciences, Kyoto University, Kyoto 606, Japan. 1112 ETSURO DATE, MICHIO JIMBO, MASAKI KASHIWARA AND TETSUJI MIWA One derivation is given through the examination of the geometrical prop- erties of the wave functions associated with soliton solutions.
    [Show full text]
  • 2D Theta Functions and Crystallization Among Bravais Lattices Laurent Bétermin
    2D Theta Functions and Crystallization among Bravais Lattices Laurent Bétermin To cite this version: Laurent Bétermin. 2D Theta Functions and Crystallization among Bravais Lattices. 2015. hal- 01116262v2 HAL Id: hal-01116262 https://hal.archives-ouvertes.fr/hal-01116262v2 Preprint submitted on 9 Apr 2015 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Distributed under a Creative Commons Attribution - NonCommercial| 4.0 International License 2D Theta Functions and Crystallization among Bravais Lattices Laurent B´etermin∗ Universit´eParis-Est Cr´eteil LAMA - CNRS UMR 8050 61, Avenue du G´en´eral de Gaulle, 94010 Cr´eteil, France April 9, 2015 Abstract In this paper, we study minimization problems among Bravais lattices for finite energy per point. We prove – as claimed by Cohn and Kumar – that if a function is completely monotonic, then the triangular lattice minimizes energy per particle among Bravais lattices with density fixed for any density. Furthermore we give an example of convex decreasing positive potential for which triangular lattice is not a minimizer for some densities. We use the Montgomery method presented in our previous work to prove minimality of triangular lattice among Bravais lattices at high density for some general potentials.
    [Show full text]
  • The Riemann Zeta Function and Its Functional Equation (And a Review of the Gamma Function and Poisson Summation)
    Math 259: Introduction to Analytic Number Theory The Riemann zeta function and its functional equation (and a review of the Gamma function and Poisson summation) Recall Euler's identity: 1 1 1 s 0 cps1 [ζ(s) :=] n− = p− = s : (1) X Y X Y 1 p− n=1 p prime @cp=1 A p prime − We showed that this holds as an identity between absolutely convergent sums and products for real s > 1. Riemann's insight was to consider (1) as an identity between functions of a complex variable s. We follow the curious but nearly universal convention of writing the real and imaginary parts of s as σ and t, so s = σ + it: s σ We already observed that for all real n > 0 we have n− = n− , because j j s σ it log n n− = exp( s log n) = n− e − and eit log n has absolute value 1; and that both sides of (1) converge absolutely in the half-plane σ > 1, and are equal there either by analytic continuation from the real ray t = 0 or by the same proof we used for the real case. Riemann showed that the function ζ(s) extends from that half-plane to a meromorphic function on all of C (the \Riemann zeta function"), analytic except for a simple pole at s = 1. The continuation to σ > 0 is readily obtained from our formula n+1 n+1 1 1 s s 1 s s ζ(s) = n− Z x− dx = Z (n− x− ) dx; − s 1 X − X − − n=1 n n=1 n since for x [n; n + 1] (n 1) and σ > 0 we have 2 ≥ x s s 1 s 1 σ n− x− = s Z y− − dy s n− − j − j ≤ j j n so the formula for ζ(s) (1=(s 1)) is a sum of analytic functions converging absolutely in compact subsets− of− σ + it : σ > 0 and thus gives an analytic function there.
    [Show full text]
  • RIEMANN's FUNCTIONAL EQUATION 1. Deriving The
    RIEMANN’S FUNCTIONAL EQUATION KEVIN ZHU Abstract. This paper investigates the functional equation of the Riemann zeta function ζ (s). The functional equation is useful for a few reasons. It allows us to immediately conclude that the function has zeros at the negative even integers. In the process of a proof we shall follow, the analytic continuation of the zeta function also falls out as a consequence. Furthermore, having established the functional equation, we can find formulas for the derivatives of the zeta function. The functional equation has close ties with the Riemann hypothesis, playing a role in empirically searching for zeros on the critical line. 1. Deriving the Functional Equation The aim of the first paper we shall review is to present a short proof of Riemann’s functional equation, [3] Γ(s) πs (1.1) ζ (1 − s) = 2 cos ζ (s) : (2π)s 2 In fact, the method the paper undertakes is to prove the slightly more general functional equation on the Hurwitz zeta function. Riemann’s functional equation follows directly from this relation. The proof is based upon the Lipschitz summation formula, which itself is proved using Poisson summation, a technique from Fourier analysis. The meromorphic continuation of both the periodized zeta function (an- other component of the proofs) and the Hurwitz zeta function to the whole complex plane is a corollary of the results in this paper. Riemann’s original proofs for the relation, on the other hand, use either the theta function and its Mellin transform or contour integration. Comparatively, the proof we shall follow mostly gets away with manipulating infinite series and reasoning about the analytic functions that pop out.
    [Show full text]
  • Fourier Analysis Notes, Spring 2020
    Fourier Analysis Notes, Spring 2020 Peter Woit Department of Mathematics, Columbia University [email protected] September 3, 2020 2 Contents 1 Introduction 5 1.1 Fourier series . .5 1.2 The Fourier transform . .7 2 The Poisson Summation Formula, Theta Functions, and the Zeta Function 9 2.1 The Poisson summation formula and some applications . .9 2.1.1 The heat kernel . 10 2.1.2 The Poisson kernel . 11 2.2 Theta functions . 12 2.2.1 The Jacobi theta function . 13 2.3 The Riemann zeta function . 15 2.3.1 The Mellin transform . 16 2.3.2 The zeta function and the Mellin transform of the theta function . 18 2.3.3 The functional equation for the zeta function . 19 3 Distributions 23 3.1 Introduction . 23 3.2 Distributions: definition . 24 3.3 Distributions: examples . 25 3.4 The derivative of a distribution . 28 3.4.1 The transpose of a linear transformation . 29 3.4.2 Translations . 29 3.4.3 The derivative . 30 3.5 The Fourier transform of a distribution . 33 3.6 Convolution of a function and a distribution . 38 3.7 Distributional solutions of differential equations . 41 4 Higher dimensions 43 4.1 Introduction . 43 4.2 Fourier series and the Fourier transform for d > 1 . 43 4.2.1 Fourier series for d > 1.................... 43 4.2.2 The Fourier transform for d > 1............... 44 3 4.3 Rotations and the Fourier transform . 45 4.3.1 Two dimensions . 47 4.3.2 Three dimensions . 48 5 Wave Equations 53 5.1 Introduction .
    [Show full text]
  • Riemann's Theta Function
    Riemann’s theta function Ching-Li Chai∗ version 12/02/2014 Riemann’s theta function q(z;W) was born in the famous memoir [13] on abelian functions. Its a cousins, theta functions with characteristics q b (z;W), are essentially translates of q(z;W). These theta functions can be viewed in several ways: (a) They were first introduced and studied as holomorphic function in the z and/or the W variable. (b) Geometrically these theta functions can be identified with sections of ample line bundles on abelian varieties and can be thought of as projective coordinates of abelian varieties. There values at the zero, known as thetanullwerte, give projective coordinates of moduli of abelian varieties. (c) They are matrix coefficients, for the Schrodinger¨ representation of the Heisenberg group and the oscillator (or Segal-Shale-Weil) representation of the metaplectic group. The geometric point of view will be summarized in x1 and the group theoretic viewpoint in x2. x1. Theta functions as sections of line bundles For any positive integer g, denote by Hg the Siegel upper-half space of genus g, consisting of all g × g symmetric complex matrices with positivep definite imaginary part. We will use the following version of exponential function: e(z) := exp(2p −1 · z) for any z 2 C. (1.1) DEFINITION. (i) The Riemann theta function q(z;W) of genus g is the holomorphic func- g tion in two variables (z;W) 2 C × Hg, defined by the theta series 1 t t q(z;W) := ∑ e( 2 n · W · n=2) · e( n · z): g m2Z g a (ii) Let a;b 2 R .
    [Show full text]