Vielbein Postulate: Unpacking Carroll's Derivation

  • Thread starter Thread starter haushofer
  • Start date Start date
haushofer
Science Advisor
Insights Author
Messages
3,063
Reaction score
1,581
Hi,

I have a question on the vielbein postulate. By this I mean

<br /> \nabla_{\mu}e_{\nu}^a = \partial_{\mu}e_{\nu}^a - \Gamma_{\mu\nu}^{\rho}e_{\rho}^a + \omega_{\mu}^{\ a}_{\ b}e_{\nu}^b \equiv D_{\mu}e_{\nu}^a - \Gamma_{\mu\nu}^{\rho}e_{\rho}^a = 0<br />

Someone like Carrol derives this from rewriting the covariant derivative of a vector field X in a coordinate basis and a general basis, so in that sense it's a statement that the index-free object \nabla X doesn't care about being described by a coordinate basis or a general basis, right? He explicitly says,

"Note that this is always true; we did not need to assume anything about the connection in order to derive it."

So, covariance (you have the freedom to write any tensor in any basis you like) would then automatically imply the vielbein postulate. Somehow, I don't feel comfortable with this. In GR, saying that the metric is "covariantly constant", \nabla_{\rho}g_{\mu\nu}=0, enables us to express the Levi Civita connection in terms of the metric, which I'll call the metric postulate. We can do the same thing with the vielbeins by saying that the curvature of the vielbein disappears, R_{\mu\nu}(e_{\rho}^a)=0. But doesn't the vielbein postulate already implies the metric postulate?

So, I'm a little puzzled by the precise relation between the metric postulate and the vielbein postulate, and I'm wondering if the vielbein postulate follows from covariance. I ofcourse understand that in some sense the vielbein postulate is just a way of putting constraints on the vielbein and that antisymmetrizing this constraint gives you information about the torsion, but can someone shed a light on this?
 
Physics news on Phys.org
It would help if you posted some definitions and part of the derivation that you don't like. (You don't have to define the connection, covariant derivative or the Christoffel symbol, but at least explain the e and the omega, and what you meant by rewrite in a coordinate basis and a general basis).
 
According to to Wald (3.4.16) the antisymmetry of the Christoffel symbols implies torsion freeness, whereas the antisymmetry of the connection one-forms implies metric compatibility.
 
Fredrik said:
It would help if you posted some definitions and part of the derivation that you don't like. (You don't have to define the connection, covariant derivative or the Christoffel symbol, but at least explain the e and the omega, and what you meant by rewrite in a coordinate basis and a general basis).

Ah, ok, sorry. The e is the vielbein e_{\mu}^a with inverse e^{\mu}_a satisfying

<br /> g_{\mu\nu} = e_{\mu}^a e_{\nu}^b \eta_{ab}<br />

and the omega is the spinconnection which can be defined by

<br /> \nabla_{\mu}X^a = \partial_{\mu}X^a + \omega_{\mu}^a_{\ b}X^b<br />

By a "general basis" I ment a "non-coordinate basis",

<br /> \hat{e}_{a} = e_a^{\mu}\partial_{\mu}<br /> [/tex]<br /> <br /> I&#039;ll take a look at Wald, but I think I already start to see things here. :) The point is that a lot of people seem to &quot;postulate&quot; the vielbein&quot;postulate&quot; as a constraint, but as I now see it it&#039;s really a consequence of covariance.
 
I asked a question here, probably over 15 years ago on entanglement and I appreciated the thoughtful answers I received back then. The intervening years haven't made me any more knowledgeable in physics, so forgive my naïveté ! If a have a piece of paper in an area of high gravity, lets say near a black hole, and I draw a triangle on this paper and 'measure' the angles of the triangle, will they add to 180 degrees? How about if I'm looking at this paper outside of the (reasonable)...
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