Smoothness of correlation functions in Liouville conformal field theory (Q2424022)

Liouville conformal field theory (LCFT) was introduced by Polyakov in 1981 and has attracted extensive interest in physics and mathematics communities. It is an important example of two-dimensional conformal field theory which provides invaluable insight on the role of conformal metrics in two dimensions. While the original work utilizes the path integral formulation, it is also possible to study LCFT with the conformal bootstrap method. However, for LCFT, the equivalence of the path integral and conformal bootstrap approaches is far from obvious, and how to unify them remains an open problem. Along this direction, the present paper provides a rigorous proof of the smoothness of the correlation functions in LCFT. This result serves as the first step towards proving that the correlation functions of LCFT satisfy the higher Ward identities and the higher Belavin-Polyakov-Zamolodchikov equations, which is a prediction of the conformal bootstrap approach.