The Nambu-Goto string as higher-derivative Liouville theory

Abstract

I propose a generalization of the Liouville action which corresponds to the Nambu-Goto string like the usual Liouville action corresponds to the Polyakov string. The two differ by higher-derivative terms which are negligible classically but revive quantumly. Based on the equivalence with the four-derivative action I argue that the Nambu-Goto string in four dimensions is described by the (4,3) minimal model analogously to the critical Ising model on a dynamical lattice. While critical indices are the same as in the usual Liouville theory, the domain of applicability becomes broader.

I Introduction

Strings are with us! A string is generically a one-dimensional object whose propagation in time forms a two-dimensional surface embedded in $d$-dimensional space-time (we live in $d=4$). The origin of modern string theory goes back to early 1970’s when it was recognized that the dual resonance models of strong interaction are described by strings. Thus relativistic quantum strings do exist at the distances of the order of one fermi. There are vast applications of strings and two-dimensional surfaces in physics: biological membranes, cosmic strings, Abrikosov and Nielsen-Olesen vortices etc..

The beauty of bosonic string theory is a simplicity of its action – the area spanned by a string propagation – as proposed by Y. Nambu with T. Goto and also by H.B. Nielsen at the border of 1960’s and 1970’s. It looks very simple but this is an illusion. Area is a highly nonlinear functional of $d$ target-space coordinates $X^{\mu}$ which is invariant under diffeomorphism transformations of two coordinates parametrizing the string world-sheet. To quantize such a system the symmetry has to be constrained by fixing a gauge, like it happens in quantum electrodynamics. The string quantization of 1970’s has resulted in a very beautiful theory enjoying conformal symmetry which becomes infinite-dimensional in two dimensions and whose generators obey the Virasoro algebra. However, the canonical quantization was consistent only in $d=26$.

In early 1980’s A.M. Polyakov recognized that the reason for this was an additional degree of freedom – one of the components of the metric tensor at the world-sheet – which does not decouple if $d\neq 26$. Its dynamics is governed for the Polyakov string [1] by the Liouville action (the field is accordingly called the Liouville field). Quantization of the Polyakov string is more easy than of the Nambu-Goto string because the action is quadratic in $X^{\mu}$ and enjoys Weyl’s invariance which makes conformal symmetry manifest. The equivalence of the Nambu-Goto and Polyakov string formulations was shown in classical theory and at the one-loop order [2] of the perturbative expansion in the inverse string tension $2\pi\alpha^{\prime}$. An exact solution of the quantum Liouville theory was found by KPZ-DDK [4, 5, 6] using the methods of conformal field theory (CFT). It allows to compute the so-called string susceptibility index $\gamma_{0}$ which determines the large-area behavior of the number of surfaces of genus $h=0$. The result for closed Polyakov’s string reads

$$\gamma_{0}=1-\frac{(d_{+}+d_{-})/2-d+\sqrt{(d_{+}-d)(d_{-}-d)}}{12}$$ (1)

with $d_{+}=25$, $d_{-}=1$. It is real for $d\leq 1$ that describes a vast amount of models in Statistical Mechanics, in particular, $d=1/2$ describes the susceptibility index of the critical Ising model on a random lattice [7], but is not applicable for $d>1$ where (1) becomes imaginary. A pessimistic point of view (shared by some of my colleagues in 1990’s) is that $d=1$ is a barrier for the existence of bosonic string which does not exist nonperturbatively if $1<d<25$ including $d=4$ or $d=3$. A more optimistic view supported by the recent studies [8, 9, 10] of the spectrum of “effective strings” is that the problem may exist only for the Polyakov string rather than for the Nambu-Goto string. Anyway the challenging problem of existence of nonperturbative strings is inherited from the previous Millennium along with turbulence and confinement.

I argue in this Letter that Eq. (1) may still hold for the Nambu-Goto string in $d=4$ with the KPZ barriers shifted to $d_{\pm}=15\pm 4\sqrt{6}$. Then $\gamma_{0}=-1/3$ like for the critical Ising model on a dynamical lattice [7] which for the Polyakov string was described by $d=1/2$. It works now in $d=4$ because $d_{-}\approx 5.2>4$, linking conformal symmetry of the Nambu-Goto string to the (4,3) unitary minimal model. The arguments are based on the equivalence of the effective action with the four-derivative Liouville action exactly solved [11] previously. Both theories are conformal invariant in spite of the presence of mass parameters. I now proceed with the description of this equivalence.

