Tetradic Palatini action explained

See main article: Frame fields in general relativity.

The Einstein–Hilbert action for general relativity was first formulated purely in terms of the space-time metric. To take the metric and affine connection as independent variables in the action principle was first considered by Palatini.[1] It is called a first order formulation as the variables to vary over involve only up to first derivatives in the action and so doesn't overcomplicate the Euler–Lagrange equations with higher derivative terms. The tetradic Palatini action is another first-order formulation of the Einstein–Hilbert action in terms of a different pair of independent variables, known as frame fields and the spin connection. The use of frame fields and spin connections are essential in the formulation of a generally covariant fermionic action (see the article spin connection for more discussion of this) which couples fermions to gravity when added to the tetradic Palatini action.

Not only is this needed to couple fermions to gravity and makes the tetradic action somehow more fundamental to the metric version, the Palatini action is also a stepping stone to more interesting actions like the self-dual Palatini action which can be seen as the Lagrangian basis for Ashtekar's formulation of canonical gravity (see Ashtekar's variables) or the Holst action which is the basis of the real variables version of Ashtekar's theory. Another important action is the Plebanski action (see the entry on the Barrett–Crane model), and proving that it gives general relativity under certain conditions involves showing it reduces to the Palatini action under these conditions.

Here we present definitions and calculate Einstein's equations from the Palatini action in detail. These calculations can be easily modified for the self-dual Palatini action and the Holst action.

Some definitions

We first need to introduce the notion of tetrads. A tetrad is an orthonormal vector basis in terms of which the space-time metric looks locally flat,

g\alpha=

I
e
\alpha
J
e
\beta

ηIJ

where

ηIJ=diag(-1,1,1,1)

is the Minkowski metric. The tetrads encode the information about the space-time metric and will be taken as one of the independent variables in the action principle.

Now if one is going to operate on objects that have internal indices one needs to introduce an appropriate derivative (covariant derivative). We introduce an arbitrary covariant derivative via

l{D}\alphaVI=\partial\alphaVI+{\omega\alpha

}^J V_J.

Where

{\omega\alpha

}^J is a spin (Lorentz) connection one-form (the derivative annihilates the Minkowski metric

ηIJ

). We define a curvature via

{\Omega\alpha

}^J V_J = (\mathcal_\alpha \mathcal_\beta - \mathcal_\beta\mathcal_\alpha) V_I

We obtain

{\Omega\alpha

}^ = 2 \partial__N \delta^M_ ^N = 0.

We show below that this implies that

IJ
{C
\alpha}

=0

as the prefactor
[a
e
M
b]
e
N
M
\delta
[I
K
\delta
J]
is non-degenerate. This tells us that

\nabla

coincides with

D

when acting on objects with only internal indices. Thus the connection

D

is completely determined by the tetrad and

\Omega

coincides with

R

. To compute the variation with respect to the tetrad we need the variation of

e=\det

I
e
\alpha
. From the standard formula

\delta\det(a)=\det(a)\left(a-1\right)ji\deltaaij

we have

\deltae=e

\alpha
e
I

\delta

I
e
\alpha
. Or upon using

\delta\left

I
(e
\alpha
\alpha
e
I

\right)=0

, this becomes

\deltae=-e

I
e
\alpha

\delta

\alpha
e
I
. We compute the second equation by varying with respect to the tetrad,

\begin{align} \deltaSH-P&=\intd4xe\left(\left(\delta

\alpha
e
I

\right)

\beta
e
J

{\Omega\alpha

}^ + e^\alpha_I \left (\delta e^\beta_J \right) ^ - e_\gamma^K \left (\delta e_K^\gamma \right) e^\alpha_I e^\beta_J ^ \right) \\&= 2 \int d^4 x \; e \left (e^\beta_J ^ - e_M^\gamma e_N^\delta e_\alpha^I ^ \right) \left (\delta e_I^\alpha \right)\end

One gets, after substituting

{\Omega\alpha

}^ for

{R\alpha

}^ as given by the previous equation of motion,
\gamma
e
J

{R\alpha

}^ - ^ e_M^\gamma e_N^\delta e_\alpha^I = 0

which, after multiplication by

eI

just tells us that the Einstein tensor

R\alpha\beta-\tfrac{1}{2}Rg\alpha

of the metric defined by the tetrads vanishes. We have therefore proved that the Palatini variation of the action in tetradic form yields the usual Einstein equations.

Generalizations of the Palatini action

See main article: Holst action, Self-dual Palatini action, Barbero-Immirzi parameter and Plebanski action. We change the action by adding a term

-{1\over2\gamma}e

\alpha
e
I
\beta
e
J

{\Omega\alpha

}^ [\omega] _

This modifies the Palatini action to

S=\intd4xe

\alpha
e
I
\beta
e
J

{PIJ

}_ ^

where

{PIJ

}_ = \delta_M^ - _.

This action given above is the Holst action, introduced by Holst[2] and

\gamma

is the Barbero-Immirzi parameter whose role was recognized by Barbero[3] and Immirizi.[4] The self dual formulation corresponds to the choice

\gamma=-i

.

It is easy to show these actions give the same equations. However, the case corresponding to

\gamma=\pmi

must be done separately (see article self-dual Palatini action). Assume

\gamma\not=\pmi

, then

{PIJ

}_ has an inverse given by

{(P-1)IJ

}^ = \frac \left (\delta_I^ + \frac ^ \right).

(note this diverges for

\gamma=\pmi

). As this inverse exists the generalization of the prefactor
[a
e
M
b]
e
N
M
\delta
[I
K
\delta
J]
will also be non-degenerate and as such equivalent conditions are obtained from variation with respect to the connection. We again obtain
IJ
{C
\alpha}

=0

. While variation with respect to the tetrad yields Einstein's equation plus an additional term. However, this extra term vanishes by symmetries of the Riemann tensor.

Details of calculation

Relating usual curvature to the mixed index curvature

The usual Riemann curvature tensor

{R\alpha

}^ is defined by

{R\alpha

}^ V_\delta = \left (\nabla_\alpha \nabla_\beta - \nabla_\beta \nabla_\alpha \right) V_\gamma.

To find the relation to the mixed index curvature tensor let us substitute

V\gamma=

I
e
\gamma

VI

\begin{align} {R\alpha

}^ V_\delta &= \left (\nabla_\alpha \nabla_\beta - \nabla_\beta \nabla_\alpha \right) V_\gamma \\&= \left (\nabla_\alpha \nabla_\beta - \nabla_\beta \nabla_\alpha \right) \left (e_\gamma^I V_I \right) \\&= e_\gamma^I \left (\nabla_\alpha \nabla_\beta - \nabla_\beta \nabla_\alpha \right) V_I \\&= e_\gamma^I ^J e_J^\delta V_\delta\end

where we have used

\nabla\alpha

I
e
\beta

=0

. Since this is true for all

V\delta

we obtain

{R\alpha

}^ = e_\gamma^I ^J e_J^\delta.

Using this expression we find

R\alpha={R\alpha

}^ = ^J e_\beta^I e_J^\gamma.

Contracting over

\alpha

and

\beta

allows us write the Ricci scalar

R={R\alpha

}^ e_I^\alpha e_J^\beta.

Difference between curvatures

The derivative defined by

D\alphaVI

only knows how to act on internal indices. However, we find it convenient to consider a torsion-free extension to spacetime indices. All calculations will be independent of this choice of extension. Applying

l{D}a

twice on

VI

,

l{D}\alphal{D}\betaVI=l{D}\alpha(\nabla\betaVI+{C\beta

}^J V_J) = \nabla_\alpha \left (\nabla_\beta V_I + ^J V_J \right) + ^K \left (\nabla_b V_K + ^J V_J \right) + \overline_^\gamma \left (\nabla_\gamma V_I + ^J V_J \right)

where

\gamma
\overline{\Gamma}
\alpha\beta
is unimportant, we need only note that it is symmetric in

\alpha

and

\beta

as it is torsion-free. Then

\begin{align} {\Omega\alpha

}^J V_J &= \left (\mathcal_\alpha \mathcal_\beta - \mathcal_\beta \mathcal_\alpha \right) V_I \\&= \left (\nabla_\alpha \nabla_\beta - \nabla_\beta \nabla_\alpha \right) V_I + \nabla_\alpha \left (^J V_J \right) - \nabla_\beta \left (^J V_J \right) +^K \nabla_\beta V_K - ^K \nabla_\alpha V_K + ^K ^J V_J - ^K ^J V_J \\&= ^J V_J + \left (\nabla_\alpha ^J - \nabla_\beta ^J + ^K ^J - ^K ^J \right) V_J \end

Hence:

{\Omegaab

}^ - ^ = 2 \nabla_ ^ ^N \\ &= \delta \int d^4 x \; e \; e^_N ^K ^N \\ &= \int d^4 x \; e e^_N \left (\delta_\gamma^\alpha \delta^I_M \delta^K_J ^N + ^K \delta^\alpha_\beta \delta^I_K \delta^N_J \right) \delta ^J \\ &= \int d^4 x \; e \left (e^_N ^N + e^_J ^I \right) \delta ^J\end

