Questions tagged [lorentzian-geometry]

Lorentzian geometry is the geometry of Minkowski spacetime, hence essentially of a Euclidean space, but equipped not with the standard Euclidean Riemannian metric of signature $(+,+,+,…,+)$ (which yields Euclidean geometry) but with the pseudo-Riemannian metric of signature $(−,+,+,…,+).$

Filter by
Sorted by
Tagged with
1
vote
0answers
27 views

conformal changes to Lorentzian curvature

Let $(M,g)$ be a Lorentzian manifold and let $R$ be the curvature tensor. We say $R\leq 0$ if $$ g(R(X,Y)Y,X) \leq 0\quad \forall \, X,Y \in TM.$$ My question is whether given a Lorentzian manifold $...
3
votes
0answers
59 views

Lorentzian manifolds of negative spacelike sectional curvature

Suppose $(M,g)$ is a simply connected Lorentzian manifold of signature $(-,+,\ldots,+)$ and such that the sectional curvature of any space-like surface is non-positive. Is it true that there are no ...
0
votes
0answers
16 views

Distance function and Hessian in Lorentzian geometries with positive curvature

Suppose $(M,g)$ is a Lorentzian manifold with signature $(-,+,\ldots,+)$ and a positive curvature. Let $p \in M$. Let $U$ be a sufficiently small neighborhood of $p$ in the exterior of the double null ...
2
votes
1answer
60 views

Lower bound for domain of exponential map on Lorentzian manifolds

Let $M$ denote a manifold admitting a Lorentzian metric $g_{ab}$. Essentially, I would like to know the "minimum domain" on which the exponential map is defined at $p\in M$. To make this concrete, ...
6
votes
1answer
230 views

Fourier transform on Minkowski space

Physicists Some people like to define the "Fourier transform" on Minkowski space as $\hat f(\xi) = \int e^{i \eta(x,\xi)} f(x) dx$, where $\eta(x,\xi)$ is the Minkowski form. I'm used to thinking of ...
0
votes
0answers
84 views

A Riemannian manifold with a non-degenerate metric and an inner product $u_{\beta} u^{\beta}=1$

The question is: given a Riemannian manifold with a non-degenerate metric g and an inner product $u_{\beta}u^{\beta}=1$, is $\nabla_{\mu} (u_{\alpha}u_{\beta})=0$ without demanding the trivial ...
0
votes
0answers
106 views

Is it possible for null geodesics to suddenly “stop”?

Suppose $(M,g)$ is a smooth globally hyperbolic Lorentzian manifold of dimension $n$. Let $\beta:I \to M$ be a finite null geodesic in $M$, that is to say: $$ \nabla^g_{\dot{\beta}}\dot{\beta} = 0, \...
16
votes
2answers
928 views

What's the “actual” shape of a black hole accretion disk?

[Warning: I have no expertise in general relativity, so this question might not be very rigorous] More and more often we come across science popularization articles like this one which show beautiful ...
4
votes
1answer
143 views

Literature Request: Berger Spheres and their Construction

