Compute EOM for Spin Connection from Einstein-Palatini Action

  • Context: Undergrad 
  • Thread starter Thread starter Lactose
  • Start date Start date
  • Tags Tags
    Connection Torsion
Click For Summary
SUMMARY

The discussion focuses on computing the equations of motion for the spin connection ##\omega_{\mu ab}## derived from the Einstein-Palatini action, represented as $$S := \int d^4 x e^\mu{}_ae^\nu{}_b R_{\mu \nu}{}^{ab}.$$ The variation of the connection leads to the equation $$\varepsilon_{abcd}\varepsilon^{\mu \nu \rho \sigma} (D_\mu e^c{}_{\rho})e^d{}_\sigma = 0.$$ The implication of this equation is that $$T^a{}_{\mu\nu}:= 2D_{[\mu}e^a{}_{\nu]} = 0.$$ The author successfully refines their approach by utilizing antisymmetrization and vielbeins, ultimately confirming that the derived equality holds for all dimensions except 2.

PREREQUISITES
  • Understanding of Einstein-Palatini action
  • Familiarity with spin connections and covariant derivatives
  • Knowledge of antisymmetrization and epsilon tensor properties
  • Proficiency in tensor calculus and vielbeins
NEXT STEPS
  • Study the properties of the epsilon tensor in tensor calculus
  • Explore the role of vielbeins in general relativity
  • Learn about the implications of the Einstein-Palatini action in higher dimensions
  • Investigate the derivation of equations of motion in gauge theories
USEFUL FOR

The discussion is beneficial for theoretical physicists, particularly those specializing in general relativity, gauge theories, and differential geometry, as well as graduate students seeking to deepen their understanding of spin connections and the Einstein-Palatini framework.

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.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 12 ·
Replies
12
Views
4K
  • · Replies 22 ·
Replies
22
Views
4K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 3 ·
Replies
3
Views
3K
Replies
42
Views
5K
  • · Replies 0 ·
Replies
0
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K