Gravity has often been called a gauge theory of the Poincaré or Lorentz group. Here, I develop general relativity in direct analogy to Yang-Mills theory, avoiding geometry entirely1. None of this is original, but I have tried to simplify the presentation compared to the literature, where the similarities and differences between the two theories are often unclear.
Gauge fields and field strengths
The Poincaré algebra is:
Roman letters are gauge indices, while Greek letters
are coordinate indices. We use “mathematician’s convention” for the generators where the
is absorbed:
. We proceed just as in Yang-Mills theory, taking the Poincaré group as the gauge group. It has 10 generators: 4 translations
and 6 rotations/boosts
.
Introduce the covariant derivative:
where (the vielbein) and
(the spin connection) are the gauge fields associated with translations and rotations, respectively. Note the units:
has unit 1, so
is unitless, while
is unitless, so
has unit 1. We can take
to be antisymmetric in
since
is antisymmetric. The field strengths are found in the usual way:
where we have defined the field strengths (the torsion) and
(the curvature tensor).
We obtain:
As usual, we raise and lower indices using and
.
General relativity is obtained by setting the torsion . Certainly, theories with torsion have been extensively considered, but we will not do so here. Experimental data have not ruled out theories involving both torsion and curvature. However, the bottom-up construction of the Lagrangian of an interacting massless spin-2 particle produces general relativity2.
This constraint allows us to solve for the spin connection in terms of the vielbein. After some calculation (e.g. listing out all possible terms and matching coefficients), the answer is:
where .
Representations and Lagrangians
Just as in Yang-Mills theory, the Poincaré group here acts as an internal symmetry group. Fields transform as a finite-dimensional representation of the Lorentz algebra, and transform trivially under translations3: . This has an important consequence for constructing Lagrangians. Recall that the gauge field
in Yang-Mills theory transforms as
under a gauge transformation . The
is required to cancel out the
in the transformation of
. However, since
, this additional term is not needed.
is already gauge-covariant and can be placed directly in the Lagrangian.
The simplest term is:
where is a 1-form and
is the totally antisymmetric symbol4. This is the cosmological constant. It is equivalent to the standard form
.
On the other hand, the spin connection does show up in the gauge transformation, so we must use the field strength
in the Lagrangian. The next simplest term is then:
where is a 2-form. This is the Einstein-Hilbert action. Unlike Yang-Mills, we are permitted a term that is only linear in the field strength
.
Coupling to matter fields
Flat-space Lagrangians contain terms with global Lorentz indices, such as and
. We would like these to transform under the local Lorentz group with indices
. The only object that can switch between global and local indices is
, or its inverse,
. Thus, the general prescription for coupling a flat-space Lagrangian to gravity is:
- Contract all tensors with
or
.
- Make flat-space invariants use local indices:
,
.
- Use covariant derivatives:
.
Note that this even works on the volume form , producing the familiar invariant measure
:
For example, a scalar field coupled to gravity has the action:
An advantage of the vielbein formalism is that spinors can be coupled to gravity. For Dirac spinors, the Dirac matrices should also be converted to local indices , since they satisfy the Clifford algebra
. The Lagrangian for a massless fermion becomes:
where
1 This is ironic from a historical perspective, since Yang and Mills were inspired by general relativity. Of course, in physics, there are many ways to skin a cat.
2 Schwartz, Matthew. Quantum Field Theory and the Standard Model, Ch. 8.
3 Thus, you could say gravity is the gauge theory of the Lorentz group instead. However, we had to introduce the vielbein as part of the covariant derivative in order to get the correct theory. So there is a slight wrinkle in the analogy.
4 Unlike Yang-Mills theory, we cannot write the Lagrangian using the “abbreviated” fields . In fact,
vanishes due to
.