Fact-checked by Grok 2 weeks ago

Spin connection

In differential geometry and mathematical physics, a spin connection is a connection on a spinor bundle over a pseudo-Riemannian manifold equipped with a spin structure, canonically induced from an affine connection (typically the Levi-Civita connection) on the tangent bundle; it facilitates the parallel transport of spinor fields by providing a local orthonormal frame compatible with the manifold's metric and orientation.^[1] Mathematically, for a principal Spin(n)-bundle P over an n-dimensional manifold M, the spin connection is a Lie algebra-valued 1-form Ω ∈ Ω¹(P, spin(n)) satisfying equivariance under the right Spin(n)-action (R_g^* Ω = Ad_{g^{-1}} Ω) and reproducing fundamental vector fields (Ω(X^♯) = X for X ∈ spin(n)), which lifts to define the covariant derivative on associated spinor bundles S = P ×Spin(n) Δ_n, where Δ_n is the spinor representation space.^[1] This structure exists precisely when the second Stiefel-Whitney class w₂(M) vanishes, ensuring the manifold admits a spin structure as a double cover of the orthonormal frame bundle.^[1] In physics, particularly general relativity, the spin connection—often denoted ω_μ^{ab} with values in the Lorentz Lie algebra so(1,3)—arises in the tetrad (vielbein) formalism to maintain local Lorentz invariance for fields like spinors, derived explicitly from the metric via ω_μ^{ab} = e^{aλ} (∂μ e^b_λ + Γ^λ{μν} e^{bν}), where e^a_μ are the vielbein fields and Γ^λ{μν} are Christoffel symbols; it enters the Dirac operator as ∇_μ ψ = ∂_μ ψ + (1/4) ω_μ^{ab} γ_a γ_b ψ,^[2] enabling the description of fermions in curved spacetime.^[3] The spin connection encodes the geometry's influence on spin degrees of freedom, playing a central role in formulations of gravity as a gauge theory of the Lorentz group and in applications to quantum field theory on curved backgrounds, such as Hawking radiation calculations.^[3]

Preliminaries

Vielbeins and Local Frames

In curved spacetime, the vielbein (also known as tetrad) field e^a_\mu provides an orthonormal basis for the tangent space at each point, mapping it to a local Minkowski space with flat metric \eta_{ab} = \operatorname{diag}(-1,1,1,1).^[4] Here, Greek indices \mu, \nu, \dots run over spacetime coordinates (0 to 3), while Latin indices a, b, \dots denote the local Lorentz frame. The vielbein satisfies the completeness relation e^a_\mu e^\nu_a = \delta^\nu_\mu, ensuring it forms a complete basis, and its inverse allows reconstruction of the spacetime metric as g_{\mu\nu} = e^a_\mu e^b_\nu \eta_{ab}.^[4] This formulation facilitates the incorporation of local flatness, essential for coupling matter fields like spinors to gravity. At each spacetime point, the local frame can be rotated by local Lorentz transformations \Lambda^a_b(x), which act on the vielbein as e'^a_\mu = \Lambda^a_b e^b_\mu, preserving the Minkowski metric \eta_{ab} = \Lambda^c_a \Lambda^d_b \eta_{cd}.^[4] These position-dependent rotations reflect the freedom in choosing the orientation of the local frame, enabling the description of spacetime geometry in terms of both coordinate and internal symmetries. Such transformations are crucial for defining gauge-invariant quantities in theories involving spin. The vielbein formalism was introduced by Élie Cartan in the 1920s to generalize Riemannian geometry by incorporating local internal symmetries, allowing for a more natural treatment of torsion and curvature in general relativity. This approach laid the groundwork for handling fermionic fields, where spinors serve as sections of the spin bundle over the frame bundle and require a compatible connection for parallel transport along curves.

Connections in Geometry

