Higgs-Chern-Simons gravity models in 2n+1 dimensions

We consider a family of new Higgs-Chern-Simons (HCS) gravity models in 2n+1 dimensions (n=1,2,3). This provides a generalization of the (usual) gravitational Chern-Simons (CS) gravitaties resulting from non- Abelian CS densities in all odd dimensions, which feature vector and scalar fields in addition to the metric. The derivation of the new HCS gravitational (HCSG) actions follows the same method as in the usual-CSG case resulting from the usual CS densities. The HCSG result from the HCS densities, which result through a one-step descent of the Higgs-Chern-Pontryagin (HCP), the latter being descended from Chern-Pontryagin (CP) densities in some even dimension. A preliminary study of the solutions of these models is considered, with exact solutions being reported for spacetime dimensions d = 3, 5.


Introduction
The study of the Chern-Simons gravities (CSG) derived from non-Abelian Chern-Simons (CS) densities has started with the Witten's work in Ref. [1], dealing with the 2 + 1 dimensional case. Subsequently, Witten's results were extended to all odd dimensions by Chamseddine in Refs. [2,3]. A generic CSG models consist of superpositions of gravitational models of all possible higher order gravities in the given dimensions (leading to second order equations of motion), each appearing with a precise real numerical coefficient. These gravitational models are usually referred to as Lovelock models, which here we refer to as p-Einstein gravities. The integer p ≥ 0 is the power of the Riemann curvature in the Lagrangian; the p = 0 term being the cosmological constant, for p = 1 the Ricci scalar etc.
The recent work [4,5] has proposed a new formulation of the CSG systems, which, different from the standard case in [1], [2,3], allows their construction in all, both odd and even dimensions. Following the Ref. [6], let us briefly review this construction. As discussed there, the expression of the new-CS densities is found following exactly the same method as the usual-CS densities in odd dimensions. The usual CS density results from the one-step descent of the corresponding Chern-Pontryagin (CP) density. We recall that the CP density is a total-divergence Ω CP = ∂ i Ω i , i = µ, D ; µ = 1, 2, . . . , d ; d = D − 1 ; then the CS density is defined as the D-th component of Ω i , namely Ω CS def.
= Ω D . In the proposal put forward in [4,5], the role of the usual-CP density, which is defined in even dimensions only, is played by what we refer to as the Higgs-Chern-Pontryagin (HCP) density (see the Refs. [7,8] and in Appendix A of Ref. [9] for a discussion of HCP models). These are dimensional descendents of the n th CP density in N = 2n dimensions, down to residual D dimensions (D < N = 2n). However, as a new feature, D With this definition of the HCS densities, the construction of the corresponding gravitational theories is done in the same spirit as in [1,2,3]. In any given dimension, there is an infinite family of such theories, each resulting from the infinite family of HCS densities. Working in d = D − 1 dimensions, the gauge group is chosen to be SO(d), while the Higgs multiplet is chosen to be a D-component isovector of SO(D) 1 . The central point in the construction of both CS and HCS gravity models is the identification of the non-Abelian (nA) SO(D) connection in d = D − 1 dimensions 2 , with the spin-connection ω ab µ and the V ielbein e a µ , (µ = 1, 2, 3; a=1,2,3). Following the prescription in [1,2,3], we define (γ ab , γ aD ) being the Dirac gamma matrices used in the representation of the algebra of SO(D). Note the presence of the constant κ in the above expression (with dimensions L −1 ), compensating the difference of the dimensions of the spin-connection and the Dreibein. In (1), is the Riemann curvature.
In the HCS case, in addition to (1), we supplement (1) with the prescription for the Higgs scalar Φ, which clearly displays the iso-D-vector (φ a , φ D ), that is split into the D component frame-vector field φ a and the scalar field ψ ≡ φ D . Also, we define the covariant derivative D µ Φ of the Higgs scalar Note also that φ a is a vector field (with φ µ = e a µ φ a in a coordinate frame) which, however, has rather unusual dynamics as will be seen below. As such, φ a is neither a gauge (masless or massive) field; it has rather a geometric content.
In fact, one remarks that the fields (φ a , ψ) are not usual matter fields like gauge fields or Higgs scalar in the Standard Model of particle physics. In the latter cases, the covariant derivatives are not defined by the (gravitational) spin-connection, while here they are, as seen in (2). Thus, in this sense (φ a , ψ) are like spinor fields (although their action look different). As such, theories like the one proposed here can support solutions with torsion, a possibility, which, however, is not explored in this work. However, the analogy with spinors is incomplete, since the fields (φ a , ψ) are rather 'gravitational coordinates', as they originate from the Higgs field Φ of the nA gauge theory. Thus, as seen from (2), (φ a , ψ) are on the same footing as the usual 'gravitational coordinates' (ω ab µ , e a µ ). In fact, this provides the main physical motivation for their study, since such models can be seen as extensions of the usual CSG's (reducing to them in the limit of vanishing (φ a , ψ)). Therefore it is interesting to see what are the new features introduced by extending the CSG's to allow for nonzero (φ a , ψ). Moreover, finding how the BTZ-like CSG's black hole solutions in Ref. [11] are deformed by the (φ a , ψ)-fields is an interesting mathematical problem in itself. The gravitational models resulting from the Higgs-CS (HCS) densities via (1)-(2) are referred to as HCS gravities [4] (HCSG). In this report we restrict our study to the simplest HCSG models in 2n + 1 dimensions, namely to the HCSG models resulting from the HCS density descended from the HCP densities in 6, 8 and 10 dimensions. These models are extensions of the usual Chern-Simons gravities [1,2,3], possessing an additional sector in terms of (φ a , ψ).
This paper is organized as follows. In the next Section, we present the explicit form of the resulting HCSG Langrangians for d = 3, 5, 7, the connection with the usual CSG being also reviewed. A preliminary investigation of the simplest solutions in d = 3, 5 dimensions is considered in Section 3, extending the study (for the n = 1 case) in Ref. [6]. The concluding remarks are presented in Section 4.