II Generalized conformal anomaly

The standard representation of the Nambu-Goto string via auxiliary fields which I learned from [12] is

$$S_{\rm NG} = \int\sqrt{\det{(\partial_{a}X\cdot\partial_{b}X)}}$$ (2)

$$= \int\Big{[}\sqrt{g}+\frac{1}{2}\lambda^{ab}(\partial_{a}X\cdot\partial_{b}X-g_{ab})\Big{]},$$

where the (imaginary) Lagrange multiplier $\lambda^{ab}$ is a tensor density and $g_{ab}$ is an independent metric tensor. I use the units where the bare string tension is set to 1.

The action (2) becomes quadratic in $X^{\mu}$ that makes it easy to path-integrate $X^{\mu}$ out. For a closed string this results in an effective action

$${S}[g_{ab},\lambda^{ab}]=\int\sqrt{g}-\frac{1}{2}\int\lambda^{ab}g_{ab}+{S}_{X}[g_{ab},\lambda^{ab}],$$ (3)

where

$${{\cal S}_{X}[g_{ab},\lambda^{ab}]} = \frac{d}{96\pi}\int\Big{[}-\frac{12\sqrt{g}}{\tau\sqrt{\det{\lambda^{ab}}}}+\sqrt{g}\,R\frac{1}{\Delta}R$$ (4)

$$-\Big{(}\beta\lambda^{ab}g_{ab}R+2\lambda^{ab}\nabla_{a}\partial_{b}\frac{1}{\Delta}R\Big{)}\Big{]}$$

and terms of higher-order in Schwinger’s proper-time ultraviolet cutoff $\tau$ are dropped like they are dropped in the derivation of the Liouville action from the Polyakov string. Equation (4) has been derived [13] from the DeWitt-Seeley expansion of the operator $(\sqrt{g})^{-1}\partial_{a}\lambda^{ab}\partial_{b}$ which becomes the Laplacian for $\lambda^{ab}=\bar{\lambda}\sqrt{g}g^{ab}$ with constant $\bar{\lambda}$, reproducing the results for the Polyakov string. Thus Eq. (4) generalizes the usual conformal anomaly. One has $\beta=1$ for the Nambu-Goto string but I keep $\beta$ arbitrary for generality.

The action (4) is nonlocal just as in the case of the Polyakov string. It becomes local in the conformal gauge

$$g_{ab}={\hat{g}}_{ab}\,\mbox{e}^{\varphi},$$ (5)

where $\hat{g}_{ab}$ is the background (or fiducial) metric tensor and the Liouville field $\varphi$ is a dynamical variable. Fixing the gauge produces the usual ghosts and their usual contribution to the effective action after path-integrating over the ghosts. A subtlety which will be crucial in what follows is that the curvature acquires the shift

$$\sqrt{g}R=\sqrt{\hat{g}}\left(\hat{R}-\hat{\Delta}\varphi\right),$$ (6)

where $\hat{\Delta}$ is the Laplacian for the metric tensor ${\hat{g}}_{ab}$. It vanishes only if the background curvature $\hat{R}$ vanishes. This produces an additional nonminimal interaction of $\varphi$ with background gravity.

As always in Euclidean CFT we use conformal coordinates $z$ and ${\bar{z}}$ in a flat background when $g_{zz}=g_{{\bar{z}}{\bar{z}}}=0$, $g_{z{\bar{z}}}=g_{{\bar{z}}z}=1/2$. Then the action (4) takes the form

$${\cal S}[\varphi,\lambda^{ab}] = \int\,\mbox{e}^{\varphi}(1-\lambda^{z{\bar{z}}})+\frac{1}{24\pi}\int\Big{[}-\frac{3d\,\mbox{e}^{\varphi}}{\tau\sqrt{\det{\lambda^{ab}}}}$$ (7)

$$+(d-26)\varphi\partial\bar{\partial}\varphi+d\kappa\big{(}2(1+\beta)\lambda^{z{\bar{z}}}\partial\bar{\partial}\varphi~{}~{}~{}$$

$$+\lambda^{zz}\nabla\partial\varphi+\lambda^{{\bar{z}}{\bar{z}}}\bar{\nabla}\bar{\partial}\varphi\big{)}\Big{]},$$

where $\kappa=1$ as follows from (4), but it may be renormalized. In the action (7) $\nabla=\partial-\partial\varphi$ is the covariant derivative in the conformal gauge and it describes a theory with interaction. The representation of the $R^{2}$ case by an auxiliary field [14] is reproduced as $\beta\to\infty$.

It is tempting to path integrate over $\lambda^{ab}$ expanding about the value $\bar{\lambda}^{ab}=\bar{\lambda}\delta^{ab}$ minimizing the action (7) with $\bar{\lambda}<\bar{\lambda}_{\rm cl}=1$. However, nothing is expected to depend on $\bar{\lambda}$ because of the background independence. I often keep the same notation $\lambda^{ab}$ for the fluctuations $\delta\lambda^{ab}$ about $\bar{\lambda}^{ab}$ when no confusion. The path integral over $\lambda^{{\bar{z}}{\bar{z}}}$ has then a saddle point justified by the smallness of $\tau$ at

$$\lambda^{{\bar{z}}{\bar{z}}}=\frac{2\kappa\bar{\lambda}^{3}}{3}\tau\,\mbox{e}^{-\varphi}\nabla\partial\varphi+{\cal O}(\tau^{2})$$ (8)

and analogously for $\lambda^{zz}$. It is slightly different with $\lambda^{z{\bar{z}}}$ which naively is not $\sim\tau$ from (7). However, we should not forget the linear in $\delta\lambda^{z{\bar{z}}}$ term entering also the classical part of the action (7), which causes the renormalization of the bare string tension in the scaling regime [15]. We thus have

$$\delta\lambda^{z{\bar{z}}}=(1+\beta)\kappa\bar{\lambda}^{3}\tau\Big{(}\frac{1}{3}\,\mbox{e}^{-\varphi}\partial\bar{\partial}\varphi-\frac{1}{d\alpha^{\prime}_{R}}\Big{)}+{\cal O}(\tau^{2})$$ (9)

which is again $\sim\tau$ for finite $\alpha^{\prime}_{R}$. In fact the term with $\alpha^{\prime}_{R}$ will never be essential in what follows because we are interested in anomalous contributions which come from large virtual momenta $k^{2}\sim 1/\tau$.

Thus in the saddle-point approximation we arrive at the four-derivative action

$$\!\!{\cal S}[\varphi]=\frac{1}{16\pi b_{0}^{2}}\int\sqrt{{\hat{g}}}\Big{[}{\hat{g}}^{ab}\partial_{a}\varphi\partial_{b}\varphi$$ (10)

$$\!\!\!+\varepsilon\,\mbox{e}^{-\varphi}\hat{\Delta}\varphi\left(\hat{\Delta}\varphi-G{\hat{g}}^{ab}\,\partial_{a}\varphi\partial_{b}\varphi\right)\Big{]},~{}b^{2}_{0}=\frac{6}{26-d}~{}~{}~{}~{}~{}$$

where

$$G=-\frac{1}{1+(1+\beta)^{2}/2},\quad\varepsilon=-\frac{2d\kappa^{2}\bar{\lambda}^{3}}{3G(26-d)}\tau.$$ (11)

It is precisely the action exactly solved in [11].

It is clear from Eqs. (8) and (9) that the presence of the dimensionful parameter $\tau$ was crucial in the passage from (7) to (10) where it becomes $\varepsilon$. I refer to each of these actions as “massive” CFT because its energy-momentum tensor (EMT) will be concerved and traceless in spite of the presence of the mass parameters.

Equations (8) and (9) for the saddle-point values of $\lambda^{ab}$ is not the end of the story because of the next orders in $\tau$ coming from the expansion of $1/\sqrt{\det{\lambda^{ab}}}$. But these terms are at least quartic in $\varphi$ and thus are expected not to change the one-loop results while they may contribute to the next orders. I shall now apply a more sophisticated technique of CFT to go toward proving the equivalence of the actions (4) and (10).

III Improved energy-momentum tensor

The central role in CFT is played by the traceless EMT. It is derived by applying the variational derivative $\delta/\delta{\hat{g}}_{ab}$ to the action in curved background which produces terms additional to the part associated to minimal interaction with gravity. It was called [16] “improved” to be distinguished from the minimal one and used by KPZ-DDK in solving the Liouville theory. A specifics of the “improvement” in two dimensions is outlined in [17].

A very nice feature of the improved EMT (IEMT) is that it is always traceless thanks to the classical equation of motion for $\varphi$. This is a general property because in the conformal gauge (5) we have

$$T^{a}_{a}\equiv\hat{g}^{ab}\frac{\delta{\cal S}}{\delta\hat{g}^{ab}}=-\frac{\delta{\cal S}}{\delta\varphi},$$ (12)

where the left-hand side represents the trace of IEMT while the right-hand side represents the classical equation of motion for $\varphi$.

The components of the symmetric minimal EMT obeying $\bar{\partial}T_{zz}^{({\rm min})}+\partial T_{{\bar{z}}z}^{({\rm min})}=0$ read

$$T_{zz}^{({\rm min})}=\frac{(d-26)}{24}(\partial\varphi)^{2}+\frac{d\kappa}{24}\Big{[}2(1+\beta)\partial\lambda^{z{\bar{z}}}\partial\varphi$$ (13a)

$$+\bar{\partial}\lambda^{{\bar{z}}{\bar{z}}}\partial\varphi-\partial\lambda^{{\bar{z}}{\bar{z}}}\bar{\partial}\varphi-2\lambda^{{\bar{z}}{\bar{z}}}\partial\bar{\partial}\varphi+2\lambda^{{\bar{z}}{\bar{z}}}\partial\varphi\bar{\partial}\varphi\Big{]},~{}~{}~{}~{}~{}$$

$$T_{z{\bar{z}}}^{({\rm min})}=\,\mbox{e}^{\varphi}(1-\lambda^{z{\bar{z}}})-\frac{d\,\mbox{e}^{\varphi}}{2\tau\sqrt{\det{\lambda^{**}}}}+\frac{d\kappa}{24}\Big{[}\bar{\partial}\lambda^{{\bar{z}}{\bar{z}}}\bar{\partial}\varphi$$ (13b)

$$+\lambda^{{\bar{z}}{\bar{z}}}\bar{\partial}^{2}\varphi+\partial\lambda^{zz}\partial\varphi+\lambda^{zz}\partial^{2}\varphi\Big{]}.~{}~{}~{}~{}~{}$$

This EMT is conserved but not traceless.

IEMT is given by the sum $T_{ab}=T_{ab}^{({\rm min})}+T_{ab}^{({\rm add})}$ of the minimal EMT and the addition with the component

$$T_{zz}^{({\rm add})} = -\frac{(d-26)}{12}\partial^{2}\varphi-\frac{d\kappa}{24}\Big{[}2(1+\beta)\partial^{2}\lambda^{z{\bar{z}}}+\partial\bar{\partial}\lambda^{{\bar{z}}{\bar{z}}}$$ (14a)

$$+\partial\big{(}\lambda^{{\bar{z}}{\bar{z}}}\bar{\partial}\varphi\big{)}\Big{]}+T_{zz}^{({\rm NL})},$$

$$T_{zz}^{({\rm NL})} = -\frac{d\kappa}{24}\Big{[}\frac{1}{\bar{\partial}}\left(\partial^{3}\lambda^{zz}+\partial^{2}(\lambda^{zz}\partial\varphi)\right)\Big{]}.~{}~{}~{}~{}$$ (14b)

In covariant notations it reads

$$T_{zz} = \frac{1}{4b^{2}}\Big{[}(\partial\varphi)^{2}+2\nabla\partial\varphi-2(1+\beta)\nabla^{2}\lambda^{z{\bar{z}}}-\nabla\bar{\nabla}\lambda^{{\bar{z}}{\bar{z}}}$$ (15)

$$-\nabla\lambda^{{\bar{z}}{\bar{z}}}\bar{\partial}\varphi-2\lambda^{{\bar{z}}{\bar{z}}}\partial\bar{\partial}\varphi-4\nabla^{2}\frac{1}{\Delta}\nabla^{2}\lambda^{zz}\Big{]},$$

where we set $\kappa=6/db^{2}$ to simplify the formulas, and obeys $\bar{\partial}T_{zz}=0$, $T_{z{\bar{z}}}=0$ thanks to the classical equations of motion. IEMT is thus conserved and traceless as expected in spite of the massive parameter $\tau$! A price for that is the nonlocal term (14b). This is just as was discovered in [18] for the action (10).

The conservation and tracelessness of IEMT (15) at the classical level follows from

$$\frac{1}{\pi}\bar{\partial}T_{zz} = \partial\varphi\frac{\delta{\cal S}}{\delta\varphi}-\partial\frac{\delta{\cal S}}{\delta\varphi}-\lambda^{{\bar{z}}{\bar{z}}}\partial\frac{\delta{\cal S}}{\delta\lambda^{{\bar{z}}{\bar{z}}}}+\partial\lambda^{z{\bar{z}}}\frac{\delta{\cal S}}{\delta\lambda^{z{\bar{z}}}}$$ (16)

$$+\partial\big{(}\lambda^{zz}\frac{\delta{\cal S}}{\delta\lambda^{zz}}\big{)}+\partial\lambda^{zz}\frac{\delta{\cal S}}{\delta\lambda^{zz}}.$$

In quantum theory the variations of ${\cal S}$ are no longer zeros but are substituted by the variational derivatives with respect to the corresponding fields in the path integral. For the generator of the (infinitesimal) conformal transformation $\delta z=\xi(z)$ this yields

$$\hat{\delta}_{\xi}=\frac{1}{\pi}\int\xi\bar{\partial}T_{zz}=\int\Big{[}\big{(}\xi^{\prime}+\xi\partial\varphi\big{)}\frac{\delta}{\delta\varphi}+\xi\partial\lambda^{z{\bar{z}}}\frac{\delta}{\delta\lambda^{z{\bar{z}}}}$$

$$+\big{(}\xi^{\prime}\lambda^{{\bar{z}}{\bar{z}}}+\xi\partial\lambda^{{\bar{z}}{\bar{z}}}\big{)}\frac{\delta}{\delta\lambda^{{\bar{z}}{\bar{z}}}}+\big{(}-\xi^{\prime}\lambda^{zz}+\xi\partial\lambda^{zz}\big{)}\frac{\delta}{\delta\lambda^{zz}}\Big{]}.$$

Classically it produces the right transformation laws of $\varphi$ and $\lambda^{ab}$ whose components $\lambda^{{\bar{z}}{\bar{z}}}$, $\lambda^{z{\bar{z}}}$, $\lambda^{zz}$ have conformal weights $1$, $0$, $-1$, respectively.

IV “Massive” versus massless CFT

The one-loop computation of the central charge and conformal weights can be performed by the propagators

$$\left\langle\varphi(-p)\varphi(p)\right\rangle = \frac{8\pi b^{2}}{p^{2}+\varepsilon p^{4}},$$ (18a)

$$\left\langle\lambda^{z{\bar{z}}}(-p)\varphi(p)\right\rangle = \frac{(1+\beta)G}{2}\frac{8\pi b^{2}\varepsilon}{1+\varepsilon p^{2}},$$ (18b)

$$\left\langle\lambda^{zz}(-p)\varphi(p)\right\rangle = 4G\frac{8\pi b^{2}\varepsilon p_{\bar{z}}^{2}}{p^{2}+\varepsilon p^{4}},$$ (18c)

​​where $\varepsilon$ and $G$ are given by Eq. (11). We see that $\lambda^{ab}$ has mass squared $\varepsilon^{-1}$ and does not propagate to large distances what was the original Polyakov’s agrument [19] for the equivalence of the two string formulations. However, like shown in [18] for the action (10), a private life of $\lambda$’s which occurs at the distances of order of the cutoff $\varepsilon$ is seen nevertheless at macroscopic distances as a result of doing the uncertainty $\varepsilon\times\varepsilon^{-1}$ where $\varepsilon^{-1}$ cuts momentum-space integrals and $\varepsilon$ is the coupling of interaction between $\varphi$ and $\lambda^{ab}$. This is like an appearance of anomalies in quantum field theory (QFT).

It is clear that the terms involving $\lambda^{ab}$ in (15) (or (13a) plus (14a)) do not contribute to the central charge because of massiveness, except for the nonlocal term (14b) which does contribute in a full analogy with the four-derivative Liouville theory [18]. Its computation drastically simplifies when the generator of the conformal transformation is represented by Eq. (LABEL:hatdel) which accounts for tremendous cancellations in the quantum case, while there are subtleties associated with singular products emerging in the averages like in the definition of the central charge $c$,

$$\left\langle\hat{\delta}_{\xi}T_{zz}(0)\right\rangle=\frac{c}{12}\xi^{\prime\prime\prime}(0).$$ (19)

The normal ordering has to be implemented in $T_{zz}$.

With or without a little use of Mathematica we obtain

$$\hat{\delta}_{\xi}T^{(\rm NL)}_{zz}=-\frac{2}{b^{2}}\partial^{2}\frac{1}{\bar{\partial}}\int d^{2}z\,\xi^{\prime}(z)\left\langle\partial\lambda^{zz}(z)\varphi(0)\right\rangle\delta^{(2)}(z),$$ (20)

where the singular product does not vanish as naively expected, but equals [20]

$$\frac{1}{\bar{\partial}}\int{\rm d}^{2}z\,\xi^{\prime}(z)\left\langle\partial\lambda^{zz}(z)\varphi(0)\right\rangle\delta^{(2)}(z)=-{G}b^{2}\xi^{\prime}(0).$$ (21)

Equation (19) then contributes the additional $\delta c=6G$ to the central charge which is the same as for the four-derivative action (10), so we have shown how the terms of higher orders in $\tau$ maintain the equivalence of (7) and (10) at one loop as anticipated.

By making use of the method of singular products it is tempting to repeat the arguments of [11] that like for the action (10) the intelligent one loop will give an exact answer in our case as well. I call this way the procedure proposed by DDK [5, 6] for solving the usual Liouville theory where $T_{zz}^{({\rm add})}$ is simply multiplied by a parameter $Q$ describing a renormalization of the nonminimal interaction. The arguments rely on cancellations of skeleton diagrams which is represented by Eq. (LABEL:hatdel). We then would obtain $6QG$ for the additional contribution to the central charge to all loops. The vanishing of the total central charge would then require

$$d-26+\frac{6Q^{2}}{b^{2}}+1+6QG=0$$ (22)

recovering DDK for $G=0$.

The second equation that fixes the conformal weight of $\,\mbox{e}^{\varphi}$ to be 1 remains unchanged

$$1=Q-b^{2}$$ (23)

what is easily seen from the propagators (18) when $\varepsilon\to 0$. Like for the four-derivative action the nonlocal term in $T_{zz}$ does not contribute to the conformal weight. In fact there exists a whole family of primary operators with the weights 1 thanks to Eq. (23), including a renormalized version of $\,\mbox{e}^{\varphi}/\sqrt{\det\lambda^{**}}$. In this family only $\,\mbox{e}^{\varphi}$ is not renormalized by the interaction.

The difference between massless and “massive” CFT’s is explicitly seen in the pure $R^{2}$ case where in the massless case of $\varepsilon=\infty$ there are two massless fields contributing 2 to the central charge [14], while in our case of $\varepsilon\to 0$ only their combination $\varphi+\beta\lambda^{z{\bar{z}}}$ remains massless and contributes 1 to $c$. In “massive” CFT conformal symmetry holds for all distances, not only for the distances $\gg\sqrt{\varepsilon}$ where the standard CFT technique of BPZ [21] applies. In contrast to CFT without diffeomphism invariance, the value of $\varepsilon$ can now be compensated by a shift of $\varphi$. For this reason I believe that Eqs. (22), (23) remain valid not only for $\varepsilon\to 0$ but also for finite $\varepsilon$. The solution to Eqs. (22), (23) will be now described.

V Relation to minimal models

For the Nambu-Goto string we have $G=-1/3$ from (11). Kee** in mind applications of the four-derivative Lioville action (10) in other cases, let us consider arbitrary $G$. From Eqs. (22), (23) $b_{0}^{2}$ renormalizes to

$$b^{-2} = \frac{13-d-6G+\sqrt{(d_{+}-d)(d_{-}-d)}}{12},~{}~{}~{}$$ (24a)

$$d_{\pm} = 13-6G\pm 12\sqrt{1+G}$$ (24b)

and $\gamma_{0}=1-b^{-2}$ is as in Eq. (1) with the KPZ barriers shifted to $d_{\pm}$ given by (24b).

