The problem of the structure constants of the operator product expansions in the minimal models of conformal field theory is revisited. We rederive these previously known constants and present them in the form particularly useful in the Liouville gravity applications. Analytic relation between our expression and the structure constant in Liouville field theory is discussed. Finally we present in general form the three-and two-point correlation numbers on the sphere in the minimal Liouville gravity.
Liouville gravityBy gravity usually we imply a dynamic theory of the metric structure on certain manifold. In the two dimensional case the latter is supposed to be a two-dimensional surface Σ (compact or non-compact) of certain topology and equipped with a Riemann metric g ab (x). To avoid problems with moduli in this paper I always imply that Σ is a sphere. Also I consider the euclidean version of the gravity, i.e., g ab is always non-degenerate and has positive signature. In the path integral approach the problem is reduced to the evaluation of a functional integral over all Riemann metric D[g] modulo the diffeomorphism equivalent g ab (x). E.g., the gravitational partition function of a sphere is formally written as(1.1)1 On leave of absence from Institute of Theoretical and Experimental Physics, B.Cheremushkinskaya 25, 117259 Moscow, Russia.2 Laboratoire Associé au CNRS URA-768Here A eff [g] is supposed to be an effective action induced by some generally covariant "matter" field theory living on the surface. General covariance ensures that A eff [g] is invariant under diffeomorphisms.In general case of massive matter A eff [g] is a non-local and quite complicated functional of the metric. The problem (1.1) appears very complicated. There is a drastic simplification however, if all the matter inducing A eff [g] is "critical", i.e., described by a conformal field theory (CFT). In this case the form of A eff [g] is very universal and simple, being called the Liouville action. This fact was first discovered by A.Polyakov in 1981 [1] by direct computations with free fields. In general CFT this statement simply follows from the form of conformal anomaly. Moreover, conceptually this form of effective action can be taken (with few additional assumptions) as the very definition of CFT.Due to the diffeomorphism invariance of A eff [g] there is a gauge fixing problem in (1.1). One of the most convenient gauge choices is the conformal gauge where the coordinates on Σ are (locally) chosen in the way that (this is always possible in two dimensions) g ab (x) = e 2bφ(x) δ ab (1.2)The scale factor here is described by a quantum field φ(x) called the Liouville field (see below for the definition of the parameter b). One can also fix the gauge in a covariant way choosing an arbitrary metric g (0) ab (x) as the reference one and requiring g ab (x) = e 2bφ(x) g (0) ab (x) (1.3)In the latter approach the Liouville field φ is a usual scalar under coordinate transformations. Gauge (1.2) then implies a particular choice of coord...