# Questions tagged [semi-riemannian-geometry]

Manifolds with a non-degenerate symmetric bilinear form in each tangent space varying differentiably but with constant index and signature.

66
questions

5
votes

0
answers

156
views

### A component of Bach tensor

First of all, this question may be more suited for the Math stack exchange site. If anyone finds this question irrelevant here, please feel free to transfer to the relevant site.
Recall that in terms ...

6
votes

1
answer

234
views

### Understanding exterior differential systems

Let $M$ be an $n$-dimensional smooth manifold. An exterior differential system on $M$ is by definition a graded ideal $\mathcal{I}\subset \Omega^{\bullet}(M)$ in the ring $\Omega^{\bullet}(M)$ of ...

4
votes

0
answers

227
views

### Possible obstructions to global Wick-rotation in distinguishing spacetimes

Take the time-orientable $3+1$ dimensional spacetime $(M,g)$ that is locally Wick-rotatable at any arbitrary point $p \in M$ to a Riemannian manifold $(N,h)$.
Local Wick-rotatability of $(M,g)$ ...

1
vote

1
answer

222
views

### How do we calculate the gradient of this function defined using the Riemannian logarithm on a Riemannian manifold?

We consider the following function $\psi$ on an open subset $V\subset M,$ a Riemannian manifold of dimension $m,$ so that $\exp_p:U\to V$ is a diffeomorphism with its inverse $\log_p: V\to U$. Let $v\...

2
votes

2
answers

134
views

### Is any globally-hyperbolic manifold conformally equivalent to one with complete slices?

Let $(M,g)$ be a globally-hyperbolic Lorentzian manifold. By the seminal work of Geroch and Bernal-Sánchez, we know that
$$M=\mathbb{R}\times\Sigma,\,\,\,\quad g=-\beta^{2}dt^{2}+h_{t}$$
where $\Sigma$...

4
votes

1
answer

361
views

### Metric with a constant Chern–Pontryagin scalar

