Lectures on String Theory
Lectures on String Theory
Lectures on String Theory
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
– 79 –<br />
5.2 Riemann surfaces<br />
On a two-dimensi<strong>on</strong>al real manifold M the metric can be locally (i.e. in a given<br />
coordinate chart) defined by the line element<br />
Introducing the complex coordinates<br />
ds 2 = h 11 dx 2 + 2h 12 dxdy + h 22 dy 2<br />
z = x + iy ,<br />
¯z = x − iy<br />
the line element can be written as<br />
ds 2 = 2e φ |dz + µd¯z| 2<br />
with the following identificati<strong>on</strong>s<br />
(<br />
√<br />
)<br />
e φ = 1 h<br />
8 11 + h 22 + 2 h 11 h 22 − h 2 h 11 − h 22 + 2ih 12<br />
12 , µ =<br />
h 11 + h 22 + 2 √ .<br />
h 11 h 22 − h 2 12<br />
If h 11 = h 12 and h 12 = 0 then µ = 0 and the metric takes in this coordinate chart<br />
the form<br />
ds 2 = 2e φ |dz| 2 = 2e φ (dx 2 + dy 2 ) .<br />
The corresp<strong>on</strong>ding coordinate system is called isothermal or c<strong>on</strong>formal and the coordinates<br />
(x, y) define a c<strong>on</strong>formal map of a coordinate chart of a manifold to the<br />
Euclidean plane.<br />
A theorem of Gauss<br />
For any real two-dimensi<strong>on</strong>al orientable surface with a positive definite metric there<br />
always exists a system of isothermal coordinates (the theorem of Gauss). It is unique<br />
up to c<strong>on</strong>formal transformati<strong>on</strong>s. First, assume that we have already found a system<br />
of isothermal coordinates, i.e. the metric is locally in the form<br />
ds 2 = 2e φ |dz| 2 .<br />
Performing the coordinate transformati<strong>on</strong> with an analytic functi<strong>on</strong> of z:<br />
we get<br />
z → f(z)<br />
ds 2 → ds 2 = 2e φ |f(z)| 2 |dz| 2 ,<br />
i.e. we get a c<strong>on</strong>formally equivalent metric and, therefore, a new system of the<br />
isothermal coordinates.