General expressions
The Higgs-Chern-Simons densities (HCS) considered here are the "simplest" examples in 2 + 1, 4 + 1, 6 + 1 dimensions. By simplest we mean that the Higgs-Chern-Simons (HCS) density employed to construct the HCS gravity (HCSG), is the one resulting from the "simplest" Higgs-Chern-Pontryagin (HCP) density, which is defined in one dimension higher, namely in f our, six and eight dimensions respectively. Now in any dimension, HCP densities can be constructed as dimensional descendants of a CP density in 2n > 4 dimensions, hence it is reasonable to describe the "simplest" cases here to be the HCP densities in 4, 6, 8 dimensions, that descend from the CP densities in 2n = 6, 8, 10 dimensions respectively, i.e., those descended by the minimal (nontrivial) number of dimensions, namely by two dimensions.
Since like the CP density, the HCP density is a total divergence, then the corresponding HCS density results from the usual one-step descent, which in the cases at hand are those from 4, 6, 8 to 3, 5, 7 dimensions, with the corresponding expressions Let us remark that the HCS densities (4), (5) and (6) are the "simplest" examples in these dimensions, arising from the descents of the Chern-Pontryagin densities in 6, 8 and 10 dimensions respectively. It may be interesting to display also HCS densities arising from CP densities in higher dimensions. To this end we consider the HCS density in 3 dimensions resulting from the descent from the CP in 8 dimensions The leading term Ω CS in (4) and (7), and the leading terms Ω CS and Ω CS in (5) and (6) In (4)-(6), the Higgs scalar Φ, the gauge connection and the constant η have the dimensions of L −1 .
Applying the prescriptions (1) and (2) to (4), (5), (6) and (7) yield the required HCS gravitational (HCSG) models. To express these compactly, we adopt the abbreviated notation together with where R ab µν is the Riemann curvature and D µ φ a is the covariant derivative (3), of the frame-vector field φ a . In terms of which the HCSG Lagrangians in d = 3, 5 and 7 dimensions, resulting from the HCS densities (4), (5), (6), are while the gravitational model arising from (7) is In (14)- (16), L CSG , L CSG and L CSG are the usual Chern-Simons gravities (CSG) It is easy to express the HCSG Lagranian for all n by extrapolation of (14)- (16). Given the models (14)- (16) , the corresponding equations of motion are found by taking the variation of the action w.r.t. the vielbein e a λ , together with (φ a , ψ). However, these equations have a simple enough expression for d = 3 only, see Ref. [6].

