A duality in two-dimensional gravity

We demonstrate an equivalence between two integrable flows defined in a polynomial ring quotiented by an ideal generated by a polynomial. This duality of integrable systems allows us to systematically exploit the Korteweg-de Vries hierarchy and its tau-function to propose amplitudes for non-compact topological gravity on Riemann surfaces of arbitrary genus. We thus quantize topological gravity coupled to non-compact topologica matter and demonstrate that this phase of topological gravity at N = 2 matter central charge larger than three is equivalent to the phase with matter of central charge smaller than three.


JHEP05(2019)111 1 Introduction
Field theories with N = 2 supersymmetry in two dimensions give rise to topological quantum field theories after twisting [1]. When the starting point is a non-compact conformal field theory, the correlation functions of the resulting topological quantum field theories were recently computed [2]. Subsequently, these theories were coupled to topological gravity [3,4] and the gravitational theory was solved on the sphere. 1 One motivation for studying topological gravity coupled to non-compact matter is to test the gravitational consequences of going beyond the central charge bound c = 3 for N = 2 minimal matter in two dimensions. In [4], it was noted that coupling topological gravity to twisted matter with central charge c > 3 gives rise to critical behavior reminiscent of N = 2 matter with central charge c < 3 coupled to gravity. We will gain more insight into this similarity in the present paper. Another motivation for the study of these theories is the wish to compute topological string amplitudes on asymptotically linear dilaton spaces which are generalizations of non-compact Calabi-Yau manifolds [9][10][11][12][13][14].
In this paper, we exhibit the close relation between non-compact topological quantum field theories [2,4] and the deformations of topologically twisted compact N = 2 minimal models [7]. By detailing the link, we also gain control over the non-compact topological quantum field theories coupled to topological gravity on Riemann surfaces of higher genus. We thus extend their solution at genus zero [4] to arbitrary genera.
The underlying idea of the equivalence is simple. An N = 2 minimal model is the infrared fixed point of a Landau-Ginzburg theory in two dimensions with N = (2, 2) supersymmetry and a single chiral superfield, subject to superpotential interactions. The minimal model with central charge c = 3 − 6/k c corresponds to a superpotential monomial W c = X kc where X is a N = (2, 2) chiral superfield. On the other hand, a N = 2 nonrational conformal field theory at central charge c = 3 + 6/k, with k a positive integer can be modelled with a generalized Landau-Ginzburg theory with superpotential Y −k , where Y is again a chiral superfield [2,9,10]. The topological quantum field theories we study are the theories that arise upon twisting and deforming the infrared fixed points. Formally, the change of variables X = Y −1 maps the superpotential of the compact model to the superpotential of the non-compact model (upon identifying the levels k c = k). In this paper, we analyze the extent to which the change of variables proves an equivalence between the compact and non-compact topological quantum field theories, and their coupling to gravity.
The correlation functions of both the compact and non-compact models are governed by the Korteweg-de Vries (KdV) or reduced Kadomtsev-Petviashvili (KP) integrable hierarchy. 2 Our duality comes down to chasing the change of variables X = Y −1 through the equations determining the classical and quantum integrable hierarchy. Thus, the calculational proofs are elementary. We then move to exploit this duality to solve non-compact topological gravity in two dimensions on Riemann surfaces of any genus. The duality provides a technically transparent though conceptually challenging answer to a hard ques-JHEP05(2019)111 tion in two-dimensional quantum gravity, which pertains to the backreaction of gravity in response to a large amount of matter.
Similar (though not identical) ideas have been mentioned in the integrable hierarchy literature. Firstly, there is an equivalence relation that was mentioned for the classical rational KP integrable hierarchy in [16]. It was applied to non-polynomial examples. Secondly, a similar device was employed to argue that matrix models with negative power monomial potential are governed by a reduced KP hierarchy [17]. Thirdly, we observe that the inversion of variables comes down to an analytic continuation of the exponent of the superpotential from k c to −k, where both k c and k are positive integers. 3 This analytic continuation was proposed as a method for obtaining results about models of topological gravity coupled to a topological non-compact coset conformal field theory [18], or matrix models with a negative power monomial potential [19].
Our plan is to kick off the paper by proving the equivalence between two dispersionless (i.e. classical, tree level, spherical) integrable hierarchies in section 2. In section 3 we detail the relation between the non-compact solution obtained by duality and the solution to the model obtained by twisting the physical spectrum of N = 2 Liouville theory studied in [2,4]. We then solve the non-compact topological quantum field theory coupled to gravity using a dispersionful (or quantum) KdV hierarchy in section 4. In section 5, we discuss the extent to which our solution relates to the approach of determining the correlators of a non-compact model through analytic continuation in the central charge (or level) of the conformal field theory [18,19]. We conclude in section 6 and comment on the conceptual implications of the duality for two-dimensional gravity. In appendices A and B we provide illustrations that may help to reveal aspects of our paper as either subtle, or simple.

The duality
In this section, we briefly review the rational Kadomtsev-Petviashvili (KP) hierarchy reduced with respect to the derivative of a (super)potential. We follow the pedagogical reference [16] and refer to [15] for background. Importantly, the hierarchy can be formulated democratically with respect to the times of the integrable evolutions. Moreover, we carefully choose our setting sufficiently broadly to allow for all manipulations that we will need. Then, we prove an equivalence between a model with polynomial potential and a model which is polynomial in the inverse variable. These are the integrable hierarchies corresponding to a compact topological quantum field theory and a non-compact topological quantum field theory respectively (see e.g. [7] and [2] and references therein for the relation to deformations of supersymmetric conformal field theories and the operation of twisting). We prove the classical equivalence of these models in this section, and discuss the quantum, dispersionful hierarchy in section 4.

