27.07.2014 Views

Lectures on String Theory

Lectures on String Theory

Lectures on String Theory

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

– 84 –<br />

i.e the c<strong>on</strong>formal factor φ and the acti<strong>on</strong> of Laplacian <strong>on</strong> it are<br />

Therefore,<br />

φ = ln 2 − 2 ln(1 + |z| 2 ) =⇒ − △φ =<br />

∫<br />

1<br />

4π C<br />

dxdy √ hR = 1<br />

4π<br />

∫ ∞<br />

0<br />

8<br />

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

8<br />

2πrdr<br />

(1 + r 2 ) = 2 , 2<br />

which is indeed the Euler characteristic for sphere, a compact orientable manifold<br />

with genus g = 0. It is also known that <strong>on</strong> a torus, a manifold of genus g = 1, there<br />

exists the globally defined flat metric. Therefore, the Euler characteristic of torus<br />

is χ = 0. In fact, the Euler characteristic χ(g) for a Riemann surface of arbitrary<br />

genus g can be found by using the recurrent formula<br />

χ(g 1 + g 2 ) = χ(g 1 ) + χ(g 2 ) − χ(0) = χ(g 1 ) + χ(g 2 ) − 2<br />

and the fact that χ(1) = 0. This again leads to the formula χ(g) = 2 − 2g.<br />

5.3 Moduli space<br />

The moduli space of all the metrics is the same as the moduli space of Riemann<br />

surfaces and it is defined as the space of all metrics devided by diffeomorphisms and<br />

Weyl rescalings<br />

M g =<br />

all metrics<br />

diffeomorphisms × Weyl rescalings .<br />

The moduli space is finite-dimensi<strong>on</strong>al and it is parametrized by a finite number of<br />

complex parameters τ i called moduli. The dimensi<strong>on</strong> of the moduli space is another<br />

topological invariant and it depends <strong>on</strong> the genus g <strong>on</strong>ly.<br />

Complex geometry<br />

Since we have a system of well-defined complex coordinates <strong>on</strong> a Riemann surface<br />

we can c<strong>on</strong>sider general tensors<br />

V z...z¯z...¯z z...z¯z...¯z(z, ¯z) ,<br />

in particular, V z ∂ z and V ¯z ∂¯z are vector fields and V z dz and V¯z d¯z are <strong>on</strong>e-forms. All<br />

these tensors are <strong>on</strong>e comp<strong>on</strong>ent objects. The metric h z¯z and h z¯z can be used to<br />

c<strong>on</strong>vert all ¯z indices into z-indices. Tensors with <strong>on</strong>e type of indices (for example,<br />

z indices) are called holomorphic. Holomorphic tensors which depend <strong>on</strong> z variable

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

Saved successfully!

Ooh no, something went wrong!