In differential geometry, a connection on a vector bundle E \to M over a smooth manifold M is a device that equips the bundle with a notion of parallel transport, enabling the differentiation of sections along curves in the base. Formally, it is defined as a C^\infty(M)-bilinear map \nabla: \mathfrak{X}(M) \times \Gamma(E) \to \Gamma(E), where \mathfrak{X}(M) denotes the space of vector fields on M and \Gamma(E) the space of smooth sections of E, satisfying the Leibniz rule \nabla_X (f s) = X(f) s + f \nabla_X s for f \in C^\infty(M), X \in \mathfrak{X}(M), and s \in \Gamma(E).^[5] Locally, in a trivialization of E over an open set U \subset M, the covariant derivative takes the form \nabla_X s = X(s) + \Gamma(X, s), where \Gamma is the connection form, a matrix of 1-forms valued in the endomorphisms of the fiber.^[6] This structure allows parallel transport along a curve c: [0,1] \to M by solving the horizontal lift equation, yielding linear isomorphisms between fibers E_{c(0)} and E_{c(t)} that preserve the bundle's linear structure.^[7] Affine connections arise as a special case when the vector bundle is the tangent bundle TM \to M, providing a rule for parallel transporting tangent vectors and thus defining a covariant derivative on tensor fields derived from TM. In this setting, the connection coefficients are the Christoffel symbols, which encode how basis vectors change under differentiation. Principal connections, however, are defined more generally on principal bundles P \to M with structure group G, such as the frame bundle of a vector bundle, where the connection is a \mathfrak{g}-valued 1-form on P that is equivariant under the right G-action and reproduces infinitesimal group translations on vertical vectors.^[8] This distinction highlights that affine connections operate directly on vector bundle sections, while principal connections govern the geometry of frames and can be transferred to associated vector bundles via pullback: given a representation \rho: G \to \mathrm{GL}(V), the principal connection induces a covariant derivative on the associated bundle E = P \times_\rho V, including specialized cases like spinor bundles arising from spin representations.^[8] A fundamental property of any connection, whether affine or principal, is its compatibility with the bundle's structure, which ensures a consistent splitting of the tangent space of the total space into horizontal and vertical subbundles. For principal bundles, this manifests as the existence of unique horizontal lifts of curves from the base manifold, where a curve \tilde{c} in P is horizontal if its tangent vectors lie in the kernel of the connection form, allowing parallel transport to be independent of path choices within the horizontal distribution.^[8] On Riemannian manifolds, the Levi-Civita connection exemplifies an affine connection that is uniquely determined by being torsion-free and compatible with the metric on TM.^[9]

Definition

Formal Definition

The spin connection is a connection one-form on the principal bundle of local Lorentz frames, taking values in the Lie algebra \mathfrak{so}(1,3) of the Lorentz group SO(1,3). It is expressed in coordinate basis as \omega^a_b = \omega_\mu^a{}_b \, dx^\mu, where the components \omega_\mu^a{}_b are antisymmetric in the internal indices a, b = 0,1,2,3 due to the properties of the Lorentz algebra, and the form ensures compatibility with the metric structure in curved spacetime.^[10]^[11] Under local Lorentz transformations parameterized by a position-dependent matrix \Lambda(x) \in \mathrm{SO}(1,3), the spin connection transforms as a gauge field: \omega' = \Lambda \omega \Lambda^{-1} + \Lambda d\Lambda^{-1}, where d denotes the exterior derivative; this inhomogeneous transformation law preserves the parallel transport of internal indices along the manifold.^[10]^[11] The spin connection enters the covariant derivative acting on the vielbein fields e^a_\nu, which relate the local orthonormal frame to the coordinate basis via g_{\mu\nu} = e^a_\mu e^b_\nu \eta_{ab}. Metric compatibility requires the vanishing of the torsionful covariant derivative D_\mu e^a_\nu = \partial_\mu e^a_\nu + \omega_\mu^a{}_b e^b_\nu - \Gamma^\sigma_{\mu\nu} e^a_\sigma = 0, where \Gamma^\sigma_{\mu\nu} are the components of the affine connection on the tangent bundle.^[10] In general, allowing for torsion in the affine connection \nabla, the spin connection components are given by the pullback expression \omega_\mu^{ab} = e^{\nu a} \nabla_\mu e_\nu^b, which projects the covariant derivative of the vielbein onto the local Lorentz algebra; this form holds without assuming vanishing torsion and facilitates the coupling of spinorial fields to gravity.^[10]^[11]

Torsion-Free Case

In the torsion-free case, prevalent in standard general relativity, the spin connection \omega_\mu^{ab} is uniquely determined by requiring compatibility with the metric and vanishing torsion tensor, ensuring it corresponds to the Levi-Civita connection expressed in the local Lorentz frame. This determination holds in four-dimensional spacetime, where the choice of vielbein and the metric fully specify the connection without additional degrees of freedom.^[12] The explicit formula for the torsion-free spin connection in terms of the inverse vielbein e^{\nu a}, the vielbein e_\nu^b, and the Christoffel symbols \Gamma^\sigma_{\mu\nu} is given by

