## Towards Massless Sector of Tensionless Strings on AdS 5

Alexey Sharapov 1 , Evgeny Skvortsov 2 3 , and Tung Tran 2 4 ,

1 Physics Faculty, Tomsk State University, Lenin ave. 36, Tomsk 634050, Russia

2 Albert Einstein Institute,

Am M¨ uhlenberg 1, D-14476, Potsdam-Golm, Germany

3

Lebedev Institute of Physics,

Leninsky ave. 53, 119991 Moscow, Russia

4 Arnold Sommerfeld Center for Theoretical Physics Ludwig-Maximilians University Munich Theresienstr. 37, D-80333 Munich, Germany

## Abstract

A Higher Spin Gravity in five dimensions is constructed. It was shown recently that constructing formally consistent classical equations of motion of higher spin gravities is equivalent to finding a certain deformation of a given higher spin algebra. A strong homotopy algebra encoding the interaction vertices then follows. We propose two different and novel realizations of the deformed higher spin algebra in the case of five dimensions: one in terms of the universal enveloping algebra of su (2 2) and the other , by means of oscillator variables. Both the new realizations admit supersymmetric extensions and the N = 8 case underlies the massless sector of tensionless strings.

## Contents

| 1            | Introduction                                              |   2 |
|--------------|-----------------------------------------------------------|-----|
| 2            | Initial Data                                              |   5 |
| 3            | Vertices                                                  |   8 |
| 4            | Deformation                                               |  11 |
| 4.1          | Deformation Through the Universal Enveloping Algebra      |  12 |
| 4.2          | Quasi-conformal Realization . . . . . . . . . . . . . . . |  14 |
| 5            | Einstein Equations                                        |  14 |
| 6            | Conclusions                                               |  16 |
| Bibliography | Bibliography                                              |  17 |

## 1 Introduction

The Higher Spin Gravity is one of the approaches to the problem of quantum gravity whose main idea is to extend the metric field with (usually infinitely many) massless fields of spin greater than two. A rich gauge symmetry associated with the higher spin extension is expected to render higher spin gravities renormalizable and even finite, thereby serving as an alternative and/or companion of supersymmetry. The conjectural 'no counterterm' argument downgrades the problem of quantum consistency to a much simpler task of constructing a purely classical higher spin gravity. The crux, however, is a zoo of no-go theorems that makes it hard to find such theories in the landscape of conventional field theories. Many of these theorems are about the flat space background [1-3]. Recently, the most important of these no-go's have found their anti-de Sitter space cousins. 1

At present there are only three examples of higher spin gravities that avoid all the no-go theorems one way or another: (i) extension of the Chern-Simons formulation of 3 d gravity [11-13], which has been a very useful toy-model over the last years [14]; (ii) conformal higher spin gravity [15-17] where the non-locality is tamed by the local Weyl symmetry and it shares many features with conventional lower spin theories; (iii) chiral higher spin gravity, which exists both in 4 d flat [18-22] and anti-de Sitter [23] spaces. As shown in [22], the chiral higher spin gravity, being consistent at the quantum level, has S = 1 in flat space and a non-trivial S -matrix in AdS 4 . The latter can be used for deriving correlation functions in Chern-Simons Matter theories [23].

The AdS/CFT correspondence gives an important handle on the higher spin theories since the simplest CFT duals thereof are just free CFT's [24-26]. Free (or weakly coupled) CFT's do not have a large gap in the dimensions of single-trace operators and hence the existence of the gravitational dual is debatable [27]. The main difficulty is that the simplest holographic higher spin models cannot be conventional field theories due to severe nonlocalities required by the higher spin symmetry [8-10]. Yet, the existence of CFT dual descriptions allows one to address some problems of higher spin gravities from the boundary vantage point.

The free limit of N = 4 SYM is supposed to be dual to the tensionless limit of the IIB string theory on AdS 5 × S 5 [24, 28]. A priori there are no reasons to expect the tensionless limit be well-defined. Indeed, it is quite singular in the flat space background [29]. When

1 For example, the Weinberg and Coleman-Mandula theorems imply, basically, that S = 1 if massless higher spin particles are present as asymptotic states. Likewise, asymptotic higher spin symmetry at the boundary of AdS trivializes the holographic S -matrix [4-7], which has to be given by a free CFT's correlators (AdS/CFT analog of S = 1 in flat space). Within the local field theory approach, the flat space non-locality [3] has found its AdS counterpart [8-10].

the background has the AdS d +1 factor the tensionless limit corresponds to very long strings l s /greatermuch R , the length l s being very large compared to the AdS radius R , see e.g. [30, 31] for discussion. The Planck length is still assumed to be small, so that we are dealing with the weakly coupled string theory. The absence of any argument for why (or under which further conditions) the tensionless limit has to admit a simple, possibly, weakly-coupled description is another side of the same problem. In this respect it comes as a surprise that there is a worldsheet description of the tensionless strings on AdS 3 [32] and there is some understanding of the holographic fishnet models [33]. 2

Bearing the holographic higher spin theories in mind, it is natural to look for structures that survive in presence of nonlocalities. An infinite-dimensional extension of conformal symmetry so d, ( 2), known as a higher spin symmetry, is one of such structures. The higher symmetries correspond to higher rank conserved tensors present in any free CFT (including the free SYM). Every free CFT comes equipped with a Higher Spin Algebra - the symmetry algebra of the free equations of motion [34]. As such, higher spin symmetries always arise from associative algebras 3 and are closely related to the universal enveloping algebra of the conformal algebra so d, ( 2) (and its supersymmetric extensions).

Being identified with a global symmetry on the CFT side, the higher spin algebra carries complete information about the spectrum of single-trace operators and their correlators. 4 It has to be gauged in the gravitational dual producing thus inevitable nonlocalities. There is, however, an approach that makes the higher spin problem well-defined mathematically, but with some sacrifice in other features of conventional field theory. It focuses upon construction of formally consistent classical equations of motion. The equations of formal higher spin gravities read

$$d \Phi & = \mathcal { V } _ { 2 } ( \Phi, \Phi ) + \mathcal { V } _ { 3 } ( \Phi, \Phi, \Phi ) + \cdots, & d d \equiv 0 \,, & ( 1. 1 )$$

where Φ is a master-field to be defined later. The equations are very close in spirit to those of String Field Theory, see e.g. [39, 40]. It is also true that strong homotopy algebras, more precisely certain L ∞ - and A ∞ -algebras [39-42], play a crucial role in both the theories. For the higher spin case, the bilinear vertex V 2 is completely determined V 2 = Φ /star Φ by the product /star in a given higher spin algebra, so that the problem is to construct all higher

2 Fishnet theories admit a weakly-coupled limit where the higher spin currents have small anomalous dimensions. Therefore, fishnet theories are similar to weakly-coupled SYM. The higher spin currents in these CFT's are dual to massless higher spin fields in AdS 5 .

3 On can multiply any two symmetries of a linear equation, but, in general, only the commutator of the two is a symmetry for nonlinear equations.

4 Indeed, the correlation functions are just the simplest higher spin algebra invariants [35-38].

vertices V n in a consistent way. There is a handful of such models known [42-50] that take advantage of various techniques and approaches to the problem. We do this for the 5 d case.

The study of five-dimensional higher spin gravities is well motivated by the relation to string theory. There should be a well-defined massless subsector of the tensionless 5 string theory (dual to the bilinear single-trace operators of the free SYM) that is described by N = 8 higher spin gravity. The important steps towards this theory were made in [51], where the higher spin superalgebra and the free equations were given. Options with less supersymmetries are also possible, including the purely bosonic theory, also called Type-A for any d [45, 46, 48, 49]. The Type-A theory should be regarded as an important building block of supersymmetric models. For example, the known supersymmetric models in AdS 4 [52] can be thought of as supersymmetric extensions of the bosonic theory. Likewise, at least kinematically, there is a family of higher spin extensions of ( p su ) (2 , 2 | N ) for any N that is relevant for the theories in AdS 5 [51, 53-55]. As different from [45, 46, 48, 49] the realizations of the 5 d higher spin algebra we use in the paper admit a simple supersymmetric extension.

