26.01.2014 Views

arXiv:hep-th/9304011 v1 Apr 5 1993

arXiv:hep-th/9304011 v1 Apr 5 1993

arXiv:hep-th/9304011 v1 Apr 5 1993

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

3. Brief Review of <strong>th</strong>e Liouville Theory<br />

In <strong>th</strong>is chapter, we touch briefly on some of <strong>th</strong>e highlights of Liouville <strong>th</strong>eory from<br />

<strong>th</strong>e viewpoint advocated in [7,17,8,36]. For o<strong>th</strong>er points of view on <strong>th</strong>e Liouville <strong>th</strong>eory,<br />

see [37,38], and <strong>th</strong>e sequence of works [39]. The classical Liouville <strong>th</strong>eory was extensively<br />

studied at <strong>th</strong>e end of <strong>th</strong>e nineteen<strong>th</strong> century in connection wi<strong>th</strong> <strong>th</strong>e uniformization problem<br />

for Riemann surfaces. We will sketch some of <strong>th</strong>is in sections 3.2, 3.10 .<br />

3.1. Classical Liouville Theory<br />

We choose some reference metric ĝ on a surface Σ. The Liouville <strong>th</strong>eory is <strong>th</strong>e <strong>th</strong>eory<br />

of metrics g on Σ, and <strong>th</strong>e Liouville field φ is defined by<br />

The action is<br />

∫<br />

S Liouville =<br />

g = e γφ ĝ . (3.1)<br />

d 2 z √ ( 1 ĝ<br />

8π ( ˆ∇φ) 2 + Q )<br />

8π φR(ĝ) + µ ∫<br />

8πγ 2<br />

d 2 z √ ĝ e γφ , (3.2)<br />

very similar to <strong>th</strong>e background–charge <strong>th</strong>eory (1.14) wi<strong>th</strong> a pure imaginary background<br />

charge Q = 2iα 0 . The interaction given by µ (<strong>th</strong>e “cosmological constant” term), while<br />

soft, will be seen to have profound effects on <strong>th</strong>e <strong>th</strong>eory. For <strong>th</strong>e particular choice<br />

Q = 2/γ , (3.3)<br />

<strong>th</strong>e action (3.2) defines a classical conformal field <strong>th</strong>eory, invariant under <strong>th</strong>e Weyl transformations<br />

ĝ → e 2ρ ĝ γφ → γφ − 2ρ . (3.4)<br />

Remark: The linear shift in φ under a conformal transformation shows <strong>th</strong>at φ can be<br />

interpreted as a Goldstone boson for broken Weyl invariance (broken by <strong>th</strong>e choice of ĝ).<br />

Exercise. Classical Liouville <strong>th</strong>eory<br />

a) Using <strong>th</strong>e transformation properties of <strong>th</strong>e Ricci scalar in two dimensions,<br />

R[e 2ρ ĝ] = e −2ρ( R[ĝ] − ˆ∇ 2 2ρ ) , (3.5)<br />

compute <strong>th</strong>e change in <strong>th</strong>e action (3.2) under (3.4), and show <strong>th</strong>at for Q = 2/γ <strong>th</strong>e<br />

change is independent of φ (so doesn’t affect <strong>th</strong>e classical equations of motion).<br />

b) Show <strong>th</strong>at <strong>th</strong>e classical equations of motion for (3.2) may be expressed as<br />

i.e. <strong>th</strong>ey describe a surface wi<strong>th</strong> constant negative curvature.<br />

R[g] = − 1 2 µ , (3.6)<br />

(We take µ positive.)<br />

Using again (3.5) (in <strong>th</strong>e form R[g] = e −γφ( R[ĝ] − ˆ∇ 2 γφ ) , wi<strong>th</strong> φ as in (3.1)), note <strong>th</strong>at<br />

(3.6) is explicitly invariant under (3.4).<br />

23

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

Saved successfully!

Ooh no, something went wrong!