In a previous question by me I asked about Berger spheres and their Lorentzian analogue, squashed $AdS_3$ along Hopf fibres. It was well answered (by https://mathoverflow.net/users/13268/ben-mckay) ...
2
votes
1answer
309 views

Definition of twisted geometries and existence of coordinate transformation for twisted $AdS_2 \times S^2$

In the paper Multiply Twisted Products by Yong Wang, general definitions for so called warped and twisted products are given: A (singly) warped product $B \times_b F$ of two pseudo-Riemannian ...
2
votes
1answer
192 views

Explanation for “Squashing” and “Stretching” (Lorentzian Analogue of Berger Spheres)

In the paper Anti-de Sitter space, squashed and stretched Bengtsson and Sandin introduce the Lorentzian analogue of the squashed 3-sphere. After looking up Berger spheres, it seems what is meant with "...
3
votes
2answers
392 views

Transformation Poincaré-coordinates to global coordinates in $\mathrm{AdS}_2$

For the two dimensional anti de-sitter space $\mathrm{AdS}_2$ one can consider the Poincaré-coordinates $\mathrm{d}s^2_P = -r^2 \mathrm{d}t^2 + \frac{1}{r^2} \mathrm{d}r^2$ which covers only half of ...
0
votes
2answers
185 views

Example of a Lorentz-invariant probability measure?

What is an example of a Lorentz-invariant probability measure on Minkowski space other than the delta measure at the origin? Euclidean-invariance is easy to attain: the uniform measure on a ball does ...
12
votes
1answer
268 views

Do (3+1)-dimensional Lorentzian manifolds admit unique smoothings?

Of course, 3-dimensional topological manifolds admit unique smoothings while 4-dimensional topological manifolds generally do not. A (3+1)-dimensional topological Lorentzian manifold (definition below)...
3
votes
1answer
64 views

Existence of transverse null vector bundle in a degenerate Lorentzian hypersurface

This question is cross-posted at https://math.stackexchange.com/questions/3234895/existence-of-transverse-null-vector-bundle Let $(M,g)$ be a Lorentzian manifold. Let $\dim(M)=d$. Given a null ...
3
votes
1answer
100 views

maximal surface, parametric approach

I am interesting in maximal surfaces: space-like surface in Minkowsky $\mathbb{R}^{2,1}$ (or De Sitter $dS^3$). Of course space-like implies locally graph and almost all the literature is interested ...
3
votes
0answers
194 views

Harmonic maps into de Sitter Space

I am looking some references on the existence and non-existence of (space-like) harmonic maps solving the Dirichlet into the de-Sitter space. More precisely: Let, for $n\geq 3$, $$dS^n=\{ u\in \...
2
votes
1answer
139 views

$(M,g)$ is complete iff $(\tilde{M},\tilde{g})$ is complete (non-Riemannian version)

I'm not sure if this question is too low level for Math Overflow (so feel free to move this to SE if you think it is). Inspired by this and this question I'm wondering if the following statement is ...
1
vote
0answers
98 views

Are there Lorentzian complex manifolds?

Quick and simple... Is it possible to define complex structures on Lorentzian manifolds? If so, Can you point me to some example(s)?
5
votes
1answer
92 views

Decomposition of a Jacobi field along a lightlike geodesic

Consider a Lorentzian manifold of dimension $1+n$ (with $n\geq1$) and a lightlike geodesic $\gamma(t)$ on it. One can define a Jacobi field $J(t)$ along $\gamma$ in the usual way without issues. In ...
13
votes
0answers
252 views

Lorentzian analogue to Thurston geometries

Is there an analogue to the eight Thurston geometries for Lorentz metrics? If so, how many "disctinct" geometries are there in the Lorentzian case? And which closed 3-manifolds admit metrics which ...
9
votes
1answer
380 views

Is the set of Lorentzian metrics metrizable?

Fix a differentiable non-compact manifold $M$. Denote by $\mathrm{Lor}(M) := \{\text{Lorentzian metrics on $M$}\}.$ One can define a topology on this set via: fix any open covering $\mathcal{A}$ on $M$...
3
votes
1answer
214 views

Closed Semi-Riemannian manifolds with non-compact isometry group

Does anyone know a good reference for general results about closed Semi-Riemannian manifolds which have a non-compact isometry group? Edit: My goal is to understand a bit better what the intuition ...
4
votes
1answer
297 views

Canonical Metrics on 3- and 4-Manifolds

From the Uniformization Theorem, it is known that every conformal class of metrics on a genus-$g$ Riemann surface with $n$ boundaries/punctures, subject to the condition $2g+n\ge 3$, contains a unique ...
1
vote
0answers
66 views

Support of functions on Minkowski space and their Fourier transform

Suppose that a tempered distribution $f(x)$ on 4-dimensional Minkowski space with signature $+---$ vanishes for $x^2<0$ and its Fourier transform $\hat f(p)$ vanishes for $p^2<0$. Are then $f$ ...
2
votes
1answer
78 views

Find the fixed geodesic of an orientation-preserving isometry of the $3D$ hyperboloid model

Let $\mathcal{I}^3\subset\mathbb{R}^4$ be the standard hyperboloid model for hyperbolic $3$-space and consider the usual $\mathrm{SO}(3,1)$ action of $\mathrm{PSL}(2,\mathbb{C})$ on $\mathcal{I}^3$. ...
3
votes
0answers
154 views

Distributional PDE solutions as topological linear duals of PDE solutions

Let $$ P \;\colon\; \Gamma_\Sigma(E) \to \Gamma_\Sigma(\tilde E^\ast) $$ be a formally self-adjoint hyperbolic linear differential operator ($\tilde E^\ast$ denotes the densitized dual of a ...
2
votes
0answers
62 views

Continuous dependence on initial data for (null) geodesics in Lorentzian manifolds

I'm looking for a reference for the following theorem: Theorem Let $\mathcal M$ be a smooth manifold with smooth Lorentzian metric $g$. Let $p$ and $q$ be two points on the same (causal) geodesic, ...
6
votes
1answer
318 views

On the topology induced by a Lorentzian metric

Let $(M,g)$ be a time-oriented smooth Lorentzian manifold, with Lorentzian metric $g$. In the following thread: https://physics.stackexchange.com/questions/228669/why-pseudo-riemannian-metric-cannot-...
8
votes
2answers
325 views

On the causal structure of spacetimes: piecewise $C^1$, $C^k$ or $C^\infty$?

This is a more technical question but it seems that there is some confusion in the literature on the choice of curves used to define the causal relations in time-oriented Lorentz manifolds: the ...
2
votes
3answers
444 views

Tensor Field Decomposition in Space time

For vector fields in $R^3$ one knows that there exists a unique decomposition of vector fields in to solenoidal (divergence free) and potential parts. A generalization of this Theorem for symmetric ...
3
votes
0answers
92 views

Conformal Transformations that are Ricci Positive Invariant

Is there any known class of conformal transformations $\phi : M \to M$ of a riemannian/semi-riemanian manifold $(M,g)$ that have the property: $g$ is ricci-positive iff $\phi^* g$ ricci positive? ...
1
vote
1answer
252 views

Induced connection on null hypersurfaces

I will use a local coordinate formalism here, since this is related to research in general relativity, and my supervisor only tolerates local coordinate formalisms. Plus the research papers I base my ...
4
votes
1answer
283 views

Decay estimates for wave and Klein-Gordon equation in “generic” curved backgrounds

Consider a $d$-dimensional smooth Lorentzian manifold $(M,g)$ (we assume $d\geq 3$, $M$ to be Hausdorff, paracompact and connected, hence second-countable, and that the signature convention of $g$ is $...
3
votes
1answer
188 views

Reference for Bonnet Fundamental theorem of surfaces in Lorentzian spaces

I am looking for a reference for the following folklore theorem, which is the Lorentzian analogue of the Bonnet fundamental theorem of surface in Euclidean space, hyperbolic space or $3$d sphere. ...
1
vote
0answers
71 views

Smoothness of the twistor space of a lorentzian manifold, or “convexity wrt null geodesics”

Null lines in Minkowski space form a 5-dimensional manifold, represented as a (real) quadric $\mathbf{PN}\subset\mathbb{C}\mathbf{P}^3$. This is a well-known fact, on which R. Penrose’s twistor ...
6
votes
0answers
435 views

Time-separation function on “globally hyperbolic” spacetimes with everywhere timelike boundary

It is well-known that, in globally hyperbolic spacetimes, the time separation function $\tau$ (aka Lorentzian distance function) enjoys the following property: fix a point $p$ and a point $q \in I^-(p)...
2
votes
1answer
322 views

Number of connected components of the isometry group of a simply-connected lorentzian manifold

Let $(M,g)$ be a finite-dimensional connected lorentzian manifold. Then the group $G$ of isometries of $M$ (i.e., the group of diffeomorphisms $\varphi : M \to M$ with $\varphi^* g = g$) is a Lie ...