Tetrad formalism


The tetrad formalism is an approach to general relativity that generalizes the choice of basis for the tangent bundle from a coordinate basis to the less restrictive choice of a local basis, i.e. a locally defined set of four linearly independent vector fields called a tetrad.
In the tetrad formalism, all tensors are represented in terms of a chosen basis. As a formalism rather than a theory, it does not make different predictions but does allow the relevant equations to be expressed differently.
The advantage of the tetrad formalism over the standard coordinate-based approach to general relativity lies in the ability to choose the tetrad basis to reflect important physical aspects of the spacetime. The abstract index notation denotes tensors as if they were represented by their coefficients with respect to a fixed local tetrad. Compared to a completely coordinate free notation, which is often conceptually clearer, it allows an easy and computationally explicit way to denote contractions.

Mathematical formulation

In the tetrad formalism, a tetrad basis is chosen: a set of four independent vector fields
for that together span the 4D vector tangent space at each point in spacetime. Dually, a tetrad determines a dual co-tetrad—a set of four independent covectors
such that
where is the Kronecker delta. A tetrad is usually specified by its coefficients with respect to a coordinate basis, despite the choice of a set of coordinates being unnecessary for the specification of a tetrad. Each covector is a solder form.
From the point of view of the differential geometry of fiber bundles, the four vector fields define a section of the frame bundle i.e. a parallelization of which is equivalent to an isomorphism. Since not every manifold is parallelizable, a tetrad can generally only be chosen locally.
All tensors of the theory can be expressed in the vector and covector basis, by expressing them as linear combinations of members of the tetrad. For example, the spacetime metric tensor can be transformed from a coordinate basis to the tetrad basis.
Popular tetrad bases include orthonormal tetrads and null tetrads. Null tetrads are composed of four null vectors, so are used frequently in problems dealing with radiation, and are the basis of the Newman–Penrose formalism and the GHP formalism.

Relation to standard formalism

The standard formalism of differential geometry consists simply of using the coordinate tetrad in the tetrad formalism. The coordinate tetrad is the canonical set of vectors associated with the coordinate chart. The coordinate tetrad is commonly denoted whereas the dual cotetrad is denoted. These tangent vectors are usually defined as directional derivative operators: given a chart which maps a subset of the manifold into coordinate space, and any scalar field, the coordinate vectors are such that:
The definition of the cotetrad uses the usual abuse of notation to define covectors on. The involvement of the coordinate tetrad is not usually made explicit in the standard formalism. In the tetrad formalism, instead of writing tensor equations out fully only components of the tensors are mentioned. For example, the metric is written as "". When the tetrad is unspecified this becomes a matter of specifying the type of the tensor called abstract index notation. It allows to easily specify contraction between tensors by repeating indices as in the Einstein summation convention.
Changing tetrads is a routine operation in the standard formalism, as it is involved in every coordinate transformation. Switching between multiple coordinate charts is necessary because, except in trivial cases, it is not possible for a single coordinate chart to cover the entire manifold. Changing to and between general tetrads is much similar and equally necessary. Any tensor can locally be written in terms of this coordinate tetrad or a general tetrad.
For example, the metric tensor can be expressed as:
. Likewise, the metric can be expressed with respect to an arbitrary tetrad as
Here, we use choice of alphabet for the index variables to distinguish the applicable basis.
We can translate from a general co-tetrad to the coordinate co-tetrad by expanding the covector. We then get
from which it follows that. Likewise expanding with respect to the general tetrad, we get
which shows that.

Manipulation of indices

The manipulation with tetrad coefficients shows that abstract index formulas can, in principle, be obtained from tensor formulas with respect to a coordinate tetrad by "replacing greek by latin indices". However care must be taken that a coordinate tetrad formula defines a genuine tensor when differentiation is involved. Since the coordinate vector fields have vanishing Lie bracket, naive substitutions of formulas that correctly compute tensor coefficients with respect to a coordinate tetrad may not correctly define a tensor with respect to a general tetrad because the Lie bracket is non-vanishing:. Thus, it is sometimes said that tetrad coordinates provide a non-holonomic basis.
For example, the Riemann curvature tensor is defined for general vector fields by
In a coordinate tetrad this gives tensor coefficients
The naive "Greek to Latin" substitution of the latter expression
is incorrect because for fixed c and d, is, in general, a first order differential operator rather than a zeroth order operator which defines a tensor coefficient. Substituting a general tetrad basis in the abstract formula we find the proper definition of the curvature in abstract index notation, however:
where. Note that the expression is indeed a zeroth order operator, hence a tensor. Since it agrees with the coordinate expression for the curvature when specialised to a coordinate tetrad it is clear, even without using the abstract definition of the curvature, that it defines the same tensor as the coordinate basis expression.