Index theory for Lorentzian Dirac operators is a young subject with significant differences to elliptic index theory. It is based on microlocal analysis instead of standard elliptic theory and one of the main features is that a nontrivial index is caused by topologically nontrivial dynamics rather than nontrivial topology of the base manifold. In this paper we establish a local index formula for Lorentzian Dirac-type operators on globally hyperbolic spacetimes. This local formula implies an index theorem for general Dirac-type operators on spatially compact spacetimes with Atiyah-Patodi-Singer boundary conditions on Cauchy hypersurfaces. This is significantly more general than the previously known theorems that require the compatibility of the connection with Clifford multiplication and the spatial Dirac operator on the Cauchy hypersurface to be selfadjoint with respect to a positive definite inner product.
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…
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 …
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…
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.
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.
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.
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…
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.
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 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 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.
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…
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…
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.
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.
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 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.
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…
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…
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 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 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.
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.
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.
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 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 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.
Degree of mobility of a (pseudo-Riemannian) metric is the dimension of the space of metrics geodesically equivalent to it. We describe all possible values of the degree of mobility on a simply connected n-dimensional manifold of lorentz signature. As an application we calculate all possible differences between the dimension of the projective and the isometry groups. One of the main new technical results in the proof is the description of all parallel symmetric (0,2)-tensor fields on cone manifolds of signature $(n-1,2).
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.
This paper investigates the relationship between algebraic quantum field theories and factorization algebras on globally hyperbolic Lorentzian manifolds. Functorial constructions that map between these two types of theories in both directions are developed under certain natural hypotheses, including suitable variants of the local constancy and descent axioms. The main result is an equivalence theorem between (Cauchy constant and additive) algebraic quantum field theories and (Cauchy constant, additive and time-orderable) prefactorization algebras.
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 transversely Lorentzian foliations on the closed 3-manifolds. We classify them under a completeness hypothesis and we deduce the dual classification of codimension 1 geodesically complete timelike totally geodesic foliations. Besides we provide an example of a Lorentzian foliation on a compact 3-manifold which is equicontinuous on a proper dense open subset of the manifold, and hence not transversely complete.
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.
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.
