On some (integrable) structures in low-dimensional holography

Recent progress in holographic correspondence uncovered remarkable relations between key characteristics of the theories on both sides of duality and certain integrable models. In this note we revisit the problem of the role of certain invariants in low-dimensional holography. As motivating example we consider first the entanglement entropy in 2d CFT and projective invariants. Next we consider higher projective invariants and suggest generalization to higher spin theories. Quadratic in invariants deformations is considered and conjectured to play role in low-dimensional higher spin holography.


Introduction
One of recent lines of developments suggest that gravitational theories are holographic. Another point of view is that space-time itself is emergent. Both of these approaches have roots in string/gauge theory duality. String(gravity)/gauge theory duality, along with its tremendous success, poses also a number of conceptual issue. One of them is how the Anti-de-Sitter/Conformal Field Theory (AdS/CFT), or holographic correspondence can be explicitly realized? The holographic correspondence means that the (quantum) gravity should be somehow encoded in the boundary theory! How then this information is stored on the boundary and how can it be extracted? It is worth to note that, along with many other things, one of the most attractive features of this duality is that it offers a way to resolve many puzzles of the weak/strong coupling phenomena.
Obviously the answers of these questions could affect some of the foundations of the current paradigms. Thus, the understanding of these issues is of crucial importance. The interpretations on both sides of duality unavoidably involves investigation of entanglement entropy at macro-and microscopic level. Recent progress in holographic correspondence uncovered remarkable relations between entanglement entropy (EE) and a specific extremal surface area. The celebrated holographic entanglement entropy formula states that an extremal surface anchored to the boundary contains the complete information about entanglement entropy for arbitrary regions [1]. It is tempting to consider the space of entanglement entropies however, this spaces is obviously much bigger that the space of asymptotically AdS metrics. Thus, to develop effective method for explicit description of theories on both sides it is better to consider geometries dual to holographic states. This line of considerations is based on the assumption that the bulk content represents, in possibly highly non-trivial way, the evolution of particular boundary data. The latter basically consists of correlation functions of certain local operators. Thus, studying some non-local properties like entanglement entropy in this context is interesting and challenging task.
While about holographic duality from bulk to boundary direction there are a number of impressive results, the opposite direction, namely bulk reconstruction just recently started to attract good deal of attention. Indeed, to reconstruct bulk theory one has to have complete dictionary between the two sides of the duality. This however is not enough, since we should know how bulk data is encoded into boundary theory. The main playground for this type of investigations is the AdS/CFT correspondence and its modifications. The most tractable case of holographic duality is in the case of (asymptotically)AdS 3 /CF T 2 where integrable structures play essential role. An inspiring work in this direction for instance is [27]. The advantage is that the theories on the boundary are usually integrable even at quantum level. This allows to make conclusions for the dual theory for wide range of couplings. The entanglement entropy in two dimensions is usually calculated by making use of replica-trick (see for instance [3] and references therein). In view of applications to holography, it is important to collect as much as possible information that could be used for bulk theory reconstruction. Thus, study the entanglement entropy of excited states provides another piece complementing that information. In particular, it was shown that for a single interval the entanglement entropy equals to the one-point function of energy momentum tensor (see, for instance, [4]). Looking for projective invariants we find that entanglement entropy of excited states, calculated via replica-trick method, has an expansion in terms of so-called Aharonov invariants the lowest of which is the Schwarzian [5]. Excited states can be though of as obtained by certain conformal map.
Following the strategy of looking for integrable structure it is natural to express this map in terms of Faber polynomials. The later have as coefficients the so called Grunsky coefficients. It is know for some time that Grunsky coefficients are related to integrable hierarchies, namely second derivatives of certain tau function. Exploring this fact, it has been shown in [5] that entanglement entropy is expressible as series with coefficients second derivatives of dispersionless Toda (dToda) tau-function. We should note that Toda theory appears in many physical models (including holographic and higher spin theories) and we conjecture that entanglement entropy is intimately related to Toda hierarchy.
The very short discussion above points towards importance of the integrability in holographic correspondence not only as a tool, but also as conceptual element in understanding this phenomenon. In this note we revisit the problem of the role of conserved quantities and some other characteristics in low-dimensional holography with the idea to generalize the considerations to higher spin theories. We will take a different view to the problems, namely we will consider integrable structures underlying the main features appearing in this type holography.
The notes are organized as follows. In the next section we give a brief overview of the integrable structures in expressions like entanglement entropy etc. with an emphasis to projective structures. The results give a strong motivation for more thorough considerations with the idea for generalizations to higher spin holography. Next, we introduce higher projective structures and represent them in terms of (partial) Bell polynomials asa well as in terms of certain tau-functions. A brief analysis how these invariants could appear in the higher spin actions is offered. We suggest also quadratic deformations for higher spin theories analogous to the so-called TT , TJ etc. deformations.
In the concluding section we comment on the results and some further developments.

