en>Rubylith at 01:31, 16 November 2013

2013-11-16T01:31:59Z

New page

{{confusing|date=May 2013|reason=No indication in what context this equation is of any use, nor who developed it.}}

{{main|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 connection as independent variables in the action principle was first considered by Palatini.<ref>Palatini, Rend. Circ. Mat. Palermo 43, 203 (1917).</ref> 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 over complicate the [[Euler-Lagrange equations]] with terms corresponding to 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 first order 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,

<math>g_{\alpha \beta} = e_\alpha^I e_\beta^J \eta_{IJ}</math>

where <math>\eta_{IJ} = diag (-1,1,1,1)</math> 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

<math>
\mathcal{D}_\alpha V_I = \partial_\alpha V_I + \omega_{\alpha I}^{\;\;\;\; J} V_J .
</math>

Where <math>\omega_{\alpha I}^{\;\;\;\; J}</math> is a Lorentz connection (the derivative annihilates the Minkowski metric <math>\eta_{IJ}</math>). We define a curvature via

<math>\Omega_{\alpha \beta I}^{\;\;\;\;\;\; J} V_J = (\mathcal{D}_\alpha \mathcal{D}_\beta - \mathcal{D}_\beta\mathcal{D}_\alpha) V_I</math>

We obtain

<math>\Omega_{\alpha \beta}^{\;\;\;\; IJ} = 2 \partial_{[\alpha} \omega_{\beta]}^{\;\; IJ} + \omega_{\alpha I}^{\;\;\; K} \omega_{\beta K}^{\;\;\;\;\; J} - \omega_{\beta I}^{\;\;\; K} \omega_{\alpha K}^{\;\;\;\;\; J}
</math>.

We introduce the covariant derivative which annihilates the tetrad,

<math>\nabla_\alpha e_\beta^I = 0</math>.

The connection is completely determined by the tetrad. The action of this on the generalized tensor <math>V_\beta^I</math> is given by

<math>\nabla_\alpha V_\beta^I = \partial_\alpha V_\beta^I - \Gamma_{\alpha \beta}^\gamma V_\gamma^I - \Gamma_{\alpha \; J}^{\;\; I} V_\beta^J.</math>

We define a curvature <math>R_{\alpha \beta}^{\;\;\;\; IJ}</math> by

<math>R_{\alpha \beta I}^{\;\;\;\;\;\; J} V_J = (\nabla_\alpha \nabla_\beta - \nabla_\beta \nabla_\alpha) V_I</math>.

This is easily related to the usual curvature defined by

<math>R_{\alpha \beta \gamma}^{\;\;\;\;\;\; \delta} V_\delta = (\nabla_\alpha \nabla_\beta - \nabla_\beta \nabla_\alpha) V_\gamma </math>

via substituting <math>V_\gamma = V_I e^I_\gamma</math> into this expression (see below for details). One obtains,

<math>R_{\alpha \beta \gamma}^{\;\;\;\;\;\; \delta} = e_\gamma^I R_{\alpha \beta I}^{\;\;\;\;\;\; J} e_J^\delta , \quad R_{\alpha \beta} = R_{\alpha \gamma I}^{\;\;\;\;\;\; J} e^I_\beta e^\gamma_J \;\; and \;\; R = R_{\alpha \beta}^{\;\;\;\; IJ} e_I^\alpha e_J^\beta</math>

for the [[Riemann tensor]], [[Ricci tensor]] and [[Ricci scalar]] respectively.

== The tetradic Palatini action ==

The [[Ricci scalar]] of this curvature can be expressed as <math>e^\alpha_I e^\beta_J \Omega_{\alpha \beta}^{\;\;\;\; IJ}</math>. The action can be written

<math>S_{H-P} = \int d^4 x \; e \; e^\alpha_I e^\beta_J \Omega_{\alpha \beta}^{\;\;\;\; IJ}</math>

where <math>e = \sqrt{-g}</math> but now <math>g</math> is a function of the frame field.

We will derive the Einstein equations by varying this action with respect to the tetrad and spin connection as independent quantities.

As a shortcut to performing the calculation we introduce a connection compatible with the tetrad, <math>\nabla_\alpha e^I_\beta = 0.</math><ref>A. Ashtekar "Lectures on non-perturbative canonical gravity" (with invited contributions), Bibliopolis, Naples 19988.</ref> The connection associated with this covariant derivative is completely determined by the tetrad. The difference between the two connections we have introduced is a field <math>C_{\alpha I}^{\;\;\; J}</math> defined by

<math>C_{\alpha I}^{\;\;\; J} V_J = (D_\alpha - \nabla_\alpha) V_I.</math>

We can compute the difference between the curvatures of these two covariant derivatives (see below for details),

<math>\Omega_{\alpha \beta}^{\;\;\;\; IJ} - R_{\alpha \beta}^{\;\;\;\; IJ} = \nabla_{[\alpha} C_{\beta]}^{\;\; IJ} + C_{[\alpha}^{\;\;\; IM} C_{\beta]M}^{\;\;\;\; J}</math>

The reason for this intermediate calculation is that it is easier to compute the variation by reexpressing the action in terms of <math>\nabla</math> and <math>C_\alpha^{\;\; IJ}</math> and noting that the variation with respect to <math>\omega_\alpha^{\;\;\; IJ}</math> is the same as the variation with respect to <math>C_\alpha^{\;\; IJ}</math> (when keeping the tetrad fixed). The action becomes

<math>S_{H-P} = \int d^4x \; e \; e^\alpha_I e^\beta_J (R_{\alpha \beta}^{\;\;\;\; IJ} + \nabla_{[\alpha} C_{\beta]}^{\;\; IJ} + C_{[\alpha}^{\;\;\; IM} C_{\beta]M}^{\;\;\;\; J})</math>

We first vary with respect to <math>C_\alpha^{\;\; IJ}</math>. The first term does not depend on <math>C_\alpha^{\;\; IJ}</math> so it does not contribute. The second term is a total derivative. The last term yields <math>e^{[a}_M e^{b]}_N \delta^M_{[I} \delta^K_{J]} C_{bK}^{\;\;\; N} = 0</math>. We show below that this implies that <math>C_\alpha^{\;\; IJ} = 0</math> as the prefactor <math>e^{[a}_M e^{b]}_N \delta^M_{[I} \delta^K_{J]}</math> is non-degenerate. This tells us that <math>\nabla</math> coincides with <math>D</math> when acting on objects with only internal indices. Thus the connection <math>D</math> is completely determined by the tetrad and <math>\Omega</math> coincides with <math>R</math>. To compute the variation with respect to the tetrad we need the variation of <math>e = \det e_\alpha^I</math>. From the standard formula

<math>\delta \det (a) = \det (a) (a^{-1})_{ji} \delta a_{ij}</math>

we have <math>\delta e = e e_I^\alpha \delta e_\alpha^I</math>. Or upon using <math>\delta (e_\alpha^I e_I^\alpha) = 0</math>, this becomes <math>\delta e = - e e_\alpha^I \delta e_I^\alpha</math>. We compute the second equation by varying with respect to the tetrad,

<math>\delta S_{H-P} = \int d^4 x \; e \; \Big( (\delta e^\alpha_I) e^\beta_J \Omega_{\alpha \beta}^{\;\;\;\; IJ} + e^\alpha_I (\delta e^\beta_J) \Omega_{\alpha \beta}^{\;\;\;\; IJ} - e_\gamma^K (\delta e_K^\gamma) e^\alpha_I e^\beta_J \Omega_{\alpha \beta}^{\;\;\;\; IJ} \Big) </math>

<math>\;\;\;\;\; = 2 \int d^4 x \; e \; \Big( e^\beta_J \Omega_{\alpha \beta}^{\;\;\;\; IJ} - {1 \over 2} e_M^\gamma e_N^\delta e_\alpha^I \Omega_{\gamma \delta}^{\;\;\;\; MN} \Big) (\delta e_I^\alpha)</math>

One gets, after substituting <math>\Omega_{\alpha \beta}^{\;\;\;\; IJ}</math> for <math>R_{\alpha \beta}^{\;\;\;\; IJ}</math> as given by the previous equation of motion,

<math>e_J^\gamma R_{\alpha \gamma}^{\;\;\;\; IJ} - {1 \over 2} R_{\gamma \delta}^{\;\;\;\; MN} e_M^\gamma e_N^\delta e_\alpha^I = 0</math>

which, after multiplication by <math>e_{I \beta}</math> just tells us that the [[Einstein tensor]] <math>R_{\alpha \beta} - {1 \over 2} R g_{\alpha \beta}</math> 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 ==
{{main|Holst action}}
{{main|Self-dual Palatini action}}
{{main|Barbero-Immirizi parameter}}
{{main|Plebanski action}}

We change the action by adding a term

<math>- {1 \over 2 \gamma} e e_I^\alpha e_J^\beta \Omega_{\alpha \beta}^{\;\;\;\; MN} [\omega] \epsilon^{IJ}_{\;\;\; MN}</math>

This modifies the Palatini action to

<math>S = \int d^4 x \; e \; e^\alpha_I e^\beta_J P^{IJ}_{\;\;\;\; MN} \Omega_{\alpha \beta}^{\;\;\;\; MN}</math>

where

<math>P^{IJ}_{\;\;\;\; MN} = \delta_M^{[I} \delta_N^{J]} - {1 \over 2 \gamma} \epsilon^{IJ}_{\;\;\; MN}.</math>

This action given above is the Holst action, introduced by Holst<ref>Holst, S. (1996). Barbero's Hamilitonian derived from a generalized Hilbert-Palatini action. ''Phys. Rev. D'', 53, 5966-5969.</ref> and <math>\gamma</math> is the Barbero-Immirizi parameter whose role was recognized by Barbero<ref>Barbero G., J.F. (1995), Real Ashtekar variables for Lorentzian signature space-times. ''Phys. Rev. D'', 51(10), 5507-5510.</ref> and Immirizi.<ref>Immirizi, G. (1997). Real and complex connections for canonical gravity. ''Class. Quantum Grav.'', 14, L177-L181.</ref> The self dual formulation corresponds to the choice <math>\gamma = -i</math>.

It is easy to show these actions give the same equations. However, the case corresponding to <math>\gamma = \pm i</math> must be done separately (see article [[self-dual Palatini action]]). Assume <math>\gamma \not= \pm i</math>, then <math>P^{IJ}_{\;\;\;\; MN}</math> has an inverse given by

<math>(P^{-1})_{IJ}^{\;\;\;\; MN} = {\gamma^2 \over \gamma^2 + 1} \Big( \delta_I^{[M} \delta_J^{N]} + {1 \over 2 \gamma} \epsilon_{IJ}^{\;\;\; MN} \Big).</math>

(note this diverges for <math>\gamma = \pm i</math>). As this inverse exists the generalization of the prefactor <math>e^{[a}_M e^{b]}_N \delta^M_{[I} \delta^K_{J]}</math> will also be non-degenerate and as such equivalent conditions are obtained from variation with respect to the connection. We again obtain <math>C_\alpha^{\;\; IJ} = 0</math>. 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 <math>R_{\alpha \beta \gamma}^{\;\;\;\;\;\; \delta}</math> is defined by

<math>R_{\alpha \beta \gamma}^{\;\;\;\;\;\; \delta} V_\delta = (\nabla_\alpha \nabla_\beta - \nabla_\beta \nabla_\alpha) V_\gamma.</math>

To find the relation to the mixed index curvature tensor let us substitute <math>V_\gamma = e_\gamma^I V_I</math>

<math>R_{\alpha \beta \gamma}^{\;\;\;\;\;\; \delta} V_\delta = (\nabla_\alpha \nabla_\beta - \nabla_\beta \nabla_\alpha) V_\gamma</math>

<math>= (\nabla_\alpha \nabla_\beta - \nabla_\beta \nabla_\alpha) (e_\gamma^I V_I)</math>

<math>= e_\gamma^I (\nabla_\alpha \nabla_\beta - \nabla_\beta \nabla_\alpha) V_I</math>

<math>= e_\gamma^I R_{\alpha \beta I}^{\;\;\;\;\;\; J} e_J^\delta V_\delta</math>

where we have used <math>\nabla_\alpha e_\beta^I = 0</math>. Since this is true for all <math>V_\delta</math> we obtain

<math>R_{\alpha \beta \gamma}^{\;\;\;\;\;\; \delta} = e_\gamma^I R_{\alpha \beta I}^{\;\;\;\;\;\; J} e_J^\delta</math>.

Using this we expression we find

<math>R_{\alpha \beta} = R_{\alpha \gamma \beta}^{\;\;\;\;\;\;\; \gamma} = R_{\alpha \gamma I}^{\;\;\;\;\;\; J} e_\beta^I e_J^\gamma.</math>

Contracting over <math>\alpha</math> and <math>\beta</math> allows us write the Ricci scalar

<math>R = R_{\alpha \beta}^{\;\;\;\; IJ} e_I^\alpha e_J^\beta.</math>

=== Difference between curvatures ===

The derivative defined by <math>D_\alpha V_I</math> 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 <math>\mathcal{D}_a</math> twice on <math>V_I</math>,

<math>
\mathcal{D}_\alpha \mathcal{D}_\beta V_I = \mathcal{D}_\alpha (\nabla_\beta V_I + C_{\beta I}^{\;\;\; J} V_J)</math>

<math>= \nabla_a (\nabla_b V_I + C_{\beta I}^{\;\;\; J} V_J) + C_{\alpha I}^{\;\;\; K} (\nabla_b V_K + C_{\beta K}^{\;\;\; J} V_J) + \overline{\Gamma}_{\alpha \beta}^\gamma (\nabla_\gamma V_I + C_{\gamma I}^{\;\;\; J} V_J)
</math>

where <math>\overline{\Gamma}_{\alpha \beta}^\gamma</math> is unimportant, we need only note that it is symmetric in <math>\alpha</math> and <math>\beta</math> as it is torsion-free. Then

<math>
\Omega_{\alpha \beta I}^{\;\;\;\;\;\; J} V_J = (\mathcal{D}_\alpha \mathcal{D}_\beta - \mathcal{D}_\beta \mathcal{D}_\alpha) V_I </math>

<math>= (\nabla_\alpha \nabla_\beta - \nabla_\beta \nabla_\alpha) V_I + \nabla_\alpha (C_{\beta I}^{\;\;\; J} V_J) - \nabla_\beta (C_{\alpha I}^{\;\;\; J} V_J)</math>

<math> + \; C_{\alpha I}^{\;\;\; K} \nabla_\beta V_K - C_{\beta I}^{\;\;\; K} \nabla_\alpha V_K + C_{\alpha I}^{\;\;\; K} C_{\beta K}^{\;\;\; J} V_J - C_{\beta I}^{\;\;\; K} C_{\alpha K}^{\;\;\; J} V_J</math>

<math>= R_{\alpha \beta I}^{\;\;\;\;\; J} V_J + (\nabla_\alpha C_{\beta I}^{\;\;\; J} - \nabla_\beta C_{\alpha I}^{\;\;\; J} + C_{\alpha I}^{\;\;\; K} C_{\beta K}^{\;\;\; J} - C_{\beta_I}^{\;\;\; K} C_{\alpha K}^{\;\;\; J}) V_J </math>

Hence

<math>
\Omega_{ab}^{\;\;\;\; IJ} - R_{ab}^{\;\;\;\; IJ} = 2 \nabla_{[a} C_{b]}^{\;\;\; IJ} + 2 C_{[a}^{\;\;\; IK} C_{b] K}^{\;\;\;\;\; J}
</math>

=== Varying the action with respect to the field <math>C_\alpha^{\;\; IJ}</math> ===

We would expect <math>\nabla_a</math> to also annihilate the Minkowski metric <math>\eta_{IJ} = e_{\beta I} e^\beta_J</math>. If we also assume that the covariant derivative <math>\mathcal{D}_\alpha</math> annihilates the Minkowski metric (then said to be torsion-free) we have,

<math>0 = (\mathcal{D}_\alpha - \nabla_\alpha) \eta_{IJ}</math>

<math>= C_{\alpha I}^{\;\;\; K} \eta_{KJ} + C_{aJ}^{\;\;\; K} \eta_{IK}</math>

<math>= C_{\alpha IJ} + C_{\alpha JI} .</math>

Implying <math>C_{\alpha IJ} = C_{\alpha [IJ]}</math>.

From the last term of the action we have from varying with respect to <math>C_{\alpha I}^{\;\;\;\; J}</math>,

<math>\delta S_{EH} = \delta \int d^4 x \; e \; e_M^\gamma e_N^\beta C_{[\gamma}^{\;\;\; MK} C_{\beta]K}^{\;\;\;\; N}</math>

<math>= \delta \int d^4 x \; e \; e_M^{[\gamma} e_N^{\beta]} C_\gamma^{\;\;\; MK} C_{\beta K}^{\;\;\;\; N}</math>

<math>
= \delta \int d^4 x \; e \; e^{M [\gamma} e^{\beta]}_N C_{\gamma M}^{\;\;\;\; K} C_{\beta K}^{\;\;\;\;\; N}</math>

<math>= \int d^4 x \; e e^{M [\gamma} e^{\beta]}_N \big( \delta_\gamma^\alpha \delta^I_M \delta^K_J C_{\beta K}^{\;\;\;\;\; N} + C_{\gamma M}^{\;\;\;\; K} \delta^\alpha_\beta \delta^I_K \delta^N_J \big) \delta C_{\alpha I}^{\;\;\;\; J}</math>

<math>= \int d^4 x \; e (e^{I [\alpha} e^{\beta]}_N C_{\beta J}^{\;\;\;\; N} + e^{M [\beta} e^{\alpha]}_J C_{\beta M}^{\;\;\;\; I}) \delta C_{\alpha I}^{\;\;\;\; J}
</math>

or

<math>
e_I^{[\alpha} e^{\beta]}_K C_{\beta J}^{\;\;\;\; K} + e^{K [\beta} e^{\alpha]}_J C_{\beta KI} = 0
</math>

or

<math>C_{\beta I}^{\;\;\; K} e^{[\alpha}_K e^{\beta]}_J + C_{\beta J}^{\;\;\; K} e^{[\alpha}_I e^{\beta]}_K = 0 .</math>

where we have used <math>C_{\beta KI} = - C_{\beta IK}</math>. This can be writtem more compactly as

<math>
e^{[\alpha}_M e^{\beta]}_N \delta^M_{[I} \delta^K_{J]} C_{\beta K}^{\;\;\; N} = 0 .
</math>

=== Vanishing of <math>C_\alpha^{\;\; IJ}</math> ===

We will show following the reference "Geometrodynamics vs. Connection Dynamics"<ref>''Geometrodynamics vs. Connection Dynamics'', Joseph D. Romano, Gen.Rel.Grav. 25 (1993) 759-854</ref> that

<math>C_{\beta I}^{\;\;\; K} e^{[\alpha}_K e^{\beta]}_J + C_{\beta J}^{\;\;\; K} e^{[\alpha}_I e^{\beta]}_K = 0 \;\;\; Eq. 1</math>

implies <math>C_{\alpha I}^{\;\;\;\; J} = 0</math>. First we define the spacetime tensor field by

<math>
S_{\alpha \beta \gamma} := C_{\alpha IJ} e^I_\beta e^J_\gamma .
</math>

Then the condition <math>C_{\alpha IJ} = C_{\alpha [IJ]}</math> is equivalent to <math>S_{\alpha \beta \gamma} = S_{\alpha [\beta \gamma]}</math>. Contracting Eq. 1 with <math>e_\alpha^I e_\gamma^J</math> one calculates that

<math>C_{\beta J}^{\;\;\;\; I} e_\gamma^J e_I^\beta = 0.</math>

As <math>S_{\alpha \beta}^{\;\;\;\; \gamma} = C_{\alpha I}^{\;\;\; J} e_\beta^I e_J^\gamma</math>, we have <math>S_{\beta \gamma}^{\;\;\;\; \beta} = 0</math>. We write it as

<math>(C_{\beta I}^{\;\;\; J} e_J^\beta) e_\gamma^I = 0,</math>

and as <math>e_\alpha^I</math> are invertible this implies

<math>C_{\beta I}^{\;\;\; J} e_J^\beta = 0.</math>

Thus the terms <math>C_{\beta I}^{\;\;\; K} e^\beta_K e^\alpha_J,</math> and <math>C_{\beta J}^{\;\;\; K} e^\alpha_I e^\beta_K</math> of Eq. 1 both vanish and Eq. 1 reduces to

<math>
C_{\beta I}^{\;\;\; K} e^\alpha_K e^\beta_J - C_{\beta J}^{\;\;\; K} e^\beta_I e^\alpha_K = 0 .
</math>

If we now contract this with <math>e^I_\gamma e^J_\delta</math>, we get

<math>0 = (C_{\beta I}^{\;\;\; K} e^\alpha_K e^\beta_J - C_{\beta J}^{\;\;\; K} e^\beta_I e^\alpha_K) e^I_\gamma e^J_\delta </math>

<math>= C_{\beta I}^{\;\;\; K} e^\alpha_K e^I_\gamma \delta_\delta^\beta - C_{\beta J}^{\;\;\; K} \delta_\gamma^\beta e^\alpha_K e^J_\delta </math>

<math> = C_{\delta I}^{\;\;\; K} e^I_\gamma e^\alpha_K - C_{\gamma J}^{\;\;\; K} e^J_\delta e^\alpha_K </math>

or

<math>
S_{\gamma \delta}^{\;\;\; \alpha} = S_{(\gamma \delta)}^{\;\;\;\;\;\; \alpha} .
</math>

Since we have <math>S_{\alpha \beta \gamma} = S_{\alpha [\beta \gamma]}</math> and <math>S_{\alpha \beta \gamma} = S_{(\alpha \beta) \gamma}</math>, we can successively interchange the first two and then last two indices with appropriate sign change each time to obtain,

<math>
S_{\alpha \beta \gamma} = S_{\beta \alpha \gamma} = - S_{\beta \gamma \alpha} = - S_{\gamma \beta \alpha} = S_{\gamma \alpha \beta} = S_{\alpha \gamma \beta} = - S_{\alpha \beta \gamma}
</math>

Implying <math>S_{\alpha \beta \gamma} = 0</math>, or

<math>
C_{\alpha IJ} e_\beta^I e_\gamma^J = 0 ,
</math>

and since the <math>e_\alpha^I</math> are invertible, we get <math>C_{\alpha IJ} = 0</math>. This is the desired result.

==References==
{{Reflist}}

[[Category:General relativity]]

Longest alternating subsequence - Revision history

en>Rubylith at 01:31, 16 November 2013