- About this Journal ·
- Abstracting and Indexing ·
- Aims and Scope ·
- Article Processing Charges ·
- Articles in Press ·
- Author Guidelines ·
- Bibliographic Information ·
- Citations to this Journal ·
- Contact Information ·
- Editorial Board ·
- Editorial Workflow ·
- Free eTOC Alerts ·
- Publication Ethics ·
- Submit a Manuscript ·
- Subscription Information ·
- Table of Contents
ISRN Mathematical Physics
Volume 2014 (2014), Article ID 291790, 10 pages
Time-Dependent Evolving Null Horizons of a Dynamical Spacetime
Department of Mathematics and Statistics, University of Windsor, Windsor, ON, Canada N9B 3P4
Received 20 November 2013; Accepted 19 December 2013; Published 22 January 2014
Academic Editors: U. Kulshreshtha and W.-H. Steeb
Copyright © 2014 K. L. Duggal. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Totally geodesic null hypersurfaces have been widely used in the study of isolated black holes. In this paper, we introduce a new quasilocal notion of a family of totally umbilical null hypersurfaces called evolving null horizons (ENH) of a dynamical spacetime, satisfied under an appropriate energy condition. We focus on a variety of examples of ENHs and in some cases establish their relation with event and isolated horizons. We also present two specific physical models of an ENH in a black hole spacetime. Beside the examples, for further study we propose two open problems on possible general existence of an ENH in a black hole spacetime and its canonical or unique existence. The results of this paper have ample scope of working on totally umbilical null hypersurfaces of Lorentzian and, in general, semiRiemannian manifolds.
It is well-known that null hypersurfaces play an important roll in the study of black hole horizons. A black hole is a region of spacetime which contains a huge amount of mass compacted into an extremely small volume. Shortly after Einstein's first version of the theory of gravitation that was published in , in , Karl Schwarzschild computed the gravitational fields of stars using Einstein's field equations. He assumed that the star is spherical, gravitationally collapsed, and nonrotating. His solution is called a Schwarzschild solution which is an exact solution of static vacuum fields of the point-mass. Since then, considerable work has been done on black hole physics of asymptotically flat and time-independent spacetimes. Such isolated black holes deal with the following concepts of event and isolated horizons.
1.1. Event Horizons
A boundary of a spacetime is called an event horizon, briefly denoted by EH, beyond which events cannot affect the observer. Note that an event horizon is intrinsically a global concept since its definition requires the knowledge of the whole spacetime to determine whether null geodesics can reach null infinity. EHs have played a key role and this includes Hawking's area increase theorem, black hole thermodynamics, black hole perturbation theory, and the topological censorship results. The most important family is the Kerr-Newman black holes. Moreover, an EH always exists in black hole asymptotically flat spacetime under a weak cosmic censorship condition. We refer Hawking’s paper on “event horizon” , three papers of Hájíček’s work [2–4] on “perfect horizons” (later called “nonexpanding horizons” by Ashtekar et al. ), and a paper by Galloway  in which he has shown that the null hypersurfaces which arise most naturally in spacetime geometry and general relativity, such as black hole event horizons, are in general but not . Also Chruściel and his collaborators’ papers include key use of EHs (see his review paper  on “Recent results in mathematical relativity” and several latest papers, in particular “No Hair” Theorems). However, an event horizon is too global to be useful in a number of physical situations ranging from quantum gravity to numerical relativity and to astrophysics. In particular, since it refers to infinity, it cannot be used in specially compact spacetime. Moreover, to actually locate a black hole one needs to know the full spacetime metric up to the infinite future. Even if one locates the event horizon, using it to calculate the physical parameters is extremely difficult. See Ashtekar-Krishnan  for more information on why the notion of an event horizon is inappropriate for a variety of physical situations. Therefore, attempts were made to find a quasilocal concept of a horizon which requires only minimum number of conditions to detect a black hole and study its properties. To achieve this objective, in a paper  Asktekar et al. introduced the following concept of isolated horizons.
1.2. Isolated Horizons
Before giving the definition of isolated horizons we recall some features of the intrinsic geometry of -dimensional null hypersurface, say , of a spacetime , where the metric has signature . Denote by the intrinsic degenerate induced metric on which is the pull back of , where an under arrow denotes the pullback to . Degenerate has signature and does not have an inverse in the standard sense, but, in the weaker sense, it admits an inverse if it satisfies . Using this, the expansion is defined by where is a future-directed null normal to and is the Levi-Civita connection on . The vorticity-free Raychaudhuri equation is given by where is the shear tensor, is a pseudoarc parameter such that is null geodesic, and is the Ricci tensor of . We say that two null normals and belong to the same equivalence class if for some positive constant . The following are three notions of isolated horizons, namely, nonexpanding, weakly, and stronger isolated horizons, respectively.
Definition 1. A null hypersurface of a -dimensional spacetime is called a nonexpanding horizon (NEH) if (1) has a topology ;(2)any null normal of has vanishing expansion, ;(3)all equations of motion hold at and stress energy tensor is such that is future-causal for any future-directed null normal .
Condition (1) is a restriction on topology of which guarantee that marginally trapped surfaces are related to a black hole spacetime. Condition (2) and the energy condition of (3) imply from the Raychaudhuri equation (2) that and on , which further implies that the metric is time-independent. Note that on does not necessarily imply that is a Killing vector of the full metric . In general, there does not exist a unique induced connection on due to degenerate . However, on an NEH, the property implies that the spacetime connection induces a unique (torsion-free) connection, say , on which is compatible with .
Definition 2. The pair is called a weakly isolated horizon (WIH) if is an NEH and each normal satisfies
Condition (3) implies that, in addition to the metric , the connection component is also time-independent for a WIH. Given a NEH, one can always have an equivalence class (which is not unique) of null normals such that is a WIH. Ashtekar et al.  have discussed the issue of “Freedom of the choice of ” in satisfying condition (3).
Definition 3. A WIH is called an isolated horizon (IH) if the full connection is time-independent, that is, if for arbitrary vector fields tangent to .
An IH is stronger notion of isolation as its condition (4) cannot always be satisfied by a choice of null normals. Isolated horizons are quasilocal and do not require the knowledge of the whole spacetime. The class of spacetimes having isolated horizons is quite big. Any Killing horizon which is topologically is a trivial example of an isolated horizon. See Ashtekar and Krishnan , Ashtekar et al. , Lewandowski , and Gourgoulhon and Jaramillo  for examples and their physical use.
On the other hand, we know that the isolated horizons model specifically quasilocal equilibrium regimes of black hole spacetimes. However, in nature, black holes are rarely in equilibrium. This led to research on a quasilocal framework to describe the geometry of the surface of the dynamical black hole, not just at its equilibrium state. First attempt in this direction was made by Hayward , in 1994, using the framework of -formalism, based on the notion of trapped surfaces. He proposed the following notion of future, outer, and trapping horizons (FOTH).
Definition 4. A future, outer, and trapped horizon (FOTH) is a three-manifold , foliated by family of closed -surfaces such that (i) one of its future-directed null normal, say , has zero expansion, , (ii) the other null normal, , has negative expansion , and (iii) the directional derivative of along is negative; .
is either spacelike or null for which and . Hayward  derived the following general laws of black hole dynamics.(a)Zeroth Law. The total trapping gravity of a compact outer marginal surface has an upper bound, attained if and only if the trapping gravity is constant.(b)First Law. The variation of the area form along an outer trapping horizon is determined by the trapping gravity and an energy flux.
After this, Ashktekar and Krishnan [14, 15] observed that in dynamical situations Hayward's condition (iii) is not required for most of the key physical results. For this reason, they introduced in  the following quasilocal concept of “dynamical horizons,” denoted by DH, which model the evolving black holes and their asymptotic states are isolated horizons.
Definition 5. A smooth, -dimensional spacelike submanifold (possibly with boundary) of a spacetime is said to be a dynamical horizon (DH) if it can be foliated by a family of closed -manifolds such that (1)on each leaf its future-directed null normal has zero expansion, ,(2)and the other null normal, , has negative expansion .
They first required that be spacelike everywhere and then studied the case in which portions of marginally trapped surfaces lie on a spacelike horizon and the remainder on a null horizon. In the null case, reaches equilibrium for which the shear and the matter flux vanish and this portion is represented by a weakly isolated horizon. The Vaidya metrics are explicit examples of dynamical horizons with their equilibrium states of the isolated horizons. The horizon geometry of DHs is time-dependent. Compared to Hayward's -formalism, the DH framework is based on the standard -formulism and has the advantage that it only refers to the intrinsic structure of , without any conditions on the evolution of fields in transverse directions to . In  Ashtekar and Krishnan have obtained the following main results.(i)Expressions of fluxes of energy and angular momentum carried by gravitational waves across these horizons were obtained.(ii)A detailed area balance law relating to the change in the area of to the flux of energy across it provided.(iii)The cross sections of have the topology if the cosmological constant (of Einstein's filed equations) is positive and of or a -torus. The -torus case is degenerate as the matter and the gravitational energy flux vanish, the intrinsic metric on each is flat, and the shear of the (expansion free) null normal vanishes.(iv)A generalization of the first and the second laws of mechanics was obtained.(v)A relation between DHs and IH was established.
DH has provided a new perspective covering all areas of black holes, that is, quantum gravity, mathematical physics, numerical relativity, and gravitational wave phenomenology, leading to the underlying unity of the subject.
As explained in , the definition of DH rules out the possibility of null, except when reaches equilibrium. Thus, we do not have any null horizon which is time-dependent and quasilocal, and is always a null geodesic hypersurface. Such a null horizon is desired for information on the geometry and physics of the null surface of a dynamical spacetime, along with DHs which are models of evolving black holes. Moreover, there is a need to know the null version of the known results provided by FOTH and the DH frameworks. For these reasons, in this paper we study a new class of null horizons as explained below.
Observe that all types of null horizons (defined above) have a common condition that their future null normal has vanishing expansion. This means that their underlying null hypersurface is totally geodesic in the corresponding spacetime and these horizons are time-independent. In this paper, we use totally umbilical geometry to show the existence of a class of null hypersurfaces, called “Evolving Null Horizons (ENH)” (see Definition 8) (this notion is slightly general than recently introduced in  from where we take some material to present their improved version) which is time-dependent, quasilocal, and suitable for the null geometry of the surface of a dynamical spacetime. We focus on a variety of examples of ENHs, some of them having a totally geodesic null portion which represents an event or an isolated horizon at the equilibrium state of a black hole spacetime. This paper has been written with a twofold objective in mind firstly, initiate a new way of research on time-dependent null hypersurfaces of dynamical spacetimes by using the totally umbilical geometry. Secondly, the mathematical theory (using intrinsic geometry) on the foliations of null hypersurfaces presented in this paper (see also  for more general details) is expected to generate interest in further research on differential geometry of totally umbilical null hypersurfaces of Lorentzian and, in general, semiRiemannian manifolds.
2. Totally Umbilical Null Hypersurfaces
Recall that a hypersurface () of a -dimensional spacetime () is null if there exists a nonvanishing null vector field in which is orthogonal (with respect to ) to all vector fields in ; that is, where is the degenerate metric of . In this paper we assume that the null normal is future-directed and it is not entirely in but is defined in some open subset of around . This will permit us to well define the spacetime covariant derivative and is suitable for the intrinsic geometry. For general extrinsic geometry of null hypersurfaces of semiRiemannian manifolds (where null normal is taken entirely in the hypersurface) we refer Duggal and Bejancu [17, Chapter 4] and Duggal and Jin [18, Chapter 7]. A simple way to take this extended is to consider a foliation of (in the vicinity of ) by a family so that is in the part of foliated by this family such that, at each point in this region, is a null normal to for some value of . Denote by the respective family of degenerate metrics. Although the family is not unique, for our purpose we can manage (with some reasonable condition(s)) to involve only those quantities which are independent of the choice of the foliation once evaluated at . For simplicity, in this paper we consider a member of the family and its respective metric for some value of , with the understanding that the results are the same for any other member.
The “bending” of in is described by the Weingarten map: associates each of the variation of along , with respect to the spacetime connection . The second fundamental form, say , of is the symmetric bilinear form and is related to the Weingarten map by for any null normal and for any imply that has the same degeneracy as that of the induced metric . Hence, it is natural to study a class of null hypersurfaces such that is conformally equivalent to the metric . Geometrically, this means that is totally umbilical in if and only if there is a smooth function on such that The above definition does not depend on particular choice of . is called proper totally umbilical if and only if is nonzero on entire . In particular, a portion of is called totally geodesic if and only if vanishes, that is, if and only if vanishes on that portion of . From (7), for any null normal , and (8), we conclude that is totally umbilical in if and only if, on each neighborhood the conformal function satisfies The following result is important in the study of null hypersurfaces.
Proposition 6. Let be a family of null hypersurfaces of a Lorentzian manifold. Then each member of is totally umbilical if and only if its null normal is a conformal Killing vector of the degenerate metric .
Proof. Consider a member of . Using the expression and symmetric in the above equation we obtain which is well defined up to conformal rescaling (related to the choice of ). Suppose is totally umbilical; that is, (8) holds. Using this in (10) we have on . Therefore, is conformal Killing vector of the metric . Conversely, assume on . Then, which implies that (9) holds so is totally umbilical.
2.1. Normalization of and Projector onto
Due to degenerate metric , there is no canonical way from the null structure alone of , to define a projector mapping . Thus to obtain normalized expressions for there is a need for some extrastructure on . For this purpose, we consider a -spacetime . This assumes a thin sandwich of evolved from a spacelike hypersurface at a coordinate time to another spacelike hypersurface at coordinate time whose metric is given by where and are spatial coordinates of with its -metric induced from , is the lapse function, and is a spacelike shift vector. The choice of -spacetime comes from the works of Ashtekar and Krishnan [14, 15] and Gourgoulhon and Jaramillo  on dynamical and isolated horizons, respectively. The coordinate time vector is such that . For the (1 + 3)-spacetime , one can write where is the future timelike unit vector field. The question is how to normalize . In general, each spacelike hypersurface intersects the null hypersurface on some -dimensional submanifold ; that is, . Consider a family in the vicinity of defined by where is an element of this family . Let be a unit vector normal to defined in some open neighborhood of . Taking a foliation of , the coordinate can be used as a nonaffine parameter along each null geodesic generating . We normalize of such that it is tangent vector associated with this parameterization of the null generators; that is, This means that is a vector field “dual” to the -form . Equivalently, the function can be regarded as a coordinate compatible with ; that is, Based on this, it is easy to see that has the following normalization: which implies that is tangent to with the property of Lie dragging the family of surfaces .
As any is defined by a constant, the gradient is its normal; that is, Thus, the -form associated with the null normal is collinear to , that is, where is a scalar field. Now the question is how to find some direction transverse to . We see from the normalized equation (17) that there are timelike and spacelike transverse directions and (as they both do not belong to ), respectively, which are normal to the -dimensional spacelike submanifold . Since we already have the outgoing null normal tangent to , we define a transversal vector field of not belonging to expressed as another suitable linear combination of and such that it represents the light rays emitted in the opposite direction, called the ingoing direction, satisfying Using the normalization (17) of and (20) we get the following normalized expression of the null transversal vector : Since two null normals and of belong to the same equivalence class if for some positive constant , it follows from (20) that with respect to change of to there is another satisfying (20). Now we define the projector onto along by
The above mapping is well defined; that is, its image is in . Indeed, Observe that leaves any vector in invariant and . Moreover, the definition of the projector does not depend on the normalization of and as long as they satisfy the relation (20). In other words, is determined only by the foliation of the family of and not by any rescaling of .
Consider a spacelike orthonormal frames field on of . Since , the expansion scalar field (also called null mean curvature) of with respect to can be defined by which is equivalent to trace () and therefore it does not depend on the frame . For a totally umbilical this means that Then, is totally geodesic (also called minimal) if vanishes; that is,
2.2. Induced Extrinsic Structure Equations
Recall that Duggal and Bejancu [17, Chapter 4] used a screen distribution to obtain induced extrinsic objects of a lightlike hypersurface. Although we are not using any screen for , we do have a vector bundle of the -dimensional submanifolds of . In order to use the extrinsic structure equations given in [17, Chapter 4], we replace the role of screen by the vector bundle of which has the added advantage that it is obviously integrable. With this understanding, from (20) we have the following decomposition of : where denotes a null transversal vector bundle of rank 1 over . Using the above decomposition and the second fundamental form , we obtain the following extrinsic Gauss and Weingarten formulas [17, Chapter 4]: where is the shape operator on in , is a -form on , and is the induced linear connection on a pair . By setting in (28) the Weingarten map , defined by (6), will satisfy. with respect to the induced linear connection on a pair . In general, is not a Levi-Civita connection and it satisfies where . Let and denote the curvature tensors of the Levi-Civita connection on and the induced linear connection on , respectively. The Gauss-Codazzi equations are The induced Ricci tensor of is given by the following formula: Since on is not a Levi-Civita connection, in general, Ricci tensor is not symmetric. Indeed, let be a quasiorthonormal frame on . Then, we obtain Using Gauss-Codazzi equations and the first Bianchi identity we get Also, the -form in (29) depends on the choice of the normal . Therefore, we must require that is symmetric (otherwise it has no geometric or physical meaning) and vanishes so that is independent of the choice of the foliation . To fix this problem we assume the following known result.
Proposition 7 (see [17, page 99]). Let be a null hypersurface of a semiRiemannian manifold . If the induced Ricci tensor of is symmetric then there exists a local null pair such that the corresponding -form from (29) vanishes.
3. Evolving Null Horizons
Here we state the notion of an “Evolving Null Horizon,” denoted by ENH, explain the implications of its conditions, construct some examples of ENHs, establish their relation with event and isolated horizons, and construct two physical models of an ENH of a black hole spacetime.
Definition 8. A null hypersurface of a -dimensional spacetime is called an evolving null horizon (ENH) if (i) is totally umbilical and may include a totally geodesic portion;(ii)all equations of motion hold at and stress energy tensor is such that is future-causal for any future-directed null normal .
For condition (i), it follows from Proposition 6 that on ; that is, is a conformal Killing vector (CKV) of the metric . If includes a totally geodesic portion, then on its portion vanishes and reduces to a Killing vector. This does not necessarily imply that is a CKV (or Killing vector) of the full metric . The shear tensor is given by The energy condition of (ii) requires that is nonnegative for any ; which implies (see Hawking and Ellis [19, page 95]) that monotonically decreases in time along , that is, obeys the null convergence condition. Condition (i) also implies that we have two classes of ENHs, namely, generic ENH ( does not vanish on ) and nongeneric ENH for which may vanish on a possible totally geodesic portion of . The metric on a generic ENH will be time-dependent and will not vanish on . In the case of a non-generic ENH, may eventually vanish on its totally geodesic portion for which its transformed metric will be time-independent. We give examples of both classes.
3.1. Mathematical Model
Let be a member of the family of null hypersurfaces of a spacetime whose metric is given by (12). With respect to each , the shift vector can be expressed as Using (13), (17), and (38) we obtain To relate, above decomposition of with the conformal function of the totally umbilical condition (8), we choose on , which means that a portion of may be totally geodesic if and only if on that portion. Thus, Consider a coordinate system on defined by . Then, the degenerate metric is where , , and Observe that one can also take or constant. Assume that is proper totally umbilical in and obeys the null convergence condition, with respect to each future-directed null normal of this family . Then, a member constant) of this family is a model of a generic ENH whose degenerate metric is given by (41).
Nongeneric ENH. Consider a null hypersurface such that and are null proper totally umbilical and totally geodesic portions of and obeys the null convergence condition. Thus, as per Definition 8, is an ENH which includes a totally geodesic portion , where denotes its metric. Since monotonically decreases in time along and for this case can vanish on , a state may reach at a time when vanishes on the portion of and by putting in the metric (41) we recover the metric of given by where and For this case the transformed coordinate system is stationary with respect to the hypersurface as its metric (43) is time-independent. In other words, the location of is fixed as varies. Moreover, At this state of transition, Raychaudhuri equation (2) implies that shear also vanishes. Consequently, the two conditions of the definition of a totally geodesic evolving null horizon reduce to conditions (2) and (3) of a nonexpanding horizon (NEH). In case is a null horizon of some black hole, then the vector is called the surface velocity of the black hole (see Damour ). We present the following mathematical model.
Monge Null Hypersurfaces. Consider a smooth function , where is an open set of . Then a hypersurface of is called a Monge hypersurface [17, page 129] given by the equation where are the standard Minkowskian coordinates with origin 0. The scalar generates a family of Monge hypersurfaces as the level sets of and is given by where is a constant and we take a member of the family . . is null if and only if is a solution of the following partial differential equation: From (19) the null normal of is The components of the transversal vector field can be taken as so that . The corresponding base vectors, say , of are where we take on . Then, the -form in (29) vanishes. Indeed, . Therefore, it is quite straightforward (see [17, page 121]) that the Ricci tensor of the linear connection on this Monge hypersurface is symmetric. Consequently, our extrinsic objects on null Monge hypersurfaces are independent of the choice of a family . To find the expansion of we use the base vectors (51) to construct the following orthonormal basis of : Then by direct calculations we obtain where we put and , . Taking into account that we finally (see pages 118–132 in  for some missing details) obtain Consider a family of null Monge hypersurfaces of whose each member obeys the null convergence condition; that is, monotonically decreases in time along . Thus, it follows from (26) and (55) that may have a totally geodesic portion, say , if and only if a state reaches when vanishes and at that state satisfies the Laplace equation: which means that is harmonic on . As explained in Section 2, take a family of null Monge hypersurfaces of whose each member is totally umbilical (). Then, as per (24) and (55), we have which implies that is harmonic on if and only if vanishes on . Thus, there exists a model of a class of Monge null hypersurfaces which is union of a family of generic ENHs and its totally geodesic null portions.
Generic ENHs. Now we show by the following example that there are some Monge ENHs which are generic; that is, they do not evolve into a totally geodesic ENH.
Example 9 (see ). Let be a family of Monge null cones in given by where are the Minkowskian coordinates with origin 0. Exclude 0 to keep each null cone smooth. Let be a member at the level . Then, the scalar generates a family of Monge null cones given by . Thus, the components of the null normal to are Since is the position vector field for the above construction of the set of null cones, it follows from the Gauss equation (28) that where as 0 is excluded. Then, using the Weingarten map equation (6), we obtain Hence, by (9) we conclude that any member of the set of null cones is proper totally umbilical with the conformal function . The unit timelike and spacelike normals and in the normalized expression of are Therefore, it follows from (19) that . To calculate the expansion , we use (57) for and obtain Since does not vanish on , subject to the null convergence condition, the above is an example of an ENH which does not evolve into an event or isolated horizon.
4. Two Physical Models Having an ENH of a Black Hole Spacetime
Nongeneric Model. Let be a spacetime which admits a totally geodesic null hypersurface , where its degenerate metric is the pull back of and is its future-directed null normal defined in some open subset of around (see details in Section 1). Then, we know that ; that is, is Killing with respect to the metric , which is not necessarily Killing with respect to full metric . Consider a metric conformal transformation defined by where is a scalar function on and is its conformal spacetime manifold. Since the causal structure and null geodesics are invariant under a conformal transformation, as discussed in Section 2, we have a family of null hypersurfaces in with its corresponding family of induced metrics such that each one is conformally related to by the following transformation: for some value of the parameter of scalar functions on and is in the part of foliated by this family such that at each point in this region, is a future null normal to for some value of . Set as a member of for some . It is easy to show that ; that is, is conformal Killing with respect to the metric , which is the image of the corresponding Killing null vector with respect to the metric . Thus, as per Proposition 6, is a family of totally umbilical null hypersurfaces of such that the second fundamental form of its each member satisfies where the conformal function . Thus, subject to condition (ii) of Definition 8 each member of is an ENH of for some value of . Suppose the null hypersurface of is an event or an isolated horizon such that (65) and (66) hold. Then, the family of ENHs evolves into the corresponding event or isolated horizon when ; that is, . The following is an example of such an ENH of a BH spacetime which evolves into a weakly isolated horizon.
Example 10. Let be Einstein static universe with metric given by
where is a spherical coordinate system. This metric is singular at and . We, therefore, choose the ranges , , and for which it is a regular metric. Take two null coordinates and , with respect to a pseudo-orthonormal basis, such that and (). We get the following transformed metric:
where , . The absence of the terms and in (69) implies that the hypersurfaces and are null future and past-directed hypersurfaces, respectively, since . Consider a future-directed null hypersurface of . It is easy to see that the degenerate metric of this is given by
which is time-independent and has topology . Therefore, ; that is, is totally geodesic in which further implies that its future-directed null normal has vanishing expansion, . Thus, subject to the energy condition (3) of Definition 1, this is an NEH which (see Ashtekar-Fairhust-Krishnan ) can be a weakly isolated horizon.
Consider the de-Sitter spacetime  which is of constant positive curvature and is topologically with its metric given by where is nonzero constant. Its spacial slices ( constant) are -spheres. Introducing a new timelike coordinate , we get where the metric is given by (69). Thus, the de-Sitter spacetime is locally conformal to the Einstein static universe with the conformal function . As discussed above, we have a family of null hypersurfaces in whose metrics are conformally related to the metric by the transformation: for some value of the parameter of scalar functions on , where and is the metric of the null hypersurface of . Set as a member of this family . Then, the following holds: Therefore, we have a family of totally umbilical time-dependent null hypersurfaces of . Subject to the condition (ii) of Definition 8 this is a family of ENHs of the de-Sitter spacetime which can evolve into a WIH when at the equilibrium state of .
Generic Model. Consider a spacetime with Schwarzschild metric: where and and are the mass and the radius of a spherical body. Construct a -dimensional submanifold of as an intersection of a timelike hypersurface constant with a spacelike hypersurface constant. Choose at each point of a null direction perpendicular in , smoothly depending on the foot-point. There are two such possibilities: the ingoing and the outgoing radical directions. Let be the union of all geodesics with the chosen (say outgoing) initial direction. This is a submanifold near . Moreover, the symmetry of the situation guarantees that is a submanifold everywhere, except at points where it meets the centre of symmetry. It is very easy to verify that is a totally umbilical null hypersurface of . Since does not include the points where it meets the centre of symmetry, it is proper totally umbilical in ; that is, does not evolve into a totally geodesic portion. Therefore, subject to condition (ii) of Definition 8 and considering a member of the family we have a physical model of generic ENHs of the black hole Schwarzschild spacetime .
In this paper, we introduced a quasilocal definition of a family of null hypersurfaces called “evolving null horizons (ENH)” of a spacetime manifold. This definition uses some basic results taken from the differential geometry of totally umbilical hypersurfaces as opposed to present day use of totally geodesic geometry for event and isolated horizons. The first part of this paper includes enough background information on the event, three types of isolated and dynamical horizons, with a brief on their respective use in the study of black hole spacetimes, and need for introducing evolving null horizons.
The rest of this paper is focused on a variety of examples to justify the existence of ENHs and in some cases relate them with event and isolated horizons of a black hole spacetime. Thus, we have shown that an ENH describes the geometry of the null surface of a dynamical spacetime, in particular, a BH spacetime that also can be evolved into an event or isolated horizon at the equilibrium state of a landing spacetime. There is ample scope of further study on geometric/physical properties of ENHs. An input of the interested readers on what is presented so far is desired before one starts working on properties of ENHs, in particular reference to the null version of some known results on dynamical horizons. As is the case of introducing any new concept, there may be several questions on what we have presented in this paper. At this point in time, the following two fundamental issues need to be addressed.
We know that an event horizon always exists in black hole asymptotically flat spacetimes under a weak cosmic censorship condition and isolated horizons are precisely meant to model specifically quasilocal equilibrium regimes by offering a precise geometric approximation. Since so far we only have two specific models of an ENH in a black hole spacetime, one may ask. Does there always exist an ENH in a black hole spacetime?
Secondly, since an ENH comes with an assigned foliation of null hypersurfaces its unique existence is questionable. Therefore, one may ask. Is there a canonical or unique choice of an evolving null horizon?
Interested readers are invited for an input on these two and any other issues.
Finally, it is well-known that the rich geometry of totally umbilical submanifolds has a variety of uses in the world of mathematics and physics. Besides the needed study on the properties of evolving null horizons in black hole theory, further study on the mathematical theory of this paper alone has ample scope to a new way of research on the geometry of totally umbilical null hypersurfaces in a general semiRiemannian and for physical applications a spacetime manifold.
Conflict of Interests
The author declares that there is no conflict of interests regarding the publication of this paper.
- S. W. Hawking, “The event horizons,” in Black Holes, C. DeWitt and B. DeWitt, Eds., Norht Holland, Amsterdam, The Netherlands, 1972.
- P. Hájíček, “Exact models of charged black holes. I. Geometry of totally geodesic null hypersurface,” Communications in Mathematical Physics, vol. 34, pp. 37–52, 1973.
- P. Hájíček, “Can outside fields destroy black holes?” Journal of Mathematical Physics, vol. 15, pp. 1554–1558, 1974.
- P. Hájíček, “Stationary electrovacuum spacetimes with bifurcate horizons,” Journal of Mathematical Physics, vol. 16, pp. 518–522, 1975.
- A. Ashtekar, C. Beetle, and S. Fairhurst, “Isolated horizons: a generalization of black hole mechanics,” Classical and Quantum Gravity, vol. 16, no. 2, pp. L1–L7, 1999.
- G. J. Galloway, “Maximum principles for null hypersurfaces and null splitting theorems,” Annales Henri Poincaré, vol. 1, no. 3, pp. 543–567, 2000.
- P. T. Chruściel, “Recent results in mathematical relativity,” Classical Quantum Gravity, pp. 1–17, 2005.
- A. Ashtekar and B. Krishnan, “Isolated and dynamical horizons and their applications,” Living Reviews in Relativity, vol. 7, pp. 1–91, 2004.
- A. Ashtekar, S. Fairhurst, and B. Krishnan, “Isolated horizons: hamiltonian evolution and the first law,” Physical Review D, vol. 62, no. 10, Article ID 104025, 29 pages, 2000.
- A. Ashtekar, C. Beetle, and J. Lewandowski, “Geometry of generic isolated horizons,” Classical and Quantum Gravity, vol. 19, no. 6, pp. 1195–1225, 2002.
- J. Lewandowski, “Spacetimes admitting isolated horizons,” Classical and Quantum Gravity, vol. 17, no. 4, pp. L53–L59, 2000.
- E. Gourgoulhon and J. L. Jaramillo, “A perspective on null hypersurfaces and isolated horizons,” Physics Reports, vol. 423, no. 4-5, pp. 159–294, 2006.
- S. A. Hayward, “General laws of black-hole dynamics,” Physical Review D, vol. 49, no. 12, pp. 6467–6474, 1994.
- A. Ashtekar and B. Krishnan, “Dynamical horizons: energy, angular momentum, fluxes, and balance laws,” Physical Review Letters, vol. 89, no. 26, Article ID 261101, 4 pages, 2002.
- A. Ashtekar and B. Krishnan, “Dynamical horizons and their properties,” Physical Review D, vol. 68, no. 10, Article ID 104030, 25 pages, 2003.
- K. L. Duggal, “Foliations of lightlike hypersurfaces and their physical interpretation,” Central European Journal of Mathematics, vol. 10, no. 5, pp. 1789–1800, 2012.
- K. L. Duggal and A. Bejancu, Lightlike Submanifolds of Semi-Riemannian Manifolds and Applications, vol. 364 of Mathematics and Its Applications, Kluwer Academic Publishers, Dordrecht, The Netherlands, 1996.
- K. L. Duggal and D. H. Jin, Null Curves and Hypersurfaces of Semi-Riemannian Manifolds, World Scientific, Hackensack, NJ, USA, 2007.
- S. W. Hawking and G. F. R. Ellis, The Large Scale Structure of Space-Time, Cambridge Monographs on Mathematical Physics, no. 1, Cambridge University Press, London, UK, 1973.
- T. Damour, “Black-hole eddy currents,” Physical Review D, vol. 18, no. 10, pp. 3598–3604, 1978.