I will derive the following: the Nieh–Yan action, in the context of Barbero-Immirzi Hamiltonian analysis, allows the phase-space of General Relativity to be determined by Ashtekar-Barbero variables, and as to why this is deep and crucial for the viability of LQG is a topic for another post. Recall how I showed that the Barbero–Immirzi field action:
with
and
the torsion-less metric-compatible covariant derivative, induces contortion spin-connections by solving:
and hence:
generalizes to:
Thus, the second integral is the Nieh-Yan topological invariant and connects to the Holst term, yielding:
After varying the action with respect to the irreducible components of:
we obtain:
Inserting into:
one gets the effective action:
giving us an equivalence with the Hilbert-Palatini torsion-free action and thus solving the gauge-free accessibility problem as well as the 4-D uplifting problem caused by invariance under rescaling symmetry and translational symmetry.
- Now, since the phase-space has symplectic structure:
and
It thus follows that the total BI-field Hamiltonian:
with
the Lagrange multipliers, obeys:
where
is the Poisson bracket satisfying:
with
being the time-evolution of the BI-field and
an arbitrary field.
Now, the Einstein field equations with the Immirzi parameter and a cosmological constant are given by the BF-type action (EIBF):
where
is a set of 6 2-forms
and being the curvature for the connection with components:
with cosmological constant terms:
and the internal tensor constraining the B-field with symmetries:
a 4-form and is the Immirzi parameter. As is standard, is the internal Hodge dual:
with:
Now, since one can integrate the Immirzi parameter into the theory, the following identity can be derived:
with inverse transformation:
Combining with the EIBF-action:
one can derive the following identities:
– The first step in the Hamiltonian analysis of the EIBF-action is that, given that the total BI-field Hamiltonian:
obeys:
where
is the Poisson bracket, the Hamiltonian takes the following form:
with:
the canonically conjugate momenta with respect to the connection:
and the following holds:
and
is an antisymmetric tensor density of weight +1. Now, the Lagrange multipliers:
allow us to deduce the following crucial EIBF constraints:
and
and
the cosmological constant, and is the SO(1,3) covariant derivative:
and is the determinant of the spatial metric whose inverse satisfies:
Now, one can use the Dirac-method to eliminate some canonical variables from the theory thus reducing the solution to the equations:
to the original Holstsian phase-space. Noting that the following:
is a solution, it follows that is invertible with inverse , and the following relation:
reduces to:
with:
Similarly, one can use
in order to collapse the symplectic structure to:
such that the following hold:
hence, the phase space variables:
obey the Poisson brackets:
Now, since:
is an inhomogeneous linear system of equations for the unknowns , with general solution:
From:
we can derive:
thus, we have a linear map:
whose inverse map is:
together with:
Consistency conditions with the Holst action impose on us:
by substituting, we can derive:
with:
Now, we are in a position to rewrite the remaining constraints in:
as phase-space variables, thus the Gauss constraint splits into boost and rotational parts as follows:
and
yielding the vector and scalar constraints:
and
where:
relates to via:
Hence, our phase space is now determined by 12, down from 24, canonical pairs:
and to construct the Barbero’s formulation one must demand that the variables constitute a densitized triad for the spatial metric , that is:
Up until now, our formalism and theory is fully diffeomorphism and Lorentz invariant, however, one must break the Lorentz group down to its compact subgroup in order to derive the Ashtekar-Barbero variables, and this is accomplished by choosing the time-gauge:
The solution of the second-class constraints is thus given by:
and:
where is the rotational part of , that is:
which allow us to derive:
Combining them, one gets:
and together with:
we get the following solution:
And here’s the crucial point: this is the spin-connection of the densitized triad
and satisfies the following 3 relations:
with:
and:
are the curvatures of the connections:
obeying the following equations:
Hence, the reformulation of the phase space of General Relativity in terms of our canonical variables recovers the Ashtekar formulation given
our Hamiltonian: