Non-abelian Toda theory on AdS2 and AdS2/CFT212\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\mathrm{AdS}}_2/{\mathrm{CFT}}_2^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$2$}\right.} $$\end{document} duality

It was recently observed that boundary correlators of the elementary scalar field of the Liouville theory on AdS2 background are the same (up to a non-trivial proportionality coefficient) as the correlators of the chiral stress tensor of the Liouville CFT on the complex plane restricted to the real line. The same relation generalizes to the conformal abelian Toda theory: boundary correlators of Toda scalars on AdS2 are directly related to the correlation functions of the chiral W\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{W} $$\end{document}-symmetry generators in the Toda CFT and thus are essentially controlled by the underlying infinite-dimensional symmetry. These may be viewed as examples of AdS2/CFT1 duality where the CFT1 is the chiral half of a 2d CFT; we shall to this as AdS2/CFT212\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ {\mathrm{AdS}}_2/{\mathrm{CFT}}_2^{\raisebox{1ex}{$1$}\!\left/ \!\raisebox{-1ex}{$2$}\right.} $$\end{document}. In this paper we demonstrate that this duality applies also to the non-abelian Toda theory containing a Liouville scalar coupled to a 2d σ-model originating from the SL(2, ℝ)/U(1) gauged WZW model. Here the Liouville scalar is again dual to the chiral stress tensor T while the other two scalars are dual to the parafermionic operators V± of the non-abelian Toda CFT. We explicitly check the duality at the next-to-leading order in the large central charge expansion by matching the chiral CFT correlators of (T, V+, V−) (computed using a free field representation) with the boundary correlators of the three Toda scalars given by the tree-level and one-loop Witten diagrams in AdS2.


Introduction and summary
Quantum field theories in rigid AdS 2 background (studied from different perspectives, e.g., in [1][2][3][4][5][6]) were recently discussed in the context of AdS 5 /CFT 4 : a conformal "defect" model describing correlators of operators inserted on a straight or circular Wilson line [7][8][9][10] is represented at strong coupling by an effective 2d σ-model in AdS 2 background that follows from the AdS 5 × S 5 superstring action expanded near the corresponding minimal surface. To find strong coupling corrections to Wilson line correlators requires computing loop corrections in AdS 2 [8,10]; this is, in general, a challenging problem (cf. e.g. [11][12][13][14] and refs. there). As the theory in AdS 2 originating [8] from the AdS 5 × S 5 superstring action should be quantum scale-invariant (having no 2d UV divergences), one may hope to learn some important lessons by first investigating simpler examples of Lagrangian conformal 2d field theories (like Liouville or Toda) defined on rigid AdS 2 background. Having conformal (Weyl) invariance, one may expect the bulk correlators in curved conformally flat space JHEP09(2019)036 like AdS 2 to be directly related to the correlators in flat space. A novel feature in noncompact AdS space is that while the elementary fields (like scalars of Toda theory) are not good conformal fields in flat space, their boundary correlators in AdS 2 (which are the observables in AdS) are well defined and thus are of interest.
Somewhat surprisingly, they happen to be directly related [15][16][17] to the correlators of chiral (holomorphic) primary operators in the 2d CFT defined by the same action in flat space. For example, the boundary correlators of the Liouville scalar in AdS 2 have the same form as the correlators of the holomorphic stress tensor on a plane and thus are essentially controlled by the underlying Virasoro symmetry. Thus here the chiral half of 2d CFT may be identified with the effective 1d CFT dual to the conformal field theory in AdS 2 . We shall refer to this relation as the AdS 2 /CFT 1 /2 2 duality. 1 Examples of models exhibiting AdS 2 /CFT 1 /2 2 duality are conformal abelian Toda field theories with exponential potentials associated with a finite Lie algebra g. This correspondence was first noticed at the level of the classical AdS 2 theory (or large c CFT) in [15] for the g = A 1 Liouville theory and also in the particular rank-2 examples of g = A 2 and B 2 . The case of g = A n was discussed in [17]. The generalization to AdS 2 loop level (or subleading 1/c corrections) was presented for the Liouville theory in [16] where also the exact expression for the map between the AdS 2 scalar and CFT stress tensor correlators was found. Below we shall extend the Liouville theory loop-level results of [16] to the case of the A 2 Toda theory.
One reason why the duality between the elementary scalars in AdS 2 (ds 2 = dz 2 +dt 2 z 2 ) and chiral CFT operators on the plane is possible is that expanded near the minimum of its potential the AdS 2 action describes massive (m 2 = ∆(∆ − 1)) scalar fields ϕ ∆ that should correspond to the dimension ∆ = 2, 3, . . . operators V ∆ at the boundary (with V 2 ≡ T ). Another is that the Weyl symmetry of the AdS 2 theory suggests enhancement of the global 1d conformal SL(2, R) symmetry to the Virasoro symmetry. Then the boundary correlators of ϕ ∆ (with z → 0 asymptotics z ∆ Φ ∆ ) that we shall denote as ⟪Φ ∆ 1 (t 1 ) . . . Φ ∆ k (t k )⟫ may be related (on symmetry grounds) to the chiral CFT correlators ⟪V ∆ 1 (z 1 ) . . . V ∆ k (z k )⟫ restricted to the boundary of half-plane (z = t + iy → t). A non-trivial question is a mechanism that determines the proportionality coefficients in this duality relation (i.e., symbolically, κ ∆ in Φ ∆ → κ ∆ V ∆ ). Using the Weyl invariance of the AdS 2 theory one may map it to the flat-space theory on the upper half-plane and then try to relate the half-plane boundary asymptotics of the scalar fields to the CFT operators using their free-field (quantum Miura) representation. The free fields are, in general, related to the elementary bulk scalars by a non-linear differential (quantum) Bäcklund transformation, but this relation should effectively simplify in the boundary limit. Details of this remain to be understood.

JHEP09(2019)036
The main focus of the present paper will be on the demonstration of the AdS 2 /CFT 1 /2 2 duality in the case of the non-abelian conformal Toda theory of [25]. Here the derivative part of the Lagrangian is no longer free but is described by an effective σ-model originating from the SL(2, R)/U(1) gauged WZW model [26,27]. This theory comes closer to the string-theory related AdS 2 model in [8] (containing derivative interactions) and turns out to be much more non-trivial than the abelian Toda one.
Below we shall first review (in section 1.1) the AdS 2 /CFT 1 /2 2 duality in the case of the Liouville theory and then summarize the analogous statements for the abelian Toda theory in section 1.2. A summary of our results for the non-abelian Toda theory will be given in section 1.3. Section 2 will contain details of new one-loop AdS 2 boundary correlator computations in the A 2 abelian Toda model providing solid check of the AdS 2 /CFT 1 /2 2 duality in this case. Section 3 will be devoted to a systematic discussion of the duality in the nonabelian Toda theory. In appendix A we will present a heuristic proposal for the all-order proportionality coefficient between the boundary correlators of the second scalar of the A 2 abelian Toda theory in AdS 2 and correlators of the dual spin 3 chiral generator in the CFT. In appendix B we will collect useful relations that are used to compute some AdS 2 integrals. Appendices C and D will contain details of the one-loop AdS 2 calculations of the coefficients in the three-point boundary correlators that are required to check the AdS 2 /CFT 1 /2 2 duality in the A 2 abelian and non-abelian Toda theories.

Liouville theory
The action of the Liouville theory defined on a 2d space with curvature R is [28,29] For the above value of Q this model is Weyl-covariant with central charge Considering the unit-radius Euclidean AdS 2 background with x = (t, z) and the Poincaré plane metric the Liouville field ϕ can be expanded near its constant vacuum expectation value, and then the fluctuation ζ has classical mass m 2 = 2. Perturbation theory in the AdS 2 bulk was studied previously in [2,5,30]. One may also compute [16] the boundary correlators of ζ (relevant from the usual AdS/CFT point of view) by assuming the Dirichlet boundary conditions for ζ at the boundary line z = 0, i.e.

JHEP09(2019)036
The 1d field Φ(t) is associated to a boundary conformal operator with the scaling dimension ∆ = 2 (here m 2 = ∆(∆ − 1) = 2). Then the boundary correlators are defined as As was noticed in [15], the tree level (b → 0) Witten diagrams computing (1.6) in perturbation theory match the leading large c limit of the correlators of the chiral part of stress tensor T (z) of the flat-space CFT (the generator of the Virasoro algebra with the central charge c given by (1.2)) Here the r.h.s. may be viewed as a chiral stress tensor correlator restricted to the real-line boundary of the half-plane z i = t i + iy i → t i . The relation (1.7) was demonstrated also to hold [16] at the one-loop in AdS 2 (i.e. subleading order in large c expansion). Furthermore, it was argued in [16] using boundary CFT considerations that the all-order expression for κ(b) is given by (1.8) Using that the duality relation (1.7) means that the coefficients in the perturbative expansion of the two-point and three-point boundary correlators (with the structure controlled by the conformal symmetry) 2 (1.10) should be given by (1.11) These expansions were checked directly (for the leading tree and one-loop terms) in [16]. The four-point boundary correlators may be decomposed into the disconnected and connected parts (1.12) (1.13) the relation (1.7) implies that , (1.14) where according to (1.8) This was also verified in [16] (using numerical computation for one-loop integrals appearing in the computation of the four-point boundary correlator (1.14)).
To conclude, the relation (1.7) found in the Liouville model in AdS 2 provides the simplest example of the AdS 2 /CFT 1 /2 2 duality. The fact that the bulk theory is conformal implies that the structure of the boundary correlators is essentially fixed by the Virasoro symmetry. 3 While this duality may be viewed as being essentially kinematical, the nontrivial expression for κ in (1.8) receiving corrections from all orders in the small b expansion provides an important constraint on how the higher-loop Witten AdS 2 diagrams are to be evaluated in order to maintain the underlying infinite-dimensional Virasoro symmetry.

Abelian Toda theory
The generalization to abelian Toda theory for A 2 and B 2 algebras was discussed in [15] and for A n algebras in [17]. A novel feature is that in addition to the Liouville field here the Lagrangian contains other scalar fields that are massive in AdS 2 and are dual to the chiral generators of the W n symmetry of the Toda theory. 4 In section 2 of this paper we will extend the discussion of the corresponding AdS 2 /CFT 1 /2 2 duality to the one-loop level on the example of the A 2 theory with main results summarized below.
The action of the A 2 abelian Toda theory in curved 2d background contains in addition to the Liouville field ϕ another scalar ψ, i.e. is given by the following generalization of (1.1) (1.17) 3 In particular, the four-point boundary correlators of operators that have protected dimension here do not contain logarithms of 1d cross ratio, etc. 4 Toda field theories associated with a finite (non-affine) Lie algebra g of rank n (see, e.g., [31][32][33]) may be formulated in curved space, see, for instance, [34].

