
#1
Jan1311, 11:28 AM

P: 65

I was reading in a paper for Chamseddine the following:
"In the past many attempts were made to construct gravity as a gauge theory of the Lorentz or Poincar6 groups in four dimensions . It later became clear that if both the vierbein and the spin connection are to be viewed as gauge fields, the Einstein action is then only invariant under a constrained symmetry where the torsion is set to zero." I know that the first attempts to construct such a gauge theory were made by Utiyama and Kibble, but how does viewing the vierbein and spin connection as gauge fields lead to the idea that torsion is zero? Can someone give me some simple explanation for that? or may be advice me some reference to read? Thanks in advance. 



#2
Jan1311, 05:03 PM

PF Gold
P: 4,081

This paper is worth a look, although they don't address the torsion/notorsion issue in great detail. arXiv:grqc/9602013, "On the Gauge Aspects of Gravity", Gronwald & Hehl. 



#3
Jan1311, 05:41 PM

Sci Advisor
HW Helper
P: 11,866

I don't have an expertise on this, but doesn't the normal (Palatini or Hilbert) action integral for gravity have the simple form it has only because the torsion is set to zero by hypothesis ? To me the answer is yes, so what the quoted author's saying is kinda trivial. Even in the Palatini formalism in the vierbeinspinconnection variant, the torsion is still zero, in the absence of a consistent coupling to some halfintegral spinorial field.




#4
Jan1311, 06:38 PM

PF Gold
P: 4,081

vierbeins and spin connections as gauge fields of gravity[tex] {\Gamma^m}_{ab} = \frac{1}{2}g^{mk}(g_{ak,b}+g_{bk,a}g_{ab,k}) [/tex] which are symmetric in a,b if the metric is symmetric. Does this ensure there's no torsion ? 



#5
Jan1411, 12:46 AM

P: 65

Hi Mentz114
The Christoffel symbols take this form [tex] {\Gamma^m}_{ab} = \frac{1}{2}g^{mk}(g_{ak,b}+g_{bk,a}g_{ab,k}) [/tex] only when there is no torsion in the manifold, but i don't think this has anything to do with the existence or nonexistence of a metric. I mean even when there is no torsion, these symbols could be written in terms of metric components and maybe other christoffel symbols, of course they won't be in the same form and maybe not even have in an explicit form. Am I right? 



#6
Jan1411, 02:40 AM

Sci Advisor
HW Helper
P: 11,866

To keep things rigorous, the Christoffel symbols always have that form and are noted with brackets, that's their definition, irrespective of curvature or torsion. However, the components of a general affine connection, which are always noted by [itex] \Gamma^{m}_{~ab} [/itex], contain other terms depending on the contortion tensor and the nonmetricity tensor.
For normal GR, there's no torsion, so the connection components are equal to the Christoffel symbols. 



#7
Jan1411, 02:41 AM

Sci Advisor
P: 869

* A vielbein and a spin connection, which are independent * As gauge you have local translations, local rotations and general coordinate transformations But you want the spin connection to become dependent (you don't want those extra degrees of freedom), and you want to get rid of the "local translations", which are not globally defined on a curved manifold. The solution to both problems is to put the torsion (or, the curvature of translations!) to zero, R(P)=0. Only then you can write down the Hilbert action, which is invariant under local rotations and general coordinate transformations, and obtain Einstein's theory. 



#8
Jan1411, 03:50 AM

P: 65





#9
Jan1411, 06:26 AM

Sci Advisor
P: 869

[tex] \delta_{gct}(\xi^{\lambda})B_{\mu}^a = \xi^{\lambda}R_{\lambda\mu}^a(B) + \sum_{\{b\}}\delta(\xi^{\lambda}B_{\lambda}^{b})B_{\mu}^a [/tex] Here, B is a gauge field, and the sum b is over all the gauge transformations on the field B, with the specific gauge parameter mentioned. If you're not convinced, plug in the explicit definitions of curvatures and gauge transformations for a general algebra, [tex] \delta(\epsilon)B_{\mu}^a = \partial_{\mu}\epsilon^a  \epsilon^b B_{\mu}^c f_{bc}^a [/tex] and [tex] R_{\mu\nu}^a (B) = 2\partial_{[\mu}B_{\nu]}^a + B_{\mu}^b B_{\nu}^c f_{bc}^a [/tex] Now, apply this to the Poincare algebra.This gives [tex] \xi^{\lambda}\partial_{\lambda}e_{\mu}^a + \partial_{\mu}\xi^{\lambda}e_{\lambda}^a & = \xi^{\lambda}R_{\lambda\mu}^a (P) + \delta_{P}(\xi^{\lambda}e_{\lambda}^b)e_{\mu}^a + \delta_M(\xi^{\lambda}\omega_{\lambda}^{ef})e_{\mu}^a [/tex] and [tex] \xi^{\lambda}\partial_{\lambda}\omega_{\mu}^{ab} + \partial_{\mu}\xi^{\lambda}\omega_{\lambda}^{ab} & = \xi^{\lambda}R_{\lambda\mu}^{ab} (M) + \delta_{P}(\xi^{\lambda}e_{\lambda}^b)\omega_{\mu}^{ab} + \delta_M(\xi^{\lambda}\omega_{\lambda}^{ef})\omega_{\mu}^{ab} [/tex] Now, putting R(P)=0 does two things for you: [*] You can rewrite a Ptransformation on the vielbein as a gct plus a local Lorentz transformation; so it can be eliminated, and [*] The spin connection becomes dependent The first step is achieved by choosing a very specific vector xi for your general coordinate transformations, namely [tex] \xi^{\lambda} = e^{\lambda}{}_a \zeta^a [/tex] where zeta parametrizes the local P transformation. Ofcourse, now the spin connection depends on the vielbein, potentially you could ruin its transformation properties! However, you can directly check (but this is quite tedious!) that the dependent spin connection still transforms in the same way under local Lorentz transformations as before; a hint of this is given by the fact that according to the algebra, the R(P)=0 constraint is invariant under Local Lorentz transformations. But, the R(P)=0 constraint is NOT invariant under local P transformations! The dependent spin connection now suddenly does transform under Ptransformations according to the algebra, and in a very nasty way. However, this poses no problem; the Ptransformation can be "removed" from the vielbein (it is a combination of a gct and a local Lorentz transformation), so you don't care about this. 



#10
Jan1511, 03:33 PM

P: 65

Thanks haushoffer! :) that was of good help!




#11
Jan1711, 05:04 AM

Sci Advisor
P: 869

Glad I could help. It's important, because in a lot of SUGRA texts people motivate SUGRA by stating that gauging the SUSYtransformations, one obtains local translations, which seem to indicate that a theory with local SUSY should also somehow incorporate diffeomorphisms as symmetry transformations, hence gravity.
But of course, diffeomorphisms are not local translations. You need to impose constraints in order to do so, which is nontrivial. 


Register to reply 
Related Discussions  
Unification of gravity, gauge fields, and Higgs bosons  Beyond the Standard Model  11  
vierbeins and spin connections kinetic terms (probably a stupid question)  Special & General Relativity  2  
Differential geometry in Gauge Fields, Knots and Gravity?  General Physics  4 