The general-relativity tag has no usage guidance.

**7**

votes

**4**answers

477 views

### General Relativity and Differential Geometry intuitions of Second Bianchi Identity

In General Relativity, one uses the Riemann Tensor in its coordinate form $R_{abcd}$, and proves the Second Bianchi Identity-
$R_{abcd;e} + R_{abde;c} + R_{abec;d} = 0$
It is said that ...

**1**

vote

**1**answer

82 views

### Invariance of spin coefficients

I have a question about how spin coefficients (Newman Penrose formalism) transform.
I know that if we perform a tetrad rotation, say of Class III:
$(l,n,m,\overline{m})\mapsto \left(\frac{1}{A}l, An,...

**2**

votes

**1**answer

160 views

### Choosing a coordinate transformation

I was reading the following paper
http://scitation.aip.org/docserver/fulltext/aip/journal/jmp/4/7/1.1704018.pdf?expires=1460721373&id=id&accname=2112043&checksum=...

**3**

votes

**0**answers

64 views

### Invariant Lagrangians of a connection and its derivatives: how do they look like?

Let
$$
L=L(\Gamma,\partial\Gamma,\ldots,\partial^n\Gamma)
$$
be a Lagrangian depending on a linear symmetric connection $\Gamma$ on the tangent space of a manifold $M$ together with its derivatives up ...

**6**

votes

**2**answers

337 views

### Principal bundle approach to general relativity

I am curious if there is any literature (texbooks, mainly, but articles will do too, though I don't have easy access to any paid journal) that deals with general relativity by using Ehresmann ...

**4**

votes

**2**answers

208 views

### Holonomy of a Ricci-flat affine connection

There is some link between Ricci-flatness and reduction of holonomy. For example a Kahler manifold is Ricci-flat if and only if it has at most $SU(n)$ holonomy rather than $U(n)$, and it's apparently ...

**50**

votes

**2**answers

3k views

### Recent observation of gravitational waves

It was exciting to hear that LIGO detected the merging of two black
holes one billion light-years away. One of the black holes had 36
times the mass of the sun, and the other 29. After the merging the
...

**1**

vote

**1**answer

66 views

### Marginally Trapped surfaces with constant Gaussian curvature

By marginally trapped surface I mean a spacelike surface in a 4-dimensional Lorentzian manifold such that the mean curvature vector is lightlike.
In my research I have stumbled across marginally ...

**0**

votes

**0**answers

86 views

### Proper time and asymptotic flatness

I have asked this question at physics stackexchange but got no response. I thought I could try my luck here:
I'm trying to understand the concept of asymptotic flatness in general relativity, and ...

**1**

vote

**1**answer

167 views

### Intuition behind the “Lapse Function”

I came across the following definite of the Lapse Function:
$N=\sqrt{\frac{1}{2}g(L,\overline{L})}$
where $L,\overline{L}$ are the null geodesic vector fields. Further, I have been looking at this ...

**4**

votes

**0**answers

150 views

### Obtaining the metric from the mixed Ricci tensor $R^i{}_j$

In chapter 5 of the book "Einstein Manifolds", Arthur Besse discusses the possibility to find the metric $g$ when knowing the Ricci curvature tensor $Ric(g)$ ($=R_{ij}$).
But what do we know about ...

**1**

vote

**1**answer

117 views

### Eikonal equation and double null coordinates

I"m trying to understand the exact/technical link between the Eikonal equation and a double-null form of the metric (if such a direct link even exists). R. Wald, in his "General Relativity", doesn't ...

**4**

votes

**1**answer

225 views

### Conformal compactification of Kerr spacetime

I'm looking for a book/paper where the conformal compactification of Kerr spacetime is calculated. I've seen plenty of reference for the Minkowski, but none (explicitly calculated) for Kerr.
Thank ...

**4**

votes

**2**answers

206 views

### Obtaining Killing fields from the tetrad

I'm reading the following article by Newman
http://scitation.aip.org/content/aip/journal/jmp/4/7/10.1063/1.1704018
about the generalization of the Schwarzschild metric. My question is the following: ...

**6**

votes

**0**answers

257 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)...

**14**

votes

**5**answers

2k views

### Modern mathematical books on general relativity

I am looking for a mathematical precise introductory book on general relativity. Such a reference request has already been posted in the physics stackexchange here. However, I'm not sure whether some ...

**2**

votes

**1**answer

152 views

### Conditions for existence of Penrose diagrams

A Penrose diagram (also known as a conformal diagram or Carter-Penrose diagram) is a technique for visualizing the causal (light-cone) structure of a 3+1-dimensional manifold. Usually the diagram is ...

**1**

vote

**1**answer

140 views

### Minkowski spacetime in Newman Penrose formalism

I have a rather basic question for which (surprisingly!) I cannot find a short and clear answer anywhere:
I'm currently looking at the Newman Penrose (NP) formalism (I use primarily Chandrasekhar's "...

**1**

vote

**1**answer

109 views

### The momentum constraints in the ADM formulation of general relativity

Suppose that the space-time has a time function. Let $g_{ij}$ be
the Riemannian metrics of the time slices, and $K_{ij}$ be the second
fundamental forms. It is by Codazzi equation that
$$
D^{i}(K_{ij}...

**4**

votes

**2**answers

226 views

### Conditions on a Lorentzian manifold to ensure existence of global proper-time foliation?

I am wondering what conditions a Lorentzian manifold $(M,g)$ must satisfy to ensure the existence of a global proper-time foliation (i.e. a decomposition of $M$ into spacelike Cauchy hypersurfaces and ...

**1**

vote

**1**answer

255 views

### Null geodesic congruence

I came across a statement in Chandrasekhar's "Mathematical Theory of Black Holes" that I don't understand (rather say disagree):
Assume we have a Newman Penrose tetrad $\lbrace l, n,m,\overline{m}\...

**1**

vote

**1**answer

140 views

### Petrov classification/Weyl scalars

There is one calculation in Chandrasekhar's "Mathematical Theory of Black Holes" that I cannot understand. Here is the setup:
We want to show that Petrov type D (i.e. two principal null directions) ...

**12**

votes

**2**answers

3k views

### *The* open problem in General Relativity?

Q. Is there a single, clear mathematical question that has emerged as
the open problem in General Relativity?
I ask this on the ~100th anniversary of Einstein's (4-page!) 1915 paper,
"Die ...

**3**

votes

**1**answer

133 views

### Null tetrad transformation

I have been going through the Chandrasekhar's "The Mathematical Theory of Black holes", in particular the chapter on Newman Penrose formalism.
I have a question about what he calls a "class III ...

**8**

votes

**1**answer

311 views

### Foliations of Lorentzian manifolds by Spacelike Hypersurfaces

Suppose that $M$ is a Lorentzian manifold (not necessarily satisfying Einstein's equations). What conditions do we need in order to guarantee that $M$ admits a foliation by codimension-$1$ spacelike ...

**1**

vote

**1**answer

169 views

### Generalized spin connection and dreibein in higher spin gravity

I am studying higher spin gravity and I would like to know the mathematical and physical meaning of generalized spin connection and generalized dreibein that appear in this theory.
It is well known ...

**3**

votes

**3**answers

346 views

### Conjugate or focusing points on null geodesics imply chronality

Theorem
Let $\beta\colon [0,1] \to M$ be a null geodesic. If $\beta(t_0)$ is conjugate to $\beta(0)$ along $\beta$ for some $t_0\in (0,1)$, then there is a timelike curve from $\beta(0)$ to $\beta(1)$....

**7**

votes

**1**answer

555 views

### Killing vector fields on sphere

Let $u$ be a smooth function on $\mathbb S^2$, and assume that for every killing vector field $V$ on $\mathbb S^2$.
$$\int_{\mathbb S^2} V(u) x_j dS=0\text{,}\forall j=1,2,3$$
Is $u$ necessarily ...

**2**

votes

**0**answers

134 views

### Differential equation related to the Schwarzschild metric

How can one find solutions of the following second-order diﬀerential equation
$$\frac{d^2W}{dr^2}-\frac{1}{r}\frac{dW}{dr}=\frac{C}{W^2}\frac{dW}{dr}$$
with the boundary condition $W(r)\to r^2$ at ...

**4**

votes

**0**answers

112 views

### Generalized Hawking Mass

This is a fairly general question. Let $(M^3,g)$ be a Riemannian 3-manifold. Let $\Sigma^2$ be a dimension-2 submanifold of $M$. The Hawking mass of $\Sigma^2$ is defined as
$m(\Sigma^2) := \frac{|\...

**7**

votes

**0**answers

128 views

### Topological restrictions from mean curvature bounds

Alexandrov's Theorem says that a compact constant mean curvature hypersurface embedded in $\mathbb{R}^{n+1}$ must be a round sphere.
What happens when the mean curvature is small, or bounded? (For ...

**11**

votes

**0**answers

683 views

### Geometric meaning of the black hole horizon

It is widely accepted that the singularity of the Schwarzschild metric at the event horizon is purely an artifact of the coordinates and no physical singularity exists at the horizon. However, as ...

**4**

votes

**1**answer

265 views

### Subset of causal spacetime+Imprisonment Condition+Compact Closure -> Stably Causal spacetime?

My question arose after studying the article "John K. Beem: Conformal Changes and Geodesic Completeness". (http://projecteuclid.org/euclid.cmp/1103899983) One of the results there is:
Let $(M,g)$ ...

**2**

votes

**0**answers

186 views

### The Cauchy Problem in General Relativity: Existence of a Hausdorff Development

This is related to a problem that I posed about a year ago. I was given several references by a number of experts who were kind enough to entertain my rather arcane question. Those references were ...

**11**

votes

**2**answers

884 views

### Obtain Lorentzian manifolds from Riemannian ones by Wick rotation

In some cases, Wick rotation of a metric, formally consisting in substituting a coordinate with i times the coordinate itself, allows one to construct a Riemannian manifold starting from a Lorentzian ...

**4**

votes

**0**answers

773 views

### Existence of diagonalizing coordinates for the metric tensor

Solving for metrics that are Einstein, i.e that satisfy $R_{\mu \nu} = \Lambda g_{\mu \nu}$ is highly non-trivial as soon as $g_{\alpha \beta}$ is allowed to have off-diagonal components. However, ...

**5**

votes

**5**answers

2k views

### Can anyone give an example of Ricci flat Riemannian or Lorentzian Manifold that is not flat?

Does there exist a Ricci flat Riemannian or Lorentzian manifold which is geodesic complete but not flat? And is there any theorm about Ricci-flat but not flat?
I am especially interset in the case ...

**2**

votes

**1**answer

242 views

### What is the meaning of Yang-Mills action evaluated on Levi-Civita connection?

On a Riemannian manifold $M$ with riemann curvature tensor $R_{\mu\nu\rho\sigma}$ written as (endomorphism valued) curvature two-tensor of the Levi-Civita connection $R=R_{\mu\nu}dx^\mu\wedge dx^\nu$,...

**2**

votes

**1**answer

303 views

### Euler characteristic of Cauchy surface in Lorentz manifold

Are there any known topological restrictions on what kinds of manifolds can form the Cauchy hypersurface of a Lorentzian manifold? I'm particularly interested about restrictions on Euler ...

**1**

vote

**1**answer

175 views

### manifolds whose charts are maps to Minkowski space

I'm doing a project involving tilings of Minkowski space. For instance in 2d I have rectangular tiles determined by a spacelike line segment: the rectangle is the region caused by the line segment. ...

**0**

votes

**0**answers

122 views

### Hitchin–Thorpe inequality for Lorentzian manifold

I've recently read the following:
For which $b$ it is possible that $S^n$ can have a Lorentz metric? Why?
An answer shows that a compact, oriented, simply connected manifold carries a Lorentz metric ...

**2**

votes

**1**answer

125 views

### Dimension of the space of null geodesics

So that is my question. If I have a manifold with Lorentz metric, how do I know the dimension of the space of null geodesics. For example, in the general relativity the space of null geodesics is 5... ...

**2**

votes

**1**answer

149 views

### Global conformal equivalence of two regions of Minkowski spacetime

I am wondering whether the region $H:=\{(t,x):x^2−t^2<1\}$ of $(1+1)$-dimensional Minkowski spacetime, equipped with the restriction $g_H$ of the standard Minkowski metric $g=−\mathrm{d} t\otimes \...

**5**

votes

**1**answer

439 views

### Why does closed string theory have only one dilaton field instead of $22$? [closed]

Looking at $5D$ Kaluza-Klein theory, the Kaluza-Klein metric is given by
$$
g_{mn} = \left(
\begin{array}{cc}
g_{\mu\nu} & g_{\mu 5} \\
g_{5\nu} & g_{55} \\
\end{array}
\right)
$$
...

**2**

votes

**0**answers

186 views

### Solving ODE with negative expansion power series

I'm moving this here, as suggested from physics.stackexchange. The original is here.
So, I need to solve a system of ODE, using negative power expansion. I will give all the necessary equations and ...

**11**

votes

**4**answers

829 views

### Einstein field equations in perspectives from PDE and functional analysis

The Einstein field equations have been subject of research in theoretical physics, and differential geometry, apparently with methods from classical analysis and geometry. In particular, solutions in ...

**11**

votes

**1**answer

789 views

### Does the gluing procedure in Robert Wald’s book *General Relativity* yield a Hausdorff spacetime?

Before I state my problem, let me provide some definitions pertaining to the Cauchy Problem in General Relativity.
Definition 1: A triplet $ (\Sigma,h,k) $ is called an initial data set if $ (\...

**-3**

votes

**1**answer

245 views

### Can Hartogs' extension theorem be used to prove there's no naked singularity?

Maybe for the first time my question doesn't deal with number theory. Tonight a friend of mine told me about Hartogs' extension theorem and said his work in analytic microlocal analysis was somehow ...

**1**

vote

**0**answers

124 views

### Null vector fields given Bondi metric

I'm trying to understand how to compute the null future-directed vector fields if I have a given (Bondi) metric
$g=-e^{2\nu}du^{2}-2e^{\nu+\lambda}dudr+r^{2}d\Omega$
with $d\Omega$-standard metric ...

**3**

votes

**1**answer

225 views

### naked singularity and null coordinates

I'm trying to understand the notion of a naked singularity on a more mathematical level (intuitively, it's a singularity "one can see and poke with a stick", but I'm having troubles on how to actually ...