Do there exist 3+1 dimensional spacetimes (i.e. Lorentzian manifolds with signaure (1,3)), for which the Chern–Pontryagin scalar
\begin{equation}
K_2= \epsilon^{\mu\nu\rho\sigma}R^{\alpha}{}_{\beta\mu\...

1
vote

0
answers

97
views

### "Classifying" causally closed sets in Minkowski space

Let $M = \mathbb R^{D+1}$ be Minkowski space. Recall that the causal complement of a set $A \subseteq M$ is the set $A^\perp \subseteq M$ where $p \in A^\perp$ there is no timelike path between $p$ ...

5
votes

1
answer

303
views

### Diagonalization of symmetric matrices of functions

I asked this question some time ago in MSE but I didn't recieved any feedback.
https://math.stackexchange.com/questions/4672664/diagonalization-of-symmetric-matrices-of-functions
This problem arised ...

1
vote

1
answer

247
views

### Transporting a Cauchy foliation of Minkowski space

Consider a spacetime $(\zeta^{3,1},g)$
where $$g=\frac{du\,dv}{uv}-\frac{dr^2}{r^2}-\frac{dw^2}{w^2} \quad \forall u,v,r,w \in (0,1)$$ Now this is just Minkowski space in different coordinates (...

7
votes

1
answer

823
views

### Definition of the conformal metric

On page 16 of this lecture notes and in this lecture, at some point (somewhere at 1:37:45), Rod Gover defined the $\text{conformal metric}$ $\mathbb{g}$ on a conformal manifold $(M, [g])$. He ...

1
vote

0
answers

65
views

### A question on future Cauchy developement

Let us consider the Minkowski spacetime $\mathbb R^{1+2}$ equipped with the metric
$$ \eta(t,x) = -(dt)^2+ (dx^1)^2+(dx^2)^2.$$
Let $\Omega$ be a bounded simply connected domain in $\mathbb R^2$ with ...

5
votes

1
answer

177
views

### Conformal equivalence degenerate metric tensors

Assume that $g$ and $g'$ are metric tensors with one dimensional kernel and the same signature.
Does the classical results of Weyl (dim >3) or of Cotton (dim=3) generalise to that case, i.e. $g$ ...

3
votes

2
answers

424
views

### Properties that only Lorentzian manifolds have

I wonder what are some statements that although they can be formulated for pseudoriemannian manifolds of arbitrary signature they turn out to be true only in the lorentzian case.
I admit things like: &...

5
votes

1
answer

172
views

### Proof of equivalence between Lie triple systems and totally geodesic submanifolds

In a Riemannian symmetric space $Q$, it is well known that the existence of a totally geodesic submanifold at a point $p \in Q$ is equivalent to the existence of a Lie triple system at $p$, i.e., a ...

2
votes

1
answer

216
views

### Gauge groupoid of Lorentz group & complexification

I'm learning about Lie groupoids and was inspired (by Mackenzie's book) to consider the following problem.
Consider first a principal bundle $P\xrightarrow G M$; we can construct the quotient manifold
...

2
votes

0
answers

77
views

### Examples of curvature-adapted subgroups of semi-Riemannian groups

Let $G$ be a semi-Riemannian group, i.e., a Lie group equipped with a bi-invariant semi-Riemannian metric. I am looking for examples of Lie subgroups that are curvature adapted to $G$.
First, allow me ...

1
vote

0
answers

73
views

### Completeness of infinitely intersecting causal geodesics in strongly causal spacetimes

Let $(M,g)$ be a connected, smooth, strongly causal Lorentzian manifold, and consider an inextendible causal geodesic $\sigma : [0,b) \to M$ (a priori, $b$ may be $\infty$) with the following property:...

2
votes

0
answers

47
views

### On certain umbilic surfaces

Let $(M,g)$ be a three dimensional Lorentzian manifold with signature $(-,+,+)$ and let $p\in M$ and let $U$ be a small neighborhood of $p$. Suppose there is a smooth timelike surface $S$ containing $...

1
vote

0
answers

74
views

### Smooth closed Riemannian manifolds with quasi-analytic metrics

I haven't found a reference for this exact definition in the literature so I wonder if what I want to pose here makes sense. I basically want to consider a smooth close Riemannian manifold that ...

3
votes

0
answers

60
views

### Searching for a type of geometric flow in Lorentzian geometry

Let $(N,g)$ be a globally hyperbolic Lorentzian manifold. Given any smooth hypersurface $\Sigma$ in $(N,g)$ we define $\|\Sigma\|= \sup_{p \in N,X \in T_p\Sigma} |h(X,X)|$ where $h$ is the second ...

3
votes

1
answer

191
views

### A question on Levi-Civita connection and a fixed hyper surface

Suppose $(M,g)$ is a three dimensional smooth compact simply connected Riemannian manifold with boundary and suppose that $\Sigma$ is a smooth simply connected hypersurface in $M$ with a smooth ...

4
votes

1
answer

234
views

### A question on null geodesics in Lorentzian geometry

Suppose that $(M,g)$ is a smooth Lorentzian manifold, that $I\subset \mathbb R$ is a closed finite interval and that $\gamma: I \to M$ is a smooth null geodesic on $M$, that is to say, it satisfies
$$ ...

3
votes

1
answer

228
views

### A question on light cones in Lorentzian manifolds with timelike boundary

Suppose $M= \mathbb R \times M_0$ with a Lorentzian metric $g(t,x)=-dt^2+ g_0(t,x)$ where
$M_0$ is a compact manifold with a smooth boundary and $g_0$ is a family of smooth Riemannian metrics on $M_0$ ...

4
votes

0
answers

139
views

### Examples of indefinite Einstein non-Ricci-flat metric on solvmanifolds

A solvmanifold (resp. nilmanifold) is a compact quotient of a solvable (risp. nilpotent) Lie group $G$. Usually one consider a co-compact lactice $\Gamma$ on $G$ and the solvmanifold is $G/\Gamma$. ...

1
vote

0
answers

324
views

### Conformal changes of metric and Ricci curvature

Let $(M,g)$ be a three dimensional smooth Lorentzian manifold and let $p$ be a fixed point in $M$ and let $S$ be a smooth symmetric tensor of rank two on $T_pM\times T_pM$. Does there exist a smooth ...

1
vote

1
answer

251
views

### On intersection of null geodesics

Let us consider a globally hyperbolic Lorentzian manifold $(M,g)$ with empty cut locus. Suppose that
$p$ is a point in $M$ and consider $C^-(p)$ to be the past null cone in $M$ emanating from the ...

1
vote

1
answer

156
views

### Smoothness of conformal transformations

Given a smooth pseudo-Riemannian manifold $(M,g)$ one can define the conformal group as the set of smooth diffeomorphisms $\varphi:M\to M$ such that there is a positive smooth function $u$ with $\...

2
votes

3
answers

488
views

### Usage/Application of Raychaudhuri equation in Riemann geometry or pure maths

While going through this paper by Witten and seeing a discussion about different aspects of Raychaudhari Equation and Einstein Field Equation. I want to ask if Raychaudhari Equation find any ...

4
votes

3
answers

3k
views

### Is it possible to do calculus and differential geometry the old school way, without any ortho frames or axis? [closed]

Edit : (I didn't intend this as an insult or a debate discussing which way is best or better for what, I'm just asking a question for my interest and I believe in the interest of science, at least for ...

0
votes

1
answer

110
views

### Globally hyperbolic spacetimes and future Cauchy developement

Let $(M,g)$ be a globally hyperbolic Lorentzian spacetime with a non-compact Cauchy hypersurface $S \subset M$. Let $ \Omega \Subset S$ be an open subset. Is it true that the future Cauchy development ...

3
votes

0
answers

118
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 ...

2
votes

0
answers

78
views

### Analogous $H^1$-space for pseudo inner products

Perhaps this is a naive question but I could not find anything related to this.
Imagine we are on a bounded and regular open subset $\Omega$ of $\mathbb{R}^3_1$, i.e, $\mathbb{R}^4$ is considered ...

2
votes

2
answers

225
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, ...

0
votes

0
answers

188
views

### Can the Lie derivative of a Riemannian metric be expressed in terms of the Lie derivative of a Lorentzian metric?

On a Lorentzian manifold with metric (M,g) with a vanishing Euler-Poincare characteristic, there exists a line element vector X which has a collinear vector u (Manifold Theory: An introduction for ...

3
votes

0
answers

321
views

### Maximal symmetry at the speed of light

Are there examples of 1 + 3 dimensional pseudo-Riemannian manifolds with 6 dimensional isometry group whose orbits are light-like (i.e., the metric restricted to each orbit is degenerate)?
Here is a (...

3
votes

1
answer

149
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 ...

7
votes

0
answers

245
views

### Completeness is a conformal invariant

In this article about completeness of semi-riemannian manifolds the author writes (in section 2.2) that it is unkown if the following statement holds:
A compact indefinite manifold which is conformal ...

2
votes

1
answer

306
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 ...

2
votes

0
answers

293
views

### Compatibility of Kirillov-Kostant-Souriau form and Killing form

Let $\mathfrak{g}$ be a real semisimple Lie algebra. We know that a coadjoint orbit $\mathcal{O} \hookrightarrow \mathfrak{g}^*$ carries a natural symplectic form $\omega$, namely the Kirillov-Kostant-...

5
votes

0
answers

126
views

### Compact, incomplete semi-Riemannian manifold of constant curvature

In the Riemannian setting, Hopf-Rinow tells us that any compact Riemannian manifold is complete. The Clifton-Pohl torus gives a counter example for indefinite metrics.
However, in the Lorentz setting,...

0
votes

0
answers

66
views

### What is the meaning and role of global hyperbolicity condition for semi-Riemannian manifolds

What is the heuristic meaning of the global hyperbolicity condition for semi-Riemannian manifolds?
Also what is the role of this condition in the study of geodesic connectedness?

0
votes

0
answers

139
views

### (Semi-)Riemannian geometry for working PDE analysts

What is a good reference on (semi-)Riemannian geometry written for PDE analysts (that is, with main focus on analytical problems and approaches)?
The closest thing I know to this, are two books by ...

0
votes

1
answer

117
views

### Analytic approach to geodesic connectedness in Semi-Riemannian manifolds

Can you point out a reference (or references) that deal with analytical methods (rather than methods from differential geometry) for the study of geodesic connectedness on Semi-Riemannian manifolds?

1
vote

0
answers

186
views

### Surjectivity of Pseudo-Riemannian exponential map on geodesically complete manifolds

Suppose one has a geodesically complete pseudo-Riemannian manifold $M$ i.e. the exponential map is defined for all tangent vectors on the manifold. Can one make a sensible statement about whether (or ...

19
votes

1
answer

444
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 ...

4
votes

0
answers

105
views

### Positive and non-negative sectional curvature of semi-riemannian metrics

I am currently studying the techniques related to geometry of positive and non-negative sectional curvature of Riemannian metrics. In particular, I have done some work with Cheeger deformations. I ...

3
votes

1
answer

281
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 ...

2
votes

0
answers

186
views

### Reference for connection of a Hessian metric

Let $(M,\langle \cdot,\cdot\rangle)$ be a pseudo-Riemannian manifold and $f: M \to \Bbb R$ be a smooth function. One can consider the covariant Hessian $\nabla ({\rm d}f)$. Some time ago I had seen a ...

3
votes

0
answers

162
views

### Parallel frame for marginally trapped bi-harmonic surfaces in $\Bbb R^4_2$

I'm reading the paper Classification of marginally trapped Lorentzian flat surfaces in $\mathbb{E}^4_2$ and its applications to biharmonic surfaces by B. Y. Chen.
Summarizing it quickly: he first ...

6
votes

2
answers

193
views

### Why are they called "screen" distributions?

If $V$ is a vector space and $g$ is a symmetric degenerate bilinear form on $V$, every complementary subspace to the radical ${\rm rad}(V)$ is called a "screen subspace" of $V$: we have an orthogonal ...