\omega_\mu^{ab} = e^{\nu a} \partial_\mu e_\nu^b - e^{\nu a} \Gamma^\sigma_{\mu\nu} e_\sigma^b,

which satisfies \omega_\mu^{ab} = -\omega_\mu^{ba}.^[12] This formula arises from solving the metric-compatibility condition \nabla_\mu e_\nu^a = 0 under the torsion-free assumption, where the Christoffel symbols encode the Levi-Civita structure. Computationally, the components can be obtained via the cyclic permutation method: starting from the first Cartan structure equation with zero torsion, one antisymmetrizes over cyclic permutations of spacetime indices \mu, \nu, \rho to isolate \omega_\mu^{ab} from the partial derivatives of the vielbeins. The resulting expression is

\omega_\mu^{ab} = \frac{1}{2} e^{a\nu} \left( \partial_\mu e^b{}_\nu - \partial_\nu e^b{}_\mu \right) - \frac{1}{2} e^{b\nu} \left( \partial_\mu e^a{}_\nu - \partial_\nu e^a{}_\mu \right) - \frac{1}{2} e^{a\rho} e^{b\sigma} e^c{}_\mu \left( \partial_\rho e_{c\sigma} - \partial_\sigma e_{c\rho} \right),

which is equivalent to the Christoffel-based formula upon substitution.^[13]

Cartan Formulation

First Structure Equation

In the Cartan formulation of differential geometry, the first structure equation relates the torsion two-form to the vielbein one-forms and the spin connection. The equation is given by

T^a = de^a + \omega^a{}_b \wedge e^b,

where T^a denotes the torsion two-form, e^a are the vielbein one-forms, and \omega^a{}_b is the spin connection one-form valued in the Lie algebra of the Lorentz group.^[12] This expression defines the spin connection as the connection form on the frame bundle, ensuring compatibility with the local orthonormal frame defined by the vielbeins. The torsion two-form T^a represents the exterior covariant derivative of the vielbein e^a, quantifying the failure of the frame to be integrable over the manifold. In other words, it measures the extent to which parallel transport along the connection deviates from preserving the local flat frame structure, capturing the intrinsic twisting or non-holonomicity of the geometry.^[12] In local coordinates, the components of the torsion two-form are extracted by expanding the wedge products and differentials, yielding

T^a_{\mu\nu} = \partial_\mu e^a_\nu - \partial_\nu e^a_\mu + \omega_\mu^a{}_b e^b_\nu - \omega_\nu^a{}_b e^b_\mu,

where Greek indices denote spacetime coordinates, and the antisymmetry in \mu\nu reflects the two-form nature. The torsion tensor in the coordinate basis is then T^\lambda{}_{\mu\nu} = e^\lambda_a T^a_{\mu\nu}, where e^\lambda_a is the inverse vielbein, providing the standard tensorial description used in component-based calculations.^[14]^[15] This equation bears a close analogy to the Maurer-Cartan equation for Lie groups, where the structure equation d\theta + \frac{1}{2} [\theta, \theta] = 0 describes the flat connection on the group manifold; in the Cartan setting, the first structure equation generalizes this to frame bundles with possible torsion, reducing to the Maurer-Cartan form when the torsion vanishes and the frame is adapted to a Lie group action.^[16]

Second Structure Equation

The second structure equation of Cartan relates the curvature two-form to the exterior derivative of the spin connection, providing a differential form expression for the intrinsic geometry encoded by the connection. Specifically, for a spin connection \omega^a{}_b, valued in the Lie algebra of the Lorentz group, the curvature two-form R^a{}_b is defined as

R^a{}_b = d\omega^a{}_b + \omega^a{}_c \wedge \omega^c{}_b,

where d denotes the exterior derivative and the wedge product \wedge accounts for the non-Abelian nature of the connection through the Lie bracket structure.^[17] This equation captures how parallel transport around infinitesimal loops deviates from flatness, measuring the local curvature of the manifold in the local Lorentz frame. In local coordinates, the components of the curvature two-form yield the Riemann curvature tensor components associated with the spin connection. Expanding the forms, \omega^a{}_b = \omega^a{}_{b\mu} dx^\mu and R^a{}_b = \frac{1}{2} R^a{}_{b\mu\nu} dx^\mu \wedge dx^\nu, the second structure equation implies

R^a{}_{\mu\nu b} = \partial_\mu \omega^a_{\nu b} - \partial_\nu \omega^a_{\mu b} + \omega^a_{\mu c} \omega^c_{\nu b} - \omega^a_{\nu c} \omega^c_{\mu b},

which parallels the standard expression for the Riemann tensor but in the anholonomic basis of the vielbein frame. This coordinate form highlights the antisymmetry in the \mu\nu indices and the role of the connection's "field strength" in generating curvature. From a gauge theory viewpoint, the spin connection \omega^a{}_b acts as a gauge potential for the local Lorentz group SO(3,1), with the curvature R^a{}_b serving as its associated field strength tensor, analogous to the non-Abelian field strengths in Yang-Mills theories. This interpretation underscores the geometric unification of gravity with gauge principles, where the second structure equation defines the dynamical response of spacetime to Lorentz transformations.

Derivation

From Metric Compatibility

The metric compatibility condition requires that the covariant derivative of the metric tensor vanishes, \nabla_\rho g_{\mu\nu} = 0. This expands to the relation \partial_\rho g_{\mu\nu} - \Gamma^\sigma_{\rho\mu} g_{\sigma\nu} - \Gamma^\sigma_{\rho\nu} g_{\mu\sigma} = 0, where \Gamma^\sigma_{\rho\mu} denotes the components of the affine connection compatible with the metric.^[3] In the vielbein formalism, the spacetime metric is expressed as g_{\mu\nu} = e^a_\mu e^b_\nu \eta_{ab}, with \eta_{ab} the constant flat Minkowski metric. Metric compatibility then implies that the corresponding spin covariant derivative preserves \eta_{ab}, so D_\rho \eta_{ab} = 0. Given that \partial_\rho \eta_{ab} = 0, this condition simplifies to \omega_{\rho\, a}{}^c \eta_{cb} + \omega_{\rho\, b}{}^c \eta_{ac} = 0, which enforces the antisymmetry \omega_{\rho\, ab} = -\omega_{\rho\, ba} in the flat indices, where \omega_{\rho\, ab} = \eta_{ac} \omega_{\rho}{}^c{}_b.^[18] The explicit form of the spin connection \omega_\mu{}^{ab} is obtained by imposing the vielbein postulate D_\mu e^a_\nu = 0, stating that the vielbeins are covariantly constant with respect to the combined curved and flat connections. This postulate expands to

\partial_\mu e^a_\nu - \Gamma^\lambda_{\mu\nu} e^a_\lambda + \omega_\mu{}^a{}_b e^b_\nu = 0.

To solve for \omega_\mu{}^{ab}, contract the equation with the inverse vielbein e_c^\nu, projecting onto the flat frame:

\omega_\mu{}^a{}_c = e_c^\nu \left( \Gamma^\lambda_{\mu\nu} e^a_\lambda - \partial_\mu e^a_\nu \right).

The antisymmetry \omega_\mu{}^{ab} = -\omega_\mu{}^{ba} (raised with \eta^{ab}) constrains the solution, ensuring consistency with metric compatibility. In general, the system of equations from the vielbein postulate, combined with antisymmetry, is solved by considering cyclic permutations of the indices \mu, \nu, \lambda (analogous to the Christoffel symbol derivation), yielding three independent cyclic equations that determine the spin connection components.^[11]

Under Torsion-Free Condition

In the coordinate basis, the torsion tensor is defined as T^\lambda_{\ \mu\nu} = \Gamma^\lambda_{\mu\nu} - \Gamma^\lambda_{\nu\mu}, and the torsion-free condition imposes T^\lambda_{\ \mu\nu} = 0, ensuring the affine connection coefficients are symmetric in the lower indices.^[3] This condition extends to the vielbein formalism via the first Cartan structure equation, where the torsion two-form T^a = de^a + \omega^a_{\ b} \wedge e^b = 0 in components yields T^a_{\mu\nu} = \partial_\mu e^a_\nu - \partial_\nu e^a_\mu + \omega^a_{\ b\mu} e^b_\nu - \omega^a_{\ b\nu} e^b_\mu = 0.^[3] Combining this torsion-free requirement with the metric compatibility condition \nabla_\mu e^a_\nu = 0 (or equivalently, the vanishing covariant derivative of the vielbein), which ensures the connection preserves the metric in the local Lorentz frame, forms a system of linear equations for the spin connection components \omega^{ab}_\mu = - \omega^{ba}_\mu.^[3] Solving this overdetermined system—accounting for the antisymmetry in the local indices a, b—uniquely determines the spin connection in terms of the vielbein and its first derivatives. The explicit torsion-free expression is obtained via cyclic permutations of the indices in the torsion equation (analogous to the derivation of Christoffel symbols from metric compatibility), yielding the unique solution compatible with both conditions. The uniqueness of this spin connection follows from the fundamental theorem of pseudo-Riemannian geometry: on a pseudo-Riemannian manifold equipped with a metric, there exists a unique torsion-free, metric-compatible connection (the Levi-Civita connection), and the spin connection is the unique lift of this affine connection to the orthonormal frame bundle under local Lorentz transformations.^[3] Any deviation would violate either metric compatibility or the vanishing torsion, confirming the expression's exclusivity in Levi-Civita geometry.

Properties and Relations

Relation to Christoffel Symbols

The spin connection \omega_\mu{}^a{}_b is intrinsically linked to the Christoffel symbols \Gamma^\lambda_{\mu\nu} of the Levi-Civita connection through the vielbein formalism, which bridges the curved spacetime indices with the local Lorentz frame indices. In the torsion-free case, the spin connection components are expressed as \omega_\mu{}^a{}_b = -e^\nu{}_b \nabla_\mu e^a{}_\nu, where the covariant derivative \nabla_\mu e^a{}_\nu = \partial_\mu e^a{}_\nu - \Gamma^\lambda_{\mu\nu} e^a{}_\lambda.^[19] This relation arises because the vielbeins e^a_\mu define an orthonormal basis at each point, and the spin connection encodes the adjustment needed for parallel transport within this local frame relative to the affine connection on the tangent bundle.^[19] Conversely, the Christoffel symbols can be reconstructed from the spin connection and vielbeins via the formula \Gamma^\lambda_{\mu\nu} = e^\lambda_a \left( \partial_\mu e^a_\nu + \omega_\mu{}^a{}_b e^b_\nu \right).^[13] This expression highlights how the affine connection \Gamma incorporates both the partial derivatives of the vielbeins, which account for changes in the local basis, and the spin connection terms, which handle the Lorentz rotations required for consistency.^[13] In practice, these mutual expressions allow for equivalence between the metric-compatible Levi-Civita connection and the spin connection in computations involving fermions or other spinorial fields.^[13] One key advantage of formulating connections in terms of the spin connection is the simplification of calculations in local inertial frames, where the Christoffel symbols effectively vanish, reducing the dynamics to flat-space forms locally while preserving covariance globally.^[20] This feature aligns with the equivalence principle and facilitates handling of spin degrees of freedom without explicit coordinate singularities.^[20]

Curvature Forms

The curvature form associated with the spin connection \omega^a{}_b is defined as the \mathfrak{so}(n)-valued 2-form

\Omega^a{}_b = d\omega^a{}_b + \omega^a{}_c \wedge \omega^c{}_b = \frac{1}{2} R^a{}_{b\mu\nu} \, dx^\mu \wedge dx^\nu,

where R^a{}_{b\mu\nu} are the components of the Riemann curvature tensor in an orthonormal frame.http://www.damtp.cam.ac.uk/user/tong/gr/three.pdf This expression arises from the second structure equation in the Cartan formalism.https://empg.maths.ed.ac.uk/Activities/Spin/SpinNotes.pdf The curvature form captures the intrinsic geometry of the manifold, measuring the failure of parallel transport around closed loops to be path-independent. The components \Omega^a{}_b exhibit symmetries analogous to those of the Riemann tensor: antisymmetry in the form indices, \Omega^a{}_b = -\Omega_b{}^a (reflecting the Lie algebra structure), antisymmetry in the pair of coordinate indices \mu\nu, pairwise symmetry between the pairs (a b) and (\mu\nu), and satisfaction of the algebraic first Bianchi identity R^a{}_{b[\mu\nu\rho]} = 0 upon expansion.

https://arxiv.org/pdf/1911.09766.pdf$$$$http://www.damtp.cam.ac.uk/user/tong/gr/three.pdf

These properties ensure that \Omega^a{}_b transforms correctly under local Lorentz transformations and maintains the trace-free condition \eta_{ab} \Omega^a{}_b = 0, where \eta_{ab} is the Minkowski metric. In the torsion-free case, the first Bianchi identity takes the form

D \Theta^a + \Omega^a{}_b \wedge e^b = 0,

where D denotes the exterior covariant derivative with respect to the spin connection, \Theta^a is the torsion 2-form (vanishing here), and e^b are the coframe 1-forms; this reduces to \Omega^a{}_b \wedge e^b = 0, encoding the cyclic symmetry of the Riemann tensor.

https://arxiv.org/pdf/1911.09766.pdf$$$$http://www.damtp.cam.ac.uk/user/tong/gr/three.pdf

The second Bianchi identity, valid for any connection, states that

D \Omega^a{}_b = 0,

or in components, D_{[\sigma} \Omega^a{}_{b \mu\nu]} = 0, implying the differential consistency of the curvature.

https://empg.maths.ed.ac.uk/Activities/Spin/SpinNotes.pdf$$$$https://arxiv.org/pdf/1911.09766.pdf

The antisymmetry \Omega^a{}_b = -\Omega_b{}^a and trace-free nature under the local Lorentz group SO(1,n-1) or SO(n) ensure that the curvature lies in the adjoint representation, preserving the orthogonal structure of the frame bundle.https://arxiv.org/pdf/1911.09766.pdf The second Bianchi identity D \Omega^a{}_b = 0 has key implications for integrability: if the curvature vanishes (\Omega^a{}_b = 0), the connection is flat, allowing global parallel transport and locally trivializing the spin bundle, which facilitates the existence of global spinor sections on simply connected manifolds.

https://empg.maths.ed.ac.uk/Activities/Spin/SpinNotes.pdf$$$$http://www.damtp.cam.ac.uk/user/tong/gr/three.pdf

Applications

In General Relativity

In general relativity, the spin connection plays a central role in the tetrad formalism, which reformulates the theory using a local orthonormal frame (tetrad or vielbein) e^a alongside the metric g_{\mu\nu} = \eta_{ab} e^a_\mu e^b_\nu. The tetradic Einstein-Hilbert action is expressed as S = \int \epsilon_{abcd} e^a \wedge e^b \wedge R^{cd}, where R^{cd} is the curvature 2-form associated with the spin connection \omega^{cd}.^[21] Varying this action with respect to the spin connection enforces metric compatibility, D e^a = 0 (implying torsion-free), while variation with respect to the tetrad yields the Einstein field equations.^[21] The spin connection also appears in the coupling of fermionic matter to gravity, particularly in the Dirac equation on curved spacetimes. The equation takes the form (i e_a^\mu \gamma^a D_\mu - m) \psi = 0, where the covariant derivative is D_\mu = \partial_\mu + \frac{1}{4} \omega_\mu^{ab} \gamma_{ab}, incorporating the spin connection to account for the local Lorentz transformation of the spinor \psi.^[22] This formulation ensures the Dirac operator respects both diffeomorphism and local Lorentz invariance, with the spin connection \omega_\mu^{ab} derived from the tetrad to maintain compatibility.^[22] In the Ashtekar formulation, the spin connection is elevated to an SU(2) gauge field within the 3+1 decomposition of spacetime, facilitating canonical quantization of gravity. The self-dual component of the SO(3,1) spin connection becomes the Ashtekar-Barbero connection A_a^i, conjugate to a densitized triad \tilde{E}_i^a, transforming the constraints into polynomial form akin to Yang-Mills theory.^[23] This approach underpins loop quantum gravity by treating holonomies of the spin connection as fundamental variables for discrete spacetime geometry.^[23] The Einstein-Cartan theory extends general relativity by allowing torsion in the spin connection, interpreting it as sourced by the intrinsic spin of fermionic matter, a development originating in the 1920s.^[24] Here, the torsion tensor \Theta^a = de^a + \omega^a{}_b \wedge e^b couples algebraically to the spin density, modifying the field equations such that torsion vanishes in the absence of spin but acts as an effective matter source otherwise.^[24] This framework resolves certain singularities in high-density regimes by propagating spin-torsion interactions.^[24]

In Gauge Theories

