Lecture notes from the mini-course "Topics in Lorentz Geometry" taught at the University of São Paulo, in March/2019. The text has three parts: (i) an overall view of linear algebra in the pseudo-Euclidean space $\mathbb{R}^n_ν$, with focus on Lorentz-Minkowski space and its role in Physics; (ii) a version of the Fundamental Theorem of Curves in 3-dimensional Lorentz-Minkowski space, with adaptations to curves with degenerate osculating plane; (iii) the problem of the diagonalization of the Weingarten map for timelike surfaces, local classification of surfaces with constant Gaussian curvature $K$ and Weierstrass' representation formula in Lorentz-Minkowski space (using split-complex algebra). V2: added references.
A world sheet in Lorentz-Minkowski space is a timelike submanifold consisting of a one-parameter family of spacelike submanifolds in Lorentz-Minkowski space. In this paper we investigate differential geometry of world sheets in Lorentz-Minkowski space as an application of the theory of big wave fronts.
Physical reasons suggested in \cite{Ha-Ha} for the \emph{Quantum Gravity Problem} lead us to study \emph{type-changing metrics} on a manifold. The most interesting cases are \emph{Transverse Riemann-Lorentz Manifolds}. Here we study the conformal geometry of such manifolds.
We prove that there exist global solutions of the twistor equation on the Fefferman spaces of strictly pseudoconvex spin manifolds of arbitrary dimension and we study their properties.
Based on the work of Adams and Stuck as well as on the work of Zeghib, we classify the Lie groups which can act isometrically and locally effectively on Lorentzian manifolds of finite volume. In the case that the corresponding Lie algebra contains a direct summand isomorphic to the two-dimensional special linear algebra or to a twisted Heisenberg algebra, we also describe the geometric structure of the manifolds if they are compact. Using these results, we investigate the local geometry of compact homogeneous Lorentz spaces whose isometry groups have non-compact connected components. It turns …
We review part of the classical theory of curves and surfaces in $3$-dimensional Lorentz-Minkowski space. We focus in spacelike surfaces with constant mean curvature pointing the differences and similarities with the Euclidean space.
We review three examples of functors from Lorentzian categories and their applications in finiteness results, singularity theorems and boundary constructions. The third example is a novel functor from the category of ordered measure spaces to the category of Lorentzian pre-length spaces in the sense of Kunzinger-Sämann.
We show an analogue of the Lorentzian splitting theorem for weighted Lorentz-Finsler manifolds: If a weighted Berwald spacetime of nonnegative weighted Ricci curvature satisfies certain completeness and metrizability conditions and includes a timelike straight line, then it necessarily admits a one-dimensional family of isometric translations generated by the gradient vector field of a Busemann function. Moreover, our formulation in terms of the $ε$-range introduced in our previous work enables us to unify the previously known splitting theorems for weighted Lorentzian manifolds by Case and Wo…
In this paper we study several aspects of the geometry of conformally stationary Lorentz manifolds, and particularly of GRW spaces, due to the presence of a closed conformal vector field. More precisely, we begin by extending to these spaces a result of J. Simons on the minimality of cones in Euclidean space, and apply it to the construction of complete, noncompact maximal submanifolds of both de Sitter and anti-de Sitter spaces. Then we state and prove very general Bernstein-type theorems for spacelike hypersurfaces in conformally stationary Lorentz manifolds, one of which not assuming the hy…
In 1995, S. Adams and G. Stuck as well as A. Zeghib independently provided a classification of non-compact Lie groups which can act isometrically and locally effectively on compact Lorentzian manifolds. In the case that the corresponding Lie algebra contains a direct summand isomorphic to the two-dimensional special linear algebra or to a twisted Heisenberg algebra, Zeghib also described the geometric structure of the manifolds. Using these results, we investigate the local geometry of compact homogeneous Lorentz spaces whose isometry groups have non-compact connected components. It turns out …
Using a navigation process with the datum $(F,V)$, in which $F$ is a Finsler metric and the smooth tangent vector field $V$ satisfies $F(-V(x))>1$ everywhere, a Lorentz Finsler metric $\tilde{F}$ can be induced. Isoparametric functions and isoparametric hypersurfaces with or without involving a smooth measure can be defined for $\tilde{F}$. When the vector field $V$ in the navigation datum is homothetic, we prove the local correspondences between isoparametric functions and isoparametric hypersurfaces before and after this navigation process. Using these correspondences, we provide some exampl…
This is Part II of a series on noncompact isometry groups of Lorentz manifolds. We have introduced in Part I, a compactification of these isometry groups, and called ``bi-polarized'' those Lorentz manifolds having a ``trivial '' compactification. Here we show a geometric rigidity of non-bi-polarized Lorentz manifolds; that is, they are (at least locally) warped products of constant curvature Lorentz manifolds by Riemannian manifolds.
There are three types of hypersurfaces in a pseudoconformal space C^n_1 of Lorentzian signature: spacelike, timelike, and lightlike. These three types of hypersurfaces are considered in parallel. Spacelike hypersurfaces are endowed with a proper conformal structure, and timelike hypersurfaces are endowed with a conformal structure of Lorentzian type. Geometry of these two types of hypersurfaces can be studied in a manner that is similar to that for hypersurfaces of a proper conformal space. Lightlike hypersurfaces are endowed with a degenerate conformal structure. This is the reason that their…
A surface in the Lorentz-Minkowski $3$-space is generally a mixed type surface, namely, it has the lightlike locus. We study local differential geometric properties of such a locus on a mixed type surface. We define a frame field along a lightlike locus, and using it, we define two lightlike ruled surfaces along a lightlike locus which can be regarded as lightlike approximations of the surface along the lightlike locus. We study a relationship of singularities of these lightlike surfaces and differential geometric properties of the lightlike locus. We also consider the intersection curve of tw…
Spacelike Willmore surfaces in 4-dimensional Lorentzian space forms, a topic in Lorentzian conformal geometry which parallels the theory of Willmore surfaces in $S^4$, are studied in this paper. We define two kinds of transforms for such a surface, which produce the so-called left/right polar surfaces and the adjoint surfaces. These new surfaces are again conformal Willmore surfaces. For them holds interesting duality theorem. As an application spacelike Willmore 2-spheres are classified. Finally we construct a family of homogeneous spacelike Willmore tori.
In this note, we construct new examples of Lorentzian Sasaki-Einstein (LSE) metrics on Smale manifolds $M.$ It has already been established in \cite{Gmz2} that such metrics exist on the so-called torsion free Smale manifolds, i.e. the $k$-fold connected sum of $S^{2}\times S^{3}.$ Now, we show that LSE metrics exist on Smale manifolds for which $H_{2}(M,\mathbb{Z})_{tor}$ is nontrivial. In particular, we show that most simply-connected positive Sasakian rational homology 5-spheres are also negative Sasakian (hence Lorentzian Sasaki-Einstein). Moreover, we show that for each pair of positive in…
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 show that Lorentz-Finsler geometry offers a powerful tool in obtaining inequalities. With this aim, we first point out that a series of famous inequalities such as: the (weighted) arithmetic-geometric mean inequality, Aczél's, Popoviciu's and Bellman's inequalities, are all particular cases of a reverse Cauchy-Schwarz, respectively, of a reverse triangle inequality holding in Lorentz-Finsler geometry. Then, we use the same method to prove some completely new inequalities, including two refinements of Aczél's inequality.
The lightlike geometry of codimension two spacelike submanifolds in Lorentz-Minkowski space has been developed in [Izumiya, S. and Romero Fuster, M. C. Selecta Mathematica (NS), 13 23--55 (2007)] which is a natural Lorentzian analogue of the classical Euclidean differential geometry of hypersurfaces. In this paper we investigate a special class of surfaces (i.e., marginally trapped surfaces) in Minkowski space-time from the view point of the lightlike geometry.
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.
The physics of classical particles in a Lorentz-breaking spacetime has numerous features resembling the properties of Finsler geometry. In particular, the Lagrange function plays a role similar to that of a Finsler structure function. A summary is presented of recent results, including new calculable Finsler structures based on Lagrange functions appearing in the Lorentz-violation framework known as the Standard-Model Extension.
We propose a formulation of a Lorentzian quantum geometry based on the framework of causal fermion systems. After giving the general definition of causal fermion systems, we deduce space-time as a topological space with an underlying causal structure. Restricting attention to systems of spin dimension two, we derive the objects of our quantum geometry: the spin space, the tangent space endowed with a Lorentzian metric, connection and curvature. In order to get the correspondence to differential geometry, we construct examples of causal fermion systems by regularizing Dirac sea configurations i…
Bipartite Riemann-Finsler geometries with complementary Finsler structures are constructed. Calculable examples are presented based on a bilinear-form coefficient for explicit Lorentz violation.
Effective field theories with explicit Lorentz violation are intimately linked to Riemann-Finsler geometry. The quadratic single-fermion restriction of the Standard-Model Extension provides a rich source of pseudo-Riemann-Finsler spacetimes and Riemann-Finsler spaces. An example is presented that is constructed from a 1-form coefficient and has Finsler structure complementary to the Randers structure.
For a surface immersed in a three-dimensional space endowed with a norm instead of an inner product, one can define analogous concepts of curvature and metric. With these concepts in mind, various questions immediately appear. The aim of this paper is to propose and answer some of those questions. In this framework we prove several characterizations of minimal surfaces, and analogues of some global theorems (e.g., Hadamard-type theorems) are also derived. A result on the curvature of surfaces of constant Minkowski width is also given. Finally, we study the ambient metric induced on the surface…
The fermionic signature operator is analyzed on globally hyperbolic Lorentzian surfaces. The connection between the spectrum of the fermionic signature operator and geometric properties of the surface is studied. The findings are illustrated by simple examples and counterexamples.
The geometry and topology of complete nonorientable maximal surfaces with lightlike singularities in the Lorentz-Minkowski 3-space are studied. Some topological congruence formulae for surfaces of this kind are obtained. As a consequence, some existence and uniqueness results for maximal Moebius strips and maximal Klein bottles with one end are proved.
We develop the theory of weighted Ricci curvature in a weighted Lorentz-Finsler framework and extend the classical singularity theorems of general relativity. In order to reach this result, we generalize the Jacobi, Riccati and Raychaudhuri equations to weighted Finsler spacetimes and study their implications for the existence of conjugate points along causal geodesics. We also show a weighted Lorentz-Finsler version of the Bonnet-Myers theorem based on a generalized Bishop inequality.
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…
The correspondence between Riemann-Finsler geometries and effective field theories with spin-independent Lorentz violation is explored. We obtain the general quadratic action for effective scalar field theories in any spacetime dimension with Lorentz-violating operators of arbitrary mass dimension. Classical relativistic point-particle lagrangians are derived that reproduce the momentum-velocity and dispersion relations of quantum wave packets. The correspondence to Finsler structures is established, and some properties of the resulting Riemann-Finsler spaces are investigated. The results prov…
For spacelike stationary (i.e. zero mean curvature) surfaces in 4-dimensional Lorentz space one can naturally introduce two Gauss maps and Weierstrass representation. In this paper we investigate their global geometry systematically. The total Gaussian curvature is related with the surface topology as well as the indices of the so-called good singular ends by a generalized Jorge-Meeks formula. On the other hand, as shown by a family of counter-examples to Osserman's theorem, finite total curvature no longer implies that Gauss maps extend to the ends. Interesting examples include the generaliza…
The concept of closed trapped surface is of paramount importance in General Relativity and other gravitational theories. However, it is a purely geometrical object. With the aim of bringing this concept to closer attention by the mathematical community, I introduce the generalized idea of trapped submanifold by using the causal character of the mean curvature vector. Trapped surfaces can thus be easily seen to be generalizations, possible in semi-Riemannian geometry, of the standard concepts of minimal surfaces, maximal hypersurfaces, geodesics, and the like. Selected applications are mentione…
We study proper, isometric actions of nonsolvable discrete groups Gamma on the 3-dimensional Minkowski space R^{2,1} as limits of actions on the 3-dimensional anti-de Sitter space AdS^3. To each such action is associated a deformation of a hyperbolic surface group Gamma_0 inside O(2,1). When Gamma_0 is convex cocompact, we prove that Gamma acts properly on R^{2,1} if and only if this group-level deformation is realized by a deformation of the quotient surface that everywhere contracts distances at a uniform rate. We give two applications in this case. (1) Tameness: A complete flat spacetime is…
We present a definition of null G-structures on Lorentzian manifolds and investigate their geometric properties. This definition includes the Robinson structure on 4-dimensional black holes as well as the null structures that appear in all supersymmetric solutions of supergravity theories. We also identify the induced geometry on some null hypersurfaces and that on the orbit spaces of null geodesic congruences in such Lorentzian manifolds. We give the algebra of diffeomorphisms that preserves a null G-structure and demonstrate that in some cases it interpolates between the BMS algebra of an as…
The optimal transport problem is studied in the context of Lorentz-Finsler geometry. For globally hyperbolic Lorentz-Finsler spacetimes the first Kantorovich problem and the Monge problem are solved. Further the intermediate regularity of the transport paths is studied. These results generalize parts of Bertrand & Puel and Brenier et al.
Consider a smooth manifold $M$ with a smooth cometric $g^{\ast}$ which changes the bilineal type by transverse way, on a hypersurface $D^{\infty}$. Suppose that the radical annihilator hyperplane is tangent to $D^{\infty}$. We examine the geometry of the ($g^{\ast}$-dual) covariant metric $g$ on $M-$ $D^{\infty}$, prove the existence of a canonical (polar-normal) vectorfield whose integral curves are $C^{\infty}-$pregeodesics crossing $D^{\infty}$ transversely for each point, and analyze the curvature behavior using a natural coordinates. Finally we give an approach to the conformal geometry o…
Using global considerations, Mess proved that the moduli space of globally hyperbolic flat Lorentzian structures on $S\times\mathbb{R}$ is the tangent bundle of the Teichmüller space of $S$, if $S$ is a closed surface. One of the goals of this paper is to deepen this surprising occurrence and to make explicit the relation between the Mess parameters and the embedding data of any Cauchy surface. This relation is pointed out by using some specific properties of Codazzi tensors on hyperbolic surfaces. As a by-product we get a new Lorentzian proof of Goldman's celebrated result about the coinciden…
