27.07.2014 Views

Lectures on String Theory

Lectures on String Theory

Lectures on String Theory

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

– 87 –<br />

moduli space is equal to the number of lineally independent quadratic differentials<br />

<strong>on</strong> a given Riemann surface of genus g. The theory of quadratic differentials was<br />

developed by Kurt Strebel (I will add more <strong>on</strong> Strebel theory in due course).<br />

The kernel of the operator ∇ (1)<br />

z is spanned by vectors from V (1) :<br />

∇ (1)<br />

z V z = h z¯z ∂V ¯z = 0 =⇒ ∂V ¯z = 0 .<br />

The globally defined vector fields which span a kernel of ∇ (1)<br />

z are called c<strong>on</strong>formal<br />

Killing vectors. They generate c<strong>on</strong>formal Killing group (or the group of c<strong>on</strong>formal<br />

isometries, i.e. globally defined diffeomorphisms which can be completely absorbed<br />

by the Weyl rescalings).<br />

Riemann-Roch theorem<br />

An important questi<strong>on</strong> of how many moduli for a Riemann surface of genus g exists<br />

is answered by the Riemann-Roch theorem. Define the index of ∇ (n)<br />

z as the number of<br />

its zero modes minus the number of zero modes of its adjoint ∇ z (n+1). The Riemann-<br />

Roch theorem states that<br />

ind∇ (n)<br />

z<br />

= dim ker∇ (n)<br />

z − dim ker∇ z (n+1) = −(2n + 1)(g − 1) = 1 2 (2n + 1)χ g .<br />

For n = 1 we therefore have<br />

#complex moduli − #c<strong>on</strong>formal Killing vectors = 3g − 3<br />

One can find the number of c<strong>on</strong>formal Killing vectors for a compact Riemann<br />

surface in an independent way. These are globally defined analytic vector fields whose<br />

norm is finite<br />

∫<br />

√<br />

||V || 2 = hhz¯z V z V ¯z < ∞ .<br />

M g<br />

Here V z = V n z n . For the case of sphere with metric ds 2 =<br />

there exists three independent c<strong>on</strong>formal Killing vectors<br />

Indeed, for the norm we have<br />

||V || 2 = 2π<br />

∂ z , z∂ z , z 2 ∂ z .<br />

∫ ∞<br />

0<br />

⎧<br />

8π<br />

8<br />

⎨ k = 0<br />

3<br />

rdr<br />

(1 + r 2 ) 4 r2k 4π<br />

= k = 1<br />

⎩<br />

3<br />

8π<br />

k = 2<br />

3<br />

4dzd¯z<br />

(1+|z| 2 ) 2<br />

<strong>on</strong>e finds that<br />

where k = 0, 1, 2 for the three vector fields in questi<strong>on</strong>. We see that if k ≥ 3 the<br />

integral becomes divergent, therefore, for instance, the field z 3 ∂ z has an infinite norm,

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!