All Questions
Tagged with dg.differential-geometry lorentzian-geometry
64 questions
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-...
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 ...
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}...
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, \...
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$.
...
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 ...
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 ...
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 ...
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$...
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 ...
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 ...
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\...
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 ...
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 ...
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 (...
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(\...
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 $...
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 ...
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^{\...
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 ...
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 ...
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 ...
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 ...
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 ...
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 ...
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 $...
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 ...
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 ...
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 ...
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
$$ ...
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$. ...
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$ ...
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 (...
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 ...
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 ...
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$ ...
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(...
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 ...
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 ...
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 ...
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 $...
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 ...
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, ...
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 ...
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, \...
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) ...
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 ...
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 ...
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 ...
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 ...