The general CSG Lagrangians and the connection with the Einstein-Lovelock hierarchy
Following the previous study [6], we consider a spacetime with Minkowskian signature, and replace in the Lagrangians (14)- (16). With this choice, setting φ = φ a = 0 results in (pure gravity) CS Lagrangian in d = 2n + 1 dimensions, with a negative cosmological constant Λ. Also, note that one can η = 1 without any loss of generality, a choice we employ for the rest of this work. The CS Lagrangian in d = 2n + 1 dimensions can be viewed as a particular case of a generic model consisting in a superposition of all allowed Einstein-Lovelock terms in that dimension, with with the following definition for the p−th term in the Lovelock hierarchy.
The normalization of each term in (23) has been chosen to make contact with the usual conventions in the literature on Lovelock gravities solutions. As such, L (p) = R p + . . . , the first terms (up to d = 7) being Also, to make contact with the usual GR conventions, we take In general, the coefficients α (p) are arbitrary. However, they are fixed in a CGS model, with the general expression where Λ = −2(d − 2)κ 2 .

The solutions
Given the above models (14)- (16), it is interesting to inquire which are the simplest solutions with nonvanishing fields (φ a , ψ). In what follows, we study this question for the first two dimensions d = 3, 5, and contrast the results.

The d = 3 case
We consider a static line element with where r, t are the radial and time coordinates, respectively, while ϕ is the azimuthal coordinate. Working in a coordinate basis, a consistent Ansaz for the fields (φ a , ψ) reads Then a straightforward computation leads to the following exact solution of the full set of equations of motion: with n 0 , c 0 , c 1 , c 2 arbitrary constants. This provides a generalization of the solution reported in [6], which is recovered 3 for c 1 = c 2 = 0.
One can see that the choice n 0 = −1 corresponds to a globally AdS 3 geometry, while for n 0 > 0 the BTZ black hole (BH) geometry [12] is recovered. In both cases, the fields (φ a , ψ) do not backreact on the spacetime (thus their contribution to the r.h.s. of the Einstein equations with negative cosmological constant vanishes 4 ). However, (φ a , ψ) possess a nonstandard behaviour (e.g. both ψ and | φ| 2 diverge as r → ∞). Moreover, the Ref. [6] has given arguments that (at least in the c 1 = c 2 limit), the solution (30), (31) appears to be unique. Since the discussion here in d = 3 is similar to that in the d = 5 case,we restrict to the discussion of the latter, below.
Finally, we mention the existence of a generalization of the solution in Ref. [6] for a spinning BTZ background. The line element in this case reads with J the angular momentum. While the expression of the scalar field remains the same, the function is more complicated, One can easily see that all unusual features noticed in the static case for functions f , h are present also in this case.

An exact solution
The metric Ansatz here is more complicated, the S 1 direction in the d = 3 line-element (28) being replaced with a surface of constant curvature. As such, we consider a general line-element with k = 0, ±1, while the three-dimensional metric dΣ 2 k,3 is 3 Note that the solution in [6] is expressed in a dreibein basis with er = 1/ √ N , eϕ = rdϕ, et = √ N dt. 4 The analogy of these solutions with self-dual Yang-Mills instantons in a curved space geometry [13], [14], [15], was noticed in Ref. [6]. There, we dubbed these closed form solutions as effectively vacuum confiurations. Another interesting analogy is provided by the 'stealth' BH solutions in various alternative models of gravity (see e.g. [16], [17] and references therein). Such configurations feature a nontrivial scalar field, while the geometry is still that of the (vacuum) general relativity solutions.
In the above relation, dΩ 2 3 is the unit metric on S 3 (k = 1); for k = 0 we have a flat three-surface; while for k = −1, one considers a the three-dimensional hyperbolic space, whose unit metric dΞ 2 3 can be obtained by analytic continuation of that on S 3 .
The ansatz for the fields (φ a , ψ) is still given by (29). Within this framework, the following closed-form solution of the field equations has been found together with with c 0 an arbitrary constant. The corresponding line elements, as implied by (36) are well known, corresponding to three different parametrization of AdS 5 spacetime. Although they possess the same (maximal) number of Killing symmetries, they present different global properties, the case k = 0 corresponding to a Poincaré patch and the gloabbly AdS 5 spacetime being found for k = 1 (see e.g. the discussion in Ref. [18]). As with the d = 3 case above, the fields (φ a , ψ) do not backreact on the spacetime geometry, i.e. their effective energy-momentum tensor vanishes again. However, while this time both ψ and | φ| 2 are finite as r → ∞, they diverge at the minimal value of r (which is r = 0 for k = 0, 1 and r = 1/κ for k = −1).
Finally, let us remark that the expressions (37) for (φ a , ψ) are also compatible with a different background, described by the line-element (where k = 0, ±1) where −∞ < z < ∞ while dΣ 2 k,2 the metric on a two-dimensional surface of constant 2k-curvature. For k = 0 the Poincaré patch of AdS 5 spacetime is recovered; the case k = 1 corresponds to a vortex-type geometry, while a black string is recovered for k = −1. As with the line-element (34), this is a solution of the equations of motion also for f = g = h = 0, whose existence has been noticed in Ref. [19].

