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.
– 80 –<br />
coordinate chart<br />
¡ ¢¡¢¡¢<br />
¡ ¢¡¢¡¢<br />
Fig. 6. Covering the Riemann surface with coordinate patches. Every patch<br />
is homeomorphic to an open domain of the Euclidean plane.<br />
Sec<strong>on</strong>d, in order to prove that isothermal coordinates exist, c<strong>on</strong>sider the so-called<br />
Beltrami equati<strong>on</strong><br />
∂w<br />
= µ(z, ¯z)∂w<br />
∂¯z ∂z .<br />
Suppose we solve this equati<strong>on</strong>, then<br />
Thus,<br />
|dw| 2 = |∂ z w + ∂¯z w| 2 = |∂ z w| 2 |dz + µd¯z| 2 = |∂ zw| 2<br />
2e φ ds2 .<br />
ds 2 =<br />
2eφ<br />
|∂ z w| 2 |dw|2 ≡ λ|dw| 2 ,<br />
i.e. w defines a system of isothermal coordinates. It is a mathematical theorem that<br />
for a sufficiently small coordinate patch and a differentiable metric a soluti<strong>on</strong> of the<br />
Beltrami equati<strong>on</strong> with ∂ z w ≠ 0 always exists.<br />
If two metrics are related by a diffeomorphism and a Weyl rescaling they are said<br />
to define the same c<strong>on</strong>formal structure. If a manifold M is covered by a system of<br />
c<strong>on</strong>formal (isothermal) coordinate patches U α , then <strong>on</strong> the overlaps the metrics are<br />
c<strong>on</strong>formally related, i.e. the transiti<strong>on</strong> functi<strong>on</strong>s <strong>on</strong> the overlaps U α ∩U β are analytic<br />
and the complex coordinates are globally defined. A system of analytic coordinate<br />
patches is called a complex structure and it is the same as a c<strong>on</strong>formal structure.<br />
A two-dimensi<strong>on</strong>al topological manifold endowed with a complex structure is<br />
called a Riemann surface. Thus, a Riemann surface is a complex manifold.<br />
Another way to understand that Riemann surface is a complex manifold is to<br />
note that in two dimensi<strong>on</strong>s the metric provides a globally-defined integrable complex<br />
structure<br />
I α β = √ hh αγ ɛ γβ<br />
such that I 2 = −1. The c<strong>on</strong>formal structure is c<strong>on</strong>formally-invariant and globally<br />
well-defined. The existence of an integrable complex structure is necessary and sufficient<br />
for an even-dimensi<strong>on</strong>al manifold to be complex.