1. Introduction
The gauge-theoretic understanding of the fundamental physical interactions is one of the solid cornerstones of the modern science. In simple terms, the gauge principle relates physical forces to the underlying symmetry groups. The corresponding Yang–Mills type formalism was developed for the
internal symmetries, which form the foundation for the theories of electromagnetic, weak and strong interactions, and consistently generalized to the
spacetime symmetries [
1,
2] which give rise to the gravitational interaction. In the current research, much attention is paid to the gauge-theoretic models based on the Poincaré group, see [
3,
4] for an introduction. The monograph [
2] provides an extensive list of references.
It is now well established that Einstein’s general relativity (GR) theory provides a valid description of the gravitational phenomena on macroscopic scales. Compared to GR, the gauge gravity theory is expected to improve our understanding of the gravitational physics at microscopic scales (and, likewise, at an early stage of the cosmological evolution of the universe), giving rise to GR in a certain macroscopic limit. The simplest version of the Poincaré gauge gravity, known as the Einstein–Cartan theory, is a viable gravitational model which is consistent with all experimental tests, and it only deviates from GR at extremely high matter densities
(with
m mass of a fermion), where it predicts an avoidance of the cosmological singularity [
4]. As one knows, the quantized GR is non-renormalizable, and taking into account the success of the Yang–Mills gauge approach for the strong and electro-weak interactions, one hopes that a development of the gauge-theoretic framework for gravity may help in constructing a consistent quantum theory of the gravitational field.
We focus here on the class of Poincaré gauge gravity models based on the general quadratic Lagrangians of the Yang–Mills type. Both the parity-even and parity-odd terms are included, extending the previous studies which were mainly confined to the parity symmetric theories. Construction of exact solutions of the field equations is important for checking the validity of the theory, and its consistency with GR and experiments. Here, we report on the black hole solutions with dynamical torsion.
Our basic notation and conventions are consistent with [
5,
6]. In particular, Greek indices
, denote the anholonomic components (for example, of a coframe
), while the Latin indices
, label the holonomic components (e.g.,
). The anholonomic vector frame basis
is dual to the coframe basis in the sense that
, where ⌋ denotes the interior product. The volume 4-form is denoted by
, and the
-basis in the space of exterior forms is constructed with the help of the interior products as
,
. They are related to the
-basis via the Hodge dual operator
, for example,
. The Minkowski metric is
. We do not use special unit systems and, accordingly, do not put the fundamental physical constants (such as the light velocity
c, Planck’s constant
ℏ, and Newton’s gravitational constant
G) equal to one, thereby keeping for all objects their natural dimensions. All the objects related to the parity-odd sector (coupling constants, irreducible pieces of the curvature, etc.) are marked by an overline, to distinguish them from the corresponding parity-even objects.
2. Formal Structure of Poincaré Gauge Gravity
The 10-parameter Poincaré symmetry group
is a semidirect product of the 4-parameter group of translations and the 6-parameter local Lorentz group, and the Yang–Mills–Utiyama–Kibble formalism can be consistently developed on a spacetime manifold [
1,
2]. The corresponding gravitational field potentials (“translational” and “rotational”, respectively) are then naturally identified with the 1-forms of the coframe and the local Lorentz connection:
The “translational” and “rotational” field strength 2-forms
have standard geometrical interpretation as the torsion and the curvature of the Riemann–Cartan spacetime. As usual, the covariant differential is denoted
D.
2.1. Gravitational Field Equations
The gravitational Lagrangian 4-form is quite generally an arbitrary invariant function of the geometrical variables:
Its variation, with respect to the gravitational (translational and Lorentz) potentials, yields the field equations
Here, the Poincaré
gauge field momenta 2-forms are introduced by
and the 3-forms of the
canonical energy-momentum and spin for the gravitational gauge fields are constructed as
The field Equations (
6) and (7) are written here for the
vacuum case. In the presence of matter, the right-hand sides of Equations (
6) and (7) contain the canonical energy-momentum and the canonical spin currents of the physical sources, respectively.
2.2. Quadratic Poincaré Gravity Models
The torsion 2-form can be decomposed into the 3 irreducible parts, whereas the curvature 2-form has 6 irreducible pieces. Their definition is presented in
Appendix A.
The general quadratic model is described by the Lagrangian 4-form that contains all possible linear and quadratic invariants of the torsion and the curvature:
This Lagrangian has a clear structure: The first line encompasses the terms linear in the curvature and the torsion quadratic terms (all of which have the same dimension of an area ), whereas the second line contains the curvature quadratic invariants. For completeness, the cosmological constant is included (with the dimension of an inverse area, ). Furthermore, each line is composed of parity-even pieces and parity-odd parts (with the coupling constants marked by an overline). A special case and describes the purely quadratic model without the Hilbert–Einstein linear term in the Lagrangian.
A general Poincaré gauge model contains a set of the coupling constants which determine the structure of the quadratic part of the Lagrangian:
,
,
and
,
. It is important to note that not all of the latter constants are independent—we take
,
and
because some of the terms in Lagrangian (
11) are the same in view of Equations (A12)–(A17). As we already mentioned, the overbar denotes the constants responsible for the parity-odd sector. In recent times, there is a growing interest to such interactions [
7,
8,
9,
10,
11,
12,
13]. Quite generally, there are no compelling theoretical arguments or experimental evidence which could rule out the violation of parity in gravity, and in 1964 Leitner and Okubo [
14] looked into a possibility of extending the gravitational Lagrangian by parity odd terms. Later such extensions were widely studied in the context of the classical and quantum gravity theory [
15,
16], in particular in Ashtekar’s approach and loop quantum gravity [
17,
18]. Moreover, the inclusion of parity-nonconserving terms is important for the discussion of such fundamental physical issues as the baryon asymmetry of the universe, where the parity-odd terms can be induced by the quantum vacuum structure [
19,
20,
21].
All coupling constants
,
,
, and
are dimensionless, whereas the dimension
. Keeping in mind the importance of the macroscopic limit to GR, we have
as Einstein’s gravitational constant. The microscopic gravitational phenomena are naturally characterized by the parameter
Since
, this new coupling parameter has the dimension of an area,
. Below we will see that
parameter describes the contribution of the curvature square terms in the Lagrangian (
11) to the gravitational field dynamics in Equations (17) and (18).
For the Lagrangian (
11), from Equations (8)–(10) we derive the gauge gravitational field momenta
and the canonical energy-momentum and spin currents of the gravitational field
For convenience, we introduced here the 2-forms that are linear functions of the torsion and the curvature, respectively, by
and the 3-forms which are quadratic in the torsion and in the curvature, respectively:
By construction,
has the dimension of a length, whereas the 2-form
is obviously dimensionless. Similarly, we find for Equations (
16) the dimension of length
, and the dimension of the inverse length,
, respectively.
The resulting
vacuum Poincaré gravity field Equations (6) and (7) then read:
3. Prelude: De Sitter Spacetime
As a preliminary step, we discuss the de Sitter spacetime in an unusual disguise. This manifold has many faces, and here we consider one of them which is not quite well known. Using a spherical local coordinate system
, it is given by the coframe
Here, the rotation parameter is denoted by
(in order to distinguish it from the torsion coupling constants we avoid a more common notation
a), and the functions and constants are defined by
and
,
,
and
.
The corresponding line element
, with the spacetime metric
, reads:
When
and
, this line element reduces to
which represents the static spherically symmetric form of the de Sitter spacetime. Quite remarkably, however, also in the general case with
and
, despite a complicated form of the coframe (
19) and the metric (
24), the components of which appear to be highly nontrivial functions of the spacetime coordinates and parameters
, the corresponding Riemannian connection satisfies
The components of the connection
are explicitly given in
Appendix B. By making use of Equations (A19)–(A21), it is straightforward (although the corresponding computation is somewhat lengthy) to verify Equation (27).
In other words, even for nonvanishing m and , the coframe (19) and the metric (24) describe the torsionless de Sitter spacetime of the constant curvature . Note that depending on the sign of , one sometimes speaks of de Sitter and anti-de Sitter geometries. Here, we do not use this refined language and—irrespective of the sign of the constant curvature—call all these spaces de Sitter.
4. Interlude: From de Sitter to Kerr–de Sitter
As a next step, we introduce the 1-form
and define the covector components by
. One can straightforwardly check that this construction yields a null geodetic congruence:
Hereafter the hat marks the objects and operators in the de Sitter space (, ). Namely, is the covariant differential corresponding to the connection , and is the Hodge duality operator corresponding to the coframe .
Now we use the null 1-form (
28) to define a new coframe
which can be considered as a kind of perturbation of the de Sitter coframe (
19). The components of the modified coframe
are now
, and the corresponding spacetime metric has the Kerr–Schild form
Here
is a function of the radial coordinate
r and the angle
. In order to preserve the stationarity and the axial symmetry, we assume that all the geometric variables do not depend on
t and
. If we choose
the coframe (
30) reads explicitly
We immediately recognize the coframe of the
Kerr–de Sitter geometry [
22].
6. Solving Gravitational Field Equations
It is important to notice that the null 1-form (
28) preserves its structure with respect to the new coframe (
30):
and consequently the covector components
have the same values. Moreover, it is still a null geodetic congruence,
It is straightforward to derive the torsion and the Riemann–Cartan curvature for the Baekler ansatz (34) and (35). Combining Equations (27), (34), and (35) we find
One can check the following properties of the Poincaré gauge field strengths:
Next, we need to find the irreducible parts. Using the identities (
40) and (41), we can verify that most of the irreducible parts of the curvature vanish, except for the 4th and 6th:
As compared to the curvature (39), the structure of the torsion (
38) is more nontrivial. Making use of the components of the connection (Equations (A19)–(A21)) and Equation (
32), one can evaluate the covariant derivative in (
38) to get
where we introduce the 2-form
and denoted the functions
Explicitly, the components of the torsion 2-form (
44) read:
One can verify that the torsion trace is proportional to the 1-form
k:
As a result, we find the irreducible parts of the torsion:
and
The Riemann–Cartan geometry of Baekler’s configuration (34) and (35) is globally
regular in the sense that all the torsion invariants vanish, whereas curvature invariants are constant. In particular,
To solve the coupled system of the Poincaré gauge field Equations (
17) and (18), we have to evaluate
,
,
,
, and the covariant derivative
,
. We begin by noticing that the structure of the 2-form
realizes the generalized double-duality ansatz [
3], namely:
In view of Equations (
42) and (43), we have explicitly
Making use of Equation (
53), we find
and recast the field equations (
17) and (18) into
where we introduce the effective constants
In order to simplify the first field equation (
56), we use the explicit form of the curvature (39) to find for the first term
whereas the second term vanishes
in view of (41).
A direct computation yields
whereas after a long algebra we find for the components of the derivative
:
As we can see, Equations (
60)–(64) are significantly simplified when the coupling constants satisfy
and
. Namely, we then get
and, by making use of Equations (
46) and (
32), we find
Now let us turn to the second field Equation (57) which, in view of the definition (
15), imposes an algebraic constraint on the spacetime torsion. Indeed, by making use of the properties of irreducible parts of the torsion, we recast Equation (57) into an equivalent form
This admits a nontrivial field configuration when
and
. Combining the definitions (
58) with Equation (
54), we then finally obtain the constraints on the coupling constants
Substituting Equation (
65) and Equation (
59) into Equation (
56), we discover that the 1st field equation reduces to a simple relation
. Recalling the definitions of the effective coupling constants (
58), the latter is equivalent to
7. Discussion and Conclusions
The algebraic constraints on the torsion is a well known feature of the double-duality technique [
3] which leads to restrictions on the coupling constants. Nevertheless, the class of quadratic theories still remains very wide, and it includes many physically viable models. Moreover, one of the outstanding problems in the Poincaré gauge gravity is the search for the physically meaningful conditions that improve the structure of general Lagrangians so as to pass the “consistency check” with GR. The latter means a possibility of a smooth recovery of GR results in a certain macroscopic limit. In particular, the existence of the black hole solutions can be considered a manifestation of such a consistency with GR for the class of models which allow for the exact solutions obtained above.
In this sense, it is worthwhile to mention one of the most interesting Poincaré gravity models, which was proposed by von der Heyde [
25] and attracted much attention in the early stages of development of the gauge approach in gravitational theory [
26]. A peculiar feature of the
von der Heyde Lagrangian is that it does not contain the Hilbert term linear in the curvature, therefore it is a purely quadratic model both in the torsion and the curvature. Explicitly, this Lagrangian reads
The parity-odd terms are absent, whereas the parity-even sector is described by the set of the coupling constants as
,
,
, and
Another feasible gauge gravity model arises in a de Sitter gauge approach when the Poincaré symmetry is extended to a 10-parameter de Sitter group [
27,
28]. The corresponding model is described by the Lagrangian
The coupling constants set then reduces to
,
,
, and
As compared to the von der Heyde model (
69), the Lagrangian (
71) does include the explicit Hilbert term.
The two gravity theories (
69) and (
71) are explicit examples of the models which satisfy the consistency principle with GR, they both admit the black hole solutions described above. However, the results obtained here are important in view of their widest possible applicability. The quadratic Yang–Mills type Lagrangian (
11) describes the class of the most general Poincaré gauge gravity models with the dynamical torsion. The existence of the black hole solutions (with Schwarzschild, Kerr, or Kerr–de Sitter metric) was earlier reported for the case of the parity symmetric theories [
29,
30,
31,
32,
33,
34,
35,
36]. Now we demonstrated this for the general case with both parity-even and parity-odd sectors taken into account.
In addition, we have clarified the underlying geometrical structure of these exact solutions. Namely, in the framework of the first-order formalism with the Poincaré gauge potentials
as the fundamental field variables (as compared to the second-order formalism used in [
29,
30,
31,
32,
33,
34,
35,
36] with the metric and torsion as the basic variables), the black hole solution is constructed with the help of the beautiful ansatz (
34) and (35). Thereby, we have essentially developed a generalization to the post-Riemannian geometries of the Kerr–Schild technique which was successfully used in the Riemannian case [
37].
Quite interestingly, in the literature there are similar solutions reported [
38,
39] with the black hole metric configurations of the same type, however, with different torsion configurations. They are not described by the ansatz (
34) and (35), a possibility of constructing an appropriate generalization of this ansatz will be discussed elsewhere. More recently, spherically symmetric solutions were obtained [
40,
41] for the special case of the parity-even class of quadratic Poincaré gravity models. These configurations do not satisfy the double-duality ansatz, with the dynamical axial trace torsion field playing the role of a Maxwell–Coulomb field which gives rise to an effective Reissner–Nordström-type line element. Such solutions explicitly demonstrate that the generalized Birkhoff’s theorem is not valid for the whole class of quadratic Poincaré gauge gravity models, see the relevant discussion in [
4,
7].
The final remark is as follows. There is common belief in the validity of the statement “black holes do not have hair” which means that there are no non-metric field configurations that satisfy the vacuum field equations and are regular across a black hole horizon. This seems to be generally true for all matter fields with an exception of the electromagnetic field. Our solutions provide a kind of counter-example to the no-hair conjecture in the sense that the corresponding dynamical torsion field is regular across the black hole horizon. The crucial role is played by the properties (
52) which show a global regularity of the Riemann–Cartan geometry for our solutions. In other words, we have demonstrated that a black hole may have a nontrivial “geometrical hair” (in the form of the spacetime torsion) which does not affect the structure of a usual Kerr–de Sitter black hole.