The values of $d_{\pm}$ depend on $G$ which has to lie in the interval $[-1,0]$ for the the action (10) to be stable. Then $b^{-2}$ is real for $d<d_{-}$ which increases from 1 at $G=0$ to 19 at $G=-1$. For $G=-1/3$ we have $d_{-}=15-4\sqrt{6}\approx 5.2>4$ as is already annonced in Introduction, so $\gamma_{0}$ is real in $d=4$. Remarkably, the value $G=-1/3$ is associated in $d=4$ with the $p=3$, $q=p+1=4$ unitary minimal model as it will be momentarily discussed.

To find the relation to minimal models we note that the operators

$$V_{\alpha}=\,\mbox{e}^{\alpha\varphi},\qquad\alpha=\frac{1-n}{2}+\frac{1-m}{2b^{2}}$$ (25)

are the BPZ null-vectors for integer $n$ and $m$ like in the usual Liouville theory [22]. Their conformal weights

$$\Delta_{\alpha}=\alpha+(\alpha-\alpha^{2})b^{2}$$ (26)

are derived like (23) and reproduce Kac’s spectrum of CFT with the central charge

$$c=1+6(b+b^{-1})^{2},$$ (27)

where $b$ is given by Eq. (24a). This $c$ is the central charge of the Virasoro algebra and not to be confused with the central charge $c^{(\varphi)}=26-d$ of $\varphi$ (or the sum of those of $\varphi$ and $\lambda$’s for the Nambu-Goto string).

The relation with the minimal models is established by choosing

$$c=25+6\frac{(p-q)^{2}}{pq}.$$ (28)

Then Eqs. (24a), (27) fix

$$G=\frac{(1-d-6\frac{(p-q)^{2}}{pq})q}{6(q+p)},~{}~{}1-6\frac{(p-q)^{2}}{pq}\leq d\leq 19-6\frac{p}{q}$$ (29)

with coprime $q>p$. In the usual Liouville theory where $G=0$ Eq. (29) would imply $d=26-c=1-6\frac{(p-q)^{2}}{pq}$ for the central charge of matter, but $d$ is a free parameter for $G\neq 0$. The inequalities in (29) guarantee $0\geq G\geq-1$ as is necessary for stability. Contrary to the Liouville theory now Kac’s $c\neq 26-d$.

Given (29) we finally find from Eq. (24a)

$$b^{-2}=\left\{\begin{array}[]{ll}\displaystyle{\frac{q}{p}}&\hbox{perturbative branch}\\[11.38109pt] \displaystyle{-1+\frac{(25-d)p}{6(q+p)}}&\hbox{the other branch}\end{array}\right.$$ (30)

that applies for $d>25-6{\frac{(p+q)^{2}}{p^{2}}}$. The perturbative branch is as in the usual Liouville theory, but the second branch is no longer $p\leftrightarrow q$ interchangeable with it.

There are no obstacles against $d=4$ for the unitary case [23] $q=p+1$! The barriers $d_{\pm}$ coincide (both equal 19) for $d=d_{\rm c}=13-\frac{6}{p}$ ($d_{\rm c}\geq 10$ for $p\geq 2$). For $d$ from the interval $1\leq d<d_{\rm c}$ we have $d\leq d_{-}$ and $\gamma_{0}$ is real.

VI Final remarks

While our critical indices are as for the perturbative branch in the usual Liouville theory, the domain of applicability is now broader complimenting applications of the Liouville action in Condensed Matter Theory [24, 25].

The indication that conformal symmetry of the Nambu-Goto string and the Ising model on a dynamical lattice are both described by the (4,3) minimal model sounds fascinating and deserving future studies. In particular, direct QFT calculations repeating Salieri’s check in [18] are expected to be done.

Equation (4) represents a “massive” generalization of the Liouville action associated with the conformal anomaly. I expect it may have wide applications and help to make an insight in quantum gravity as the usual Liouville action did [26, 27].

Acknowledgement:

During the work on this project I benefited useful comments from my colleagues. I would like to thank Jan Ambjørn, Andrei Barvinsky, Keshav Dasgupta, Vladimir Kazakov, Charlotte Kristjansen, Alexei Morozov, Gordon Semenoff, Arkady Tseytlin, Dmitry Vasiliev, Mikhail Vasiliev, Alexander Zamolodchikov, Konstantin Zarembo for these. This work was carried out within the research program of NRC “Kurchatov Institute”.