Abstract
New rigidity results for complete non-compact spacelike submanifolds of arbitrary codimension in plane fronted waves are obtained. Under appropriate assumptions, we prove that a complete spacelike submanifold in these spacetimes is contained in a characteristic lightlike hypersurface. Moreover, for a complete codimension two extremal submanifold in a plane fronted wave we show sufficient conditions to guarantee that it is a (totally geodesic) wavefront.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the search for exact solutions to Einstein’s field equation it is usually assumed the existence of a certain symmetry. This symmetry is usually provided by a globally defined causal conformal vector field [18]. In particular, when this vector field is lightlike and parallel, the resulting solution is called a Brinkmann spacetime [5]. In this article, we will focus on a distinguished subfamily of Brinkmann spacetimes, namely, plane fronted waves [9]. A plane fronted wave is a Lorentzian manifold \(({\overline{M}}^{n+2},\langle \ , \ \rangle )\) where \({\overline{M}}^{n+2}={\mathbb {R}}^{2}\times M^{n}\) with \((M^{n},g_{M})\) a (connected) Riemannian manifold and the Lorentzian metric is
where (u, v) are the natural coordinates on \({\mathbb {R}}^2\) and \({\mathcal {H}}(u,x)\) is a (independent of v) smooth function on \({\mathbb {R}}^{2}\times M^{n}\). The coordinate vector field \(\partial _v := \partial / \partial v\) is lightlike and parallel. Endowing \({\overline{M}}^{n+2}\) with the time orientation defined by \(\partial _v\), it becomes a spacetime. As \({\overline{\nabla }} u = \partial _v\), the coordinate \(u : {\overline{M}}^{n+2} \longrightarrow {\mathbb {R}}\) plays the role of a quasi-time function [4, Def. 13.4] i.e., its gradient is everywhere causal and any causal geodesic segment \(\gamma \) such that \(u \circ \gamma \) constant is injective. In particular, the spacetime is causal [4, p. 490]. A plane fronted wave is foliated by the (characteristic) lightlike hypersurfaces \(u = u_{0}\), \(u_0 \in {\mathbb {R}}\).
When \(M^n = {\mathbb {R}}^2\) and \(g_M\) is the usual Euclidean metric, the spacetime \({\overline{M}}^4\) is called a pp-wave (plane fronted wave with parallel propagating rays) [4]. Plane fronted waves model (electromagnetic or gravitational) radiation propagating at the speed of light. Despite the fact that the study of gravitational waves goes back to Einstein and Rosen [8], the experimental detection of gravitational waves [1] has aroused widespread interest in plane fronted waves.
In these ambient spacetimes we will study spacelike submanifolds of arbitrary codimension. Spacelike submanifolds of codimension greater than one became interesting from a physical viewpoint when Penrose introduced the notion of trapped surface to study spacetimes’ singularities [17]. Namely, the existence of a trapped surface is a sign of the presence of a black hole. The original definition of trapped surface was given in terms of null expansions. This is related to the causal orientation of the mean curvature vector field, which allows the extension of the concept of trapped submanifold to arbitrary codimension [14]. Indeed, let \(\psi : \Sigma ^k \longrightarrow {\overline{M}}^{n+2}\) be a spacelike submanifold of arbitrary codimension in an arbitrary spacetime. Denoting by \(\overrightarrow{H}\) the mean curvature vector field of the submanifold and following the standard terminology in General Relativity (see [14, 15]), \(\Sigma ^k\) is said to be future trapped if \(\overrightarrow{H}\) is timelike and future pointing everywhere (similarly for past trapped); weakly future trapped if \(\overrightarrow{H}\) is causal and future pointing everywhere (similarly for weakly past trapped) and extremal if \(\overrightarrow{H} = 0\).
In a plane fronted wave, each codimension two totally geodesic (hence, extremal) spacelike submanifold defined by \(u=u_0\), \(v=v_0\), \(u_0,v_0\in {\mathbb {R}}\), is called a wavefront [9]. Physically, a wavefront in a plane fronted wave can be interpreted as a perturbation that is being propagated at the speed of light without experiencing any change (e.g., weakening) [12]. For instance, if we consider in the 4-dimensional Lorentz-Minkowski spacetime \({\mathbb {L}}^4\) the coordinates \((u:= (z-t)/\sqrt{2}, v:= (z+t)/\sqrt{2}, x, y)\), where t, x, y, z are the standard coordinates, we can see how the wavefronts are given by \(\{u_0, v_0\} \times {\mathbb {R}}^2\), \(u_0,v_0\in {\mathbb {R}}\).
From a geometrical point of view, it is natural to wonder under which conditions a complete codimension two extremal submanifold in a plane fronted wave is a wavefront. In [7], the authors answer this question for the compact case. Thus, in this paper we will focus on the non-compact case. Our main tools will be certain maximum principles as well as the parabolicity of the spacelike submanifold.
Let us recall that a complete (non-compact) Riemannian manifold is parabolic if the only superharmonic functions bounded from below that it admits are the constants (see, for instance, [13]). From a physical perspective, parabolicity is equivalent to the recurrence of the Brownian motion on a Riemannian manifold [10]. From a mathematical standpoint, complete Riemannian surfaces with non-negative Gaussian curvature are parabolic [11]. In arbitrary dimension there is no clear relation between parabolicity and sectional curvature. Nevertheless, there exist sufficient conditions to ensure the parabolicity of a Riemannian manifold of arbitrary dimension based on its geodesic balls’ volume growth [3]. In this article we will use that parabolicity is invariant under quasi-isometries [10, Cor. 5.3].
This paper is organized as follows. Section 2 introduces general notions on plane fronted waves and their spacelike submanifolds that will later allow us to proof our main results. Section 3 contains the main results of this paper, we first state several conditions that guarantee that a non-compact spacelike submanifold is contained in a lightlike hypersurface \(u = u_0\) (Theorems 7 and 11). From these theorems we can deduce certain non-existence results for spacelike hypersurfaces (Corollaries 12 and 13) as well as for weakly trapped submanifolds (Theorem 14). Finally, we answer our initial question providing in Theorems 15, 16 and 17 sufficient conditions for a complete non-compact codimension two extremal submanifold to be a wavefront. Indeed, Theorem 15 states that in a plane fronted wave the only codimension two parabolic extremal submanifolds with bounded (either from above or below) \(u\circ \psi \) and \(v\circ \psi \) are the (necessarily parabolic) wavefronts. Furthermore, Theorem 16 asserts, under the same bound, that a complete codimension two extremal submanifold whose Ricci curvature verifies \(\mathrm {Ric} \ge 0\) is also a wavefront.
2 Set up
2.1 Plane fronted waves
Let us consider a plane fronted wave \({\overline{M}}^{n+2}={\mathbb {R}}^{2}\times M^{n}\) and let \({\mathcal {L}}(M^{n})\) be the subspace of \({\mathfrak {X}}({\overline{M}}^{n+2})\) consisting of the lifts to \({\overline{M}}^{n+2}\) of all vector fields on \(M^{n}\). From now on, we will use the the same symbol to denote a vector field in \({\mathfrak {X}}(M^{n})\) and its corresponding lift to \({\mathcal {L}}(M^{n})\). In a similar way, we simplify the notation using the same symbol for a function on \(M^n\) and its corresponding lift to \({\overline{M}}^{n+2}\). The Levi–Civita connection \({\overline{\nabla }}\) of a plane fronted wave was given in [6] as follows,
Lemma 1
For any \(V, W\in {\mathcal {L}}(M^{n})\subset {\mathfrak {X}}({\overline{M}}^{n+2})\), we have
- (i):
-
\({\overline{\nabla }}_{\partial _u}\partial _u=\frac{1}{2}\big ( \partial _{u}{\mathcal {H}}\, \partial _{v}- {\widetilde{\nabla }} {\mathcal {H}}_u \big )= \frac{1}{2}\big ({\overline{\nabla }} {\mathcal {H}}- {\widetilde{\nabla }} {\mathcal {H}}_u\big )\),
- (ii):
-
\({\overline{\nabla }}_{V} \partial _u={\overline{\nabla }}_{\partial _u}V=\frac{1}{2}\, g_{M}({\widetilde{\nabla }} {\mathcal {H}}_{u},V)\,\partial _v\),
- (iii):
-
\({\overline{\nabla }}_{V}W={\widetilde{\nabla }}_{V}{W}\),
- (iv):
-
\({\overline{\nabla }}_{\partial _v}\partial _v={\overline{\nabla }}_{\partial _v}\partial _u ={\overline{\nabla }}_{\partial _u}\partial _v={\overline{\nabla }}_{V} \partial _v={\overline{\nabla }}_{\partial _v}V=0\),
where \({\widetilde{\nabla }}\) denotes the Levi–Civita connection of \((M^{n}, g_{M})\), \({\widetilde{\nabla }} {\mathcal {H}}_u\) is the gradient of \({\mathcal {H}}_u\) on \(M^n\), \({\mathcal {H}}_{u}(x):={\mathcal {H}}(u,x)\), and \({\overline{\nabla }} {\mathcal {H}}\) is the gradient of \({\mathcal {H}}\) on \({\overline{M}}^{n+2}\).
Every tangent vector \(Z\in T_{(u,v,x)}{\overline{M}}^{n+2}\) admits the decomposition
where \(\pi _{M}:{\overline{M}}^{n+2} \longrightarrow M^{n}\) is the natural projection. Thus, Lemma 1 implies that
The non-necessarily vanishing components of the Riemann curvature tensor \(\overline{\mathrm {R}}\) of the metric (1) are
where \(\mathrm {R}_M\) and \(\widetilde{\mathrm {Hess}}\) stand, respectively, for the Riemann and Hessian tensors on \(M^n\). Denoting by \(\overline{\mathrm {Ric}}\) and \(\mathrm {Ric}_M\) the Ricci tensors of \({\overline{M}}^{n+2}\) and \(M^{n}\), respectively, we obtain that the non-necessarily vanishing components of \(\overline{\mathrm {Ric}}\) are
where \({\widetilde{\Delta }}\) is the Laplacian on \(M^{n}\). It can be easily seen that a plane fronted wave \(({\overline{M}}^{n+2}, \langle \ , \ \rangle )\) satisfies the timelike convergence condition (TCC), i.e., \(\mathrm {{\overline{Ric}}}(T,T)\ge 0\) for every timelike vector T, if and only if
2.2 Spacelike submanifolds
Let us now consider \(\psi : \Sigma ^k \longrightarrow {\overline{M}}^{n+2}\) a (connected) spacelike submanifold in a plane fronted wave \(({\overline{M}}^{n+2}, \langle \ , \ \rangle )\). That is, \(\psi \) is an immersion and the induced metric on \(\Sigma ^k\) is Riemannian. We will also denote the induced metric on \(\Sigma ^k\) by \(\langle \ , \ \rangle \). For any vector field V along the immersion \(\psi \), we write \(V^{\top }\) and \(V^{\perp }\) for the tangent and normal parts along \(\psi \), respectively. If we denote by \(\mu := u \circ \psi \) and \(\nu := v \circ \psi \), the restrictions of the coordinate functions u and v to \(\Sigma ^{k}\), we obtain that their gradients are given by
and
Therefore, from these formulas we see how wavefronts (i.e., codimension two spacelike submanifolds given by \(u = u_0\), \(v = v_0\), for \(u_0, v_0 \in {\mathbb {R}}\)) satisfy that the vector fields \(\partial _u\) and \(\partial _v\) are normal at every point.
Let us recall the Gauss and Weingarten’s formulas, given respectively by
and
for \(X, Y \in {\mathfrak {X}}(\Sigma ^{k})\) and \(N \in {\mathfrak {X}}^\perp (\Sigma ^{k})\), where \({\overline{\nabla }}\) and \(\nabla \) are the Levi–Civita connections of \({\overline{M}}^{n+2}\) and \(\Sigma ^k\), respectively, \(\mathrm {II}\) is the second fundamental form and \(A_N\) is the shape operator with respect to N and \(\nabla ^\perp \) is the normal connection. The mean curvature vector field of the spacelike submanifold \(\Sigma ^{k}\) is
Since \(\partial _{v}\) is a parallel vector field, we obtain using (7) and (8) for \(X \in {\mathfrak {X}}(\Sigma ^{k})\)
Taking tangent and normal parts in (10) we get
and
In particular, we have \(\mathrm {div}(\partial _{v}^{\top })=\mathrm {trace}(A_{\partial _{v}^{\perp }})\). Now, we can use (5), (6) and (11) to obtain that the Laplacians of \(\mu \) and \(\nu \) on \(\Sigma ^{k}\) are
and
For a codimension two spacelike submanifold \(\Sigma ^{n}\) contained in a lightlike hypersurface \(u = u_0\), the normal bundle is generated by the normal vector fields \(\partial _{v}\) and \(\eta =-\partial _{u}^{\perp }+\frac{1}{2}\langle \partial _{u}^{\perp }, \partial _{u}^{\perp }\rangle \partial _{v}\) which satisfy \(\langle \eta , \eta \rangle =0\) and \(\langle \eta , \partial _{v} \rangle =-1\). From (11) and (12), we have
From (15), the following formula holds for the second fundamental form
where \(X,Y \in {\mathfrak {X}}(\Sigma ^{n})\). Now, decomposing \(\partial _u\) into its tangent and normal components and using (11) and (12), we get from (3)
Hence, from (14), (16) and (17), the mean curvature vector of a spacelike submanifold \(\Sigma ^{n}\) contained in a lightlike hypersurface \(u = u_0\) is given by (see [7])
From (15) and (17) we have that each wavefront is totally geodesic and is also clearly contained in a lightlike hypersurface \(u = u_0\). As shown in [7, Lemma 4.2], any codimension two spacelike submanifold of \({\overline{M}}^{n+2}\) contained in a lightlike hypersurface \(u = u_0\) is locally isometric to \(M^n\). Indeed, the following lemma extends this result.
Lemma 2
Let \(\psi :\Sigma ^{n}\rightarrow {\overline{M}}^{n+2}\) be a codimension two spacelike submanifold in a plane fronted wave \({\overline{M}}^{n+2}\). If \(\psi (\Sigma ^n)\) is contained in a lightlike hypersurface \(u = u_0\) or the lightlike vector field \(2 \partial _u -({\mathcal {H}}\circ \psi )\, \partial _v\) is normal to \(\Sigma ^n\) at any point, then, \(\pi _{M}\circ \psi :\Sigma ^{n} \rightarrow M^n\) is a local isometry.
Proof
From (2), for any \(Z \in T_p \Sigma ^n\) we obtain
Hence, the first addend on the right hand side vanishes under our assumptions. \(\square \)
Remark 3
By means of Eqs. (5) and (6) we obtain that \(2 \partial _u -({\mathcal {H}}\circ \psi ) \,\partial _v\) being normal to \(\Sigma ^n\) is equivalent to
Therefore, if \(2 \partial _u -({\mathcal {H}}\circ \psi )\, \partial _v\) is normal to \(\Sigma ^n\) and \(\psi (\Sigma ^n)\) is contained in a lightlike hypersurface \(u = u_0\), then \(\psi (\Sigma ^{n})\) is contained in a wavefront.
3 Main results
First, let us obtain the next result for the restriction of the quasi-time function u to any spacelike submanifold.
Proposition 4
Let \(\psi : \Sigma ^k \longrightarrow {\overline{M}}^{n+2}\) be a spacelike submanifold in a plane fronted wave.
- (i):
-
If \(\langle \overrightarrow{H}, \partial _v \rangle > 0\), then the function \(\mu \) attains no local maximum.
- (ii):
-
If \(\langle \overrightarrow{H}, \partial _v \rangle < 0\), then \(\mu \) attains no local minimum.
Proof
Assume \(\mu \) attains a local maximum at \(p_{max}\). Therefore, at \(p_{max}\) from (13) we have \(\Delta \mu (p_{max}) = k \langle \overrightarrow{H}, \partial _v \rangle (p_{max}) \le 0,\)
contradicting the fact that \(\langle \overrightarrow{H}, \partial _v \rangle > 0\). The proof of the second statement is analogous. \(\square \)
As a direct consequence of Proposition 4, we have the following result.
Corollary 5
Let \(\psi : \Sigma ^k \longrightarrow {\overline{M}}^{n+2}\) be a spacelike submanifold in a plane fronted wave with \(\langle \overrightarrow{H}, \partial _v \rangle > 0\) (resp. \(\langle \overrightarrow{H}, \partial _v \rangle < 0\)). Then, there is no (non-empty) open subset \(U\subset \Sigma ^{k} \) such that \(\psi (U)\) is contained in a lightlike hypersurface \(u=u_{0}\).
Another immediate consequence of Proposition 4 is
Corollary 6
Let \(\psi : \Sigma ^k \longrightarrow {\overline{M}}^{n+2}\) be a spacelike submanifold in a plane fronted wave. Then,
- (i):
-
If \(\mu \) attains a local maximum, then \(\underset{\Sigma ^k}{\mathrm {inf}} \langle \overrightarrow{H}, \partial _v \rangle \le 0.\)
- (ii):
-
If \(\mu \) attains a local minimum, then \(\underset{\Sigma ^k}{\mathrm {sup}} \langle \overrightarrow{H}, \partial _v \rangle \ge 0.\)
Note that, as an application of Proposition 4, we reobtain the well known non-existence of compact trapped submanifolds in a plane fronted wave [7, 15].
Our next result ensures the constancy of the quasi-time function’s restriction to the spacelike submanifold under certain assumptions, equivalently, under which conditions the spacelike submanifold factorizes through the lightlike hypersurface \(u = u_0\), for \(u_0 \in {\mathbb {R}}\).
Theorem 7
Let \(\psi : \Sigma ^k \longrightarrow {\overline{M}}^{n+2}\) be a complete, orientable, non-compact spacelike submanifold in a plane fronted wave.
- (i):
-
If \(\langle \overrightarrow{H}, \partial _v \rangle \ge 0,\) \(\mu \ge u_0,\) for \(u_0 \in {\mathbb {R}}\) and
$$\begin{aligned} \lim _{r(p) \rightarrow \infty } \mu = u_0, \end{aligned}$$where \(r(p) = d(p, o)\) is the Riemannian distance function on \(\Sigma ^k\) from a fixed point \(o \in \Sigma ^k\), then, \(\mu = u_0\).
- (ii):
-
If \(\langle \overrightarrow{H}, \partial _v \rangle \le 0,\) \(\mu \le u_0\) for \(u_0 \in {\mathbb {R}}\) and
$$\begin{aligned} \lim _{r(p) \rightarrow \infty } \mu = u_0, \end{aligned}$$then, \(\mu = u_0\).
Proof
To prove the first statement, let us define on \(\Sigma ^k\) the function \({\widehat{\mu }} := \mu - u_0\). From our assumptions we have that \({\widehat{\mu }} \ge 0\) and
Furthermore, using (5) we obtain
Moreover, from our assumptions and (13) we have
Reasoning by contradiction, suppose that \(\mu \ne u_0\). Hence, for some \(p \in \Sigma ^k\) we have \({\widehat{\mu }}(p) > 0\), so that \({\widehat{\mu }} \ne 0\). Thus, we can apply [2, Thm. 2.2] to conclude that
Therefore, \(\mu \) must be constant on \(\Sigma ^k\) and since \(\mu \) is asymptotic to \(u_0\) we obtain \(\mu = u_0,\) reaching a contradiction. The proof of (ii) is analogous defining on \(\Sigma ^k\) the function \({\widetilde{\mu }}:= u_0 - \mu \) and using the vector field \(-\partial _v^\top \) instead of \(\partial _v^\top \) in the computations. \(\square \)
In particular, for a spacelike submanifold \(\psi : \Sigma ^k \longrightarrow {\mathbb {L}}^{n+2}\) in the Lorentz–Minkowski spacetime \({\mathbb {L}}^{n+2}\), using Beltrami’s equation \(\Delta \psi = k \overrightarrow{H}\), we derive from Theorem 7 the next result.
Corollary 8
Let \(\psi : \Sigma ^k \longrightarrow {\mathbb {L}}^{n+2}\) be a complete, orientable, non-compact spacelike submanifold in \({\mathbb {L}}^{n+2}\) with \(\psi =(\psi _{0}, \psi _{1}, \dots , \psi _{n+1})\). Assume that there is \(j\in \{1,\dots , n+1\}\) such that \(\Delta (\psi _{j} - \psi _{0}) \ge 0\) and \(\psi _{j}- \psi _{0}\ge u_{0}\), for \(u_0 \in {\mathbb {R}}\). If
where \(r(p) = d(p, o)\) is the Riemannian distance function on \(\Sigma ^k\) from a fixed point \(o \in \Sigma ^k\), then \(\psi \) factorizes through the lightlike hyperplane \(x_{j}- x_{0}= u_{0}\).
Remark 9
For the case of a spacelike hypersurface (\(k = n+1\)), the orientability assumption in Corollary 8 can be dropped. Indeed, the orientation and time orientation of \({\mathbb {L}}^{n+2}\) guarantees the orientability of \(\Sigma ^{n+1}\). In general, if the ambient spacetime \({\overline{M}}^{n+2}\) is orientable, then every spacelike hypersurface in \({\overline{M}}^{n+2}\) is also orientable.
Remark 10
Note that for the codimension two case, under the assumptions of Lemma 2, \(\Sigma ^n\) is locally isometric to \(M^n\). Therefore, if the plane fronted wave verifies the TCC, then the Ricci curvature of \(\Sigma ^n\) will be non-negative (4). In the particular case where \(n=2\), this fact means that the Gaussian curvature of \(\Sigma ^2\) is non-negative. Hence, if \(\Sigma ^2\) is also complete, it must be parabolic by [11]. More generally, in a plane fronted wave \({\overline{M}}^{n+2} = {\mathbb {R}}^2 \times M^n\) with \(M^n\) parabolic, a simply connected complete codimension two spacelike submanifold with \(\mu = u_0\) or everywhere orthogonal to \(2 \partial _u - {\mathcal {H}} \partial _v\) is also parabolic due to Lemma 2 and the fact that parabolicity is invariant under quasi-isometries [10, Cor. 5.3].
Furthermore, for parabolic spacelike submanifolds we have the next theorem.
Theorem 11
Let \(\psi : \Sigma ^k \longrightarrow {\overline{M}}^{n+2}\) be a parabolic spacelike submanifold in a plane fronted wave. If \(\langle \overrightarrow{H}, \partial _v \rangle \ge 0\) (resp., \(\langle \overrightarrow{H}, \partial _v \rangle \le 0\)) and \(\sup _{\Sigma ^k} \ \mu < +\infty \) (resp., \(\inf _{\Sigma ^k} \ \mu > -\infty \)), then \(\mu = u_0\). In addition, if \(\Sigma ^n\) is a simply-connected codimension two submanifold, then the wavefront is parabolic.
Proof
From (13), if \(\langle \overrightarrow{H}, \partial _v \rangle \ge 0\) holds, \(\mu \) would be a superharmonic function on a parabolic manifold. Thus, if it is bounded from below, it must be constant. We can prove the other case in a similar way.
To conclude, the last statement is a consequence of the fact that in the codimension two case, if \(\mu \) is constant and \(\Sigma ^n\) is simply connected, then it is globally isometric to the wavefront [7, Prop. 4.6]. \(\square \)
As an immediate consequence of Theorem 11 we deduce that plane fronted waves do not admit compact spacelike hypersurfaces which are everywhere non-contracting or non-expanding.
Corollary 12
In a plane fronted wave there are no compact spacelike hypersurfaces with signed mean curvature.
Moreover, if we consider a spacelike hypersurface in a plane fronted wave and choose its normal unitary vector N such that \(\langle N, \partial _v \rangle < 0\), we obtain from Theorem 7 the next result for parabolic spacelike hypersurfaces (compare with [16, Thm. 4] and [19, Thm. 4]).
Corollary 13
In a plane fronted wave there are no parabolic spacelike hypersurfaces with non-positive mean curvature and \(\mu \) bounded from above nor parabolic spacelike hypersurfaces with non-negative mean curvature and \(\mu \) bounded from below.
Also, by means of Theorem 11 we can deduce the following non-existence result for parabolic weakly trapped submanifolds in a plane fronted wave.
Theorem 14
In a plane fronted wave there are no codimension two parabolic weakly future trapped (resp., weakly past trapped) submanifolds with \(\inf _{\Sigma ^n} \ \mu > -\infty \) and \(\sup _{\Sigma ^n} \ \nu < +\infty \) (resp., \(\sup _{\Sigma ^n} \ \mu < +\infty \) and \(\inf _{\Sigma ^n} \ \nu > -\infty \)).
Proof
Let us assume the existence of a codimension two parabolic weakly future trapped submanifold in a plane fronted wave with \(\mu \) bounded from below and \(\nu \) bounded from above. From Theorem 11 we obtain that it satisfies \(\mu = u_0\). Moreover, from (18) we obtain \(\Delta \nu > 0\), which combined with the upper bound of \(\nu \) and the parabolicity of the submanifold implies that \(\nu \) is constant and therefore, the submanifold would be extremal, reaching a contradiction. We can prove the other case in an analogous manner. \(\square \)
Using these ideas we get the next rigidity result for the extremal case in codimension two, which extends [7, Thm. 4.10] to the non-compact case.
Theorem 15
In a plane fronted wave the only codimension two parabolic extremal submanifolds with \(\mu \) and \(\nu \) bounded (either from above or below) are the (necessarily parabolic) wavefronts.
Proof
From (13) we obtain that \(\mu \) is a bounded harmonic function in a parabolic Riemannian manifold. Thus, \(\mu = u_0\) on \(\Sigma ^n\). In addition, from (18) we have that since \(\nu \) is also a bounded harmonic function \(\nu = v_0\). \(\square \)
In addition, using Yau’s result obtained in [20, Cor. 1] we can extend this result to codimension two spacelike submanifolds with non-negative Ricci curvature.
Theorem 16
In a plane fronted wave the only complete codimension two extremal submanifolds with \(\mu \) and \(\nu \) bounded (either from above or below) and whose Ricci curvature verifies \(\mathrm {Ric} \ge 0\) are the wavefronts.
To conclude, we can provide another extension to the non-parabolic case by means of Theorem 7 as follows.
Theorem 17
Let \(\psi : \Sigma ^n \longrightarrow {\overline{M}}^{n+2}\) be a complete, orientable, non-compact extremal submanifold in a plane fronted wave that satisfies the TCC. If \(\mu \) and \(\nu \) are bounded (either from above or below) by \(u_0, v_0 \in {\mathbb {R}}\), respectively, and
then \(\Sigma ^n\) is a wavefront.
Proof
From Theorem 7, we obtain that \(\mu = u_0\). Moreover, if \({\overline{M}}^{n+2}\) satisfies the TCC, [7, Prop.12] guarantees that \(\Sigma ^n\) has non-negative Ricci curvature. Now, using (18) and our assumptions we obtain that \(\nu \) is a bounded harmonic function on a Riemannian manifold with non-negative Ricci curvature. Thus, it is constant by [20, Cor. 1]. \(\square \)
Example 18
A remarkable family of codimension two spacelike submanifolds in a plane fronted wave \({\overline{M}}^{n+2}\) satisfying \(\mu = u_{0}\) are the spacelike graphs introduced in [7, Sec. 4]. Namely, given a smooth function \(h\in C^{\infty }(\Omega )\), where \(\Omega \) is an open domain in \(M^n\) and \(u_0\in {\mathbb {R}}\), the graph
defines a codimension two spacelike submanifold, for any h and \(u_0\).
Note that, as a direct consequence of (18), the mean curvature of the graph \(\Sigma ^n_{u_0}(h)\) is \(\overrightarrow{H}=(\Delta h /n)\,\partial _v\). Clearly, each of these graphs is a wavefront if and only if h is constant. Thus, the assumptions in Theorems 15, 16 and 17 cannot be weakened, since we would easily find counterexamples within this family of spacelike graphs.
References
Abbott, B.P., et al.: Observation of gravitational waves from a binary black hole merger. Phys. Rev. Lett. 116, 1–16 (2016)
Alías, L. J., Caminha, A., do Nascimento, Y.: A maximum principle at infinity with applications to geometric vector fields. J. Math. Anal. Appl. 474, 242–247 (2019)
Alías, L.J., Mastrolia, P., Rigoli, M.: Maximum Principles and Geometric Applications. Springer, Cham (2016)
Beem, J.K., Ehrlich, P.E., Easley, K.L.: Global Lorentzian Geometry, Monographs Textbooks Pure Appl. Math., vol. 202. Dekker Inc., New York (1996)
Brinkmann, H.: Einstein spaces which are mapped conformally on each other. Math. Ann. 94, 119–145 (1925)
Candela, A., Flores, J.L., Sánchez, M.: On general plane fronted waves. Geodesics. Gen. Relativ. Gravit. 4, 631–649 (2003)
Cánovas, V.L., Palomo, F.J., Romero, A.: Mean curvature of spacelike submanifolds in a Brinkmann spacetime. Class. Quantum Gravity 38, 1–18 (2021)
Einstein, A., Rosen, N.: On gravitational waves. J. Franklin Inst. 223, 43–54 (1937)
Flores, J.L., Sánchez, M.: On the geometry of pp-wave type spacetimes. In: Analytical and Numerical Approaches to Mathematical Relativity, Lecture Notes in Phys., vol. 692, pp. 79–98. Springer, Berlin (2006)
Grigor’yan, A.: Analytic and geometric background of recurrence and non-explosion of the Brownian motion on Riemannian manifolds. Bull. Am. Math. Soc. 36, 135–249 (1999)
Huber, A.: On subharmonic functions and differential geometry in the large. Comment. Math. Helv. 32, 13–72 (1958)
Jordan, P., Ehlers, J., Kundt, W.: Republication of: exact solutions of the field equations of the general theory of relativity. Gen. Relativ. Gravit. 41, 2191–2280 (2009)
Kazdan, J.L.: Parabolicity and the Liouville property on complete Riemannian manifolds. Asp. Math. 10, 153–166 (1987)
Kriele, M.: Spacetime: Foundations of General Relativity and Differential Geometry. Springer Science and Business Media, Berlin (1999)
Mars, M., Senovilla, J.M.M.: Trapped surfaces and symmetries. Class. Quantum Gravity 20, L293–L300 (2003)
Pelegrín, J.A.S., Romero, A., Rubio, R.M.: On maximal hypersurfaces in Lorentz manifolds admitting a parallel lightlike vector field. Class. Quantum Gravity 33(055003), 1–8 (2016)
Penrose, R.: Gravitational collapse and space-time singularities. Phys. Rev. Lett. 14, 57 (1965)
Stephani, H., Kramer, D., MacCallum, M., Hoenselaersand, C., Herlt, E.: Exact Solutions of Einstein’s Field Equations. Cambridge University Press, Cambridge (2003)
Velásquez, M.A.L., de Lima, H.F.: Complete spacelike hypersurfaces immersed in pp-wave spacetimes. Gen. Relativ. Gravit. 5241, 1–18 (2020)
Yau, S.T.: Harmonic functions on complete Riemannian manifolds. Commun. Pure Appl. Math. 28, 201–228 (1975)
Acknowledgements
The first author is partially supported by Spanish MICINN project PID2020-118452GB-I00. The last two authors by Spanish MICINN project PID2020-116126GB-I00. The first and the third authors are also supported by Andalusian and ERDF project P20\(_{-}\)01391. Research partially supported by the “María de Maeztu” Excellence Unit IMAG, reference CEX2020-001105-M, funded by MCIN-AEI-10.13039-501100011033. The authors would like to thank the referees for their deep reading and valuable comments.
Funding
Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature. Funding for open access charge: Universidad de Málaga / CBUA
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
Palomo, F.J., Pelegrín, J.A.S. & Romero, A. Rigidity results for complete spacelike submanifolds in plane fronted waves. Rev. Real Acad. Cienc. Exactas Fis. Nat. Ser. A-Mat. 116, 179 (2022). https://doi.org/10.1007/s13398-022-01315-4
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13398-022-01315-4