I Compute EOM for Spin Connection from Einstein-Palatini Action

  • I
  • Thread starter Thread starter Lactose
  • Start date Start date
  • Tags Tags
    Connection Torsion
Lactose
Messages
2
Reaction score
0
I was trying to compute the equations of motion for the spin ##\omega_{\mu ab} ## connection from the Einstein-Palatini action
$$S := \int d^4 x e^\mu{}_ae^\nu{}_b R_{\mu \nu}{}^{ab}.$$
I managed to get the variation wrt. the connection to the form
$$ \varepsilon_{abcd}\varepsilon^{\mu \nu \rho \sigma} (D_\mu e^c{}_{\rho})e^d{}_\sigma = 0,$$
where latin indices denote frame (or flat) components and greek indices denote coordinate (or curved) components and ##D_\mu V^a= \partial_\mu V^a + \omega_{\mu}{}^a{}_c V^c## is the covariant derivative wrt. to the spin connection.
By the source (eq. 2.14) on page 14, the above is actually correct and then implies
$$T^a{}_{\mu\nu}:= 2D_{[\mu}e^a{}_{\nu]} = 0.$$
However, I do not see how this implication should work. I am pretty sure it has something to do with the contraction rules for epsilons and I already tried out:
  1. carrying out the summation in ##(d, \sigma)##, which gives contracted epsilons - did not work.
  2. multiplying the equation by epsilons corresponding to the free indices, giving contracted epsilons as well - did not work either.
Any hints or help to reach the conclusion would be much appreciated.
 
Physics news on Phys.org
As it is often the case, once one poses the question, one finds the answer.

For anyone interested in this, I give a quick summary now and try to write the full solution in the next few days.

Indeed my first ansatz was correct, but needed refinement:
So one first carries out the summation in ##(d, \sigma)## which gives the two contracted ##\varepsilon##, which then can be written as an antisymmetrisation of terms involving deltas like ##\delta^\mu_k \equiv e^\mu{}_k##, which we sort such that we see the antisymmetrization in ##[\mu, \nu]##.
Contracting the resulting equation now with a vielbein ## e^\nu{}_a## let's us deduce that
$$ e^\mu{}_k e^\nu{}_l D_{[\mu}e^k{}_{\nu]} = 0,$$
which also gives us
$$e^\mu{}_k D_{[\mu} e^k_{\nu]} = 0.$$
This we can then plug back into the equation which we contracted with ## e^\nu{}_a## and then all terms except one, namely
$$e^\rho{}_a e^\mu{}_k e^\mu{}_l D_{[\mu}e^a{}_{\nu]}$$
dissapear, so this on its own has to be zero.
We note that ##(\rho, k, l)## appear as free indices and hence can be multiplied away with vielbeins, so we are left with the desired equality.

I did my calculations for arbitrary dimension and the result holds for all dimensions unequal to 2.
 
OK, so this has bugged me for a while about the equivalence principle and the black hole information paradox. If black holes "evaporate" via Hawking radiation, then they cannot exist forever. So, from my external perspective, watching the person fall in, they slow down, freeze, and redshift to "nothing," but never cross the event horizon. Does the equivalence principle say my perspective is valid? If it does, is it possible that that person really never crossed the event horizon? The...
ASSUMPTIONS 1. Two identical clocks A and B in the same inertial frame are stationary relative to each other a fixed distance L apart. Time passes at the same rate for both. 2. Both clocks are able to send/receive light signals and to write/read the send/receive times into signals. 3. The speed of light is anisotropic. METHOD 1. At time t[A1] and time t[B1], clock A sends a light signal to clock B. The clock B time is unknown to A. 2. Clock B receives the signal from A at time t[B2] and...
From $$0 = \delta(g^{\alpha\mu}g_{\mu\nu}) = g^{\alpha\mu} \delta g_{\mu\nu} + g_{\mu\nu} \delta g^{\alpha\mu}$$ we have $$g^{\alpha\mu} \delta g_{\mu\nu} = -g_{\mu\nu} \delta g^{\alpha\mu} \,\, . $$ Multiply both sides by ##g_{\alpha\beta}## to get $$\delta g_{\beta\nu} = -g_{\alpha\beta} g_{\mu\nu} \delta g^{\alpha\mu} \qquad(*)$$ (This is Dirac's eq. (26.9) in "GTR".) On the other hand, the variation ##\delta g^{\alpha\mu} = \bar{g}^{\alpha\mu} - g^{\alpha\mu}## should be a tensor...

Similar threads

Back
Top