[Paper Review] Liouville bootstrap via harmonic analysis on a noncompact quantum group

Bénédicte Ponsot, J. Teschner|ArXiv.org|Nov 15, 1999

Advanced Operator Algebra ResearchMathematics21 references158 citations

TL;DR

This paper verifies the bootstrap consistency of Liouville quantum field theory for irrational central charge $c > 25$ by identifying fusion and braiding coefficients as Racah coefficients (6j-symbols) of a noncompact quantum group $\mathcal{U}_q(\mathfrak{sl}(2,\mathbb{R}))$ with $q = \exp(\pi i b^2)$, and extends the solution to the strong coupling regime $1 < c < 25$ via analytic continuation, leveraging self-duality under $b \to b^{-1}$.

ABSTRACT

The purpose of this short note is to announce results that amount to a verification of the bootstrap for Liouville theory in the generic case under certain assumptions concerning existence and properties of fusion transformations. Under these assumptions one may characterize the fusion and braiding coefficients as solutions of a system of functional equations that follows from the combination of consistency requirements and known results. This system of equations has a unique solution for irrational central charge c&gt;25. The solution is constructed by solving the Clebsch-Gordan problem for a certain continuous series of quantum group representations and constructing the associated Racah-coefficients. This gives an explicit expression for the fusion coefficients. Moreover, the expressions can be continued into the strong coupling region 1

Motivation & Objective

• To verify the consistency of the Liouville theory bootstrap program under assumptions on fusion transformations.
• To characterize the fusion and braiding coefficients as solutions to a system of functional equations derived from Moore-Seiberg consistency conditions.
• To construct these coefficients explicitly via the Clebsch-Gordan problem for a continuous series of representations of $\mathcal{U}_q(\mathfrak{sl}(2,\mathbb{R}))$.
• To extend the solution into the strong coupling region $1 < c < 25$ using the self-duality of the quantum group under $b \to b^{-1}$.
• To establish a bridge between Liouville theory and noncompact quantum groups, enabling applications to boundary Liouville theory and related WZNW models.

Proposed method

• Derive a system of functional equations for fusion coefficients from consistency conditions (crossing symmetry, locality) and known results on degenerate fusion.
• Propose that the fusion coefficients arise as Racah coefficients (6j-symbols) from the Clebsch-Gordan decomposition of a continuous series of $\mathcal{U}_q(\mathfrak{sl}(2,\mathbb{R}))$ representations.
• Construct the Clebsch-Gordan coefficients explicitly using harmonic analysis on the noncompact quantum group $\mathcal{U}_q(\mathfrak{sl}(2,\mathbb{R}))$ with $q = \exp(\pi i b^2)$.
• Use the orthogonality of the Racah coefficients to prove crossing symmetry of four-point functions.
• Leverage the self-duality of the quantum group under $q \to \tilde{q} = \exp(\pi i b^{-2})$ to analytically continue the solution from $c > 25$ to $1 < c < 25$, preserving consistency.
• Utilize special functions such as the quantum dilogarithm $S_b(x)$, the double gamma function $\Gamma_b(x)$, and the $b$-hypergeometric function $F_b$ to express the coefficients and verify functional identities.

Experimental results

Research questions

• RQ1 Can the fusion coefficients in Liouville theory be uniquely determined from consistency conditions and known fusion rules for degenerate fields?
• RQ2 Is there a quantum group structure underlying the fusion and braiding in Liouville theory for $c > 25$?
• RQ3 How can the solution for fusion coefficients in the weak coupling regime ($c > 25$) be analytically continued into the strong coupling regime ($1 < c < 25$)?
• RQ4 What role does the self-duality $b \to b^{-1}$ play in ensuring consistency of the bootstrap across different coupling regimes?
• RQ5 Can the harmonic analysis on a noncompact quantum group provide a rigorous construction of the three-point functions and four-point functions in Liouville theory?

Key findings

• The system of functional equations for fusion coefficients derived from Moore-Seiberg consistency conditions has a unique solution for irrational central charge $c > 25$.
• The fusion coefficients are explicitly constructed as Racah coefficients from the Clebsch-Gordan decomposition of a continuous series of $\mathcal{U}_q(\mathfrak{sl}(2,\mathbb{R}))$ representations with $q = \exp(\pi i b^2)$.
• The orthogonality of the Racah coefficients ensures crossing symmetry of general four-point functions, verifying a key consistency condition of the bootstrap.
• The solution can be analytically continued to the region $1 < c < 25$ via the self-duality $b \to b^{-1}$, which maps $q \to \tilde{q} = \exp(\pi i b^{-2})$, preserving all functional relations.
• The construction provides a rigorous realization of the three-point function proposed in [3,4] and confirms its consistency with the spectrum conjectured in [1] across the full range $c > 1$, $c \neq 25$.
• The method establishes a direct link between Liouville theory and noncompact quantum groups, opening pathways to solving boundary Liouville theory and related models such as $H_3^+$ and $SL(2)/U(1)$ WZNW models.