Representations of the Weyl Algebra in Quantum Geometry

Christian Fleischhack
DOI: https://doi.org/10.1007/s00220-008-0593-3
2009-05-05
Abstract: The Weyl algebra A of continuous functions and exponentiated fluxes, introduced by Ashtekar, Lewandowski and others, in quantum geometry is studied. It is shown that, in the piecewise analytic category, every regular representation of A having a cyclic and diffeomorphism invariant vector, is already unitarily equivalent to the fundamental representation. Additional assumptions concern the dimension of the underlying analytic manifold (at least three), the finite wide triangulizability of surfaces in it to be used for the fluxes and the naturality of the action of diffeomorphisms -- but neither any domain properties of the represented Weyl operators nor the requirement that the diffeomorphisms act by pull-backs. For this, the general behaviour of C*-algebras generated by continuous functions and pull-backs of homeomorphisms, as well as the properties of stratified analytic diffeomorphisms are studied. Additionally, the paper includes also a short and direct proof of the irreducibility of A.
Mathematical Physics
What problem does this paper attempt to address?
### What problem does this paper attempt to solve? This paper aims to prove the uniqueness theorem of Weyl algebra representations in quantum geometry, similar to the Stone - von Neumann theorem. Specifically, the author Christian Fleischhack studied the Weyl algebra \(A\) introduced by Ashtekar, Lewandowski et al., which contains continuous functions and exponentiated fluxes. The main goal is to prove that under certain conditions, every regular representation, if it has a cyclic and diffeomorphism - invariant vector, is unitarily equivalent to the fundamental representation \(\pi_0\). ### Main problems and solutions 1. **Uniqueness of regular representations**: - The author attempts to prove that, under specific assumptions (such as the diffeomorphism action satisfying certain weaker conditions), every regular representation with a cyclic and diffeomorphism - invariant vector is unitarily equivalent to the fundamental representation \(\pi_0\). - This result is similar to the Stone - von Neumann theorem in classical quantum mechanics, which states that there exists a unique irreducible regular representation. 2. **Avoiding technical difficulties in previous work**: - Previous literature (such as the work of Sahlmann and Thiemann) relied on assumptions of operator domains, which are very strict in the case of non - Abelian structure groups. - This paper avoids these domain problems by using only exponentiated fluxes instead of their self - adjoint generators. 3. **Natural realization of diffeomorphisms**: - The author relaxes the requirements for the representation of diffeomorphisms, no longer requiring them to be realized by pull - backs, and not requiring each component to contain a diffeomorphism - invariant cyclic vector. - Only require that in the decomposition, the same addends share the same diffeomorphism representation if at least one addend is diffeomorphism - invariant. 4. **Extension of analytic diffeomorphisms**: - Physically, analytic diffeomorphisms do not conform to the concept of locality; mathematically, they are not flexible enough to locally map objects under strict conditions. - Therefore, the author introduced stratified analytic diffeomorphisms and applied them to extend the surfaces defining Weyl operators from analytic submanifolds to semi - analytic sets. ### Technical contributions - **Study of C\(^*\)-algebras**: Studied the general behavior of C\(^*\)-algebras generated by continuous functions and homeomorphism pull - backs. - **Stratified analytic diffeomorphisms**: Explored in detail the properties of stratified analytic diffeomorphisms, providing broader applicability for the theory. - **Short and direct proof of irreducibility**: Provided a short and direct proof of the irreducibility of Weyl algebras. ### Summary This paper solves the problem of the uniqueness of Weyl algebra representations in quantum geometry, avoids many of the technical difficulties encountered in previous work, and extends the scope of application of the theory by introducing stratified analytic diffeomorphisms. This result provides an important theoretical basis for understanding the mathematical structures in loop quantum gravity.