In gauge theories, the spin connection is interpreted as a gauge potential taking values in the Lie algebra of the Lorentz group SO(1,3), or equivalently so(1,3), facilitating the description of local Lorentz transformations on spinor fields.^[25] This formulation parallels non-Abelian gauge theories, where the spin connection plays the role of a connection form, and its curvature corresponds to the field strength tensor, encoding the dynamics of rotational degrees of freedom in spacetime.^[26] For spinors, the spin connection governs parallel transport along curves, ensuring that the internal spin structure remains consistent under local frame rotations without altering the scalar nature of physical observables.^[27] In supergravity theories, the spin connection extends to incorporate supersymmetry, where it couples directly to the gravitino field—a fermionic partner to the graviton—through the supersymmetry transformations that mix bosonic and fermionic sectors.^[28] This coupling arises in the first-order formalism, where the torsion constraint relates the spin connection to the gravitino curvature, enabling consistent supersymmetric extensions of general relativity while preserving local supersymmetry.^[29] Modern applications of the spin connection appear in condensed matter physics, particularly in topological insulators, where effective curved metrics emerge from the band structure, and the spin connection describes the Berry phase accumulated by surface states under parallel transport along curved boundaries, influencing transport properties like resistivity.^[30] Post-2010 developments have highlighted its role in modeling nontrivial geometries on insulator surfaces, such as nanowires, where curvature-induced spin connections modify the helical edge states and enable the simulation of gravitational analogs.^[31] In quantum field theory on curved backgrounds, the spin connection is essential for defining covariant derivatives of spinor fields, facilitating calculations of phenomena like particle creation, as seen in semiclassical approximations for radiation processes.^[32] Specific realizations involve gauge group reductions, such as in the Ashtekar formulation of gravity, where the self-dual part of the spin connection reduces to an SU(2)-valued connection, reformulating the phase space in terms of real variables suitable for canonical quantization.^[23] In teleparallel gravity, the spin connection is chosen to be flat—corresponding to zero curvature—while the torsion is encoded entirely in the vielbein field, shifting the gravitational dynamics from curvature to torsional contributions equivalent to general relativity.^[33] This flat connection simplifies the parallel transport to a teleparallel structure, where inertial effects are absorbed into the vielbein, allowing alternative gauge-theoretic descriptions of gravity.^[34]

References

