1
vote
1answer
48 views

One step in deriving the Einstein-Hilbert action

In this amazing first principles derivation of the Einstein-Hilbert action there is one small manipulation needed to show $$c g_{ab,cd}\left(\eta^{ac}\eta^{bd} - \eta^{ab}\eta^{cd}\right)$$ is ...
5
votes
1answer
160 views
+100

Geodesic deviation equation - why does the ordinary second derivative give the correct answer?

I've calculated the correct answer to my problem, but don't understand one of the assumptions I made when doing so. I used the geodesic deviation equation ...
6
votes
0answers
61 views

Is there a null incomplete spacetime which is spacelike and timelike complete?

Geodesic completeness, the fact we can make the domain of the geodesic parametrized with respect an affine parameter the whole real line, is an important concept in GR. Especially, because the lack of ...
7
votes
1answer
86 views

Why is it so coincident that Palatini variation of Einstein-Hilbert action will obtain an equation that connection is Levi-Civita connection?

There are two ways to do the variation of Einstein-Hilbert action. First one is Einstein formalism which takes only metric independent. After variation of action, we get the Einstein field equation. ...
0
votes
0answers
59 views

Why doesn't this proof change indices?

In this pdf, in the second line of the proof, $\sigma$ was plugged in where it appears as $$\frac{\partial x^\sigma}{\partial y^{\rho'}}$$ Meanwhile in converting the coordinates of $g^{\mu'\rho'}$, ...
0
votes
1answer
46 views

Christoffell symbols manipulations [closed]

Why is it that $$\Gamma^\lambda_{\lambda\tau}\Gamma^\tau_{\mu\nu} = 0?$$ The same goes for $$\Gamma^\lambda_{\nu\tau}\Gamma^\tau_{\mu\lambda} $$which was set equal to zero by the author..
4
votes
0answers
52 views

Non-trivial scalar quantity

Is there any scalar quantity made of only the Christoffel symbols, determinant of a metric and tensors, not derivatives? In other words, can we construct a scalar quantity which cannot be written in ...
4
votes
0answers
40 views

What is the status of gauged gravity [duplicate]

The Standard Model of elementary particles is a gauge theory with gauge group $SU(3)\times SU(2)\times U(1)$, which is really a successful theory. We might be able to quantize gravity similarly. ...
4
votes
2answers
119 views

Geometric meaning of parallel transport

The definition of parallel transport of a vector $v^b$ along a curve $C$ with tangent field $\it{t}^a$ is given by Wald's GR as $$t^a \nabla_a v^b = 0$$ Is it correct to think of $\nabla_a v^b$ as ...
1
vote
1answer
31 views

Tensors applied to vector and dual vector fields in GR

This is a specific question about tensor manipulation in Wald's GR. I'm asking for clarification of a trivial step, because I'm working through the text outside the context of a class, without prior ...
3
votes
0answers
39 views

How to derive the cigar soliton solution to the Ricci flow equation? [closed]

I am trying to derive the cigar soliton solution to the Ricci flow equation. Such solution has the form $$ {\frac {{{\it dx}}^{2}+{{\it dy}}^{2}}{{{\rm e}^{4\,t}}+{x}^{2}+{y}^{2 }}} $$ I am ...
0
votes
0answers
27 views

Relation between the curvature of a manifold and the number of covariantly constant vector fields that it admits

Suppose that on a four dimensional manifold we are able to explicitly construct four linearly independent covariantly constant vector fields $K^a_{\mu}$: $$D_{\mu}K^a_{\nu}=0,$$ $a=1,2,3,4$ then it ...
1
vote
3answers
80 views

Generators of the Diffeomorphism Group

So what are the generators of a Diffeomorphism Group? For simplicity, let's consider $ Diff(R^2) $ (diffeomorphisms of the euclidean plane.) Diffeomorphisms are differentiable, invertible ...
6
votes
1answer
73 views

Does nature of singularity in black hole depend on material that fell in?

Electromagnetic waves have a tracesless stress energy tensor, and therefore if they are the only fields in a region of spacetime, the Ricci curvature scalar $R=0$ according to GR. However $R^{\mu\nu} ...
9
votes
1answer
208 views

Spacetime Torsion, the Spin tensor, and intrinsic spin in Einstein-Cartan theory

In Einstein-Cartan gravity, the action is the usual Einstein-Hilbert action but now the Torsion tensor is allowed to vary as well (in usual GR, it is just set to zero). Variation with respect to the ...
5
votes
1answer
56 views

What's the definition of incompleteness of a coordinate system and a spacetime?

I always see in GR textbooks that some coordinates or some spacetime is incomplete, such as Rindler spacetime and spacetially flat FRW universe with only positive cosmological constant. This ...
2
votes
1answer
100 views

Geodesic equation from Euler - Lagrange

There are several ways to derive the geodesic equation. One of which is the variational method which I seemed to understand it because it was written in great details. Then it was mentioned that the ...
2
votes
1answer
87 views

Can these two terms cancel out?

In trying to prove that $$\Gamma_{\mu\nu\lambda} = \eta_{ab}J^a_bJ^b_{\nu\lambda}.$$ The author canceled out while expanding the first equation $$J^a_{\mu\lambda}J^b_\nu$$ with ...
1
vote
1answer
55 views

Riemann Curvature Tensor Symmetries Proof

I am trying to expand $$\varepsilon^{{abcd}} R_{{abcd}}$$ by using four identities of the Riemann curvature tensor: Symmetry $$R_{{abcd}} = R_{{cdab}}$$ Antisymmetry first pair of indicies ...
2
votes
0answers
72 views

What are Killing spinors?

What are Killing spinors? How can they be motivated? Are they directly related to Killing vectors and Killing tensors and is there an overarching motivation for all three objects? Any answer is ...
1
vote
0answers
54 views

Equation regarding the Riemann tensor in the Cartan formalism [closed]

I have a problem verifying the following equation (in three dimensions) $$\epsilon_{abc} e^a\wedge R^{bc}=\sqrt{|g|}Rd^3 x$$ where $R$ is the Ricci scalar and $R^{bc}$ is the Ricci curvature ...
3
votes
0answers
59 views

Ricci curvature of embedded spacetime

If I am not mistaken, there is a theorem which states that every Riemannian manifold can be embedded in the $n$-dimensional Euclidean space for some large-enough $n$. Does it also hold for ...
1
vote
1answer
97 views

Geodesic curvature and Weyl transformations

The geodesic curvature is given by $$k=\pm t^a n_b\nabla_a t^b,$$ where $t^a$ is a unit vector tangent to the boundary of the string worldsheet and $n_a$ is an outward vector orthogonal to $t^a$. I ...
3
votes
2answers
356 views

Which of these two textbook equations of geodesic deviation is correct?

My previous question Geodesic deviation on a 2-sphere - is this the right track? got shot down as “off topic”, so I'm having a second stab at it. Misner et al's Gravitation (p34) gives the geodesic ...
1
vote
0answers
122 views

Textbook disagreement on geodesic deviation on a 2-sphere

Apologies if I have this completely wrong (and for the general long-windedness). I've searched online but can't find anything helpful/relevant. I'm trying to use the geodesic equation ...
2
votes
0answers
55 views

If $S$ is a closed achronal set in a spacetime, any timelike curve starting at a point in $I^+[S]$ and ending at a point in $I^-[S]$ interset $S$?

Suppose $S$ is an achronal set in a spacetime $M$. And $S$ is closed. At the same time, any null geodesic of $M$ intersects $S$. Then, why does any timelike curve from $I^+[S]$ to $I^-[S]$ intersect ...
3
votes
1answer
76 views

Christoffel symbol

For two nearby points in General Theory of Relativity. The change in the vector components when parallel transported is given by Now, since the parallel transport change must depend on the path ...
4
votes
0answers
110 views

Tricks for Computing Riemann Curvature Tensor with Levi-Civita connection

I am new to differential geometry, so far it seems to me that computing the Riemann tensor tends to be a rather tedious task, I wanted to know whether there are some tricks that I am missing. In ...
2
votes
2answers
71 views

Definition of derivative operator on a manifold

I'm hoping to understand the motivation for certain parts of the definition of a derivative operator $\nabla$ on a manifold $M$. In Wald's General Relativity, two clauses of the definition are: ...
4
votes
1answer
141 views

Wick Rotation in Curved space

So over time I have learned to do exhaustive searches before asking things here. Wick rotations are cool if you are trying to work in qft and make statements about the thermodynamics of some physical ...
2
votes
0answers
50 views

Deformation of light-cone

In the paper The geometry of free fall and light propagation by Ehlers and his colleagues (Gen. Relativ. Gravit. 44 no. 6, pp. 1587–1609 (2012)), when the authors introduce the differentiable ...
1
vote
1answer
55 views

If a point r lies in the boundary of the chronological future of another point p, why does the chronological future of r belong to that of p?

I am studying the global causality of the spacetime. Here, I come across a problem. Suppose a point $r\in \partial I^+(p)$. $I^+(p)$ is the chronological future of a different point $p$ in ...
2
votes
1answer
42 views

How does a spatial covariant derivative act on tensors that are not purely spatial?

I have a possibly dumb question on ADM formalism. Starting with a metric in ADM form \begin{equation} ds^2 = -N^2dt^2 + q_{ij}(dx^i + N^idt)(dx^j + N^jdt) \end{equation} where $i,j$ only run over the ...
1
vote
0answers
68 views

How to test that a flat metric represents a global three-torus geometry

When introducing Robertson-Walker metrics, Carroll's suggests that we consider our spacetime to be $R \times \Sigma$, where $R$ represents the time direction and $\Sigma$ is a maximally symmetric ...
-2
votes
1answer
62 views

Length in polar coordinates

Say we are in 3 dimensions and use $(-++)$. If we have the metric $$ds^2=-dt^2+dr^2+r^2df^2(t),$$ then what is the third coordinate if the first two were $t$ and $r$? $$X^iX_i=-t^2+r^2+?$$
3
votes
1answer
70 views

Bondi-Metzner-Sachs (BMS) symmetry of asymptotically flat space-times

I started studying the BMS symmetry in connection with the paper: http://arxiv.org/abs/1312.2229 and there are a few strange things I noticed. First of all, from reading the original papers by Bondi, ...
7
votes
2answers
236 views

Does a 4-current J determine a unique maxwell-faraday F tensor up to isometry?

Maxwell's equations on a pseudo-Riemannian manifold $(M,g_{ab})$ say, $$d_a F_{bc} = \nabla_{[a}F_{bc]} = 0,$$ $$\nabla_a F^{ab} = J^b,$$ where $d_a$ is the exterior derivative, $\nabla_a$ is the ...
0
votes
0answers
39 views

Caustic and Singularities in General Relativity

What is the relation between the formation of caustics of a family of null geodesics and the existence of an incomplete null geodesic?
1
vote
2answers
72 views

Static geodesics in GR

Can we find static geodesics of the type $$x^{\nu}=x_0^{\nu}+\delta_0^{\nu}\tau$$ in some space-time other than Minkowski's?
3
votes
1answer
85 views

Why do we do partial and not covariant differentiation with $x^{\nu}$?

Why when taking the velocity vector we make $$u^{\nu}=\frac{d}{d\tau}x^{\nu}$$ and not $$u^{\nu}=\frac{\nabla}{d\tau}x^{\nu}$$ where in the last equation I meant the covariant derivative. Why?
3
votes
0answers
71 views

Is the “Force” of Gravity Simply Hamilton's Principle on a Curved Spacetime?

It's my understanding that General Relativity abstracts away the concept of gravity as a force, and instead describes it as a feature of spacetime by which massive objects cause curvature. Then it ...
0
votes
1answer
51 views

The commutator of Killing vectors

I'm going over an assignment for my general relativity course. My solution to the question below strikes me as too short, considering that it appeared in the "longer questions" section of the ...
15
votes
3answers
1k views

Is topology of universe observable?

There is an idea that the geometry of physical space is not observable(i.e. it can't be fixed by mere observation). It was introduced by H. Poincare. In brief it says that we can formulate our ...
4
votes
2answers
217 views

Metric tensor in special and general relativity

I'm having trouble understanding the metric tensor in general relativity. What I've understood so far has come from my course lecture notes used in conjunction with "The Road to Reality" by Roger ...
2
votes
0answers
52 views

Avoiding Pseudo-tensors when addressing global conservation of energy in GR

Discussions about global conservation of energy in GR often invoke the use of the stress-energy-momentum pseudo-tensor to offer up a sort of generalization of the concept of energy defined in a way ...
1
vote
0answers
45 views

Laplacian in tensor [closed]

Find $\vec \nabla^2\phi $ when $$ds^{2}=-dt^{2}+a^{2}(t)[dx^{2}+dy^{2}+dz^{2}] $$ or $$g_{ij}=\begin{bmatrix} -1 & 0 &0 &0 \\ 0 &a^{2}(t) &0 &0 \\ 0&0 ...
2
votes
1answer
215 views

How to properly construct the electromagnetic tensor in curved space-time?

How do I properly construct the electromagnetic tensor in curved space-time? I have my curved spacetime metric $(+,-,-,-)$ and my magnetic vector potential $A$. I tried two ways but not sure which is ...
2
votes
1answer
113 views

Computing the Christoffel symbols with the geodesic equation

I would like to compute the Christoffel symbols of the second kind using the geodesic equation. To practice, I have tried the Schwarzschild Ansatz $$ g_{00} = \mathrm e^\nu,\quad g_{11} = - \mathrm ...
3
votes
1answer
171 views

Is the apparent lack of (Ricci) curvature in the Schwarzschild metric due to a choice of coordinates?

I've been lightly studying GR lately. Something that has been bothering me has been the lack of (Ricci) curvature produced from the Schwarzschild metric in the few lectures I've watched, as well as ...
1
vote
0answers
62 views

Variation of the purely covariant Riemann tensor

I need to find the variation of the purely covariant Riemann tensor with respect to the metric $g^{\mu \nu}$, i.e. $\delta R_{\rho \sigma \mu \nu}$. I know that, $R_{\rho \sigma \mu \nu} = g_{\rho ...