arxiv:math-ph/ v2 3 Jan 2005

Transcription

1 LECTURES ON ELLIPTIC FUNCTIONS AND MODULAR FORMS IN CONFORMAL FIELD THEORY arxiv:math-ph/04039v 3 Jan 005 Nikolay M. Nikolov,a and Ivan T. Todorov,,b Institute for Nuclear Research and Nuclear Energy, Tsarigradsko Chaussee 7, BG-784 Sofia, Bulgaria Institut für Theoretische Physik, Universität Göttingen, Friedrich-Hund-Platz, D Göttingen, Germany February 7, 008 Abstract A concise review of the notions of elliptic functions, modular forms, and ϑ functions is provided, devoting most of the paper to applications to Conformal Field Theory CFT, introduced within the axiomatic framework of quantum field theory. Many features, believed to be peculiar to chiral D = two dimensional CFT, are shown to have a counterpart in any even dimensional globally conformal invariant quantum field theory. The treatment is based on a recently introduced higher dimensional extension of the concept of vertex algebra. a e.mail: mitov@inrne.bas.bg b e.mail: todorov@inrne.bas.bg, itodorov@theorie.physik.uni-goettingen.de

2 Contents Introduction 3 Elliptic functions and curves 3. Elliptic integrals and functions Elliptic curves Modular invariance Modular groups Modular forms and ϑ functions 8 3. Modular forms Eisenstein series. The discriminant cusp form ϑ functions Quantum field theory and conformal invariance a synopsis 8 4. Minkowski space axioms. Analyticity in tube domains Conformal compactification of space time. The conformal Lie algebra The concept of GCI QFT. Vertex algebras, strong locality, rationality Real compact picture fields. Gibbs states and the KMS condition Chiral fields in two dimensions U current, stress energy tensor, and the free Weyl field Lattice vertex algebras The N = superconformal model Free massless scalar field for even D. Weyl and Maxwell fields for D = Free scalar field in D = d 0 + dimensional space time Weyl fields The free Maxwell field The thermodynamic limit 7 7. Compactified Minkowski space as a finite box approximation Infinite volume limit of the thermal correlation functions Guide to references 77 Acknowledgments 78 Appendix A. Elliptic functions in terms of Eisenstein series 78 Appendix B. The action of the conformal Lie algebra on different realizations of compactified Minkow Appendix C. Clifford algebra realization of spind, and the centre of SpinD, 8 References 83

3 Introduction Arguably, the most attractive part of Conformal Field Theory CFT is that involving elliptic functions and modular forms. Modular inversion, the involutive S transformation of the upper half plane 0 S = SL, Z; τ Im τ > 0,. 0 τ relates high and low temperature behaviour, thus providing the oldest and best studied example of a duality transformation [37]. The aim of these lectures is threefold: To offer a brief introduction to the mathematical background, including a survey of the notions of elliptic functions, elliptic curve and its moduli, modular forms and ϑ functions. The abundant footnotes are designed to provide some historical background. To give a concise survey of axiomatic CFT in higher even dimensions with an emphasis on the vertex algebra approach developed in [5] [55]. 3 To give an argument indicating that finite temperature correlation functions in a globally conformal invariant GCI quantum field theory in any even number of space time dimensions are doubly periodic elliptic functions and to study the modular properties of the corresponding temperature mean values of the conformal Hamiltonian. Two-dimensional D CFT models provide basic known examples in which the chiral energy average in a given superselection sector is a modular from of weight. In a rational CFT these energy mean values span a finite dimensional representation of SL, Z. We demonstrate that modular transformation properties can also be used to derive high temperature asymptotics of thermal energy densities in a 4 dimensional CFT. We include in the bibliography some selected texts on the mathematical background briefly annotated in our half page long Guide to references at the end of the lectures. Concerning modular forms we follow the notation of Don Zagier in []. A detailed exposition of the authors original results can be found in [55]. Elliptic functions and curves The theory of elliptic functions has been a centre of attention of the 9th and the early 0th century mathematics since the discovery of the double periodicity by N. H. Abel in 86 until the work of Hecke and Hurwitz s 3 book [30] in For a physicist oriented review of modular inversion see [8]. Erich Hecke was awarded his doctorate under David Hilbert in 90 in Göttingen for a dissertation on modular forms and their application to number theory. 3 Adolf Hurwitz

4 the 90 s see [38] for an engaging historical survey. This is followed by a period of relative dormancy when E. Wigner ventured to say that it is falling into oblivion 4. Even today physics students rarely get to learn this chapter of mathematics during their undergraduate years. The topic experiences a renaissance in the early 970 s, which continues to these days see the guide to the literature until 989 by D. Zagier in [] pp The proceedings [] of the 989 Les Houches Conference on Number Theory and Physics provide an excellent shortcut into the subject and further references. The subject continues to be a focus of mathematical physicists attention for a recent application to noncommutative geometry see [4] [3].. Elliptic integrals and functions If we did not know about trigonometric functions when first calculating the integral z = x 0 dt, we would have come out with a rather nasty multivalued t function zx. Then an unprejudiced young man might have discovered that one should instead work with the inverse function xz = sinz, which is a nice single valued entire periodic function. This is more or less what happened for elliptic integrals 5, say, for an integral of the type z = x 4ξ3 g ξ g 3 dξ, g 3 7g The inverse function x = xz can be written in the Weierstrass notation 6 as a manifestly meromorphic single valued, doubly periodic function see Exercise. a: xz = z; ω, ω = z = z + z + ω ω,. ω Λ\{0} 4 E. Wigner, The limits of science, Proc. Amer. Phil. Soc ; see also his collection of Scientific Essays, Symmetries and Reflections p. 9 Eugene Paul Wigner, , Nobel Prize in physics, After nearly 00 years of study of elliptic integrals, starting with the 7th century work of John Wallis and going through the entire 8th century with contributions from Leonard Euler and Adrien Marie Legendre , a 3 years old Norwegian, the pastor s son, Niels Henrik Abel had the bright idea to look at the inverse function and prove that it is single valued, meromorphic and doubly periodic. As it often happens with 9th century discoveries, Carl Friedrich Gauss also had developed this idea in his notebooks back in 798 on the example of the lemniscate see [47] Sects..3 and.5. 6 Karl Theodor Wilhelm Weierstrass ; the -function appeared in his Berlin lectures in 86. Series of the type. were, in fact, introduced by another young deceased mathematician one of the precious few appreciated by Gauss whom he visited in Göttingen in 844 Ferdinand Gotthold Eisenstein see [68]. 4

