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 16:02] 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 99: | Line 99: | ||
| 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. | 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. | ||
| - | ==Some Remaining questions== | + | ===Some Remaining questions=== |
| - | * This theory | + | * 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:// | * Dorn and Otto result for the structure constants: https:// | ||
| * Zamolodchikov and Zamolodchikov structure constants: https:// | * Zamolodchikov and Zamolodchikov structure constants: https:// | ||