[1]
[PDF] Lecture Notes on Spin Geometry - arXiv
Nov 21, 2019 · The subject of Spin Geometry has its roots in physics and the study of spinors. However, once adapted to a mathematical framework, ...
[2]
Lecture Notes on General Relativity - S. Carroll
... spin connection does not itself obey the tensor transformation law. Actually, under GCT's the one lower Greek index does transform in the right way, as a ...<|control11|><|separator|>
[3]
[0905.4792] Comments on the Tetrad (Vielbeins) - arXiv
May 29, 2009 · Abstract: We want to correct the misunderstandings on the tetrad (or veilbeins in general) appeared in many text books or review articles.
[4]
[PDF] Differential geometry Lecture 15: Connections in vector bundles
Jun 15, 2020 · A connection in a vector bundle is a bilinear map, C∞(M)-linear in the first entry, and fulfills the Leibniz rule.
[5]
[PDF] Vector Bundles and Connections
The exposition of vector bundles and connections below is taken from my lecture notes on differential geometry at the University of. Bonn.<|control11|><|separator|>
[6]
[PDF] what is a connection, and what is it good for? - Cornell Mathematics
Any connection on a vector bundle satisfying this property is called a vector bundle connection. As for a principal bundle, given a smooth path c: [0,1] ...
[7]
[PDF] Lecture Notes on Bundles and Connections
Sep 26, 2008 · These notes cover bundles and connections, aimed at advanced math/physics students. A connection is a useful and necessary concept, arising ...
[8]
Levi-Civita Connection -- from Wolfram MathWorld
. The Levi-Civita connection is torsion-free, meaning. del _XY-del _YX=[X,Y],. (1). and is compatible with the metric. X<Y,Z>=<del _XY,Z>+<Y. (2). In ...
[9]
https://mathworld.wolfram.com/Levi-CivitaConnection.html
[10]
https://arxiv.org/pdf/1112.3502.pdf
[11]
[PDF] Torsion, Cartan connections, and the Dirac equation
The covariant derivative ∇X on a vector field X = Xµ∂µ is ∇Xf = Xµ∂µf. Torsion is defined as ∇XY − ∇Y X − [X, Y ] = T(X, Y ).
[12]
http://people.physics.illinois.edu/stone/torsion.pdf
[13]
PROOF OF THE FIRST CARTAN EQUATION - TU Darmstadt
Mar 18, 2005 · Here Ta is the torsion two-form; qμb is the tetrad one-form; ωμab is the spin connection. The torsion tensor is: Tλμν = qaλ Taμν . (3). Use ...
[14]
[PDF] On the Structure of Lie Pseudo-Groups
Jul 21, 2009 · actions, the Maurer–Cartan structure equations (3.5) and Cartan's structure equations. 13. Page 14. (4.8) do not agree. We refer the reader to ...
[15]
Sur les variétés à connexion affine et la théorie de la relativité ...
Sur les variétés à connexion affine et la théorie de la relativité généralisée (première partie) Cartan, Elie Annales scientifiques de l'École Normale Supé ...
[16]
[PDF] 15 Gravity as a gauge theory
and the Dirac Lagrangian is invariant under local Lorentz transformations. The connection ωα is a matrix in spinor space. Expanding it in the basis σµν, we find ...
[17]
https://www.numdam.org/articles/10.24033/asens.751/
[18]
https://web.phys.ntnu.no/~mika/CPP/ch15.pdf
[19]
[PDF] Lecture III: Ashtekar variables for general relativity - Cosmo-ufes
Jan 8, 2015 · Palatini action. This action is basically an Einstein-Hilbert action, instead is a function of a tetrad e and Lorentz connection ω. The ...
[20]
[PDF] Dirac Equation in Curved Spacetime - CERN Indico
Sep 27, 2012 · Dag-Morten Sjøstrøm, Dirac Equation in Curved Spacetime. Page 11. 5. The connection for spinors. Ωµ = 1. 8. ωabµ[γa,γb]. Where ωabµ is the spin ...
[21]
Ashtekar variables - Scholarpedia
Jul 9, 2018 · These variables underlie both the canonical/Hamiltonian and the spinfoam/path integral approaches in loop quantum gravity. Contents. 1 Preamble ...
[22]
[PDF] EINSTEIN–CARTAN THEORY Introduction
The Einstein-Cartan theory is a viable theory of gravitation that differs very slightly from the Ein- stein theory; the effects of spin and torsion can be ...
[23]
[PDF] arXiv:1210.0379v1 [gr-qc] 1 Oct 2012
Oct 1, 2012 · 6.2 A Genuine Gravitational Connection. Due to the fact that spin connection of general relativity involves both gravitation and inertial.Missing: vielbein | Show results with:vielbein
[24]
[PDF] arXiv:2212.05069v1 [gr-qc] 9 Dec 2022
Dec 9, 2022 · This paper proposes a pure Yang-Mills theory for the gravitational spin connection, treating it as a dynamical field, coupled to Dirac fermions.
[25]
Parallel Transport of Algebraic Spinors on Clifford Manifolds
Contraction of parallel transported vector fields with the frame field defines 'spin elements' which are parallel transported with two-sided spin connection.
[26]
[PDF] Simple Supergravity - arXiv
Feb 15, 2023 · This means that imposing the constraint T a = 0 results in a spin connection depending on the gravitino fields. Hence, supergravity is often ...
[27]
A pure spin-connection formulation of gravity - IOPscience
A new action principle, in which the only gravitational variables are an SL(2,C) connection and a scalar density, is derived for general relativity (GR) coupled ...
[28]
Spin connection and boundary states in a topological insulator
Feb 22, 2011 · The metric enters through the spin connection, which reflects the properties of the internal spin under parallel transport along the surface.<|separator|>
[29]
[PDF] arXiv:1005.3542v1 [cond-mat.mes-hall] 19 May 2010
May 19, 2010 · (Dated: October 22, 2018). We study transport properties of a topological insulator nanowire when a magnetic field is applied.
[30]
Quantum Field Theory in Curved Spacetime - arXiv
Jun 11, 2025 · Quantum Field Theory (QFT) in Curved Spacetime is a hybrid approximate theory in which quantum matter fields are assumed to propagate in a fixed ...
[31]
[PDF] Introduction to teleparallel gravities - arXiv
Jan 22, 2018 · Abstract. We give a pedagogical introduction into the field of (modified) teleparallel theo- ries of gravity. Our presentation is fairly ...
[32]
[PDF] Teleparallel spin connection - Semantic Scholar
Apr 30, 2001 · A new expression for the spin connection of teleparallel gravity is proposed, given by minus the contorsion tensor plus a zero connection.