5 where Λ is the dimensional lattice of periods, { } Λ = ω = mω + nω : m, n Z, Im ω ω > 0, g = 60 ω 4, g 3 = 40 ω 6..3 ω Λ\{0} ω Λ\{0} Indeed, knowing the final answer. it is easy to chek that xz satisfies a first order differential equation Exercise. b: y = 4x 3 g x g 3 for x = z, y = z..4 This is the counterpart of the equation y = x for xz = sinz. The condition that the third degree polynomial y.4 has no multiple zero can be expressed by the nonvanishing of the discriminant, proportional to g 3 7g 3 in the case of coinciding roots, the integral. reduces to a trigonometric one. Remark.. More generally, elliptic integrals are integrals over rational functions Rx, y, when y is a third or a fourth degree polynomial in x with different roots. A fourth degree curve, ỹ = a 0 x 4 +a x 3 +a x +a 3 x+a 4 can be brought to the Weierstrass canonical form. by what may be called a Möbius 7 phase space transformation : x = ax + b cx + d, ỹ = A y, ad bc 0 A i. e., if y cx + d transforms as a derivative with a possible dilation of the independent variable z in accord with the realization.. We have, in particular, to equate a c to one of the zeroes of the polynomial ỹ x, thus killing the coefficient of x 4 see Exercise.3. An example of such type of integrals is the Jacobi s 8 sinus amplitudinus, x = sn z, k, z := x dξ ξ k ξ, k 0,.5 which is proven to be a doubly periodic meromorphic function 9 with periods 4K and ik, where K := dx x k x = π F, ; ; k, F 0 7 Augustus Ferdinand Möbius Carl Gustav Jacob Jacobi rediscovers in 88 the elliptic functions by inverting the elliptic integrals and is the first to apply them to number theory. Jacobi, himself, says that the theory of elliptic functions was born when Euler presented to the Brelin Academy in January 75 the first series of papers, eventually proving the addition and multiplication theorems for elliptic integrals see [69]. Bourbaki in particular, Jean Dieudonné have taken as a motto his words from a letter to Legendre of 830, deploring the worries of Fourier about applications: le but unique de la science, c est l honneur de l esprit humain. 9 It is not difficult to show that the solution of the Newton equation of a length L and mass m pendulum, m d θ dt + m G sinθ = 0 G being the Earth gravitational acceleration, is L expressed in terms of the elliptic sinus.5 see [47] Sect.. Example 4 and p

6 being the hypergeometric function and K := k dx x k x see, e.g. [47] Sects.. and.5; concerning the other Jacobi functions, cnz, k = snz, k and dnz, k = k snz, k see Sect..6 of [47]. We proceed to displaying some simple properties of elliptic functions, defined as doubly periodic meromorphic functions on the complex plane. Basic facts of complex analysis, such as Liouville s and Cauchy s 0 theorems, allow one to establish far reaching non obvious results in the study of elliptic functions. Periodicity implies that an elliptic function fz is determined by its values in a basic parallelogram, called a fundamental domain: F = {α ω + β ω ; 0 α, β < }. If f is bounded in F, then it is a constant. Indeed, periodicity would imply that f is bounded on the whole complex plane. The statement then follows from Liouville s theorem. Thus a non constant elliptic function must have a pole in F. 3 The sum of the residues of the simple poles of f in F is zero. This follows from Cauchy s theorem, since the integral over the boundary F of F vanishes: fz dz = 0, F as a consequence of the periodicity. By shifting, if necessary, the boundary on opposite sides we can assume that f has no poles on F. It follows that f has at least poles in F counting multiplicities. 4 Let {a i } be the zeroes and poles of f in F and n i be the multiplicity of a i n i > 0 if a i is a zero, n i < 0 if a i is a pole. Then applying 3 to f z f z gives n i = 0. More properties of zeroes and poles of an elliptic function in a fundamental domain are contained in Theorem.. of Cohen in [], p. 3 see also [47] Sect..7. The above list allows to write down the general form of an elliptic function fz. If the singular part of fz in F has the form: K S k k = s = N k,s z z s k.6 for some K, S,..., S K N, N, N s,k C, z s F k =,...,K, s =,...,S k, then fz can be represented in a finite sum: fz = N + K S k N k,s p k z z s ; ω, ω.7 k = s= 0 Augustin Louis Cauchy ; Joseph Liouville

7 where p k z; ω, ω are, roughly speaking, equal to: p k z; ω, ω := ω Λ z + ω k..8 The series.8 are absolutely convergent for k 3 and z / Λ, and p k+ z; ω, ω = k zp k z; ω, ω z :=..9 z For k =, one should specialize the order of summation or, alternatively, add regularizing terms. Such a regularization for the k = case has been used in fact in the definition of the Weierstrass function.; for k =, the function Zz; ω, ω = z + z + ω ω + z ω,.0 ω Λ\{0} is known as Weierstrass Z function. Note that the Z function.0 is not elliptic due to the above property but any linear combination S Zz z s ; ω, ω with translation property [39] S s= N,s s = N,s = 0 will be elliptic. This follows from the Zz + ω ; ω, ω = Zz; ω, ω 8π G ω, ω ω πi,. Zz + ω ; ω, ω = Zz; ω, ω 8π G ω, ω,. where 8π G ω, ω = n Z\{0} n ω + m Z\{0} n Z m ω + n ω.3 will be considered in more details in Sect. 3.. Exercise.. Prove the absolute convergence of the series.3 using the Euler s formulae lim N N n = N z + n = π cotgπz, lim N N n= N n z + n = π sin πz.4 with a subsequent differentiation. It is convenient to single out a class of elliptic functions fz; ω, ω, which are homogeneous in the sense that ρ k fρz; ρω, ρω = fz; ω, ω for ρ 0 and some k =,,.... The Weierstrass function. provides an example of These are the basic elliptic functions of Eisenstein according to André Weil who denotes them by E k see [68] Chapter III. 7

