The field equations of a Metric theory can be derived from a first order Palatini formalism where an orthonormal frame
is used and in which the constraint that the dynamical connection is a metric compatible connection
is put in by hand. The field equations read:
where the components of the energy-momentum,
and spin tensors,
are given in terms of the three forms
,
with
.
Here
is an orthonormal “dual” (to tetrad) frame where indices
are Lorentzian time-space indices of a freely falling frame.
Kinematical differential Multivector framework
As Euler-Lagrange equations of a Lagrangian field theory, these Einstein-Cartan equations lend themselves to many alternative kinematical descriptions. Indeed they may be considered as a conservation law for a certain Sparling 3-form defined on the bundle of orthonormal frames over spacetime,
. They are most elegantly presented as two spinor-valued differential 3-form equations, ![\ ^\Gamma\nabla(\theta^A{}_{A'}\wedge\theta^{BA'})={\sigma}^{AB} \ ^\Gamma\nabla(\theta^A{}_{A'}\wedge\theta^{BA'})={\sigma}^{AB}](https://s0.wp.com/latex.php?latex=%5C+%5E%5CGamma%5Cnabla%28%5Ctheta%5EA%7B%7D_%7BA%27%7D%5Cwedge%5Ctheta%5E%7BBA%27%7D%29%3D%7B%5Csigma%7D%5E%7BAB%7D&bg=ffffff&fg=000000&s=0)
so that
where
and
are known source quantities.
so that
For our purposes the main kinematical objects of a Variational principle are the 1-forms
. These are the co-frame, verbein objects that are Einstein’s freely falling elevator. This dynamical variable,
is a Hermitian matrix-valued one-form from which the (real Lorentzian) metric is given as ![ds^2=\epsilon_{AB}\epsilon_{A'B'}\theta^{AA'}\otimes\theta^{BB'}. ds^2=\epsilon_{AB}\epsilon_{A'B'}\theta^{AA'}\otimes\theta^{BB'}.](https://s0.wp.com/latex.php?latex=ds%5E2%3D%5Cepsilon_%7BAB%7D%5Cepsilon_%7BA%27B%27%7D%5Ctheta%5E%7BAA%27%7D%5Cotimes%5Ctheta%5E%7BBB%27%7D.&bg=ffffff&fg=000000&s=0)
For Real General Relativity the soldering functor is required to be real (
In constructing the 4-form Palatini Lagrangian we can make use of higher order multivector constructions based on the co-frame such as ![\eta^{AA'}=\frac{i}{3}(\theta^{AB'}\wedge\theta^{BA'}\wedge\theta_{BB'}) \eta^{AA'}=\frac{i}{3}(\theta^{AB'}\wedge\theta^{BA'}\wedge\theta_{BB'})](https://s0.wp.com/latex.php?latex=%5Ceta%5E%7BAA%27%7D%3D%5Cfrac%7Bi%7D%7B3%7D%28%5Ctheta%5E%7BAB%27%7D%5Cwedge%5Ctheta%5E%7BBA%27%7D%5Cwedge%5Ctheta_%7BBB%27%7D%29&bg=ffffff&fg=000000&s=0)
The internal indices
associated to the spin structure over space-time only acquires the interpretation as spinor indices through the dynamical soldering form,
. A priori there is no relation between the tangent space and the internal space of the vector bundle
associated to the spinor structure over space time, M. Rather if a (non compact) spacetime manifold,
admits a global null tetrad it has a spinor-structure
defined on it. A spinor structure,
is a principal fibre bundle with structure group
, the gauge group for spinor dyads. The (real) space-time manifold carries a
spin (trivial vector) bundle, B associated to
and its conjugate on it. The tensor product of these two bundles can be identified with the complexified tangent bundle. Each fibre,
of B consists of a 2-complex dimensional vector space equipped with a symplectic metric,
.
Cartan’s Structure Equations
With
and
(complex conjugate)
-valued connection one-forms and the torsion two form denoted as
, the first Cartan structure equation reads
![\Theta^{AA'}:=d\theta^{AA'}-\theta_{AB'}\wedge\bar{\Gamma}^{A'}{}_{B'}-\theta_{BA'}\wedge\Gamma^A{}_B \Theta^{AA'}:=d\theta^{AA'}-\theta_{AB'}\wedge\bar{\Gamma}^{A'}{}_{B'}-\theta_{BA'}\wedge\Gamma^A{}_B](https://s0.wp.com/latex.php?latex=%5CTheta%5E%7BAA%27%7D%3A%3Dd%5Ctheta%5E%7BAA%27%7D-%5Ctheta_%7BAB%27%7D%5Cwedge%5Cbar%7B%5CGamma%7D%5E%7BA%27%7D%7B%7D_%7BB%27%7D-%5Ctheta_%7BBA%27%7D%5Cwedge%5CGamma%5EA%7B%7D_B+&bg=ffffff&fg=000000&s=0)
That is,
where
denotes the exterior covariant derivative with respect to the
-valued connection(s).
That is,
The internal `symplectic metric’,
is given as fixed so that the internal
connection is then traceless
due to ![\nabla\epsilon_{AB}=0. \nabla\epsilon_{AB}=0.](https://s0.wp.com/latex.php?latex=%5Cnabla%5Cepsilon_%7BAB%7D%3D0.&bg=ffffff&fg=000000&s=0)
Defining the basis of anti-self dual two-forms as
![\Sigma^{AB}:=\frac{1}{2}\theta^A_{A'}\wedge\theta^{BA'} \Sigma^{AB}:=\frac{1}{2}\theta^A_{A'}\wedge\theta^{BA'}](https://s0.wp.com/latex.php?latex=%5CSigma%5E%7BAB%7D%3A%3D%5Cfrac%7B1%7D%7B2%7D%5Ctheta%5EA_%7BA%27%7D%5Cwedge%5Ctheta%5E%7BBA%27%7D+&bg=ffffff&fg=000000&s=0)
The second Cartan structure equations take the complex form
where the curvature two-form,
, has been decomposed into spinor fields of dimension 5,9,1 and 3 respectively , corresponding to the anti-self dual part of the Weyl conformal spinor,
, the spinor representation of the trace-free part of the Ricci tensor,
and the Ricci scalar
, – all with respect to the curvature of the
connection and
arising from the presence of non-zero torsion.
Here we have used the basis of anti-self dual two-forms
, defined in terms of the co-frame dynamical variable for mere ease of exposition. As we will see in a later post these objects can be treated as the bona fide, fully chiral dynamical “graviton” field object in tis own right.
Semi-Chiral Lagrangian formulation Equations
Two Euler-Lagrange equations arise from Lagrangians of the general form
The internal
connection is not associated to the tangent bundle and is thus not a linear connection but a spinor connection. The variation of the Lagrangian with respect to
will determine this connection in terms of the co-frame so that the bundle
can then be considered soldered to
. The co-frame variation evaluated at the particular value of the connection just determined gives equations for the co-frames only. There exists a unique Levi Civita connection,
(with curvature
) so the
connection,
can be decomposed according to
![\Gamma^A{}_B=\omega^A{}_B+K^A{}_B, \Gamma^A{}_B=\omega^A{}_B+K^A{}_B,](https://s0.wp.com/latex.php?latex=%5CGamma%5EA%7B%7D_B%3D%5Comega%5EA%7B%7D_B%2BK%5EA%7B%7D_B%2C&bg=ffffff&fg=000000&s=0)
![F^A{}_B=\Omega^A{}_B+\ ^\omega\nabla K^A{}_B+ K^A{}_C\wedge K_{B}{}^{C} F^A{}_B=\Omega^A{}_B+\ ^\omega\nabla K^A{}_B+ K^A{}_C\wedge K_{B}{}^{C}](https://s0.wp.com/latex.php?latex=F%5EA%7B%7D_B%3D%5COmega%5EA%7B%7D_B%2B%5C+%5E%5Comega%5Cnabla+K%5EA%7B%7D_B%2B+K%5EA%7B%7D_C%5Cwedge+K_%7BB%7D%7B%7D%5E%7BC%7D&bg=ffffff&fg=000000&s=0)
where
is the contorsion one form, irreducibly written in terms of totally symmetric and`axial’ parts as
![K_{AB}=-\frac{1}{2}\sigma_{ABCC'}\theta^{CC'}+2\Theta_{(A|C'|}\theta_{B)}{}^{C'}. K_{AB}=-\frac{1}{2}\sigma_{ABCC'}\theta^{CC'}+2\Theta_{(A|C'|}\theta_{B)}{}^{C'}.](https://s0.wp.com/latex.php?latex=K_%7BAB%7D%3D-%5Cfrac%7B1%7D%7B2%7D%5Csigma_%7BABCC%27%7D%5Ctheta%5E%7BCC%27%7D%2B2%5CTheta_%7B%28A%7CC%27%7C%7D%5Ctheta_%7BB%29%7D%7B%7D%5E%7BC%27%7D.&bg=ffffff&fg=000000&s=0)
The Einstein-Matter equations owing to the triviality of the Bianchi Identity
![^\omega\nabla\Theta^{AA'}=\Omega^A{}_B\wedge\theta^{BA'}+\Omega^{A'}{}_{B'}\wedge\theta^{AB'}=0, ^\omega\nabla\Theta^{AA'}=\Omega^A{}_B\wedge\theta^{BA'}+\Omega^{A'}{}_{B'}\wedge\theta^{AB'}=0,](https://s0.wp.com/latex.php?latex=%5E%5Comega%5Cnabla%5CTheta%5E%7BAA%27%7D%3D%5COmega%5EA%7B%7D_B%5Cwedge%5Ctheta%5E%7BBA%27%7D%2B%5COmega%5E%7BA%27%7D%7B%7D_%7BB%27%7D%5Cwedge%5Ctheta%5E%7BAB%27%7D%3D0%2C&bg=ffffff&fg=000000&s=0)
have the simpler form,
![^\omega\nabla(\theta^A{}_{A'}\wedge\theta^{BA'})=0, ^\omega\nabla(\theta^A{}_{A'}\wedge\theta^{BA'})=0,](https://s0.wp.com/latex.php?latex=%5E%5Comega%5Cnabla%28%5Ctheta%5EA%7B%7D_%7BA%27%7D%5Cwedge%5Ctheta%5E%7BBA%27%7D%29%3D0%2C&bg=ffffff&fg=000000&s=0)
![-2i\Omega^A{}_B\wedge\theta^{BA'}=-8\pi{T}^{AA'} -2i\Omega^A{}_B\wedge\theta^{BA'}=-8\pi{T}^{AA'}](https://s0.wp.com/latex.php?latex=-2i%5COmega%5EA%7B%7D_B%5Cwedge%5Ctheta%5E%7BBA%27%7D%3D-8%5Cpi%7BT%7D%5E%7BAA%27%7D&bg=ffffff&fg=000000&s=0)
where
The Einstein-Matter equations owing to the triviality of the Bianchi Identity
have the simpler form,
It is possible to solve for
and replace any
in
by
.
Semi-Chiral Lagrangian for Fermion fields
The Lagrangian for fermion matter has a dependence on the connection so admits torsion contributions but nevertheless can be written as the sum of a semi-chiral complex Lagrangian for vacuum General Relativity,
, a complex (semi)chiral fermion matter Lagrangian,
and a term,
that ensures the standard Einstein-Weyl form of the field equations,
The
are the left (resp. right)-handed zero forms.
The theory uses only the anti-self dual connection,
(which does not act on tensors, so for example
but is complete and it turns out, (by varying
Because ultimately the real theory is of interest (where
and
is hermitian) it proves useful to extend
to
. Although it is argued that the spin
field variables can be taken to be either Grassman [or complex]-valued, in fact the use of complex spin
fields leads to a non-standard energy-momentum tensor which includes quartic spin
fields.
No comments:
Post a Comment