Skip to main content

All Questions

Filter by
Sorted by
Tagged with
4 votes
1 answer
547 views

Question on Lorentzian geometry

I apologize in advance if this is a too basic question. Let $(M,g)$ be a Lorentzian manifold with signature convention $(-,+,\dots,+)$. Now, lets suppose $X\in\Gamma(TM)$ defines a global time-...
B.Hueber's user avatar
  • 1,171
2 votes
1 answer
83 views

Causality of Killing vector fields in a Lorentzian Ricci flat spacetime

In a connected Lorentzian spacetime that is Ricci flat and also nice (say smooth, global hyperbolic, etc), can a global Killing vector field be null in an open subset and timelike (or spacelike) in ...
Sean's user avatar
  • 169
1 vote
0 answers
117 views

Question on globally hyperbolic manifolds and coordinates

Consider a globally hyperbolic Lorentzian manifold $(M,g)$. Then, a well-known result of Bernal-Sánchez (see Theorem 1.1 in arXiv:gr-qc/0401112) states that it can globally be written as $$M=\mathbb{R}...
B.Hueber's user avatar
  • 1,171
1 vote
0 answers
170 views

Order isomorphism + manifold homeomorphism => path topology homeomorphism?

Suppose time-oriented spacetimes $(M_1 , g_1)$ and $(M_2, g_2)$ are homeomorphic under their manifold topologies $\mathcal{M}_1$ and $\mathcal{M}_2$ respectively. Let's call this map $\phi: (M_1, \...
Bastam Tajik's user avatar
1 vote
1 answer
361 views

Can the Causal Structure recover the manifold topology for non-chronological spacetimes?

Given a time-oriented spacetime $(M,g)$, a binary relation $\ll$ can be defined on this spacetime where $p \ll q$ for $p, q \in M$ if and only if there exists a time-like path connecting $p$ and $q$. ...
Bastam Tajik's user avatar
3 votes
1 answer
367 views

Topology and local isometry, spinning cosmic string

Suppose one is given the spacetime $(M,g)$ where $M$ is a fixed differentiable manifold and $g$ is a Lorentzian metric whose local expression is: $$g= -(dt + a \, d \phi)^2 + d\rho^2 + \kappa^2 \rho^2 ...
Bastam Tajik's user avatar
2 votes
0 answers
98 views

Question on Cauchy problem on manifolds

Let $(M,g)$ be a globally-hyperbolic manifold, i.e. $M=\mathbb{R}\times\Sigma$ and $g=-\beta^2 \, dt^2+h_{t}$. Furthermore, let $E$ be a vector bundle over $M$ and $\square$ a normally-hyperbolic ...
B.Hueber's user avatar
  • 1,171
1 vote
0 answers
99 views

How causal is a strongly causal purely electric spacetime?

Take a generic Lorentzian spacetime $(M, g)$ where $M$ is a time-oriented 4d manifold and $g$ is the Lorentzian metric that is strongly causal and purely electric. According to this answer: Is every ...
Bastam Tajik's user avatar
2 votes
2 answers
148 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$...
G. Blaickner's user avatar
  • 1,429
3 votes
0 answers
786 views

Is this set a manifold?

Take a general spacetime that is not strongly causal. Call this spacetime $(M, g) $ where $M$ is a connected time-oriented manifold and $g$ is the Lorentzian metric that satisfies the Einstein's Field ...
Bastam Tajik's user avatar
0 votes
1 answer
525 views

Non-diffeomorphic but homeomorphic (under Lorentzian topology) Lorentzian manifolds

$\newcommand{\lorentzian}{\mathrm{lorentzian}}\newcommand{\lorentzian}{\mathrm{lorentzian}}\newcommand{\diff}{\mathrm{diff}}\newcommand{\manifold}{\mathrm{manifold}}$Take a time-oriented Lorentzian ...
Bastam Tajik's user avatar
4 votes
1 answer
377 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\...
Michał Jan's user avatar
2 votes
3 answers
285 views

Let $M$ be a manifold with a conformal structure and a volume measure. How can one reconstruct a metric on $M$ from this data in a geometric way?