The rational KP hierarchy in a nutshell
We very briefly review the rich rational KP hierarchy. We must refer to [16] for more background information and a laundry list of intermediate results. The basic data of the JHEP05(2019)111 hierarchy is a potential W which is a polynomial in the ring C[X, X −1 ]. 4 It has a minimal and maximal degree. 5 If the maximal degree k max is positive and the minimal degree −k min is negative, we define two formal power series, one in X −1 , and one in X, through the formulas We normalized the first formal power series (by dividing by the leading coefficient c max of the polynomial W ) such that the first term on the right hand side has coefficient one, and we will often pick c min = 1/k min . Next, we define Hamiltonians Q i through the formulas: where the indices on the square brackets indicate which orders in the formal power series we keep. 6 We introduce an infinite set of times t i∈Z\{−1} and the reduced integrable hierarchy is then defined by the evolution equations: which is shorthand for Because the connection Q is flat, the time evolutions in the ring are mutually compatible [16]. We chose a formulation of the hierarchy which is democratic with respect to all time variables. Given the integrable hierarchy, one can define a set of operators, topological quantum field theory correlators, as well as classical topological gravitational correlators that satisfy all the axioms of such theories (such as associativity of the operator product and a topological recursion relation). Moreover, generating functions for these correlators can be constructed. See e.g. [16] for the large set of standard, relevant and explicit formulas. We assume these topological quantum field theories and topological theories of gravity to be known in the following.

The compact and non-compact flows
After the brief recap of the general framework of the rational Kadomtsev-Petviashvili hierarchy, we simplify matters considerably in this section. We concentrate on proving and 4 In the context of N = (2, 2) supersymmetric Landau-Ginzburg models with chiral superfield X, the potential is identified with the superpotential W (X). 5 We ignore the constant term in determining these degrees since it is the derivative of the (super)potential that will be crucial. 6 There exists an important extension to include a Hamiltonian Q −1 , but we barely need it in this paper.

JHEP05(2019)111
analyzing in detail a duality between two reduced KP hierarchies. The first is the integrable KP hierarchy reduced over the derivative of a polynomial (super)potential in a variable X and the second is a theory reduced over the derivative of a polynomial potential in a variable Y −1 . The existence of such a duality for the strictly rational case is mentioned in [16]. The necessity of introducing the rational framework despite the polynomial nature of our potentials lies in the fact that we wish to be able to divide by polynomials in the following. Our two families of models can be described explicitly as follows. The compact model parameterised by the variable X has a polynomial potential while the non-compact model with variable Y has a polynomial potential in Y −1 The normalization of the coefficients is chosen to agree with [16]. 7 In the following it is important to assume that the coefficients v 1 as well as v −1 are non-zero since these determine the minimal and maximal degree of the derivative of the potential respectively, and consequently the dimension of the quotient ring. The leading coefficient of the potentials is chosen to be fixed and non-zero. The subleading coefficient of the potentials is chosen to be zero through a shift of the variables X, respectively Y −1 . For both the compact and the non-compact models, we can define generators Q i∈Z of KP integrable flows parameterized by times t i∈Z . For the compact models only the Hamiltonians with i ≥ −1 are non-trivial, while for the non-compact models those with i ≤ −1 are non-trivial. For simplicity, we again exclude the time t −1 from our considerations in both models, though it can be reinstated if so desired.
We label quantities referring to the compact model with an extra index 'c' while those quantities without extra index relate to the non-compact model. Thus, for the compact model we have times t c i≥0 and for the non-compact model times t i≤−2 . To restate the time evolutions, we introduce the roots of the potential for the compact and the non-compact model as formal power series at large X and small Y respectively: The Hamiltonians are (2.9) (2.10)

JHEP05(2019)111
The reduced integrable hierarchies are then defined by the evolution equations (2.3), valid for both the compact and the non-compact models. In the compact model, the evolution equations take a standard form if we pick t c j = t c 0 . They then read: In the non-compact model, if we pick the first possible time, t j = t −2 as our reference time, than the equations defining the hierarchy become In other words, we find a different symplectic structure.

The equivalence of flows
The first part of our equivalence map is to demonstrate that the classical flows of the compact and non-compact integrable hierarchies are isomorphic. We relate the flows of these two reduced KP hierarchies through the change of variables X = Y −1 . If we equate the levels k c = k in both models as well as the potential coefficients v a = v −a /a for a ∈ {1, 2, . . . , k c − 2}, then after the change of variables X = Y −1 , the compact superpotential W c (2.5) and the non-compact superpotential W (2.6) match. Thus, the series expansions L c (2.7) and L (2.8) are equal. We moreover map the indices i c + 1 ↔ −i − 1 which implies i c ↔ −i − 2, to match the compact Hamiltonians Q i≥−1 c (2.9) with the negative of the non-compact Hamiltonians Q i≤−1 (2.10). Most importantly, we note that the times t c i are mapped to the times t −i−2 , and that under the change of variables X = Y −1 , the flow evolution equations (2.11) and (2.12) are mapped to each other, because ∂ X = −Y 2 ∂ Y . The overall sign works out as well because of the minus sign in the comparison of Hamiltonians. The symplectic structures map into each other. We conclude that the integrable flows agree under the duality map.
For the reader's convenience, we summarize the substitution rules: (2.13)

The operator rings
We matched the integrable hierarchies. We now work out further details of how the operator rings and other data match between the topological quantum field theories as well as the theories of topological gravity. For each model, an infinite set of operators is defined as derivatives of the Hamiltonians: (2.14)

