Ashtekar–Barbero Variables and Connection Dynamics

The Ashtekar–Barbero formulation replaces the spatial metric by a densitized triad and an $SU(2)$ connection. For real Immirzi parameter $\gamma$ the variables are real but the Hamiltonian constraint contains extrinsic-curvature terms; for $\gamma=\pm i$ it becomes polynomial but requires nontrivial reality conditions.

Required background. Canonical Constraints, Dirac Observables, and Constraint Algebras supplies the ADM benchmark; Bundle Connections, Curvature, Gauge Transformations, and Bianchi Identities supplies connection geometry.

Helpful background. Hamiltonian Group Actions and Moment Maps supplies Gauss constraints; Parallel Transport and Holonomy supplies holonomies.

Triad and connection phase space

For co-triad $e_a^i$ and spatial metric $q_{ab}=e_a^ie_b^j\delta_{ij}$, define

$$E^a_i=\sqrt q\,e^a_i,\qquad A_a^i=\Gamma_a^i(E)+\gamma K_a^i .$$

$\Gamma_a^i$ is the torsion-free spin connection and $K_a^i=K_{ab}e^{bi}$. The symplectic bracket is

$$\{A_a^i(x),E^b_j(y)\} =8\pi G\gamma\,\delta_a^b\delta^i_j\delta^3(x-y).$$

This is a canonical transformation for nonzero $\gamma$ on the nondegenerate triad sector.

First application: derive Gauss and vector constraints

Internal triad rotations produce

$$G_i=D_aE^a_i =\partial_aE^a_i+\epsilon_{ij}{}^kA_a^jE^a_k\approx0.$$

For a smearing $\lambda^i$, $G[\lambda]$ gives

$$\{A_a^i,G[\lambda]\}=-D_a\lambda^i, \qquad \{E^a_i,G[\lambda]\}=\epsilon_{ij}{}^k\lambda^jE^a_k.$$

On the Gauss surface, the spatial-diffeomorphism constraint is

$$C_a=F_{ab}^iE^b_i-A_a^iG_i\approx0,$$

whose smeared action is the Lie derivative up to an internal rotation. Density weights are fixed: $E^a_i$ has weight $+1$, while $A_a^i$ has weight zero.

The Hamiltonian contains

$$\mathcal H \propto\frac{E^a_iE^b_j}{\sqrt{\det E}} \left[ \epsilon^{ij}{}_kF_{ab}^k -2(1+\gamma^2)K_{[a}^iK_{b]}^j \right].$$

For $\gamma=\pm i$, the second term vanishes Ashtekar 1987.

Reality and Immirzi dependence

With complex self-dual variables, recovering real Lorentzian geometry requires

$$E^a_i=\overline{E^a_i},\qquad A_a^i+\overline{A_a^i}=2\Gamma_a^i(E),$$

implemented together with a compatible inner product. Real $\gamma$ avoids these conditions classically, but spectra of standard kinematical geometric operators scale with $\gamma$.

Adversarial control: change variables at the quantum level

Repeat a spectrum calculation with $\gamma\to\gamma'$. Classical equations remain equivalent after the canonical transformation, while a fixed representation can yield rescaled spectra. For $\gamma=i$, quoting the simpler constraint without solving reality conditions does not define a physical Hilbert space.

Classical equivalence of variables therefore does not imply unitary equivalence of quantizations. The subsequent loop construction must state $\gamma$, gauge group, domain, and constraint implementation.

The chapter overview contains the structure diagram and validity and failure diagram. They are embedded there once so that their shared chapter-level context is not repeated on every article.

For the chapter-wide comparison of assumptions, counterevidence, falsifiers, and claim ceilings, see the claim-domain table.

References

• Ashtekar, Abhay. “New Hamiltonian Formulation of General Relativity.” Physical Review D 36, 1587–1602 (1987). DOI.