Abstract
The Hawking energy has a monotonicity property under the inverse mean curvature flow on totally umbilic hypersurfaces with constant scalar curvature in Einstein spaces. It grows if the hypersurface is spacelike, and decreases if it is timelike. Timelike examples include Minkowski and de Sitter hyperboloids, and photon surfaces in Schwarzschild.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Without much fanfare, Hawking proposed a measure of the energy associated to a closed surface in spacetime [1]. We will explain it below, and refer elsewhere for more details [2,3,4]. It is agreed that Hawking’s expression does not have all the properties one expects ‘energy’ to have, but it does have the single most important property of that concept: it is useful. Notably, an argument initiated by Geroch [5] and finalized by Huisken and Ilmanen [6] uses the Hawking energy of spheres embedded in a time-symmetric hypersurface to prove the Riemannian Penrose inequality. This is a great improvement in our understanding of energy in general relativity. The idea is to set up a geometric flow that moves any sphere to a large round sphere close to infinity, while all the time increasing the Hawking energy. From this point of view the occurence of negative Hawking energies in Minkowski space is not a drawback, it is a virtue. One can dream of a generalization of the Geroch flow to spacetime leading to a proof of the Penrose inequality in full generality [7], but then one has to deal with the fact that Minkowski space also contains spheres with positive Hawking energy [8]. Hence there must be a subtle story to tell about the flow and any monotonicity property that the Hawking energy has, if the dream is to come true.
Our ambitions in this note are quite modest. First we show that the Hawking energy is never positive on spacelike hyperboloids in Minkowski space, and never negative on timelike hyperboloids. (With a suitable definition the same holds for de Sitter space.) Then we show heuristically that, in Einstein spaces, the Hawking energy is monotone under Geroch’s inverse mean curvature flow on any totally umbilic hypersurface with constant curvature. In particular it cannot increase if that hypersurface is timelike. Timelike totally umbilic hypersurfaces are known as photon surfaces, because they are swept out by light rays emitted tangentially from an embedded surface [9]. Spacetimes admitting complete photon surfaces are quite rare [10], but spherically symmetric spacetimes offer obvious examples (because then one can choose a round sphere to emit light rays from). There has been quite a bit of interest in photon surfaces recently [11,12,13]. The papers by Cederbaum et al. are particularly relevant for us [14,15,16]. The photon surfaces that fill the Schwarzschild exterior have constant scalar curvature [14], so that they provide examples to which our observation about the monotonicity of the Hawking energy applies.
2 The Hawking energy
Since we will deal with topological 2-spheres embedded in hypersurfaces that are themselves embedded in spacetime, there will be a bit of a strain on the notation. We will use \(R_S, {\bar{R}}\), and R for the scalar curvature of respectively the spheres, the hypersurfaces, and the spacetime, and we use \(\gamma _{ab}, {\bar{g}}_{ab}\), and \(g_{ab}\) for their respective first fundamental forms. The normal vector of a hypersurface is denoted by \(\vec {e}\), and the normal vector of a surface within a hypersurface by \(\vec {n}\). Timelike normal vectors are assumed to be future directed. The null normals of the surface are therefore
The shape tensor of the surface is denoted by the kernel letter K, the second fundamental form of a hypersurface is denoted by the kernel letter \(\Pi \), and that of the surface within the hypersurface by p. The trace of the shape tensor contracted by a normal vector is denoted with a subscript. Thus we will come across formulas such as \(K_n = p\), meaning that the trace of the shape tensor contracted into the normal vector \(\vec {n}\) is equal to the trace of the second fundamental form of the surface within the hypersurface. We do not think that the notation will cause any difficulties, but the fact that the hypersurface can be timelike or spacelike can be confusing. The shape tensor can be split into
where we introduced the null expansions \(\theta _\pm \) and the traceless shears \(\sigma _{\pm ab}\).
The definition of the Hawking energy can now be stated in three equivalent forms:
Here A is the area of the 2-sphere, \(C_{abcd}\) is the Weyl tensor, and \(G_{ab}\) the Einstein tensor. The term proportional to the cosmological constant \(\lambda \) was added to Hawking’s definition as an afterthought [17]. To go between (3) and (4), apply the Gauss–Bonnet theorem. To go between (4) and (5), use the Gauss formulas in the codimension 2 case.
From (5) we see immediately that the Hawking energy vanishes for an arbitrary cut of a lightcone in Minkowski and de Sitter space, because in these cases all the curvature terms and one of the shear tensors vanish. We can also make use of
A totally umbilic hypersurface is defined as one whose second fundamental form is everywhere shear-free. (The strange name ‘umbilic’ is due to the fact that the surface of the human body has a shear-free second fundamental form at the centre of the navel.) On such a hypersurface it holds that
Inspection of formula (5) then shows that the Hawking energy is never positive for arbitrary spheres in a totally umbilic spacelike hypersurface in a conformally flat Einstein space, and never negative if the hypersurface is timelike. On a timelike static cylinder both signs can occur [3, 8]. For a round sphere in the Schwarzschild spacetime the Hawking energy evaluates to m, the total mass of the spacetime.
3 The Geroch flow
Geroch’s idea was to move a sphere within a hypersurface, in the direction of its normal vector \(\vec {n}\) and with a speed that depends on the extrinsic curvature of the sphere [5]. When doing so the metric and the mean curvature of the surface change according to
The formula for \({\dot{p}}\) is the formula for the second variation of the area rewritten using the Gauss’ equation, \(\Delta _S\) is the intrinsic Laplacian, and \(\epsilon = \vec {n}^2\). This gives us another sign to remember,
For the rate of the flow Geroch sets
which is why his flow is referred to as the inverse mean curvature flow. With this choice \({\dot{A}} = A\). (To learn about curvature flows in general, consult Sethian [18].) Geroch showed heuristically that the Hawking energy has an important monotonicity property if the flow takes place within a time symmetric hypersurface. If \(p = 0\) at some point of the surface the flow can only exist in a suitable weak sense, which is why it took so long to turn Geroch’s arguments into a rigourous theorem [6].
There have been many studies of the monotonicity properties of the Hawking energy in more general situations [2, 8, 19]. Here we will apply the Geroch flow to a sphere within a totally umbilic hypersurface inside an Einstein space, but we allow the hypersurface to be timelike. Consider the Hawking energy in version (4), that is
We make use of
Recall that \({\bar{g}}_{ab}\) and \(\gamma _{ab}\) are the first fundamental forms of the hypersurface and the surface, respectively. We also use the equation \(K_n = p\). The Gauss equation combined with the Einstein equation implies
Then the Hawking energy is
We now repeat Geroch’s calculation [5]. We only have an extra sign and an extra term involving \({\bar{R}}\) to keep track of. The result is
where
If the scalar curvature \({\bar{R}}\) of the hypersurface is constant so that \(\dot{{\bar{R}}} = 0\) then the Hawking energy is a monotone quantity. It can only increase if \(\epsilon = +1\), and it can only decrease if \(\epsilon = -1\).
The derivation is heuristic because it leaves open the question whether the flow exists. On spacelike hypersurfaces this is a hard question [6]. Surfaces embedded in timelike hypersurfaces are in many ways less wild than those one finds embedded in spacelike hypersurfaces, but on a timelike hyperboloid in Minkowski space we do have the problem that through every point there passes a surface with \(p = 0\). (The timelike hyperboloid is maximally symmetric, so it is enough to show this for one point.) But let us consider a round sphere with p positive and constant over the surface, and let us normalize the hyperboloid in which it sits so that \({\bar{R}} = 6\). A quick calculation confirms that \(p < 2\) for such a surface, and another quick calculation that
This evolves towards \(p = 2\). Although this is a special case it seems clear that surfaces whose mean curvatures are everywhere positive will flow to round spheres at \(\mathscr {I}\) without encountering any special problems. The problem with \(p = 0\) will loom very large in the Schwarzschild photon sphere at \(r = 3m\), but that is a very special case since the photon sphere never reaches \(\mathscr {I}\).
4 Photon surfaces
All the photon surfaces in the Schwarzschild spacetime, not just the photon sphere, have constant scalar curvature [14]. This provides a reasonably large set of examples for which the Hawking mass decreases under the inverse mean curvature flow, and it is worthwhile to see exactly how it happens.
We start with the metric
We define a spherically symmetric timelike hypersurface through
We denote its first fundamental form by \(g_{ab}\), and define
(Now the dot notation refers to differentiation with respect to t.) The second fundamental form is quickly computed to be
The hypersurface is a photon surface if and only if the expression within brackets vanishes. This gives a second order differential equation for r(t) which can be derived from a Lagranian. In principle it can be solved using quadratures, because it admits the conserved quantity
The different cases that arise are discussed by Cederbaum and et al. [15, 16]. We can use the information we already have to compute the mean curvature
and (somewhat more labouriously) the scalar curvature
of the photon surface.
So far we have not imposed Einstein’s equations. When we do we find that
and we have arrived at the Schwarzschild–de Sitter spacetime. In this case we find that
a constant value for all our photon surfaces. Indeed, in the Einstein case this follows directly from the fact that the mean curvature is constant.
5 Envoi
It is comforting that we have a set of examples to which our observation about the Hawking energy applies. Of course it has to be admitted that the Schwarzschild spacetime is a very special spacetime. The Penrose inequality holds in spherical symmetry [20, 21], and we are not able to offer any suggestions about how to move beyond that. But we have seen that the Hawking energy has many subtle properties. Building intuition for them is likely to be useful.
References
Hawking, S.W.: Gravitational radiation in an expanding universe. J. Math. Phys. 9, 598 (1968)
Eardley, D.M.: Global problems in numerical relativity. In: Smarr, L.L. (ed.) Sources of Gravitational Radiation. Cambridge UP, Cambridge (1979)
Szabados, L.B.: Quasi-local energy-momentum and angular momentum in GR: a review article. Liv. Rev. Relativ. 7, 4 (2004)
Bray, H.L., Roesch, H.P.: Null geometry and the Penrose conjecture. arXiv:1708.00941
Geroch, R.: Energy extraction. Ann. N. Y. Acad. Sci. 224, 108 (1973)
Huisken, G., Ilmanen, T.: The inverse mean curvature flow and the Riemannian Penrose inequality. J. Differ. Geom. 59, 353 (2001)
Frauendiener, J.: On the Penrose inequality. Phys. Rev. Lett. 87, 101101 (2001)
Bray, H.L., Jauregui, J.L., Mars, M.: Time flat surfaces and the monotonicity of the spacetime Hawking mass II. Ann. Henri Poincaré 17, 1457 (2016)
Claudel, C.-M., Virbhadra, K.S., Ellis, G.F.R.: The geometry of photon surfaces. J. Math. Phys. 42, 818 (2001)
Perlick, V.: On totally umbilic submanifolds of semi-Riemannian manifolds. Nonlinear Anal. 63, 511 (2005)
Foertsch, T., Hasse, W., Perlick, V.: Inertial forces and photon surfaces in arbitrary spacetimes. Class. Quantum Gravity 20, 4635 (2003)
Khoo, F.S., Ong, Y.C.: Lux in obscuro: photon orbits of extremal black holes revisited. Class. Quantum Gravity 33, 235002 (2016)
Gibbons, G.W., Warnick, C.M.: Aspherical photon and anti-photon surfaces. Phys. Lett. B 763, 169 (2016)
Cederbaum, C.: Uniqueness of photon spheres in static vacuum asymptotically flat spacetimes. In: Agranovsky, M.L., et al. (eds) Complex Analysis and Dynamical Systems VI, Contemporary Mathematics, vol. 667, p. 86. AMS, Providence (2015)
Cederbaum, C., Galloway, G.J.: Photon surfaces with equipotential time slices. arXiv:1910.04220
Cederbaum, C., Jahns, S., Vičánek Martínez, O.: In preparation (2020)
Boucher, W., Gibbons, G.W., Horowitz, G.T.: Uniqueness theorems for anti-de Sitter spacetime. Phys. Rev. D 30, 2447 (1984)
Sethian, J.A.: Level Set Methods and Fast Marching Methods. Cambridge UP, Cambridge (1999)
Bray, H., Hayward, S., Mars, M., Simon, W.: Generalized inverse mean curvature flows in spacetime. Commun. Math. Phys. 272, 119 (2007)
Malec, E., Murchadha, N.Ó.: Trapped surfaces and the Penrose inequality in spherically symmetric geometries. Phys. Rev. D 49, 6931 (1994)
Husain, V., Singh, S.: On the Penrose inequality in anti-de Sitter space. Phys. Rev. D 96, 104055 (2017)
Acknowledgements
Open access funding provided by Stockholm University. I thank Patrik Lindberg and José Senovilla for sharing their many insights, and Carla Cederbaum for sketching the content of reference [16]. And I happily acknowledge the Mittag–Leffler Institute in Djursholm, Stockholm, for a wonderful relativity program.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bengtsson, I. The Hawking energy on photon surfaces. Gen Relativ Gravit 52, 52 (2020). https://doi.org/10.1007/s10714-020-02703-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s10714-020-02703-0