Supersymmetric near-horizon geometry and Einstein-Cartan-Weyl spaces
Dietmar Silke Klemm, Lucrezia Ravera

TL;DR
This paper demonstrates that supersymmetric black hole horizons in five-dimensional gauged supergravity are described by a specific Einstein-Cartan-Weyl structure in three dimensions, linking to known geometries in the ungauged limit.
Contribution
It identifies the precise geometric structure of supersymmetric black hole horizons in gauged supergravity, extending previous results to include torsion and nonmetricity.
Findings
Horizon geometry characterized by Einstein-Cartan-Weyl structure with torsion and nonmetricity.
Reduction to hyper-CR Einstein-Weyl structure in the zero cosmological constant limit.
Consistent geometric description bridging gauged and ungauged supergravity cases.
Abstract
We show that the horizon geometry for supersymmetric black hole solutions of minimal five-dimensional gauged supergravity is that of a particular Einstein-Cartan-Weyl (ECW) structure in three dimensions, involving the trace and traceless part of both torsion and nonmetricity, and obeying some precise constraints. In the limit of zero cosmological constant, the set of nonlinear partial differential equations characterizing this ECW structure reduces correctly to that of a hyper-CR Einstein-Weyl structure in the Gauduchon gauge, which was shown by Dunajski, Gutowski and Sabra to be the horizon geometry in the ungauged BPS case.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Supersymmetric near-horizon geometry and Einstein-Cartan-Weyl spaces
Dietmar Silke Klemm1,2 and Lucrezia Ravera2
*1**Dipartimento di Fisica, Università di Milano, Via Celoria 16, 20133 Milano, Italy
2INFN, Sezione di Milano, Via Celoria 16, I-20133 Milano, Italy* [email protected]@mi.infn.it
We show that the horizon geometry for supersymmetric black hole solutions of minimal five-dimensional gauged supergravity is that of a particular Einstein-Cartan-Weyl (ECW) structure in three dimensions, involving the trace and traceless part of both torsion and nonmetricity, and obeying some precise constraints. In the limit of zero cosmological constant, the set of nonlinear partial differential equations characterizing this ECW structure reduces correctly to that of a hyper-CR Einstein-Weyl structure in the Gauduchon gauge, which was shown by Dunajski, Gutowski and Sabra to be the horizon geometry in the ungauged BPS case.
1 Introduction
More than forty years ago Hawking proved his famous theorem [1, 2] on the topology of black holes, which asserts that event horizon cross sections of 4-dimensional asymptotically flat stationary black holes obeying the dominant energy condition are topologically 111In four dimensions, one can have black holes with nonspherical horizons by relaxing some of the assumptions that go into Hawking’s theorem. For instance, in asymptotically anti-de Sitter (aAdS) space, the horizon of a black hole can be a compact Riemann surface of any genus [3], or a sphere with two punctures[4, 5]. In the latter case, the horizon is noncompact but has yet finite area. For aAdS spaces, both the asymptotically flat and dominant energy conditions are violated.. This result extends to outer apparent horizons in black hole spacetimes that are not necessarily stationary [6]. Such restrictive uniqueness theorems do not hold in higher dimensions, the most famous counterexample being the black ring of Emparan and Reall [7], with horizon topology 222Nevertheless, Galloway and Schoen [8] were able to show that, in arbitrary dimension, cross sections of the event horizon (in the stationary case) and outer apparent horizons (in the general case) are of positive Yamabe type, i.e., admit metrics of positive scalar curvature..
Moreover, in it is highly nontrivial to determine whether a given near-horizon geometry can be extended to a full black hole solution, since the strong uniqueness theorems that hold in four dimensions [9, 10, 1, 11, 12, 13] break down and there exist different black holes with the same asymptotic charges and different black hole solutions with the same near-horizon geometry.
In the last decade there has been significant progress in classifying near-horizon geometries, see e. g. [14, 15, 16, 17, 18, 19, 20, 21]. In particular, the authors of [18] showed that for minimal gauged five-dimensional supergravity the latter are at least half-supersymmetric. If they preserve a larger fraction of supersymmetry, then they are locally isometric to AdS5 with vanishing two-form field strength. In the ungauged case of the same theory, it was recently shown in [20] that supersymmetric horizon geometries are given by three-dimensional Einstein-Weyl structures of hyper-Cauchy-Riemann (hyper-CR) type [22, 23, 24, 25, 26]333Notice that hyper-CR Einstein-Weyl spaces have originally been called ‘special’ in [27], and they have also been referred to as ‘Gauduchon-Tod spaces’ in the literature, cf. also [28].. In particular, it was proven in [20] that a class of solutions of minimal supergravity in five dimensions is given by lifts of three-dimensional Einstein-Weyl structures of hyper-CR type, and this class was characterized as the most general near-horizon limit of supersymmetric solutions to the five-dimensional theory. Moreover, it was deduced that a compact spatial section of a horizon can only be a Berger sphere, a product metric on , or a flat three-torus. Subsequently, [20] considered the problem of reconstructing all supersymmetric solutions from a given near-horizon geometry, and proved that the moduli space of infinitesimal supersymmetric transverse deformations of the near-horizon data is finite-dimensional if the spatial section of the horizon is compact. This analysis was carried on along the same lines of the one done in [29] for the case of nonsupersymmetric vacuum horizons in presence of a cosmological constant; see also [30].
In this paper, we extend some of the results of [20] to minimal gauged supergravity in five dimensions. In particular, we show that the horizon geometry of supersymmetric black holes in this theory is that of a particular Einstein-Cartan-Weyl structure in three dimensions, which involves the trace and traceless part of both torsion and nonmetricity, and obeys some precise constraints. We also study the limit of zero cosmological constant, in which the set of nonlinear partial differential equations characterizing this ECW structure reduces correctly to that of a hyper-CR Einstein-Weyl structure in the Gauduchon gauge, which was shown in [20] to be the horizon geometry in the ungauged BPS case. Moreover, it turns out that in the ungauged theory the geometry of the horizon can be alternatively interpreted as a particular Einstein-Cartan-Weyl structure in three dimensions subject to some specific constraints.
The remainder of this paper is organized as follows: In section 2 we briefly introduce the theory of minimal gauged supergravity in five dimensions, and give a summary of the equations satisfied by the near-horizon limit of supersymmetric black holes, following [18]. In section 3 we review the basic notions of Einstein-Cartan-Weyl geometry in three dimensions [31]. The main results are contained in section 4, where we derive the correspondence between ECW structures in three dimensions and the near-horizon limit of supersymmetric black holes, and consider the limit . We conclude in 5 with some final remarks.
2 , gauged supergravity and the near-horizon limit of BPS black
holes
The bosonic action of minimal , gauged supergravity is given by [18, 32]444We use mostly plus signature.
[TABLE]
where is a field strength, is related to the cosmological constant by , and denotes the Hodge endomorphism in five dimensions. We adopt the conventions of [18]. The equations of motion following from (1) read
[TABLE]
with .
2.1 Near-horizon geometry of BPS black holes
To describe the near-horizon geometry it is convenient to introduce Gaussian null coordinates [33, 34, 35], defined in a neighborhood of a Killing horizon, where , with a Killing vector. The horizon is then located at , and are local coordinates on a three-dimensional Riemannian manifold with metric , which is the spatial cross section of the horizon. The metric and the two-form field strength are given by
[TABLE]
with
[TABLE]
where the scalars , the one-forms , and the Riemannian metric depend only on (), cf. [30, 20, 18] for more details. The one-form gauge potential associated to reads
[TABLE]
The orientation is specified by
[TABLE]
where is the five-dimensional volume form and is the volume form on .
In the near-horizon limit, the bosonic field equations (2) boil down to a set of equations on the three-dimensional manifold [18]. In particular, from the gauge field equations one obtains
[TABLE]
with the Hodge dual on . The nontrivial components of the Einstein equations, namely and , become respectively
[TABLE]
where denotes the Ricci tensor on , , and is the Levi-Civita connection of the metric .
One can prove (see [18]) that the necessary and sufficient conditions for a near-horizon geometry to be a supersymmetric solution of minimal five-dimensional gauged supergravity are given by
[TABLE]
Along the same lines of [18], one can then introduce a one-form such that
[TABLE]
Furthermore one must have [18]
[TABLE]
with . Then, by taking the exterior derivative of (12) and making use of the gauge field equation (7), one finds the condition
[TABLE]
As we will see below, using (11), equ. (15) can be rewritten as a generalized monopole equation [36, 37, 38, 39, 40].
3 Einstein-Cartan-Weyl geometry in three dimensions
In this section, we briefly review Einstein-Cartan-Weyl geometry in three dimensions, following [31].
Consider a three-dimensional Einstein manifold endowed with a metric . The connection , which is assumed to have nonvanishing torsion and nonmetricity, can be decomposed as
[TABLE]
where denotes the Levi-Civita connection and are the components of the distortion. The latter can be written as
[TABLE]
Here is the torsion, antisymmetric in the last two indices,
[TABLE]
while is the nonmetricity tensor,
[TABLE]
where is the covariant derivative associated to . can be decomposed into a trace and traceless part,
[TABLE]
with the Weyl vector and . In three dimensions, the decomposition for the torsion reads
[TABLE]
where and . For simplicity of notation, let us define the traceless part of the distortion as
[TABLE]
such that
[TABLE]
An Einstein-Cartan-Weyl space is defined as one for which the symmetrized Ricci tensor of is proportional to the metric. In particular, in three dimensions one has
[TABLE]
where denotes the scalar curvature of . Under a Weyl rescaling , the one-form and the connection transform according to
[TABLE]
where denotes an arbitrary parameter that we are free to include [41, 42]. This means that the torsion and the nonmetricity tensor transform respectively as
[TABLE]
which implies
[TABLE]
For the Riemann tensor, the Ricci tensor and the scalar curvature one obtains
[TABLE]
and thus the condition (24) is Weyl invariant. In terms of Riemannian data, (24) becomes [31]
[TABLE]
where and are the Ricci tensor and the scalar curvature of the Levi-Civita connection. The Ricci scalar for a three-dimensional Einstein-Cartan-Weyl manifold reads
[TABLE]
Finally, notice that we can define a one-form
[TABLE]
such that (29) and (30) can be recast in the form
[TABLE]
[TABLE]
We see that the traces and appear only through the linear combination (31), which transforms as under (25). In fact, a torsion trace can always be shuffled into a Weyl vector and vice versa, as can be easily seen from the first Cartan structure equation555Such a reshuffling changes of course the definition of parallel transport.. This is the reason for the freedom to include the arbitrary parameter in (25).
4 Three-dimensional ECW structures and , gauged supergravity
In this section, we shew that the horizon geometry for supersymmetric black hole solutions of minimal five-dimensional gauged supergravity is that of a particular Einstein-Cartan-Weyl structure in three dimensions. To this aim, consider the field equations (7), (8) and (9) and assume that the supersymmetry constraints (10) and (11) hold. Thus, we have
[TABLE]
and
[TABLE]
Furthermore, using (11), equ. (15) can be recast in the form
[TABLE]
which is the generalized monopole equation [36, 37, 38, 39]. Thus, the gauge field equation (7) reduces to the generalized monopole equation (37). Note that is a weighted scalar with conformal weight on .
The component (8) of the Einstein equations becomes
[TABLE]
The symmetrized part and the trace part of (14) give respectively
[TABLE]
[TABLE]
and thus (38) can be written as
[TABLE]
which generalizes the Gauduchon gauge , that holds in the case of vanishing cosmological constant, i.e., [20].
Moreover, using (35), (36) and (38), the -components (9) of the Einstein equations yield
[TABLE]
whose trace, together with (38), leads to
[TABLE]
Observe that the limit of (42) and (43) exactly reproduces the results of [20], i.e., the conditions on the horizon geometry in the ungauged case, without cosmological constant.
To finally show that the horizon geometry for BPS black holes in minimal gauged supergravity is that of a particular Einstein-Cartan-Weyl structure in three dimensions, consider a three-dimensional ECW space for which the following conditions hold:
- A)
There exists a scalar of conformal weight that, together with the nonmetricity and torsion traces and , satisfies the generalized monopole equation
[TABLE]
Notice that (44) is invariant under
[TABLE]
for any value of . 2. B)
The trace part of the torsion satisfies
[TABLE]
where is a constant, and
[TABLE]
which implies in particular
[TABLE]
and
[TABLE] 3. C)
The Weyl vector obeys
[TABLE] 4. D)
The traceless part of the torsion is totally antisymmetric and reads
[TABLE]
while the traceless part of the nonmetricity is given by
[TABLE]
and thus
[TABLE] 5. E)
The Ricci scalar of the affine connection is
[TABLE]
Observe that in terms of , (47) reads
[TABLE]
and thus
[TABLE]
which means that the vector , where the function satisfies , is parallel transported along its integral curves, . Notice also that we can define a torsionful but metric connection , with torsion trace and traceless part respectively given by and , such that (47) becomes
[TABLE]
This implies , and therefore is a Killing vector with torsion [43].
Note that the ‘gauge fixing’ conditions (49) and (50) lead to
[TABLE]
We now identify
[TABLE]
such that (46) turns into (13), while (52), (53) and (54) assume the form
[TABLE]
Moreover, under the identifications (59), eqns. (47), (48), (49), (50) and (58) become respectively (14), (39), (40), (38) and (41). Likewise, the generalized monopole equations (37) and (44) coincide.
For the case we are considering, the Einstein-Cartan-Weyl equations (29) read
[TABLE]
One can now use the expression (30) for the Ricci scalar of the affine connection to rephrase the constraint (43) as (62). Finally, using (43), we see that (42) is equivalent to the ECW equations (63), that is the set of partial differential equations characterizing an Einstein-Cartan-Weyl manifold in the gauge (41), subject to the conditions (37) and (62), together with the constraints on the trace part of the torsion (cf. (46) and (47)) and on the traceless part of the distortion (cf. (61)).
We have thus shown that the horizon geometry for supersymmetric black hole solutions of minimal five-dimensional gauged supergravity is that of a particular Einstein-Cartan-Weyl structure in three dimensions, in the gauge (41), subject to the constraints (37), (46), (47), (61) and (62). Notice that the conditions B) - E) above break conformal invariance, but this was to be expected, since the supergravity theory we started with is not conformally invariant.
4.1 Observations on the limit
Let us finally comment on the special case when the cosmological constant goes to zero. As we have already mentioned, the limit of (42) and (43) exactly reproduces the results of [20], i.e.,
[TABLE]
The same holds for the generalized monopole equation (37), which, for , reduces to the monopole equation found in [20], that is
[TABLE]
Moreover, for , the conditions on the Einstein-Cartan-Weyl geometry of section 4 boil down to
[TABLE]
In particular, (68) is called the Gauduchon gauge. We can thus conclude that the horizon geometry for supersymmetric black holes in ungauged supergravity not only corresponds to a three-dimensional hyper-CR Einstein–Weyl structure in the Gauduchon gauge (as shown in [20]), but also to an Einstein-Cartan-Weyl structure in the Gauduchon gauge and subject to the constraints (67) (vanishing torsion trace), (66), (69) (which defines the traceless part of the torsion, which is completely antisymmetric, while the traceless part of the nonmetricity is zero), and (70) (vanishing Ricci scalar of the affine connection). This ambiguity comes from the fact that the sets of nonlinear partial differential equations characterizing the hyper-CR Einstein-Weyl structure of [20] and the ECW structure defined by (66)-(70) coincide.
5 Conclusions
It was shown recently in [20] that the horizon geometry of BPS black holes in minimal supergravity defines a hyper-CR Einstein-Weyl structure. Here, we extended this result to , gauged supergravity, and showed that in this case supersymmetric black hole horizons correspond to a particular three-dimensional Einstein-Cartan-Weyl structure, given in the gauge (41) and obeying the constraints (37), (46), (47), (61) and (62).
As a byproduct, it turned out that in the limit of vanishing cosmological constant, the horizon geometry can be alternatively interpreted as an ECW structure subject to (66)-(70).
Future developments of our work include possible extensions to higher dimensions and to the matter-coupled case.
Acknowledgements
D. S. K. is supported partly by INFN.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] S. W. Hawking, “Black holes in general relativity,” Commun. Math. Phys. 25 (1972) 152.
- 2[2] S. W. Hawking and G. F. R. Ellis, “The large scale structure of space-time,” Cambridge University Press, Cambridge, 1973
- 3[3] J. P. S. Lemos, “Cylindrical black hole in general relativity,” Phys. Lett. B 353 (1995) 46 [gr-qc/9404041]; R. B. Mann, “Pair production of topological anti-de Sitter black holes,” Class. Quant. Grav. 14 (1997) L 109 [gr-qc/9607071]; L. Vanzo, “Black holes with unusual topology,” Phys. Rev. D 56 (1997) 6475 [gr-qc/9705004]; R. G. Cai and Y. Z. Zhang, “Black plane solutions in four-dimensional space-times,” Phys. Rev. D 54 (1996) 4891 [gr-qc/9609065].
- 4[4] A. Gnecchi, K. Hristov, D. Klemm, C. Toldo and O. Vaughan, “Rotating black holes in 4d gauged supergravity,” ar Xiv:1311.1795 [hep-th].
- 5[5] D. Klemm, “Four-dimensional black holes with unusual horizons,” Phys. Rev. D 89 (2014) no.8, 084007 [ar Xiv:1401.3107 [hep-th]].
- 6[6] S. W. Hawking, in ‘Black Holes, Les Houches Lectures’ (1972), edited by C. De Witt and B. S. De Witt (North Holland, Amsterdam, 1972).
- 7[7] R. Emparan and H. S. Reall, “A rotating black ring solution in five-dimensions,” Phys. Rev. Lett. 88 (2002) 101101 [hep-th/0110260].
- 8[8] G. J. Galloway and R. Schoen, “A generalization of Hawking’s black hole topology theorem to higher dimensions,” Commun. Math. Phys. 266 (2006) 571 [gr-qc/0509107].