Let $(M,g)$ be a (semi-)Riemannian manifold, and let $(M,[g])$ be the conformal class thereof. The following two sets are naturally torsors for the collection of positive-valued functions on $M$: The ...
Tim Campion's user avatar
  • 63.9k
14 votes
2 answers
447 views

Synthetic differential / conformal geometry of Lorentzian manifolds?

Let $M$ be a sufficiently nice Lorentzian manifold of dimension $\geq 3$. It's known [1] (see also [2]) that the differential and even conformal structure of $M$ is completely encoded in the causal ...
Tim Campion's user avatar
  • 63.9k
1 vote
1 answer
254 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 (...
John McManus's user avatar
5 votes
0 answers
164 views

Intersection of orbits of earthquake flow on Teichmüller space

Let $\Sigma$ be a closed oriented surface of genus $g\geq2$. We consider $\mu$ and $\nu$ two filling measured laminations on $\Sigma$. (We say that $\mu$ and $\nu$ fill $\Sigma$ if $\Sigma\setminus(\...
Atlas Tasilli's user avatar
1 vote
1 answer
206 views

Decomposition of tensor field on hypersurface

Let $(\mathcal{M},g)$ be a Lorentzian manifold, which is globally of the form $\mathcal{M}\cong I\times\Sigma$, where $I\subset\mathbb{R}$ ("time") and $\Sigma$ ("space") is some $...
B.Hueber's user avatar
  • 1,171
2 votes
0 answers
109 views

Further directions in representations of surface group into a Lie group

$\DeclareMathOperator\SL{SL}\DeclareMathOperator\PSL{PSL}$I studied the interpretation of Teichmuller space as a representation space for surface groups in $\PSL(2,\mathbb{R})$. Now I am planning to ...
user avatar
5 votes
1 answer
247 views

Space of spacelike embeddings as infinite-dimensional manifold

Consider a four-dimensional Lorentzian manifold $(\mathcal{M},g)$ and a $3$-dimensional compact manifold $\Sigma$, such that there exists a spacelike embedding $i:\Sigma\to\mathcal{M}$ so that $h:=i^{\...
G. Blaickner's user avatar
  • 1,429
5 votes
0 answers
218 views

$C^1$ isometries of pseudo-Riemannian metrics are smooth?

It is well known that $C^1$ (actually even just differentiable) isometries of Riemannian manifolds are actually $C^\infty$. The proof is based on the metric structure generated by the Riemannian ...
mitsutani's user avatar
3 votes
1 answer
240 views

Minimize the area of a maximal surface in R^{2,1} with boundary on the unit sphere

Let $\mathrm{H}$ be the unit sphere in the Minkowski space $\mathbb{R}^{2,1}$ (i.e., a one-sheeted hyperboloid $x_1^2+x_2^2=x_3^2+1$). Assume that $\gamma\subset \mathrm{H}$ is a closed space-like ...
Dmitry Chelkak's user avatar
1 vote
0 answers
66 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 ...
Ali's user avatar
  • 4,145
4 votes
0 answers
81 views

Pseudometrics on world lines

Consider the space $W$ of smooth time-like curves in $\mathbb{R}^{n,1}$ with fixed ends. Given $\gamma\in W$, consider the space $T_\gamma$ of all smooth normal fields along $\gamma$; one may think ...
aglearner's user avatar
  • 14.3k
5 votes
0 answers
142 views

Einstein metrics on spheres

We know that a closed oriented manifold $M$ carries a Lorentzian metric iff the Euler characteristic vanishes. My question concerns the existence of those Lorentzian metrics on odd-dimensional spheres ...
Julian Seipel's user avatar
7 votes
2 answers
282 views

In which dimensions is a strongly causal Lorentzian manifold determined conformally by its causal structure?

Let $M$ be a strongly causal Lorentzian manifold. If $M$ has dimension 4, a theorem of Hawking, King, and McCarthy (see Thm 5) says that $M$ is determined up to conformal isomorphism by its class of ...
Tim Campion's user avatar
  • 63.9k
2 votes
0 answers
48 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 $...
Ali's user avatar
  • 4,145
5 votes
0 answers
293 views

Complete Lorentz metric on (compact) manifolds

Let $M$ be a smooth manifold that is either compact with $\chi(M)=0$ or that is non-compact. Then we can equip $M$ with a Lorentzian metric $g$. Can we always equip $M$ with a complete Lorentzian ...
Adam Chalumeau's user avatar
3 votes
0 answers
61 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 ...
Ali's user avatar
  • 4,145
3 votes
1 answer
195 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 ...
Ali's user avatar
  • 4,145
4 votes
1 answer
248 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 $$ ...
Ali's user avatar
  • 4,145
2 votes
1 answer
166 views

Hyperboloids in Minkowski geometry

Let $(\mathbb R^{1+2},\eta)$ be Minkowski with the metric $\eta= -dt^2+(dx^1)^2+(dx^2)^2$. Suppose $\Sigma$ is a smooth timelike hypersurface and denote by $h$ the second fundamental form on $\Sigma$. ...
Ali's user avatar
  • 4,145
3 votes
1 answer
239 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$ ...
Ali's user avatar
  • 4,145
3 votes
2 answers
419 views

Learning roadmap for Lorentzian geometry

I am asked the question in MSE, but did not get an answer. I hope that this question is appropriate for MOF. I am interested in Hyperbolic Geometry and its significance in low dimensional geometry (...
user2022's user avatar
1 vote
0 answers
336 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 ...
Ali's user avatar
  • 4,145
1 vote
1 answer
279 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 ...
Ali's user avatar
  • 4,145
1 vote
0 answers
92 views

conformal changes of Lorentzian metrics

Let $M= \mathbb R \times M_0$ with $M_0$ a smooth compact manifold with smooth boundary and let $g=-dt^2+g_0(t,x)$ be a Lorentzian metric on $M$, with $g_0$ a family of Riemannian metrics on $M_0$ ...
Ali's user avatar
  • 4,145
2 votes
2 answers
163 views

stability of two-sided sectional curvature bounds in Lorentzian geometry

Suppose that $(M,g)$ is a Lorentzian manifold of signature $(-,+,\ldots,+)$. Given a two plane $\Pi=\textrm{Span}\{X,Y\}$ with $X,Y \in T_pM$, we say that $\Pi$ is non-degenerate if $$ g(X,X)g(Y,Y)-g(...
Ali's user avatar
  • 4,145
18 votes
1 answer
1k views

Geometric interpretation of the Weyl tensor?

The Riemann curvature tensor ${R^a}_{bcd}$ has a direct geometric interpretation in terms of parallel transport around infinitesimal loops. Question: Is there a similarly direct geometric ...
Tim Campion's user avatar
  • 63.9k
0 votes
1 answer
114 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 ...
Ali's user avatar
  • 4,145
1 vote
0 answers
138 views

Perturbation of a spacetime in general relativity

In general relativity one has the Schwarzchild metric for a non-rotating black hole $g_{SC} = -\phi^2 \: dt^2 + \Bigg(1 + \frac{m_0}{2r} \Bigg)^4 \delta $ and from this one has the spacelike ...
Hollis Williams's user avatar
2 votes
1 answer
95 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 $...
Ali's user avatar
  • 4,145
3 votes
0 answers
125 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 ...
Ali's user avatar
  • 4,145
2 votes
2 answers
233 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, ...
user143410's user avatar
0 votes
0 answers
143 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 ...
Kolten's user avatar
  • 9
0 votes
0 answers
135 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, \...
Ali's user avatar
  • 4,145
5 votes
1 answer
954 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) ...
eriugena's user avatar
  • 679
2 votes
1 answer
827 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 ...
eriugena's user avatar
  • 679
5 votes
2 answers
2k 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 ...
eriugena's user avatar
  • 679
3 votes
1 answer
151 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 ...
Sandesh Jr's user avatar
3 votes
1 answer
191 views

maximal surface, parametric approach

I am interesting in maximal surfaces: space-like surface in Minkowski $\mathbb{R}^{2,1}$ (or De Sitter $dS^3$). Of course space-like implies locally graph and almost all the literature is interested ...
Paul's user avatar
  • 914