8 pages, a pdf version of the preprint can also be retrieved from http://www.math.uni-heidelberg.de/studinfo/gerhardt/LM-Volume.pdf v2: A further estimate has been added covering the case when the mean curvature is merely non-negative resp. non-positive (Theorem 1.1)
We prove new estimates for the volume of a Lorentzian manifold and show especially that cosmological spacetimes with crushing singularities have finite volume.
We prove that a four-dimensional Lorentzian manifold that is curvature homogeneous of order 3, or $\CH_3$ for short, is necessarily locally homogeneous. We also exhibit and classify four-dimensional Lorentzian, $\CH_2$ manifolds that are not homogeneous.
We prove that a four-dimensional Lorentzian manifold that is curvature homogeneous of order 3, or CH_3 for short, is necessarily locally homogeneous. We also exhibit and classify four-dimensional Lorentzian, CH_2 manifolds that are not homogeneous. The resulting metrics belong to the class of null electromagnetic radiation, type N solutions on an anti-de Sitter background. These findings prove that the four-dimensional Lorentzian Singer number $k_{1,3}=3$, falsifying some recent conjectures by Gilkey. We also prove that invariant classification for these proper CH_2 solutions requires $\nabla^…
We give a summary of recent results on the explicit local form of the second-order symmetric Lorentzian manifolds in arbitrary dimension, and its global version. These spacetimes turn out to be essentially a specific subclass of plane waves.
In this paper, a survey of the recent results about the classification of the connected holonomy groups of the Lorentzian manifolds is given. A simplification of the construction of the Lorentzian metrics with all possible connected holonomy groups is obtained. As the applications, the Einstein equation, Lorentzian manifolds with parallel and recurrent spinor fields, conformally flat Walker metrics and the classification of 2-symmetric Lorentzian manifolds are considered.
In this paper, we study the invariant and noninvariant hypersurfaces of (1,1,1) almost contact manifolds, Lorentzian almost paracontact manifolds and Lorentzian para-Sasakian manifolds, respectively. We show that a noninvariant hypersurface of an (1,1,1) almost contact manifold admits an almost product structure. We investigate hypersurfaces of affinely cosymplectic and normal (1,1,1) almost contact manifolds. It is proved that a noninvariant hypersurface of a Lorentzian almost paracontact manifold is an almost product metric manifold. Some necessary and sufficient conditions have been given f…
We define a physically reasonable mass for an asymptotically Robertson-Walker (ARW) manifold which is uniquely defined in the case of a normalized representation.
In the present paper we establish area and volume estimates for spacetimes satisfying the strong energy condition in terms of the area and the $L^n$-norm of the second fundamental form or the mean curvature of an initial Cauchy hypersurface. We believe that these estimates will lay some of the groundwork in establishing new convergence results for Cauchy developments $(M_j, g_j)$ of suitably converging initial data $(Σ_j ,h_j ,K_j )$.
We consider 3+1 rotationally symmetric Lorentzian Einstein spacetime manifolds with $Λ>0$ and reduce the equations to 2+1 Einstein equations coupled to `shifted' wave maps. Subsequently, we prove various (explicit) positive mass-energy theorems. No smallness is assumed.
Lorentzian manifolds with vanishing second covariant derivative of the Riemann tensor are studied. Their existence, classification and explicit local expression are considered. Related issues and open questions are briefly commented.
It is explained how to find the de~Rham decomposition of a Riemannian manifold and the Wu decomposition of a Lorentzian manifold. For that it is enough to find parallel symmetric bilinear forms on the manifold, and do some linear algebra. This result will allow to compute the connected holonomy group of an arbitrary Riemannian or Lorentzian manifold.
Third-order symmetric Lorentzian manifolds, i.e. Lorentzian manifold with zero third derivative of the curvature tensor, are classified. These manifolds are exhausted by a special type of pp-waves, they generalize Cahen-Wallach spaces and second-order symmetric Lorentzian spaces.
We study the problem of diagonalization of the metric of 3-dimensional Lorentzian manifold. Applying the technique of moving frames, we prove that every smooth Lorentzian 3-manifold admits an atlas in which the metric assumes a diagonal form.
In this paper we define and study the slant and semi-slant submanifolds of a Lorentzian almost paracontact manifold. Some necessary and sufficient conditions for a submanifold of a Lorentzian almost paracontact manifold to be slant are obtained. We give some examples for the slant and semi-slant submanifolds of a Lorentzian almost paracontact manifold. We also investigate the integrability conditions for the distributions involved in the definition of a semi-slant submanifold when the ambient manifold is a Lorentzian paracosymplectic and a Lorentzian para-Sasakian manifold, respectively.
The maximal analytic Schwarzschild spacetime is manifestly inextendible as a Lorentzian manifold with a twice continuously differentiable metric. In this paper, we prove the stronger statement that it is even inextendible as a Lorentzian manifold with a continuous metric. To capture the obstruction to continuous extensions through the curvature singularity, we introduce the notion of the spacelike diameter of a globally hyperbolic region of a Lorentzian manifold with a merely continuous metric and give a sufficient condition for the spacelike diameter to be finite. The investigation of low-reg…
We give a complete description of semi-symmetric algebraic curvature tensors on a four-dimensional Lorentzian vector space and we use this description to determine all four-dimensional homogeneous semi-symmetric Lorentzian manifolds.
We describe the compact Lorentzian $3$-manifolds admitting a parallel lightlike vector field. The classification of compact Lorentzian $3$-manifolds admitting non-isometric affine diffeomorphisms follows, together with the complete description of these morphisms. Such a Lorentzian manifold is in some sense an equivariant deformation of a flat one.
We prove that the conformal group of a closed, simply connected, real analytic Lorentzian manifold is compact. D'Ambra proved in 1988 that the isometry group of such a manifold is compact. Our result implies the Lorentzian Lichnerowicz Conjecture for real analytic Lorentzian manifolds with finite fundamental group. Third version includes corrections and clarifications, particularly in section 6.
It is shown how one can apply the classification of the holonomy algebras of Lorentzian manifolds to solve some problems. In particular, a new proof to the classification of Lorentzian manifolds with recurrent curvature tensor is given; the classification of two-symmetric Lorentzian manifolds is explained; conformally recurrent Lorentzian manifolds are classified; recurrent symmetric bilinear forms on Lorentzian manifolds are described.
In this paper we study a semi-Riemannian submersion from Lorentzian (para)almost contact manifolds and find necessary and sufficient conditions for the characteristic vector field to be vertical or horizontal. We also obtain decomposition theorems for an anti-invariant semi-Riemannian submersion from Lorentzian (para)Sasakian manifolds onto a Lorentzian manifold.
In the present paper, we prove that no infinite group acts isometrically, effectively, and properly discontinuously on a certain class of Lorentzian manifolds that are not necessarily homogeneous.
The 2-parameter family of certain homogeneous Lorentzian 3-manifolds which includes Minkowski 3-space and anti-de Sitter 3-space is considered. Each homogeneous Lorentzian 3-manifold in the 2-parameter family has a solvable Lie group structure with left invariant metric. A generalized integral representation formula which is the unification of representation formulas for maximal spacelike surfaces in those homogeneous Lorentzian 3-manifolds is obtained. The normal Gauß map of maximal spacelike surfaces in those homogeneous Lorentzian 3-manifolds and its harmonicity are discussed.
In this paper, we give the Cartan's formula for half-lightlike submanifolds of Lorentzian manifolds and use it to show that a screen homothetic half-lightlike submanifolds of a Lorentzian space form, with a conformal co-screen distribution are locally a lightlike triple product manifolds. Then we give a classification theorem for half-lightlike submanifolds of Lorentzian space form with constant screen principal curvatures. These results extend some results obtained in the case of lightlike hypersurfaces of Lorentzian manifolds ([1]).
In this article we develop some elementary aspects of a theory of symmetry in sub-Lorentzian geometry. First of all we construct invariants characterizing isometric classes of sub-Lorentzian contact 3 manifolds. Next we characterize vector fields which generate isometric and conformal symmetries in general sub-Lorentzian manifolds. We then focus attention back to the case where the underlying manifold is a contact 3 manifold and more specifically when the manifold is also a Lie group and the structure is left-invariant.
Recently Y{ü}ksel et. al. \cite{SY} shows that there doesn't exist any proper semi-slant warped product submanifolds in a Lorentzian paracosymplectic manifold. In the present article, we first define and give preparatory lemmas for a new generalize class of semi-slant submanifolds called pointwise semi-slant submanifolds in a Lorentzian paracosymplectic manifold, and then we ensure by presenting some existence results and characterization theorem that there exist a non-trivial pointwise semi-slant warped product submanifolds in a Lorentzian paracosymplectic manifold counter to warped product s…
The b-boundary is a mathematical tool used to attach a topological boundary to incomplete Lorentzian manifolds using a Riemaniann metric called the Schmidt metric on the frame bundle. In this paper, we give the general form of the Schmidt metric in the case of Lorentzian surfaces. Furthermore, we write the Ricci scalar of the Schmidt metric in terms of the Ricci scalar of the Lorentzian manifold and give some examples. Finally, we discuss some applications to general relativity.
We prove that each special Lorentzian holonomy group (with the exception of those including the isotropy groups of Kähler symmetric spaces with rank greater than one) can be realized as the holonomy group of a globally hyperbolic Lorentzian manifold.
Following Geroch, Traschen, Mars and Senovilla, we consider Lorentzian manifolds with distributional curvature tensor. Such manifolds represent spacetimes of general relativity that possibly contain gravitational waves, shock waves, and other singular patterns. We aim here at providing a comprehensive and geometric (i.e., coordinate-free) framework. First, we determine the minimal assumptions required on the metric tensor in order to give a rigorous meaning to the spacetime curvature within the framework of distribution theory. This leads us to a direct derivation of the jump relations associa…
Assuming minimal regularity assumptions on the data, we revisit the classical problem of finding isometric immersions into the Minkowski spacetime for hypersurfaces of a Lorentzian manifold. Our approach encompasses metrics having Sobolev regularity and Riemann curvature defined in the distributional sense, only. It applies to timelike, spacelike, or null hypersurfaces with arbitrary signature that possibly changes from point to point.
The main purpose of this paper is to determine the admissible forms of the sectional curvature operator on a three-dimensional locally homogeneous Lorentzian manifolds.
Given a compact, three-dimensional, real-analytic Lorentzian manifold $(M,g)$, we prove that the identity component of the conformal group preserves a metric in the conformal class $[g]$, or $(M,g)$ is conformally flat.
Several characterizations of umbilic points of submanifolds in arbitrary Riemannian and Lorentzian manifolds are given. As a consequence, we obtain new characterizations of spheres in the Euclidean space and of hyperbolic spaces in the Lorentz-Minkowski space. We also prove the Lorentzian version of a classical result by Cartan.
We study curvature properties of four-dimensional Lorentzian manifold with two-symmetry property. We then consider Einstein-like metrics, Ricci solitons and homogeneity over these spaces.
We classify two-symmetric Lorentzian manifolds using methods of the theory of holonomy groups. These manifolds are exhausted by a special type of pp-waves and, like the symmetric Cahen-Wallach spaces, they have commutative holonomy.
Some results related to the causality of compact Lorentzian manifolds are proven: (1) any compact Lorentzian manifold which admits a timelike conformal vector field is totally vicious, and (2) a compact Lorentzian manifold covered regularly by a globally hyperbolic spacetime admits a timelike closed geodesic, if some natural topological assumptions (fulfilled, for example, if one of the conjugacy classes of deck transformations containing a closed timelike curve is finite) hold. As a consequence, any compact Lorentzian manifold conformal to a static spacetime is geodesically connected by causa…
A Sim(n-1,1) affine manifold is an affine manifold whose linear holonomy is contained in the similarity lorentzian group but not in the lorentzian group. The class of similarity lorentzian affine manifolds is a small part in the nice class of conformally lorentzian flat manifolds. In this paper we show that a compact Sim(n-1,1) affine manifold is incomplete. We characterize the universal cover of radiant compact Sim(n-1,1) affine manifolds whose developing map is injective. Let q be the quadratic form which define the Sim(n-1,1) structure, using riemannian foliation theory, we classify compact…
The local classification of conformally flat Lorentzian manifolds with special holonomy groups is obtained. The corresponding local metrics are certain extensions of Riemannian spaces of constant sectional curvature to Walker metrics.
It is commonly known that in Riemannian and sub-Riemannian Geometry, the metric tensor on a manifold defines a distance function. In Lorentzian Geometry, instead of a distance function it provides causal relations and the Lorentzian time-separation function. Both lead to the definition of the Alexandrov topology, which is linked to the property of strong causality of a space-time. We studied three possible ways to define the Alexandrov topology on sub-Lorentzian manifolds, which usually give different topologies, but agree in the Lorentzian case. We investigated their relationships to each oth…
We show that Lorentzian manifolds whose isometry group is of dimension at least $\frac{1}{2}n(n-1)+1$ are expanding, steady and shrinking Ricci solitons and steady gradient Ricci solitons. This provides examples of complete locally conformally flat and symmetric Lorentzian Ricci solitons which are not rigid.
Let $M^{n+1}_1$ be a light-like geodesically complete Lorentzian $(n+1)$-manifold satisfying the null energy condition. We show that null hypersurfaces properly immersed in $M^{n+1}_1$ are totally geodesic.
In this paper we investigate the problem of non-analytic embeddings of Lorentzian manifolds in Ricci-flat semi-Riemannian spaces. In order to do this, we first review some relevant results in the area, and then motivate both the mathematical and physical interest in this problem. We show that any $n$-dimensional compact Lorentzian manifold $(M^{n},g)$, with $g$ in the Sobolev space $H_{s+3}$, $s>\frac{n}{2}$, admits an isometric embedding in an $(2n+2)$-dimensional Ricci-flat semi-Riemannian manifold. The sharpest result available for this type of embeddings, in the general setting, comes as a…
We describe the structure of $d$-dimensional homogeneous Lorentzian $G$-manifolds $M=G/H$ of a semisimple Lie group $G$. Due to a result by N. Kowalsky, it is sufficient to consider the case when the group $G$ acts properly, that is the stabilizer $H$ is compact. Then any homogeneous space $G/\bar H$ with a smaller group $\bar H \subset H$ admits an invariant Lorentzian metric. A homogeneous manifold $G/H$ with a connected compact stabilizer $H$ is called a minimal admissible manifold if it admits an invariant Lorentzian metric, but no homogeneous $G$-manifold $G/\tilde H$ with a larger connec…
In this paper, we study the fundamental group of a certain class of globally hyperbolic Lorentzian manifolds with a positive curvature tensor. We prove that the fundamental group of lightlike geodesically complete parametrized Lorentzian products is finite under the conditions of a positive curvature tensor and the fiber compact.
We review recent work on the local geometry and optimal regularity of Lorentzian manifolds with bounded curvature. Our main results provide an estimate of the injectivity radius of an observer, and a local canonical foliations by CMC (Constant Mean Curvature) hypersurfaces, together with spatially harmonic coordinates. In contrast with earlier results based on a global bound for derivatives of the curvature, our method requires only a sup-norm bound on the curvature near the given observer.
We show that locally conformally flat quasi-Einstein manifolds are globally conformally equivalent to a space form or locally isometric to a $pp$-wave or a warped product.
We study the weighted ray transform of integrating functions on a Lorentzian manifold over lightlike geodesics. We prove support theorems if the manifold and the weight are analytic.
Locally homogeneous Lorentzian three-manifolds with recurrect curvature are special examples of Walker manifolds, that is, they admit a parallel null vector field. We obtain a full classification of the symmetries of these spaces, with particular regard to symmetries related to their curvature: Ricci and matter collineations, curvature and Weyl collineations. Several results are given for the broader class of three-dimensional Walker manifolds.
The existence of closed hypersurfaces of prescribed scalar curvature in globally hyperbolic Lorentzian manifolds is proved provided there are barriers.
We study pseudo-Riemanniasn manifolds $(M,g)$ with transitive group of conformal transformation which is essential, i.e. does not preserves any metric conformal to $g$. All such manifolds of Lorentz signature with non exact isotropy representation of the stability subalgebra are described. A construction of essential conformally homogeneous manifolds with exact isotropy represenatation is given. Using spinor formalism, we prove that it provides all 4-dimensional non conformally flat Lorentzian 4-dimensional manifolds with transitive essentially conformal group.
I introduce a family of closeness functions between causal Lorentzian geometries of finite volume and arbitrary underlying topology. When points are randomly scattered in a Lorentzian manifold, with uniform density according to the volume element, some information on the topology and metric is encoded in the partial order that the causal structure induces among those points; one can then define closeness between Lorentzian geometries by comparing the sets of probabilities they give for obtaining the same posets. If the density of points is finite, one gets a pseudo-distance, which only compare…
A pp-wave is a Lorentzian manifold with a parallel light-like vector field satisfying a certain curvature condition. We introduce generalisations of pp-waves, on one hand by allowing the vector field to be recurrent and on the other hand by weakening the curvature condition. These generalisations are related to the screen holonomy of the Lorentzian manifold. While pp-waves have a trivial screen holonomy there are no restrictions on the screen holonomy of the manifolds with the weaker curvature condition.
In this paper we study the warped product submanifolds of a Lorentzian paracosymplectic manifold and obtain some nonexistence results. We show that a warped product semi-invariant submanifold in the form {$M=M_{T}\times_{f}M_{\bot}$} of Lorentzian paracosymplectic manifold such that the characteristic vector field is normal to $M$ is an usual Riemannian product manifold where totally geodesic and totally umbilical submanifolds of warped product are invariant and anti-invariant, respectively. We prove that the distributions involved in the definition of a warped product semi-invariant submanifo…
We study the geometry of compact Lorentzian manifolds that admit a somewhere timelike Killing vector field, and whose isometry group has infinitely many connected components. Up to a finite cover, such manifolds are products (or amalgamated products) of a flat Lorentzian torus and a compact Riemannian (resp., lightlike) manifold.
We expound some results about the relationships between the Jacobi operators with respect to null vectors on a Lorentzian $\mathcal{S}$-manifold $M$ and the Jacobi operators with respect to particular spacelike unit vectors on $M$. We study the number of the eigenvalues of such operators in a $ϕ$-null Osserman Lorentzian $\mathcal{S}$-manifold, under suitable assumptions on the dimension of the manifold. Then, we generalize a curvature characterization, previously obtained by the first author for Lorentzian $ϕ$-null Osserman $\mathcal{S}$-manifolds with exactly two characteristic vector fields…