Lectures on String Theory
Lectures on String Theory
Lectures on String Theory
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