|
|
| Line 1: |
Line 1: |
| In [[differential geometry]] and [[mathematical physics]], a '''spin connection''' is a [[connection (vector bundle)|connection]] on a [[spinor bundle]]. It is induced, in a canonical manner, from the [[affine connection]]. It can also be regarded as the [[gauge field]] generated by local [[Lorentz transformation]]s. In some canonical formulations of general relativity, a spin connection is defined on spatial slices and can also be regarded as the gauge field generated by local [[rotations]].
| | The name of the author is Jayson. Her family life in Ohio. Credit authorising is how she makes a residing. It's not a typical thing but what she likes doing is to play domino but she doesn't have the time recently.<br><br>Here is my web blog ... online psychics ([http://Chungmuroresidence.com/xe/reservation_branch2/152663 pop over to this web-site]) |
| | |
| ==Definition==
| |
| | |
| Let us first introduce the local Lorentz [[frame field]]s or [[Cartan connection applications|vierbein]] (also known as a tetrad) <math>e_\nu^I</math>, this is basically four orthogonal space time vector fields labeled by <math>I = 1,2,3,4</math>. Orthogonal meaning
| |
| | |
| <math>g^{\mu \nu} e_\mu^I e_\nu^J = \eta^{IJ}</math>
| |
| | |
| where <math>g^{\mu \nu}</math> is the inverse matrix of <math>g_{\mu \nu}</math> is the spacetime metric and <math>\eta^{IJ}</math> is the Minkowski metric. Here, capital letters denote the local [[Lorentz]] frame indices; Greek indices denote general coordinate indices. The spacetime metric can be expressed by
| |
| | |
| <math>g_{\mu \nu} = e_\mu^I e_\nu^J \eta_{IJ}</math>
| |
| | |
| which simply expresses that <math>g_{\mu \nu}</math>, when written in terms of the basis <math>e^I_\mu</math>, is locally flat.
| |
| | |
| The spin connection <math>\omega^{\ IJ}_{\mu}</math> defines a covariant derivative <math>D_\mu</math> on generalized tensors. For example its action on <math>V_\nu^I</math> is | |
| | |
| <math>D_\mu V_\nu^I = \partial_\mu V_\nu^I + \omega_{\mu \ J}^{\ I} V^J_\nu - \Gamma_{\mu \nu}^\sigma V_\sigma^I</math>
| |
| | |
| where <math>\Gamma^\nu_{\sigma\mu}</math> is the [[affine connection]]. The connection is said to be compatible to the vierbein if it satisfies
| |
| | |
| <math>D_\mu e^I_\nu = 0.</math>
| |
| | |
| The spin connection <math>\omega^{\ IJ}_{\mu}</math> is then given by:
| |
| | |
| :<math>\omega_{\mu}^{\ IJ} = e^I_\nu \partial_\mu e^{\nu J} + e^I_\nu e^{\sigma J} \Gamma^\nu_{\sigma\mu}</math>
| |
| | |
| where we have introduced the dual-vierbein <math>e_I^\mu</math> satisfying <math>e^I_\mu e_J^\mu = \delta^I_J</math> and <math>e^J_\mu e_J^\nu = \delta^\nu_\mu</math>. We expect that <math>D_\mu</math> will also annihilate the Minkowski metric <math>\eta_{IJ}</math>,
| |
| | |
| <math>D_\mu \eta_{IJ} = \partial_a \eta_{IJ} + \omega_{\mu}^{ \ IK} \eta_{KJ} + \omega_{\mu}^{ \ JK} \eta_{IK} = 0. </math>
| |
| | |
| This implies that the connection is anti-symmetric in its internal indices, <math>\omega_{\mu}^{ \ IJ} = - \omega_{\mu}^{ \ JI}</math>.
| |
| | |
| By substituting the formula for the affine connection <math>\Gamma^\nu_{\sigma \mu} = {1 \over 2} g^{\nu \delta} (\partial_\sigma g_{\delta \mu} + \partial_\mu g_{\sigma \delta} - \partial_\delta g_{\sigma \mu})</math> written in terms of the <math>e^I_\mu</math>, the spin connection can be written entirely in terms of the <math>e^I_\mu</math>,
| |
| | |
| <math>\omega_{\mu}^{\ IJ} = {1 \over 2} e^{\nu [I} (e_{\mu , \nu}^{J]} - e_{\nu , \mu}^{J]} + e^{J] \sigma} e_\mu^K e_{\nu , \sigma K}).</math>
| |
| | |
| To directly solve the compatibility condition for the spin connection <math>\omega_{\mu}^{ \ IJ}</math>, one can use the same trick that was used to solve <math>\nabla_\rho g_{\alpha \beta} = 0</math> for the affine connection <math>\Gamma_{\alpha \beta}^\gamma</math>. First contract the compatibility condition to give
| |
| | |
| <math>e_J^\alpha e_K^\beta (\partial_{[\alpha} e_{\beta] I} + \omega_{[\alpha I}^{\;\;\;\; L} e_{\beta ] L}) = 0</math>.
| |
| | |
| Then, do a cyclic permutation of the free indices <math>I,J,</math> and <math>K</math>, and add and subtract the three resulting equations:
| |
| | |
| <math>\Omega_{JKI} + \Omega_{IJK} - \Omega_{KIJ} + 2 e_J^\alpha \omega_{\alpha IK} = 0</math>
| |
| | |
| where we have used the definition <math>\Omega_{JKI} := e_J^\alpha e_K^\beta \partial_{[\alpha} e_{\beta ] I}</math>. The solution for the spin connection is
| |
| | |
| <math>\omega_{\alpha KI} = {1 \over 2} e_\alpha^J (\Omega_{JKI} + \Omega_{IJK} - \Omega_{KIJ})</math>.
| |
| | |
| From this we obtain the same formula as before.
| |
| | |
| ==Applications==
| |
| | |
| The spin connection arises in the [[Dirac equation]] when expressed in the language of [[curved spacetime]]. Specifically there are problems coupling gravity to [[spinor]] fields: there are no finite dimensional spinor representations of the general covariance group. However, there are of course spinorial representations of the [[Lorentz group]]. This fact is utilized by employing tetrad fields describing a flat tangent space at every point of spacetime. The [[Dirac matrices]] <math>\gamma^I</math> are contracted onto vierbiens,
| |
| | |
| <math>\gamma^I e_I^\mu (x) = \gamma^\mu (x)</math>.
| |
| | |
| We wish to construct a generally covariant Dirac equation. Under a flat tangent space [[Lorentz transformation]] transforms the spinor as
| |
| | |
| <math>\psi \mapsto e^{i \epsilon^{IJ} (x) \sigma_{IJ}} \psi</math>
| |
| | |
| We have introduced local Lorentz transformatins on flat tangent space, so <math>\epsilon_{IJ}</math> is a function of space-time. This means that the partial derivative of a spinor is no longer a genuine tensor. As usual, one introduces a connection field <math>\omega_\mu^{IJ}</math> that allows us to gauge the Lorentz group. The covariant derivative defined with the spin connection is,
| |
| | |
| <math>\nabla_\mu \psi = (\partial_\mu - {i \over 4} \omega_\mu^{IJ} \sigma_{IJ}) \psi</math>,
| |
| | |
| and is a genuine tensor and Dirac's equation is rewritten as
| |
| | |
| <math>(i \gamma^\mu \nabla_\mu - m) \psi = 0</math>.
| |
| | |
| The generally covariant fermion action couples fermions to gravity when added to the first order [[tetradic Palatini action]],
| |
| | |
| <math>\mathcal{L} = - {1 \over 2 \kappa^2} e e_I^\mu e_J^\nu \Omega_{\mu \nu}^{\;\;\;\; IJ} [\omega] + e \overline{\psi} (i \gamma^\mu \nabla_\mu - m) \psi</math>
| |
| | |
| where <math>e := \det e_\mu^I</math> and <math>\Omega_{\mu \nu}^{\;\;\;\; IJ}</math> is the curvature of the spin connection.
| |
| | |
| The tetradic Palatini formulation of general relativity which is a first order formulation of the [[Einstein-Hilbert action]] where the tetrad and the spin connection are the basic independent variables. In the 3+1 version of Palatini formulation, the information about the spatial metric, <math>q_{ab} (x)</math>, is encoded in the triad <math>e_a^i</math> (three dimensional, spatial version of the tetrad). Here we extend the metric compatibility condition <math>D_a q_{bc} = 0</math> to <math>e_a^i</math>, that is, <math>D_a e_b^i = 0</math> and we obtain a formula similar to the one given above but for the spatial spin connection <math>\Gamma_a^{ij}</math>.
| |
| | |
| The spatial spin connection appears in the definition of Ashtekar-Barbero variables which allows 3+1 general relativity to be rewritten as a special type of <math>SU(2)</math> [[Yang-Mills]] gauge theory. One defines <math>\Gamma_a^i = \epsilon^{ijk} \Gamma_a^{jk}</math>. The Ashtekar-Barbero connection variable is then defined as <math>A_a^i = \Gamma_a^i + \beta K_a^i</math> where <math>K_a^i = K_{ab} e^{bi}</math> and <math>K_{ab}</math> is the extrinsic [[curvature]]. With <math>A_a^i</math> as the configuration variable, the conjugate momentum is the densitized triad <math>E_a^i = |det (e)| e_a^i</math>. With 3+1 general relativity rewritten as a special type of <math>SU(2)</math> [[Yang-Mills]] gauge theory, it allows the importation of non-perturbative techniques used in [[Quantum chromodynamics]] to canonical quantum general relativity.
| |
| | |
| ==See also==
| |
| | |
| * [[Ashtekar variables]]
| |
| * [[Dirac operator]]
| |
| * [[Cartan connection]]
| |
| * [[Einstein-Cartan theory]]
| |
| * [[Gamma matrices]]
| |
| * [[General relativity]]
| |
| * [[Levi-Civita connection]]
| |
| * [[Particle physics]]
| |
| * [[Quantum field theory]]
| |
| * [[Ricci calculus]]
| |
| * [[Supergravity]]
| |
| * [[Torsion tensor]]
| |
| | |
| ==References==
| |
| *Hehl, F.W.; von der Heyde, P.; Kerlick, G.D.; Nester, J.M. (1976), [http://rmp.aps.org/abstract/RMP/v48/i3/p393_1 "General relativity with spin and torsion: Foundations and prospects"], Rev. Mod. Phys. '''48''', 393.
| |
| *[[Tom W. B. Kibble|Kibble, T.W.B.]] (1961), [http://dx.doi.org/10.1063/1.1703702 "Lorentz invariance and the gravitational field"], J. Math. Phys. '''2''', 212.
| |
| *[[Nikodem Poplawski|Poplawski, N.J.]] (2009), "Spacetime and fields", [http://arxiv.org/abs/0911.0334 arXiv:0911.0334]
| |
| *[[Dennis W. Sciama|Sciama, D.W.]] (1964), [http://rmp.aps.org/abstract/RMP/v36/i1/p463_1 "The physical structure of general relativity"], Rev. Mod. Phys. '''36''', 463.
| |
| | |
| [[Category:Connection (mathematics)]]
| |
| [[Category:Spinors]]
| |
| [[Category:Differential geometry]]
| |
The name of the author is Jayson. Her family life in Ohio. Credit authorising is how she makes a residing. It's not a typical thing but what she likes doing is to play domino but she doesn't have the time recently.
Here is my web blog ... online psychics (pop over to this web-site)