Entanglement entropy and projective/integrable structures
One of the central issues in holographic correspondence is the bulk theory reconstruction from boundary data. It is well known that for this purpose not only the correlation functions are needed but also the conformal blocks. Part of the necessary boundary data comes from the excited states. Focusing to 2d CFT, the action of the conformal group includes full Virasoro algebra. The identity operator has as a descendant the stress-tensor T (z) (which is quasi-primary) as well as its derivatives According to the holographic conjecture these are the states that capture the gravitational sector of the dual theory. The excited states play analogous role in the correspondence. Concerning bulk reconstruction, Ryu-Takayanagi conjecture has a central role. Consider a spacial subsystem A of the CFT and let S(A) is its entropy. The Ryu-Takayanagi formula states the equality whereÃ is co-dimension 2 extremal surface with the same boundary as A. We turn now to the field theory side calculations focusing on the excited states.
To obtain the excited states we use the operator-state correspondence. In other words, we assume that the excited states are realized by a conformal transformation z → w = f (z) is realized by an unitary operator U f (U f U † f = 1) [4]. The vacuum entanglement entropy (EE) has been considered in many papers, see for instance [2,3]. The Möbius transformations (or its universal cover SL(2, C) leave the vacuum invariant. Therefore, the excited states should be obtained by transformations which do not belong to SL(2, C). Under such transformations two-point correlation function of the primaries Φ ± is The entanglement entropy can be calculated by making use of the Rényi entropy. On the other hand, calculation of the Rényi entropy usually uses twist fields Φ ± of dimensions (h n ,h n ) = c/24(n − 1/n, n − 1/n) and normalization as in [3] Then, the entanglement entropy is obtained from Rényi entropy S (n) (below δ is an UV cut-off) taking the limit n → 1 Assuming that the excited states are obtained as |f = U f |0 and the transformation properties (2.3), one can easily find for the Rényi entropy the expression (2.7) Thus, the limit n → 1 gives the entanglement entropy for the excited states It is well known for long time that expressions of this type satisfy Liouville field equation This is a strong argument to proceed in searching for integrable structures in such important characteristics of the theories on both sides of the duality. Indeed, the first step naturally appears to be looking for SL(2, C) invariants in entanglement entropy of excited states. Expanding the argument of the logarithm in (2.8) in the interval length, the expression actually becomes expansion into the so-called Aharonov invariants [5]- [8] f (2.10) The expression is invariant under Möbius transformations M, M • f (z) and thus, The quantities ψ n [f ] are called Aharonov invariants and satisfy the recursion formula [6] (see also [7,8]): The first several invariants are where S(f ) is the Schwarzian derivative (2.14) In [7] it was proven that all Möbius invariants are derivable from the Schwarzian derivative S(f ). The next natural step is to explore the fact that the expression for entanglement entropy satisfies the Liouville equation. The later is the first member of the Toda fields family and it would be natural to expect integrable structures of this hierarchies to appear in our expression (2.8) To find a relation between this expression and Toda hierarchy in is instructive to expand on the interval endpoints. Before doing that, we should stress on that the confomal maps must be univalent functions, one univalent around the origin (infinite past) and the other in neighborhood of infinity (infinite future). These have expansions as follows S = f (z) = a 1 z + a 2 z 2 + a 3 z 3 + · · · = ∞ n=1 a n z n , a 1 = 0 (2.15) are analytic in U × U, U × V and V × V respectively. For our purpose we need to expand g ′ (z)/(g(z) − w)) in series with respect to z at ∞ are called Faber polynomials and b nm are called Grunsky coefficients. They satisfy the recursion relation It is a simple exercise to find differential relations between the Faber polynomials, which we present below for completeness The coefficients b nm are called Grunsky coefficients. They are symmetric in its indices and polynomials in b k 's. Using above properties of the univalent functions, one can write the non-singular part as an expansion with Grunsky coefficients [5]. Indeed, having defined Grunsky coefficients, one can write (2.10) as [12] f (2.22) Therefore, the difference between the vacuum entanglement entropy and that of excited states(??) can be written as 1 Now we are ready to make a link to Toda dispersionless hierarchy.
To describe Toda dispersionless hierarchy we will use the Sato approach to integrable hierarchies, namely the formalism of pseudodifferential operators, . Then the dispersionless Toda hierarchy is defined as the system of differential equations where L andL are generating functions of unknowns To make a link to the previous considerations it is useful instead of using pseudodifferential operators to work in terms of their symbols 2 1 As a side remark, the direct calculation (2.10) allows to find the Schwarzian in terms of Grunsky coefficients The operators B n ,B n are defined by where the truncation operations () ≥0 and () ≤0 denote the polynomial part and the negative degree part in p. The Poisson brackets for symbols are A crucial point in the theory is the existence of the so-called tau function, which is related to the free energy of dispersionless Toda system as F = log τ dT oda . To find explicit expressions we first note that from (2.27) one finds Using standard techniques as in [12,13], one can prove the relations Now we are in a position to map these quantities to the previous expressions. First we identify p with w = g(z) belonging to the class Σ and L with z. Next, F (p) is identified with z = G(w), i.e. the inverse of g(z). Thus, B n become Faber polynomials! Reversing the considerations and following for instance [14], one can prove for consistency that the so defined tau function satisfies the Hirota dispersionless equation. The identification we made maps the expression (2.22) to The Grunsky coefficients b nm of the pair (g = w(L), f = w(L)) are related to the tau function, or free energy as follows: In particular, the Schwarzian takes the form The higher Aharonov invariants can be easily found in terms of the tau function, or equivalently ∂ 2 F /∂t n ∂t m . For this purpose it is convenient to introduce the quantity Thus, the Schwarzian can be written as Using the explicit expressions in (2.13) for the first few Aharonov invariants, one finds To conclude this section we note that Liouville and Toda equations appeared in the literature in relation with entanglement entropy, see, for instance comments in [10,11] Thus it is natural to conjecture that there is deeper sophisticated relations between integrable hierarchies and entanglement entropies in holography.

