Alma L. Albujer,Jónatan Herrera,Rafael M. Rubio
Abstract:The aim of this manuscript is to obtain rigidity and non-existence results for parabolic spacelike submanifolds with causal mean curvature vector field in orthogonally splitted spacetimes, and in particular, in globally hyperbolic spacetimes. We also obtain results regarding the geometry of submanifolds by ensuring, under some mild hypothesis, the non-existence of local minima or maxima of certain distinguished function. Furthermore, in this last case the submanifold does not need to be parabolic or even complete.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is about the rigidity and non - existence results of spacelike submanifolds of the causal mean curvature vector in orthogonally split spacetimes, especially in globally hyperbolic spacetimes. Specifically, the paper focuses on:
1. **Rigidity Theorem**: Study the geometric properties of spacelike submanifolds with causal mean curvature vectors under certain assumptions, especially whether these submanifolds satisfy specific rigidity conditions. For example, under some mild assumptions, prove that these submanifolds do not have local minima or maxima.
2. **Non - Existence Results**: Explore whether certain types of spacelike submanifolds (such as totally trapped submanifolds) exist under specific conditions. In particular, the paper proves that in some cases, these submanifolds cannot exist.
3. **Application to General Relativity**: Through the above - mentioned theoretical results, the paper further explores the properties of trapped surfaces in various spacetime backgrounds. Trapped surfaces have wide applications in general relativity, such as in the study of singularity theorems, gravitational collapse, and black hole formation.
### Main Contributions
- **Extension of Existing Results**: The results of the paper not only cover the known results in standard static spacetimes and generalized Robertson - Walker spacetimes, but also generalize some previous work.
- **New Rigidity and Non - Existence Theorems**: Provide new rigidity and non - existence theorems about spacelike submanifolds, especially in globally hyperbolic spacetimes.
- **Application Examples**: Demonstrate the application of these theoretical results in actual physical problems through specific examples, such as the existence and shape characteristics of trapped surfaces.
### Mathematical Background
The paper uses several concepts and techniques in differential geometry and Lorentzian geometry, including:
- **Orthogonally Split Spacetime**: Defined as a spacetime that can be represented as \(I\times F\), where \(I\) is an open interval and \(F\) is a smooth manifold.
- **Spacelike Submanifold**: A submanifold embedded in a Lorentzian manifold, whose induced metric is a Riemannian metric.
- **Causal Mean Curvature Vector**: The mean curvature vector of the submanifold is timelike and points to the future (or past).
### Formula Examples
Some of the key formulas involved in the paper include:
- **Laplace Operator**:
\[
\Delta\tau=-g(\nabla\tau,\nabla(\ln\beta))-\frac{1}{\beta}\left(-g(\partial_t,\vec{H})+\frac{1}{2}\text{tr}(\xi)-\frac{1}{2}\partial_t(\ln\beta)\sinh^2(\theta)\right)
\]
- **Quasi - Isometric Condition**:
\[
c^{-1}g_1(v,v)\leq g_2(d\phi(v),d\phi(v))\leq cg_1(v,v)
\]
These formulas play a crucial role in deriving the main results, ensuring the theoretical basis and the rigor of the conclusions of the paper.