We study sub-Riemannian and sub-Lorentzian geometry on the Lie group $\SU(1,1)$ and on its universal cover $\CSU(1,1)$. In the sub-Riemannian case we find the distance function and completely describe sub-Riemannian geodesics on both $\SU(1,1)$ and $\CSU(1,1)$, connecting two fixed points. In particular, we prove that there is a strong connection between the conjugate loci and the number of geodesics. In the sub-Lorentzian case, we describe the geodesics connecting two points on $\CSU(1,1)$, and compare them with Lorentzian ones. It turns out that the reachable sets for Lorentzian and sub-Lorentzian normal geodesics intersect but are not included one to the other. A description of the timelike future is obtained and compared in the Lorentzian and sub-Lorentzain cases.
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.
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.
In this paper we define and analyze singularities of discrete linear Weingarten surfaces with Weierstrass-type representations in $3$-dimensional Riemannian and Lorentzian spaceforms. In particular, we discuss singularities of discrete surfaces with non-zero constant Gaussian curvature, and parallel surfaces of discrete minimal and maximal surfaces, and discrete constant mean curvature $1$ surfaces in de Sitter $3$-space, including comparisons with different previously known definitions of such singularities.
In this work, we are interested in a non symmetric homogeneous space, namely $SO(2m)/Sp(m)$. We show that this space admits a structure of $Z_2^2$-symmetric space. We describe all the non degenerated metrics and classify the Riemannian and Lorentzian ones.
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.
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 establish the submaximal symmetry dimension for Riemannian and Lorentzian conformal structures. The proof is based on enumerating all subalgebras of orthogonal Lie algebras of sufficiently large dimension and verifying if they stabilize a non-zero Weyl tensor up to scale. Our main technical tools include Dynkin's classification of maximal subalgebras in complex simple Lie algebras, a theorem of Mostow, and Kostant's Bott-Borel-Weil theorem.
We obtain Harnack estimates for a class of curvature flows in Riemannian manifolds of constant non-negative sectional curvature as well as in the Lorentzian Minkowski and de Sitter spaces. Furthermore, we prove a Harnack estimate with a bonus term for mean curvature flow in locally symmetric Riemannian Einstein manifold of non-negative sectional curvature. Using a concept of "duality" for strictly convex hypersurfaces, we also obtain a new type of inequalities, so-called "pseudo"-Harnack inequalities, for expanding flows in the sphere and in the hyperbolic space.
We consider Lie groups equipped with a left-invariant cyclic Lorentzian metric. As in the Riemannian case, in terms of homogeneous structures, such metrics can be considered as different as possible from bi-invariant metrics. We show that several results concerning cyclic Riemannian metrics do not extend to their Lorentzian analogues, and obtain a full classification of three- and four-dimensional cyclic Lorentzian metrics.
On a smooth $n$-manifold $M$ with $n \geq 3$, we study pairs $(g,T)$ consisting of a Riemannian metric $g$ and a unit length closed vector field $T$. Motivated by how Ricci solitons generalize Einstein metrics via a distinguished vector field, we propose to generalize space forms by considering those pairs $(g,T)$ whose corresponding Lorentzian metric $g_{\scriptscriptstyle L} = g - 2T^{\flat} \otimes T^{\flat}$ has constant curvature. We show by examples that such pairs exist when $M$ is noncompact, and that complete metrics exist among them. When $M$ is compact, however, the situation is mor…
The notion of $Γ$-symmetric space is a natural generalization of the classical notion of symmetric space based on $\z_2$-grading of Lie algebras. In our case, we consider homogeneous spaces $G/H$ such that the Lie algebra $\g$ of $G$ admits a $Γ$-grading where $Γ$ is a finite abelian group. In this work we study Riemannian metrics and Lorentzian metrics on the Heisenberg group $\mathbb{H}_3$ adapted to the symmetries of a $Γ$-symmetric structure on $\mathbb{H}_3$. We prove that the classification of $\z_2^2$-symmetric Riemannian and Lorentzian metrics on $\mathbb{H}_3$ corresponds to the class…
The strong maximum principle is proved to hold for weak (in the sense of support functions) sub- and super-solutions to a class of quasi-linear elliptic equations that includes the mean curvature equation for $C^0$ spacelike hypersurfaces in a Lorentzian manifold. As one application a Lorentzian warped product splitting theorem is given.
It is known that all left-invariant pseudo-Riemannian metrics on $H_3$ are algebraic Ricci solitons. We consider generalizations of Riemannian $H$-type, namely pseudo$H$-type and $pH$-type. We study algebraic Ricci solitons of left-invariant Lorentzian metrics on 2-step nilpotent Lie groups of both types.
The paper is devoted to metric connections with parallel skew-symmetric torsion in Lorentzian signature. This is motivated by recent progress in the Riemannian signature and by possible applications to supergravity theories. We provide a complete information about holonomy algebras, torsion and curvature of the considered connections up to the corresponding objects from the Riemannian signature. Various examples are constructed. It is shown how to construct all simply connected Lorentzian naturally reductive homogeneous spaces of arbitrary dimension from Riemannian naturally reductive homogene…
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…
A parallel lightlike vector field on a Lorentzian manifold $X$ naturally defines a foliation $\mathcal{F}$ of codimension one. If either all leaves of $\mathcal{F}$ are compact or $X$ itself is compact admitting a compact leaf and the (transverse) Ricci curvature is non-negative then a Bochner type argument implies that the first Betti number of $X$ is bounded by $1 \leq b_{1} \leq \dim X$ if $X$ is compact and $0 \leq b_{1} \leq \dim X -1$ otherwise. We show that these bounds are optimal and depending on the holonomy of $X$ we obtain further results. Finally, we classify the holonomy represen…
We give a spinorial characterization of isometrically immersed surfaces of arbitrary signature into 3-dimensional pseudo-Riemannian space forms. For Lorentzian surfaces, this generalizes a recent work of the first author in $\mathbb{R}^{2,1}$ to other Lorentzian space forms. We also characterize immersions of Riemannian surfaces in these spaces. From this we can deduce analogous results for timelike immersions of Lorentzian surfaces in space forms of corresponding signature, as well as for spacelike and timelike immersions of surfaces of signature (0,2), hence achieving a complete spinorial de…
Sub-Riemannian Geometry is proved to play an important role in many applications, e.g., Mathematical Physics and Control Theory. The simplest example of sub-Riemannian structure is provided by the 3-D Heisenberg group. Sub-Riemannian Geometry enjoys major differences from the Riemannian being a generalisation of the latter at the same time, e.g., geodesics are not unique and may be singular, the Hausdorff dimension is larger than the manifold topological dimension. There exists a large amount of literature developing sub-Riemannian Geometry. However, very few is known about its natural extensi…
Given a null hypersurface $L$ of a Lorentzian manifold, we construct a Riemannian metric $\widetilde{g}$ on it from a fixed transverse vector field $ζ$. We study the relationship between the ambient Lorentzian manifold, the Riemannian manifold $(L,\widetilde{g})$ and the vector field $ζ$. As an application, we prove some new results on null hypersurfaces, as well as known ones, using Riemannian techniques.
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 call the Lie algebra of a Lie group with a left invariant pseudo-Riemannian flat metric pseudo-Riemannian flat Lie algebra. We give a new proof of a classical result of Milnor on Riemannian flat Lie algebras. We reduce the study of Lorentzian flat Lie algebras to those with trivial center or those with degenerate center. We show that the double extension process can be used to construct all Lorentzian flat Lie algebras with degenerate center generalizing a result of Aubert-Medina on Lorentzian flat nilpotent Lie algebras. Finally, we give the list of Lorentzian flat Lie algebras with degene…
We give some properties of semi-symmetric pseudo-Riemannian manifolds. These are foliated manifolds and for the Lorentzian metric, the Ricci operator has only real eigenvalues.
We investigate under which assumptions an orientable pseudo-Riemannian geodesic foliations by circles is generated by an $S^1$-action. We construct examples showing that, contrary to the Riemannian case, it is not always true. However, we prove that such an action always exists when the foliation does not contain lightlike leaves, i.e. a pseudo-Riemannian Wadsley's Theorem. As an application, we show that every Lorentzian surface all of whose spacelike/timelike geodesics are closed, is finitely covered by $S^1\times \R$. It follows that every Lorentzian surface contains a non-closed geodesic.
We prove several geometric theorems using tools from the theory of convex optimization. In the Riemannian setting, we prove the max flow-min cut theorem for boundary regions, applied recently to develop a "bit-thread" interpretation of holographic entanglement entropies. We also prove various properties of the max flow and min cut, including respective nesting properties. In the Lorentzian setting, we prove the analogous min flow-max cut theorem, which states that the volume of a maximal slice equals the flux of a minimal flow, where a flow is defined as a divergenceless timelike vector field …
The notion of $Γ$-symmetric space is a natural generalization of the classical notion of symmetric space based on $\Z_2$-grading of Lie algebras. In our case, we consider homogeneous spaces $G/H$ such that the Lie algebra $\g$ of $G$ admits a $Γ$-grading where $Γ$ is a finite abelian group. In this work we study Riemannian metrics and Lorentzian metrics on the Heisenberg group $\mathbb{H}_3$ adapted to the symmetries of a $Γ$-symmetric structure on $\mathbb{H}_3$. We prove that the classification of $\z$-symmetric Riemannian and Lorentzian metrics on $\mathbb{H}_3$ corresponds to the classific…
In this paper, we introduce the notion of a quasi-biharmonic submanifold in a pseudo-Riemannian manifold and classify quasi-biharmonic marginally trapped Lagrangian surfaces in Lorentzian complex space forms.
In previous papers, a fundamental affine method for studying homogeneous geodesics was developed. Using this method and elementary differential topology it was proved that any homogeneous affine manifold and in particular any homogeneous pseudo-Riemannian manifold admits a homogeneous geodesic through arbitrary point. In the present paper this affine method is refined and adapted to the pseudo-Riemannian case. Using this method and elementary topology it is proved that any homogeneous Lorentzian manifold of even dimension admits a light-like homogeneous geodesic. The method is illustrated in d…
The main result of this paper is that a Lorentzian manifold is locally conformally equivalent to a manifold with recurrent lightlike vector field and totally isotropic Ricci tensor if and only if its conformal tractor holonomy admits a 2-dimensional totally isotropic invariant subspace. Furthermore, for semi-Riemannian manifolds of arbitrary signature we prove that the conformal holonomy algebra of a $C$-space is a Berger algebra. For Ricci-flat spaces we show how the conformal holonomy can be obtained by the holonomy of the ambient metric and get results for Riemannian manifolds and plane wav…
The Oscillator Groups,$\G_λ,$ are the only solvable, non commutative, simply connected Lie groups to admit a Lorentzian bi-invariant metric. For these groups, we give sufficient conditions for a left-invariant pseudo-Riemannian metric to be complete, we determine the group of isometries, we exhibit a left-invariant affine structure and prove that it is not Lorentzian. As an application, we provide new examples of compact pseudo-Riemannian (sometimes Lorentzian) locally symmetric, occasionally affine, manifolds, complete or incomplete.
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…
Helfer in [Pacific J. Math. 164/2 (1994), p. 321--350] was the first to produce an example of a spacelike Lorentzian geodesic with a continuum of conjugate points. In this paper we show the following result: given an interval $[a,b]$ of $IR$ and any closed subset $F$ of $IR$ contained in $]a,b]$, then there exists a Lorentzian manifold $(M,g)$ and a spacelike geodesic $γ:[a,b]\to M$ such that $γ(t)$ is conjugate to $γ(a)$ along $γ$ iff $t\in F$.
The harmonic oscillator as a distinguished dynamical system can be defined not only on the Euclidean plane but also on the sphere and on the hyperbolic plane, and more generally on any configuration space with constant curvature and with a metric of any signature, either Riemannian (definite positive) or Lorentzian (indefinite). In this paper we study the main properties of these `curved' harmonic oscillators simultaneously on any such configuration space, using a Cayley-Klein (CK) type approach, with two free parameters $\ki, \kii$ which altogether correspond to the possible values for curvat…
In this work we study riemannian metrics on flag manifolds adapted to the symmetries of these homogeneous nonsymmetric spaces. We first introduce the notion of riemannian $Γ$-symmetric space when $Γ$ is a general abelian finite group, the symmetric case corresponding to $Γ=\Z_2$. We describe and study all the riemannian metrics on $SO(2n+1)/SO(r_1)\times SO(r_2)\times SO(r_3)\times SO(2n+1-r_1-r_2-r_3)$ for which the symmetries are isometries. We consider also the lorentzian case and give an example of a lorentzian homogeneous space which is not a symmetric space.
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 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.
This paper provides a study of algebraic Ricci solitons in the pseudo-Riemannian case. In the Riemannian case, all nontrivial homogeneous algebraic Ricci solitons are expanding algebraic Ricci solitons. In this paper, we obtain a steady algebraic Ricci soliton and a shrinking algebraic Ricci soliton in the Lorentzian setting.
In this paper we establish new Calabi-Bernstein results for maximal surfaces immersed into a Lorentzian product space of the form $M^2\times\mathbb{R}_1$, where $M^2$ is a connected Riemannian surface and $M^2\times\mathbb{R}_1$ is endowed with the Lorentzian metric $<,>=<,>_{M}-dt^2$. In particular, when $M$ is a Riemannian surface with non-negative Gaussian curvature $K_M$, we prove that any complete maximal surface in $M^2\times\mathbb{R}_1$ must be totally geodesic. Besides, if $M$ is non-flat we conclude that it must be a slice $M\times\{t_0\}$, $t_0\in\mathbb{R}$ (here by "complete" it i…
Lorentzian versions of classical Riemannian volume comparison theorems by Gunther, Bishop and Bishop-Gromov, are stated for suitable natural subsets of general semi-Riemannian manifolds. The problem is more subtle in the Bishop-Gromov case, which is extensively discussed. For the general semi-Riemannian case, a local version of the Gunther and Bishop theorems is given and applied.
We prove an extension of the Index Theorem for Morse-Sturm systems of the form $-V''+RV=0$, where R is symmetric with respect to a (non positive) symmetric bilinear form, and thus the corresponding differential operator is not self-adjoint. The result is then applied to the case of a Jacobi equation along a geodesic in a Lorentzian manifold, obtaining an extension of the Morse Index Theorem for Lorentzian geodesics with variable initial endpoints. Given a Lorentzian manifold (M,g), we consider a geodesic $γ$ in M starting orthogonally to a smooth submanifold P of M. Under suitable hypotheses, …
Recently, the old notion of causal boundary for a spacetime V has been redefined in a consistent way. The computation of this boundary $\partial V$ for a standard conformally stationary spacetime V = R x M, suggests a natural compactification $M_B$ associated to any Riemannian metric on M or, more generally, to any Finslerian one. The corresponding boundary $\partial_B M$ is constructed in terms of Busemann-type functions. Roughly, $\partial_B M$ represents the set of all the directions in M including both, asymptotic and "finite" (or "incomplete") directions. This Busemann boundary $\partial_…
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 …
Extended recurrent pseudo-Riemannian manifolds were introduced by Mileva Prvanovic'. We reconsider her work in the light of recent results and show that the manifold is conformally flat, and it is a space of quasi-constant curvature. We also show that an extended recurrent Lorentzian manifold, with time-like associated covector, is a perfect fluid Robertson-Walker space-time. We obtain the equation of state; in n = 4 and if the scalar curvature is zero, a model for incoherent radiation is obtained.
