• Keine Ergebnisse gefunden

Physikalisches Institut Exercise 8

N/A
N/A
Protected

Academic year: 2021

Aktie "Physikalisches Institut Exercise 8"

Copied!
2
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Physikalisches Institut Exercise 8

Universit¨ at Bonn 17 May 2015

Theoretische Physik SS 2015

Exercises on Advanced Topics in String Theory

Priv.-Doz. Dr. Stefan F¨ orste

http://www.th.physik.uni-bonn.de/people/forste/exercises/strings15

–Home Exercises– Due to: 24.06.2015

H 8.1 Basics of Jacobi & modular forms (20 points) For the analysis of modularity of the partition function Z(τ ) of a given CFT it is convenient to introduce the notion of modular forms and Jacobi forms that have a specific behaviour under modular transformations τ 7→ γ (τ ). Here we will consider some explicit examples to compare to the mathematical definitions:

A Jacobi form of weight k ∈ N

0

and index m ∈ N

0

is an analytic function f (τ, ν): h× C → C that for γ(τ) =

aτ+bcτ+d

, γ ∈ SL(2, Z ), and (λ, µ) ∈ Z

2

satisfy

f (γ(τ), ν/(cτ + d)) = (cτ + d)

k

exp 2πimcν

2

/(cτ + d)

f(τ, ν), (1)

f(τ, ν + λτ + µ) = exp 2πimc(−λ

2

τ − 2λν)

f (τ, ν). (2)

Additionally, one demands at most polynomial growth of f(τ, ν) at the cusp, i.e. at τ → i∞. Then, this is equivalent to the existence of a Fourier expansion given by

f (τ, ν) =

X

n=0

X

r∈Z

c(n, m)q

n

z

r

(3)

for 4nm − r

2

≥ 0 and q = e

2πiτ

, z = e

2πiν

. A modular form of weight k is a holomorphic function f(τ ) on h fulfilling (1) for m = 0.

As a first example we define the basic theta function given by its Fourier expansion θ(ν, τ ) =

X

n=−∞

exp πin

2

τ + 2πinν

= X

n

q

n2/2

z

n

. (4)

(a) Analyze its periodicity for ν 7→ ν + 1, ν 7→ ν + τ. (2 point s ) (b) Prove the Poisson resummation formula for f and its Fourier transform ˆ f ,

X

n=−∞

f(x + nT ) = 1 T

X

k=−∞

f ˆ (k/T )e

2πik/T x

. (5)

(2 point s )

1

(2)

(c) Apply Poisson resummation to analyze the modularity properties of (4),

θ(ν, τ + 1) = θ(ν + 1/2, τ ), θ(ν/τ, −1/τ ) = (−iτ )

1/2

e

πiν2

θ(ν, τ ). (6) (2 point s ) (d) Rewrite θ(ν, τ ) as an infinite product using Jacobi‘s triple product identity,

Y

n=1

(1 − q

n

)(1 + q

n−1/2

)(1 + q

n−1/2

/t) = X

n∈Z

q

n2/2

t

n

. (7) What is the bahaviour for q → 0, q → 1 and z → −q

1/2

? Hint: Use τ 7→ −1/τ to

analyze the limit q → 1! (2 point s )

The theta function with characteristics is defined by θ

a b

(ν, τ ) = exp[πia

2

τ + 2πia(ν + b)]θ(ν + aτ + b, τ ), (8) that are also denoted by

θ 0

0

(ν, τ ) = θ

00

(ν, τ ) = θ

3

(ν|τ ), θ 0

1/2

(ν, τ ) = θ

01

(ν, τ ) = θ

4

(ν|τ ), (9) θ

1/2 0

(ν, τ ) = θ

10

(ν, τ ) = θ

2

(ν|τ ), θ 1/2

1/2

(ν, τ ) = θ

11

(ν, τ ) = θ

1

(ν|τ ).

(e) Determine the sum as well as product representation of (9). (2 point s ) (f) What are the periodicity properties for ν 7→ ν + 1 and ν 7→ ν + τ ? (2 point s ) (g) Analyze the modularity behaviour (ν, τ ) 7→ (ν, τ + 1), (ν, τ ) 7→ (ν, −1/τ ). (2 point s ) (h) Evaluate the theta function at ν = 0 and define

θ

i

(τ ) ≡ θ

i

(0|τ ). (10)

Deduce the behaviour under modular transformations. (2 point s ) Dedekind‘s eta-function is defined as

η(τ ) = q

1/24

Y

n=1

(1 − q

n

). (11)

(i) Show the relation

η

3

(τ ) = 1

2 θ

2

(τ )θ

3

(τ)θ

4

(τ ) (12) and infer η(−1/τ ) = √

−iτ η(τ ) as well as η(τ + 1) = exp(iτ /12)η(τ ). (2 point s ) (j) Finally, compare all encountered examples to (3) to read of k and m. (2 point s )

2

Referenzen

ÄHNLICHE DOKUMENTE

The reflexivity of that phenomenon is a singular feature of practical actions, of practical circumstances, of common sense knowledge of social structures, and of

In the SU(2, 2) case the role of E 4 above is played by a Borcherds product; the elliptic point

The muscles responsible for said changes where mainly the upper and lower leg muscles in the propulsion (higher contribution in the shod condition), the trunk muscles in the arm

The second, on the other hand, deals with the Chinese High Temperature Gas Reactor HTR-600, being the target version of the currently built HTR-PM reactor, whose project cost

We give several algorithms for finitely generated subgroups of the mod- ular group PSL 2 ( Z ), given by sets of generators.. First, we present an al- gorithm to check whether

Thus, there is a maximal number of bosons that can be accommodated in the single particle states with non-zero momentum. This is the

3 Theta series of degree one 42 4 Theta series and Klingen-Eisenstein series of degree two 58 4.1 Siegel modular forms and the space of Eisenstein

It is expected, and has been proved by Kapranov [12] in certain cases, that the Satake compactification of a Drinfeld modular variety of rank r possesses a natural stratification