JHEP09(2019)036
This theory is Weyl-covariant at the quantum level: the required value of Q in (1.17) can be determined, e.g., by viewing (1.16) as a string model in a linear dilaton and tachyon backgrounds and solving the corresponding tachyon β-function equation [35,36]. Considering the AdS 2 background (1.3) and expanding near the constant vacuum value for ϕ as in the Liouville theory (with ϕ 0 given again by (1.4)) one can develop the perturbation theory in small b, i.e. in powers of the fluctuation fields ζ ≡ ϕ − ϕ 0 and ψ. These happen to have masses m 2 ζ = 2 and m 2 ψ = 6 corresponding (according to m 2 = ∆(∆ − 1)) to the dual operator dimensions ∆ ζ = 2 and ∆ ψ = 3. Let us label the boundary fields as Φ and Φ 3 (cf. (1.5)) 5 In this case the dual CFT is isomorphic to the chiral sector of the W 3 extension of the Virasoro algebra [37,38], with Φ dual to the dimension 2 stress tensor T and Φ 3 to the dimension (or spin) 3 generator V 3 of the W 3 symmetry algebra. Defining the boundary correlators as in (1.6) the expected correspondence is expressed by a generalization of (1.7), i.e. (1.20) Here κ has the same form as in the Liouville theory (cf. (1.8)) and the coefficient κ 3 in the duality between Φ 3 and V 3 turns out to be a non-trivial function of b We shall verify (1.20) and (1.21) by the one-loop AdS 2 computations in section 2 and present an argument for the above expression for κ 3 in appendix A. The CFT 2-and 3-point functions are constrained by the conformal invariance to have the form (we adopt the standard normalization for the spin 3 generator
The non-vanishing four-point correlators ⟪ΦΦΦΦ⟫, ⟪ΦΦΦ 3 Φ 3 ⟫, and ⟪Φ 3 Φ 3 Φ 3 Φ 3 ⟫ were considered at the tree level in [15] confirming the expected AdS 2 /CFT 1 /2 2 relations. While no conceptual difficulties are expected at the one-loop level where the computation is similar to the one in the Liouville theory in [16] here will not discuss it because of technical limitations. 7 Similar results should hold also for higher rank abelian Toda models where there are more scalar fields with different masses corresponding to the higher-spin generators of the underlying W-algebra symmetry. One implication of the AdS 2 /CFT 1 /2 2 duality (1.20) is that it can then be used to compute the higher-loop AdS 2 boundary correlators for the Toda theory using purely W-algebraic methods.

Non-abelian Toda theory
In the abelian Toda theory the chiral CFT operators (conserved currents) have protected dimensions so their correlators are constrained by W symmetry modulo overall normalizations and thus the corresponding AdS 2 /CFT 1 /2 2 duality is a direct generalization of the Liouville theory case. The story becomes more intricate in the case of the conformal nonabelian Toda (NAT) theory [25] (see also [39,40]) that we shall discuss in detail in section 3 below. Here we will summarize the main results.
Keeping only the leading order (one-loop) terms in the corresponding Weyl-invariant target space metric and dilaton (cf. (3.8)) the NAT action is the following generalization of the Liouville (1.1) or abelian Toda (1.16) actions The coefficients C233 and C222 in the three-point functions in (1.23) are expressed in terms of finite AdS2 integrals. Most of them may be computed analytically, but a few have to be evaluated numerically because the available analytic tools turn out not to be sufficient. In the case of the coefficients in the fourpoint correlators the number of diagrams to be evaluated numerically is larger and the expected numerical accuracy is too low to be reliable.

JHEP09(2019)036
Here in addition to the Liouville field ϕ with linear dilaton term we have the (r, y) sector with the kinetic term originating from the SL(2, R)/U(1) gauged WZW model and the dilaton term R log cosh(br) required for the Weyl invariance of this σ-model [27]. The expression for Q is fixed by the condition of quantum Weyl invariance of the potential term, i.e. by satisfaction of the tachyon equation (3.10) [35,41]. The (exact) relations between the constant b, the WZW level k and the total central charge are (cf. (3.9), (3.17)) so that the small b expansion is the same as the large k or large c expansion. Expanding (1.25) around the minimum of the potential for ϕ on the AdS 2 background as in (1.4), one finds the action for 3 massive fluctuation fields ζ and ξ 1 , ξ 2 (related to r, y as in (3.13) with a = b). They have the same mass m 2 = 2 (to leading order in b), i.e. should be dual to the boundary operators with the classical dimension 2. We shall denote the corresponding boundary fields as Φ and Φ ± (cf. (1.5), (1.18)) (1.27) where ∆ V = 2 + . . . (anticipating possible anomalous dimension). At the classical level, the NAT model in flat space has three conserved holomorphic currents with dimension 2: the stress tensor T cl and a U(1) doublet of "parafermions" V ± cl [39] (generalizing the classical parafermions of the gWZW model [26]). A natural suggestion is that the corresponding quantum operators T and V ± should be related, respectively, to the AdS 2 boundary fields Φ and Φ ± . To check the AdS 2 /CFT 1 /2 2 duality in this case we will compute the AdS 2 boundary correlators using Witten diagrams and compare them to the chiral CFT correlators of T and V ± .
The CFT correlators can be found using an explicit free field representation for T and parafermions V ± that we shall present in section 3.2. A novel feature compared to the abelian Toda theory is that the dimension of the primaries V ± is not protected, i.e. they have a non-zero anomalous dimension (1.28) Defining the boundary correlators as in (1.6), (1.
the statement of the AdS 2 /CFT where κ and κ + = κ − are the coefficients in the correspondence Φ → κT, Φ ± → κ ± V ± . 8 Here we use a short-cut notation: the ± products are, of course, independent.

JHEP09(2019)036
As the dimension 2 of the stress tensor is protected, its normalization is universal: . As a result, as in the Liouville (1.8) or the abelian Toda theory (1.21), the coefficient κ has the scheme-independent expression in terms of Q and c At the same time, as V ± has the non-zero anomalous dimension (1.28), the coefficient C +− in the corresponding 2-point function is scheme-dependent (it, in general, contains a factor of Λ −2∆ V where Λ is a renormalization scale). We shall assume a scheme in which C +− is given by where k is the WZW level related to b by (1.26). In this scheme our proposed exact expression for κ ± is (cf. (1.28) Representing the AdS 2 boundary two-point correlators as the correspondence (1.30) implies the following relations (1.37) The conformal invariance (Virasoro algebra) fixes the three-point functions of the chiral primary operators to have the following form (after using the Ward identity in footnote 6 and (1.32), (1.33))

JHEP09(2019)036
the duality (1.30) then rests on the validity of the following relations We shall verify these predictions in section 3 by the tree and one-loop Witten diagram calculations of (1.39) starting with the AdS 2 action (1.25) in expanded in powers of b. This provides strong evidence for the consistency of the duality (1.30). We will also compute (at tree level) the non-vanishing four-point correlators: ⟫ (which has the same form as in (1.12), (1.14), cf. (1.13)) and also The expressions for the latter are only partially constrained by the conformal invariance.
Nevertheless, we will demonstrate that their dependence on the conformally invariant cross ratio, the structure of kinematical singularities and the conformal block expansions are in full agreement with the AdS 2 /CFT 1 /2 2 relations (1.30). It would be interesting to evaluate the four-point functions in (1.41) also at the one-loop level, but like in the abelian Toda theory, this would require developing more efficient computational tools (see footnote 7).

A abelian Toda theory
Here we will discuss loop corrections in the A 2 Toda theory in AdS 2 with the action (1. 16) with the aim to test the duality relation (1.20). The exact expressions for the coefficients in (1.21) can be argued for by adapting the conformal Ward identity method used in the Liouville theory case in [16] as explained in appendix A.

Perturbation theory
As discussed in detail in [16], the perturbation theory of an abelian Toda theory in AdS 2 may be set up in two natural ways that are equivalent at the level of the expressions for the boundary correlators. In the first approach, proposed in the context of the Liouville theory in [5] (and thus named ZZ in [16]), one starts with the Toda action in flat space and expands around a non-trivial solution corresponding to an effective AdS 2 geometry. In the second (AdS) approach the theory is put on AdS 2 background from the very beginning and the perturbation theory is developed around the constant minimum of the effective potential that includes the curvature coupling term. Technically, the difference between the two schemes happens to be in the treatment of the short distance singularity of the Toda field propagator or the value of g ∆ (z, z). In the ZZ scheme, this is a non-trivial quantity, while in the AdS scheme it is set to zero. Equivalence between the two approaches is possible thanks to special identities that ensure a compensation between the tadpole contributions (present in the ZZ and absent in the AdS case) and the different effective couplings in the two schemes. 9

JHEP09(2019)036
Here we shall adopt the AdS scheme which is simpler as one can simply ignore all tadpole contributions. Thus we start with the action (1.16) on the AdS 2 background (1.3) and expand ϕ near its vacuum value as in (1.4) Here the interaction terms in (2.1) are multiplied by the common factor Q b = 1 b 2 (1 + 4b 2 ) (see (1.17)). The values of the masses m 2 ζ = 2, m 2 ψ = 6 correspond to the dimensions of the boundary operators being ∆ ζ = 2 and ∆ ψ = 3.
In general, the AdS 2 propagator for a free scalar field ϕ ∆ (x) = ϕ ∆ (t, z) with mass m 2 = ∆(∆−1) and kinetic term normalized as in (2.1) In particular, for the free propagators for the fields ζ and ψ are 10 As was mentioned above, in the AdS approach we shall use a particular AdS 2 covariant UV regularization in which and thus may ignore all tadpole contributions. The explicit computations of the AdS 2 loop integrals will be often performed by changing the coordinates from the Poincaré half plane x = (t, z) to the unit disk |z| < 1 as follows (2.5) Then the action (2.1) becomes The mass and interaction terms in (2.6) have the following explicit expansion in b . JHEP09(2019)036

Two-point functions
Let us now discuss quantum corrections to the two-point functions of the ζ and ψ fields, first in the bulk, and then in the boundary limit defined as in (1.18), (1.19). We shall use the disk coordinates (2.5), (2.6) and apply the results of appendix B.
Bulk two-point function of ζ and its boundary limit ⟪ΦΦ⟫ The non-vanishing one-loop contributions to the two-point function of the ζ field are given by 11 Here, D ζζ is the bubble diagram with virtual ζ fields, D ψψ is the similar diagram with virtual ψ fields. The additional order b 2 contribution Σ ins. is associated with the insertion of the vertex b 2 ζ 2 coming from the 1 + 4b 2 factor in (2.7). Let us give the expressions for the various contributions. The ζ loop correction D ζζ is As a result, Similarly, the ψ loop contribution D ψψ reads (2.14) 11 Since we assume the vanishing of simple tadpoles (2.4) only connected one-loop diagrams will contribute (for a general discussion of tadpole contributions see [16]).

JHEP09(2019)036
Thus we obtain Finally, the insertion diagram in (2.9) is determined by This expression is in agreement with the expected value of C 22 in (1.23), (1.24).
Bulk two-point function of ψ and its boundary limit The corresponding two-point function reads . The bubble is given by Here

JHEP09(2019)036
The insertion contribution in (2.18) is proportional to Defining again the boundary correlator according to (1.18), (1.19) we finish with which is in agreement with the expression for C 33 in (1.23), (1.24).

Three-point functions
We can also check the relations (1.30) for the three-point functions by reproducing the one-loop perturbative expansions of the coefficients C 222 and C 233 in (1.24). The relevant one-loop diagrams can be computed using the disc parametrization of AdS 2 . The only type of bulk diagram that cannot be computed analytically is the one with a triangle loop but it can be evaluated numerically with good precision well below one percent level. As a result, we confirmed the duality predictions in (1.24). The details can be found in appendix C.

Non-abelian Toda theory
Another non-trivial example of AdS 2 /CFT 1 /2 2 duality is provided by the non-abelian Toda (NAT) theory of [25] (see also [39,40]). This theory may be viewed as a special case of a conformal model with a 3-dimensional target space with the kinetic term given by a scalar plus a σ-model originating from the SL(2, R)/U(1) gauged WZW model [26,27] supplemented by a potential analogous to the abelian Toda model one.
We shall discuss the quantum conformal properties of the NAT model, in particular, give a free field representation for its 3 conserved currents: the stress tensor T and a pair of "parafermions" V ± . This will allow us to compute their CFT correlators. One novel feature will be that in contrast to the W symmetry generators in the abelian Toda case here V ± will have a non-trivial anomalous dimension (1.28). This will allow us to compare the CFT correlators with the boundary correlators of the corresponding elementary fields in the NAT Lagrangian in AdS 2 (1.25). The boundary correlators given by the Witten diagrams will be computed at the tree and one-loop level. As as result, we will verify the AdS 2 /CFT JHEP09(2019)036

Definition of the model on AdS 2 background
Let us start with a σ-model like theory on a curved 2d background Here µ, ν = 1, . . . , D, R is 2d curvature, Φ is a "dilaton" and T is a "tachyon". The standard Weyl-invariance conditions of decoupling of the conformal factor of the 2d metric are [42,43] Here we presented only the leading one-loop terms in the corresponding Weyl-anomaly coefficients and ignored O(T 2 ) terms in the β-functions corresponding to non-perturbative divergences [35,36] that will not be relevant for the model discussed below (with T given by a sum of exponentials with non-constant products). The D = 3 model (3.1) (with x µ = (ϕ, r, y)) we will be interested in will be Here the constants a, b and Q are related by The case of a = 0 brings us back to the Liouville theory (plus two extra free fields). In general, the leading-order metric coefficient G and the dilaton Φ in (3.5) require a modification in order to satisfy the Weyl-invariance equations (3.2) at the 2-loop level [44]. Including the 3-and 4-loop terms in the β-functions requires further modifications [45] (whose form depends, in general, on a renormalization scheme [46]). Recognizing that (3.5) is the "classical" background for the SL(2, R)/U(1) gWZW model corresponding to a coset CFT allows one to determine the exact metric and dilaton [47] Here k is the level of the gWZW theory so that the total central charge is the sum of the one for the linear dilaton ϕ-theory and the SL(2, R)/U(1) coset theory: c = (1+6Q 2 )+( 3k k−2 −1). The exact background (3.8) was first found [47] by identifying the "point-particle" probe JHEP09(2019)036 equation (L 0 T = 2 T) in the coset CFT with the leading-order tachyon equation (3.3). 12 This corresponds to the choice of a "CFT scheme" in which the tachyon equation is not modified by quantum (or α ) corrections [46], i.e. its exact form is the leading-order one in (3.3) or As the potential T in (3.4) is assumed not to depend on the isometric y coordinate and since for the exact background (3.8) one gets no corrections to the combination √ Ge −2Φ = e −2Qϕ sinh(ar) cosh(ar) we conclude that the corresponding exact solution for T is still given by (3.6) with b related to a and Q by (3.7).

JHEP09(2019)036
all masses have the same value m 2 = 2 at leading order in expansion in the coupling b. With (3.16) we get from (3.7) (see also (1.25), (1.26)) The case of (3.11) with (3.16) corresponds to the NAT model of [25] with the exact conformal background given by (3.6), (3.8) and b = 1 √ k−2 . 13 This is the model we shall study below. It can be also obtained by a Hamiltonian reduction [52][53][54] of the B 2 = SO(5) WZW model over a nilpotent subgroup [25]. It should be possible to derive it directly from a gauged WZW model obtained by "null" gauging of a solvable subgroup (similarly to how that was done for the abelian Toda models in [55]). This should give a σ-model with a 5d target space, containing, in addition to the first three terms in (3.11), also ∆L = [e 2b(ϕ+r) + e 2b(ϕ−r) ] −1 ∂ + u∂ − v. Solving for the two extra fields u and v as in [55] will then reproduce the e 2bϕ cosh(2br) potential in (3.11).
Our starting point in the computation of the AdS 2 boundary correlators will thus be the Lagrangian (3.14) with a = b expanded to quartic order in the fluctuation fields or to b 2 order in the coupling 14 Note that the expansion of higher order terms in 1 k = b 2 1+2b 2 in the exact background (3.8) which we ignored in (3.12) produces only higher order O(b 4 ) terms in (3.18) that will not contribute to the computations performed in this paper.

Underlying flat-space CFT
Following [25], the classical integrable structure of the NAT model was elucidated in [39]. It was shown to admit three conserved holomorphic (plus anti-holomorphic) quantities: the stress tensor T and the two currents V ± with the same classical dimension 2. Using a nontrivial change of variables they may be written in terms of free fields. After quantization T and V ± should represent primary operators in the underlying CFT. The chiral half of this CFT should then play the role of the boundary CFT in the AdS 2 /CFT

19)
13 Let us mention that the misleading claim in [40] that the leading-order model of [25] defined by the metric and tachyon in (3.5), (3.6) is not conformally invariant was due to ignoring the contribution of the dilaton coupling in (3.5) (see also [41]). 14 Here we redefine L by 1 2 to restore the standard normalization of the fields, i.e. the action is now given by S = 1 2π d 2 z √ g L.

JHEP09(2019)036
where k is the level. The quantization is performed by assuming that ϕ i (i = 1, 2) are two free quantum fields with the standard OPE The conserved stress tensor and the parafermions U ± of the quantum gWZW model are given by the following generalizations of the classical quantities in (3.19) (see, e.g., [58]) This T 0 obeys the Virasoro algebra with the central charge of the gWZW theory while U ± turn out to be the primary fields with dimension ∆ U , i.e.
The operators U + and U − have a non-trivial OPE Going back to the NAT theory, this free-field construction may be generalized by adding another free field ϕ 3 (again obeying (3.20)). Then the analogs of the classical conserved quantities T cl and V ± cl found in [39] are proposed to be (cf. where Q and p are constants to be fixed as functions of the level k. Note that the classical dimension of V ± (z) in (3.27) differs by 1 from that of U ± in (3.22). The stress tensor T in (3.26) obeys the Virasoro algebra with the central charge (cf. (3.9)) Computing the OPE of T (z)V ± (0) (generalizing the one in (3.24)) one finds that the leading singularity is O(z −3 ) with the residue ∼ ( √ 2 k − 2 √ k − 2 p), i.e. the necessary condition for V ± to be primary is This turns out to be also the sufficient condition, i.e. assuming (3.30) we find that V ± are primary with the same dimension ∆ V = ∆ U + 1 = 2 + 1 k (cf. (3.24)), i.e.
The OPE for V + and V − is found to be (cf. (3.25), (1.32)) where c is the NAT central charge in (3.28). Ω 4 is a dimension 4 operator that may be decomposed in a dimension 4 descendent of the identity plus a primary of dimension 4. 15 Computing the OPE of V + (z)V + (0) we find that there are no poles in z and first regular term is where the operator Ω 0 has somewhat complicated expression (that will not be needed below). 16 One can check that Ω 0 is a primary field with dimension (3.34)

Two-point and three-point functions
To check the AdS 2 /CFT 1 /2 2 duality (1.30) let us start with two-point functions. The coefficient C 22 in the boundary correlator of ζ fields in (1.35) can be computed as in the Liouville theory [16], but noting that now we can have also the fields ξ 1,2 propagating in the loop. Taking into account the coefficients of the interaction terms in the Lagrangian (3.18) and the fact that to leading order ξ i has the same mass as ζ, the one-loop result is obtained multiplying by 3 the one-loop correction in the Liouville theory which is indeed in agreement with (1.36). 15 Note that in the pure SL(2, R)/U(1) gWZW model (without extra Liouville ϕ field and potential) the dimension 3 operator in the corresponding OPE (3.25) is not simply ∂T , but the spin 3 generator of the W3 extension of the Virasoro algebra (see, for instance, [58,59]). In the NAT case the first non-trivial correction in (3.32) appears at order z 4 in the square brackets. It would be interesting to explore if this is an indication of an underlying W4 symmetry (cf. [60]). 16 It is the normal ordered product of several monomials in ϕ1, ϕ2, ϕ3 with total of 4 derivatives times

JHEP09(2019)036
The correlator of the ξ i fields can also be found by a simple modification of the previous calculations (cf. (2.8), (2.18)): where D ζζ and Σ ζ are given in (2.12) and (2.16). In the limit when one point is sent to the boundary, z 2 → 0, the expression for (3.36) gets simplified to where we kept only the leading order term in z 2 → 0 and defined ξ ± = 1 √ 2 (ξ 1 ± iξ 2 ) as in (1.27). The above expression is consistent with the field ξ being dual to an operator with dimension in agreement with (1.28) obtained from the CFT. Then the 1-loop corrected bulk-toboundary propagator turns out to bê This is also in agreement with (1.37) where we substituted (3.32) and the 1-loop expression for κ ± in (1.34). The exact form of κ ± proposed in (1.34) is motivated by the free-field representation (3.27) of V ± and the OPE (3.32). Following the argument used to determine κ 3 of the abelian Toda theory (1.21) in appendix A, one may conjecture that , (3.41) where the factor 2 1/k takes into account the anomalous dimension (3.31) of V ± and the overall coefficient is fixed by matching with known tree level value κ ± = 2 3 b + · · · . Written in terms of b = 1 √ k−2 , eq. (3.41) becomes the same as (1.34) (see also (1.28)).

JHEP09(2019)036
Next, let us consider the three-point correlator in (1.29), i.e. ⟪ΦΦΦ⟫ ∼ T T T . Again, we can use the result in the Liouville theory since the virtual ξ 1,2 fields behave as copies of the Liouville field, taking into account the values of the coupling coefficients in (3.18). Thus we find for C 222 in (1.39) This agrees with the expected expression in (1.40).
We have confirmed it by a detailed computation described in appendix D.

Four-point functions
The structure of T T T T is fully determined by the conformal symmetry (1.13). The AdS 2 /CFT 1 /2 2 correspondence (1.30) then predicts that the corresponding boundary correlator should be given by (1.14), (1.15). These predictions can be checked in the same way as in the Liouville theory, taking into account the multiplicity of virtual exchanges of ζ and ξ i . Indeed, for the coefficient of the connected part in (1.14) we have in the Liouville and in the non-abelian Toda cases The expressions for T T V + V − and V + V − V + V − related to the boundary correlators in (1.41) are not fully fixed by the conformal symmetry and thus represent a particular interest. In the first case the dual four-point correlator ⟪ΦΦΦ + Φ − ⟫ has a disconnected contribution that is just ⟪ΦΦ⟫⟪Φ + Φ − ⟫ and it then obeys AdS 2 /CFT 1 /2 2 as a consequence of the relation between the two-point functions. In the connected part, at the tree O(b 2 ) level, the fields ξ i play again the same role as the Liouville field ζ and the matching can be easily checked.
The story is more complicated for the remaining non-vanishing correlator ⟪Φ + Φ − Φ + Φ − ⟫ which according to (1.30) should be proportional to the CFT correlator V + V − V + V − restricted to the real line. The latter is non-trivial because of the nonlocality in the OPE of V V in (3.32) and (3.33). To compute this correlator one should use the free field representation (3.27) perturbatively in small b or large k.

JHEP09(2019)036
The boundary correlators in AdS 2 have, in general, the same form as correlators in 1d CFT. If we have four primary operators O in 1d CFT of the same dimension ∆, their correlator is constrained by the global SO(2, 1) conformal invariance to take the following form Here χ is 1d conformally invariant cross-ratio. The function G(χ) in (3.45) admits the s-channel expansion (see, e.g., [61]) where h labels the conformal dimension of the fields appearing in the OPE  (3.47) where in general we should have ∆ V = 2+ b 2 1+2b 2 (see (1.28), (3.31)). At order O(b 2 ) we have trivial disconnected contributions where the two-point function ⟪Φ i Φ j ⟫ includes propagator loop corrections. These contributions automatically respect the structure in (3.45) and also are consistent with AdS 2 /CFT 1 /2 2 as discussed in section 3.3 above. Indeed, the disconnected part can be written in the generalized free field form where (cf. (1.37)) is the coefficient in the two-point function of Φ i in (1.35). The disconnected O(b 2 ) contributions can be found from the tree-level disconnected diagrams where the pairs of Φ i fields are connected by a tree propagator and the b 2 correction comes from the expansion of the prefactor in (3.45) depending on the coupling b because of the non-zero anomalous dimension in ∆ V . The disconnected contribution can be represented as (cf. (3.49)) (3.50)

JHEP09(2019)036
In particular, There are also connected O(b 2 ) tree diagrams of the two types (see figure 1): the exchange diagrams of the form (a) and the contact diagram (b) where the internal vertex is the derivative-dependent ξ 2 (∂ξ) 2 σ-model interaction in (3.18), i.e. the leading-order connected contribution is The contribution of the exchange diagrams in figure 1 (a) sums up to G (1) exch (3.54) Using the known explicit expressions for the D-functions in (3.53) we obtain

JHEP09(2019)036
The contact diagram in figure 1 (b) evaluates to G (1) cont All the three of the above contributions (disconnected (3.51), exchange (3.53) and contact (3.56)) are separately crossing invariant. In particular, if we consider correspond to bulk fields ξ ± , we can check the 1 ↔ 3 crossing invariance relation for each of the contributions (3.57) The total O(b 2 ) term in G = G disc + G conn turns out to be Notice the cancellation of the log χ terms which is a non-trivial fact (cf. [8,10]). This is in agreement with the OPE (3.32) where the first exchanged primary has dimension 4 with no anomalous contribution.
Another interesting case is the four-point function ⟪Φ + Φ + Φ − Φ − ⟫. Its coefficient function G ++−− is related to the above one in (3.58) by the 2 ↔ 3 crossing transformation From (3.55) one finds Expanding in conformal blocks (cf. (3.46)) This follows from the fact that the b 2 log χ term in (3.60) is proportional to the tree level disconnected contribution. Again, this feature has a simple explanation on CFT sidefrom the point of view of the OPE of V + V + . All operators in this OPE have a common exponential factor of the form exp(i 2 √ 2 √ k ϕ 2 ) that is just the squared exponential in V + in (3.27) and this is the origin of the common anomalous contribution 1 2 ( 2 k . In particular, this is true for n = 4, in agreement with (3.34) We can now test AdS 2 /CFT 1 /2 2 by comparing the above result for ⟪Φ The latter can be found using the free field representation (3.27) and expanding in large k. This reduces to a purely Wick contraction calculation since after the 1/k expansion the exponential operators in (3.27) become a sum of polynomial local operators. Representing the large k expansion as we find (3.66) Notice that the logarithmic term in (3.66) arises from the contraction of two ϕ 2 fields with no derivatives which appear from the large k expansion of the exponential in (3.26). As a result, the coefficient of this logarithmic term is proportional to G 0 . To satisfy the AdS 2 /CFT 1 /2 2 relation (1.30) we should have where from (3.55) (3.68)
This gives in total the following expression for the coefficient K in the OPE in (A.6) As a result, which is the expression given in (1.21). 18 The Dirichlet boundary conditions for the free fields φ1 and φ2 require a non trivial gluing map for the odd spin chiral generators, i.e. the non-trivial reflection relation V3(z) = −V 3(z) for the odd spin field V3. The same happens in the familiar example of the spin 1 current J(z) = i ∂φ when φ has a Dirichlet boundary condition, see, e.g., section 4.1 of [68].

JHEP09(2019)036 B Fourier expansion of the ∆ = 3 propagator in AdS 2
A useful tool to compute the AdS 2 integrals in disk parametrization (2.5) is the Fourier representation of the ∆ = 2, 3 propagators (2.3). As illustrated in [69], see also appendix A of [16], the simplest diagrams that occur in the calculations of this paper are multiple AdS 2 integrals that depend on a number of fixed points and on internal points that are integrated in SU(1, 1) covariant way. Using a Fourier representation, one first integrates the relative angles of involved points and performs radial integration as the last step. The coefficients of the Fourier expansion in the ∆ = 2 case of g(x, x ) are given in [69]. h n (|z| 2 , |z | 2 ) cos(n ϑ(z, z )), where ϑ(z, z ) is the angle between the disc points z and z . The coefficients c n (x) are given by (for any n ≥ 0) The coefficients d n (x) take the following special values for n = 0, 1, 2 while for all n ≥ 3 C Perturbative calculation of C 222 and C 233 in A 2 abelian Toda theory To compute three-point boundary correlators in (2.24) it is useful first to recall the form of the tree level bulk-to-boundary scalar propagator in AdS 2 in disc parametrization. On the Poincaré half plane, assuming Dirichlet boundary conditions, for generic mass or ∆ (m 2 = ∆(∆ − 1)) we may define (here w = (t, z))

Coefficient C 222 in ⟪ΦΦΦ⟫
Let us start with computing the coefficient C 222 of the contributions proportional to K ≡ K 222 in (C.5). The expression for ⟪ΦΦΦ⟫ will differ, in general, from the one in the Liouville theory because here the second field ψ may also appear in virtual exchanges.
Tree level diagram. At leading order in b there is a single diagram This is a special case of the general expression , (C.7) Diagrams with dressed propagators. These diagrams give may be found by taking the boundary limit of (the propagator on the r.h.s. is bulk-toboundary one) This gives Triangle diagram with ζ loop. This non-trivial diagram is the same as in the Liouville theory and thus can be found from [16]:

JHEP09(2019)036
Triangle diagrams with ψ loop. This diagram is given by the following finite disk integral Its numerical calculation by the same method as discussed in [16] gives 19 Comparing this to (C.20), a relative error is just 0.2%, thus confirming the validity of (1.24).
Let us now check the prediction (1.24) for C 233 . Here we shall use the notation K ≡ K 233 (see (C.5)).
Tree level diagram. The leading order O(b) contribution is given by Diagrams with dressed propagators. The diagrams that are obtained from the tree level diagram by adding loop to one of the propagators are

JHEP09(2019)036
Their contribution is Diagram with ζ loop. Taking into account (C.11) we find Diagram with ψ loop. In a similar way, the diagram may be computed by using (C.14) giving Diagrams with mixed ζψ loop. The two diagrams can be computed using by the relation (−8b) (−24b) 2 d 2 w 1 d 2 w 2 d 2 w 3 g(t 1 , w 1 )h(t 2 , w 2 )h(t 3 , w 3 )g(w 1 , w 2 )g(w 1 , w 3 )h(w 2 , w 3 ) These integrals require a numerical evaluation following the same method as in [16] giving Compared with the numerical value in (C.37), we find good agreement with a relative error of about 0.4%. This strongly supports the validity of (1.24).

D Perturbative calculation of C 2+− in non-abelian Toda theory
Here we collect the details of the calculation of the coefficient C 2+− in the boundary correlator in (1.39) leading to the result in (1.40), (3.43). The aim is to reproduce the expansion log will get contributions only from diagrams with dressed ξ propagators while C (1) will receive several types of contributions. where we used the relation (C.7) written in the form (D.4) Comparing with (D.1) we see that the overall coefficient C (0) and the logarithmic coefficient C

Diagrams with non-derivative vertices
There is a set of simple diagrams which do not involve the derivative interaction vertex ξ 2 (∂ξ) 2 in (3.18) and thus do not require new calculations: their contributions can be obtained from previous results in the Liouville or abelian A 2 Toda theory by adjusting combinatorial coefficients (below we indicate this by using the symbol "×"). These are: 1. Diagrams with dressed ζ propagator: This are the diagrams involve the σ-model derivative interaction ξ 2 (∂ξ) 2 in (3.18). There are different types of them depending on which leg (bulk-to-bulk or bulk-to-boundary) is acted on by the two derivatives. which results in the following contribution to the coefficient C (1) where the factor of 2 accounts for the two possible fields in the loop and 1 2 is the symmetry factor.
Open Access. This article is distributed under the terms of the Creative Commons Attribution License (CC-BY 4.0), which permits any use, distribution and reproduction in any medium, provided the original author(s) and source are credited.