Higher projective invariants and complex structures
As we mentioned above, we would like to generalize previous considerations to higher spin theories. In terms of complexity, higher spin gravity is considerably simpler than string theory, since it is basically an ordinary quantum field theory. On the other hand it is much simpler than the full string theory. Having legs on both, gauge theories and String theory, higher spin gravity in 3d provides a very useful laboratory for testing various ideas about weak/strong phenomena.
The generalization we are looking for requires higher projective invariants and we are going to discuss them now. There are quite some papers on higher projective invariants, including such oriented towards holographic applications to higher spin theories and Sachdev-Ye-Kitaev (SYK) models, see for instance [15,16,33] and references therein. Here we will specifically focus on the setup allowing to identify the integrable structures underlying the theories as well as to make link to W-algebras.
We start with brief review of the higher projective invariants. Motivated by the appearance of Schwarzian derivative as a SL(2, C) invariant the holographic structures, we are going to consider the SL(n, C) case.
The projective invariants are naturally associated with the solutions of the ordinary differential equation Suppose we have n linearly independent solutions (y 1 , y 2 , . . . , y n ) and define "projective coordinates" in the space of solutions as f i = y i /y n for i = 1, . . . , n − 1. The {f i } can be thought of (locally) as homogeneous coordinates on CP n−1 . To construct such invariants we consider a differential equation for the projective "coordinates" f i which means that the n-th solution is just 1. This means that in the general case the differential equation contains only derivatives but not free term. Therefore, we should consider the equation Again, assuming that f i are the n linearly independent solutions with f n = 1, we find for the Wronskian of this equation Let us first definẽ The coefficients a i (z) in (3.2) are Thus, the equation (3.2) can be written as In these notations the projective invariants q i for i = 0, 1, . . . , n − 2 are given by [17,18] (p i ≡ q i ) It is known that the coefficients of the equation (3.2) are invariants, but we would like to construct projective invariants! This means the quantities above are invariant with respect to the transformations of the form Although determinant representation is very similar to some structures of the integrable systems, for instance tau-functions, for practical purposes is very useful to give another expression for the invariants. The projective invariants associated to the ordinary differential equation y (n) + p n−2 (z)y (n−2) + · · · + p 0 (z)y = 0, (3.9) can be written as and Here (x) n stands for Pochhammer symbols and B n,k (x 1 , x 2 , . . . , x n ) are partial or incomplete exponential Bell's polynomials 3 . Since Bell's polynomials B n,k are homogeneous polynomials of degree k, it is convenient to define the quantities Thus, the above invariants can be written in the form and (3.14) As an example, let us consider n = 2, i.e.
y ′′ + p(z)y = 0. For the two linearly independent solutions (y 1 , y 2 ) we define the quantity f = y 1 /y 2 . According to the considerations above, the only projective invariant is given by is the Schwarzian derivative. This, of course is pretty well known result. For completeness, here we provide the invariants in the case of n = 3. This case corresponds to the third order equation In this case there are two projective invariants. The formula (3.7) gives [18,19] q 0 = 1 3

