arXiv:hep-th/9304011 v1 Apr 5 1993
arXiv:hep-th/9304011 v1 Apr 5 1993
arXiv:hep-th/9304011 v1 Apr 5 1993
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