JHEP05(2019)111
These operators live in the rings C[X, X −1 ] and C[Y, Y −1 ] respectively. Due to the condition that the coefficients v ±1 are non-zero, the quotient rings where we divide by the ideal generated by the derivative of the superpotential have bases φ α where α ∈ ∆ c = {0, 1, . . . , k c − 2} for the compact model and α ∈ ∆ = {−2, −3, . . . , −k} for the noncompact model. These quotient rings will be more manifestly isomorphic under duality after making a change of basis of the type discussed in [16]. In the non-compact model, we pick a reference basis element φ α 0 =−2 , and divide all operators in the basis by this reference element. Firstly, we recall that and therefore the corresponding operator φ −2 is We pick the operator basisφ α in the non-compact model given bỹ In fact, we can more generally define new operators 8 which under the equivalence map (2.13) map onto the operators φ −i−2 c of the compact model.

The topological quantum field theories
The topological quantum field theories associated to the equivalent integrable systems are necessarily isomorphic. There are some subtleties in the details of the matching that we want to discuss. The references [4,16] define universal coordinates for the non-compact models. They are useful, and allow for an explicit solution of the non-compact quantum field theory correlators [2,4]. They are, however, different from the universal coordinates one finds under the equivalence map from the universal compact coordinates. In this paper, we work in the latter coordinates, since we are focused on exploiting the equivalence map. To make the relation between the results in this paper and those in [4,16] more manifest, we record the explicit map between the universal coordinates we use in this subsection to those used in the original description of the non-compact model [4,16] in appendix A.1. Below, we define the new non-compact universal coordinates that are natural from the perspective of the duality.
The compact universal coordinates u c are described by inverting the series L c (X): Here, we go beyond our background reference [16].

JHEP05(2019)111
They coincide with the i0 component of the Gelfand-Dickey potentials G ij c [16] G ij c = For the non-compact theory on the other hand, we define the potentials [16] and the new universal coordinatesũ i adapted to the choice α 0 = −2: We can prove that the universal coordinates u c andũ do match under the equivalence map, using the following property of residue formulas. The relation between the residue of a function or formal power series at infinity and the residue at zero is (in conventions in which both are defined as the coefficient of the term with power minus one): Using this property, the universal coordinates agree (since the roots of the superpotentials, the indices and the operators are appropriately mapped). It is then straightforward to follow all the quantities that determine the topological quantum field theory through the equivalence map. Indeed, under the substitution rules, we have more generally: Since these are second derivatives of the generating functions [16], we can integrate the equality up and pick generating functions of correlation functions of matter correlation functions F m that are equal The upper index refers to the picture in which we evaluate the correlation functions, which is the zero picture for the compact model, and the minus two picture for the non-compact model (since for the latter we chose the reference time t −2 ). This proves the equality of universal N -point functions, defined as derivatives with respect to u c andũ coordinates respectively. In other words, we have To illustrate the equivalence hands-on, we note that the metrics η c αβ = δ α+β,kc−2 and η αβ = δ α+β,−k−2 match since if we have primaries α, β and α + β = k c − 2 before the transformation, then −α − 2 − β − 2 = −k − 2 after the transformation. The structure

JHEP05(2019)111
constants also match. The first reason for this is that the operators φ α c andφ α are bases of the respective rings that agree on the nose under the equivalence map (as shown in the previous subsection). Thus, the corresponding structure constants will automatically coincide. This is sufficient to prove that the associated topological quantum field theories match on all Riemann surfaces, in agreement with the equality of generating functions.
Let us provide even more details on the correspondence of the formulas. We can show how a scalar product on the space of operators agrees between the compact model with respect to time t 0 and the non-compact model with respect to time t −2 . For the compact model, we have the scalar product [16] where we sum over the zeroes of the derivative of the superpotential W c . For the noncompact model, with the reference choice α 0 = −2, we define the scalar product [16]: Firstly, this manifestly implies that (φ, ψ) 0 = (φ,ψ) α 0 , by the definition of the operators φ. Secondly, we can sum over the zeroes of the derivative of the superpotential, which for the compact model lie near zero by performing a large contour integral. We can slip this contour over the sphere in the compact model, and evaluate it at X = ∞. For the noncompact model, we reason similarly and can evaluate the residue formula at Y = 0. Using this contour deformation, we find under the equivalence map and using property (2.24) that The structure constants similarly match since (see [16] for the proof of the residue formula for the three-point correlator): Let us remark that we can interpret the φ α 0 insertions in formulas (2.29) and (2.31) as taking us from a zero picture vacuum state to a minus two picture vacuum state where the two are related by |vac (−2) = φ −2 |vac (0) . Finally, we backtrack to the time evolution of the coefficients of the superpotential with the integrable flows parameterized by the times. The reduced KP hierarchy has a topological quantum field theory solutionũ α = η αβ t β when we restrict the range of times to the basis set ∆ (for either the compact or the noncompact theory) [16]. These topological quantum field theory solutions also map from the compact to the non-compact problem under the substitution u α c ↔ũ −α−2 .

JHEP05(2019)111
In summary, we find that a compact topological quantum field theory captured by a polynomial superpotential is equivalent to a non-compact topological quantum field theory defined by a superpotential of an inverse variable. The relation between the theories is rather involved in terms of the standard universal coordinates (see appendix A.1), and becomes straightforward in the universal coordinates suggested by the equivalence map.

The classical gravitational equivalence
We have proven a classical equivalence of a compact and a non-compact topological quantum field theory. In this subsection, we provide only a few of the details of the equivalence of the topological quantum field theories coupled to topological gravity, at the classical level, i.e. on the sphere. The idea of the map is again simple. We extend the agreement of the flows labelled by α exploited in the topological quantum field theory equivalence to include all the times of the integrable hierarchy. We need to go slightly beyond the discussion provided in [16] on this occasion.
There is an equivalence map for descendants fields. We define [16] σ Under the equivalence map, these operators and their normalisations match. Since thẽ φ α operators are an alternative basis for the quotient ring, the descendant decomposition theorem (which says that any descendant can be decomposed into primaries) as well as the topological recursion relation for the operators σ N (which says that descendant threepoint functions can be recursively computed in terms of primary three-point functionssee [3,7,8] for background) are valid also in the α 0 = −2 reference frame. Moreover, both theorems are mapped to their compact counterparts under the equivalence map. Thus, the equivalence map extends to the topological quantum field theories on the sphere coupled to gravity. The compact generating function of gravitational correlators is also mapped to its non-compact counterpart.
Summary. The duality map is now manifest. We used the change of variables X ↔ Y −1 to prove the equivalence of the potentials Q and Q c , of the fields φ c andφ, of the times t i c and t i , of the universal coordinates u c andũ, and finally of the Gelfand-Dickey potentials G and generating functions F . Thus the full classical equivalence is understood. The statement that we obtain is the following. If we consider an extended non-compact model with a superpotential of the form (2.6), then a choice of reference time t −2 provides a model equivalent to the compact model (2.5) in the more standard reference time t 0 . In the next section, we study how the trivialization of this non-compact model is related to the solution of the twisted N = 2 Liouville theory obtained in [2,4] in the zero picture. Moreover, since we have proven the classical equivalence of two models, the quantum equivalence will also hold, if we perform equivalent integrable quantisations. We present the resulting quantum equivalence in section 4.

JHEP05(2019)111
3 The strict non-compact model The duality map provides us with a definition of a non-compact topological quantum field theory model, before and after coupling to gravity. We also have a good understanding of a physical twisted non-compact model, namely the twisted relevant deformations of N = 2 Liouville theory, as the limit of an integrable system [2,4]. In the present section, we establish the connection between these two systems in detail. We work at the level of the topological quantum field theories. We start out by reviewing the connection of N = 2 Liouville theory to the non-compact integrable systems at hand, as established in [2,4].

Brief review of the topological N = 2 Liouville theory
It was proposed a while ago that a N = 2 non-rational conformal field theory with central charge c = 3 + 6/k, with k a positive integer can be modelled by a generalized Landau-Ginzburg theory with superpotential Y −k , where Y is a two-dimensional N = (2, 2) chiral superfield [9,10]. In [2], we made this proposal precise by computing the chiral ring of the N = 2 Liouville theory at asymptotic radius √ kα ′ , and identifying the k − 1 strictly normalizable chiral ring elements. The R-charge conservation law was exploited to determine the topological metric η αβ , as well as the three-point functions c αβγ , and to match them with the ring and elements that can be associated to the Landau-Ginzburg theory with superpotential Y −k . Moreover, agreement of the non-chiral three-point functions for the discrete states was established.
Once the starting points are identified, the deformed topological quantum field theories for the Y −k topological Landau-Ginzburg model and the relevant and chiral deformations of the N = 2 Liouville theory must match as well. The Y −k model deformed by the k − 1 strictly normalizable operators was called the strict non-compact model in [2]. The topological three-point functions were computed explicitly through the exploitation of combinatorial identities. Next, in [4], we showed that the topological Landau-Ginzburg formulas for the non-compact two-point, three-point and higher point correlators are governed by a limit of the KP integrable hierarchy reduced by the derivative of the superpotential. We thereby reproduced in the integrable model language the correlators we directly derived from topologically twisted N = 2 Liouville theory in [2]. In short, the topological quantum field theories we analyze below are theories that arise upon twisting and deforming the infrared fixed point of N = 2 Liouville theory.

The non-compact correlators in the zero picture
In the duality approach, we can compute all the correlators in the −2 picture in a noncompact topological quantum field theory model with a potential (2.6) with constant up to sub-subleading deformations of a leading monomial Y −k . In principle, we have a solution for the generating function of correlation functions F (−2) m . We would like to understand an equivalent description in a (more standard) zero picture. To render the 0 correlators well-defined, namely, to have a sensible time t 0 with a proper time evolution associated to it, one adds to the superpotential (2.6) the linear term in Y . Clearly, this defines a new integrable system for which, among other quantities, the 0 correlators as well as the −2 JHEP05(2019)111 correlators make sense. We then define a limit on the free energy (in the spirit of [4], but slightly more general) which leaves the 0 correlators well-defined, yet eliminates the leading linear term in the potential. In this manner we define 0 correlators for the superpotential without the linear term. In the following, we study this limiting procedure.

The definition of the zero picture correlators
Firstly, we convince ourselves that the limit of the 0-correlators is well-defined. To that end, we need to understand the scaling of quantities with the parameter ǫ 1 in which we take the limit. The scaling reduces the dimension of the chiral ring (since the linear term in the superpotential will be eliminated) and is therefore clearly impactful. We start with the superpotential W lin with linear term: The scaling limit is defined as follows. We multiply Y by ǫ 1 and rescale all u i≤−1 by ǫ 1 . By the formula for the v −α in terms of the universal coordinates (see [4,16]), this keeps all but the linear term in the potential fixed. In summary: For ǫ 1 = 0, a basis of the quotient ring is given by 1, Y −1 , . . . , Y −k . For ǫ 1 = 0, a basis of the quotient ring is given by Y −2 , . . . , Y −k . The latter ring has dimension two less than the former. The original model has a generating function of zero correlation functions, which we denote F (0) m . After the scaling transformation, it depends on ǫ 1 . We would like to determine the behaviour of the generating function as a function of the parameter ǫ 1 as we scale ǫ 1 to zero. We think of W lin (ǫ 1 ) as a constant term plus a linear term in ǫ 1 . In this particular model, we have that W lin = L max since the leading power in the potential is one. For the other formal power series, L min , the small Y and small ǫ 1 expansions are straightforwardly compatible. We can work to linear order in ǫ 1 at all stages. We have for instance where W now indicates the target superpotential without linear term, and where L is the formal series corresponding to the undeformed superpotential W . We can then use the formulas for the zero picture one-point functions gathered in [16] for the JHEP05(2019)111 rational model to understand the first derivatives of the scaled generator of correlation functions F (0) m (ǫ 1 ). They are given by residues of fractional powers of the roots: We see that we have one linear term in ǫ 1 in the generating function F (0) m (ǫ 1 ) of correlation functions, namely ǫ 1 u −1 u 2 0 /2, and otherwise quadratic terms in ǫ 1 . We also deduce from the last equation that the limit of the zero correlators for the operators that remain in the spectrum, captured by the quadratic terms in ǫ 1 , is given by the naive formula, namely, in which we replace the root L min by the root L of the limit potential W . We conclude that, once we subtract the cubic term ǫ 1 u −1 u 2 0 /2, the limit lim ǫ 1 →0 F (0) m (ǫ 1 ) has at most logarithmic divergences, and those are proportional to u −1 . The generating function of zero correlation functions that do not depend on u −1 is given by integrating up the naive formula (3.5) of the one-point functions of the limit model.
A scaling law. We can revisit the discussion more systematically by observing a scaling law for the model with linear term. We recalled the first derivatives of the generating function F (0) m of topological quantum field theory correlation functions (in the zero picture) in equations (3.5). These first derivatives are determined algebraically. It is an interesting question whether the final integration of the generating function can also be performed algebraically. We already know this to be the case for the topological quantum field theories that arise from deforming topologically twisted conformal field theories. Indeed, the latter satisfy the scaling equation [4,7]: where the sum is over all operators in the spectrum of the topological theory, c is the central charge of the superconformal field theory and q i are the R-charges of the operator insertions. This equation allows us to perform the final integration (by computing the left hand side to obtain the right hand side) for the generating function F (0) m of correlation functions. Thus, for these theories, the calculation of the generating function can be performed completely algebraically. This equation is true both in the compact [7] and the non-compact model [4].

JHEP05(2019)111
The question we turn to is whether there is a similar scaling law for the non-compact model with a linear term (3.1) (or equivalently, a compact model with a X −1 term). We propose the following answer: consider the generating function F (0) m . It has a single logarithmic term. Divide the argument of the logarithm, namely u −k , by a scale factor µ. Then, the generating function F (0) m satisfies the anomalous scaling law: We have checked the anomalous scaling law in examples at levels k ≤ 7.
We now show that this scaling law is consistent with the limiting procedure towards the non-compact model without linear term, as well as the behaviour of the generating function in that limit. Indeed, in that limit, the terms quadratic in u −1≥−i≥−k (that correspond to order ǫ 2 1 terms in the generating function) will make for a right hand side in equation (3.7) equal to matching onto the right hand side of equation (3.6). Thus, the limiting scaling law reproduces the known scaling law (3.6) for the deformation of the non-compact conformal field theory. The scaling law allows for an entirely algebraic determination of the generating function F

The relation between the zero and the minus two pictures
In the previous subsections, we scaled out the linear term from the potential (3.1). The potential then agrees with the one from the integrable system obtained from duality. We have available a description of the correlators in both the −2 and the 0 picture and can now ask for the precise relation between these correlators. It is sufficient to observe that we know the relation between the universal coordinates, given by the equatioñ as well as the equality between the second derivatives of the generating function with respect to these coordinates [16]: Further derivatives give higher-point functions, and these derivatives can be related through the coordinate transformation and the chain rule

JHEP05(2019)111
For the three-point functions, we find for instance: We can confirm this equation using the relation between operators valid modulo W ′ , as well as the residue formulas for the correlators (see [16] for details). Thus, all correlators in the two pictures are in principle related in a straightforward manner.

The link to the strict non-compact model
Finally, we take the limit towards the strict non-compact models described in [2,4] with superpotential (3.14) These are obtained by restricting to the topological degrees of freedom that arise from the physical Hilbert space of the twisted N = 2 Liouville theory at radius √ kα ′ [2,4]. We need to eliminate the constant term and the term proportional to Y −1 in the superpotential (2.6). We therefore send v 0 = u 0 = ǫ 2 and v −1 = u −1 = ǫ 2 to zero. Given that the superpotential and the non-compact root L behave regularly in the limit, there is no subtlety in defining the limiting expressions. Those give rise to the models of [2,4]. To recuperate all parameters present in [2,4], one needs to restore two parameters, which one can accomplish by rescaling Y (to obtain a non-trivial parameter in front of the leading order term Y −k ) as well as shift the variable Y −1 (to find a non-trivial subleading term proportional to Y −k+1 ). We refer to [2,4] for a full description of the resulting integrable system.

Quantum non-compact gravity
In this section, we comment on the solution of non-compact matter coupled to topological gravity on higher Riemann surfaces. Our strategy for solving the quantum model is simply to exploit the solution to the quantum compact model through the equivalence map. Thus, we immediately describe the quantum theory with respect to the non-compact reference time t −2 . Schematically, the reasoning is that we turn the statements about the classical symplectic structure into equivalences on the quantum commutators, through the quantization: in respectively the compact and the non-compact theory. The first equation leads to the standard quantised (or dispersionful) KdV hierarchy, while the second is its image under the equivalence map. We change variables on the left, as in the classical theory, and then quantize and obtain the operators on the right (with identical operator ordering prescriptions in both theories). We refer to [8] for a review of the quantum KdV hierarchy

JHEP05(2019)111
in the context of topological gravity. There it is discussed that at zero compact times t i≥1 c , the initial condition for the quantum Lax operator L c appropriate for the topological quantum field theory coupled to gravity is because of the three-point function for primaries X i at the conformal point, fixed by charge conservation. This then uniquely determines the τ function which is the generator of correlation functions for compact matter coupled to topological gravity: We record what these statements become under the equivalence map. The initial condition will map to To understand the initial condition, we need to realize that the relevant topological quantum field theory three-point functions are the correlators in the minus two picture. As we saw earlier, the operatorsφ i indeed have the same (minus two picture) three-point functions as do the φ i c operators (in the zero picture). Continuing in this vein, the time variables t i will couple to theφ i operators and we define the logarithm log τ of the tau function as: Under the duality map, we then have the equality of tau-functions We can ask for the relation with the generator of correlation functions defined in terms of the original operators φ i or φ α in the non-compact model. We imagine we can restrict to the latter (by the decomposition of descendants into primaries and the renormalization of primary times). We then observe that the fields φ α andφ α are related in the non-compact model by a linear transformation (see equation (3.13)). We thus have a description of the correlators of the φ α (and φ i ) fields in the zero picture as well. Thus, we have provided an algorithm for calculating the correlators of quantum non-compact gravity.

On analytic continuation
In this section, we discuss the extent to which our non-compact topological models are related to the compact topological models by analytic continuation. It is interesting to perform analytic continuation in correlation functions computed for general positive compact level towards negative levels. Firstly, in [18], this was shown to reproduce, at negative level k c = −1, the Penner model for Euler characteristics of moduli spaces of Riemann surfaces. Secondly, at level k c = −2, a connection to unitary matrix models was uncovered [20]. Thirdly, at generic negative level k c , an intriguing connection to the spectral JHEP05(2019)111 density of the SL(2, R)/ U(1) coset conformal field theory was suggested in [19]. Fourthly, one can make a tentative link to matrix models with negative power monomial potential [17]. Here, we point out that analytic continuation reproduces a few elementary results in the non-compact topological theories that we obtained through duality. However, we also show that generically, analytic continuation will lead to a different model. Thus, we situate our non-compact model more clearly with respect to the literature. The section is structured as follows. We first make the point that it is hard to generically relate our non-compact models to compact models through analytic continuation. Then, we backtrack and show that for a number of elementary results, there is a connection using analytic continuation. Finally, we illustrate how these links break down for generic correlators in a simple example.

A generic argument
In the compact model coupled to topological gravity, it was argued in [21] that the generator of correlation functions F is a polynomial of maximal degree k c + 1 at genus zero. This follows from the charge conservation rule where s is the number of primary insertions and q i is their R-charge. The central charge c equals c = 3 − 6/k c where k c is a positive integer for compact minimal models. The order of the polynomial is given by the maximal number of insertions. To maximize the number of insertions, we must maximize their R-charge (since the R-charge is strictly smaller than one). Thus, to compute the order of the polynomial, we solve the equation For the maximal R-charge q max = 1 − 2/k c present in N = 2 minimal models, we find that the maximal number of insertions is s max = k c + 1, as stated. For non-compact models at central charge c = 3 + 6/k, the same R-charge conservation rule holds, and one can reason similarly. In order to come as close to the compact model as possible, we will not allow the marginal deformation with R-charge 1. If we allow the subleading R-charge 1 − 1/k, then we will find a polynomial of order 2k − 1. If we only allow for the (subsubleading) maximal R-charge 1 − 2/k, then the polynomial will be of order k − 1. 9 Thus, we already strongly suspect that generic (zero picture) correlation functions cannot match (under analytic continuation). This generic argument is convincing, but we will confirm it through more detailed reasonings in the following. To increase intrigue, we first discuss a few correlators in which analytic continuation does provide a good guide to non-compact correlators. 9 It is instructive to track down how exactly the duality evades this reasoning. In fact, a new vacuum |vac (−2) = φ −2 |vac (0) is defined in the −2 picture which modifies the analysis such that in the R-charge conservation rule the non-compact central charge is transmuted into the compact central charge. Moreover, the spectrum of R-charges of the tilded operators also matches the spectrum of compact R-charges. This leads to a polynomial order for the generating function identical to the order in the compact model. The redefinition of the vacuum is a consequence of the change of measure in the path integral.

A few elementary correlators
It is known that the three-and four-point functions of topological gravity (at vanishing times) plus the associativity equation determine the generating function F of correlation functions uniquely [21]. Thus, one strategy to see to what extent analytic continuation reproduces the non-compact correlation functions is by starting out with the comparison of low-point functions at the conformal point (i.e. with monomial superpotential and all times equal to zero), and to build up from there.

The three-point functions
When the times vanish, the zero-, one-and two-point functions in topological gravity are zero. The three-point functions of three primaries in the compact model are (see e.g. [22]) The delta-function is dictated by charge conservation. In the non-compact model, we have [2,4] The delta-function on the right hand side can be obtained by analytic continuation k c → −k from the compact correlator. Indeed, this is a direct consequence of the relation between the compact and non-compact central charges of the underlying N = 2 superconformal field theories. Note that these correlators match the zero picture matter correlators: and which also translate into one another under analytic continuation in the level. This indicates that if analytic continuation is to work, it will be in the zero picture. Thus, we seem to find that three-point functions compare well under analytic continuation. However, it is crucial to think about the spectrum of R-charges as well. In other words, one should also wonder about how to match observables. The spectrum of R-charges in the zero picture is the set {2/k, 3/k, . . . , 1} in the (strict) non-compact theory, and does not match the spectrum of R-charges {0, 1/k, . . . , 1 − 2/k} in the compact theory. We will come back to this point, since it spoils the correspondence between the generating functions F at low order despite the neat continuation from equation (5.3) to equation (5.4).