19)
3 Short information about Bell's polynomials and some notations are given in the Appendix. where Let us compare our formula with the expression found in [15] for instance. The expression for the energy-momentum tensor in that paper can be written as The correspondence between (3.21) and our expression is realized by the identification Then, using that ∂W 3 = W 2 we find that the two expressions coincide. The comparison with the other expression goes analogously, but is much more lengthy and we skip it here. It is straightforward to obtain higher invariants using (3.7), but the relation to integrable structures is still somehow more subtle [34]. Represented in this form however, the expressions(3.7) suggests that it may have also representation in terms of taufunctions [19,34].
To discuss the geometric meaning of the projective invariants we focus on Chern-Simons theory with A n symmetry algebra. Starting with the simplest case, namely SL(2, R), let us define first the symplectic manifold (M, g) of all 2d SL(2, R) connections Next natural step is to make a symplectic reduction. Making that we find for the reduced symplectic form Thus, the flatness condition becomes On the other hand, Beltrami equation defines diffeomorphisms (z,z) −→ (F (z,z),F (z,z)), µ =∂ F ∂F . (3.29) The diffeomorphism transformations brings the measure to the following form Here µ is the complex structure while T is the projective invariant, T (z) = S(f ). Generalization of this picture has been suggested in the beautiful paper [20] (see also [21]). The corresponding generalized complex structure is determined by the ratios of the solutions of (3.31) Let us go back to (4.1) writing it in more explicit form after the symplectic reduction and parametrize the antiholomorphic part by Az =      a n−1,n−1 · · · a n−1,1 a n−1,0 . . . . . . . . . a 1,n−1 · · · a 1,1 a 1,0 a 0,n−1 · · · a 0,1 a 0,0 The coefficients a k,0 = µ k+1 generalize the Beltrami differentials and since the symmetry algebra is A n , the coefficient a 0,0 = − k a kk . To this end we define the differential operator as well as, its formal adjoint Thus, one can determine the elements with i > j recursively by making use of We quote the formula from [20] a l,l−p = l k=p The main conclusions from the considerations in [20] are: • The SL(n, C)-generalized complex structures are in one-to-one correspondence with the µ k (z,z), k = 2, . . . , n.
• The corresponding generalized complex structure is determined by the ratios of the solutions of (3.31).
In the next section we will provide more comments on these quantities.