8 a homogeneous function of degree. In the applications to GCI QFT a natural system of basic elliptic functions is M N p κλ κm+λn k z; ω, ω = lim lim, κ, λ = 0, M N k m= M n= N z + m ω + n ω.5 cp. with Eq..4, characterized by the antiperiodicity condition p κλ k z + ω ; ω, ω = κ p κλ k z; ω, ω for k + κ + λ > 0,.6 p κλ k z + ω ; ω, ω = λ p κλ k z; ω, ω for κ, λ = 0,..7 The functions p k are encountered in a family of examples, described in Sect. 4.4; p κλ with κ + λ > 0 appear in the study of Gibbs states of a chiral D Weyl field Sect. 5.3; the thermal point function of a free massless scalar field in 4 dimensions is presented as a difference of two p 00 functions see 6.3. The functions.5 are connected for different k by: p κλ k+ z; ω, ω = k z p κλ k z; ω, ω.8 and we will set p k z; ω, ω p 00 k z; ω, ω..9 Exercise.. a Prove that z; ω, ω. is doubly periodic in z with periods ω and ω. Hint: prove that the derivative z is the elliptic function p 3.8 so that z + ω z is a constant for ω Λ; show that the constant is zero by taking z = ω. b Prove that z; ω, ω. satisfy the equation.4. Hint: prove that the difference between the two sides of Eq..4 is an entire elliptic function vanishing at z = 0. c Prove the relations p 0 k z; ω, ω = p k z; ω, ω p k z; ω, ω.0 p 0 k z; ω, ω = p k z; ω, ω p k z; ω, ω,. p k z; ω, ω = p k z; ω + ω, ω p k z; ω, ω,. p z; ω, ω = Zz; ω, ω + 8π G ω, ω z,.3 p z; ω, ω = z; ω, ω 8π G ω, ω,.4 p z + ω ; ω, ω = p z; ω, ω 8π G ω, ω ω ω πi,.5 p z + ω ; ω, ω = p z; ω, ω..6 Hint: to prove Eqs..0. take even M and N in Eq..5 and split appropriately the resulting sum; proving Eqs..3.6 one can first show that the difference between the two sides of Eq..3 is an entire, doubly periodic, odd function and therefore, it is zero see also Appendix A. 8