or

[\alpha
e
I
\beta]
e
K

{C\beta

}^K + e^_J C_ = 0

or

{C\beta

}^K e^_J + ^K e^_K = 0.

where we have used

C\beta=-C\beta

. This can be written more compactly as
[\alpha
e
M
\beta]
e
N
M
\delta
[I
K
\delta
J]

{C\beta

}^N = 0.

Vanishing of

IJ
{C
\alpha}

We will show following the reference "Geometrodynamics vs. Connection Dynamics"[5] that

{C\beta

}^K e^_J + ^K e^_K = 0 \quad Eq. 1

implies

{C\alpha

}^J = 0. First we define the spacetime tensor field by

S\alpha:=C\alpha

I
e
\beta
J
e
\gamma.

Then the condition

C\alpha=C\alpha

is equivalent to

S\alpha=S\alpha

. Contracting Eq. 1 with
I
e
\alpha
J
e
\gamma
one calculates that

{C\beta

}^I e_\gamma^J e_I^\beta = 0.

As

{S\alpha

}^ = ^J e_\beta^I e_J^\gamma, we have

{S\beta

}^ = 0. We write it as

({C\beta

}^J e_J^\beta) e_\gamma^I = 0,

and as

I
e
\alpha
are invertible this implies

{C\beta

}^J e_J^\beta = 0.

Thus the terms

{C\beta

}^K e^\beta_K e^\alpha_J, and

{C\beta

}^K e^\alpha_I e^\beta_K of Eq. 1 both vanish and Eq. 1 reduces to

{C\beta

}^K e^\alpha_K e^\beta_J - ^K e^\beta_I e^\alpha_K = 0.

If we now contract this with

I
e
\gamma
J
e
\delta
, we get

\begin{align} 0&=\left({C\beta

}^K e^\alpha_K e^\beta_J - ^K e^\beta_I e^\alpha_K \right) e^I_\gamma e^J_\delta \\&= ^K e^\alpha_K e^I_\gamma \delta_\delta^\beta - ^K \delta_\gamma^\beta e^\alpha_K e^J_\delta \\&= ^K e^I_\gamma e^\alpha_K - ^K e^J_\delta e^\alpha_K \end

or

{S\gamma

}^ = ^.

Since we have

S\alpha=S\alpha

and

S\alpha=S(\alpha

, we can successively interchange the first two and then last two indices with appropriate sign change each time to obtain,

S\alpha=S\beta=-S\beta=-S\gamma=S\gamma=S\alpha=-S\alpha

Implying

S\alpha=0,

or

C\alpha

I
e
\beta
J
e
\gamma

=0,

and since the

I
e
\alpha
are invertible, we get

C\alpha=0

. This is the desired result.

See also

Notes and References

  1. A. Palatini (1919) Deduzione invariantiva delle equazioni gravitazionali dal principio di Hamilton, Rend. Circ. Mat. Palermo 43, 203-212 [English translation by R.Hojman and C. Mukku in [[Peter Bergmann|P.G. Bergmann]] and V. De Sabbata (eds.) Cosmology and Gravitation, Plenum Press, New York (1980)]
  2. Holst . Sören . Barbero's Hamiltonian derived from a generalized Hilbert-Palatini action . Physical Review D . 53 . 10 . 1996-05-15 . 0556-2821 . 10.1103/physrevd.53.5966 . 5966–5969. 10019884 . gr-qc/9511026. 1996PhRvD..53.5966H . 15959938 .
  3. Barbero G. . J. Fernando . Real Ashtekar variables for Lorentzian signature space-times . Physical Review D . 51 . 10 . 1995-05-15 . 0556-2821 . 10.1103/physrevd.51.5507 . 5507–5510. 10018309 . gr-qc/9410014. 1995PhRvD..51.5507B . 16314220 .
  4. Immirzi . Giorgio . Real and complex connections for canonical gravity . Classical and Quantum Gravity . IOP Publishing . 14 . 10 . 1997-10-01 . 0264-9381 . 10.1088/0264-9381/14/10/002 . L177–L181. gr-qc/9612030. 1997CQGra..14L.177I . 5795181 .
  5. Romano . Joseph D. . Geometrodynamics vs. connection dynamics . General Relativity and Gravitation . 25 . 8 . 1993 . 0001-7701 . 10.1007/bf00758384 . 759–854. gr-qc/9303032. 1993GReGr..25..759R . 119359223 .