Deformations of HS theories and projective invariants
To proceed, we briefly remind the most direct approach to the higher spin (asymptotically) AdS 3 /CF T 2 correspondence. The CS formulation of 3d gravity is the appropriate setup for HS generalizations. While the spin two case is based on SL(2) symmetry, for HS generalization the gauge group is SL(n). In the Virasoro case we define the symplectic manifold (M, g) of all 2d with symplectic form descended from Chern-Simons (CS) action In geometric therms A z and Az are the projective connection and Beltrami differential correspondingly. The hamiltonian reduction of the two copies of CS provides the map to the gravity theory. Thus, the dreibeins and spin connections are defined by The action is defined in the same way as in the SL(2) case, i.e. we apply all the technology developed so far to this case!
As discussed in the previous section, we generalize as well the expression for the symplectic form of the reduced space (4.2) as where u k is conjugate to µ k , u k = 2π δ/δµ k .
To proceed further, we follow the arguments in [24][25][26] and consider the inclusion of the higher spin charges. This is achieved by turning on "chemical" potentials µ k . From geometric point of view this corresponds to deforming the symplectic form (4.2) to (4.3), i.e. including higher Beltrami differentials as conjugate to the conserved charges. From CFT point of view turning on the chemical potentials µ k of the higher-spin charges can be accounted for perturbatively by adding an irrelevant perturbation to the action where Q s := q k−3 andQ s :=q k−3 are the holomorphic and anti-holomorphic invariants we introduced above (and corresponding to projective rewriting of u k ).
As an illustration of how this procedure works, we refer to [24] where the W 3 generalization of the action has been proposed in the form is the Wess-Zumino-Witten (WZW) SL 3 action with reduced connection The variation of the full action (bulk plus boundary) has been found in [26] to be: Here T is the stress-tensor, µ is its conjugate, Q s and µ k are the higher charges and their conjugate (and the anti-holomorphic parts correspondingly). The free energy is given by where S is the entropy. A careful variation of the entropy is 9) which confirms that the entropy is a Legendre transform of the free energy given above. Further developments along these lines can be found for instance in [27]. Our proposal for HS generalization of the theory action is based on the construction for SL(2) case, but also uses the chiral splitting of the W-gravity [24,25]. In a very nice paper 23 Freidel has discussed the SL(2) in some length. Introducing two 2d frame fields e ± = e ± µ dx µ and E ± , one can show that the wave functional is given by [23] Ψ(e ± ) = e ik 4π Σ e where, k = ℓ/4G, c = 1 + 6k, and Z c (E) satisfies 2d Ward identity. The nice output is an explicit expression for the bulk wave functional in terms of boundary data. The effect of integrating out the lagrangian multiplies has been explained in [22] and led to the action where the {x + , u} is the Schwarzian (p 0 in our notations) and the action is called dubbed as Schwarzian action. Note that this would correspond to a particular case of the so-called TT deformation of the original CFT. Following the same analogy the extension to HS looks straightforward -we have to go on the steps described by Freidel replacing the SL(2) frames with SL(n) ones and compute the effective action [19].
The systematic generalization to HS can be constructed by making use of a chain of transformation. Let us assume that we have generating functional of correlation functions in a quadratically (double-trace) deformed theory of the form where φ denotes all fundamental degrees of freedom and B i are sources with contact interaction with respect to the operators they are coupled to. It is natural to assume that in the sources are modified appropriately. The idea is to perform an inverse Hubbard-Stratonovich-like transformation 4 . To do that we introduce an auxiliary fields ( Let insert the identity (4.13) in (4.12) and make a shift where we introduced the generating functional Solving the integral by using the saddle-point approximation gives If we consider a 22 = 0 and all other vanishing, and A 2 = T ,Ā = T we find the so-called TT integrable deformation. In the case Virasoro symmetry this is double-Schwarzian deformation, i.e. SL 2 projective invariant. The deformation to the initial Lagrangian has the form (in our notations) δL = a 22 q 0q0 . (4.18) Our proposal for "TT " deformation of SL 3 HS theory, i.e. W-symmetry, is The expression for the TT is modified correspondingly since we have higher spin theory. Note that the choice of a 12 = 0 and all others vanishing leads to a deformation term of the form JT (or the hermitean conjugate for a 21 = 0).
In the case of higher projective invariants the simplest case is when only q n−2 and q n−2 are turned on. This means that we have chosen a nn = 0 and all other a ij vanishing. Following the discussion above our proposal for TT deformation of the HS Lagrangian in this case is δL = a nn q n−2qn−2 . (4.20) According to expressions in Section 3 the invariant q n−2 is given by and reduced symplectic form in these notations becomes (4.22) We interpret equation (4.20) as "double Schwarzian" for higher spin theories. Note that for the case n = 2 the expression (4.20) reduces to the double Schwarzian theory discussed in [22].

Comments on the relations to integrable systems
In this Section we present more direct links to integrable systems, namely relations between invariants and tau-functions. The most relevant language for this purpose is that of KP hierarchies.
First of all, let us recall the generic form of the KP operator which has the same form as the that in (3.2). It has deep meaning which can be unraveled looking at the associated geometric picture, namely Sato grassmannian [28]. The simplest differential operator ∂ n (i.e. u i = 0 for all i) corresponds to choosing the trivial point of the Sato grassmannian, But the operator D k (5.1), being in a general form corresponds to a generic point of the grassmannian. Thus, it should be possible to lift a function on the Riemann surface to a section of some bundle over the Riemann surface with the fiber equivalent to the grassmannian. To make all these explicit, let us start mentioning the Fourier-Laplace transform of a function f (x) Next step is to lift this function to a section of a certain bundle over the grassmannian.
As it is well known, there exist some sections, which are defined by KP flows This however, is when derivative acts as KP flow at the trivial point W 0 . To move to a generic point one should use the transform where Ψ W (λ, {t n }) is some Baker-Akhiezer function. Thus, (5.5) takes the general form The consistent truncation to the n-th flow, ∂ tn f = 0 leads to the equation ∂ n + w 1 ∂ n−1 + · · · + w n f = 0.
where f i are the solutions of (5.8). These relations provide direct link between higher projective invariants and the corresponding tau-function.
To obtain the relation between w k in (5.9) and u k in (5.1) one has to take logarithm of (5.9), expand both sides in series of 1/λ and use KP flow equations (residue w.r.t. ∂, i.e. the coefficient of where L is As an example, for the first two reductions one finds SL(2) reduction ∂ t 2 log τ = 0 : To this end it is useful to introduce the Hirota notations for tau-functions and the invariants w j where S (∂ t ) 6 is the Schur function. After plugin the above result into (5.16) we find This expression provides an explicit relation between higher invariants and tau-functions. At this point we would like to make a few comments. First of all we remind that the action for 3d gravity with negative cosmological consists of the difference of. two Chern-Simons actions. For each of them one can define higher projective invariants. Having in mind the arguments in Section 2 we conjecture that the tau-functions involved the above expressions are actually Toda tau-functions. Indeed, they looks pretty much like double-wronskian solutions.

Concluding remarks
It is strongly believed that integrability plays important role in holographic correspondence. Particular structures of integrable hierarchies appear in many phenomena, especially those associated with strong interactions. Many aspects of string theory side of the correspondence are naturally related to integrable system, but it is conjectured that the later are also building blocks of HS theories involved in low-dimensional holography. In this paper we considered several aspects of low-dimensional holography from point of view of integrable structures. 5 In our notations the numbers in the formulas below stand for the order of derivatives in the corresponding row. 6 Here∂ t denotes∂ t := ∂ ∂t1 , 1 As motivating example of such structures we consider entanglement entropy of a single interval. It turns ut that the expression for the entanglement entropy can be considered from three different angles. We found three expressions for it.
The first one gives an expansion in terms of Aharonov invariants. These are invariant with respect to Möbius transformations and explicit representation in terms of the Schwarzian and its derivatives.
The second expression involves Faber polynomials, which are defined by choosing appropriate basis in the space of univalent functions. As we discussed in Section 2, the excited states are realized by an unitary operator U f corresponding to conformal transformation z → w = f (z). An important structures here are also Grunsky coefficients, which provided a link to the next expression.
The third expression we found realizing that Faber polynomials can be mapped to the symbols of certain Lax operator of dispersionless Toda integrable hierarchy. Analyzing the expressions we found that the Grunsky coefficients are in fact second derivatives of Toda tau-function.
The conclusions from Section 2 are that entanglement entropy is related to the SL 2 projective invariant (Schwarzian) and its derivatives. On the other hand, it is related to dToda hierarchy and its tau-functions.
In Section 3 we present explicit expressions for SL n projective invariants (higher Schwarzians) with the idea to generalize the picture to HS theories. The final expressions are nicely organized into (sum of) partial Bell polynomials. The comparison of our expressions for the case of SL 3 agrees exactly with know results and we provided a short comments on the relation to old works on the origin of W-algebras.
The next Section 4 considers integrable deformations of HS action by invariant operators. The deformation with a single projective invariant is suggested to be interpreted as higher Schwarzian theory (or HS Schwarzian theory). In remarkable works Zamolodchikov [29] and Smirnov and Zamolodchikov [30] considered deformations by irrelevant operators, which attracted quite some attention. It has bee shown that these deformations have important physical consequences. For instance, it has been demonstrated that deformed and undeformed theories are related by field-dependent coordinate transformations [31]. On the other hand, one can show that they lead to Banãdos-type metrics. In another paper different deformations with broken Lorentz invariance (bur still integrable) has been suggested [32]. In this Section we suggested expressions for such deformations in the case of HS theories.
In Section 5 we provide comments on invariants we have found from point of view of integrable hierarchies. First, one can easily see that the space of univalent functions considered in Section 2 can be mapped to the trivial point of the universal Sato grassmannian. From this perspective the appearance of tau-functions looks natural. The determinant representation of the projective invariants also points toward representation in terms of tau-functions. In this Section we give explicit relation between these quantities.
The development of findings in this study can be pursued in many directions. Although quite some relations have been unraveled in this paper, many physical consequences and questions remain to be addressed. First of all, it would be interesting to consider the boundary conditions on the HS gravity side for irrelevant deformations. The role of such deformed theories as UV completion certain QFT's just began. This knowledge could provide better understanding of the HS holography. Another interesting issue is the geometric meaning behind such deformations in higher spin theories and W-geometries in particular. Indeed, applications to the minimal surfaces in the context of holographic cor-respondence could be important. As it has already been pointed for instance in [27], the KdV hierarchy plays important role in low-dimensional holography. On the other hand, tau-functions are powerful tool in studying main features on both sides of correspondence -correlation functions, partition functions etc. Thus, it remains to thoroughly develop these ideas along the lines above. Another direction is the study of W-minimal surfaces by making use of tau-functions. Although flag structure in our context is more or less well studied, the physical consequences of the deformations of flags still needs investigation. Finally, the role of the information geometry and quantum information for bulk reconstruction is sharply increasing. It is not quite clear whether (and how) the information geometry account for higher structures in this context. We plan to address some of these issues in future publications. j 1 + 2j 2 + 3j 3 + · · · + (n − k + 1)j n−k+1 = n.