REVIEW
Representation Theory of Analytic Holonomy C* Algebras
General Relativity and Quantum Cosmology · Submitted 7 Nov 1993 · 16 references
Pith's verdict: The paper that closes out the Ashtekar–Isham program: a clean algebraic characterization of the spectrum and the first faithful, diffeomorphism-invariant measure on it.
T0 · AI review
Why Pith says this
Highlight any text to comment on it.
Referee report
The paper
The paper claims
The paper argues that gauge-equivalent connections and closed loops are exact duals: every point of the completed connection space is a rule assigning group elements to loops, and every such rule is a point.
The reading
What carries the argument
The load-bearing device is the loop decomposition of Section 3.1: because the loops are piecewise analytic, any two overlap in finitely many intervals and intersect in finitely many points, so any finite set of hoops can be replaced by a finite set of 'strongly independent' loops — each containing an open segment traced exactly once and shared with no other loop — that generates a hoop subgroup containing the original hoops. Strong independence yields Lemma 3.1, the existence of a smooth connection realizing an arbitrary prescribed $n$-tuple of holonomies around those loops. That lemma does double duty: it converts the apparently weak pointwise bound on a candidate spectrum element into the full sup-norm bound needed for continuity, and it identifies the quotient $[A/G]/sim$ with the compact space $SU(2)^n/Ad$, which is what makes cylindrical functions and cylindrical measures available in a non-linear setting where no linear duality exists.
Extended reading notes
Core claim
The paper's central result (Theorem 3.5) is a characterization of the Gel'fand spectrum $A/G$ of the Ashtekar–Isham holonomy $C^*-$algebra: every point $A$ of the spectrum defines a homomorphism $H$ from the hoop group $HG$ to $SU(2)$ with $A(hoop) = (1/2) Tr H(hoop)$, and conversely every homomorphism from $HG$ to $SU(2)$ defines a point of the spectrum, the correspondence being one-to-one modulo conjugation by a fixed element of $SU(2)$. The authors emphasize that the homomorphism need not be continuous — no topology on the hoop group enters — so the characterization is purely algebraic and usable in practice. A companion result (Theorem 4.4) equips the spectrum with an 'induced Haar measure': for each finitely generated subgroup of the hoop group generated by $n$ strongly independent hoops, one projects $A/G$ onto $SU(2)^n/Ad$ and integrates there with the normalized Haar measure; the authors show the resulting integrals are compatible across different choices of subgroup, so a genuine regular measure exists, and it is strictly positive and diffeomorphism invariant because no extra structure on the manifold was introduced. The generating functional of the resulting representation vanishes on smoothly embedded loops and is nonzero only on retraced or otherwise generalized loops, so it is a generalized knot invariant rather than a standard one.
Load-bearing premise
The whole argument rests on the loops being piecewise analytic, since only then does any finite set of loops decompose into finitely many strongly independent loops, and the authors themselves note in Appendix A that for non-Abelian groups it is an open question whether the results survive if loops are only piecewise smooth.
Editorial extensions
If this is right
- Every cyclic representation of the holonomy $C^*-$algebra is of the form $L^2(A/G, d\mu)$ for a regular measure, with Wilson-loop operators acting by multiplication, and the induced Haar measure gives a faithful, diffeomorphism-invariant example.
- The loop transform becomes a rigorous map from $L^2(A/G, d\mu)$ to functions on the hoop group, with the Wilson-loop action on hoop states taking the simple form $T_{\tilde\gamma}\,\psi(\tilde\alpha) = \tfrac12(\psi(\tilde\alpha\cdot\tilde\gamma) + \psi(\tilde\alpha\cdot\tilde\gamma^{-1}))$.
- Diffeomorphism-invariant measures on the completed connection space correspond one-to-one with generalized knot and link invariants satisfying the positivity conditions of the GNS construction.
- The completion $A/G$ contains generalized connections supported on a single point, on a 2-dimensional submanifold, or depending only on the tangent directions of a loop at an intersection point, so the completion is strictly larger than the classical configuration space.
- The framework extends to $U(N)$ and $SU(N)$ gauge groups on $n$-manifolds with piecewise analytic loops, and the resulting algebra turns out to be independent of which principal bundle one starts from.
Reading between the lines
- Editorial: the algebraic characterization makes the spectrum computable in a practical sense — checking whether a candidate generalized connection is a point of $A/G$ reduces to checking it is a group homomorphism, which is a finite algebraic test on any finite set of hoops rather than an analytic continuity argument.
- Editorial: because the measure is built from Haar measure alone, the construction suggests a family rather than a single object; replacing the Haar measure by other adjoint-invariant measures on $SU(2)^n$ should produce further diffeomorphism-invariant measures, subject to the same compatibility conditions.
- Editorial: the vanishing of the generating functional on smoothly embedded loops means the induced Haar measure does not see ordinary knot classes; any knot information in this representation must come from generalized loops with kinks and retracings, which is a sharp constraint on how knot invariants can arise as measures here.
- Editorial: the paper's own remark that a Plancherel-type theorem relating integrals over $A/G$ and over the hoop group is still missing marks the natural next target — without it the loop representation has no intrinsic inner product.
Original abstract
Integral calculus on the space of gauge equivalent connections is developed. Loops, knots, links and graphs feature prominently in this description. The framework is well--suited for quantization of diffeomorphism invariant theories of connections. The general setting is provided by the abelian C* algebra of functions on the quotient space of connections generated by Wilson loops (i.e., by the traces of holonomies of connections around closed loops). The representation theory of this algebra leads to an interesting and powerful ``duality'' between gauge--equivalence classes of connections and certain equivalence classes of closed loops. In particular, regular measures on (a suitable completion of) connections/gauges are in 1--1 correspondence with certain functions of loops and diffeomorphism invariant measures correspond to (generalized) knot and link invariants. By carrying out a non--linear extension of the theory of cylindrical measures on topological vector spaces, a faithful, diffeomorphism invariant measure is introduced. This measure can be used to define the Hilbert space of quantum states in theories of connections. The Wilson--loop functionals then serve as the configuration operators in the quantum theory.
The compiled record
The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.
The abstract, sentence by sentence
Integral calculus on the space of gauge equivalent connections is developed. Loops, knots, links and graphs feature prominently in this description. The framework is well--suited for quantization of diffeomorphism invariant theories of connections. The general setting is provided by the abelian C* algebra of functions on the quotient space of connections generated by Wilson loops (i.e., by the traces of holonomies of connections around closed loops). The representation theory of this algebra leads to an interesting and powerful ``duality'' between gauge--equivalence classes of connections and certain equivalence classes of closed loops. In particular, regular measures on (a suitable completion of) connections/gauges are in 1--1 correspondence with certain functions of loops and diffeomorphism invariant measures correspond to (generalized) knot and link invariants. By carrying out a non--linear extension of the theory of cylindrical measures on topological vector spaces, a faithful, diffeomorphism invariant measure is introduced. This measure can be used to define the Hilbert space of quantum states in theories of connections. The Wilson--loop functionals then serve as the configuration operators in the quantum theory.
background contribution method result interpretation main claim
| # | sentence | role | the authors' own work | states the main conclusion | strength |
|---|---|---|---|---|---|
| s0 | Integral calculus on the space of gauge equivalent connections is developed. | contribution 0.91 | 0.82 | 0.06 | asserted 1.00 |
| s1 | Loops, knots, links and graphs feature prominently in this description. | background 0.64 | 0.32 | 0.03 | asserted 1.00 |
| s2 | The framework is well--suited for quantization of diffeomorphism invariant theories of connections. | interpretation 0.94 | 0.41 | 0.10 | asserted 0.94 |
| s3 | The general setting is provided by the abelian C* algebra of functions on the quotient space of connections generated by Wilson loops (i.e., by the traces of holonomies of connections around closed loops). | method 0.43 | 0.43 | 0.11 | asserted 1.00 |
| s4 | The representation theory of this algebra leads to an interesting and powerful ``duality'' between gauge--equivalence classes of connections and certain equivalence classes of closed loops. | result 0.78 | 0.78 | 0.52 | asserted 1.00 |
| s5 | In particular, regular measures on (a suitable completion of) connections/gauges are in 1--1 correspondence with certain functions of loops and diffeomorphism invariant measures correspond to (generalized) knot and link invariants. | result 0.89 | 0.74 | 0.45 | asserted 1.00 |
| s6 | By carrying out a non--linear extension of the theory of cylindrical measures on topological vector spaces, a faithful, diffeomorphism invariant measure is introduced. | method 0.52 | 0.90 | 0.13 | asserted 1.00 |
| s7 | This measure can be used to define the Hilbert space of quantum states in theories of connections. | interpretation 0.65 | 0.76 | 0.11 | asserted 0.91 |
| s8 | The Wilson--loop functionals then serve as the configuration operators in the quantum theory. | interpretation 0.54 | 0.69 | 0.13 | asserted 1.00 |
What was examined, and what was not
- arXiv listing abstract v2
- full text
- figures and tables
- references and citing sentences
- relations to other papers
- P abstract
- S sections
- T body sentences
- C citations
- R cross-paper relations
References
How later papers used it
56 later papers cite it
1 later paper by other authors is listed below: 1 used its method or tool.
Uses its method or tool 1 of 6 papers with this label
-
Adopted a labeling introduced in this paper.
Constrained projective quantum states for the degenerate Plebanski gravity (2017) · 0.97 · paraphrased: the licence does not allow quoting
How the literature uses it
56 arXiv papers cite this in 97 sentences
Papers citing it · 71 sentences without a confident label
Uses its method or tool 6 papers
-
Our formulation provides access to the quantisation techniques developed in [ref] and allows for a rigorous construction of a quantum theory.
New Variables for Classical and Quantum Gravity in all Dimensions IV. Matter Coupling · Introduction · 0.87
-
These triples are selected as in expression [ref], and each cylindrical function, defined in the same manner as in CLQG [ref] , depends on the connection only through a linear holonomy.
Relativistic classical theory II. Holonomy-flux representation of gravitational degrees of freedom · Summary · 0.90
-
A labeling we are going to use was introduced in [ref] .
Constrained projective quantum states for the degenerate Plebanski gravity · Finite sets of configurational d.o.f. · 0.97
Compares with it 1 paper
-
In particular, the obtained mean-field vacuum open ups the possibility to compare it with the Ashtekar-Lewandowski vacuum [ref] and the Geiller-Dittrich vacuum [ref] studied in LQG and spin foam gravity.
Quantum Gravity, Hydrodynamics and Emergent Cosmology: A Collection of Perspectives · Three Ways to Mean-Field Group Field Theory by Johannes Thürigen · 0.93
Cites it as background 15 papers
-
Since several categories (for example: analytic [ref] , semianalytic [ref] , stratified [ref] , smooth [ref] ) have been used in LQG, we have chosen to base the analysis on a number of assumptions about the ability of diffeomorphisms to realize certain maps between graphs in a local fashion.
A Fock space structure for the diffeomorphism invariant Hilbert space of loop quantum gravity and its applications · Introduction · 0.88
-
The Hilbert space used in LQG was obtained in [ref] by breaking the $SL(2,)$ symmetry to the $SU(2)$ one (which amounts to breaking the Lorentz symmetry of GR to that of three-dimensional rotations) and in [ref] Lanéry and Thiemann constructed their projective quantum states also for LQG with the $SU(2)$ symmetry.
A modification of the projective construction of quantum states for field theories · Partial solutions · 0.81
-
We call the group of based loops associated to $$ for the hoop group (holonomy loops, see [ref] ), denoted $_$.
On Spectral Triples in Quantum Gravity I · Simplicial complexes and their loop algebras · 0.81
Discussion
Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.