2nd-order symmetric Lorentzian manifolds I: characterization and general results
José M. M. Senovilla
备注：
23 pages (in cqg format), no figures, one small table. Final corrections, references updated, proof of Corollary 3.1 improved, acknowledgements expanded. Version to be published in CQG
The n-dimensional Lorentzian manifolds with vanishing second covariant derivative of the Riemann tensor (2-symmetric spacetimes) are characterized and classified. The main result is that either they are locally symmetric or they have a covariantly constant null vector field, in this case defining a subfamily of Brinkmann's class in n dimensions. Related issues and applications are considered, and new open questions presented.
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…
The notion of relativistic observer is confronted with Naveira's classification of (pseudo-)Riemannian almost-product structures on space-time manifolds. Some physical properties and their geometrical counterparts are shortly discussed.
We develop area and volume comparison theorems for the evolution of spacelike, acausal, causally complete hypersurfaces in Lorentzian manifolds, where one has a lower bound on the Ricci tensor along timelike curves, and an upper bound on the mean curvature of the hypersurface. Using these results, we give a new proof of Hawking's singularity theorem.
We define and study a new kind of relation between two diffeomorphic Lorentzian manifolds called {\em causal relation}, which is any diffeomorphism characterized by mapping every causal vector of the first manifold onto a causal vector of the second. We perform a thorough study of the mathematical properties of causal relations and prove in particular that two given Lorentzian manifolds (say $V$ and $W$) may be causally related only in one direction (say from $V$ to $W$, but not from $W$ to $V$). This leads us to the concept of causally equivalent (or {\em isocausal} in short) Lorentzian manif…
Conditions for the existence of Kähler-Einstein metrics and central Kähler metrics [MS] along with examples, both old and new, are given on classes of Lorentzian $4$-manifolds with two distinguished vector fields. The results utilize the general construction [AM] of Kähler metrics on such manifolds. The examples include both complete and incomplete metrics, and some reside on Lie groups associated to four types of Lie algebras. An appendix includes a similar construction for scalar-flat Kähler metrics.
On a Lorentzian manifold the existence of a parallel null vector field implies certain constraint conditions on the induced Riemannian geometry of a space-like hypersurface. We will derive these constraint conditions and, conversely, show that every real analytic Riemannian manifold satisfying the constraint conditions can be extended to a Lorentzian manifold with a parallel null vector field. Similarly, every parallel null spinor on a Lorentzian manifold induces an imaginary generalised Killing spinor on a space-like hypersurface. Then, based on the fact that a parallel spinor field induces a…
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.
A Lorentzian manifold is defined here as a smooth pseudo-Riemannian manifold with a metric tensor of signature ((2n +1, 1)). A Robinson manifold is a Lorentzian manifold (M) of dimension (\geqslant 4) with a subbundle (N) of the complexification of (TM) such that the fibers of (N\to M) are maximal totally null (isotropic) and ([\Sec N, \Sec N]\subset \Sec N). Robinson manifolds are close analogs of the proper Riemannian, Hermite manifolds. In dimension 4, they correspond to space-times of general relativity, foliated by a family of null geodesics without shear. Such space-times, introduced in …
We consider an asymptotically flat Lorentzian manifold of dimension (1,3). An inequality is derived which bounds the Riemannian curvature tensor in terms of the ADM energy in the general case with second fundamental form. The inequality quantifies in which sense the Lorentzian manifold becomes flat in the limit when the ADM energy tends to zero.
The holonomy algebra $\g$ of an indecomposable Lorentzian (n+2)-dimensional manifold $M$ is a weakly-irreducible subalgebra of the Lorentzian algebra $\so_{1,n+1}$. L. Berard Bergery and A. Ikemakhen divided weakly-irreducible not irreducible subalgebras into 4 types and associated with each such subalgebra $\g$ a subalgebra $\h\subset \so_n$ of the orthogonal Lie algebra. We give a description of the spaces $\R(\g)$ of the curvature tensors for algebras of each type in terms of the space $¶(\h)$ of $\h$-valued 1-forms on $\Real^n$ that satisfy the Bianchi identity and reduce the classificatio…
Causal properties of Lorentzian symmetric spaces are investigated in the paper. The global hyperbolicity of the Cahen--Wallach Lorentzian symmetric spaces is proved.
We construct bosonic and fermionic locally covariant quantum field theories on curved backgrounds for large classes of fields. We investigate the quantum field and n-point functions induced by suitable states.
The eigenvalue problem for the square integrable solutions is studied usually for elliptic equations. In this note we consider such a problem for the hyperbolic Klein-Gordon equation on Lorentzian manifolds. The investigation could help to answer the question why elementary particles have a discrete mass spectrum. An infinite family of square integrable solutions for the Klein-Gordon equation on the Friedman type manifolds is constructed. These solutions have a discrete mass spectrum and a finite action. In particular the solutions on de Sitter space are investigated.
Lorentzian manifolds with parallel spinors are important objects of study in several branches of geometry, analysis and mathematical physics. Their Cauchy problem has recently been discussed by Baum, Leistner and Lischewski, who proved that the problem locally has a unique solution up to diffeomorphisms, provided that the intial data given on a space-like hypersurface satisfy some constraint equations. In this article we provide a method to solve these constraint equations. In particular, any curve (resp. closed curve) in the moduli space of Riemannian metrics on $M$ with a parallel spinor giv…
Holonomy algebras of Lorentzian Weyl spin manifolds with weighted parallel spinors are found. For Lorentzian Weyl manifolds admitting recurrent null vector fields are introduced special local coordinates similar to Kundt and Walker ones. Using that, the local form of all Lorentzian Weyl spin manifolds with weighted parallel spinors is given. The Einstein-Weyl equation for the obtained Weyl structures is analyzed and examples of Einstein-Weyl spaces with weighted parallel spinors are given.
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.
We survey the correct definition of a generalized Dirac operator on a Space--Time and the classical result about propagation of singularities. This says that light travels along light--like geodesics. Finally we show this is also true for generalized Dirac operators.
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…
On a time-oriented Lorentzian manifold $(M,g)$ with non-empty boundary satisfying a convexity assumption, we show that the topological, differentiable, and conformal structure of suitable subsets $S\subset M$ of sources is uniquely determined by measurements of the intersection of future light cones from points in $S$ with a fixed open subset of the boundary of $M$; here, light rays are reflected at $\partial M$ according to Snell's law. Our proof is constructive, and allows for interior conjugate points as well as multiply reflected and self-intersecting light cones.
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 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.
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.
We define a conformal reference frame, i.e., a special projection of the six-dimensional sky bundle of a Lorentzian manifold (or the five-dimensional twistor space) to a three-dimensional manifold. We construct an example, a conformal compactification, for Minkowski space. Based on the complex structure on the skies, we define the celestial transform of Lorentzian vectors, a kind of spinor correspondence. We express a 1-form generating the contact structure explicitly as a (line bundle)-valued form. We prove a theorem on the projection of this 1-form to the fiberwise normal bundle of a referen…
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.
We prove new estimates for the volume of a Lorentzian manifold and show especially that cosmological spacetimes with crushing singularities have finite volume.
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.
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.
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…
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.
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.
Motivated by the application to spacetimes of general relativity we investigate the geometry and regularity of Lorentzian manifolds under certain curvature and volume bounds. We establish several injectivity radius estimates at a point or on the past null cone of a point. Our estimates are entirely local and geometric, and are formulated via a reference Riemannian metric that we canonically associate with a given observer $(p,T)$ --where $p$ is a point of the manifold and $T$ is a future-oriented time-like unit vector prescribed at $p$. The proofs are based on a generalization of arguments fro…
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…
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.
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.
