This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
liouville_theory [2021/04/10 15:47] Brian McPeak [Bootstrap Picture] |
liouville_theory [2021/06/29 22:36] (current) Brian McPeak [Bootstrap Picture] |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | ======Liouville | + | ======Liouville |
{{tag> | {{tag> | ||
- | Liouville | + | Liouville |
- | =====Bootstrap Picture===== | + | ====Bootstrap Picture==== |
Let us start by // | Let us start by // | ||
Line 29: | Line 29: | ||
where $\tau_2 = \text{Im}(\tau)$, | where $\tau_2 = \text{Im}(\tau)$, | ||
- | ==Modular Invariance and the Spectrum== | + | ===Modular Invariance and the Spectrum=== |
Now we will see how the spectrum is fixed by modular invariance. Modular invariance takes the form of the requirement that | Now we will see how the spectrum is fixed by modular invariance. Modular invariance takes the form of the requirement that | ||
Line 63: | Line 63: | ||
With this normalization, | With this normalization, | ||
- | == Crossing Invariance and the OPE Coefficients == | + | === Crossing Invariance and the OPE Coefficients |
Having fixed the kinematics using modular invariance, we would like to fix the dynamics using crossing symmetry. First, we choose to normalize the two point functions by | Having fixed the kinematics using modular invariance, we would like to fix the dynamics using crossing symmetry. First, we choose to normalize the two point functions by | ||
Line 94: | Line 94: | ||
\begin{align} | \begin{align} | ||
- | \exp\left{ \right} | + | |
\end{align} | \end{align} | ||
- | ==Some Remaining questions== | + | With this, the theory is fully specified. We see that there is a two-parameter family of solutions, depending on $b$ (which defines $Q$ through $Q = b + b^{-1}$, and $\mu$, which shows up as an overall factor. These may be mapped to the same parameters which appear in the Lagrangian description given above. |
- | * This theory | + | |
+ | ===Some Remaining questions=== | ||
+ | * How is the partition function normalized in a theory | ||
=====Lagrangian Picture===== | =====Lagrangian Picture===== | ||
+ | |||
+ | Alternatively, | ||
+ | |||
+ | \begin{align} | ||
+ | S = \frac{1}{4 \pi} \int d^2 x (\partial_a \phi \partial^a \phi + 4 \pi \mu e^{2 b \phi} ) | ||
+ | \end{align} | ||
+ | |||
+ | $\phi$ is called the Liouville field. The equations of motion which result from this theory are | ||
+ | |||
+ | \begin{align} | ||
+ | \Box \phi = - 4 \pi \mu b e^{2 b \phi} | ||
+ | \end{align} | ||
+ | |||
+ | This is equivalent to Liouville' | ||
+ | |||
+ | It is instructive to consider the wavefunction of states which ``scatter" | ||
+ | |||
+ | \begin{align} | ||
+ | \Psi_P(\phi) \sim e^{2 i P \phi} + R(P) e^{-2 i P \phi} | ||
+ | \end{align} | ||
+ | |||
+ | Here $R(P)$ is the reflection amplitude for incoming plane-waves with momentum $P$, and may be computed from the equation of motion. The wave functions $\Psi$ describe the states which map to the Virarsoro primaries of Liouville theory under the state-operator correspondence. | ||
=====External Links===== | =====External Links===== | ||
* Xi Yin's [[https:// | * Xi Yin's [[https:// | ||
* Sylvain Ribault' | * Sylvain Ribault' | ||
+ | * Yu Nakayama' | ||
+ | * [[http:// | ||
+ | * Dorn and Otto result for the structure constants: https:// | ||
+ | * Zamolodchikov and Zamolodchikov structure constants: https:// | ||