In the first part of this paper, we give a global description of simply connected maximal Lorentzian surfaces whose group of isometries is of dimension 1 (i.e. with a complete Killing field), in terms of a 1-dimensional generally non-Hausdorff manifold (the space of Killing orbits) and a smooth function defined there. In the second part, we study the completeness of such surfaces and prove in particular that under the hypothesis of bounded curvature, completeness is equivalent to null completeness. We also give completeness criterions involving the topological structure of the space of Killing orbits, or both the topology of this space and the geometry of the surface.
We call a connected Lie group endowed with a left-invariant Lorentzian flat metric Lorentzian flat Lie group. In this Note, we determine all Lorentzian flat Lie groups admitting a timelike left-invariant Killing vector field. We show that these Lie groups are 2-solvable and unimodular and hence geodesically complete. Moreover, we show that a Lorentzian flat Lie group $(\mathrm{G},μ)$ admits a timelike left-invariant Killing vector field if and only if $\mathrm{G}$ admits a left-invariant Riemannian metric which has the same Levi-Civita connection of $μ$. Finally, we give an useful characteriza…
We study the geometry and the periodic geodesics of a compact Lorentzian manifold that has a Killing vector field which is timelike somewhere. Using a compactness argument for subgroups of the isometry group, we prove the existence of one timelike non self-intersecting periodic geodesic. If the Killing vector field is never vanishing, then there are at least two distinct periodic geodesics; as a special case, compact stationary manifolds have at least two periodic timelike geodesics. We also discuss some properties of the topology of such manifolds. In particular, we show that a compact manifo…
We consider three-dimensional Lorentzian metrics that locally admit four independent Killing vectors. Their classification is summarized, and conditions for characterizing them are found. These consist of algebraic classification of the traceless Ricci tensor, and other conditions satisfied by the curvature and its derivative.
We study the geometric structure of Lorentzian spin manifolds, which admit imaginary Killing spinors. The discussion is based on the cone construction and a normal form classification of skew-adjoint operators in signature $(2,n-2)$. Derived geometries include Brinkmann spaces, Lorentzian Einstein-Sasaki spaces and certain warped product structures. Exceptional cases with decomposable holonomy of the cone are possible.
This paper is a survey on special geometric structures that admit conformal Killing spinors based on lectures, given at the ``Workshop on Special Geometric Structures in String Theory'', Bonn, September 2001 and at ESI, Wien, November 2001. We discuss the case of Lorentzian signature and explain which geometries occur up to dimension 6.
In this paper we investigate geodesic completeness of left-invariant Lorentzian metrics on a simple Lie group $G$ when there exists a left-invariant Killing vector field $Z$ on $G$. Among other results, it is proved that if $Z$ is timelike, or $G$ is strongly causal and $Z$ is lightlike, then the metric is complete. We then consider the special complex Lie group $SL_2(\mathbb{C})$ in more details and show that the existence of a lightlike vector field $Z$ on it, implies geodesic completeness. We also consider the existence of a spacelike vector field $Z$ on $SL_2(\mathbb{C})$ and provide an eq…
We prove that the Cauchy problem for parallel null vector fields on smooth Lorentzian manifolds is well posed. The proof is based on the derivation and analysis of suitable hyperbolic evolution equations given in terms of the Ricci tensor and other geometric objects. Moreover, we classify Riemannian manifolds satisfying the constraint conditions for this Cauchy problem. It is then possible to characterise certain holonomy reductions of globally hyperbolic manifolds with parallel null vector in terms of flow equations for Riemannian special holonomy metrics. For exceptional holonomy groups thes…
We study the simply connected inextendable Lorentzian surfaces admitting a Killing vector field. We construct a natural family of such surfaces, that we call "universal extensions". They are characterized by a condition of symmetry, the "reflexivity", and a by a rather weak completeness assumption, the absence of "saddles at infinity". Considering these surfaces as model spaces, we study their minimal quotients, divisible open sets and conjugate points. We show uniformisation results (by an open subset of one of these universal extensions, which is uniquely determined) in the following cases: …
We determine the Killing superalgebras underpinning field theories with rigid unextended supersymmetry on Lorentzian four-manifolds by re-interpreting them as filtered deformations of $\mathbb{Z}$-graded subalgebras with maximum odd dimension of the $N{=}1$ Poincaré superalgebra in four dimensions. Part of this calculation involves computing a Spencer cohomology group which, by analogy with a similar result in eleven dimensions, prescribes a notion of Killing spinor, which we identify with the defining condition for bosonic supersymmetric backgrounds of minimal off-shell supergravity in four d…
We calculate the Spencer cohomology of the $(1,0)$ Poincaré superalgebras in six dimensions: with and without R-symmetry. As the cases of four and eleven dimensions taught us, we may read off from this calculation a Killing spinor equation which allows the determination of which geometries admit rigidly supersymmetric theories in this dimension. We prove that the resulting Killing spinors generate a Lie superalgebra and determine the geometries admitting the maximal number of such Killing spinors. They are divided in two branches. One branch consists of the lorentzian Lie groups with bi-invari…
We calculate the relevant Spencer cohomology of the minimal Poincaré superalgebra in 5 spacetime dimensions and use it to define Killing spinors via a connection on the spinor bundle of a 5-dimensional lorentzian spin manifold. We give a definition of bosonic backgrounds in terms of this data. By imposing constraints on the curvature of the spinor connection, we recover the field equations of minimal (ungauged) 5-dimensional supergravity, but also find a set of field equations for an $\mathfrak{sp}(1)$-valued one-form which we interpret as the bosonic data of a class of rigid supersymmetric th…
We address the problem of finding conditions under which a compact Lorentzian manifold is geodesically complete, a property, which always holds for compact Riemannian manifolds. It is known that a compact Lorentzian manifold is geodesically complete if it is homogeneous, or has constant curvature, or admits a time-like conformal vector field. We consider certain Lorentzian manifolds with Abelian holonomy, which are locally modelled by the so called pp-waves, and which, in general, do not satisfy any of the above conditions. %the condition that their curvature sends vectors that are orthogonal …
Infinitely many new examples of compact Lorentzian surfaces without conjugate points are given. Further, we study the existence and the stability of this property among Lorentzian metrics with a Killing field. We obtain a new obstruction and prove that the Clifton- Pohl torus and some of our examples are as stable as possible. This shows that in constrast with the Riemannian Hopf theorem, the absence of conjugate points in the Lorentzian setting is neither "special" nor rigid.
Given a Lorentzian manifold $(M,g_L)$ and a timelike unitary vector field $E$, we can construct the Riemannian metric $g_R=g_L+2ω\otimesω$, being $ω$ the metrically equivalent one form to $E$. We relate the curvature of both metrics, especially in the case of $E$ being Killing or closed, and we use the relations obtained to give some results about $(M,g_L)$.
We consider compact hypersurfaces in an $(n+1)$-dimensional either Riemannian or Lorentzian space $N^{n+1}$ endowed with a conformal Killing vector field. For such hypersurfaces, we establish an integral formula which, especially in the simpler case when $N=M^n\times R$ is a product space, allows us to derive some interesting consequences in terms of the scalar curvature of the hypersurface. For instance, when $n=2$ and $M^2$ is either the sphere $\mathbb{S}^2$ or the real projective plane $\mathbb{RP}^2$, we characterize the slices of the trivial totally geodesic foliation $M^2\times\{t\}$ as…
It is proved that the holomorphic quadratic differential associated to CMC surfaces in Riemannian products $\mathbb{S}^2\times\Rr$ and $\mathbb{H}^2\times \Rr$ discovered by U. Abresch and H. Rosenberg could be obtained as a linear combination of usual Hopf differentials. Using this fact, we are able to extend it for Lorentzian products. Families of examples of helicoidal CMC surfaces on these spaces are explicitly described. We also present some characterizations of CMC rotationally invariant discs and spheres. Finally, after establish some height and area estimates, we prove the existence of…
We study the twistor equation on pseudo-Riemannian $Spin^c-$manifolds whose solutions we call charged conformal Killing spinors (CCKS). We derive several integrability conditions for the existence of CCKS and study their relations to spinor bilinears. A construction principle for Lorentzian manifolds admitting CCKS with nontrivial charge starting from CR-geometry is presented. We obtain a partial classification result in the Lorentzian case under the additional assumption that the associated Dirac current is normal conformal and complete the Classification of manifolds admitting CCKS in all di…
We examine the existence of one parameter groups of diffeomorphisms whose infinitesimal generators annihilate all scalar polynomial curvature invariants through the application of the Lie derivative, known as $\mathcal{I}$-preserving diffeomorphisms. Such mappings are a generalization of isometries and appear to be related to nil-Killing vector fields, for which the associated Lie derivative of the metric yields a nilpotent rank two tensor. We show that the set of nil-Killing vector fields contains Lie algebras, although the Lie algebras may be infinite and can contain elements which are not $…
We investigate geometric properties of indecomposable but non-irreducible Lorentzian manifolds, which are total spaces of circle bundles. We investigate under which conditions these manifolds are complete and give examples which fulfill the obtained conditions. In particular we investigate the Einstein equation for these spaces yielding examples for complete compact Ricci flat Lorentzian manifolds and manifolds with timelike Killing vector fields. Finally we study their holonomy and obtain in particular complete examples for Lorentzian manifolds with holonomy of so called type 4.
We develop a new framework for the study of generalized Killing spinors, where generalized Killing spinor equations, possibly with constraints, can be formulated equivalently as systems of partial differential equations for a polyform satisfying algebraic relations in the Kähler-Atiyah bundle constructed by quantizing the exterior algebra bundle of the underlying manifold. At the core of this framework lies the characterization, which we develop in detail, of the image of the spinor squaring map of an irreducible Clifford module $Σ$ of real type as a real algebraic variety in the Kähler-Atiyah…
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…
The study of low regularity (in-)extendibility of Lorentzian manifolds is motivated by the question whether a given solution to the Einstein equations can be extended (or is maximal) as a weak solution. In this paper we show that a timelike complete and globally hyperbolic Lorentzian manifold is $C^0$-inextendible. For the proof we make use of the result, recently established by Sämann [17], that even for \emph{continuous} Lorentzian manifolds that are globally hyperbolic, there exists a length-maximizing causal curve between any two causally related points.
Given a Lorentzian manifold $(M,g)$, a geodesic $γ$ in $M$ and a timelike Jacobi field $\mathcal Y$ along $γ$, we introduce a special class of instants along $γ$ that we call $\mathcal Y$-pseudo conjugate (or focal relatively to some initial orthogonal submanifold). We prove that the $\mathcal Y$-pseudo conjugate instants form a finite set, and their number equals the Morse index of (a suitable restriction of) the index form. This gives a Riemannian-like Morse index theorem. As special cases of the theory, we will consider geodesics in stationary and static Lorentzian manifolds, where the Jaco…
The second order differential equation $\frac{D\dotγ}{dt}(t) = F_{γ(t)}(\dotγ(t)) - \nabla V(γ(t))$ on a Lorentzian manifold describes, in particular, the dynamics of particles under the action of a electromagnetic field $F$ and a conservative force $-\nabla V$. We provide a first study on the extendability of its solutions, by imposing some natural assumptions.
Three explicit families of spacelike Zoll surface admitting a Killing field are provided. It allows to prove the existence of spacelike Zoll surface not smoothly conformal to a cover of de Sitter space as well as the existence of Lorentzian Möbius strips of non constant curvature all of whose spacelike geodesics are closed. Further the conformality problem for spacelike Zoll cylinders is studied.
We determine the geometry of supersymmetric heterotic string backgrounds for which all parallel spinors with respect to the connection $\hat\nabla$ with torsion $H$, the NS$\otimes$NS three-form field strength, are Killing. We find that there are two classes of such backgrounds, the null and the timelike. The Killing spinors of the null backgrounds have stability subgroups $K\ltimes\bR^8$ in $Spin(9,1)$, for $K=Spin(7)$, SU(4), $Sp(2)$, $SU(2)\times SU(2)$ and $\{1\}$, and the Killing spinors of the timelike backgrounds have stability subgroups $G_2$, SU(3), SU(2) and $\{1\}$. The former admit…
Recently, a link between Lorentzian and Finslerian Geometries has been carried out, leading to the notion of wind Riemannian structure (WRS), a generalization of Finslerian Randers metrics. Here, we further develop this notion and its applications to spacetimes, by introducing some characterizations and criteria for the completeness of WRS's. As an application, we consider a general class of spacetimes admitting a time function $t$ generated by the flow of a complete Killing vector field (generalized standard stationary spacetimes or, more precisely, SSTK ones) and derive simple criteria ensur…
We study the low-regularity (in-)extendibility of spacetimes within the synthetic-geometric framework of Lorentzian length spaces developed in [KS:17]. To this end, we introduce appropriate notions of geodesics and timelike geodesic completeness and prove a general inextendibility result. Our results shed new light on recent analytic work in this direction and, for the first time, relate low-regularity inextendibility to (synthetic) curvature blow-up.
An answer to the question: Can, in general, the adoption of a given symmetry induce a further symmetry, which might be hidden at a first level? has been attempted in the context of differential geometry of locally homogeneous spaces. Based on E. Cartan's theory of moving frames, a methodology for finding all symmetries for any n dimensional locally homogeneous space is provided. The analysis is applied to 3 dimensional spaces, whereby the embedding of them into a 4 dimensional Lorentzian manifold is examined and special solutions to Einstein's field equations are recovered. The analysis is mai…
The Einstein Equation on 4-dimensional Lorentzian manifolds admitting recurrent null vector fields is discussed. Several examples of a special form are constructed. The holonomy algebras, Petrov types and the Lie algebras of Killing vector fields of the obtained metrics are found.
We prove that a smooth Riemannian manifold admitting an imaginary generalized Killing spinor whose Dirac current satisfies an additional algebraic constraint condition can be embedded as spacelike Cauchy hypersurface in a smooth Lorentzian manifold on which the given spinor extends to a null parallel spinor. This is in contrast to a corresponding Cauchy problem for real generalized Killing spinors into Riemannian manifolds. The construction is based on first order symmetric hyperbolic PDE-methods. In fact, the coupled evolution equations for metric and spinor as considered here extend and gene…
Given a semi-Riemannian $4$-manifold $(M,g)$ with two distinguished vector fields satisfying properties determined by their shear, twist and various Lie bracket relations, a family of Kähler metrics $g_K$ is constructed, defined on an open set in $M$, which coincides with $M$ in many typical examples. Under certain conditions $g$ and $g_K$ share various properties, such as a Killing vector field or a vector field with a geodesic flow. In some cases the Kähler metrics are complete. The Ricci and scalar curvatures of $g_K$ are computed under certain assumptions in terms of data associated to $g$…
We use a construction which we call generalized cylinders to give a new proof of the fundamental theorem of hypersurface theory. It has the advantage of being very simple and the result directly extends to semi-Riemannian manifolds and to embeddings into spaces of constant curvature. We also give a new way to identify spinors for different metrics and to derive the variation formula for the Dirac operator. Moreover, we show that generalized Killing spinors for Codazzi tensors are restrictions of parallel spinors. Finally, we study the space of Lorentzian metrics and give a criterion when two L…
