Vierbein

VIERBEINS, ''ET CETERA''

The vierbein or '''tetrad''' theory is the special case of a four-dimensional Manifold . It applies to metrics of any signature. In any dimension, for a Pseudo Riemannian Geometry (with Metric Signature (p,q)), this '''Cartan connection''' theory is an alternative method in differential geometry. In different contexts it has also been called the '''orthonormal frame''', '''repère mobile''', '''soldering form''' or '''orthonormal nonholonomic basis''' method.

This section is an approach to tetrads, but written in general terms. In dimensions other than 4, words like triad, '''pentad''', '''funfbein''', '''elfbein''' etc. have been used. '''Vielbein''' covers all dimensions. (In German, vier stands for four and viel stands for many)

If you're looking for a basis-dependent index notation, see Tetrad (index Notation) .

The basic ingredients

Suppose given a Differential Manifold ''M'' of dimension ''n'', and fixed natural numbers ''p'' and ''q'' with ''p'' + ''q'' = ''n''. Further, we suppose given a SO(''p'', ''q'') Principal Bundle ''B'' over ''M'' (called the frame bundle) (this can be turned into a Spin(''p'',''q'') principal bundle via the Associated Bundle Construction if there are Spinor ial fields), and a Vector SO(''p'', ''q'')-bundle ''V'' associated to ''B'' by means of the natural ''n''-dimensional Representation of SO(''p'', ''q'').

Suppose given also a SO(''p'', ''q'')-invariant Metric η of Signature (''p'', ''q'') over ''V''; and an Invertible Linear Map between Vector Bundle s over ''M'',

e\colon{
m T}M	o V

, where T''M'' is the Tangent Bundle of ''M''.

Constructions

A ( Pseudo- ) Riemannian Metric is defined over ''M'' as the Pullback of η by ''e''. To put it in other words, if we have two sections of T''M'', X and '''Y''',

g

A Connection over ''V'' is defined as the unique connection A satisfying these two conditions:

''d''η(a,b) = η(''d''_A''a'',''b'') + η(''a'',''d''_A''b'') for all differentiable sections ''a'' and ''b'' of ''V'' (i.e. ''d''_Aη = 0) where d_A is the Covariant Exterior Derivative . This implies that A can be extended to a Connection over the SO(''p'',''q'') Principal Bundle .

''d''_A''e'' = 0. The quantity on the left hand side is called the Torsion . This basically states that

Torsion-free

Einstein-Cartan Theory

This is called the spin connection.

Now that we've specified A, we can use it to define a connection ∇ over T''M'' via the Isomorphism ''e'':

e

Since what we now have here is a SO(''p'',''q'') Gauge Theory , the Riemann curvature F defined as

\bold{F}\equiv d\bold{A}+\bold{A}\wedge\bold{A}

is pointwise gauge covariant. This is simply the Riemann Tensor in a different guise.

See also Connection Form and Curvature Form .

Side note: the ''e'' here is often written as θ, the A here as ω and the '''F''' here as Ω and ''d''_{A_{as ''D''.

The Palatini action

In the tetrad formulation of General Relativity , the Action , as a Functional of the cotetrad e and a Connection Form A over a four dimensional Differential Manifold M is given by

: $S\equiv rac{1}{2}\int_M \epsilon(F \wedge e \wedge e)$

where F is the Gauge Curvature 2-form and ε is the antisymmetric Intertwiner of four "vector" Reps of SO(3,1) normalized by η.

Note that in the presence of Spinor Field s, the Palatini action implies that d_Ae is nonzero, that is, have Torsion . See Einstein-Cartan Theory .}}

Information About

Vierbein