# Questions tagged [semi-riemannian-geometry]

It is the study of smooth manifolds equipped with a non-degenerate metric tensor, not necessarily positive-definite (and hence a generalisation of [riemannian-geometry]). Included in this are metric tensors with index 1, called "Lorentzian", which are used to model spacetimes in (general-relativity).

220 questions
489 views
+200

18 views

### Unit normal vector field on Lorentzian manifold

Following situation: Let $(M,g)$ be a globally hyperbolic spacetime, $S \subset M$ Cauchy hypersurface with unit normal vector field $n$, $\Sigma \subset S$ compact 2-dim. submanifold with unit ...
24 views

### Complete is equivalent to Misner-complete for Riemannian manifolds.

I'm trying to prove that, if $M$ is a smooth Riemannian manifold, then completeness of $M$ is equivalent to Misner-completeness. A pesudo-Riemannian (or semi-Riemannian) manifold $M$ is Misner-...
32 views

### Local coordinates on Lorentzian manifold

Let $(M,g)$ be a globally hyperbolic spacetime, $S \subset M$ Cauchy hypersurface with unit normal vector field $n$, $\Sigma \subset S$ compact 2-dim. submanifold with unit normal vector field $\nu$. ...
24 views

### Metric on Lorentzian manifold

Since the signature of a Lorentzian manifold (M,g) is (-,+,+,+), am I right to assume that the determinant of $g_{ij}$ with EACH coordinate system is $-1$?
47 views

### Critical values of exponential function

Let $(M,g)$ be a globally hyperbolic spacetime, $S \subset M$ Cauchy hypersurface with unit normal vector field $n$, $\Sigma \subset S$ compact 2-dim. submanifold with unit normal vector field $\nu$. ...
23 views

19 views

33 views

94 views

### Klein bottle with constant curvature is flat

A torus (equipped with a Riemannian or Lorentzian metric) which has constant curvature must be flat because of Gauss-Bonnet theorem. Is it true that a Klein bottle (equipped with a Riemannian or ...
75 views

### Isometry group of a lorentzian metric which preserves a Riemannian metric

I'm wondering if it is possible for the isometry group of a Lorentzian metric to preserve a Riemannian metric. So if $(M,g)$ is a Lorentz manifold and $Iso(M,g)$ its isometry group, I ask myself if ...
280 views

### (Strong) causality condition

I'm studying the causality in Lorentz Manifold with the book "Semi-Riemann Geometry", B.O'Neill. I have the followig problem: He says that, picked a subset A of a Lorentzian Manifold M, the causality ...
11 views

### A question concerning boundaries of semi-Riemannian manifolds

I am reading a proof and one line says "As $M$ has no boundary..." . To the best of my knowledge, all we know about $M$ is that it is a compact semi-Riemannian manifold with constant (sectional) ...
61 views

### Computing induced metric of semi Riemannian manifold

We have the ambient space $\mathbb{R}^{n+1}$ with the metric $ds^2 = -dx_0^2+dx_1^2+...+dx_n^2$ and the submanifold $M = \{ x\in\mathbb{R}^{n+1} | -x_0^2+x_1^2+...+x_n^2=1\}$. I would like to compute ...
43 views

### Canonical projections for $\mathbb{H}^2_1$ and $\mathbb{S}^2_1$

We know that there exists a canonical projection $\pi:\mathbb{S}^2\to\mathbb{R}\mathbb{P}^2$. Are there similar transformations for hyperbolic plane $\mathbb{H}^2_1$ or pseudosphere $\mathbb{S}^2_1$ ...
40 views

### Shape operator of pseudo-spheres

In the following, I will refer by O'Neil to Barrett O'Neil's book Semi-Riemannian Geometry With Applications to Relativiy. Consider the $M=\{ x \in \mathbb{R}^n_s | f(x)=r^2\}$ with $f(x)=g_s(x,x)$ ...
Consider a manifold $M$ with a morse function $t$. For the regular points, $t^{-1}(c)$ are embeddings, and the homotopy changes as one jumps from one regular point to another. But, my question is: ...