The domain of outer communication of an asymptotically flat spactime must be simply connected. In five dimensions, this still allows for the possibility of an arbitrary number of 2-cycles supported by magnetic flux carried by Maxwell fields. As a result, stationary, asymptotically flat, horizonless solutions—“gravitational solitons”—may exist with non-vanishing mass, charge, and angular momenta. These gravitational solutions satisfy a Smarr-like relation, as well as a first law of mechanics. Furthermore, the presence of solitons leads to new terms in the well-known first law of black hole mechanics for spacetimes containing black hole horizons and non-trivial topology in the exterior region. I outline the derivation of these results and consider an explicit example in five-dimensional supergravity.
The proof of the black hole uniqueness theorem is a central achievement in general relativity. This result asserts that the any stationary, asymptotically flat analytic solution of the Einstein-Maxwell equations describing a black hole spacetime must belong to the three-parameter Kerr-Newman family of solutions (see the review ). There are a number of profound consequences of this theorem. In particular, it implies that if one starts with a black hole with mass M, angular momentum J and electric charge Q and considers an infinitesimal variation in the phase space of black holes, one must arrive at another member of the Kerr-Newman solution with parameters , and . From the explicit form of he Kerr-Newman solution it is simple to derive the well-known first law of black hole mechanics
where is the area of a spatial cross-section of the event horizon and and are the surface gravity, angular velocity and electric potential of the horizon respectively. The above equation can be interpreted as an equation for the tangent space at a given point in the phase space; it forms an important part in the interpretation of a black hole as a thermodynamic system. Note that (1) was proved independently of the black hole uniqueness results ; it follows directly from an analysis of Einstein’s equations for stationary, axisymmetric linearized perturbations.
The study of black hole solutions in spacetime dimension has been an active field of research the past two decades, chiefly motivated by developments in string theory and the gauge theory-gravity correspondence . This is also a problem of intrinsic interest in the mathematical study of Einstein’s equations, helping to illuminate features unique to . We will focus here on asymptotically flat solutions in as it is the next simplest case, and arises naturally in the context of intersecting D-brane systems in string theory. In addition to the Myers-Perry vacuum solution , the natural generalization of the Kerr solution, which has horizon topology , a striking result was the discovery by Emparan and Reall of a vacuum black hole (‘black ring’) with . Both families are characterized by a mass M and two independent angular momenta . Remarkably, it can be shown that the uniqueness theorems fail: a black hole in not characterized by its mass and angular momenta. Very recently, the author and Lucietti have constructed a family of ‘black lens’ solutions () [7,8]. These three cases exhaust all allowed horizon topologies within the symmetry class of —invariant solutions .
It is natural to expect that the first law of mechanics in should take a more complicated form than (1) because there are more “directions” in the phase space of solutions. This problem has only recently been analyzed in generality  and the purpose of this article is to discuss and sharply summarize the salient results and provide some new results. In particular, we derive new formulae for the charge (27) and angular momenta (25) as well as associated potentials. First, however, we should discuss another class of solutions to the Einstein-Maxwell equations, which we refer to as gravitational solitons. These are stationary, asymptotically flat (we do not consider asymptotically locally Euclidean or asymptotically locally flat spacetimes, e.g., the Eguchi-Hanson or Euclidean Schwarzschild metrics with an extra timelike direction added for which the standard ADM mass is not defined. For further details on this issue, see ) horizonless spacetimes with non-zero energy. Such spacetimes do not in fact exist in — a result that can be succinctly summarized by the slogan “no solitons without horizons” . This conclusion is closely related to the fact that in , the region exterior to a black hole horizon (the domain of outer communication) must be simply connected . Roughly, this implies a spacetime without a horizon must be topologically trivial and does not carry any non-zero conserved charges (although if there are non-Abelian Yang-Mills fields present, topology can be contained within non-trivial gauge field configurations ). In the restriction of simple connectedness is weaker, and indeed a horizonless spacetime could contain an arbitrary number of 2-cycles (“bubbles”). More precisely, if Σ is a spatial hypersurface in the domain of outer communication, then the second homology can contain non-trivial elements. As we describe below, these 2-cycles may carry magnetic flux sourced by Maxwell fields and and contribute towards a non-zero mass, angular momenta, and electric charge of the spacetime.
These solitons (variously known as “smooth geometries” or “fuzzballs” in the literature, see e.g.,  and references therein) appear to play an important role in the lack of black hole uniqueness in . A study of this assertion has been initiated in . Here we will be concerned with the problem of proving an analogue of (1) valid for gravitational solitons, which we will refer to as the first law of soliton mechanics. Further, we will consider the possibility of black hole solutions containing solitons in their domain of outer communication. This will lead to a modification of (1) to include the effects of the 2-cycles, producing a fist law of “black hole and soliton mechanics” . The consequences of these new terms of black hole thermodynamics is only starting to be explored.
2. Black Holes and Solitons in Five Dimensions
We begin by outlining the framework for analyzing black hole and soliton solutions in five-dimensional gravity coupled to an arbitrary number of Maxwell fields , and neutral scalar fields , . We refer to the reader to the review articles [3,4] for a comprehensive discussion on known solutions in and the statements of the strongest current uniqueness and rigidity results.
2.1. Stationary, Biaxisymmetric Solutions
We will consider spacetime solutions that are stationary and biaxisymmetric. This means that the spacetime manifold admits an action of as isometries. In addition we require that the isometry group also extend to symmetries of the matter fields. We denote the generator of the timelike isometry that coincides the asymptotic generator of time translations by ξ and the generators of the rotational symmetries . The invariance properties above can be expressed as
where and denotes Lie differentiation. If the spacetime contains a black hole, we will take ξ to be stationary Killing field which becomes null on the event horizon.
Due to (2) it proves convenient to consider all spacetime fields as functions on the two-dimensional orbit space . can be shown to be a simply connected manifold with boundary and corners . In the interior, on the 1d boundary segments (except the part corresponding to the event horizon in the spacetime) and at the corners (where these segments intersect), the matrix of the scalar products of Killing fields has rank respectively. For an asymptotically flat spacetime, the orbit space is non-compact with one asymptotic end corresponding to spatial infinity. The boundary is divided into intervals I, or “rods”, all of which are compact except for the two asymptotic ends. If a black hole is present, the horizon, which we assume to be connected, corresponds to a compact interval . The rest of correspond to 2-surfaces in the spacetime where some integer linear combination , of the Killing fields vanish. These 2-surfaces are in fact topologically spheres, where the endpoints of a finite rod correspond to the “poles” of the where the same spatial Killing field has fixed points. The two semi-infinite intervals, which we denote by , correspond to the axes of rotation in the spacetime which extend out to spatial infinity.
The specification of the rod data (i.e., length and location of the rods along with the associated integers ) fully characterize a -invariant spacetime up to diffeomorphism . Indeed, the appropriate generalization of the 4d uniqueness theorems state that an asymptotically flat -invariant black hole solution of the vacuum equations is uniquely specified by its mass M, angular momenta , and rod data . The latter fixes the horizon topology H of the black hole, as well as the topology of a spatial hypersurface Σ in the domain of outer communication. In the following sections, we will exploit this framework in order to reduce various Komar-type integrals defined on Σ to integrals over . This will lead to a generalization of the variational law (1).
2.2. The Theory and Potentials
Our primary interest is in the five-dimensional supergravity theories that govern the low-energy dynamics on appropriately compactified string theory. For the sake of generality we will consider the theory with action
where for a locally defined gauge potential , the couplings are positive definite and are constants. One may also include a scalar potential term to the action, which we will not do for simplicity (see ). The action (3) includes pure Einstein-Maxwell theory and minimal supergravity coupled to N vector multiplets, which arises from Type IIB supergravity on or . Note that it does not include gauged supergravities which are relevant in the context of the gauge theory-gravity correspondence; our analysis does not apply to asymptotically Anti-de Sitter spacetimes.
As observed by GIbbons and Warner , to include the effects of 2-cycles, it is important not to assume that the gauge fields are globally defined—indeed it is precisely the existence of non-trivial elements of that physically “support” bubbles from collapsing. To avoid this we work dual Maxwell fields . The field equations following from (3) are
with an additional set of equations for the scalar fields .
We define the mass, angular momenta, and charge contained in the asymptotically flat spacetime by the integrals over the “boundary” sphere where is a sphere of radius r in the Cartesian coordinates defined at spatial infinity:
where K is the asymptotic generator of timelike translations (if the spacetime contains a black hole, , and otherwise it coincides with ξ). We will refer to the quantities (6) as conserved charges.
We now show how the symmetries (2) and the field Equations (4) and (5), lead to existence of potentials globally defined on . Closure of the imply the existence of potentials defined by
and since is simply connected, are globally defined. The integration constant is fixed by requiring that vanish at spatial infinity. Invariance of implies the existence of globally defined closed, but necessarily exact 2-forms
Now, applying Stokes’ theorem to the mass integral and applying the Killing field identity where is the one-form obtained by contracting the Ricci tensor (4) with ξ, one finds 
Here Σ is a spatial hypersurface with asymptotic boundary and, if a black hole is present, an “inner” boundary component . In the absence of a horizon, the first two terms in (9) are not present. The important term is the integral involving ; this would vanish if is an exact form, but if there are 2-cycles present (e.g., for a soliton spacetime) this term will contribute to the mass of the spacetime.
The rotational symmetries may now be used to derive the existence of closed forms and globally defined potentials as follows. We have
which define globally defined “magnetic” potentials. Further the invariance property leads to globally defined scalar potentials defined by
Similarly there are globally defined closed two-forms given by
From Cartan’s formula we obtain globally defined scalar fields defined by . We will demonstrate below how the potentials can be used to express the mass, angular momenta, and charge of the spacetime in terms of contributions from 2-cycles.
3. 1st Law of Black Hole-Soliton Mechanics
We now consider variations about a given solution . We assume the variations satisfy the linearized equations of motion following from (4), (5) and that are invariant under the symmetry. There are additional assumptions that must be made (e.g., the Killing fields are the same, so and the location of the event horizon H and any 2-cycles is unchanged). These conditions are standard in the classic proof of the first law of black hole mechanics . Starting from the ADM mass formula for the perturbation
where , an involved calculation using the linearized equations of motion and another application of Stokes’ theorem leads to the mass variation formula 
Our task it to express in terms of variations of the potentials and charges defined above. We will use the identity
for any 4-form ω where is the antisymmetric symbol with and have -periodic orbits.
3.1. Soliton Spacetimes
First consider the case where spacetime does not contain any horizons, so Σ is complete with an asymptotically flat end. The orbit space consists of two semi-infinite intervals upon which a certain linear combination of Killing fields vanish (say and respectively) and finite-length rods upon which the Killing field vanishes. The latter correspond to -submanifolds. From their definition it is easy to see that the associated potentials must be constant on . In particular on , the associated potentials vanish, since they are constants that vanish at spatial infinity.
The Smarr relation for the mass (9) in the soliton case is simply
where we have used (15). The integral can be simplified by using Stokes’ theorem on the manifold-with-boundary :
where we used vanishing of at spatial infinity to eliminate the integral over the asymptotic end corresponding to the asymptotically flat in the spacetime. Furthermore there are no contributions from either (note that either on and similarly on ). We are left with an integral over the remaining finite rods. Suppose we are on a interval on which . By an transformation we can work in a basis in which and where . Here represents the other Killing field which does not vanish in the interior of but does vanish at its endpoints. Thus this describes a 2-cycle, i.e., a non-trivial element of . The transformation preserves the periodicity of the orbits of . Working in this basis, and noting are constant on a given rod I,
where we have defined the magnetic flux
and the potentials . A similar argument applied to the mass variation formula (14) without horizon terms gives
Therefore, for spacetimes containing gravitational solitons without horizons we arrive at
which we refer to as the mass formula and first law of soliton mechanics respectively . Of course in the absence of a horizon or any ‘temperature’ the possibility of a thermodynamic interpretation is unclear.
Let us now turn to finding an analogous expression to (21) for . Using Stokes’ theorem,
where we have used (4). Using (5) and (15) we find
where we have eliminated the total derivative term in the first integral by using the fact that vanish at infinity. We can express this as an integral over (note that we can choose the integration constants appropriately to ensure and vanish on and respectively) and a similar computation that led to (18) leads to
where and are the set of integers characterizing the rod corresponding to the 2-cycle . This shows how the source of the angular momenta in a soliton spacetime are the magnetic fluxes , weighted by the .
Finally, for the electric charge, we have, using (5) and (15)
which leads to
which expresses the total electric charge as a sum over the magnetic fluxes from each 2-cycle, weighted by the associated electric potentials .
3.2. Black Holes Spacetimes Containing Solitons
We now assume the spacetime contains a single connected black hole horizon. We will of course find the usual horizon terms in the first law, but also additional terms arising from the presence of 2-cycles in the exterior. We will also find terms associated to certain disc-topology surfaces which arise in black hole spacetimes with finite rods in their orbit space. Note that this possibility can occur even when there are no 2-cycles in the spacetime (e.g., for black rings and black lenses).
In the orbit space framework, a horizon H is a finite rod upon which the Killing field ξ goes null while the matrix has rank 2. On a Killing horizon, and by standard arguments one can show that on H. Using this we see the potentials and are all constant on this interval. We exploit this fact by ‘integrating by parts’ in the opposite way to rewrite the expression (17) as
where as before, there are no contributions from or . There is no contribution from either as the are constant there. However, the presence of a horizon still manifests itself as follows. Suppose there is some finite rod upon which vanishes that lies adjacent to (i.e., it shares one endpoint with ). Then vanishes at the other endpoint of but not at p. Hence has the topology of a disc D or ‘cigar’ with a boundary that intersecting the horizon H. There can be at most two such discs in a spacetime, corresponding to such intervals lying ‘on either side’ of .
On such a disc define the flux charge
and note that the integrand is a closed 2-form, so that one can use any surface homologous to D (with the same boundary) to evaluate the integral. We find
and . Similarly, starting from the mass variation formula in the presence of a horizon,
We express the final integral on the right hand side as
Once again using the fact is constant on , the only contributions will come from disc rods and finite rods corresponding to 2-cycles . In particular,
where we have made use of the fact is constant on the . There are analogous terms over the finite rods, with analogous definitions for and . Collecting these results we arrive at the following main result :
Consider an asymptotically flat -invariant solution of the theory (3) with a domain of outer communication . Then the mass formula
holds, where is a basis for and are disc topology surfaces ending on the horizon. Furthermore, consider -invariant variations satisfying the linearized field equations. Then the variation of the mass is given by
Some remarks are in order. Firstly, if there are no horizons, then the usual black hole terms in (34) and (35) vanish, as well as terms involving discs. We then obtain different, but equivalent, expressions for the mass and mass variation formulae for solitons given in (21) and (22). Secondly, if there are no 2-cycles (solitons) in the spacetime, then we recover the standard laws of black hole mechanics, with the additional advantage that we can now take into account non-spherical horizon topologies via the disc terms. Indeed, additional terms in the Smarr relation and first law for black rings were originally observed by Emparan  and later given a derivation by Copsey and Horowitz . In contrast here the extra terms arise in a natural way as a consequence of the structure of the orbit space, as has recently been shown in . Finally, it is interesting that variations of intensive variables (e.g., ) appear in the first law, rather than those of extensive quantities. The significance of this remains to be explored. but at least for black rings and black lenses, the quantities and capture the notion of the ‘dipole charges’ that characterize these spacetimes .
We conclude by noting that additional terms to the standard first law can arise in other settings than the ones considered here; for example, if we consider non-asymptotically flat spacetimes that admit translational isometries, such as p-brane supergravity solutions, there are additional ‘tension’ terms associated to variations of the compact directions . In addition, one can have dipole terms arising if there is a canonical at spatial infinity (see, e.g., ) and spacetimes admitting Kaluza-Klein bubbles .
3.3. A Gravitational 1-Soliton Spacetime
Here we will consider an explicit example in the simple five-dimensional minimal supergravity theory. The solution describes a simple non-supersymmetric asymptotically flat soliton on with a point removed , and is sufficiently complicated to exhibit the important features discussed above. The metric and Maxwell field are given by
where are the left-invariant one-forms on and , and to ensure asymptotic flatness of g as . The functions appearing above are
where . The set are a solution to minimal supergravity, obtained by setting , and and all scalars to be constant in (3). If one takes
then it can be shown that the geometry is complete and . The Killing field degenerates at and the manifold near that point is diffeormorphic to provided there is no conical singularity at , which requires 
which fixes , and in particular . One can check that everywhere, so the spacetime is stably causal with no ergoregions and the surfaces are Cauchy hypersurfaces. In summary we have a one-parameter family of smooth, horizonless asymptotically flat stationary soliton spacetimes with symmetry.
The spacetime has a single 2-cycle at with associated magnetic flux 
and the various potential functions can be worked out after some computation (we choose our basis of the generators with periodic orbits to be and ):
Finally, we have
where integration constants are chosen appropriately using the prescription given above. Using the above formula one finds
which is indeed the ADM mass M of the spacetime in accordance with (21). Furthermore,
and since the 2-cycle is specified by the vanishing of , using the formula (25) we find
where in the second equality we observe that on C using (40). These expressions agree with the expressions for obtained using the standard definitions. It is important to note that the first law for soliton mechanics (22) reads in this example. A calculation reveals 
Thus the relation (22) holds provided the regularity condition (41) holds, i.e., is constant (although the precise value of the constant does not actually appear). This indicates the key role that regularity of the spacetime plays in the first law. This is in contrast to the Smarr type relation (46) for the mass, which holds without explicit use of the regularity condition.
The moduli space of stationary, -invariant black hole solutions in five dimensions clearly has a rich structure that remains to be fully explored. It is natural to interpret (35) as an equation for the tangent space at a given point in the solution space. The orbit space framework provides a framework to characterize these solutions, although at present it does not address the issue of existence, which is typically much more difficult than the corresponding uniqueness problem. In the usual Einstein-Maxwell system, solutions are specified by three conserved charges ; in one must also include the spacetimes’s rod data. These in turn give rise to various fluxes through 2-cycles and corresponding quantities through disc topology surfaces attached to the horizon. There are few examples of solutions that describe an asymptotically flat spacetime containing a black hole-soliton configuration—for example, see . The construction of this solution, however, depends crucially on supersymmetry. In this case, one can show that the additional “interaction” terms in (35) and (34) vanish. This is similar to the fact that the surface gravity κ, angular velocities , and electric potentials vanish on the horizon of a supersymmetric black hole.
We emphasize though that in the first law (35) it is the variations of the potentials, that appear, rather than e.g., . In contrast, for pure soliton spacetimes, the mass-variation formula (22) and Smarr-type formulae (22) and (21) take a standard form, although of course there is no thermodynamic interpretation in this case. Understanding the role the fluxes and potentials play will be necessary to understand black hole thermodynamics in five dimensions. In particular, the extra terms characterize the interaction between the horizon and the presence of solitons in the domain of outer communication. Such terms may be relevant when considering the possibility that a black hole can “shed” a soliton. More broadly, it would be interesting to see if there is a connection between this work and the general dynamical stability problem for black holes.
A natural generalization to pursue would be to consider black hole-solition spacetimes that are asymptotically globally Anti-de Sitter. The definition of the Komar mass used to derive the Smarr relation is divergent in this case (there is a divergent term in the volume integral appearing on the right hand side of (9)). Therefore a different approach (e.g., using counterterms) than the ones used in this paper would be required, using an appropriately well-defined mass. To derive a general first law in this setting it may be useful to study explicit examples of gravitational solitons in AdS  and their physical properties . Extending beyond the case of globally AdS asymptotics, one can also consider the thermodynamics of black string spacetimes with a negative cosmological constant with compact spatial directions in the asymptotic region .
This research is supported by a National Science and Engineering and Research Council of Canada Discovery Grant. I would like to especially thank my collaborator James Lucietti.
Conflicts of Interest
The author declares no conflict of interest.
Chrusciel, P.T.; Lopes Costa, J.; Heusler, M. Stationary Black Holes: Uniqueness and Beyond. Living Rev. Relativ.2012, 15, 7. [Google Scholar] [CrossRef]
Bardeen, J.M.; Carter, B.; Hawking, S.W. The Four laws of black hole mechanics. Commun. Math. Phys.1973, 31, 161–170. [Google Scholar] [CrossRef]
Emparan, R.; Reall, H.S. Black Holes in Higher Dimensions. Living Rev. Relativ.2008, 11, 6. [Google Scholar] [CrossRef]
Hollands, S.; Ishibashi, A. Black hole uniqueness theorems in higher dimensional spacetimes. Class. Quantum Gravity2012, 29, 163001. [Google Scholar] [CrossRef]
Myers, R.C.; Perry, M.J. Black Holes in Higher Dimensional Space-Times. Ann. Phys.1986, 172, 304–347. [Google Scholar] [CrossRef]
Emparan, R.; Reall, H.S. A rotating black ring solution in five-dimensions. Phys. Rev. Lett.2002, 88, 101101. [Google Scholar] [CrossRef] [PubMed]
Kunduri, H.K.; Lucietti, J. Supersymmetric Black Holes with Lens-Space Topology. Phys. Rev. Lett.2014, 113, 211101. [Google Scholar] [CrossRef] [PubMed]
Kunduri, H.K.; Lucietti, J. Black lenses in string theory. Phys. Rev. D2016, 94, 064007. [Google Scholar] [CrossRef]
Hollands, S.; Yazadjiev, S. Uniqueness theorem for 5-dimensional black holes with two axial Killing fields. Commun. Math. Phys.2008, 283, 749–768. [Google Scholar] [CrossRef]
Kunduri, H.K.; Lucietti, J. The first law of soliton and black hole mechanics in five dimensions. Class. Quantum Gravity2014, 31, 032001. [Google Scholar] [CrossRef]
Nedkova, P.G.; Yazadjiev, S.S. On the Thermodynamics of 5D Black Holes on ALF Gravitational Instantons. Phys. Rev. D2011, 84, 124040. [Google Scholar] [CrossRef]
Gibbons, G.W. Supergravity vacua and solitons. In Duality and Supersymmetric Theories; Cambridge University Press: Cambridge, UK, 1997. [Google Scholar]
Townsend, P.K.; Zamaklar, M. The first law of black brane mechanics. Class. Quantum Gravity2001, 18, 5269–5286. [Google Scholar] [CrossRef]
Stelea, C.; Schleich, K.; Witt, D. On squashed black holes in Godel universes. Phys. Rev. D2008, 78, 124006. [Google Scholar] [CrossRef]
Yazadjiev, S.S.; Nedkova, P.G. Magnetized configurations with black holes and Kaluza-Klein bubbles: Smarr-like relations and first law. Phys. Rev. D2009, 80, 024005. [Google Scholar] [CrossRef]
Ross, S.F. Non-supersymmetric asymptotically AdS5 × S5 smooth geometries. J. High Energy Phys.2006, 2006. [Google Scholar] [CrossRef]
Compere, G.; Copsey, K.; de Buyl, S.; Mann, R.B. Solitons in Five Dimensional Minimal Supergravity: Local Charge, Exotic Ergoregions, and Violations of the BPS Bound. J. High Energy Phys.2009, 2009, 047. [Google Scholar] [CrossRef]
Brihaye, Y.; Radu, E.; Stelea, C. Black strings with negative cosmological constant: Inclusion of electric charge and rotation. Class. Quantum Gravity2007, 24, 4839–4870. [Google Scholar] [CrossRef]