Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options answers only not deleted user 2622

For questions about mathematical problems arising from general relativity, the branch of physics which provides and studies the currently accepted geometric description of gravity.

4 votes
Accepted

naked singularity and null coordinates

The formal definition of a naked singularity can be found in standard GR books (Wald, Hawking & Ellis, probably others). However, here's a slightly crude, rule of thumb way of checking whether your sp …
Igor Khavkine's user avatar
30 votes
Accepted

The speed of gravitational waves in general relativity

What is the speed of a wave in a non-linear theory? Answering before considering your question is important, because that answer will tell you where to look for your answer. A useful notion is that o …
Igor Khavkine's user avatar
4 votes
Accepted

Killing fields for Yang-Mills

An infinitesimal diffeomorphism, generated by $\xi^a$, acts on the metric as $g_{ab} \mapsto g_{ab} + 2 \nabla_{(a} \xi_{b)}$. The last term is zero precisely when $\nabla_{(a} \xi_{b)} = 0$, that is, …
Igor Khavkine's user avatar
2 votes
Accepted

Choosing a coordinate transformation

I will add here some more details to expand my comment. Any two functions $Y_1(x^3,x^4)$ and $Y_2(x^3,x^4)$ give local coordinates on any open domain of the $(x^3,x^4)$-plane where their Jacobian dete …
Igor Khavkine's user avatar
5 votes

Preservation of metric signature in Cauchy problem for the Einstein equations

I will add a pessimistic answer. You are right that Choque-Bruhat's (and any related local-in-time) existence result only guarantees that the solution metric exists and is sufficiently regular (includ …
Igor Khavkine's user avatar
8 votes
Accepted

Foliations of Lorentzian manifolds by Spacelike Hypersurfaces

In the case of a globally hyperbolic spacetime, what you want is a smooth Cauchy temporal function (the gradient is everywhere timelike, not just causal, and each level set is a Cauchy surface that is …
Igor Khavkine's user avatar
3 votes

Conformal compactification of Kerr spacetime

Although the focus of the original question was on conformal compactification, a necessary step along the way is an introduction of double-null coordinates that are regular on the horizons and bifurca …
Igor Khavkine's user avatar
14 votes

Obtain Lorentzian manifolds from Riemannian ones by Wick rotation

I'm going to guess that your interest in Wick rotation comes from the role it plays in the formulation of quantum field theories (QFTs) on Miknowski spacetime and some other curved spacetimes, like th …
Igor Khavkine's user avatar
5 votes
Accepted

Obtaining Killing fields from the tetrad

My answer will be a bit more charitable than Willie's. There is an algorithm (sort of) to compute the dimension of the solution space of the Killing equation. Whether it is simple or not, you can deci …
Igor Khavkine's user avatar
3 votes
Accepted

Compactly supported transverse traceless tensors

The answer is Yes, at least under the reasonable conditions that (i) the number of conformal Killing vectors locally admitted by $(M,g)$ is constant and that (ii) the de Rham cohomology $H^{n-1}(M)=0$ …
Igor Khavkine's user avatar
3 votes
Accepted

In which dimensions is a strongly causal Lorentzian manifold determined conformally by its c...

Trying to recover as much of the topology/geometry from the causal order as possible has been studied quit a bit since the early paper of Hawking et al that you cite. A quick summary of my understandi …
Igor Khavkine's user avatar
1 vote
Accepted

Understanding the proof of lemma 1.1 from Fisher, Marsden, and Moncrief's paper

I presume the formula you are asking about is the long one highlighed by $*$ $*$ in your question, while the standard "contracted Bianchi identity" $\delta \operatorname{Ein}\left({ }^{(4)} g\right)=0 …
Igor Khavkine's user avatar
9 votes
Accepted

In what sense exactly are the Einstein metrics distinguished?

If I understood your question correctly, the answer indeed is due to Lovelock. I think it's important to state all the hypotheses clearly, because they are not always reported accurately. Theorem. (Lo …
Igor Khavkine's user avatar
32 votes
Accepted

How much of mathematical General Relativity depends on the Axiom of Choice?

The dependence on AC through the use of Zorn's lemma in the proof of the Choquet-Bruhat–Geroch theorem on the existence of a maximal globally hyperbolic development for solutions of the Einstein equat …
Igor Khavkine's user avatar
18 votes

Is there a relation between 4-dimensional general relativity and exotic smooth structures on...

Here is an argument whose conclusion is that it is unlikely that exotic 4d manifolds are physically important in general relativity. For physical reasons (mainly causality, stability, and determinism) …
Igor Khavkine's user avatar

15 30 50 per page