9 Corollary.. Every elliptic function f z satisfying the periodicity conditions fz + ω ; ω, ω = κ fz; ω, ω, fz + ω ; ω, ω = λ fz; ω, ω,.7 for some κ, λ = 0, admits unique nontrivial expansion fz = N + K S k k = s= N k,s p κλ k z z s ; ω, ω.8 where K, S,...,S K N, N, N s,k C, z s F k =,...,K, s =,...,S k. In the case κ = λ = 0 the coefficients N,k satisfy S s = N,s = 0..9 Exercise.3. Transform the forth degree equation y = x e 0 x e x e x e 3 with different roots e ν into a third degree one y = 4 x e x e x e 3, using the Möbius transformation of Remark.. Answer: the transformation is x e 0 + x a and y A x a y with A = 4 e 0 e e 0 e e 0 e 3 ; then e j = a e 0 e j j =,, 3 where fixing a = 3 3 e 3 0 e j is equivalent to the condition e j = 0 obeying the j= form.4. j=. Elliptic curves A nonsingular projective cubic curve with a distinguished point at infinity is called elliptic. An elliptic curve E over C or, more generally, over any number field of characteristic different from and 3 can be reduced to the Weierstrass form in homogeneous coordinates X, Y, Z, E : Y Z = 4X 3 g XZ g 3 Z 3 g 3 7g with the point at infinity, given by e = X : Y : Z = 0 : : 0..3 Let Λ be a dimensional period lattice as in Eq..3. The uniformization map { z : z z : for z / Λ.3 0 : : 0 for z Λ 9

10 z z; ω, ω, z z z; ω, ω from C to the projective complex plane provides an isomorphism between the torus C/Λ and the projective algebraic curve.30. It follows that E is a commutative algebraic group as the quotient of the additive groups C and Λ. The addition theorem for Weierstrass functions, z + z = z z + z z 4 z z z + z 4 for z z.33 z allows to express the group law in terms of the projective coordinates as follows. The origin or neutral element of the group is the point at infinity e.3. If x = X Z, y = Y is a finite point of E.30 i. e., a solution of the equation Z y = 4x 3 g x g 3,.34 then its opposite under the group law is the symmetric point x, y which also satisfies.34. If P = x, y, P = x, y are non opposite finite points of E, then their sum P 3 = x 3, y 3 is defined by x 3 = x x + m 4, y 3 = y m x 3 x for m = y y x x if P P ; m = x g y if P = P..35 The structure of rational points on an elliptic curve a hot topic of modern mathematics is reviewed in [58]. Exercise.4. Compute the sum P + Q of points P = 9, 7, Q = 0, 7 of an elliptic curve y = x 3 x +. Answer: x, y = 59, 86. Proposition.. [6] Proposition 4.. Two elliptic curves E : y = 4x 3 g x g 3 and Ẽ : ỹ = 4 x 3 g x g 3 are isomorphic as complex manifolds with a distinguished point iff there exists ρ 0, such that g = ρ 4 g, g 3 = ρ 6 g 3 ; the isomorphism between them is then realized by the relation x = ρ x, ỹ = ρ 3 y. The following text between asterisks is designed to widen the scope of a mathematically oriented reader and can be skipped in a first reading. An elliptic curve, as well as, every algebraic regular, projective curve M can be fully characterized by its function field [7]. This is the space CM of all meromorphic functions over M, i.e., functions f such that in the vicinity of each point p M, f takes the form w wp d a + w wpgw for some local coordinate w and an analytic function gw around p, d Z, and a nonzero constant a for f 0. The number ord p f := d is then uniquely determined for nonzero f, depending only on f and p: it is called the order of f at p. Thus, 0

11 the order is a function ord p : CM\{0} Z satisfying the following natural properties ord ord p fg = ord p f + ord p g; ord ord p f +g min{ord p f,ord p g} for f g; ord 3 ord p c = 0 for c C \{0} it sometimes is convenient to set ord p 0 :=. Functions ν : CM\{0} Z satisfying ord ord 3 are called discrete valuations on the field CM. They are in one-to-one correspondence with the points p M: p ord p. Moreover, the regular functions at p, i.e. the functions taking finite complex values at p, are those for which ord p f 0; these functions form a ring R p with a unique maximal ideal m p := {f : ord p f > 0}. Then the value fp can be algebraically expressed as the coset [f] p of f in the quotient ring R p /m p = C since the quotient by a maximal ideal is a field!. On the other hand, the field CM of meromorphic functions on a compact projective curve can be algebraically characterized as a degree one transcendental extension of the field C of complex numbers: CM contains a non algebraic element over C and every two elements of CM are algebraically dependent over C, i.e., satisfy a polynomial equation with complex coefficients. Such fields are called function fields. The simplest example is the field Cz of the complex rational functions of a single variable z. This is, in fact, the function field of the Riemann sphere P. Summarizing the above statements we have: Theorem.3. [7] Chapt. VI The nonsingular algebraic projective curves are in one to one correspondence with the degree one transcendental extensions of C, naturally isomorphic to the fields of meromorphic functions over the curves. The function field of an elliptic curve E := C/Λ is generated by and [47], Sect..3, CE = C [ ] = C [ e e e 3 ],.36 where e, e and e 3 are the roots of the third order polynomial.34, 4 3 g g 3 = 4 e e e 3 =.37 which should be different in order to have an elliptic curve. Thus, CE is a quadratic algebraic extension of the field C of rational functions in. Exercise.5. Let ω, ω be a basis of Λ. Prove that the roots of.37 in the basic cell {λω + µ ω : 0 λ, µ < } are up to ordering ω, ω, ω + ω, corresponding to e = ω, e = ω, e 3 = ω + ω. Hint: use the fact that is an odd function of z as in Exercise.. a. Georg Friedrich Bernhard Riemann introduced the Riemann surfaces in his Ph.D. thesis in Göttingen, supervised by Gauss 85.

12 Exercise.6. Show that j z = z e j, j =,, 3 have single valued branches in the neighbourhood of the points z = ω, z = ω, z 3 = ω + ω, respectively. Prove that they have simple poles on the lattice Λ and may be standardized by fixing the residue at the origin as. Demonstrate that they belong to different quadratic extensions of the field CE corresponding to double covers of the torus E with primitive periods ω, ω, ω, ω and ω +ω, ω, respectively we shall also meet the corresponding index sublattices in Sect..4. Deduce that, z= z e = p 0 z; ω, ω, z= z e = p 0 z; ω, ω 3 z= z e 3 = p z; ω, ω.38 where p κλ are the functions.5 see [47], Sect..7. Exercise.7. Find a relation between the sinus amplitudinus function snz, k.5 and the functions j of Exercise.6. Answer: 3 z p z; ω, ω = e e 3 sn z e e 3, k..39 Exercise.8. Use the change of variables x e 3 + e e 3 to convert the x [4 indefinite integral x e x e x e 3 ] dx into e e 3 [ x k x ] dx for k = e e 3 as in Exercise.3. Deduce e e 3 as a consequence the relations: z = e 3 + e e 3 {snz e e 3, k }..40 Exercise.9. Prove that addition of half periods and the reflection z z are the only involutions of E = C/Λ. Prove that the quotient space E/z z is isomorphic to P. Identify the quotient map E E/z z as the Weierstrass function z..3 Modular invariance Proposition. implies, in particular, that two lattices, Λ and ρλ, with the same ratio of the periods, τ := ω ω H = {τ C ; Im τ > 0}.4

13 correspond to isomorphic elliptic curves. The isomorphism is given by multiplication with a non-zero complex number ρ: C/Λ = C/ ρλ : z mod Λ ρz mod ρλ.4 x : y : ρ x : ρ 3 y : = ρz; ρω, ρω : z ρz; ρω, ρω :. On the other hand, the choice of basis ω, ω in a given lattice Λ is not unique. Any linear transformation of the form ω, ω ω, ω := a ω + b ω, c ω + dω, a, b, c, d Z, ad bc = ±.43 gives rise to a new basis ω, ω in Λ which is as good as the original one. Had we been given a basis ω, ω for which Im ω < 0, we could impose.4 ω for ω, ω = ω, ω. Orientation preserving transformations.43 form the modular group { } a b Γ := SL, Z = γ = : a, b, c, d Z, detγ = ad bc =. c d.44 Thus, on one hand, we can define an elliptic curve, up to isomorphism, factorizing C by the lattice Zτ+Z with τ H and on the other, we can pass by a modular a b transformation γ = Γ to an equivalent basis aτ + b, cτ + d. Normalizing then the second period to we obtain the classical action of Γ on c d H.4 mapping the upper half plane onto itself, τ aτ + b cτ + d..45 This action obviously has a Z kernel {±} Γ. Note that the series.0 and., as well as.8 for k 3, are absolutely convergent for z / Λ. This implies, in particular, their independence of the choice of basis, Zz; ω, ω = Zz; aω + bω, cω + dω, z; ω, ω = z; aω + bω, cω + dω, p k z; ω, ω = p k z; aω + bω, cω + dω k a b for γ = Γ. Using the homogeneity c d Zρz; ρω, ρω = ρ Zz; ω, ω, ρz; ρω, ρω = ρ z; ω, ω, ρ C\{0} and setting p k ρz; ρω, ρω = ρ k p k z; ω, ω.47 Zz, τ := Zz; τ,, z, τ := z; τ,, p k z, τ := p k z; τ, p κλ k z, τ := pκλ k z; τ, κ, λ = 0,, p kz, τ p 00 k z, τ.48 3

14 see.5 we find as a result, the modular transformation laws cτ + d z Z cτ + d, aτ + b = Zz, τ, cτ + d cτ + d z cτ + d, aτ + b = z, τ, cτ + d cτ + d k z p k cτ + d, aτ + b = p k z, τ k cτ + d The functions p z, τ and p z, τ obey inhomogeneous modular transformation laws since G ω, ω transforms inhomogeneously see Sect. 3.. This is the price for preserving the periodicity property for z z + according to.6. Nevertheless, all the functions p κλ k for k and κ + λ > 0 transform homogeneously among themselves: cτ + d k p [aκ+bλ],[cκ+dλ] k where [λ] = 0, stands for the λmod. z cτ+d, aτ+b = p κλ k z, τ.50 cτ +d Exercise.0. Prove the relation.50 for k 3 using the absolute convergence of the series in Eq..5. For k =, one should use the uniqueness property of the functions p κλ k given in Appendix A. Exercise.. a Prove the representations p z, τ = lim N N k = N = π cotgπz + 4π π cotgπz +kτ =.5 n= q n sinπnz.5 qn where q := e πiτ and the series.5 absolutely converges for all z / Zτ + Z and τ H while.5 absolutely converges for q < e πiz <. Hint: take the difference between the two sides of.5 and prove that it is an entire, odd, elliptic function using.5 and.6; to derive.5 from.5 use the expansion cotgπ z +kτ + cotgπ z kτ = i + eπiz q k e πiz q + i + e πiz q k k e πiz q = k = 4 q nk sin πnz. n= b Find similar representations for p z, τ, p z, τ and pz, τ. 4

15 .4 Modular groups As an abstract discrete group, Γ has two generators S and T satisfying the relations S = ST 3,.53 S 4 = ;.54 their matrix realization is 0 S =, T = This can be established by the following Exercise. Exercise.. A subset D H is called a fundamental domain for Γ if each orbit Γτ of a τ H has at least one point in D, and if two points of D belong to the same orbit, they should belong to the boundary of D. Let D = {τ H : Re τ }, τ ;.56 prove that D is a fundamental domain of Γ. Moreover, prove that τ H then there exists a γ Γ, such that γτ D; if τ τ are two points in D such that τ = γτ then either Reτ = and τ = τ ± or τ = and τ = Sτ = τ. 3 Let P := PSL, Z = SL, Z /Z be the projective modular group acting faithfully on H and let Iτ = {γ P : γτ = τ} be the stabilizer of τ in P. Then if τ D, Iτ = with the following three exceptions: τ = i, then Iτ is a element subgroup of P generated by S; if τ = := e πi 3 then Iτ is a 3 element subgroup of P generated by ST; if τ = := e πi 3 then Iτ is a 3 element subgroup of P generated by TS. See Sect.. of Chapter VII of [59]. Derive, as a corollary, that S and T generate P. Exercise.3. Verify that there are six images of the fundamental domain D.56 under the action of Γ incident with the vertex e iπ 3 : they are obtained from D by applying the modular transformations, T, TS, TST, ST and S. Note that all these domains are triangles in the Lobachevsky s plane 3 with two 3 We thank Stanislaw Woronowicz for drawing our attention to this property. Nikolai Ivanovich Lobachevsky publishes his work on the non-euclidean geometry in 89/30. Jules Henri Poincaré proposes his interpretation of Lobachevsky s plane in 88: it is the closed unit disk whose boundary is called oricycle with straight lines corresponding to either diameters of the disk or to circular arcs intersecting the oricycle under right angles. The upper half plane is mapped on the Poincaré disk by the complex conformal transformation τ z = + iτ τ + i. 5

16 60 = π angles and a zero angle vertex at the oricycle. They split into two 3 orbits under the 3 element cyclic subgroup of P generated by TS. Their union is the fundamental domain fo the index six subgroup Γ defined in.60 below; cp. [47] Sect Remark.. Γ can be viewed, alternatively, as a homomorphic image of the braid group B 3 on three strands. Indeed, the group B 3 can be characterized in terms of the elementary braidings b i, i =,, which interchange the end points i and i + and are subject to the braid relation b b b = b b b..57 On the other hand, the group Γ with generators S and T satisfying only the relation.53 is isomorphic to the group B 3 since the mutually inverse maps S b b b, T b and b T, b T S T.58 convert the relations.53 and.57 into one another. The element S is mapped to the generator of the infinite centre of B 3. Its image S in Γ satisfies the additional constraint.54. It follows that B 3 appears as a central extension of Γ. We shall also need in what follows some finite index subgroups Γ Γ i. e. such that Γ/Γ has a finite number of cosets. Let Λ be a sublattice of Λ := Zω + Zω of a finite index N. This means that the factor group Λ/Λ is a finite abelian group of order Λ/Λ = N. The set of such sublattices, {Λ : Λ/Λ = N}, is finite and the group Γ acts on it via Λ γ Λ for γ Γ here we assume that γω := am + bnω m a b + cm + dnω ω, ω γ for γ = and ω = mω n c d + nω Λ. Exercise.4. Find all index sublattices Λ of the lattice Λ.3. Answer: Λ 0 := Zω + Zω, Λ 0 := Zω + Zω and Λ := Zω + ω + Zω. Prove that the stabilizer of Λ, denoted further by Γ θ := { γ Γ : γ Λ } Λ, is { } a b Γθ = Γ : ac and bd even..59 c d The group Γ θ can be also characterized as the index 3 subgroup of Γ generated by S and T see [3] Sect Other important finite index subgroups of Γ are the normal principal congruence subgroups { } a b ΓN = Γ : a mod N d, b 0 mod N c, c d.60 6

17 which justifies the notation Γ for SL, Z and the subgroups { } a b Γ 0 N = Γ : c 0 mod N..6 c d Proposition.4. [6] Lemma.38. Let SL, Z N be the finite group of matrices γ whose elements belong to the finite ring Z N = Z/NZ of integers mod N and such that detγ mod N. If f : Γ SL, Z N is defined by fγ = γ mod N, then the sequence ΓN Γ f SL, Z N.6 is exact, i.e., the factor group Γ /Γ N is isomorphic to SL, Z N. We note that in the case N = the factor group SL, Z is isomorphic to the permutation group S 3 with the identification 0 s = ft =, s 0 = ftst = s mod s..63 In general, the number of elements of the factor group SL, Z N i.e., the index of ΓN in Γ, by Proposition.3 is µ = N 3 p N p.64 the product being taken over the primes p which divide N, [6] Sect..6. Remark.3. The invariant commutator subgroup of the braid group B 3 is the monodromy group M 3, which can, alternatively, be defined as the kernel of the group homomorphism of B 3 onto the 6 element symmetric group S 3 realized by the map b i s i, i =,, where s i are the elementary transpositions satisfying.57 and s i =. In other words, we have an exact sequence of groups and group homomorphisms, M 3 B 3 S 3, i. e. S 3 = B 3 /M f Exercise.5. Prove that the stabilizer of the sublattice Λ 0 = Zω + Zω Λ is the subgroup Γ 0. Thus Γ 0 and Γ θ are mutually conjugate subgroups of Γ. Prove also that the action of Γ on the three element set {Λ 0, Λ 0, Λ } of index sublattices of Λ is equivalent to the above homomorphism Γ SL, Z = S 3. In fact, this action is given by the formula, a b Λ κλ Λ [aκ+bλ],[cκ+dλ] for γ = Γ note that this is precisely the c d action of γ on the upper indices of p κλ k in.50. 7

18 Exercise.6. Let Γ be a finite index subgroup of Γ. Prove that there exists a nonzero power T h i.e., h 0 belonging to Γ. Hint: since there are finite number of right cosets Γ \Γ there exist γ Γ and h, h Z, h h such that T h = γ T h. 3 Modular forms and ϑ functions 3. Modular forms Using the equivalence of proportional lattices we shall, from now on, normalize the periods as ω, ω = τ, with τ belonging to the upper half plane H.4. Let Γ be a subgroup of the modular group Γ. An analytic function G k τ defined on the upper half plane H τ is called a modular form of weight k and level Γ if i it is Γ covariant: aτ + b cτ + d k G k cτ + d = G k τ for i.e., the expression G k τdτ k is Γ invariant: a b Γ, 3. c d G k γτdγτ k = Gk τdτ k for γτ = aτ + b cτ + d 3. in view of the identity dγτ = dτ cτ + d ; ii G k τ admits a Fourier 4 expansion in non negative powers of q = e πiτ q <. 3.3 The coefficients g τ and g 3 τ.4 of the Weierstrass equation provide examples of modular forms of level Γ and weights 4 and 6, respectively. Remark 3.. The prefactor jγ, τ = cτ + d k in 3., called an automorphy factor, can be replaced by a general cocycle: jγ, τ jγ, γ τ = jγ γ, τ γ, γ Γ. If we stick to the prefactor cτ + d k, then there are no non 0 zero modular forms of odd weights and level Γ provided = 0 Γ. Indeed, applying 3. to this element we find G k τ = k G k τ, i. e. G k τ = 0 for odd k. For this reason we will mainly consider the case of even weights for an example of a modular form of weight one see Proposition Jean Baptiste Joseph Fourier

19 Remark 3.. If the modular group Γ Γ contains a subgroup of type ΓN.60 we shall also use level N for the minimal such N instead of level Γ. In particular, a modular form of level Γ is commonly called a level one form. Remarkably, the space of modular forms of a given weight and level is finite dimensional. This is based on the fact that every such modular form can be viewed as a holomorphic section of a line bundle over a compact Riemann surface. To explain this let us introduce the extended upper half plane H := H Q { } 3.4 on which the modular group Γ acts so that Q { } is a single orbit. The set H can be endowed with a Hausdorff 5 topology, extending that of H, in such a way that the quotient space 6 Γ \ H is isomorphic, as a topological space i.e., it is homeomorphic, to the Riemann sphere with a distinguished point, the orbit Q { }. The points of the set Q { } are called cusps of the group 7 Γ as well as of any finite index subgroup Γ in Γ. Then the quotient space Γ \ H is homeomorphic to a compact Riemann surface with distinguished points, the cusps orbits with respect to Γ. For more details on this constructions we refer the reader to [6]. Proposition 3.. [48] Chapt. 4 Every modular form of weight k and level Γ, for a finite index subgroup Γ of Γ, can be extended to a meromorphic section of the line bundle of k differentials g τ dτ k over the compact Riemann surface Γ \ H. The degree of the pole of the resulting meromorphic section at every cusp is not smaller than k and the degree of the pole at an image [τ] Γ Γ \H of a point τ H is not smaller than k where e τ,γ is the order e τ,γ of the stabilizer of τ in Γ/{±} and a stands for the integer part of the real number a. Note that for the points τ H having unit stabilizer in Γ/{±} i.e., e τ,γ = the corresponding holomorophic sections of Proposition 3. have no poles at [τ] Γ. This is because then the canonical projection H Γ \H is local analytic diffeomorphism around [τ] Γ. On the other hand, if e τ,γ > then [τ] Γ is a ramification point for the projection H Γ \H, so that a holomorphic invariant differential is projected, in general, to a meromorphic differential. For example, the weight holomorphic differential dz is invariant under the projection z w = z and it is projected to 4 w dw = 4 z z dz. 5 Felix Hausdorff Following the custom we will use the left coset notation for the discrete group action while H can be viewed as a right coset, H = SL, R /SO, the maximal compact subgroup SO of SL, R being the stabilizer of the point i in the upper half plane. 7 The cusps τ of H with respect to some subgroup Γ of Γ are characterized by the property that they are left invariant by an element of Γ conjugate to T n.55 for some n Z. 9

20 Exercise. implies that e τ,γ for any subgroup Γ of Γ is either or, or 3. Let us set ν l to be the number of points [τ] Γ Γ \H with e τ,γ = l for l =, 3 and let ν be the number of cusps images in Γ \H. Corollary 3.. For k = 0 Proposition 3. implies that every modular form of weight 0 is represented by holomorphic function over a compact Riemann surface and therefore, it is constant by Liouville s theorem. The Liouville theorem has a generalization to meromorphic sections of line bundles over compact complex surfaces this is the Riemann Roch 8 theorem [48], Chapt. stating that the vector space of such sections with fixed singularities is finite dimensional. Theorem 3.3. See [48] Theorem. and Theorem 4.9, and [6] Proposition.40. The vector space of modular forms of weight k and level Γ a finite index subgroup of Γ has finite dimension 0 for k < 0 d k,γ = for k = k g Γ + ν k + k ν + k ν3 for k > 0, 3 where g Γ is the genus of the Riemann surface Γ \H which can be calculated using the index µ of the subgroup Γ in Γ by the formula g Γ = + µ ν 4 ν 3 3 ν. 3.6 Remark 3.3. In the case of level modular forms: g Γ = 0, ν = and e τ,γ takes nonunit values only at the images [τ] Γ of τ = i and τ = e πi 3 which are and 3, respectively, i.e., ν = ν 3 = see Exercise.. Then Eq. 3.5 takes for k =,...,7,... the form k k d k,γ = k+ + =, 0,,,,,,,,,,, 3,, 3, 3, 3, 3, in the next subsection we will derive independently this formula in a more direct fashion, establishing on the way the recurrence relation d k+,γ = d k,γ +. For the principal congruence subgroups ΓN.60, we have, when N > see [6], Sect..6: ν = ν 3 = 0, ν = µ and µ is given by Eq..64. In N particular, g ΓN = 0 for N 5, g Γ6 =, g Γ7 = 3, g Γ8 = 5, g Γ9 = 0, g Γ0 = 3, g Γ = 6. 8 Gustav Roch

21 3. Eisenstein series. The discriminant cusp form We proceed to describing the modular forms of level one. Let M k be the space of all such modular forms. As a consequence of Corollary 3. and Theorem 3.3, M 0 is dimensional it consists of constant functions and M = M k+ = {0}. Examples of non trivial modular forms are given by the Eisenstein series G k τ = = k! πi k k! πi k Note that for k 4 we have: mτ + n k := m,n { n= G k τ = G k τ,, G k ω, ω := n k + k! πi k m= n Z } mτ + n k. 3.8 ω Λ\{0} ω k Λ = Zω +Zω 3.9 where the series is absolutely convergent and therefore, it does not depend on the basis ω, ω : a b G k aω + bω, cω + dω = G k ω, ω for Γ. 3.0 c d It follows that, G k τ satisfies for k 4 the conditions i for modular forms since we have G k ρω, ρω = ρ k G k ω, ω. 3. For k = the series 3.8 is only conditionally convergent and it is not modular invariant the sum depends on the choice of lattice basis, see below. To verify the second condition one can use the Lipschitz formula see, e. g., Zagier in [] Appendix k! πi k n Z z + n k = l= and deduce the Fourier expansion of G k for k : n= l k e πilz 3. G k τ = B k 4k + n k q n qn = ζ k + σ k nq n 3.3 where σ l n = r n n= r l sum over all positive divisors r of n, B l are the Bernoulli

22 numbers 9 which are generated by the Planck 0 distribution function: x e x = x B l l l=0 l! ; B 0 =, B =, B = 6, B 3 = = B k+ = 0, B 4 = B 8 = 30, B 6 = 4, B 0 = 5 66, B = , B 4 = 7 6,..., 3.4 ζs is the Riemann ζ function. Remarkably, for n, all Fourier coefficients of G k are positive integers. Thus, for k the functions G k are modular forms of weight k satisfying 3.. For k =, however, we have instead cτ + d G aτ + b cτ + d = G τ + i c 4π cτ + d 3.5 so that only G τdτ is modular invariant where G is the non holomorphic function G τ := 8π lim mτ + n mτ + n ε = G τ +, εց0 8πτ m,n 0,0 3.6 τ = Im τ. As the Eisenstein series 3.0 is divergent for k =, Eq. 3.6 can be taken as an alternative definition of G τ which can be shown to agree with.3. In fact, there is no non zero level, holomorphic modular form of weight as a consequence of Theorem 3.3. There exist, on the other hand, level two forms of weight. We shall use in applications to CFT the fact that F τ := G τ G τ is a modular form of weight and level Γ θ.59. Exercise 3.. Prove that the functions p κλ k z, τ.5.48 k =,,..., κ, λ = 0, have the Laurent expansions p κλ k z, τ = z k + k n= n πi n k n! Gκλ nτz n k, Jacob Bernoulli is the first in the great family of Basel mathematicians see [3], pp for a brief but lively account. The Bernoulli numbers are contained in his treatise Ars Conjectandi on the theory of probability, published posthumously in Max Planck proposed his law of the spectral distribution of the black body radiation in the fall of 900 Nobel Prize in Physics, 98 see M.J. Klein in [9]. The functional equation Γ s π s ζs = Γ s s π ζ s, which allows the analytic continuation of ζs = n s as a meromorphic function with a pole at s = to the entire n= complex plane s, was proven by Riemann in 859 see also Cartier s lecture in []. P.A. Laurent introduces his series in 843.

23 where G 00 k τ coincides with the above introduced G kτ for k =,,..., G τ coincides with F τ 3.7 and G κλ k τ has the following absolutely convergent, Eisenstein series representation: G κλ k k! τ := πi k m,n Z Z \{0,0} κm+λn mτ + n k 3.9 for k. Using this prove that all G k τ including F τ G τ are modular forms of weight k and level Γ θ for every k =,,.... See Sect. III.7 of [68] where the case κ = λ = 0 is considered. If there are d k > modular forms of weight k and a fixed level, then one can form d k linearly independent linear combinations S k of them, which have no constant term in their Fourier expansion. Such forms, characterized by the condition S k 0 for q 0, are called cusp forms 3. We denote by S k the subspace of cusp forms. The first nonzero cusp form of level one appears for weight and, as we shall see, its properties allow to determine the general structure of level one modular forms. Proposition 3.4. The 4th power of the Dedekind 4 η function is a cusp form of weight. τ = [ητ] 4 = q q n Proof. As τ clearly vanish for q = 0 we have just to show that it is a modular form of degree. To this end we compute the logarithmic derivative τ τ = πi nq n 4 q n = 48πiG τ. 3. n= n= It then follows from 3.5 that log d dτ aτ + b cτ + d = d [ log cτ + d τ ] 3. dτ and hence, noting that τ 3.0 is T invariant i.e., periodic of period in τ, we conclude that it is indeed a modular form of weight. Theorem 3.5. The only non zero dimensions d k = dim M k are given recursively by d 0 = d 4 = d 6 = d 8 = d 0 = ; d +k = d k +, k = 0,,, The notation S k for the cusp forms comes from the German word Spitzenform. The term parabolic form is used in the Russian literature. 4 Richard Dedekind also introduced in 877 the absolute invariant j 3.7 as well as the modern concepts of a ring and an ideal. 3

24 In particular, d k = 0 for k < and dim S k = 0 for k <. Proof.. If there were a modular form f of weight m m > 0 then the function f m would have had weight 0 and a Fourier expansion with no constant term, which would contradict the Liouville theorem cf. Theorem There is no cusp form of weight smaller than. Had there been one, say S k τ, with k <, then S kτ would be a modular form of weight k < 0 τ in contradiction with the above argument. Here we use the fact that S k is holomorphic in H since the product formula 3.0 shows that has no poles in the upper half plane. The theorem follows by combining these results with Proposition 3.3 and the argument that there is no level modular form of weight. Remark 3.4. In fact, the linear span of all level modular forms of an arbitrary weight is the free commutative algebra generated by G 4 τ and G 6 τ, i.e., it is the polynomial algebra C [G 4, G 6 ] D. Zagier []. Corollary 3.6. The Dedekind η function 3.0 is proportional to the discriminant of the right hand side of.34: τ = π [ g 3 τ 7g 3τ ] = [0G 4 τ] 3 37G 6 τ S. 3.4 Proof. The difference 0G G 6 also belongs to S since, due to 3.4, 0 B B 6 = = 0. Noting further that dim S = Theorem 3.5 and comparing the coefficient to q in 3.4 = 60 0 B 4 7B6 +, we verify the relation τ = 8 6 0G G 6. The first equation 3.4 then follows from the relations 0G 4 τ = π 4 g τ; 7G 6 τ = 3 π 6 g 3τ. 3.5 Remark 3.5. S k is a Hilbert space, equipped with the Peterson scalar product f, g = τ k fτgτdµ where τ = τ + iτ, dµ = dτ dτ τ, 3.6 B/Γ dµ being the SL, R invariant measure on H. 4

25 Remark 3.6. Comparing the constant term in the expansion 3.3 of G k with the first few dimensions d k we notice that S k = {0} for exactly those values of k for which B k is the reciprocal of an integer namely for k =, 4, 6, 8, 0, 4k and 4. The curious reader will find a brief discussion of this nonaccidental fact in Sect. B of Zagier s lectures in []. The existence of the discriminant form τ 3.0 whose zeros are precisely the cusps of Γ allows to define the modular invariant function jτ = [40 G 4τ] 4 τ = q q q that is analytic in the upper half plane H but grows exponentially for τ i. The following proposition shows that j is, in some sense, the unique function with these properties. Proposition 3.7. If Φτ is any modular invariant analytic function in H that grows at most exponentially for Im τ then Φτ is a polynomial in jτ. Proof. The function fτ = Φτ[ τ] m transforms as a modular form of weight m and if m is large enough, it is bounded at infinity, hence fτ M m. It then follows from Theorem 3.5 and Remark 3.4 that f is a homogeneous polynomial of degree m in G 3 4 and. Therefore, Φ = f is a polynomial m of degree not exceeding m in j. In fact, j can be viewed as a complex valued function on the set of dimensional Euclidean lattices invariant under rotation and rescaling see the thought provoking discussion in Sect. 6 of [46]. Remark 3.7. The function jτ 744 = q q+... is called Hauptmodul of Γ see [4], Sect.. Remark 3.8. As observed by McKey in 978 see [4] for a review and references [jτ] 3 = q q + 44q is the character of the level affine Kac Moody algebra Ê8 see also Sect. 5 below. 3.3 ϑ functions Each meromorphic and hence each elliptic function can be presented as a ratio of two entire functions. According to property of Sect.. these cannot be doubly periodic but, as we shall see, they may satisfy a twisted periodicity condition. 5

26 We shall construct a family of entire analytic functions which allow for a multiplicative cocycle defining the twisted periodicity condition. A classical example of this type is provided by the Riemann ϑ function 5 : ϑz, τ = n Z q n e πinz = + n= which belongs to the family of four Jacobi ϑ functions 6 q n cosπnz, q = e iπτ, 3.9 ϑ µν z, τ = e iπ µ µ τ z+ν ϑz µτ ν, τ, µ, ν = 0, 3.30 ϑ 00 = ϑ. They satisfy the twisted periodicity conditions ϑ µν z +, τ = µ ϑ µν z, τ, 3.3 ϑ µν z + τ, τ = ν q e πiz ϑ µν z, τ. 3.3 Note, in particular, that ϑ is the only odd in z among the four ϑ functions and it can be written in the form ϑ z, τ = n=0 n q n+ sin n + πz 3.33 while the others are even and can be written as follows together with 3.9 ϑ 0 z, τ = + ϑ 0 z, τ = n= n= n q n cosπnz, q n cosn πz Thus ϑ has an obvious zero for z = 0 and hence vanishes due to the twisted periodicity for all z = mτ + n. In fact, this is the full set of zeros in z of ϑ which one can prove applying the Cauchy theorem to the logarithmic derivative of ϑ. Using 3.30 we can then also find the zeros of all four Jacobi ϑ functions. This allows to deduce the following infinite product expression 5 ϑ functions appear before Riemann in Bernoulli s Ars Conjectandi 73, in the number theoretic studies of Euler 773 and Gauss 80, in the study of the heat equation of Fourier 86, and, most importantly, in Jacobi s Fundamenta Nova A more common notation for the Jacobi ϑ functions is ϑ = ϑ, ϑ 0 = ϑ, ϑ 00 = ϑ 3, and ϑ 0 = ϑ 4. Many authors also write q = e iπτ instead of q = e πiτ ; with our choice the exponent of q will coincide with the conformal dimension see Sects. 4-7 below. The function ϑ = ϑ plays an important role both in the study of the elliptic Calogero Sutherland model [4] and in the study of thermal correlation functions Sect. 4.4 below. 6

27 for ϑ µν : ϑ 00 z, τ = n= ϑ 0 z, τ = q 8 cosπz q n ± q n cosπz + q n, n = ϑ z, τ = q 8 sinπz n = q n + q n cosπz + q n, q n q n cosπz + q n One is naturally led to the above definition by considering as in [50] the action on ϑ of the Heisenberg Weyl 7 group U R that appears as a central extension of the dimensional abelian group R. It is generated by the two parameter subgroups U a and V b acting on say, entire analytic functions fz as: U a fz = e πia τ+az fz + aτ, V b fz = fz + b A simple calculation gives U a+a = U a U a, e πiab U a V b = V b U a The function ϑz, τ 3.9 is invariant under the discrete subgroup Z = {a, b : a, b Z} which is commutative since e πiab = for integer ab. If a = µ, b = ν then the action of V b U a gives rise to the four functions 3.30 ϑ µν z, τ = V ν U z, µ ϑ τ Similarly, for a, b l Z we obtain l ϑ functions that are encountered in CFT applications. The functions ϑ µν z, τ 3.30 are solutions of the Schrödinger equation 8 i τ ϑ µνz, τ = 4π z ϑ µνz, τ 3.39 and so are, in fact, all functions of the type V b U a ϑ. The following fact is basic in the general theory of ϑ functions: Proposition 3.8. See D. Zagier [] Sect. C p. 45. Given an r dimensional lattice Λ r in which the length squared Qx of any vector x Λ r is an integer, the multiplicities of these lengths are the Fourier coefficients of a modular form Θ Q τ = x Λ r q Qx Werner Heisenberg , Nobel Prize in physics 93; Hermann Weyl Eq was known to J. Fourier as the heat equation, long before Erwin Schrödinger , Nobel Prize in Physics 933 was born. 7

28 of weight r. More precisely, there exists a positive integer N and a character χ of Γ 0 N such that Θ Q γτ = χ d cτ + d r a b Θ Q τ for γ = Γ c d 0 N. 3.4 For Q x = xax where A is an even symmetric r r matrix, the level N is the smallest positive integer such that NA is again even. Here is an r = example: Q = x + x, Θ Q = + 4q + 4q + 4q 4 + 8q 5 + 4q , 0 A =, N = 4, χ d = d Remark 3.9. The modular form G 4 τ can be expressed in terms of the Jacobi ϑ functions as: 40 G 4 τ = } {ϑ , τ + ϑ8 0 0, τ + ϑ8 0 0, τ q = + 40 q Quantum field theory and conformal invariance a synopsis For the benefit of mathematician readers we shall give a brief summary of the general properties of quantum fields see [63], [4], [5] for more details and proofs, and of the role of the conformal group. Our review will be necessarily one-sided: such central concepts of real world quantum field theory QFT as perturbative expansions, Feynman graphs, and Feynman path integral won t be even mentioned. 4. Minkowski space axioms. Analyticity in tube domains Quantum fields generate in the sense of [63] an operator algebra in a vacuum state space V. A closely related approach, [7], [], starts with an abstract C -algebra - the algebra of local observables and constructs different state spaces as Hilbert space representations of this algebra, defining the different superselection sectors of the theory. Important recent progress relating Haag s algebraic approach to D CFT see [36] is beyond the scope of the present notes. 8