Constructing formal Higher Spin Gravity in five dimensions has been an open problem since the late 1990s. The relevant higher spin algebra had been known [53]. Free fields, including the mixed-symmetry ones, were studied in [56-58]. Certain cubic vertices for the N = 0 1 2 cases were constructed in [59-61]. The free equations of type (1.1) were analyzed , , in [62]. In Sec. 4, we explain why all the previously known methods do not work here when it comes to interactions. Our solution heavily relies on the work [42] that reduces the problem of constructing the interaction vertices to a much simpler problem of deforming a certain extension of a given higher spin algebra. We found two different and novel ways to construct such a deformation, which should have a wider range of applications.

The first one appeals to the very definition of higher spin algebras as quotients of universal enveloping algebras. The ideal to be quotiented out is the annihilator of the corresponding free field and is also known as the Joseph ideal. The ideal is generated by a few quadratic relations. It turns out that one can simply deform these relations together with the commutator of the translation generators. This leads to an interesting way to deform (quotients of) universal enveloping algebras. The second one takes advantage of the quasi-conformal realizations [54, 55, 63] that were previously underrated in the higher spin context. The main feature is that they resolve all of the Joseph relations and give the minimal oscillator realization of the free field and of the corresponding higher spin algebra. We found a way to deform the quasi-conformal realization so that the deformed Joseph's relations are satisfied.

The outline of the paper is as follows. In Section 2, we review various definitions of the

5 Note that [25] discusses a certain critical value of the tension.

5 d higher spin algebra and discuss the free equations, i.e., up to V 2 in (1.1). In Section 3, we summarize the central result of [42] that simplifies the problem. The main results of the present paper are in Section 4, where we formulate two different ways to describe the deformed higher spin algebra. In Section 5, we show that the peculiar deformation of the conformal algebra's commutators gives rise to the Einstein equations and is therefore well-motivated. The discussion of the obtained results can be found in Section 6.

## 2 Initial Data

/negationslash

The only input is given by a Higher Spin Algebra. The Type-A theory is, by definition, the anti-holographic dual to the largeN free (or critical if d = 4) vector model [26]. For the AdS /CFT 5 4 case the higher spin algebra, we shall call hs , comes from the universal enveloping algebra of su (2 , 2), whose generators T A B , A, B = 1 , . . . , 4 obey 6

$$[ T _ { A } ^ { \ B } \,, T _ { C } ^ { \ D } \, ] = \delta _ { A } ^ { \ D } \, T _ { C } ^ { \ B } \, - \delta _ { C } ^ { \ B } \, T _ { A } ^ { \ D } \.$$

The higher spin algebra is defined then to be the quotient of the universal enveloping algebra U su ( (2 , 2)) by a certain two-sided ideal [34], known as the Joseph ideal J , hs = U su ( (2 , 2)) /J . The state space | φ 〉 of a free 4 d conformal scalar field, /square φ = 0, is the minimal unitary irreducible representation of su (2 , 2) and the Joseph ideal is the annihilator of this module. The ideal is generated by the quadratic relations 7

$$C _ { 2 } = T _ { A } ^ { \, B } \, T _ { B } ^ { \, A } = - 3 \,,$$

$$T _ { A } ^ { \, C } T _ { C } ^ { \, B } = - 2 T _ { A } ^ { \, B } + \frac { 1 } { 4 } C _ { 2 } \, \delta _ { A } ^ { \, B } \,, \\. \quad \text{$\int$} \quad \pi \,. \quad \pi \, \int \, \pi \, \int \, \pi \, \int \, \pi \, \int \,. \quad.$$

$$\{ T _ { [ A } ^ { \, [ B } \,, T _ { C ] } ^ { \, D ] } \, \} = \delta _ { A } ^ { \, B } \, \delta _ { C } ^ { \, D } \, - \delta _ { C } ^ { \, B } \, \delta _ { A } ^ { \, D } \.$$

Elements of the higher spin algebra hs are polynomials f ( T ) (or formal power series) in T A B modulo the Joseph relations. It is easy to see that the Joseph relations wash away all su (2 , 2)-tensors except for

$$f = \sum _ { k } f _ { B _ { 1 } \dots B _ { k } } ^ { A _ { 1 } \dots A _ { k } } T _ { A _ { 1 } } ^ { \ B _ { 1 } } \cdots T _ { A _ { k } } ^ { \ B _ { k } }$$

where the coefficients are traceless and symmetric in upper and lower indices, i.e., define an irreducible representation of weight ( k, 0 , k ).

6 The indices A,B,... are the indices of the (anti)-fundamental representation of su (2 , 2).

7 Here, [ AB ] means that one has to add minus the same term with AB swapped. We also used the first two to simplify the third one, otherwise a projector onto (0 , 2 0) has to written down explicitly. ,

From the conformal point of view, these representations are in one-to-one with conformal Killing tensors (in particular the (1 , 0 1) is , the adjoint of su (2 , 2) associated with conformal Killing vectors). It can be shown [34] that each homogeneous element of hs defines a conformal Killing tensor 8 v a 1 ··· a k ( x ) and

$$\delta _ { v } \phi ( x ) = v ^ { a _ { 1 } \cdots a _ { k } } \partial _ { a _ { 1 } } \cdots \partial _ { a _ { k } } \phi ( x ) + \cdots$$

is a (higher derivative) symmetry of /square φ x ( ) = 0. The equation being linear, the symmetries form an associative algebra, the one we have just described, see also [64].

One can take Rels. (2.1) and (2.2) as an ab initio definition of the higher spin algebra hs . In practical applications it is sometimes convenient to resolve (some of) the Joseph relations by passing to an appropriate realization. One common way to resolve some of the Joseph relations is to introduce two quartets of oscillator variables a A and b B in the fundamental and anti-fundamental representations of su (2 , 2) (they generate the Weyl algebra A 4 ):

$$[ a ^ { A }, a ^ { B } ] = 0 \,, \quad [ b _ { A }, b _ { B } ] = 0 \,, \quad [ a _ { A }, b ^ { B } ] = \delta _ { A } ^ { \, B } \.$$

Then the su (2 , 2) generators are given by

$$T _ { A } ^ { \, B } \, = \frac { 1 } { 2 } \{ a _ { A }, b ^ { B } \} - \frac { 1 } { 4 } \delta _ { A } ^ { \, B } \, N \,,$$

where the u (1) generator N = 1 2 { a C , b C } commutes with T A B . The same hs can now be defined as a subquotient of the oscillator algebra:

$$\mathfrak { h s } \ni f \quad \quad & \Leftrightarrow \quad \quad \quad [ f, N ] _ { * } = 0 \,, \quad \quad & f \sim f + g * N \,, \quad \quad ( 2. 7 )$$

The first relation forces the monomials of f ( a, b ) to have an equal number of a 's and b 's. The quotient with respect to N makes the Taylor coefficients effectively traceless, as in (2.3). It is this realization that was used in [62] to study the spectrum and free higher spin equations.

While Rel. (2.2c) is identically satisfied (up to the traces, see footnote 7), the remaining two Joseph's relations are not and gauging of u (1) in (2.7) lands us onto the right algebra. There is also a way to resolve all Joseph's relations. It is known as a quasi-conformal realization [54, 55, 63]. The idea is to represent the higher spin algebra by a minimal possible number of oscillators. 9 In the case under consideration the minimal number of canonical pairs is three. 10 Therefore, we set

$$[ z, p _ { z } ] = [ y, p _ { y } ] = [ x, p _ { x } ] = i \,.$$