Four-point functions
A less trivial comparison is provided by the calculation of the four-point function on the sphere at zero times. For the compact four-point function we have the charge conservation rule: The four-point function was calculated in the integrable system formalism in [21], by perturbing the superpotential to first order in times, and following the prescriptions for computing the perturbed three-point functions to linear order in time. In particular, one uses the residue formula for the three-point function and the Hamiltonians and operators to linear order in time. The result for the perturbed three-point function [21], linear in times, in our conventions reads where a sum over i 4 is implied. At zeroth order in time, we confirm the three-point functions. The term linear in time fixes the four-point function at zero time, which satisfies The last equation is proven on a case by case basis. We turn to the non-compact four-point function on the sphere at zero times. At zero time, we take the conformal model We compute the intermediate results: We use the residue formula for the three-point function as a function of times t i , and wish to compute it to linear order in times in order to find the four-point function at zero times. We find:

JHEP05(2019)111
where we established the charge conservation equation for the four-point function 4 m=1 l m = 2k + 2 . (5.14) In the end, we obtain a four-point function: We rewrite the correlators in the compact case as which is proportional to a minimum of NS and R-sector R-charges. For the non-compact case, we write similarly: which has the same dependence on the charges, while the central charge c is an analytic continuation of the compact central charge c c . The overall sign can be made to agree by a change of sign convention for the deformation times. The big caveat however is that the spectrum of charges does not match, as remarked earlier.

An explicit difference
In this subsection, we illustrate in detail how the analytically continued compact and the non-compact topological gravity model part ways. We already mentioned the uniqueness of the higher point functions given limited data on the lower point functions. This uniqueness theorem goes through mostly unchanged in the non-compact setting. Thus, to understand the difference between the analytically continued compact model and the non-compact model it is indeed sufficient to study low-point functions. As we have already hinted at, the hiccup lies in the spectrum of R-charges (combined with anomalous R-charge conservation) which leads to differing low-point correlation functions.
An example. We provide an example in which the reconstruction of the generating function differs for the compact and the non-compact case, showing non-uniqueness, even in the face of seeming analytic continuation. Consider the level k c = 3. For the compact case, we have the results

JHEP05(2019)111
for the generating function of matter correlation functions in terms of the times t α = u α . Indeed, we have a three-point function φ 0 φ 0 φ 1 0,t=0 = X 0,t=0 = 1 at zero times, and we have the three-point function φ 1 φ 1 φ 1 0,t = X 3 0,t = − u 1 X 0,t = −u 1 at non-zero time, giving rise to the quartic term in the generating function.
For the non-compact case, at level k = 3, we have: To find an analytic continuation map, we want to work in the zero picture, as argued previously. We can, for instance, choose a basis of operators: but these have no non-zero two-or three-point functions in the zero picture at zero times and cannot match the compact model. On the other hand, we might choose the basis of operators: and we have a topological quantum field theory two-point function between these two operators in the zero vacuum. (The two-point function however is zero after coupling to topological gravity.) At zero times, there is however no non-zero three-point function involving both types of operators, and therefore, again, we cannot match the compact picture correlators. We conclude that the generating function is not an analytic continuation of the compact generating function. This can also be verified using their explicit expressions. 10 The underlying reason is that, in the zero picture, the spectrum of R-charges (as well as the anomalous R-charge contribution) in the compact model and the non-compact model differ. That makes (for instance) for different cubic terms in the generating function F . At higher levels, one finds even more manifest disagreement, for instance in the degree of the polynomial generating function, as argued in subsection 5.1. We conclude that the formal agreement of zero picture correlation functions that we obtained (at zero times) by analytic continuation, does not translate into identities for the generating functions. Of course, one can mend this disagreement between the compact and non-compact models, through duality. As we saw, in that case we identify the levels, without a sign flip, and do find a correspondence with the minus two picture of the noncompact theory, as described in detail in section 2.
Summary. Analytic continuation of compact correlators leads to interesting results, including relations to known integrable models [17][18][19][20]. Those models differ from the noncompact models we obtained by twisting N = 2 Liouville theory at asymptotic radius √ kα ′ [2,4], and from the models we obtained through duality.

JHEP05(2019)111 6 Conclusions
We have exploited the transformation of variables X = Y −1 to solve non-compact topological quantum field theories, before and after coupling them to topological gravity, and on Riemann surfaces of arbitrary genus. The transformation reduces the problem to its compact counterpart, which has been solved previously. While the conceptual framework is simple, the details are slightly involved. We demonstrated that the duality maps compact zero picture correlators to non-compact minus two picture correlators. The minus two picture non-compact correlators are in turn related to their zero picture counterparts. Finally, the latter naturally arise from twisted topological conformal field theories as described in [2,4]. As a by-product, we were led to conjecture a scaling law for rational models with a leading linear term. Our duality has interesting conceptual consequences. Firstly, we shed new light on the solution of the topological quantum field theories discussed in [2]. Secondly, we extend the solution to non-compact gravity proposed in [4] to arbitrary genus. Thirdly, the duality map provides insight into the observation of [4] that the critical exponents of non-compact two-dimensional gravity are the same as those of the compact models. Indeed, the duality map implies that this must be the case. Non-compact matter in the presence of topological gravity seems to disturb the Riemann surface to a high degree, and precisely such that gravity compensates to make the matter degrees of freedom behave like compact matter once more.
A further conceptual clarification of the gravitational backreaction of the non-compact matter would be welcome. How does it precisely come about that the gravitational backreaction makes sure that the combined non-compact gravitational system has critical behaviour that matches the compact critical behaviour? Can this be reproduced by a lattice simulation? Further insight into this mechanism would clarify whether we should expect a similar phenomenon for matter of central charge c > 1 coupled to ordinary gravity. That would solve a longstanding problem in two-dimensional gravity, i.e. it could foreshadow a stable endpoint for two-dimensional gravity coupled to more than minimal matter. Fourthly, the solution of the non-compact gravitational model is one key to solving topological string theories on asymptotically linear dilaton spaces which form a large class of analogues of non-compact Calabi-Yau manifolds. We look forward to exploiting the solution of the non-compact models further.

