Loop-Quantum-Gravity Kinematics and Spin Networks

Loop-quantum-gravity kinematics represents connection holonomies and triad fluxes without choosing a background metric. Spin networks give an orthonormal gauge-invariant basis under the Ashtekar–Lewandowski measure. This is a kinematical Hilbert space; the Hamiltonian constraint and physical inner product are not yet solved.

Required background. Ashtekar–Barbero Variables and Connection Dynamics supplies the canonical variables; Parallel Transport and Holonomy supplies group transport.

Helpful background. Physical Gauge Hilbert Spaces and Constraint Enforcement supplies gauge projection; Wilson and Polyakov Loops, Static Energies, and Screening Diagnostics supplies lattice comparison.

Holonomy–flux algebra

For edge $e$ and oriented surface $S$,

$$h_e[A]=\mathcal P\exp\int_eA,\qquad E_i(S)=\int_S\epsilon_{abc}E^a_i\,dx^b\wedge dx^c.$$

If $e$ crosses $S$ once, the flux Poisson bracket inserts an $su(2)$ generator into $h_e$, with sign fixed by orientation. On a graph $\Gamma$ with $E$ edges,

$$\mathcal H_\Gamma=L^2\!\left(SU(2)^E,d\mu_H^E\right).$$

Fluxes act as left- or right-invariant derivatives and holonomies by multiplication.

First application: a trivalent spin network

Let three edges meet at one vertex with spins $j_1,j_2,j_3$ satisfying the triangle inequalities and $j_1+j_2+j_3\in\mathbb Z$. The invariant intertwiner is unique up to normalization:

$$\iota_{m_1m_2m_3} =\begin{pmatrix} j_1&j_2&j_3\\ m_1&m_2&m_3 \end{pmatrix}.$$

The gauge-invariant cylindrical function is

$$\Psi_{\Gamma,\mathbf j} =\iota_{m_1m_2m_3} \prod_{e=1}^3 D^{(j_e)}_{m_en_e}(h_e)\, \xi^{n_1n_2n_3},$$

with boundary indices contracted or fixed according to the graph. Haar orthogonality gives

$$\langle\Gamma,\mathbf j,\boldsymbol\iota \mid\Gamma',\mathbf j',\boldsymbol\iota'\rangle =\delta_{\Gamma\Gamma'}\delta_{\mathbf j\mathbf j'} \delta_{\boldsymbol\iota\boldsymbol\iota'}$$

after embedding graphs into a common refinement. A flux through edge $e$ acts by the angular-momentum generator in representation $j_e$.

Representation assumptions

Uniqueness results require a specified holonomy–flux algebra, cyclic representation, diffeomorphism-invariant state, regularity, and analytic or semianalytic category. The LOST theorem establishes uniqueness under such assumptions Lewandowski et al. 2006. It does not prove uniqueness after adding background fields, changing continuity requirements, or altering the algebra.

Adversarial control: change an assumption

Demand weak continuity in edge length as in a Fock representation, or choose a background-dependent vacuum. The Ashtekar–Lewandowski representation and its spin-network basis need not follow. Quotient by spatial diffeomorphisms and graph embedding information changes again.

The result is a precise background-independent kinematics with gauge-invariant states. Discrete labels are not yet physical geometry, and the kinematical inner product is not the physical one.

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

• Lewandowski, Jerzy, Andrzej Okołów, Hanno Sahlmann, and Thomas Thiemann. “Uniqueness of Diffeomorphism Invariant States on Holonomy–Flux Algebras.” Communications in Mathematical Physics 267, 703–733 (2006). DOI. Open PDF.