Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Uniqueness of diffeomorphism invariant states on holonomy-flux algebras

Jerzy Lewandowski, Andrzej Okolow, Hanno Sahlmann, Thomas Thiemann

TL;DR

The paper constructs a holonomy-flux $*$-algebra $ rak{A}$ for connection-based gauge theories and proves a strong uniqueness result: among all diffeomorphism-invariant (and Yang–Mills gauge-invariant) states, there is a unique cyclic representation compatible with the symmetry requirements. The proof hinges on a key lemma that in any invariant GNS representation the flux operators satisfy $[\hat{X}_{S,f}]=0$, reducing the representation to the cylindrical sector and forcing the state to be the Ashtekar–Lewandowski-type invariant state $\omega_0$. Consequently, the invariant representation is unique, reinforcing the canonical role of the standard LQG Hilbert space construction under a broadened semianalytic diffeomorphism symmetry. This result strengthens the theoretical foundation of background-independent quantization for theories with connection variables and compact gauge groups, and clarifies how diffeomorphism invariance constrains admissible kinematical representations.

Abstract

Loop quantum gravity is an approach to quantum gravity that starts from the Hamiltonian formulation in terms of a connection and its canonical conjugate. Quantization proceeds in the spirit of Dirac: First one defines an algebra of basic kinematical observables and represents it through operators on a suitable Hilbert space. In a second step, one implements the constraints. The main result of the paper concerns the representation theory of the kinematical algebra: We show that there is only one cyclic representation invariant under spatial diffeomorphisms. While this result is particularly important for loop quantum gravity, we are rather general: The precise definition of the abstract *-algebra of the basic kinematical observables we give could be used for any theory in which the configuration variable is a connection with a compact structure group. The variables are constructed from the holonomy map and from the fluxes of the momentum conjugate to the connection. The uniqueness result is relevant for any such theory invariant under spatial diffeomorphisms or being a part of a diffeomorphism invariant theory.

Uniqueness of diffeomorphism invariant states on holonomy-flux algebras

TL;DR

The paper constructs a holonomy-flux -algebra for connection-based gauge theories and proves a strong uniqueness result: among all diffeomorphism-invariant (and Yang–Mills gauge-invariant) states, there is a unique cyclic representation compatible with the symmetry requirements. The proof hinges on a key lemma that in any invariant GNS representation the flux operators satisfy , reducing the representation to the cylindrical sector and forcing the state to be the Ashtekar–Lewandowski-type invariant state . Consequently, the invariant representation is unique, reinforcing the canonical role of the standard LQG Hilbert space construction under a broadened semianalytic diffeomorphism symmetry. This result strengthens the theoretical foundation of background-independent quantization for theories with connection variables and compact gauge groups, and clarifies how diffeomorphism invariance constrains admissible kinematical representations.

Abstract

Loop quantum gravity is an approach to quantum gravity that starts from the Hamiltonian formulation in terms of a connection and its canonical conjugate. Quantization proceeds in the spirit of Dirac: First one defines an algebra of basic kinematical observables and represents it through operators on a suitable Hilbert space. In a second step, one implements the constraints. The main result of the paper concerns the representation theory of the kinematical algebra: We show that there is only one cyclic representation invariant under spatial diffeomorphisms. While this result is particularly important for loop quantum gravity, we are rather general: The precise definition of the abstract *-algebra of the basic kinematical observables we give could be used for any theory in which the configuration variable is a connection with a compact structure group. The variables are constructed from the holonomy map and from the fluxes of the momentum conjugate to the connection. The uniqueness result is relevant for any such theory invariant under spatial diffeomorphisms or being a part of a diffeomorphism invariant theory.

Paper Structure

This paper contains 15 sections, 13 theorems, 127 equations, 1 figure.

Table of Contents

  1. Introduction
  2. The Holonomy-Flux $*$-algebra
  3. Semianalytic structures
  4. The cylindrical functions
  5. The Ashtekar-Isham quantum configuration space $\overline{\mathcal{A}}$
  6. Generalized vector fields tangent to $\overline{\mathcal{A}}$
  7. The quantum $*$-algebra
  8. The elements of $\mathfrak{A}$
  9. Symmetries of $\mathfrak{A}$
  10. States, GNS.
  11. The uniqueness theorem
  12. Closing remarks
  13. semianalytic category, details
  14. semianalytic functions in $\mathbb{R}^n$
  15. Semianalytic manifolds and submanifolds

Key Result

Lemma 3.2

This lemma is a modification of similar well known results see for example RS, p. 106,107. We include it for the completeness. The factor $2$ in the inequality omega-2 can be probably lowered to $1$, but this is not relevant in our paper. Suppose that $\omega:\mathop{\mathrm{Cyl}}\nolimits\rightarro Then, Therefore, $\omega$ is continuous with respect to the norm $\|\cdot\|$ and determines a uniq

Figures (1)

  • Figure 1: A semianalytic surface

Theorems & Definitions (43)

  • Definition 2.1
  • Definition 2.2
  • Definition 2.3
  • Definition 2.4
  • Definition 2.5
  • Definition 2.6
  • Definition 2.7
  • Definition 2.8
  • Definition 3.1
  • Lemma 3.2
  • ...and 33 more