A.1 The map of the universal coordinates
Since we proved the classical equivalence of the compact and non-compact models, we can use the formulas valid for the compact topological quantum field theory [22] in order to reconstruct the solution of the non-compact topological quantum field theory [2,4]. As argued in the bulk of the paper, the universal coordinates natural in the duality map differ from those typically used in the non-compact models. Thus, it is useful to compute the coordinate change.
The coordinate change can be constructed as follows. The series expansion of the (compact model) variable X in terms of 1/L c at large L c is identical to the series expansion of 1/Y in terms of 1/L at large L, under the duality map. The subtlety lies in the fact that for the non-compact system the universal coordinates are defined in terms of the series expansion of Y at large L. Still this information is sufficient to find the link between the universal coordinates. For simplicity, we restrict to the case where u −2 = u −k = 1 and u −3 = u −k+1 = 0. 11 We then have the non-compact universal coordinates defined by the expansion and therefore derive Comparing the latter sum to the compact universal coordinates by replacing Y −1 = X and L ↔ L c , we find the relation between the universal coordinates in the two systems: We can also compute the inverse relation, expressing the non-compact universal coordinates in terms of the compact universal coordinates: (A.5) 11 These parameters can be restored by respectively rescaling and shifting the variable Y −1 .

JHEP05(2019)111
Thus, we have established an explicit map between the compact and the non-compact models for the standard universal coordinates. Note that this also establishes a map between tilded universal coordinates in the non-compact model used in the bulk of the paper and the untilded universal coordinates for the non-compact model used in [2,4].

A.2 The equivalence exemplified
We compare topological quantum field theory generating functions of correlations functions. On the one hand, we recall the compact generating function F c,m after a relabelling. We also illustrate the coordinate map of appendix A.1 concretely at levels three and four.
At level k c = 3 = k, we have the potentials: and after some calculation, we find the generators of correlation functions: We have used the intermediate result that which codes the relation between the non-compact universal coordinates. Moreover, the duality relates the tilded universal non-compact coordinatesũ to the compact universal coordinates u c . We have therefore and the generating functions (A.7) coincide, as implied by duality. Next, we put k c = 4 = k, and work with the superpotentials:

JHEP05(2019)111
After computing the formal series L c and L, and the operators φ α , and plugging them into the second derivative potentials G αβ , we can integrate up twice to find the compact and non-compact generating functions. Alternatively, we can use the known one-point functions and a scaling relation. A number of lines of calculation later one finds: The universal coordinates map as In appendix B we will independently recover these results from the generating function of the non-compact model calculated in the zero basis and using the limiting procedure detailed in the text. We end this section by observing that the expression for the generating functions F . We also explicitly provide the limiting form of the generating functions in the limit ǫ 1 → 0, defined in subsection 3.2 in the bulk of the paper, as well as an example calculation of the relation between different sets of universal coordinates.
As described after equation (3.5), in the generating function F (0) m of the model with the linear term, we scale all the universal coordinates u −j by ǫ 1 except u 0 and then the generating function of the strict non-compact theory is the one obtained by extracting the O(ǫ 2 1 ) coefficient, along with setting u 0 = u −1 = ǫ 2 = 0. One can then check that the resulting generating function indeed satisfies the conformal field theory scaling (3.6) with non-compact central charge c = 3 + 6 k . Below we list the zero picture generating function, its ǫ 1 -expansion and finally, the generating function of the strict non-compact model 12 in the zero picture for levels k = 3, 4 and 5.
The generating function F s.n.c. of the strict non-compact matter model of subsection 3.3 is obtained by setting u −1 = u 0 = 0 and taking the ǫ 2 1 coefficient of F m . This leads to the generating function F s.n.c. for the strict non-compact model Level four.
The generating function of the strict non-compact model at level k = 4 is

JHEP05(2019)111
The generating function of the strict non-compact model is given by The generating functions of the strict non-compact models can be seen to agree with the results obtained in [2] and they satisfy the scaling law (3.6).
Relations between universal coordinates from the generating function. Once we have the generating function of the non-compact theory, it is a simple matter to take derivatives and obtain the two point function G βα 0 . According to [16] this provides the relation between the universal coordinates u andũ in the zero and minus two bases. The superpotential for which we do this is The generating function that has been calculated for the examples in section A.2 is for the rational model As discussed in detail previously, to obtain results in the non-compact model defined by the potential (B.7) we perform the Y → ǫ 1 Y scaling, accompanied by the appropriate scaling of the u-variables. In addition, in order to apply these results to the model defined by equation (B.7), we need to set u −k = 1 and u −k+1 = 0. The relevant two point functions of the rational model that define the universal coordinatesũ −α in the −2 picture, are given bỹ for α ∈ {−2, −3, . . . , −k} .
(B.9) Let us illustrate this in the case of the level three model. The generating function is given by (see equation (B.1)): By differentiating with respect to the coordinates u we find that

JHEP05(2019)111
Applying the limiting procedure discussed above, we obtaiñ confirming what we found using the Lax operators in appendix A.2. The same procedure can be applied to the higher level examples. For level four we find and for level five: (B.14) Once the map between the universal coordinates in the minus two and zero pictures is obtained, one can proceed to relate all n-point correlators as discussed in subsection 3.2.2.
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.