Pure Lovelock gravity and Chern-Simons theory
P.K. Concha, R. Durka, C. Inostroza, N. Merino, E.K. Rodríguez
aa r X i v : . [ h e p - t h ] J u l Pure Lovelock gravity and Chern-Simons theory
P. K. Concha , ∗ , R. Durka † , C. Inostroza ‡ , N. Merino § , E. K. Rodr´ıguez , ¶ , Departamento de Ciencias, Facultad de Artes Liberales yFacultad de Ingenier´ıa y Ciencias, Universidad Adolfo Ib´a˜nez,
Av. Padre Hurtado 750, Vi˜na del Mar, Chile Instituto de Ciencias F´ısicas y Matem´aticas, Universidad Austral de Chile,
Casilla 567, Valdivia, Chile Instituto de F´ısica, Pontificia Universidad Cat´olica de Valpara´ıso,
Casilla 4059, Valpara´ıso, Chile Departamento de F´ısica, Universidad de Concepci´on,
Casilla 160-C, Concepci´on, Chile
September 18, 2018
Abstract
We explore the possibility of finding Pure Lovelock gravity as a particular limit of a Chern-Simons action for a specific expansion of the AdS algebra in odd dimensions. We derive indetails this relation at the level of the action in five and seven dimensions. We provide a generalresult for higher dimensions and discuss some issues arising from the obtained dynamics.
UAI-PHY-16/04
Lanczos-Lovelock theory [1, 2] is the most natural generalization of the gravity theory in D − dimensions that leads to the second order field equations. Its action is built as a polynomial inthe Riemann curvature with each term carrying an arbitrary coupling constant. As recently dis-cussed in Ref. [3], the higher curvature terms can generate sectors in the space of solutions carryingdifferent number of degrees of freedom. In particular, there might be degenerate sectors with nodegrees of freedom and in that case the metric is not completely determined by the field equations,i.e., some components remain arbitrary. An explicit example was first provided in Refs. [4, 5] whereit was shown that the metric component g tt of the static spherically symmetric solution stays arbi-trary when the coupling constants cause the theory to admit a non-unique degenerate vacuum. Infact, metrics with the undetermined components were reported not only in the static case [6] butalso when the time dependent metric functions [7, 8, 9] are considered or when torsional degrees offreedom are taken into account to find a charged solution [10]. ∗ [email protected] † [email protected] ‡ [email protected] § [email protected] ¶ [email protected] D dimensions [11]. Another possibility is to choose the coefficients as in the Chern-Simons (CS) orBorn-Infeld (BI) theories. Recently in Refs. [12, 13] the Pure Lovelock (PL) theory was proposedas another way of fixing the constants such that the static metric is free of the degeneracy. Indeed,the PL theory has non-degenerate vacua in even dimensions and admits a unique non-degenerate(A)dS vacuum in the odd-dimensional case. In the first order formalism with the vielbein e a andthe spin connection ω ab , the considered action contains only two terms instead of the full Lovelockseries, I D PL = Z ( α L + α p L p ) , (1)where L = ǫ a ...a D e a · · · e a D , (2) L p = ǫ a ...a D R a a · · · R a p − a p e a p +1 · · · e a D . (3)As usual, the curvature and the torsion are defined as R ab = dω ab + ω ac ω cb and T a = de a + ω ab e b ,where wedge product is assumed and the Lorentz indices a, b are running from 1 to D . This actionnaturally carries torsional degrees of freedom and usually, when the study of solutions is considered(see Ref. [14]), the vanishing of torsion is assumed.The new coefficients, in terms of the cosmological constant related with the (A)dS radius ℓ Λ = ( ∓ p ( D − D − p − ℓ p , (4)and the gravitational constant κ , will be given by α = − κD ! = − ( ∓ p κD ( D − p − ℓ p , α p = κ ( D − p )! . (5)As was pointed out in Ref. [15], the (A)dS space in the PL theory is not directly related to the signof a cosmological constant like in General Relativity. Indeed, the definition of (A)dS space is dueto the sign of curvature R ab = ∓ ℓ e a e b , and not of the explicit Λ, which now has the dimension ofthe length − p (at the same time the dimension of the gravitational constant κ is length p − D ).It was shown in Ref. [13, 16] that the corresponding PL black holes solutions have the remarkableproperty of being asymptotically indistinguishable from the AdS-Schwarzschild ones. In addition,for the maximal power p = (cid:2) D − (cid:3) they exhibit a peculiar thermodynamical behavior. From thedynamical point of view, the nonlinear character of this theory is responsible for the presence ofsectors in the space of solutions carrying different number of degrees of freedom. The Hamiltoniananalysis performed in Ref. [3] shows that the maximum possible number is the same as in the EHcase.It should be pointed out that a supersymmetric version of the general Lovelock theory is un-known, except for the EH Lagrangian and two very special cases in odd dimensions correspondingto the CS actions for the AdS and Poincar´e symmetries. The existence of supergravity for the2instein-Hilbert term coupled to a Lovelock quadratic curvature term in 5D was discussed in [17],nevertheless, the explicit form remains unknown. Regarding the features of the PL theory men-tioned earlier, it would be interesting to explore the possibility of finding its supersymmetric form.This is not a trivial task because of the lack of guidance principle with the kind of terms that mustbe considered to ensure the invariance under supersymmetric transformations, which also are notfully clear. However, if one could find the PL action as some kind of limit of a CS or BI theory fora special symmetry, then that result might be useful to obtain the supersymmetric Pure Lovelock(sPL) theory. Something similar has been done using the Lie algebra expansion methods [18, 19] toobtain General Relativity from the Chern-Simons theory in odd dimension [20, 21, 22]. The samehas also been achieved in even dimensions with the BI actions [23].We will not deal with the full problem here, but only focus on the bosonic part in odd dimensions.Thus, as a first step, in Section 2 we give a brief review of the so called Maxwell like algebras andthe S -expansion method [19] used for their construction, as it provides necessary building blocksfor the actions. We choose one specific family of algebras that seems to have the best chanceto establish the desired relation between PL and CS. In Section 3 we explicitly construct the CSaction in 5 D and show how it relates with the PL in that context. For completeness, in Section 4 wepresent similar construction for 7 D , along with the extension of the result to (2 n + 1)-dimensions.Finally, after dealing with the number of obstacles (assuring the proper relative sign between theterms, overconstraining superposition of the field equations) we propose specific configuration thatreproduces the correct PL dynamics. C m algebras and S -expansion Our task requires finding the symmetry for which the cosmological constant term and thedesired Lovelock term effectively end up in one sector of the invariant tensor and unwanted terms inanother. The particular symmetries offering such a feature originate from so ( D − , ⊕ so ( D − , { J ab , P a } with a new generator Z ab . The abelian semigroup expansion procedure (also referred asthe S -expansion) [19] has generalized it to the whole family, which we will denote as C m , followingnotation proposed in [28] and where the subindex refers to ( m −
1) types of generators. Althoughwe extend the AdS algebra, it is worth to mention that for m > C m , as well as B m and D m families, introduced in Refs. [21, 27, 28], can beregarded as generalizations of the original Maxwell algebra [29, 30] and thus they are all referredas Maxwell like algebras. We focus on the C m family because for its first representatives we aregoing to consider in 5D one can arrive to the field equations resembling, at least at the first sight,the wanted scheme (effectively giving maximal PL like equation RR + eeee = 0), whereas B m (producing RR = 0 and Ree = 0) and D m (producing RR = 0 and Ree + eeee = 0) explicitlyexclude the maximal PL construction.As we will see below, the S -expansion method is not only producing new algebras, but it willalso deliver the corresponding invariant tensors needed to construct the actions. This makes it avery useful and important tool to relate different symmetries and (super)gravity theories [21, 31,32, 33, 34, 35, 36]. For example, it was shown in Ref. [27] that the cosmological constant term canarise from the Born-Infeld gravity theory based on C m (see also [37]). Some further applications ofthe supersymmetric extension of C m can be found in Refs. [38, 39, 40].3ollowing Ref. [27], in this section we will review the explicit derivation of the C m ≥ algebrasfrom AdS by using a particular choice of a semigroup. The considered procedure starts from thedecomposition of the original algebra g into subspaces, g = so ( D − ,
2) = so ( D − , ⊕ so ( D − , so ( D − ,
1) = V ⊕ V , where V is spanned by the Lorentz generator ˜ J ab and V by the AdS translation generator ˜ P a .They satisfy the commutation relations h ˜ J ab , ˜ J cd i = η cb ˜ J ad − η ca ˜ J bd − η db ˜ J ac + η da ˜ J bc , h ˜ J ab , ˜ P c i = η cb ˜ P a − η ca ˜ P b , h ˜ P a , ˜ P b i = ˜ J ab . (6)The subspace structure may be then written as[ V , V ] ⊂ V , [ V , V ] ⊂ V , [ V , V ] ⊂ V . (7)We skip the two first representatives, namely C and C , because as it will be explained in the nextsection they do not have necessary features. Thus, for our purposes we proceed with a detailedderivation of C , which we then generalize to an arbitrary m . We start by considering the abeliansemigroup S (3) M = { λ , λ , λ , λ } with the multiplication law λ α λ β = (cid:26) λ α + β , if α + β ≤ ,λ α + β − , if α + β > , (8)and the subset decomposition S (3) M = S ∪ S , where S = { λ , λ } and S = { λ , λ } . Thisdecomposition satisfies S · S ⊂ S , S · S ⊂ S , S · S ⊂ S , (9)which is said to be resonant since it has the same structure as (7).According to the Theorem IV.2 from Ref. [19], we can say that g R = W ⊕ W is a resonantsubalgebra of S (3) M × g , where W = ( S × V ) = { λ , λ } × n ˜ J ab o = n λ ˜ J ab , λ ˜ J ab o ,W = ( S × V ) = { λ , λ } × n ˜ P a o = n λ ˜ P a , λ ˜ P a o . (10)The new C algebra is given by the set of generators { J ab , P a , Z ab , R a } , defined as J ab = λ ˜ J ab , P a = λ ˜ P a ,Z ab = λ ˜ J ab , R a = λ ˜ P a . P a , P b ] = Z ab , [ J ab , P c ] = η bc P a − η ac P b , [ J ab, J cd ] = η bc J ad − η ac J bd + η ad J bc − η bd J ac , [ J ab, Z cd ] = η bc Z ad − η ac Z bd + η ad Z bc − η bd Z ac , [ Z ab, Z cd ] = η bc J ad − η ac J bd + η ad J bc − η bd J ac , [ R a , R b ] = Z ab , [ Z ab , P c ] = η bc R a − η ac R b , [ R a , P b ] = J ab , [ J ab , R c ] = η bc R a − η ac R b , [ Z ab , R c ] = η bc P a − η ac P b . (11)Analogously we make a transition to the algebras containing arbitrary number of ( m −
1) typesof generators, with m ≥
3. Because there is no relation between spacetime dimension D and m ,all the algebras C m can be used to construct the actions for a given dimension . If the C m -CSLagrangian in odd dimensions D ≥ m ≥ D ) leads to the desired PL action limit, then C m +1 offers exactly the same result. However, in the last case the theory has more extra fields asthe gauge symmetry is bigger. So, without loosing generality, we choose the minimal setting andonly consider m being odd. The analysis might be extended for even dimensions D ≥ C m with m even, but we will not deal with that problem here (workin progress).Thus, as we are restricting ourselves only to the odd values of the m index, we obtain C m algebras using the S ( m − M = { λ , λ , . . . , λ m − } semigroup with the multiplication law λ α λ β = (cid:26) λ α + β , if α + β ≤ m − ,λ α + β − ( m − , if α + β > m − , (12)and the resonant subset decomposition S ( m − M = S ∪ S , with S = { λ i } , with i = 0 , . . . , m − ,S = { λ i +1 } , with i = 0 , . . . , m − . The new algebra will be spanned by (cid:8) J ab, ( i ) , P a, ( i ) (cid:9) , whose generators are related to the so ( D − , J ab, ( i ) = λ i ˜ J ab and P a, ( i ) = λ i +1 ˜ P a . General commutation relations will be provided by (cid:2) J ab, ( i ) , J cd, ( j ) (cid:3) = η bc J ad, ( i + j ) mod ( m − ) − η ac J bd, ( i + j ) mod ( m − )+ η ad J bc, ( i + j ) mod ( m − ) − η bd J ac, ( i + j ) mod ( m − ) , (cid:2) J ab, ( i ) , P a, ( j ) (cid:3) = η bc P a, ( i + j ) mod ( m − ) − η ac P b, ( i + j ) mod ( m − ) , (cid:2) P a, ( i ) , P b, ( j ) (cid:3) = J ab, ( i + j +1) mod ( m − ) . (13) The dimension of the Lie algebra depends on the spacetime dimension, which is encoded in the range of theLorentz indices characterizing the generators.
5e can notice that the first non trivial case is given by C = so ( D − , ⊕ so ( D − , C trivially corresponds to the original so ( D − ,
2) algebra.As was mentioned before, quite interestingly, the S -expansion method allows us to expressthe invariant tensor of the final algebra in terms of the original one. Based on the definitions ofRef. [19], we can show that the only non-vanishing components of an invariant tensor in D = 2 n + 1spacetime of order n+1 for the C m algebra (restricted only to the odd values of m ) are given by (cid:10) J a a , ( i ) · · · J a n − a n , ( i n ) P a n +1 , ( i n +1 ) (cid:11) = 2 n n + 1 σ i +1 δ ij ( i ,i ,...,i n +1 ) ǫ a a ...a n +1 , (14)where the σ j ’s are arbitrary dimensionless constants and we have j ( i , i , . . . , i n +1 ) = ( i + i + · · · + i n +1 ) mod (cid:18) m − (cid:19) . (15)With these building blocks at hands we can now turn to the construction of the corresponding CSactions. D = 5 In the present section we will show how the five-dimensional maximal Pure Lovelock action (thefirst non trivial example referred also as the Pure Gauss-Bonnet [15, 3]) could be obtained from aCS gravity theory for a particular choice of the C m algebra.A CS action [41, 42] is a quasi invariant (i.e. invariant up to a boundary term) functional of agauge connection one-form A , which is valued on a given Lie algebra g . In 5 D it is given by I D CS = k Z (cid:28) A ( dA ) + 32 A dA + 35 A (cid:29) , (16)where h· · · i denotes the invariant tensor for a given algebra. Remarkably, the invariant tensor for the C m algebra (see Eq. (14)) splits various terms in the action into different sectors proportional to thearbitrary σ constants. As we are interested in obtaining the maximal PL action, the cosmologicalconstant and the highest (maximal) order curvature terms both must be in the same sector. Useof C = AdS and C = AdS ⊕ Lorentz algebras allow us to have these terms in the same sector,however, the Einstein-Hilbert term is also present there. In fact, these algebras correspond to theCS Lagrangians having all the gravitational terms (i.e. purely build from ω, e ) proportional justto a single constant. As we will show now, this is not the case when C is considered, making itan appropriate candidate to get the EH and the PL terms belonging to different sectors of the CSaction.To write down the action for the C algebra from the Eq. (11) we start from the connectionone-form A = 12 ω ab J ab + 1 l e a P a + 12 k ab Z ab + 1 l h a R a , (17)and the associated curvature two-form F = F A T A = 12 R ab J ab + 1 l T a P a + 12 F ab Z ab + 1 l H a R a , (18)6here R ab = dω ab + ω ac ω cb + k ac k cb + 2 l e a h b , = R ab + k ac k cb + 2 l e a h b , T a = de a + ω ab e b + k ab h b = De a + k ab h b , = T a + k ab h b ,F ab = Dk ab + 1 l h a h b + 1 l e a e b ,H a = Dh a + k ab e b . Let us note that the covariant derivative D = d + ω is only with respect to the Lorentz partof the connection. See also that l e a e b term appears in the F ab curvature instead of being addedto the Lorentz curvature as it usually happens in the AdS gravities. This is a particular feature ofthe Maxwell like algebras, which all share the commutator [ P a , P b ] = Z ab .Presence of the l parameter in front of fields e a and h a in Eq. (17) is to make the dimensionsright, since our generators are dimensionless and so must be the gauge connection A . As usual inthe general framework of (A)dS-CS theory [20], this parameter can be identified with the (A)dSradius ℓ introduced in Eq. (4), which characterizes the vacuum solutions in the theory (see alsoAppendix A). Similar identification can be made when we introduce a gauge connection A valuedin other C m algebras. Thus, from now on, the scale parameter needed to make the connectiondimensionless always will be give by the AdS radius ℓ .Using Theorem VII.2 of Ref. [19] it is possible to show that the non-vanishing components ofthe invariant tensor for the C algebra are given by h J ab J cd P e i = σ ǫ abcde , h J ab J cd Z e i = σ ǫ abcde , h J ab Z cd Z e i = σ ǫ abcde , h J ab Z cd P e i = σ ǫ abcde , h Z ab Z cd P e i = σ ǫ abcde , h Z ab Z cd Z e i = σ ǫ abcde , (19)where the factor comes from the original invariant tensor of the AdS algebra and, by the means ofthe expansion process, is transmitted to the other components. Note that σ and σ are arbitrarydimensionless constants allowing to separate the action into two different sectors. Then consideringthe gauge connection one-form (17) and the non-vanishing components of the invariant tensor inthe general expression for the 5 D CS action we find I D C -CS = k Z σ (cid:20) ǫ abcde (cid:18) ℓ R ab R cd e e + 15 ℓ e a e b e c e d e e (cid:19) + ˜ L ( ω, e, k, h, ) (cid:21) + σ (cid:20) ǫ abcde (cid:18) ℓ R ab e c e d e e (cid:19) + ˜ L ( ω, e, k, h ) (cid:21) , (20)7here R ab = dω ab + ω ac ω cb is usual Lorentz curvature and ˜ L , ˜ L are explicitly given by˜ L = ǫ abcde (cid:18) ℓ R ab k cf k fd + 1 ℓ k af k fb k cg k gd + 2 ℓ h a h b e c e d + 1 ℓ h a h b h c h d + 1 ℓ Dk ab Dk cd + 23 ℓ Dk ab e c e d + 2 ℓ R ab h c e d + 2 ℓ k af k fb h c e d + 2 ℓ Dk ab h c h d (cid:19) e e + ǫ abcde (cid:18) ℓ Dk ab R cd + 2 ℓ Dk ab k cf k fd + 23 ℓ R ab h c h d + 23 ℓ k af k fb h c h d (cid:19) h e and ˜ L = ǫ abcde (cid:18) ℓ k af k fb e c e d + 1 ℓ h a e b e c e d + 2 ℓ h a h b h c e d + 2 ℓ Dk ab h c e d + 2 ℓ R ab h c h d + 2 ℓ k af k fb h c h d + 2 ℓ Dk ab R cd + 2 ℓ Dk ab k cf k fd (cid:19) e e + ǫ abcde (cid:18) ℓ h a h b h c h d + 23 ℓ Dk ab h c h d + 1 ℓ R ab R cd + 2 ℓ R ab k cf k fd + 1 ℓ k af k fb k cf k fd + 1 ℓ Dk ab Dk cd (cid:19) h e . As we can see, the action (20) splits into two pieces. The part proportional to σ contains the highestorder curvature term, the cosmological constant term and mixed terms with the new extra fields k ab and h a coupled to the spin connection and vielbein. On the other hand, the piece proportionalto σ contains the Einstein-Hilbert term and a part containing the new extra fields.After choosing the constant σ to vanish and in a matter-free configuration (cid:0) k ab = h a = 0 (cid:1) theaction I D = k Z σ ǫ abcde (cid:18) ℓ R ab R cd e e + 15 ℓ e a e b e c e d e e (cid:19) , (21)seems to resemble the structure of the maximal Pure Lovelock action (1) for p = 2 in 5 D with theidentification kσ ℓ = κ . However, it does not match the sign of the constants in the desired action.Indeed, using Eq. (5) we see that these constants should be equal α = κ and α = − ℓ κ . Thisrelative sign difference makes the PL theory in odd dimensions and in the torsionless regime tohave a unique non degenerate dS and AdS vacuum (see Ref. [3]). This can be directly seen fromthe field equations 0 = ǫ abcde (cid:18) R ab − ℓ e a e b (cid:19) (cid:18) R cd + 1 ℓ e c e d (cid:19) . (22)One might ask if performing the expansion of the dS algebra might solve this sign problem butafter looking at the full (A)dS Chern-Simons action in five dimensions, I D ( A ) dS -CS = κ Z ǫ abcde (cid:18) ℓ R ab R cd e e ± ℓ R ab e c e d e e + 15 ℓ e a e b e c e d e e (cid:19) , (23)it becomes clear that the cosmological term will have exactly the same sign for AdS and dS sym-metries and we will end up with exactly the same action (21).8aturally, the sign problem in our construction is inherited by the dynamics. When the previousconditions on the σ ’s and matter fields are imposed, the field equations of the action (20) read,0 = ǫ abcde (cid:18) R ab R cd + 1 ℓ e a e b e c e d (cid:19) , (24)0 = ǫ abcde R cd T e , (25)0 = ǫ abcde R ab e c e d , (26)0 = ǫ abcde e c e d T e , (27)which do not correspond to the actual PL dynamics. The system does not even admit AdS space, R ab = − ℓ e a e b , as a vacuum solution. Moreover, the system does not have any maximally sym-metric vacuum solutions. We can only recognize in the last line the torsionless condition.The same results will be brought by considering the C algebra, which contains more extra fieldsand it is generated by the set of generators { J ab , P a , Z ab, (1) , Z ab, (2) , R a, (1) } with the commutationrelations given in Ref. [27].All these facts about signs and dynamics, however, do not mean that the 5 D case is hopeless. Toresolve it we should use a symmetry separating all the gravity terms into different sectors, insteadof ’gluing’ some of them together. Thus, then we could put the whatever sign we want, simply byhand, since invariant tensors hold arbitrary values. In fact, we do not need to look very far: wecan use for that purpose the C algebra.This can be treated as a generic method: for particular dimension we should use some C m algebra, with high enough value of the m index, to assure the separation of all purely ( ω, e ) terms.That will bring a much wider framework, not only producing the CS limit to the maximal PL actionbut also cases like the EH with Λ (see recent Ref. [43]) and a class of actions similar to the onesdiscussed in [17] having the form R + LL , where R is the curvature scalar and LL is understoodas an arbitrary Lanczos-Lovelock term.Following the definitions of Ref. [19], algebra C is derived from so (4 ,
2) using S (5) M as the relevantsemigroup, whose elements satisfy Eq. (12). Its generators (cid:8) J ab, ( i ) , P a, ( i ) (cid:9) , with index i = 0 , , so (4 ,
2) ones by J ab, ( i ) = λ i ˜ J ab ,P a, ( i ) = λ i +1 ˜ P a , and will satisfy Eq. (13). Let now A be the connection one-form for C , A = 12 ω ab, ( i ) J ab, ( i ) + 1 ℓ e a, ( i ) P a, ( i ) , (28)where the spin connection and vielbein being inside are defined as ω ab = ω ab, (0) and e a = e a, (0) ,respectively. The extra fields will be denoted as k ab, ( i ) = ω ab, ( i ) and h a, ( i ) = e a, ( i ) , with i = 0.Using Theorem VII.2 of Ref. [19], it is possible to show that the non-vanishing components ofthe invariant tensor are given by (cid:10) J ab, ( q ) J cd, ( r ) P e, ( s ) (cid:11) = 43 σ u +1 δ uj ( q,r,s ) ǫ abcde , (29)9here the σ ’s are arbitrary constants and j ( q, r, s ) for m = 7 satisfies Eq. (15). We express thecorresponding 5 D CS action as I D C -CS = k Z X i =0 σ i +1 L i +1 , (30)where L i +1 = ǫ abcde δ ij ( q,r,s ) ℓ R ab, ( q ) R cd, ( r ) e ( s ) + 2 δ ij ( q,r,s,u, ℓ R ab, ( q ) e c, ( r ) e d, ( s ) e e, ( u ) + δ ij ( q,r,s,u,v, ℓ e a, ( q ) e b, ( r ) e c, ( s ) e d, ( u ) e e, ( v ) ! , (31)and j ( . . . ) is satisfying Eq. (15). The explicit form of the action expression can be found in AppendixB. After writing the purely gravitational terms ( ω, e ) separately from those containing extra fieldswe obtain I D C -CS = k Z σ (cid:20) ǫ abcde (cid:18) ℓ R ab R cd e e (cid:19) + ˜ L (cid:16) ω ( i ) , e ( j ) (cid:17)(cid:21) + σ (cid:20) ǫ abcde (cid:18) ℓ R ab e c e d e e (cid:19) + ˜ L (cid:16) ω ( i ) , e ( j ) (cid:17)(cid:21) + σ (cid:20) ǫ abcde (cid:18) ℓ e a e b e c e d e e (cid:19) + ˜ L (cid:16) ω ( i ) , e ( j ) (cid:17)(cid:21) . (32)We can see that C allows us to have each term in a different sector. When the σ constant van-ishes and σ = − σ , the matter-free configuration limit (cid:0) k ab, ( i ) = h a, ( j ) = 0 (cid:1) leads to the maximal p = 2 Pure Lovelock action I D CS → PL = k Z σ ǫ abcde (cid:18) ℓ R ab R cd e e − ℓ e a e b e c e d e e (cid:19) . (33)An additional non-trivial choice of the constants to consider is σ = 0 with σ = σ . Thisparticular choice leads to the p = 1 Pure Lovelock corresponding to EH gravity with cosmologicalconstant. Thus, we have shown that the PL actions of different orders can be related to the CSaction for the C algebra. We remind that these choices of the σ ’s are allowed since they are allarbitrary.Unfortunately, although matching form of the actions, this still does not lead to the PL dynamicsalone. When the constant σ vanishes, a matter-free configuration is considered and σ = − σ , thefield equations read respectively,0 = ǫ abcde (cid:18) R ab R cd − ℓ e a e b e c e d (cid:19) δe e , ǫ abcde (cid:18) ℓ R ab e c e d − ℓ e a e b e c e d (cid:19) δh e, (1) , ǫ abcde (cid:18) R ab R cd − ℓ R ab e c e d (cid:19) δh e, (2) , (34)10nd 0 = ǫ abcde (cid:16) R cd T e (cid:17) δω ab , ǫ abcde (cid:18) ℓ e c e d T e (cid:19) δk ab, (1) , ǫ abcde (cid:18) R cd T e − ℓ e c e d T e (cid:19) δk ab, (2) . (35)As it was pointed out in the Introduction, if we use the first order formalism to describe PL gravity,then the vanishing of torsion must be imposed by hand (or by introducing suitable Lagrangemultiplier [3]). Here instead, this condition is coming from the variation of the extra δk ab, (1) field.When the matter fields are switched off and torsionless condition is assumed the solution stillhas to simultaneously satisfy the PL and two other unusual equations. This problem has alreadyappeared in Ref. [20], but there one finds superposition of vanishing of the RR and Reee terms.Such restriction of the geometry rejected possibility of the spherical solutions but at least it wasfulfilled by the pp-waves.One can clearly see that proper handling of the full problem requires a more subtle treatment.Nevertheless, if we consider at the level of the action (32) some special extra fields identificationamong extra fields: h a, (1) = h a, (2) = h a and k ab, (1) = k ab, (2) = k ab , (36)and later impose σ = 0, σ = − σ , then we will be able to find the following field equations in amatter-free configuration limit:0 = ǫ abcde (cid:18) R ab R cd − ℓ e a e b e c e d (cid:19) δe e , ǫ abcde (cid:18) R ab R cd − ℓ e a e b e c e d (cid:19) δh e , ǫ abcde (cid:16) R cd T e (cid:17) δω ab , ǫ abcde (cid:16) R cd T e (cid:17) δk ab . (37)Thus, we obtain the appropriate PL dynamics described in Refs. [12, 13, 16]. Note that althoughwe are using the same σ ’s constants and eventually we enforce the extra matter free configura-tion limit, the PL dynamics is recovered only from the Lagrangian L ( ω, e, h, k ) and not from the L ( ω, e, k (1) , h (1) , k (2) , h (2) ). Interestingly, proposed type of identification on the matter field from(36) can be applied not only in a 5D CS action but also in higher dimensional cases.One could try to interpret h a as the vielbein, nevertheless it is straightforward to see that theaction (32) reproduces the PL action only when e a is identified as the true vielbein. Moreover, thematter extra fields ( h a , k ab ) could allow to introduce a generalized cosmological term to the CSgravity action in an analogous way to the one introduced in the four-dimensional case [27, 37].For the completeness, we will now supply the generalization of our construction to higherdimensions. 11 The higher-dimensional Pure Lovelock and Chern-Simons grav-ity actions
In this section we present the general setup to obtain the (2 n + 1)-dimensional PL action for anyvalue of p from CS gravity theory using the Maxwell type C m family. In particular, we show thatthe C algebra for 7 D allows us to recover the maximal p = 3 PL action, where the sign problemfrom the five-dimensional case does not occur.Let us remind the generic form of the PL constants α p = 1( D − p )! κ and α = − ( ∓ p D ( D − p − ℓ p κ , (38)with AdS ( − sign) and the dS (+ sign), and compare them with the generic (A)dS-Chern-Simonsones [44, 45] ˜ β p = ( − sgn (Λ)) p ( D − p ) ℓ D − p (cid:18) D − p (cid:19) k and ˜ β = 1 Dℓ D k . (39)Notice that for the PL constants p is fixed, while for the CS constants index p is running from 0 tothe maximum power of the curvature N = [ D − ]. The construction of the D = 2 n + 1 dimensional C m -Chern-Simons have to take into account also the arbitrary constants σβ p = ( − sgn (Λ)) p ( D − p ) ℓ D − p (cid:18) D − p (cid:19) k σ i +1 δ ij ( i ,...,i D − p , D − − p ) and β = 1 Dℓ D k σ i +1 δ ij ( i ,...,i D , D − ) , where algebraic m dependence appears explicitly in the definition of j ( i , i , . . . , i n +1 ) = ( i + i + · · · + i n +1 ) mod (cid:18) m − (cid:19) , and is responsible for shifting terms into different sectors of the invariant tensor. Then restrictingonly to the purely gravitational terms we obtain P L ( A ) dS : α α p = − ( ∓ p ( D − p ) D ℓ p ,CS C m : β β p = ( − sgn (Λ)) p ( D − p ) D ℓ p (cid:0) D − p (cid:1) δ in mod m − δ j ( n − p ) mod m − σ i +1 σ j +1 , from where we see that ( − sgn (Λ)) pCS (cid:0) np (cid:1) σ n mod m − )+1 σ n − p ) mod m − )+1 = − ( ∓ pP L . (40)For the same σ ’s, whose cancellation forces (cid:0) np (cid:1) = 1, we are restricted only to the maximal p = N PL. Then we see that p = even leads to a sign contradiction, as we have found explicitly in theprevious section. This problem does not appear when maximal order happens to be p = odd ,which is possible only for D = 3 , , , . . . , k −
1. For other situations it is necessary to absorb theproblematic sign and the numerical factors into definition of one of the σ ’s.12ndeed, in Section 2 we have shown that the five-dimensional CS action constructed using C could not lead to the maximal p = 2 PL action with the proper sign but could only produce theright p = 1 PL action, which is just the Einstein-Hilbert action with Λ. Finally, we managed toshow that C algebra in that context allowed us to accommodate minus sign by the means of setting σ = − σ , which effectively provides good maximal p = 2 PL action.On the other hand, the right sign for the maximal p = 3 PL in 7 D will be obtained in astraightforward way, simply by using C . Additionally, by using C algebra, we can derive otherseven-dimensional PL actions, p = 2 and p = 1. Naturally p = 3 can be also establish within thatbigger algebra. However, taking into account growing complexity with the transition to the highervalue of m (see for example Appendix B), we will be always targeting in the minimal setup leadingto the right result.Then the full picture in odd dimensions becomes clear and it can be summarized in the followingway: • for D = 4 k −
1, the smallest representative in the C m family that allows to obtain maximal p = N PL action is given by C D , whereas for any other order of PL p = 1 , . . . , ( N −
1) oneneeds to use C D +2 , • for D = 4 k −
1, the smallest representative in the C m family that allows to obtain arbitraryorder of PL action for p = 1 , . . . , N is given by C D +2 .Obviously, all these PL actions could be recovered as a limit using even bigger C m algebras, butthen one needs to introduce more extra fields and conditions on the σ ’s.Although the PL actions can be obtained from the CS theory, their right dynamical limit requiresappropriate identifications of the extra fields at the level of the action in order to reproduce thePL dynamics: h a, (1) = h a, (2 i +1) = ( ± p h a, (2 i ) ,k ab, (1) = k ab, (2 i +1) = ( ± p k ab, (2 i ) , (41)for all i = 1 , , . . . , m − .One should notice that even if we consider dS case as a starting point it would lead to the samesign problems, as was mentioned in five-dimensional case. D = 7 The generic form of a CS action in seven dimensions [41, 42] is given by I D CS = k Z (cid:28) A ( dA ) + 85 A ( dA ) + 45 A ( dA ) A ( dA ) + 2 A dA + 47 A (cid:29) . (42)Let us first consider the C = (cid:8) J ab, ( i ) , P a, ( i ) (cid:9) algebra, whose generators satisfy Eq. (13), with i = 0 , ,
2. The associated connection one-form is defined as A = 12 ω ab, ( i ) J ab, ( i ) + 1 ℓ e a, ( i ) P a, ( i ) . (43)13rom Theorem VII.2 of Ref. [19] and according to Eq. (14), it is possible to show that the non-vanishing components of the invariant tensor of order 4 for C are given by (cid:10) J ab, ( q ) J cd, ( r ) J ef, ( s ) P g, ( u ) (cid:11) = 2 σ v +1 δ vj ( q,r,s,u ) ǫ abcdefg , (44)where the σ ’s are arbitrary constants and j ( q, r, s, u ) satisfies Eq. (15). Then using the invarianttensor for C (29) and introducing the gauge connection one-form (43) in the general expressionfor the 7 D CS action gives I D C -CS = k Z X i =0 σ i +1 L i +1 , (45)where L i +1 = ǫ abcdefg δ ij ( q,r,s,u ) ℓ R ab, ( q ) R cd, ( r ) R ef, ( s ) e g, ( u ) + δ ij ( q,r,s,u,v, ℓ R ab, ( q ) R cd, ( r ) e e, ( s ) e f, ( u ) e g, ( v ) + 3 δ ij ( q,r,s,u,v,w, ℓ R ab, ( q ) e a, ( r ) e b, ( s ) e c, ( u ) e d, ( v ) e e, ( w ) + δ ij ( q,r,s,u,v,w,o, ℓ e a, ( q ) e b, ( r ) e c, ( s ) e d, ( u ) e e, ( v ) e f, ( w ) e g, ( o ) ! . Separating the purely gravitational terms from those containing extra fields, the action can bewritten as I D C -CS = k Z σ (cid:20) ǫ abcdefg (cid:18) ℓ R ab R cd R ef e g + 17 ℓ e a e b e c e d e e e f e g (cid:19) + ˜ L (cid:16) ω ( i ) , e ( j ) (cid:17)(cid:21) + σ (cid:20) ǫ abcdefg (cid:18) ℓ R ab R cd e e e f e g (cid:19) + ˜ L (cid:16) ω ( i ) , e ( j ) (cid:17)(cid:21) + σ (cid:20) ǫ abcdefg (cid:18) ℓ R ab e c e d e e e f e g (cid:19) + ˜ L (cid:16) ω ( i ) , e ( j ) (cid:17)(cid:21) . (46)Let us notice that the action (46) splits into three pieces. The part proportional to σ contains themaximal PL Lagrangian and mixed terms containing extra fields k ab, ( i ) = ω ab, ( i ) and h a, ( i ) = e a, ( i ) ,with i = 0. Unlike the five-dimensional case, when the constants σ , σ vanish a matter-freeconfiguration (cid:0) k ab, ( i ) = h a, ( i ) = 0 (cid:1) leads to the action corresponding to the maximal p = 3 PL: I D CS → PL = k Z σ ǫ abcdefg (cid:18) ℓ R ab R cd R ef e g + 17 ℓ e a e b e c e d e e e f e g (cid:19) . (47)Following the same procedure for the bigger C algebra we extend the form of the connection(43) to the range of i = 0 , , ,
3, which also makes I D C -CS = k Z X i =0 σ i +1 L i +1 . C -CS action, which now splits into four terms I D C -CS = k Z σ (cid:20) ǫ abcdefg (cid:18) ℓ R ab R cd R ef e g (cid:19) + ˜ L (cid:16) ω ( i ) , e ( j ) (cid:17)(cid:21) + σ (cid:20) ǫ abcdefg (cid:18) ℓ R ab R cd e e e f e g (cid:19) + ˜ L (cid:16) ω ( i ) , e ( j ) (cid:17)(cid:21) + σ (cid:20) ǫ abcdefg (cid:18) ℓ R ab e c e d e e e f e g (cid:19) + ˜ L (cid:16) ω ( i ) , e ( j ) (cid:17)(cid:21) + σ (cid:20) ǫ abcdefg (cid:18) ℓ e a e b e c e d e e e f e g (cid:19) + ˜ L (cid:16) ω ( i ) , e ( j ) (cid:17)(cid:21) . (48)Interestingly, each term of the original seven-dimensional AdS-CS action appears in a differentsector of the C -CS action. This feature allows us to reproduce any p -order of the PL theory, asit happened for C algebra in five-dimensional case. Each order can be derived in a matter-freeconfiguration, after imposing the following conditions: p = 1 : σ = σ = 0 , σ = σ , (49) p = 2 : σ = σ = 0 , − σ = σ , (50) p = 3 : σ = σ = 0 , σ = σ . (51)The first case reproduces the EH with cosmological constant, the second represents first nontrivial7 D PL, while third one gives the maximal PL. Note that last result was already achieved by thesmaller C algebra, as the spacetime dimension is a particular case of D = 4 k − p = 1 and p = 3 automatically assure thetorsionless condition. For the other intermediate case, p = 2, vanishing of torsion is not comingfrom field equations. On the other hand, the following identification in the action (48): h a, (1) = h a, (3) = ( ± p h a, (2) ,k ab, (1) = k ab, (3) = ( ± p k ab, (2) , (52)reproduces the desired PL dynamics for any p -order after considering the appropriate conditionson the σ ’s and in a matter-free configuration limit.One might try to look for a modification of the C m algebra that, besides giving the right limitfor the action, it leads also to the right dynamical limit without any identification on the extrafields. However, we will leave that task for a future work.It is important to point out that other non-trivial conditions on the σ ’s can lead to otherinteresting gravity theories. In fact, after choosing σ = σ or σ = σ and killing all other σ constants, a matter-free configuration will reproduce the class of actions discussed in Ref. [17]having the form EH + LL , where LL corresponds to an arbitrary Lanczos-Lovelock term. D = 2 n + 1 To assure the arbitrary p -order PL action resulting from D = 2 n + 1 CS gravity action werequire the use of C D +2 algebra. As previously, we start with the connection one-form A = 12 ω ab, ( i ) J ab, ( i ) + 1 ℓ e a, ( i ) P a, ( i ) , (53)15ith i = 0 , . . . , n and the non-vanishing components of the invariant tensor given by Eq. (14). Itis possible to show that the (2 n + 1)-dimensional CS action for the C D +2 algebra is then given by I n +1 C D +2 -CS = k Z ǫ a a ...a n +1 n X p =0 ℓ p − n ) − n − p ) + 1 (cid:18) np (cid:19) σ i +1 δ ij ( i ,...,i n +1 − p ,n − p ) R a a , ( i ) · · · R a p − a p , ( i p ) × e a p +1 , ( i p +1 ) · · · e a n +1 , ( i n +1 − p ) , (54)where we identify ω ab = ω ab, (0) , e a = e a, (0) and function j ( . . . ) in the Kronecker delta satisfiesEq. (15). The action (54) is separated into n + 1 pieces proportional to the different σ ’s andunder specific conditions ( σ n +1 − p = ( ± p +1 σ n +1 , vanishing all other σ constants and of courseapplying the free-matter configuration limit) gives p -order PL action I n +1PL = k Z σ n +1 − p ǫ a a ...a n +1 ℓ p − n ) − n − p ) + 1 (cid:18) np (cid:19) R a a · · · R a p − a p e a p +1 · · · e a n +1 + ℓ − n − (2 n + 1) e a e a · · · e a n +1 (cid:19) . (55)Naturally, for D = 4 k − C D algebra. The only difference will appear in the range of the indices i = 0 , . . . , n − j ( . . . ) present in the Eq. (54).Interestingly, we observe that the extra field content k ab, ( i ) for minimal p = 1 (EH) and maximal p = N PL always leads to the explicit torsionless condition, whereas for other situations the torsionremains still involved with the rest of the field equations.Arbitrariness of the σ ’s allows us to construct a wide class of actions, where we can couplearbitrary LL terms together. One of the notable examples could be the Einstein-Hilbert termequipped by the arbitrary p -order LL term [17] (coming from setting σ n +1 − p = σ n − for p = 0and vanishing all others σ ’s) I n +1EH+LL = k Z σ n +1 − p ǫ a a ...a n +1 (cid:18) nℓ − n n − R a a e a · · · e a n +1 + ℓ p − n ) − n − p ) + 1 (cid:18) np (cid:19) R a a · · · R a p − a p e a p +1 · · · e a n +1 ! . (56) We have managed to explore applications of the C m algebras in a CS gravity theory to incor-porate the PL actions as a special limit. It was achieved by the fact that the C m algebra is shiftingvarious powers of the Riemann tensor into different sectors of the invariant tensor. Although itallowed us to obtain the proper p -order PL action in arbitrary spacetime dimension (by particularchoice of the algebra and by manipulating the constants), we faced a problem in the dynamicallimit caused by additional field equations, similarly as happens in Ref. [20] in the context of CSand GR. For the maximal and minimal case we see that the extra fields give the explicit torsionlesscondition, which can be an interesting feature. Finally to overcome the non-trivial superposition of16he field equations overconstraining standard solutions we have proposed a particular identificationof the matter fields at the level of the action allowing to reproduce the correct PL dynamics forany value of p .Altogether the general treatment involves for arbitrary odd D -dimensional spacetime the useof C D +2 as it allows us to fully manipulate the gravitational terms through imposing suitableconditions on the σ constants. In this way we obtained not only the maximal but also arbitraryorder of the PL action along with the gravity theories similar to those discussed in Ref. [17]. Somecases can be achieved with less effort. For example in D = 4 k − C D algebra to get the maximal PL.The possibility of finding a suitable symmetry leading also to the right dynamical limit withless conditions on the extra fields still remains as an open problem. This will be approached ina future work with techniques developed in Refs. [46, 47]. Finally, the mechanism presented herecould be useful to derive the supersymmetric version of the PL theory. This work was supported by the Chilean FONDECYT Projects No. 3140267 (RD) and 3130445(NM), and also funded by the Newton-Picarte CONICYT Grant No. DPI20140053 (PKC andEKR). PKC and EKR wish to thank A. Anabal´on for his kind hospitality at Departamento deCiencias of Universidad Adolfo Iba˜nez. RD and NM would also like to thank J. Zanelli for valuablediscussion and comments.
A Appendix
Here we present the explicit relation between the constant k appearing in the 5 D CS actionand the invariant tensor constants.The Pure Lovelock theory is described by the action I D PL = κ Z ǫ abcde (cid:18) ℓ R ab R cd e e − ℓ e a e b e c e d e e (cid:19) , (57)which is equivalent to the tensorial action I D PL = − κ Z √− g (cid:18) R ρσµν R γλαβ δ µναβρσγλ − (cid:19) d x . (58)When dealing with solutions on this theory [12, 16, 13], in both formalisms, the vanishing of torsionis usually imposed by hand, either by T a = 0 or T αµν = 0.We, however, are interested in finding this action as a special limit of a CS action constructedfor a specific symmetry, I D CS = k Z (cid:28) A ( dA ) + 32 A dA + 35 A (cid:29) , where A is the gauge connection valued on the corresponding algebra and k (different, in principle,from κ ) is a constant that makes this functional of A have dimension of the action. We notice that17ll the factors are dimensionless, as the connection is constructed in a way it is dimensionless too.When the algebra is chosen to be C , then the connection is given by A = 12 ω ab J ab + 1 l e a P a + 12 k ab, (1) Z ab, (1) + 1 l h a, (1) R a, (1) + 12 k ab, (2) Z ab, (2) + 1 l h a, (2) R a, (2) , where the length parameter l assures that A is indeed dimensionless (remember that vielbein hasdimension of length, and then extra fields like h a, ( i ) acquire the same dimension).To analyze the relation between C -CS and PL actions, we need to identify l with the AdS radius ℓ characterizing a vacuum solution of the theory, as it is usually done in (A)dS-CS theory [20]. InSection 3 we showed that effectively this leads to I D CS → PL = kσ Z ǫ abcde (cid:18) ℓ R ab R cd e e − ℓ e a e b e c e d e e (cid:19) , (59)where σ is a dimensionless arbitrary constant and the factor k carries suitable dimensions makingthe functional to have units of an action. Comparing this with Eq. (57) written as I D PL = ℓκ Z ǫ abcde (cid:18) ℓ R ab R cd e e − ℓ e a e b e c e d e e (cid:19) , (60)we immediately recognize that k = σ − ℓκ , (61)which is clearly dimensionless.The same line of reasoning was performed in Section 4 to analyze other examples of C m inhigher odd dimensions. B Appendix
In this appendix, we present the explicit expression of the 5 D C -CS action. To this purpose,let us consider the explicit connection one-form A = 12 ω ab J ab + 1 l e a P a + 12 k ab, (1) Z ab, (1) + 1 l h a, (1) R a, (1) + 12 k ab, (2) Z ab, (2) + 1 l h a, (2) Z a, (2) , (62)and the 18 non-vanishing components of the invariant tensor for the C algebra (cid:10) J ab, ( q ) J cd, ( r ) P e, ( s ) (cid:11) = 43 σ u +1 δ uj ( q,r,s ) ǫ abcde . (63)After using the connection one-form (62) and the non-vanishing components of the invariant tensorin the general expression for the 5 D CS action (16) we obtain I D C -CS = k Z σ (cid:20) ǫ abcde ℓ R ab R cd e e + ˜ L (cid:16) ω, e, k (1) , h (1) , k (2) , h (2) (cid:17)(cid:21) + σ (cid:20) ǫ abcde ℓ R ab e c e d e e + ˜ L (cid:16) ω, e, k (1) , h (1) , k (2) , h (2) (cid:17)(cid:21) + σ (cid:20) ǫ abcde ℓ e a e b e c e d e e + ˜ L (cid:16) ω, e, k (1) , h (1) , k (2) , h (2) (cid:17)(cid:21) , (64)18here ˜ L , ˜ L , ˜ L are explicitly given by˜ L = ǫ abcde (cid:18) ℓ R ab k c, (1) f k fd, (2) + 4 ℓ k a, (1) f k fb, (2) k c, (1) g k gd, (2) + 2 ℓ R ab, (1) R cd, (2) + 2 ℓ R ab h c, (1) h d, (1) + 2 ℓ R ab, (1) h c, (1) e d + 2 ℓ R ab, (1) h c, (2) h d, (2) + 23 ℓ R ab, (2) e c e d + 1 ℓ h a, (1) e b e c e d + 1 ℓ h a, (1) h b, (1) h c, (1) h d, (1) + 2 ℓ h a, (2) h b, (2) e c e d + 6 ℓ h a, (1) h b, (1) h c, (2) e d + 4 ℓ h a, (1) h b, (2) h c, (2) h d, (2) (cid:19) e e + ǫ abcde (cid:18) ℓ R ab R cd, (2) + 1 ℓ R ab, (1) R cd, (1) + 4 ℓ R ab, (2) k c, (1) g k gd, (2) + 23 ℓ R ab, (2) h c, (1) h d, (1) + 6 ℓ R ab, (2) h c, (2) e d + 2 ℓ R ab, (1) h c, (1) h d, (2) + 2 ℓ R ab h c, (2) h d, (2) + 2 ℓ h a, (2) h b, (2) h c, (1) h d, (1) (cid:19) h e, (1) + ǫ abcde (cid:18) ℓ R ab R cd, (1) + 1 ℓ R ab, (2) R cd, (2) + 4 ℓ R ab, (1) k c, (1) g k gd, (2) + 2 ℓ R ab e c e d + 2 ℓ R ab h c, (1) h d, (2) + 2 ℓ R ab, (1) h c, (1) h d, (1) + 6 ℓ R ab, (2) h c, (1) e d + 23 ℓ R ab, (2) h c, (2) h d, (2) + 15 ℓ h a, (2) h b, (2) h c, (2) h d, (2) (cid:19) h e, (2) , ˜ L = ǫ abcde (cid:18) ℓ R ab R cd, (1) + 1 ℓ R ab, (2) R cd, (2) + 4 ℓ R ab, (1) k c, (1) g k gd, (2) + 6 ℓ R ab h c, (1) h d, (2) + 2 ℓ R ab, (1) h c, (1) h d, (1) + 2 ℓ R ab, (1) h c, (2) e d + 2 ℓ R ab, (2) h c, (1) e d + 2 ℓ R ab, (2) h c, (2) h d, (2) + 2 ℓ h a, (1) h b, (1) e c e d + 1 ℓ h a, (2) e b e c e d + 1 ℓ h a, (2) h b, (2) h c, (2) h d, (2) + 4 ℓ h a, (1) h b, (2) h c, (1) h d, (1) + 6 ℓ h a, (1) h b, (2) h c, (2) e d (cid:19) e e + ǫ abcde (cid:18) ℓ R ab R cd + 2 ℓ R ab, (1) R cd, (2) + 4 ℓ R ab k c, (1) g k gd, (2) + 23 ℓ R ab h c, (1) h d, (1) + 2 ℓ R ab, (1) h c, (2) h d, (2) + 2 ℓ R ab, (2) h c, (1) h d, (2) + 15 ℓ h a, (1) h b, (1) h c, (1) h d, (1) + 2 ℓ h a, (2) h b, (2) h c, (2) h d, (1) (cid:19) h e, (1) + ǫ abcde (cid:18) ℓ R ab R cd, (2) + 1 ℓ R ab, (1) R cd, (1) + 4 ℓ R ab, (2) k c, (1) g k gd, (2) + 2 ℓ R ab, (2) h c, (1) h d, (1) + 2 ℓ R ab, (1) h c, (1) h d, (2) + 23 ℓ R ab h c, (2) h d, (2) (cid:19) h e, (2) , L = ǫ abcde (cid:18) ℓ R ab R cd, (2) + 1 ℓ R ab, (1) R cd, (1) + 4 ℓ R ab, (2) k c, (1) g k gd, (2) + 2 ℓ R ab h c, (2) h d, (2) + 23 ℓ R ab, (1) e c e d + 2 ℓ R ab, (2) h c, (1) h d, (1) + 2 ℓ R ab, (2) h c, (2) e d + 2 ℓ h a, (1) h b, (1) h c, (1) e d + 2 ℓ h a, (2) h b, (2) h c, (2) e d + 4 ℓ h a, (1) h b, (2) e c e d + 6 ℓ h a, (1) h b, (2) h c, (2) h d, (1) (cid:19) e e + ǫ abcde (cid:18) ℓ R ab R cd, (1) + 1 ℓ R ab, (2) R cd, (2) + 4 ℓ R ab, (1) k c, (1) g k gd, (2) + 2 ℓ R ab e c e d + 2 ℓ R ab h c, (1) h d, (2) + 6 ℓ R ab, (1) h c, (2) e d + 23 ℓ R ab, (1) h c, (1) h d, (1) + 2 ℓ R ab, (2) h c, (2) h d, (2) + 1 ℓ h a, (2) h b, (1) h c, (1) h d, (1) + 1 ℓ h a, (2) h b, (2) h c, (2) h d, (2) (cid:19) h e, (1) + ǫ abcde (cid:18) ℓ R ab R cd + 2 ℓ R ab, (1) R cd, (2) + 4 ℓ R ab k c, (1) g k gd, (2) + 2 ℓ R ab h c, (1) h d, (1) + 6 ℓ R ab, (1) h c, (1) e d + 23 ℓ R ab, (1) h c, (2) h d, (2) + 2 ℓ R ab, (2) h c, (1) h d, (2) (cid:19) h e, (2) , where we have defined R ab, (1) = Dk ab, (1) + k a, (2) c k cb, (2) ,R ab, (2) = Dk ab, (2) + k a, (1) c k cb, (1) . References [1] D. Lovelock,
The Einstein tensor and its generalizations , J. Math. Phys. , 498 (1971).[2] C. Lanczos, The four-dimensionality of space and the Einstein tensor , J. Math. Phys. 13 (1972)874.[3] N. Dadhich, R. Durka, N. Merino and O. Miskovic,
Dynamical structure of Pure Lovelockgravity , Phys. Rev. D , 064009 (2016), arXiv:1511.02541 [hep-th].[4] J. T. Wheeler, Symmetric Solutions to the Gauss-Bonnet Extended Einstein Equations , Nucl.Phys. B , 737 (1986).[5] J. T. Wheeler,
Symmetric Solutions to the Maximally Gauss-Bonnet Extended Einstein Equa-tions , Nucl. Phys. B , 732 (1986).[6] R. Zegers,
Birkhoff ’s theorem in Lovelock gravity , J. Math. Phys. , 072502 (2005)[gr-qc/0505016].[7] C. Charmousis and J. F. Dufaux, General Gauss-Bonnet brane cosmology , Class. Quant. Grav. , 4671 (2002) [hep-th/0202107]. 208] G. Dotti, J. Oliva and R. Troncoso, Exact solutions for the Einstein-Gauss-Bonnet theory infive dimensions: Black holes, wormholes and spacetime horns , Phys. Rev. D , 064038 (2007),arXiv:0706.1830 [hep-th].[9] H. Maeda, S. Willison and S. Ray, Lovelock black holes with maximally symmetric horizons ,Class. Quant. Grav. , 165005 (2011), arXiv:1103.4184 [gr-qc].[10] G. Giribet, N. Merino, O. Miskovic and J. Zanelli, Black hole solutions in Chern-Simons AdSsupergravity,
JHEP , 083 (2014) [arXiv:1406.3096 [hep-th]].[11] D. G. Boulware and S. Deser,
String Generated Gravity Models,
Phys. Rev. Lett. , 2656(1985).[12] R. G. Cai and N. Ohta, Black Holes in Pure Lovelock Gravities , Phys. Rev. D , 064001(2006) [hep-th/0604088].[13] N. Dadhich, J. M. Pons and K. Prabhu, On the static Lovelock black holes , Gen. Rel. Grav. , 1131 (2013), arXiv:1201.4994 [gr-qc].[14] Q. Exirifard and M. M. Sheikh-Jabbari, Lovelock gravity at the crossroads of Palatini andmetric formulations,
Phys. Lett. B , 158 (2008), arXiv:0705.1879 [hep-th].[15] L. Aranguiz, X. M. Kuang and O. Miskovic,
Topological black holes in Pure Gauss-Bonnetgravity and phase transitions , Phys. Rev. D , 064039 (2016), arXiv:1507.02309 [hep-th].[16] N. Dadhich, J. M. Pons and K. Prabhu, Thermodynamical universality of the Lovelock blackholes , Gen. Rel. Grav. , 2595 (2012), arXiv:1110.0673 [gr-qc].[17] S. Deser and J. Franklin, Canonical Analysis and Stability of Lanczos-Lovelock Gravity,
Class.Quant. Grav. , 072001 (2012), arXiv:1110.6085 [gr-qc].[18] J.A. de Azc´arraga, J.M. Izquierdo, M. Pic´on, O. Varela, Generating Lie and gauge free dif-ferential (super)algebras by expanding Maurer-Cartan forms and Chern-Simons supergravity ,Nucl. Phys. B (2003) 185, [hep-th/0212347].[19] F. Izaurieta, E. Rodr´ıguez, P. Salgado,
Expanding Lie (super)algebras through Abelian semi-groups , J. Math. Phys. (2006) 123512 [hep-th/0606215].[20] J.D. Edelstein, M. Hassaine, R. Troncoso, J. Zanelli, Lie-algebra expansions, Chern-Simonstheories and the Einstein-Hilbert Lagrangian , Phys. Lett. B (2006) 278 [hep-th/0605174].[21] F. Izaurieta, P. Minning, A. Perez, E. Rodr´ıguez, P. Salgado,
Standard General Relativity fromChern-Simons Gravity , P. Salgado, Phys. Lett. B
213 (2009), arXiv:0905.2187 [hep-th].[22] P.K. Concha, D.M. Pe˜nafiel, E.K. Rodr´ıguez, P. Salgado,
Chern-Simons and Born-Infeld grav-ity theories and Maxwell algebras type , Eur. Phys. J. C (2014) 2741, arXiv:1402.0023 [hep-th].[23] P.K. Concha, D.M. Pe˜nafiel, E.K. Rodr´ıguez, P. Salgado, Even-dimensional General Relativityfrom Born-Infeld gravity , Phys. Lett. B , 419 (2013), arXiv:1309.0062 [hep-th].2124] D.V. Soroka, V.A. Soroka,
Tensor extension of the Poincar´e algebra , Phys. Lett. B (2005)302, [hep-th/0410012].[25] D.V. Soroka, V.A. Soroka,
Semi-simple extension of the (super)Poincare algebra , Adv. HighEnergy Phys. 2009 (2009) 234147 [hep-th/0605251].[26] R. Durka, J. Kowalski-Glikman, M. Szczachor,
Gauged AdS-Maxwell algebra and gravity , Mod.Phys. Lett. A (2011) 2689, arXiv:1107.4728 [hep-th].[27] P. Salgado, S. Salgado, so ( D − , ⊗ so ( D − , algebras and gravity , Phys. Lett. B , 5(2013).[28] P.K. Concha, R. Durka, N. Merino, E.K. Rodr´ıguez, New family of Maxwell like algebras ,Phys. Lett. B (2016) 507. arXiv:1601.06443 [hep-th].[29] R. Schrader,
The Maxwell group and the quantum theory of particles in classical homogeneouselectromagnetic fields , Fortsch. Phys. (1972) 701.[30] H. Bacry, P. Combe, J.L. Richard, Group-theoretical analysis of elementary particles in anexternal electromagnetic field. 1. The relativistic particle in a constant and uniform field , NuovoCim. A (1970) 267.[31] P.K. Concha, D.M. Pe˜nafiel, E.K. Rodr´ıguez, P. Salgado, Generalized Poincare algebras andLovelock-Cartan gravity theory , Phys. Lett. B (2015) 310, arXiv:1405.7078 [hep-th].[32] J. Diaz, O. Fierro, F. Izaurieta, N. Merino, E. Rodr´ıguez, P. Salgado, O. Valdivia,
A gen-eralized action for (2 + 1)-dimensional Chern-Simons gravity , J. Phys. A (2012) 255207,arXiv:1311.2215 [gr-qc].[33] C. Inostroza, A. Salazar, P. Salgado, Brans-Dicke gravity theory from topological gravity , Phys.Lett. B (2014) 377.[34] P.K. Concha, E.K. Rodr´ıguez,
Maxwell Superalgebras and Abelian Semigroup Expansion , Nucl.Phys. B (2014) 1128, arXiv:1405.1334 [hep-th].[35] P.K. Concha, E.K. Rodr´ıguez,
N=1 supergravity and Maxwell superalgebras , JHEP (2014)090, arXiv:1407.4635 [hep-th].[36] P.K. Concha, O. Fierro, E.K. Rodr´ıguez, P. Salgado,
Chern-Simons Supergravity in D=3 andMaxwell superalgebra , Phys. Lett. B (2015) 117, arXiv:1507.02335 [hep-th].[37] J.A. de Azcarraga, K. Kamimura, J. Lukierski,
Generalized cosmological term from Maxwellsymmetries , Phys. Rev. D (2011) 124036, arXiv:1012.4402 [hep-th].[38] O. Fierro, F. Izaurieta, P. Salgado, O. Valdivia, (2+1)-dimensional supergravity invariantunder the AdS-Lorentz superalgebra , arXiv:1401.3697 [hep-th].[39] P.K. Concha, E.K. Rodr´ıguez, P. Salgado, Generalized supersymmetric cosmological term inN=1 Supergravity , JHEP (2015) 009, arXiv:1504.01898 [hep-th].2240] R. Durka, J. Kowalski-Glikman and M. Szczachor, AdS-Maxwell superalgebra and supergravity ,Mod. Phys. Lett. A , 1250023 (2012), arXiv:1107.5731 [hep-th].[41] A.H. Chamseddine, Topological Gauge Theory of Gravity in Five-dimensions and All OddDimensions , Phys. Lett. B (1989) 291.[42] A.H. Chamseddine,
Topological gravity and supergravity in various dimensions , Nucl. Phys. B (1990) 213.[43] N. Gonzalez, P. Salgado, G. Rubio and S. Salgado,
Einstein-Hilbert action with cosmologicalterm from Chern-Simons gravity,
J. Geom. Phys. , 339 (2014).[44] J. Zanelli, Lecture notes on Chern-Simons (super-)gravities. Second edition (February 2008) ,[hep-th/0502193].[45] R. Troncoso, J. Zanelli,
Higher dimensional gravity, propagating torsion and AdS gauge in-variance , Class. Quantum Grav. (2000) 4451, [hep-th/9907109].[46] R. Caroca, I. Kondrashuk, N. Merino and F. Nadal, Bianchi spaces and their three-dimensionalisometries as S-expansions of two-dimensional isometries , J. Phys. A (2013) 225201,arXiv:1104.3541 [math-ph].[47] L. Andrianopoli, N. Merino, F. Nadal, M. Trigiante, General properties of the expansion meth-ods of Lie algebras , J. Phys. A46