[Paper Review] Physical Diffeomorphisms in Loop Quantum Gravity

Tim Koslowski|ArXiv.org|Oct 5, 2006

Noncommutative and Quantum Gravity Theories11 references3 citations

TL;DR

This paper proposes that physical diffeomorphisms in Loop Quantum Gravity (LQG) must be restricted to stratified analytic diffeomorphisms to ensure a separable, physically consistent Hilbert space. By demanding that the quantum Hilbert space be a completion of classical diffeomorphism orbits, the author shows that orbits of spin networks are labeled by knot classes and spin quantum numbers—forming a countable set—leading to a separable, diffeomorphism-invariant Hilbert space with a spin-knot basis.

ABSTRACT

We investigate the action of diffeomorphisms in the context of Hamiltonian Gravity. By considering how the diffeomorphism-invariant Hilbert space of Loop Quantum Gravity should be constructed, we formulate a physical principle by demanding, that the gauge-invariant Hilbert space is a completion of gauge- (i.e. diffeomorphism-)orbits of the classical (configuration) variables, explaining which extensions of the group of diffeomorphisms must be implemented in the quantum theory. It turns out, that these are at least a subgroup of the stratified analytic diffeomorphisms. Factoring these stratified diffeomorphisms out, we obtain that the orbits of graphs under this group are just labelled by their knot classes, which in turn form a countable set. Thus, using a physical argument, we construct a separable Hilbert space for diffeomorphism invariant Loop Quantum Gravity, that has a spin-knot basis, which is labelled by a countable set consisting of the combination of knot-classes and spin quantum numbers. It is important to notice, that this set of diffeomorphism leaves the set of piecewise analytic edges invariant, which ensures, that one can construct flux-operators and the associated Weyl-operators. A note on the implications for the treatment of the Gauss- and the Hamilton-constraint of Loop Quantum Gravity concludes our discussion.

Motivation & Objective

• To resolve the long-standing issue of non-separability in the kinematical Hilbert space of Loop Quantum Gravity.
• To identify the physically correct group of diffeomorphisms that should act as gauge symmetries in the quantum theory.
• To justify the use of a specific subgroup of diffeomorphisms based on physical principles, not mathematical convenience.
• To demonstrate that the resulting Hilbert space is separable and admits a spin-knot basis.
• To reconcile the physical necessity of gauge completion with the preservation of quantum geometric structures like flux operators.

Proposed method

• Formulate a physical principle: the gauge-invariant Hilbert space must be the completion of classical gauge (diffeomorphism) orbits.
• Identify that only a subgroup of stratified analytic diffeomorphisms preserves the structure of piecewise analytic edges and ensures completeness of orbits.
• Prove that orbits of spin networks under this group are classified by knot classes and spin quantum numbers, forming a countable set.
• Construct the physical Hilbert space as a separable completion of these orbits, leading to a spin-knot basis.
• Verify that flux and Weyl operators remain well-defined under this group, preserving quantum geometry.
• Use group averaging and rigging map techniques to ensure gauge invariance and consistency with the quantum algebra.

Experimental results

Research questions

• RQ1 Which group of diffeomorphisms should be implemented as physical gauge symmetries in Loop Quantum Gravity?
• RQ2 Can a separable, physically consistent Hilbert space be constructed for diffeomorphism-invariant LQG?
• RQ3 Does restricting to stratified analytic diffeomorphisms preserve the physical structure of quantum geometry, such as flux operators?
• RQ4 Can the Hilbert space be built as a completion of classical gauge orbits, ensuring physical consistency?
• RQ5 Is there a version of quantum geometry that transforms covariantly under the proposed group of diffeomorphisms?

Key findings

• The physical Hilbert space of Loop Quantum Gravity is separable when the gauge group is restricted to stratified analytic diffeomorphisms.
• The orbits of spin networks under this group are labeled by knot classes and spin quantum numbers, forming a countable set.
• The resulting Hilbert space admits a spin-knot basis, providing a complete, separable, and physically consistent quantum state space.
• Stratified analytic diffeomorphisms preserve the piecewise analytic structure of edges, ensuring that flux and Weyl operators remain well-defined.
• A version of quantum geometry transforms covariantly under the proposed group, supporting its physical viability.
• The construction resolves the tension between physical consistency (completion of gauge orbits) and mathematical feasibility (separability and operator definition).