No backreacting solutions on a fixed black hole background
For φ a = ψ = 0, the CSG equations of motion (with the line-element (34)) possess the exact solution N (r) = κ 2 r 2 − n 0 , δ(r) = 0, with n 0 an arbitrary constant. The AdS 5 line-element discussed above is a particular case here, corresponding to the choice n 0 = −k. However, n 0 > 0 leads to a BTZ-like BH geometry [11], with an horizon located at √ n 0 /κ. Moreover, one can show that the same expression of the metric functions N (r), δ(r) solves the CS gravity equation in all d = 2n + 1 dimensions (for a choice of the line element similar to (34), dΣ 2 k,3 being replaced with its higher dimensional generalization), see the discussion in the recent work [23] and the references there.
A major difference between the d = 3 and d = 5 cases appear to be that for d = 5 we could not extend (36) to include the case of a BH solution, n 0 = k. However, this results follows directly from the structure of the field equations, which is different for d = 3 and d = 5. Let us assume that the geometry (34) with (N, δ) as given by (39)) is a solution of the d = 5 model. Then the equations for the functions f, g, h take the simple form (note the relations below are for k = 1, only; however, a similar result is found also for k = 0, −1): It follows directly that both f and g can be expressed in term of h, with and The scalar h is a solution of an equation of the form the explicit form of c k being irrelevant. As such, for h = 0 the only choice is n 0 = −1, i.e. a globally AdS 5 spacetime. Then the matter fields equations are satisfied, the functions f and g being fixed by h. The expression of the scalar h is found by imposing the gravity equations to be satisfied for the above choice of the geometry, which result in the solution (37). A similar computation for d = 3 leads again to a set of three equations for (φ a , ψ), which again reduce to a single equation for h(r). However, this time this equation is multiplied with a factor N ′ − 2κ 2 r. Therefore the choice N = κ 2 r 2 − n 0 , with n 0 arbitrary, is now allowed. The the solution (31) is recovered when imposing the Einstein equation to be also satisfied.
Returning to the d = 5 case, one may ask if a more general solution exists, with the functions (φ a , ψ) backreacting on the spacetime metric and being finite everywhere. The answer seems to be negative, although we do not have a definite proof. An indication comes from from our attempt to construct a numerical solution.
Here one starts by noticing that, starting with the general framework (29), (34), the function f can be eliminated (as found from the field equations), with where we assume that globally AdS spacetime is not a solution. Also, one can prove that g = 0 is a consistent truncation of the model. As such, we are left with three ordinary differential equations for the functions h, N and δ. Restricting to the most interesting k = 1 case (i.e. a globally AdS 5 background), we have attempted to construct deformations of the line element (36), with a regular origin and usual AdS 5 asymptotics, which would represent particle-like solitonic configurations. In our approach, we assume that the small-r solution possesses a power series expansion, with where n (k) , δ (k) and h (k) are real numbers (and n 0 = 1) subject to a tower of algebraic conditions, as implied by the field equations. Starting with the above small-r expansion, we have integrated the HCS equations of motion, searching for solutions with N (r) → κ 2 r 2 + const., δ → 0 and h(r) → h 0 (with h 0 a constant), as r → ∞. However, we have failed to find any numerical indication for the existence of such configurations, the solutions possessing a pathological behavious for any considered set of initial conditions at r = 0, typically with a the occurence of a divergence at some finite r.
A similar results holds also for BH configurations, in which case we assume the existence of an horizon at some r = r H > 0, with N (r H ) = 0, while δ(r H ) and h(r H ) nonzero and finite.
Finally, let us remark that, although a definite proof is missing, the above (numerical) results follow the spirit of the 'no hair' theorems [20], [21], [22], as expressed in the conjecture that there are no BH solutions with matter fields that do not possess (asymptotically) measured quantities subject to a Gauss Law.

