The tag has no usage guidance.

learn more… | top users | synonyms

8
votes
0answers
113 views

Penrose transform and general wave equations

In the late 1960's Penrose developed twistor theory, which (amongst other things) lead to an exceptional description for solutions to the wave equation on Minkowski space via the so-called Penrose ...
2
votes
0answers
67 views

An question about Cauchy Problem in General Relativity [closed]

Yesterday, in Brazilian School on Differential Geometry, a friend asked me the question: Given an (non-trivial) initial data set $(M,g,k)$ for the Cauchy problem in General Relativity. Is there ...
3
votes
0answers
138 views

Geometrical point of view of the harmonic constraints ($\Delta g_{ij}=0$) in General Relativity

What does it mean, from the geometrical point of view, use (in General Relativity) of the constraints on the metric tensor's coefficients such that $\Delta g_{ij}=0$? (where $\Delta$ is the Beltrami-...
7
votes
4answers
493 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
1answer
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
1answer
161 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
0answers
67 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
2answers
343 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
2answers
213 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
2answers
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
1answer
67 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
0answers
88 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
1answer
177 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
0answers
155 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
1answer
119 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
1answer
229 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
2answers
209 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
0answers
262 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
5answers
3k 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
1answer
154 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
1answer
141 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
1answer
115 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
2answers
232 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
1answer
260 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
1answer
146 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
2answers
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
1answer
134 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
1answer
313 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
1answer
170 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
3answers
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
1answer
560 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
0answers
134 views

Differential equation related to the Schwarzschild metric

How can one find solutions of the following second-order differential 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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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 ...
13
votes
2answers
901 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
0answers
790 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
5answers
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
1answer
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
1answer
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
1answer
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
0answers
124 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
1answer
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
1answer
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
1answer
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
0answers
187 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
4answers
836 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
1answer
799 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 $ (\...