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.

– 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.

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

Saved successfully!

Ooh no, something went wrong!