8 Conformal Killing tensors obey ∂ a 1 v a 2 ··· a k +1 +permutations -traces = 0.

9 In some sense, this is exactly the problem that Joseph addressed in [65]: how to realize irreducible representations by the minimal number of oscillators.

10 Apart from the rigorous results by Joseph [65] this can be seen by noticing that the solution space of the Klein-Gordon equation has functional dimension three.

The most nontrivial statement of the quasi-conformal realization is that the following two composite operators 11

$$Y _ { L } ^ { A } & = \left \{ z, p _ { z }, 0, \frac { 1 } { x } ( z p _ { y } - p _ { z } y - \frac { 1 } { 2 } ) \right \}, \quad \quad \ \ Y _ { R } ^ { A } = \left \{ y, p _ { y }, x, p _ { x } \right \} \quad \quad \ \ ( 2. 9 ) \\, \quad \quad \ \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \ \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \,\quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \,\ \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \. \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \ \,\quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \quad \, \ \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \ \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \.. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \... \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \, \quad \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \. \.$$

can be used to define the generators of hs . Let us also define Y A ± = Y A L ∓ iY A R . Then one can easily check that the operators

$$T _ { A } ^ { \ B } & = - \frac { i } { 2 } \left ( Y _ { A } ^ { + } Y _ { - } ^ { B } - \frac { 1 } { 4 } \delta _ { A } ^ { \ B } Y _ { C } ^ { + } Y _ { - } ^ { C } \right ) \\ \prod \dots \prod \dots \prod ( \alpha \times \dots \prod \dots \prod ( \alpha \times \dots \prod \dots \prod ( \alpha \circ \infty ) \ \nu \ \dots \prod \dots$$

obey the commutation relations (2.1) as well as Joseph's relations (2.2). We note in passing that the most singular component of the su (2 , 2)-generators coincides with the Calogero Hamiltonian:

$$i L _ { 4 4 } = H = p ^ { 2 } + \frac { Q } { x ^ { 2 } } \,,$$

where Q is a quartic polynomial in the other variables. The rest of the su (2 , 2) generators are either non-singular or involve 1 /x . 12

An important role is played in what follows by the Lorentz subalgebra so (4 , 1) ∼ sp (4) -it is the maximal symmetry that remains undeformed. It allows one to split the su (2 , 2)generators into the Lorentz generators L AB and translations P AB :

$$L _ { A B } & = T _ { A | B } + T _ { B | A } \,, & P _ { A B } & = T _ { A | B } - T _ { B | A } \,. &$$

Hereafter all sp (4)-indices are raised and lowered with the help of sp (4)-invariant tensor C AB = -C BA . The su (2 , 2) commutation relations (2.1) then read

$$[ L ^ { A B }, L ^ { C D } ] = L ^ { A D } C ^ { B C } + L ^ { B D } C ^ { A C } + L ^ { A C } C ^ { B D } + L ^ { B C } C ^ { A D } \,,$$

$$[ L ^ { A B }, P ^ { C D } ] = P ^ { A D } C ^ { B C } + P ^ { B D } C ^ { A C } - P ^ { A C } C ^ { B D } - P ^ { B C } C ^ { A D } \,,$$

$$[ P ^ { A B }, P ^ { C D } ] = L ^ { A D } C ^ { B C } - L ^ { B D } C ^ { A C } - L ^ { A C } C ^ { B D } + L ^ { B C } C ^ { A D } \,.$$

In order to write the free equations of motion we need the automorphism π that any higher spin algebra is equipped with. It acts by altering the sign of translations, while leaving the Lorentz generators intact: ( πf )( T ) = f ( L, -P ).

The master field Φ of the simplest higher spin gravities consists of two components: 13 one-form ω and zero-form C , both taking values in a given higher spin algebra hs . Loosely

11 We note that the realization we present here is slightly different from the one in [54, 55].

12 See [54, 55] for the wave functions and complete construction of the unitary representation.

13 This was first proposed in [66] for the 4 d system.

speaking, for | φ 〉 being the irreducible representation corresponding to the free scalar field φ x ( ), the higher spin-algebra hs is the space of all linear maps | φ 〉 → | φ 〉 , i.e., | φ 〉〈 φ | . The space of single-trace operators is | φ 〉 ⊗ | φ 〉 . The latter is formally isomorphic to hs up to the conjugation that maps | φ 〉 to 〈 φ | . We want to gauge hs in the bulk since it is a global symmetry on the CFT side. The single-trace operators are dual to bulk physical states that are in C . We see that hs is formally isomorphic to the algebra of single-trace operators, which allows one to identify C up to the π -map with hs as well.

Given one or another realization of the higher spin algebra, the free equations of motion read

$$d \omega & = \omega \ast \omega \,, & d C & = \omega \ast C - C \ast \pi ( \omega ) \,,$$

where /star is the product in hs and d is the exterior differential d = dx ∂ µ µ . The first equation describes the maximally symmetric higher spin backgrounds. The simplest one is AdS 5 and has only the spin-two subsector activated:

$$\omega = \frac { 1 } { 2 } h ^ { A B } \, P _ { A B } + \frac { 1 } { 2 } \varpi ^ { A B } \, L _ { A B } \,.$$

Here h AB = -h BA is the f¨nf-bein and u /pi1 AB = /pi1 BA is the spin-connection. The second equation in (2.14) describes the physical states that are dual to the single-trace operators of the free scalar CFT. The automorphism π is responsible for the conjugation | φ 〉 ↦→ 〈 φ | . These are the correct free equations that are completely fixed by representation theory. For the AdS 5 case they were studied in [62]. Without going into the details we just state that the spectrum of the theory is given by the massless fields on AdS 5 with all integer spins s = 0 1 2 3 , , , , . . . [62]. Truncation to even spins and Yang-Mills gaugings with u N ( ), o N ( ), usp N ( ) are also possible.

## 3 Vertices

The problem of formal higher spin gravities is to find a nonlinear completion of the free system (2.14). Its general form reads

$$d \omega = \omega * \omega + \mathcal { V } _ { 3 } ( \omega, \omega, C ) + O ( C ^ { 2 } ) \,,$$

$$d C = \omega * C - C * \pi ( \omega ) + \mathcal { V } _ { 3 } ( \omega, C, C ) + O ( C ^ { 3 } ) \,,$$

where the bilinear terms V 2 are displayed explicitly. The interactions, V n , are constrained by the formal consistency that stems from the nilpotency of the exterior differential, dd ≡ 0. 14

14 One can think of the right-hand side as of the definition of an abstract differential d . This trick allows one to avoid the problem of nonlocality. Whenever d is taken to be the exterior differential d = dx ∂ µ µ the

Intuitively, it is clear that the higher spin algebra hs (together with π ) is the only input data for the problem and the interaction vertices V n , n &gt; 2, should be derivable from it. The precise relation between hs and V n 's for any hs was established in [41, 42].

To formulate the result, let us extend the higher spin algebra with the π -automorphism by defining the smash-product algebra π hs = hs /multicloseright Z 2 , where Z 2 = (1 , k ), k 2 = 1. The general element of π hs has the form a = a ′ · 1 + a ′′ · k for a , a ′ ′′ ∈ hs and multiplication is given by

$$a \ast b = ( a ^ { \prime } b ^ { \prime } + a ^ { \prime \prime } \pi ( b ^ { \prime \prime } ) ) \cdot 1 + ( a ^ { \prime \prime } \pi ( b ^ { \prime } ) + a ^ { \prime } b ^ { \prime \prime } ) \cdot k \,,$$

i.e. kxk = π x ( ), x ∈ hs . Clearly, we can get the free equations (2.14) by omitting π in the second equation while requiring ω = ω ′ · 1 and C = C ′′ · k . The same trick would work for the nonlinear equations (3.1) as well. The smashed product allows us to incorporate the π -automorphism through the generator k .

The main statement of [42] is that (up to formal field re-definitions) the nontrivial interaction vertices are in one-to-one correspondence with the nontrivial deformations of π hs as an associative algebra. The deformation of an associative algebra π hs appears to be a much simpler problem to solve. 15 Let us assume for a moment that the deformation of π hs is known and is given by the formal series in the formal parameter we denote ν

$$a \circ b = a \ast b + \phi _ { 1 } ( a, b ) \nu + \phi _ { 2 } ( a, b ) \nu ^ { 2 } + \cdots,$$

so that a ◦ ( b ◦ c ) = ( a ◦ b ) ◦ c . Then, there are general formulas expressing all the vertices in a certain minimal form: 16

$$\mathcal { V } _ { n } ( \omega, \omega, C, \dots, C ) = + f _ { n } ( \omega, \omega, C, \dots ) * C \,,$$

$$\mathcal { V } _ { n } ( \omega, C, \dots, C, C ) = + f _ { n } ( \omega, C, \dots, C ) * C \,,$$

$$\mathcal { V } _ { n } ( C, \omega, \dots, C, C ) = - f _ { n } ( C, \omega, \dots, C ) * C \,.$$

equations become a set of PDE's that faces the nonlocality problem.

15 In more technical terms [41], one can construct a certain strong homotopy algebra, A ∞ , from the oneparameter family of associative algebras. Higher spin algebras are just particular examples for which such a deformation is possible after extending them with the π -automorphism.

16 The form is minimal in the sense of having the least number of nontrivial structure maps that are, moreover, expressed entirely in terms of the deformed product. However, this form is less convenient to discuss reality conditions and various truncations, extensions.

The structure functions f n are given by the sum over graphs

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00050v2-figure-c94895ff-9fe3-4094-8f80-0ed18c8e7ffb.jpg)

b

where the edges represent the arguments, simple vertices represent the direct products (formally φ 0 ( a, b ) = a /star b ) and labelled bold vertices represent φ m i +1 ( · · , ). The sum is over all graphs such that the labels ( l 1 , . . . , l k ) and ( m , . . . , m 1 k ) form two nested Young diagrams with the first rows of equal length:

![image](https://ac.marcodsn.me/arxiv-markdown-images/1908.00050v2-figure-11f16ef4-dc79-4cfa-93b0-e46a40b9f300.jpg)

For instance, with these prescriptions, one can find the following explicit expressions for the cubic, quartic, and quintic vertices: 17

$$\mathcal { V } _ { 3 } ( \omega, \omega, C ) = \phi _ { 1 } ( \omega, \omega ) * C \,,$$

$$\mathcal { V } _ { 4 } ( \omega, \omega, C, C ) = \phi _ { 2 } ( \omega, \omega ) \ast C \ast C + \phi _ { 1 } ( \phi _ { 1 } ( \omega, \omega ), C ) \ast C \,,$$

$$\mathcal { V } _ { 5 } ( \omega, \omega, C, C, C ) & = \phi _ { 3 } ( \omega, \omega ) * C * C * C + \phi _ { 2 } ( \phi _ { 1 } ( \omega, \omega ), C ) * C * C + \phi _ { 1 } ( \phi _ { 2 } ( \omega, \omega ), C ) * C * C \\ & + \phi _ { 1 } ( \phi _ { 2 } ( \omega, \omega ) * C, C ) * C + \phi _ { 1 } ( \phi _ { 1 } ( \phi _ { 1 } ( \omega, \omega ), C ) * C.$$

There is also a simple differential equation that allows one to generate the vertices V n and to prove their formal consistency [41, 42, 68]. Thus, we see that the vertices are completely determined by the associative ◦ -product (3.3).

It was also shown in [42] that the equations of the formal Higher Spin Gravities are integrable. Solving the (highly nonlinear) equations (3.1) is equivalent to solving a much simpler Lax pair system

$$d \omega & = \omega \circ \omega \,, & d C & = \omega \circ C - C \circ \omega \,,$$

17 For the AdS 4 case the first few vertices are very close to those discussed e.g. in [66, 67].

where the fields take values in the deformed algebra. There exists an explicit formula ω [ ω C , ], C [ C ] for the solutions of (3.1) [42]. We note that the Lax pair equations are well-defined and do not have any locality problem. The explicit formula for the solutions of the original system (3.1) allows one to avoid dealing with nonlocalities whatsoever. These facts give an importance to the deformed higher spin algebra as the only structure controlling interactions in formal higher spin gravities.

Since the computation along the canonical AdS/CFT path is expected to face the problem of nonlocalities in higher spin theories, it is important to come up with a set of well-defined observables. As was suggested in [69] a natural set of observables is given by invariants of higher spin symmetries. The simplest invariants are traces of the master field C

$$\text{Tr} ( C \circ \dots \circ C ) \,.$$

It is important that when the deformation is switched off the invariants reduce to those of the initial higher spin algebra and are known to reproduce the correct correlation functions [35-38]. A larger set of invariants is discussed in [42].

## 4 Deformation

The problem of constructing the interaction vertices therefore reduces to that of deforming the smash-product algebra π hs . This is a much simpler problem to solve 18 and one can also present certain model-independent arguments that such deformation is always possible [41]. Nevertheless, the 5 d case resisted a number of attempts over the years. It turns out that the usual oscillator realization (2.6) does not admit the deformation we are looking for. One can easily realize the π -automorphism as the reflection of four (out of eight) oscillators a A , b B , but the corresponding smash-product algebra A 4 /multicloseright Z 2 does not have any nontrivial deformations [70-72] since its second Hochschild cohomology group vanishes. 19 Therefore, we have to resort to other tools.

The problem now is to describe the deformation of π hs . We found two ways to achieve that. The first one, section 4.1, is to directly deform the Joseph relations and hence the the quotient of U su ( (2 , 2)) /multicloseright Z 2 . The second one, section 4.2, is to deform the quasi-conformal realization of the higher spin algebra.

18 For example, the case of the smashed product of the Weyl algebra with any group of symplectic reflections was studied in [70, 71].

19 This is not in contradiction with the fact that π hs should admit the deformation. π hs is realized as a subquotient (2.7) of the Weyl algebra A 4 (4 stands for the number of canonical pairs, a A , b B ). Therefore, there is no direct relation between the rigidity of A 4 /multicloseright Z 2 and π hs being soft. This explains why the methods based on (2.7) are not applicable here.

## 4.1 Deformation Through the Universal Enveloping Algebra

It is convenient to describe π hs in the Lorentz base where the su (2 , 2) commutation relations have the form (2.13). To obtain π hs we add one more generator k , k 2 = 1, such that kLk = L and kPk = -P . The set of Joseph's relations (2.2) split into the triple of finite-dimensional irreducible modules of su (2 , 2): the trivial module corresponding to the Casimir operator, the 15-dimensional adjoint representation (1 , 0 1), , and the 20-dimensional representation of weight (0 , 2 0). , The value of the Casimir operator is fixed by the self-consistency of the ideal. 20 Since the modules are irreducible one can take the following two Lorentz components of the nontrivial modules as the 'lowest weight vectors' (we omit /star below):

$$I \equiv \frac { 1 } { 2 } P _ { A B } P ^ { A B } - m ^ { 2 } \,, \quad \ \ I _ { A B } \equiv \{ L _ { A M }, P _ { B } ^ { M } \, \} + \{ L _ { B M }, P _ { A } ^ { M } \, \} \,. \quad \ \ ( 4. 1 )$$

The rest of the relations are obtained by commuting these two with P AB . Note that 15 = 10 + 5 and 20 = 14 + 5 + 1 as representations of sp (4). The consistency fixes m 2 = -2 (in the units of the cosmological constant that we set to 1). Note that (2.13) and (4.1) give a complete description of hs and π hs . It is possible to work with the free equations directly in terms of fields taking values in the universal enveloping algebra U so d, ( ( 2)) modulo the Joseph relations [73].

First of all, the very definition of hs as of the universal enveloping algebra modulo the Joseph relations suggests that the sought for deformation of π hs can be described in the same language. The starting point is to keep (2.13a) and (2.13b), but deform (2.13c) into 21

$$[ P ^ { A B }, P ^ { C D } ] = ( 1 + \nu k ) ( L ^ { A D } C ^ { B C } - L ^ { B D } C ^ { A C } - L ^ { A C } C ^ { B D } + L ^ { B C } C ^ { A D } ) \,. \quad \ \ ( 4. 2 )$$

It is this modification that drives the whole deformation. It also leads to the correct Einstein's equations as we show below. The requirement not to deform the [ L, L ] and [ L, P ] commutators is a form of the equivalence principle: we ought to preserve the local Lorentz algebra and its action on the tensors. Otherwise, the tensorial interpretation of the components of ω and C is lost. We keep the 'lowest weight vectors' (4.1) the same, but let m 2 depend on k . Indeed, there is no other deformation possible for (4.1), which explains our choice. Acting with [ P AB , · ], we generate the other components of the deformed Joseph's

20 One can obtain it by reducing the element T A B T C D T E F in two different ways [34].

21 This type of a deformed commutator has already appeared in [41, 42] for different higher spin algebras. One of the main findings of the present paper is that this is the only relation that completely determines the nonlinear equations of motion.

ideal:

$$\text{ideal} \colon \\ ( 0, 0, 0 ) \, \colon \quad \left \{ 2 C _ { 2 } = \frac { 1 } { 2 } P _ { A B } P ^ { A B } - \frac { 1 } { 2 } L _ { A B } L ^ { A B } = - \frac { 1 } { 2 } ( 6 + \nu k ) ( 2 + \nu k ) \, ; \\ ( 0, 2, 0 ) \, \colon \quad \left \{ \frac { 1 } { 2 } P _ { A B } P ^ { A B } - m ^ { 2 } = 0 \,, \\ \left \{ L _ { A M }, P _ { B } ^ { M } \right \} - \{ L _ { B M }, P _ { A } ^ { M } \right \} - 2 \nu k P _ { A B } = 0 \,, \\ ( \{ L _ { [ A ^ { [ B } \,, L _ { C ] } ^ { D ] } \} + \{ P _ { [ A ^ { [ B } \,, P _ { C ] } ^ { D ] } \} ) + \\ + 2 \nu k ( 2 + \nu k ) C _ { A C } ^ { D D } - ( 2 + \nu k ) ^ { 2 } ( \delta _ { A } ^ { B } \, \delta _ { C } ^ { D } - \delta _ { A } ^ { B } \, \delta _ { A } ^ { D } \, ) = 0 \, ; \\ ( 1, 0, 1 ) \, \colon \quad \left \{ \left \{ L _ { A M }, P _ { B } ^ { M } \right \} + \{ L _ { B M }, P _ { A } ^ { M } \right \} = 0 \,, \\ \left \{ L _ { A M }, L _ { B } ^ { M } \right \} + \frac { 1 } { 2 } C _ { A B } ( 2 + \nu k ) ( - 4 + \nu k ) = 0 \,. \\ \text{Self-consistency also requires $m^{2}=-(2+\nu k ) (1+\nu k )$} \,. \, \text{Upon setting $\nu=0$, we recover the} \\ \text{original Joseph's relations that are equivalent to (2.2).\, Even though $su(2,2)$ gets deferred} \colon \quad.$$

Self-consistency also requires m 2 = -(2 + νk )(1 + νk ). Upon setting ν = 0, we recover the original Joseph's relations that are equivalent to (2.2). Even though su (2 , 2) gets deformed by (4.2), there is still a sense in which we have the same 1 + 15 + 20 as the total number of relations (the decomposition into Lorentz tensors still makes sense).

Much as the standard Joseph's relations determine the higher spin algebra hs , the deformed Joseph's relations (4.3), together with (2.13a), (2.13b) and the deformed commutator (4.2), determine the deformation of π hs . The deformation is smooth in the sense that for any two elements f ( L, P, k ) and g L, P, k ( ) we can, as a matter of principle, compute their product f ◦ g and decompose it into irreducible Lorentz tensors. Therefore, the deformed algebra is well-defined and the vertices can be written down.

It is easy to read off the Lorentz spectrum of the (un)deformed algebra directly from (4.3). First of all, there are no singlets except for the unit element itself since P 2 , L 2 are equivalent to ( k -dependent) numbers. Secondly, all single contractions, L AM P B M , L AM L B M , and P AM P B M , can be transformed into L AB , P AB and C AB . Lastly, the four-index relation implies that the two ways of getting (0 , 2) of sp (4) via appropriate projections of L AB L CD and P AB P CD are equivalent. Therefore, the spectrum of the algebra consists of sp (4)-tensors of weight (2 k, m ), m,k = 0 1 , , ... that can be thought of as coefficients of the appropriately symmetrized monomials L P k m . The spectrum is multiplicity free. The Young diagram of (2 k, m ) has 2 k + m boxes in the first row and m boxes in the second.

In practice, one may want to have an efficient tool to compute the ◦ -product of any two elements. 22 Any (e.g., oscillator) realization of the deformed algebra must fulfill the deformed Joseph's relations we derived above.

22 It seems that the efficient methods to compute the structure constants of [73, 74] can be extended from higher spin algebras to their deformations.

## 4.2 Quasi-conformal Realization

While the widely used oscillator realization (2.7) is rigid, it is clear that the quasi-conformal realization, being minimal, must admit a deformation that we constructed in the previous section. The automorphism π is realized here in a very simple way:

$$\pi ( p _ { z } ) & = - p _ { z } \,, & \pi ( z ) & = - z \,,$$

leaving all the other generators intact. The corresponding smash-product algebra is defined by the relations

$$k ^ { 2 } & = 1 \,, & \{ z, k \} & = 0 \,, & \{ p _ { z }, k \} & = 0 \,, & \quad \quad \quad ( 4. 5 )$$

along with the requirement that k commutes to x, p x , y, p y . The desired deformation can now obtained by redefining the 'momentum'

↦

$$p _ { z } \quad \mapsto \quad \tilde { p } _ { z } = p _ { z } + \frac { i \nu } { 2 z } k \,.$$

Upon this redefinition the (anti)commutation relations for the triple z, p ˜ z , k take the form

$$[ z, \tilde { p } _ { z } ] & = i ( 1 + \nu k ) \,, & \{ z, k \} & = 0 \,, & \{ \tilde { p } _ { z }, k \} & = 0 \,. & \quad \quad ( 4. 7 )$$

These relations are known as the 'deformed oscillator algebra' [75]. The change of variables (4.6) should be accompanied with the following change of the composite operators Y A L :

$$Y _ { L } ^ { A } & = \left \{ z, \tilde { p } _ { z }, 0, \frac { 1 } { x } ( z p _ { y } - \tilde { p } _ { z } y - \frac { 1 } { 2 } - \frac { 1 } { 2 } \nu k ) \right \}, \quad \quad \quad$$

while all Y A R stay the same. It is now a simple exercise in algebra to see that the Lorentz L AB and translations P AB generators, being defined by the same formulas (2.10), (2.12), do fulfill the deformed Joseph's relations (4.3) together with (2.13a), (2.13b), and (4.2). This gives an explicit quasi-conformal realization of the deformed algebra π hs . Thus, Rels. (4.7), (4.8) provide a complete solution of the 5 d higher spin problem. It is interesting to note, that an obviously nontrivial deformation of the extended higher spin algebra generated by L AB , P AB , and k is induced by the trivial deformation (4.6) of the algebra of rational functions in non-commuting variables z, p z , x, p x , y, p y and k .

## 5 Einstein Equations

Let us clarify the origin of the [ P, P ]-commutator (4.2), which plays the role of a seed that drives the whole deformation. It results in the Einstein equations and is, therefore, wellmotivated. To show this, let us switch off all the higher spin components in ω and C and

concentrate on the spin-two sector. 23 The Einstein equations are realized as the P AB and L AB components of (3.1a):

$$P _ { A B } \colon \quad \ \ \ & d h ^ { A B } - \varpi ^ { [ A } _ { \, C } \, \wedge \, h ^ { C B ] } = 0 \,, \\ L _ { A B } \colon \quad \ \ & d \varpi ^ { A B } - \varpi ^ { A } _ { \, C } \, \wedge \, \varpi ^ { C B } = h ^ { A } _ { \, C } \, \wedge \, h ^ { C B } + h _ { C } ^ { M } \, \wedge \, h _ { M D } W ^ { A B C D } \,,$$

where W has the symmetries of the Weyl tensor. 24 It is embedded into C as W ABCD L AB L CD . The first equation is the torsion constraint. The second one implies that the Riemann twoform (the left-hand side) consists of the cosmological hh -term (it comes from the undeformed [ P, P ]-commutator) and from the Weyl tensor. Thus, the traceless part of the Ricci tensor vanishes. This is a fancy yet correct way to impose the vacuum Einstein's equations. Let us see how the Weyl tensor emerges from the deformation. We write, omitting irrelevant terms and numerical factors,

$$\mathcal { V } _ { 3 } ( \omega, \omega, & \, C ) = h _ { M C } \wedge h _ { N D } \, \phi _ { 1 } ( P ^ { M C }, P ^ { N D } ) \ast C k \sim h _ { C } ^ { M } \, \wedge h _ { M D } ( k L ^ { C D } ) \, ( W ^ { A B E F } L _ { A B } L _ { E F } ) k \\ & \sim h _ { C } ^ { M } \, \wedge h _ { M D } \, \delta _ { A } ^ { C } \, \delta _ { B } ^ { D } \, W ^ { A B E F } L _ { E F } \sim h _ { C } ^ { M } \, \wedge h _ { M D } W ^ { A B C D } L _ { A B } \,.$$

Here, we used (3.7) with C → Ck φ ; 1 results from (4.2). In the last line we used the Joseph relations that imply that L AB L AB = 8 + O ( ν ) and hence the product { L AB , L CD } contains the singlet component in addition the others, that is, { L AB , L CD } = C AC C BD + . . . . It is this singlet that reduces the power of L 's from 3 to 1, generating the proper right hand side for the Riemann two-form. Note that the potentially dangerous /pi1/pi1W and /pi1hW terms vanish since the deformation preserves both [ L, L ] and [ L, P ] commutators.

In the so (4 , 1) language the Lorentz and translation generators are L ab = -L ba and P a , a, b = 1 , . . . , 5. We can summarize the physical interpretation of the deformation (4.2) as follows (now it is written in a d -independent form):

$$[ P _ { a }, P _ { b } ] = ( 1 + \nu k ) L _ { a b } \quad \ \iff \quad \ \ ( \text{Enstein Equations} ) \,. \quad \ \ ( 5. 1 )$$

Of course, the Einstein equations is a part of numerous non higher spin theories. The difference is that the deformation (5.1) is a small part of the Hochschild cocycle φ 1 of the higher spin algebra and leads to the A ∞ -algebra eventually [41, 42]. It is the associative structure of the higher spin algebras and of the deformation they lead to that brings higher spin fields in. In the lower-spin theories containing gravity, the same commutator [ P , P a b ]

23 It is well to bear in mind that this is not a consistent truncation of the full theory: since each field sources all the others, one cannot just set higher spin fields to zero.

24 The Weyl tensor in the so (4 , 1) language W ab,cd has the same symmetries as the Riemann tensor and is also traceless. In the sp (4) language this corresponds to a rank-four totally symmetric tensor W ABCD .

gets deformed, but only as the Chevalley-Eilenberg cocycle of the Poincar´ or (anti)-de Sitter e algebra. 25 As such, it does not call for a higher spin extension.

## 6 Conclusions

In the paper we constructed the bosonic formal higher spin gravity in AdS 5 . The cornerstone of any formal Higher Spin Gravity is a higher spin algebra. The definition of higher spin algebras via enveloping algebras and Joseph's relations is a fundamental one. We suggested a new way to construct the interaction vertices by deforming the Joseph ideal relations as well as the commutator of the AdS 5 translations. This simplifies significantly the construction and puts the full nonlinear theory on the same algebraic ground as the higher spin algebra.

Any other realization of the 5 d theory has to fulfill the deformed Joseph's relations we found. The usual oscillator realization does not admit the deformation and cannot be used to construct interactions. Instead, we constructed a quasi-conformal realization of the deformed algebra. Obviously, the two approaches - through the universal enveloping algebra and the quasi-conformal realization - are applicable to all other higher spin gravities, both known and yet to be constructed. Some examples of interest include the 5 d supersymmetric theories, the 7 d higher spin gravities [76], and the 6 d exceptional higher spin gravity based on the F (4) superalgebra [77].

The considered bosonic theory opens up the way for the supersymmetric extensions, where su (2 , 2) gets replaced by su (2 , 2 | N ). The massless sector of tensionless strings should be described by a theory based on the higher spin extension of psu (2 , 2 4) [51]. | We expect that the two approaches presented here should admit a straightforward supersymmetric extension, e.g. the quasi-conformal realization is available [54, 55]. Contrary to the case of AdS 4 there is an upper bound N ≤ 8 on the number of supersymmetries for higher spin gravities in AdS 5 .

It is worth mentioning, that there are not so many ways to deform enveloping algebras. Well-known is the quantum deformations of the Hopf structure. We seem to have found another way: enveloping algebras evaluated in certain irreducible representations do admit a deformation as associative algebras once extended with automorphisms (while the quotient algebras themselves may not have any deformations). This is closely related to the quantization of the corresponding Poisson orbifolds.

Lastly, it would be interesting to establish a more precise relation between integrable

25 It becomes more transparent when formulated in the frame-like language of vielbien and spin-connection, which can be interpreted as the gauge fields of the symmetry algebras of the maximally symmetric vacua.

quantum-mechanical models, e.g. the Calogero model, and formal Higher Spin Gravities.

## Acknowledgments

We are grateful to Murat Gunaydin, Karapet Mkrtchyan, Ergin Sezgin and Per Sundell for very useful discussions. The work of E.S. was supported by the Russian Science Foundation grant 18-72-10123 in association with the Lebedev Physical Institute. The work of T.T. is supported by the International Max Planck Research School for Mathematical and Physical Aspects of Gravitation, Cosmology and Quantum Field Theory.

## Bibliography

- [1] S. Weinberg, 'Photons and Gravitons in S Matrix Theory: Derivation of Charge Conservation and Equality of Gravitational and Inertial Mass,' Phys. Rev. 135 (1964) B1049-B1056.
- [2] S. R. Coleman and J. Mandula, 'All Possible Symmetries of the S Matrix,' Phys. Rev. 159 (1967) 1251-1256.
- [3] X. Bekaert, N. Boulanger, and S. Leclercq, 'Strong obstruction of the Berends-Burgers-van Dam spin-3 vertex,' J.Phys. A43 (2010) 185401, arXiv:1002.0289 [hep-th] .
- [4] J. Maldacena and A. Zhiboedov, 'Constraining Conformal Field Theories with A Higher Spin Symmetry,' arXiv:1112.1016 [hep-th] .
- [5] N. Boulanger, D. Ponomarev, E. Skvortsov, and M. Taronna, 'On the uniqueness of higher-spin symmetries in AdS and CFT,' arXiv:1305.5180 [hep-th] .
- [6] V. Alba and K. Diab, 'Constraining conformal field theories with a higher spin symmetry in d=4,' arXiv:1307.8092 [hep-th] .
- [7] V. Alba and K. Diab, 'Constraining conformal field theories with a higher spin symmetry in d &gt; 3 dimensions,' arXiv:1510.02535 [hep-th] .
- [8] X. Bekaert, J. Erdmenger, D. Ponomarev, and C. Sleight, 'Quartic AdS Interactions in Higher-Spin Gravity from Conformal Field Theory,' JHEP 11 (2015) 149, arXiv:1508.04292 [hep-th] .
- [9] C. Sleight and M. Taronna, 'Higher-Spin Gauge Theories and Bulk Locality,' Phys. Rev. Lett. 121 no. 17, (2018) 171604, arXiv:1704.07859 [hep-th] .
- [10] D. Ponomarev, 'A Note on (Non)-Locality in Holographic Higher Spin Theories,' Universe 4 no. 1, (2018) 2, arXiv:1710.00403 [hep-th] .
- [11] M. Blencowe, 'A Consistent Interacting Massless Higher Spin Field Theory in D = (2+1),' Class.Quant.Grav. 6 (1989) 443.
- [12] A. Campoleoni, S. Fredenhagen, S. Pfenninger, and S. Theisen, 'Asymptotic symmetries of three-dimensional gravity coupled to higher-spin fields,' JHEP 1011 (2010) 007, arXiv:1008.4744 [hep-th] .
- [13] M. Henneaux and S.-J. Rey, 'Nonlinear W infinity as Asymptotic Symmetry of Three-Dimensional Higher Spin Anti-de Sitter Gravity,' JHEP 1012 (2010) 007, arXiv:1008.4579 [hep-th] .
- [14] M. R. Gaberdiel and R. Gopakumar, 'Minimal Model Holography,' J. Phys. A46 (2013) 214002, arXiv:1207.6697 [hep-th] .

- [15] A. Y. Segal, 'Conformal higher spin theory,' Nucl. Phys. B664 (2003) 59-130, arXiv:hep-th/0207212 [hep-th] .
- [16] A. A. Tseytlin, 'On limits of superstring in AdS(5) x S**5,' Theor. Math. Phys. 133 (2002) 1376-1389, arXiv:hep-th/0201112 [hep-th] . [Teor. Mat. Fiz.133,69(2002)].
- [17] X. Bekaert, E. Joung, and J. Mourad, 'Effective action in a higher-spin background,' JHEP 02 (2011) 048, arXiv:1012.2103 [hep-th] .
- [18] R. R. Metsaev, 'S matrix approach to massless higher spins theory. 2: The Case of internal symmetry,' Mod. Phys. Lett. A6 (1991) 2411-2421.
- [19] R. R. Metsaev, 'Poincare invariant dynamics of massless higher spins: Fourth order analysis on mass shell,' Mod. Phys. Lett. A6 (1991) 359-367.
- [20] D. Ponomarev and E. D. Skvortsov, 'Light-Front Higher-Spin Theories in Flat Space,' J. Phys. A50 no. 9, (2017) 095401, arXiv:1609.04655 [hep-th] .
- [21] D. Ponomarev, 'Chiral Higher Spin Theories and Self-Duality,' JHEP 12 (2017) 141, arXiv:1710.00270 [hep-th] .
- [22] E. D. Skvortsov, T. Tran, and M. Tsulaia, 'Quantum Chiral Higher Spin Gravity,'

Phys. Rev. Lett.

121

no. 3, (2018) 031601, arXiv:1805.00048 [hep-th]

.

- [23] E. Skvortsov, 'Light-Front Bootstrap for Chern-Simons Matter Theories,' JHEP 06 (2019) 058, arXiv:1811.12333 [hep-th] .
- [24] B. Sundborg, 'Stringy gravity, interacting tensionless strings and massless higher spins,' Nucl. Phys. Proc. Suppl. 102 (2001) 113-119, arXiv:hep-th/0103247 .
- [25] E. Sezgin and P. Sundell, 'Massless higher spins and holography,' Nucl.Phys. B644 (2002) 303-370, arXiv:hep-th/0205131 [hep-th] .
- [26] I. R. Klebanov and A. M. Polyakov, 'AdS dual of the critical O(N) vector model,'

Phys. Lett.

B550

(2002) 213-219, arXiv:hep-th/0210114

.

- [27] I. Heemskerk, J. Penedones, J. Polchinski, and J. Sully, 'Holography from Conformal Field Theory,' JHEP 10 (2009) 079, arXiv:0907.0151 [hep-th] .
- [28] P. Haggi-Mani and B. Sundborg, 'Free large N supersymmetric Yang-Mills theory as a string theory,' JHEP 04 (2000) 031, arXiv:hep-th/0002189 [hep-th] .
- [29] D. J. Gross, 'High-Energy Symmetries of String Theory,' Phys. Rev. Lett. 60 (1988) 1229.
- [30] A. A. Tseytlin, 'Semiclassical quantization of superstrings: AdS(5) x S**5 and beyond,' Int. J. Mod. Phys. A18 (2003) 981-1006, arXiv:hep-th/0209116 [hep-th] .
- [31] G. Bonelli, 'On the covariant quantization of tensionless bosonic strings in AdS space-time,' JHEP 11 (2003) 028, arXiv:hep-th/0309222 [hep-th] .
- [32] L. Eberhardt, M. R. Gaberdiel, and R. Gopakumar, 'The Worldsheet Dual of the Symmetric Product CFT,' JHEP 04 (2019) 103, arXiv:1812.01007 [hep-th] .
- [33] N. Gromov and A. Sever, 'The Holographic Fishchain,' arXiv:1903.10508 [hep-th] .
- [34] M. G. Eastwood, 'Higher symmetries of the Laplacian,' Annals Math. 161 (2005) 1645-1665, arXiv:hep-th/0206233 [hep-th] .
- [35] N. Colombo and P. Sundell, 'Higher Spin Gravity Amplitudes From Zero-form Charges,' arXiv:1208.3880 [hep-th] .
- [36] V. E. Didenko, J. Mei, and E. D. Skvortsov, 'Exact higher-spin symmetry in CFT: free fermion correlators from Vasiliev Theory,' Phys. Rev. D88 (2013) 046011, arXiv:1301.4166 [hep-th] .

- [37] V. Didenko and E. Skvortsov, 'Exact higher-spin symmetry in CFT: all correlators in unbroken Vasiliev theory,' JHEP 1304 (2013) 158, arXiv:1210.7963 [hep-th] .
- [38] R. Bonezzi, N. Boulanger, D. De Filippi, and P. Sundell, 'Noncommutative Wilson lines in higher-spin theory and correlation functions of conserved currents for free conformal fields,' J. Phys. A50 no. 47, (2017) 475401, arXiv:1705.03928 [hep-th] .
- [39] M. R. Gaberdiel and B. Zwiebach, 'Tensor constructions of open string theories. 1: Foundations,' Nucl. Phys. B505 (1997) 569-624, arXiv:hep-th/9705038 [hep-th] .
- [40] T. Erler, S. Konopka, and I. Sachs, 'Resolving Witten's superstring field theory,' JHEP 04 (2014) 150, arXiv:1312.2948 [hep-th] .
- [41] A. Sharapov and E. Skvortsov, ' A ∞ Algebras from Slightly Broken Higher Spin Symmetries,' arXiv:1809.10027 [hep-th] .
- [42] A. Sharapov and E. Skvortsov, 'Formal Higher Spin Gravities,' Nucl. Phys. B941 (2019) 838-860, arXiv:1901.01426 [hep-th] .
- [43] M. A. Vasiliev, 'Consistent equation for interacting gauge fields of all spins in (3+1)-dimensions,' Phys. Lett. B243 (1990) 378-382.
- [44] S. Prokushkin and M. A. Vasiliev, 'Higher spin gauge interactions for massive matter fields in 3-D AdS space-time,' Nucl.Phys. B545 (1999) 385, arXiv:hep-th/9806236 [hep-th] .
- [45] M. A. Vasiliev, 'Nonlinear equations for symmetric massless higher spin fields in (A)dS(d),' Phys. Lett. B567 (2003) 139-151, arXiv:hep-th/0304049 [hep-th] .
- [46] A. Sagnotti, E. Sezgin, and P. Sundell, 'On higher spins with a strong sp(2,r) condition,' hep-th/0501156 .
- [47] R. Bonezzi, N. Boulanger, E. Sezgin, and P. Sundell, 'Frobenius-Chern-Simons gauge theory,' J. Phys. A50 no. 5, (2017) 055401, arXiv:1607.00726 [hep-th] .
- [48] X. Bekaert, M. Grigoriev, and E. D. Skvortsov, 'Higher Spin Extension of Fefferman-Graham Construction,' Universe 4 no. 2, (2018) 17, arXiv:1710.11463 [hep-th] .

[49]

C. Arias, R. Bonezzi, and P. Sundell, 'Bosonic Higher Spin Gravity in any Dimension with Dynamical

Two-Form,'

JHEP

03

(2019) 001, arXiv:1712.03135 [hep-th]

.

- [50] M. Grigoriev and E. D. Skvortsov, 'Type-B Formal Higher Spin Gravity,' JHEP 05 (2018) 138, arXiv:1804.03196 [hep-th] .
- [51] E. Sezgin and P. Sundell, 'Towards massless higher spin extension of D=5, N=8 gauged supergravity,' JHEP 09 (2001) 025, arXiv:hep-th/0107186 [hep-th] .
- [52] E. Sezgin and P. Sundell, 'Supersymmetric Higher Spin Theories,' arXiv:1208.6019 [hep-th] .
- [53] E. S. Fradkin and V. Ya. Linetsky, 'Conformal superalgebras of higher spins,' Annals Phys. 198 (1990) 252-292.
- [54] S. Fernando and M. G¨naydin, 'Minimal unitary representation of SU(2,2) and its deformations as u massless conformal fields and their supersymmetric extensions,' J.Math.Phys. 51 (2010) 082301, arXiv:0908.3624 [hep-th] .
- [55] K. Govil and M. G¨naydin, 'Deformed Twistors and Higher Spin Conformal (Super-)Algebras in Four u Dimensions,' JHEP 03 (2015) 026, arXiv:1312.2907 [hep-th] .
- [56] R. R. Metsaev, 'Massless arbitrary spin fields in AdS(5),' Phys. Lett. B531 (2002) 152-160, arXiv:hep-th/0201226 [hep-th] .
- [57] R. R. Metsaev, 'Mixed symmetry massive fields in AdS(5),' Class. Quant. Grav. 22 (2005) 2777-2796, arXiv:hep-th/0412311 [hep-th] .

- [58] R. R. Metsaev, 'Mixed-symmetry fields in AdS(5), conformal fields, and AdS/CFT,' JHEP 01 (2015) 077, arXiv:1410.7314 [hep-th] .
- [59] M. A. Vasiliev, 'Cubic interactions of bosonic higher spin gauge fields in ads(5),' Nucl. Phys. B616 (2001) 106-162, hep-th/0106200 .
- [60] K. B. Alkalaev and M. A. Vasiliev, 'N = 1 supersymmetric theory of higher spin gauge fields in ads(5) at the cubic level,' Nucl. Phys. B655 (2003) 57-92, hep-th/0206068 .
- [61] K. Alkalaev, 'FV-type action for AdS 5 mixed-symmetry fields,' JHEP 1103 (2011) 031, arXiv:1011.6109 [hep-th] .
- [62] E. Sezgin and P. Sundell, 'Doubletons and 5D higher spin gauge theory,' JHEP 09 (2001) 036, arXiv:hep-th/0105001 .
- [63] M. Gunaydin, K. Koepsell, and H. Nicolai, 'Conformal and quasiconformal realizations of exceptional Lie groups,' Commun. Math. Phys. 221 (2001) 57-76, arXiv:hep-th/0008063 [hep-th] .
- [64] A. Mikhailov, 'Notes on higher spin symmetries,' arXiv:hep-th/0201019 [hep-th] .
- [65] A. Joseph, 'Minimal realizations and spectrum generating algebras,' Commun. Math. Phys. 36 (1974) 325-338.
- [66] M. A. Vasiliev, 'Consistent equations for interacting massless fields of all spins in the first order in curvatures,' Annals Phys. 190 (1989) 59-106.
- [67] E. Sezgin and P. Sundell, 'Analysis of higher spin field equations in four-dimensions,' JHEP 0207 (2002) 055, arXiv:hep-th/0205132 [hep-th] .
- [68] A. Sharapov and E. Skvortsov, ' Cup product on A ∞ -cohomology and deformations,' arXiv:1901.07872 [math] .
- [69] E. Sezgin and P. Sundell, 'Geometry and Observables in Vasiliev's Higher Spin Gravity,' JHEP 07 (2012) 121, arXiv:1103.2360 [hep-th] .
- [70] A. A. Sharapov and E. D. Skvortsov, 'Hochschild cohomology of the Weyl algebra and Vasiliev's equations,' Letters in Mathematical Physics 107 no. 12, (Dec, 2017) 2415-2432, arXiv:1705.02958 [math-ph] .
- [71] A. A. Sharapov and E. D. Skvortsov, 'A simple construction of associative deformations,' Letters in Mathematical Physics (Jul, 2018) , arXiv:1803.10957 [math-ph] .
- [72] J. Alev, M. Farinati, T. Lambre, and A. Solotar, 'Homologie des invariants d'une algbre de weyl sous l'action d'un groupe fini,' Journal of Algebra 232 no. 2, (2000) 564-577.
- [73] C. Iazeolla and P. Sundell, 'A Fiber Approach to Harmonic Analysis of Unfolded Higher- Spin Field Equations,' JHEP 10 (2008) 022, arXiv:0806.1942 [hep-th] .
- [74] E. Joung and K. Mkrtchyan, 'Notes on higher-spin algebras: minimal representations and structure constants,' JHEP 05 (2014) 103, arXiv:1401.7977 [hep-th] .
- [75] L. M. Yang, 'A Note on the Quantum Rule of the Harmonic Oscillator,' Phys. Rev. 84 no. 4, (1951) 788.
- [76] E. Sezgin and P. Sundell, '7-D bosonic higher spin theory: Symmetry algebra and linearized constraints,' Nucl. Phys. B634 (2002) 120-140, arXiv:hep-th/0112100 [hep-th] .
- [77] M. G¨ unaydin, E. D. Skvortsov, and T. Tran, 'Exceptional F (4) higher-spin theory in AdS 6 at one-loop and other tests of duality,' JHEP 11 (2016) 168, arXiv:1608.07582 [hep-th] .
Alexey Sharapov Evgeny Skvortsov Tung Tran
Towards Massless Sector of Tensionless Strings on $AdS_5$
{A} Higher Spin Gravity in five dimensions is constructed. It was shown
recently that constructing formally consistent classical equations of motion of
higher spin gravities is equivalent to finding a certain deformation of a given
higher spin algebra. A strong homotopy algebra encoding the interaction
vertices then follows. We propose two different and novel realizations of the
deformed higher spin algebra in the case of five dimensions: one in terms of
the universal enveloping algebra of $su(2,2)$ and the other by means of
oscillator variables. Both the new realizations admit supersymmetric extensions
and the $\mathcal{N}=8$ case underlies the massless sector of tensionless
strings.