0
votes
0answers
54 views

Proving the contracted Bianchi identity [closed]

I know how to derive the contracted Bianchi identity $$\nabla_\mu(R_{\mu\nu}-\frac{1}{2}g_{\mu\nu}R) = 0.$$ But I am having trouble proving that the LHS of this is 0. Can someone help me please? ...
1
vote
0answers
51 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 ...
1
vote
2answers
93 views

Planetary motion: integration of equation of motion

I was reading Planetary Motion (page 117) in Barry Spain's Tensor calculus, and stupidly enough, I didn't understand this. The equations are : $$\frac{d^2\psi}{d\sigma^2} + ...
2
votes
2answers
76 views

Covariant derivative of a covariant tensor wrt superscript

Is it true that when you take the covariant derivative of a covariant tensor, do you always have to do with a subscript? What if you do it wrt a superscript?Does the first term (with the partial ...
2
votes
0answers
87 views

Simple General Relativity Relation [closed]

Given the identity $$\nabla_a(R^{ab}-\frac{1}{2}R g^{ab})=0,$$ how do I then show that $R_{ab}=0$ implies $$\nabla_a R^a_{\space \space \space bcd}=0$$
0
votes
1answer
87 views

Square of a tensor

I think, $$\sigma_{ij}\sigma^{ij} = \sigma^2.$$ However, on the Wikipedia page on Raychaudhuri equation, It was mentioned: $$\sigma^2=\frac{1}{2}\sigma^{ij}\sigma_{ij}$$ I am confused, but I think ...
15
votes
8answers
853 views

Is it foolish to distinguish between covariant and contravariant vectors?

A vector space is a set whose elements satisfy certain axioms. Now there are physical entities that satisfy these properties, which may not be arrows. A co-ordinate transformation is linear map from a ...
1
vote
1answer
71 views

Covariant derivative as a tensor

$$\nabla_{j} v^{i}~=~g^{ik}\nabla_{j}v_{k}.$$ Does this equality involve an intermediate step, where I take the metric inside the derivative, and then use the fact that covariant derivative of the ...
0
votes
0answers
68 views

Einstein frame vs. Matter frame

What is the difference between Einstein frame and Matter frame in General Relativity? -A brief comment on each could be useful too. These two frames were used in this manuscript ...
2
votes
1answer
175 views

Stress energy tensor and the covariant derivative of the 4-momentum

Another basic question. I have usually seen the stress energy tensor $T^{ij}$ described as the flow of the 4-momentum field $p^i$ along direction $x^j$ in spacetime with $p^0$ as energy and $x^0$ as ...
1
vote
0answers
39 views

How to calculate the minimum number of extrinsic dimensions of a metric tensor?

The Question How does one calculate the minimum number of dimensions of an extrinsic space that can be used to define the metric tensor \begin{align} g_{mn} = \dfrac{\partial y^k}{\partial x^m} ...
8
votes
3answers
403 views

How to prove the covariant derivative cannot be written as an eigendecomposition of the partial derivative?

The Question How does one prove that Rindler's definition of the covariant derivative of a covariant vector field $\lambda_a$ as \begin{align} \lambda_{a;c} = \lambda_{a,c} - \Gamma^{b}_{\ \ ca} ...
0
votes
1answer
134 views

Stress-energy tensor explicitly in terms of the metric tensor

I am trying to write the Einstein field equations $$R_{\mu\nu}-\frac{1}{2}g_{\mu\nu} R=\frac{8\pi G}{c^4}T_{\mu\nu}$$ in such a way that the Ricci curvature tensor $R_{\mu\nu}$ and scalar curvature ...
2
votes
1answer
116 views

Hypersurface Normal

Could anyone explain why $$n^{a}n_{a}=\pm1$$ where $n^{a}$ is the normal to the hypersurface
1
vote
2answers
112 views

Inner products in relativity

In physics, the definition of a dot (inner) product is often between a vector (“contravariant vector”) and a covector (“covariant vector”). However, in mathematics, a dot product is always defined ...
2
votes
2answers
179 views

Bracket Notation on Tensor Indices

I know about the () symmetrisation and [] anti-symmetrisation brackets on tensor indices so long as they appear on their own, such as : $$V_{[\alpha \beta ]}=\frac{1}{2}\left ( V_{\alpha \beta ...
1
vote
1answer
58 views

Unable to resolve 2 equivalent geodesic equations

A free particle moves along geodesics, one form being \begin{split} \ddot x^\mu &= -\Gamma^{\mu}_{\sigma \rho} \dot x^\sigma \dot x^\rho \\ &= -\frac{1}{2}g^{\mu \nu}(\partial_\sigma g_{\rho ...
4
votes
1answer
81 views

Invariants of Connection Form

I am somewhat going out "on a limb" here, since I am much more grounded in the physics side of things than I am in mathematics. Nonetheless, I am wondering if someone is able to comment on the ...
3
votes
4answers
373 views

General relativity in terms of differential forms

Is there a formulation of general relativity in terms of differential forms instead of tensors with indexs and subindexs? If yes, where can I find it and what are the advantages of each method? If ...
2
votes
1answer
451 views

Deriving an equation involving Killing vectors

I'm currently studying Carroll's GR book Spacetime & Geometry, and ran into some trouble understanding the text. When discussing Killing vectors, Carroll mentions that one can derive ...
3
votes
1answer
202 views

Riemann tensor notation and Christoffel symbol notation

In paper by Barnich and Brandt Covariant theory of asymptotic symmetries, conservation laws and central charges they defined the Riemann tensor like this: $$R_{\rho\mu\nu}^{\quad \ \ ...
1
vote
1answer
135 views

Transformation rule of a partial derivative

We know the following transformation rule: $$ \partial'_b = \frac{\partial}{\partial x'^b} = \frac{\partial x^c}{\partial x'^b} \, \frac{\partial}{\partial x^c} = \frac{\partial x^c}{\partial x'^b} ...
2
votes
1answer
261 views

Check it the Killing vectors satisfy Killing equation or not

I am going through Kerr/CFT correspondence paper again, and I am at the section where authors specify Killing vectors for near horizon extreme Kerr metric (shortly NHEK). The metric is ...
0
votes
2answers
143 views

Raising indices in Killing equation or not?

I'm having issues with computation of Killing equation. I'm using Mathematica to check if the given vectors are Killing vectors or not, and by hand for simple vector like $\xi=\partial_t$ I get the ...
1
vote
1answer
479 views

'Easy way' of finding out the Killing vector fields?

Is there a way for calculating the Killing vector fields of a given metric in a quick way? Sure I can guess looking at the metric at the symmetries, and then guess some of them, but, for instance, in ...
6
votes
1answer
399 views

energy momentum tensor and covariant derivative

In field theory, the energy momentum defined as the functional derivative wrt the metric $T_{\mu\nu}=\frac{2}{\sqrt{-g}}\frac{\delta S}{\delta g^{\mu\nu}}$ (up to a sign depending on ...
0
votes
1answer
66 views

Why is it suffice to show Tensorial identity on a tensor composed of two vectors?

I've encounter many proves of Tensorail identity that begin with assuming our tensor can be written in form of: $T^{\alpha\beta}=u^{\alpha}v^{\beta}$ . As helpful is it might be, I'm not sure if its ...
1
vote
2answers
411 views

Kronecker delta confusion

I'm confused about the Kronecker delta. In the context of four-dimensional spacetime, multiplying the metric tensor by its inverse, I've seen (where the upstairs and downstairs indices are the same): ...
5
votes
1answer
257 views

When a variation of a tensor is not a tensor?

In a comment about variation of metric tensor it was shown that $$\delta g_{\mu\nu}=-g_{\mu\rho}g_{\nu\,\sigma}\delta g^{\rho\,\sigma}$$ which is contrary to the usual rule of lowering indeces of a ...
2
votes
1answer
1k views

Stress energy tensor of a perfect fluid and four-velocity

In the following demonstration, there is an error, but I cannot find where. (I explicitely put the $c^2$ to keep track of units). We consider a metric $g_{\mu\nu}$ with a signature $(-, +, +, +)$ : ...
3
votes
1answer
191 views

Sign crazyness on the stress energy tensor?

I would like to know on what depends the sign of the stress energy tensor in the following formula : $T_{\mu\nu}=\pm(\rho c^2+P)u_{\mu}u_{\nu} \pm P g_{\mu\nu}$ In my case the metric is equal to ...
1
vote
0answers
123 views

Lecture Notes confusion: Constructing the Einstein Equation

This question is on the construction of the Einstein Field Equation. In my notes, it is said that The most general form of the Ricci tensor $R_{ab}$ is $$R_{ab}=AT_{ab}+Bg_{ab}+CRg_{ab}$$ ...
0
votes
1answer
333 views

Contraction of the metric tensor

This is perhaps a simple tensor calculus problem -- but I just can't see why... I have notes (in GR) that contains a proof of the statement In space of constant sectional curvature, $K$ is ...
0
votes
1answer
47 views

Zero-zero (lower indicies) term for affine connection ($\Gamma_{00}^\lambda$), why do some terms dissapear?

More simply a tensor algebra question, but in General relativity I have the following when I calculate $\Gamma_{00}^\lambda$:- $$ \Gamma_{00}^\lambda = \frac{1}{2}g^{\nu\lambda}\left( \frac{\partial ...
2
votes
1answer
425 views

Ricci identity/Riemann curvature tensor and covectors

Can somebody please explain to me how the following statement is true? The Riemann curvature tensor $R^c_{dab}$ is given by the Ricci identity $$(\nabla_a\nabla_b-\nabla_b\nabla_a)V^c\equiv ...
4
votes
2answers
190 views

Difference between slanted indices on a tensor

In my class, there is no distinction made between, $$ C_{ab}{}^{b} $$ and $$ C^{b}{}_{ab}. $$ All I know, and read about so far, is the distinction of covariant and contravariant, form/vector, etc. ...
0
votes
0answers
253 views

covarient derivative of electromagnetic field tensor

I'm trying to prove the energy momentum tensor in curved spacetime for Electromagnetic field is Divergence-less directly(Without using general lie derivative method which can prove any energy momentum ...
2
votes
1answer
93 views

Non-diagonal elements when switching metric signature?

Considering a metric tensor with the signature $(-,+,+,+)$: $g_{\mu\nu}= \begin{pmatrix} -c^2 & g_{01} & g_{02} & g_{03}\\ g_{10} & a^2 & g_{12} & g_{13}\\ g_{20} & g_{21} ...
1
vote
2answers
336 views

What is the Riemann curvature tensor contracted with the metric tensor?

Can the Ricci curvature tensor be obtained by a 'double contraction' of the Riemann curvature tensor? For example $R_{\mu\nu}=g^{\sigma\rho}R_{\sigma\mu\rho\nu}$.
9
votes
3answers
3k views

Why is the covariant derivative of the metric tensor zero?

I've consulted several books for the explanation of why $$\nabla _{\mu}g_{\alpha \beta} = 0,$$ and hence derive the relation between metric tensor and affine connection $\Gamma ^{\sigma}_{\mu ...
6
votes
4answers
659 views

Are covariant vectors representable as row vectors and contravariant as column vectors

I would like to know what are the range of validity of the following statement: Covariant vectors are representable as row vectors. Contravariant vectors are representable as column vectors. ...
4
votes
1answer
939 views

Covariant derivative and Leibniz rule

I read the Wikipedia page about the covariant derivative, my main problem is in this part: http://en.wikipedia.org/wiki/Covariant_derivative#Coordinate_description Some of the formulas seem to lead ...
1
vote
1answer
598 views

metric signature explanation

Can anyone explain what metric signature is? I have a basic knowledge regarding tensors, btw. Also, how is it related to fundamental understanding of general relativity? Thanks.
2
votes
1answer
133 views

Question from Schutz's

In q. 22 in page 141, I am asked to show that if $U^{\alpha}\nabla_{\alpha} V^{\beta} = W^{\beta}$, then $U^{\alpha}\nabla_{\alpha}V_{\beta}=W_{\beta}$. Here's what I have done: $V_{\beta}=g_{\beta ...
2
votes
1answer
137 views

Are there any clear and expressive plainword sense of metric tensor components?

Can the following groups of components of metric tensor can assigned a clear sense? https://docs.google.com/drawings/pub?id=1kVqkN1gT-a2fDy2S851l9iQKaMfaatCDo517OSZBHEo&w=467&h=228 I have ...
6
votes
2answers
129 views

Torsion and gauge invariant EM kinetic term

Everytime I hear about adding torsion to GR, something struggles me: how do you create a kinetic term for the electromagnetic field that is still gauge-invariant? One of the consequences of torsion is ...
0
votes
3answers
486 views

Need some basic help with notation and the Christoffel symbols

Apologies in advance if some of the questions below seem overly simple. In an introductory GR book, I find the following expression for the autoparallel of the affine connection (the upper bound of ...
22
votes
4answers
4k views

What is the physical meaning of the connection and the curvature tensor?

Regarding general relativity: What is the physical meaning of the Christoffel symbol ($\Gamma^i_{\ jk}$)? What are the (preferably physical) differences between the Riemann curvature tensor ($R^i_{\ ...