Conclusions
Chern-Simons gravity (CSG) models in d = 2n+1 dimensions were extensively studied in the literature, starting with Witten's work for d = 3 [1], where the gravitational model is described by the Einstein-Hilbert Lagrangian with a cosmological constant. In the d > 3 case, such systems consist of specific superpositions of gravitational Lagrangians featururing all possible powers of the Riemann curvature of in the given dimension, each appearing with a precise numerical coefficient. The main purpose of this paper was to propose a generalization of the CSG model, with a Lagrangian, which in addition to the (standard) CSG Lagrangian, features new terms described by a frame-vector field φ a and a scalar field ψ. Like the CSG, which result from the non-Abelian (nA) Chern-Simons (CS) densities, these new Lagrangians result from a new class of CS densities which in addition to the nA gauge field, feature an algebra-valued Higgs scalar. Like the usual nA CS densities, which result from the usual Chern-Pontryagin (CP) densities, these new CS densities are constructed in the same way, but now from the dimensional descendents of the CP densities which feature the Higgs scalar. The latter are referred to as Higgs-Chern-Pontryagin (HCS) [7,8,9] densities, and are the building blocks for the generalised CSG's, namely the HCSG's [4,5] studied here.
It should be noted at this stage that the construction of HCSG's is not confined to odd dimensions only, since the HCS from which they are constructed are defined is both odd and even dimensions. The main reason we have restricted our attention to odd dimensions in these preliminary investigations is that only in odd dimensions there exist CSG's, which can provide a background for the new gravitational field configurations. In even dimensional spacetimes, the HCSG models, as typified by the 3+1 dimensional examples in Refs. [4,5], also consist of frame-vector and scalar fields (φ a , ψ) interacting with the gravitational V ielbein e a µ (or the metric). These Lagrangians are invariant under gravitational gauge transformations; however, different from the odd dimensional case in this work, they do not feature (gauge-variant, pure gravity) CSG terms, their action mixing the contribution of (φ a , ψ), e a µ fields. The new fields (φ a , ψ) display non-standard dynamics in that they feature linear 'velocity coordinates' rather than the standard 'velocity squared' kinetic terms. It may be relevant to stress that (φ a , ψ) can be seen as 'gravitational coordinates' rather than usual matter fields since on the level of the HCS densities from which the HCSG result, the Higgs scalar is on the same footing as the non Abelian gauge connection.
The present work, which is a continuation of that done in Ref. [6] for the the lowest dimension d = 3, provides the explicit expression of the HCS Lagrangians up to d = 7, together with an investigation of the simplest solutions for d = 3, 5. These solutions have in common the property that they do not backreact on the spacetime geometry, i.e. their effective energy-momentum tensor vanishes. However, while for d = 3 this includes the case of BTZ BH, for d = 5 only a maximally symmetric AdS background is allowed. We attribute this feature to the fact that the BTZ BH possesses the same amount of symmetries as pure AdS 3 , being a global identification of it [12], [24]. On the other hand, the case of d > 3 BHs in CSG are different; although their line-element is still BTZ-like [23], they are less symmetric than the AdS d background.
Finally, for d = 3, the Ref. [6] has provided (numerical) evidence for the existence of BTZ-like BH with standard asymptotics also for the fields (φ a , ψ), provided the action is supplemented with a Maxwell field. We conjecture that a similar property holds in the higher dimensional case. In this respect, it may be interesting to consider the HCSG systems in the presence of non-Abelian matter (in d > 3), or Skyrme scalars, to search for regular solutions.