format: text

text:
# On the Superselection Theory of the Weyl Algebra for Diffeomorphism Invariant Quantum Gauge Theories

## 1 Introduction

Canonical, background independent quantum field theories of connections  play a fundamental role in the program of canonical quantization of general relativity (including all types of matter), sometimes called loop quantum gravity or quantum general relativity. For a review geared to mathematical physicists see , for a general overview ).

The classical canonical theory can be formulated in terms of smooth connections $`A`$ on principal $`G`$bundles over a $`D`$dimensional spatial manifold $`\mathrm{\Sigma }`$ for a compact gauge group $`G`$ and smooth sections of an associated (under the adjoint representation) vector bundle of Lie$`(G)`$valued vector densities $`E`$ of weight one. The pair $`(A,E)`$ coordinatizes an infinite dimensional symplectic manifold $`(,\mathrm{\Sigma })`$ whose (strong) symplectic structure $`s`$ is such that $`A`$ and $`E`$ are canonically conjugate.

In order to quantize $`(,s)`$, it is necessary to smear the fields $`A,E`$. This has to be done in such a way, that the smearing interacts well with two fundamental automorphisms of the principal $`G`$bundle, namely the vertical automorphisms formed by $`G`$gauge transformations and the horizontal automorphisms formed by Diff$`(\mathrm{\Sigma })`$ diffeomorphisms. These requirements naturally lead to holonomies and electric fluxes, that is, exponentiated (path-ordered) smearings of the connection over $`1`$dimensional submanifolds $`e`$ of $`\mathrm{\Sigma }`$ as well as smearings of the electric field over $`(D1)`$dimensional submanifolds $`S`$

$$h_e[A]=𝒫\mathrm{exp}_eA,E_{S,f}[E]=_SE_If^I$$

These functions on $``$ generate a closed Poisson$`{}_{}{}^{}`$algebra $`𝒫`$ and separate the points of $``$. They do not depend on a choice of coordinates nor on a background metric. Therefore, diffeomorphisms and gauge transformations act on these variables in a remarkably simple way: Let $`\phi `$ be a diffeomorphism of $`\mathrm{\Sigma }`$, then

$$\alpha _\phi (h_e)=h_{\phi ^1e},\alpha _\phi (E_{S,f})=E_{\phi ^1S,\phi ^{}f}.$$

Similarly let $`g:\mathrm{\Sigma }G`$ be a gauge transformation, then

$$\alpha _g(h_e)=g(a)h_eg^1(b),\alpha _g(E_{S,f})=E_{S,g^1fg}$$

where $`a`$ is the starting point of $`e`$ and $`b`$ the endpoint.

Quantization now means to promote $`𝒫`$ to an abstract $`{}_{}{}^{}`$algebra $`𝔄`$ and to look for its representations. However, for physical reasons we are not interested in arbitrary representations but those fulfilling the following criteria:

* Irreducibility
The representation space $`_\pi `$ should contain no proper invariant subspaces, i.e. the span of vectors $`\pi (a)v`$ should be dense in $`_pi`$ for any vector $`v`$.

Irreducible representations are the building blocks of the representation theory. If their structure is clarified, more general representations can be constructed from and analyzed in terms of them.
* Diffeomorphism and Gauge Invariance
Diffeomorphism and gauge transformations are fundamental symmetries of the theory, so if we do not consider a scenario of spontaneous symmetry breaking, they should be symmetries of the ground state of the quantum theory as well.

Thus in our setting we require that there is a at least one symmetric state $`\mathrm{\Omega }_\pi `$ in the representation space. More precisely, for the expectation value $`\omega _\pi (.):=<\mathrm{\Omega }_\pi ,.\mathrm{\Omega }_\pi >__\pi `$ in that state, we require invariance:

$$\omega _\pi \alpha _\phi =\omega _\pi ,\omega _\pi \alpha _g=\omega _\pi $$

for all diffeomorphisms $`\phi `$ and gauge transformations $`g`$.

It is remarkable that so far only one representation has been found which satisfies our assumptions: This is the Ashtekar – Isham – Lewandowski representation $`\pi _0`$ on a Hilbert space $`_0=L_2(\overline{𝒜},d\mu _0)`$ where $`\overline{𝒜}`$ is the Ashtekar – Isham space of distributional connections (the spectrum of a certain Abelian C$`{}_{}{}^{}`$algebra) and $`\mu _0`$ is the Ashtekar – Lewandowski measure. Historically, first Ashtekar and Isham  were looking for a natural distributional extension $`\overline{𝒜}`$ of the space $`𝒜`$ of smooth connections, which could serve as the support for gauge invariant measures. Then Ashtekar and Lewandowski found a natural, cylindrical measure  which was shown to have a unique $`\sigma `$additive extension $`\mu _0`$ by Marolf and Mourão . This measure turned out to be diffeomorphism invariant. More general diffeomorphism invariant measures were found by Baez , however, in contrast to $`\mu _0`$ they are not faithful. That the resulting Hilbert space $`_0`$ indeed carries a representation of the holonomy – flux algebra was shown only later in , essentially that representation $`\pi _0`$ results by having connections and electric fields respectively act as multiplication and functional derivative operators respectively.

The present work was inspired by the question whether the fact that $`_0`$ is the only representation found so far which satisfies our criteria in fact means that it is the unique representation. In this article we show that upon imposing two additional and rather technical conditions on the representations, the question can be answered affirmatively: Under these assumptions, the Ashtekar-Lewandowski representation is indeed unique.

Work towards settling this questions has begun in , however the results obtained there rest on assumptions that exclude the interesting cases, most notably that of a noncommutative gauge group. However it might still be interesting for the reader to take a look at  since the discussion there is much less burdened by the technical subtleties that arise in the general case.

During the completion of this article, a very interesting work has been published by Okolow and Lewandowski  that aims at settling the very same question raised in this article. Their method of proof and in part also their assumptions differ from the ones used in the present article, so it is very instructive to compare the two approaches. The hope is that combining methods of the present paper with those of  enables one to prove a completely general and satisfactory uniqueness theorem.

Before we conclude this introduction, let us discuss the subtleties that arise due to our general setting as well as the additional assumptions we are going to make.

The first problem that arises comes from the fact that the flux operators are unbounded and so one has to worry about domain problems. In our approach, we will try to circumvent these problems by not working with the fluxes directly but with their exponentiated counterparts. More precisely, we will consider the abstract Weyl algebra formed from holonomies and exponentiated electric fluxes and represent them as bounded operators on a Hilbert space . This algebra can be equipped with a $`C^{}`$norm so that $`𝔄`$ turns into a $`C^{}`$algebra and we therefore have the powerful representation theory of $`C^{}`$algebras at our disposal. However, we will require that the representations under considerations will be weakly continuous for the unitary groups generated by exponentiated fluxes. Therefore their selfadjoint generators, the fluxes themselves, will be well defined operators. In the case of an Abelian gauge group, this approach enables us to completely circumvent any specification of the domains of the fluxes. Due to technical complications for non-Abelian gauge groups, we will however have to make such a specification in that case. This is the first of the two requirements in addition to i) and ii) above that we make in order to prove our uniqueness result.

It is interesting to note that, at least for the case of an Abelian gauge group, our theorem could be compared to von Neumann’s theorem  (uniqueness of weakly continuous, irreducible representations of the Weyl C$`{}_{}{}^{}`$algebra of the phase space $`(=^{2N},\sigma =_{a=1}^Ndp_adq^a)`$ with $`N<\mathrm{}`$ up to unitary equivalence) since it also makes use of irreducibility and continuity. The surprise is that our theorem holds for an infinite number of degrees of freedom and that continuity is required only for one half of the variables (in fact, connections only form an affine space and not a vector space, so continuity of holonomies is even hard to formulate) while in background dependent quantum field theories we are faced with an uncountably infinite number of unitarily inequivalent representations of the canonical commutation relations . There, a unique representation is usually selected by using Lorentz invariance and a specific dynamics, in that sense it is a dynamical uniqueness. However, while we use spatial diffeomorphism invariance, in our case we do not make use of any particular dynamics such as the Hamiltonian constraint of quantum general relativity  and in that sense it is a kinematical uniqueness.

This comparison leads us to the second subtlety and the corresponding additional assumption: The requirements i) and ii) guarantee that the the action of the automorphisms on algebra elements can be unitarily implemented in the representation. However there is a priory little control about the details of the action of these unitary operators in the Hilbert space. We will point out that there is a “natural” way for them to act in the representation Hilbert space, and we will require that this natural action is realized in the representations we consider. This is, however, a priori not the most general possibility. Two scenarios can be envisioned: In the first, one can actually show that the natural action is in fact the only possible one, and then our uniqueness result would be general. In the second, there are actually other viable unitary actions of the diffeomorphisms, and this in turn might lead to a classifications of the representations studied in terms of unitary representations of the diffeomorphism group. The picture then would be very similar to that obtained in the case of free quantum field theories, where Poincare invariant representations can be classified by unitary representations of the Poincare group. Both scenarios would be very interesting in their own ways, and we happily await a future settling of this question.

To summarize, a completely general and satisfactory picture of the diffeomorphism and gauge invariant representations of the algebra of holonomies and fluxes has not yet emerged. However, the results of the present work and that of  point to the fact that diffeomorphism invariance is an extremely strong requirement and could mean that in background independent quantum field theories there is much less quantization freedom than in background dependent ones.
To finish, let us give an overview of the structure of the rest of present work:
In section 2 we recall from  the essentials of the classical formulation of canonical, background independent theories of connections, that is, the symplectic manifold $`(,\sigma )`$ and the corresponding classical Poisson$`{}_{}{}^{}`$algebra $`𝒫`$ generated by holonomies and electric fluxes.

In section 3 we define the abstract $`{}_{}{}^{}`$algebra $`𝔄`$ and recall from  the general representation theory of $`𝔄`$.

In section 4 we implement irreducibility and spatial diffeomorphism invariance and prove our uniqueness theorem.

Finally, in appendix A we present a simpler proof of our main result using an additional, natural assumption. We also report some additional technical information in appendix B.

## 2 Preliminaries

Let $`\mathrm{\Sigma }`$ be an analytic, connected and orientable $`D`$dimensional manifold and $`G`$ a compact, connected gauge group. A principal $`G`$bundle $`P`$ over $`\mathrm{\Sigma }`$ is determined by its local trivializations $`\varphi _I:U_I\times GP`$ subordinate to an atlas $`\{U_I\}`$ of $`\mathrm{\Sigma }`$. These give rise to local, smooth $`G`$valued functions $`g_{IJ}:U_IU_JG`$ on $`\mathrm{\Sigma }`$, called transition function cocycles. A connection over $`P`$ can be thought of as a collection $`\{A_I\}`$ of smooth, Lie$`(G)`$valued one-forms over the respective charts $`U_I`$ subject to the gauge covariance condition $`A_I=dg_{IJ}g_{IJ}^1+\text{Ad}_{g_{IJ}}(A_J)`$ over $`U_IU_J`$. The space of smooth connections $`𝒜`$ over $`P`$ therefore depends on the bundle $`P`$ but we will abuse notation in not displaying this dependence.

Similarly, we define a vector bundle $`E_P`$ associated to $`P`$ under the adjoint representation whose typical fiber is a Lie$`(G)`$valued $`(D1)`$form on $`P`$. An electric field is a local section of $`E_P`$ which we may think of as a collection $`\{E_I\}`$ of Lie$`(G)`$valued $`(D1)`$forms on $`\mathrm{\Sigma }`$ subject to the gauge covariance condition $`E_I=\text{Ad}_{g_{IJ}}(E_J)`$ over $`U_IU_J`$. The space of smooth electric fields $``$ over $`P`$ depends on $`P`$ as well but the dependence is also not displayed.

The space $`𝒜`$ can be given the structure of a manifold modeled on a Banach space in the usual way (see e.g. ). Consider now the cotangent bundle $`:=T^{}(𝒜)`$. Since $`𝒜`$ is a Banach manifold, also $``$ is and, moreover, we may identify $``$ with the sections of $``$ together with the induced topology. The cotangent bundle $`=𝒜\times `$ can be equipped with the following (strong, see e.g. ) symplectic structure: Let $`\text{Tr}:\text{Lie}(G)\times \text{Lie}(G)`$ be a natural $`Ad_G`$invariant metric on Lie$`(G)`$ then there is a natural pairing $`\times 𝒜`$ defined by

$$(F,f)F(f):=_\mathrm{\Sigma }\text{Tr}(Ff)$$
(2.1)
Since in our case the section of the tangential space of $``$ can be identified with points in $``$, we may define the symplectic structure by

$$s:T()\times T();((F,f),(F^{},f^{}))F(f^{})F^{}(f)$$
(2.2)
In a concrete gauge field theory the right hand side will be multiplied by a constant which depends on the coupling constant of the theory. In order not to clutter our formulae we will assume that $`A`$ and $`E`$ respectively have dimension cm-1 and cm-(D-1) respectively and we set $`\mathrm{}=1`$ for simplicity.

The Poisson bracket is uniquely defined by

$$\{.,.\}:C^{\mathrm{}}()\times C^{\mathrm{}}();(a,b)\chi _a(b)$$
(2.3)
where the Hamiltonian vector field $`\chi _a`$ on $``$ defined by $`aC^{\mathrm{}}()`$ is uniquely defined by $`i_{\chi _a}s+da=0`$. It is easy to see that the usual Poisson bracket $`{}_{}{}^{}algebra`$ $`𝒫^{}:=C^{\mathrm{}}()`$ is generated from the basic canonical bracket relations

$$\{F(A),F^{}(A)\}=\{E(f),E(f^{})\}=0,\{E(f),F(A)\}=F(f)$$
(2.4)
and the reality conditions

$$\overline{E(f)}=E(\overline{f}),\overline{F(A)}=\overline{F}(A)$$
(2.5)
The relations (2.4) display $`A,E`$ respectively as the canonically conjugate configuration and momentum degrees of freedom and therefore $`𝒜`$ is called the classical configuration space.

The algebra $`𝒫^{}`$ is, however, not what we are interested in for several reasons:

* Gauge Invariance
The objects $`F(A),E(f)`$ depend heavily on our choice of trivialization of $`P`$. It will be very hard to construct gauge invariant quantities from them, in which we are ultimately interested. In order to do that, we must work with basic functions on $``$ which are different from the canonical functions $`F(A),E(f)`$. Of course, these problems could be avoided by fixing a gauge, however, there is no canonical gauge and most gauges are plagued by the Gribov problem.
* Background Independence
Even when ignoring the just mentioned problems, it is rather hard to construct spatially diffeomorphism invariant (background independent) representations of $`𝒫^{}`$, in fact, to the best of our knowledge such representations have not been constructed. To see where the problem is, suppose that we want to construct a representation of the form $`=L_2(𝒮^{},d\mu )`$ where $`𝒮^{}`$ is the space of tempered distributions on $`\mathrm{\Sigma }`$ (that is, the topological dual of the space $`𝒮`$ of functions of rapid decrease) and $`\mu `$ is a measure thereon. This is the form of the representation for free field theories . Notice that the nuclear topology on $`𝒮`$ does not refer to any background structure except for the differentiable structure of $`\mathrm{\Sigma }`$, so there is no problem up to this point. The problem arises when we define the measure $`\mu `$ via its generating functional $`\mu (F):=\mu (\mathrm{exp}(iF(.)))`$. For instance, if $`\mu `$ is a (generalized) free (Gaussian) measure, then $`\mu (F)=\mathrm{exp}(F(CF)/2)`$ where $`C`$ is a background metric dependent appropriate covariance which is needed in order to contract indices in the appropriate way. Interacting measures in more than three spacetime dimensions have not been constructed so far.

A solution to the first problem was suggested for canonical quantum Yang-Mills theories already by Gambini et. al.  and for loop quantum gravity by Jacobson, Rovelli and Smolin . The idea is to work with holonomies and electric fluxes. We will explain in detail what we mean by that, because it will be important for what follows. For more details, see .

###### Definition 2.1.

i) $`𝒞`$ is the set of piecewise analytic, continuous, oriented, compactly supported, parameterized curves embedded in $`\mathrm{\Sigma }`$. We denote by $`b(c),f(c)`$ the beginning and final point of $`c`$ and consider the range $`r(c)`$ as the image of the compact interval $`[0,1]`$ under $`c`$.
ii) If $`b(c_2)=f(c_1)`$ we define composition $`(c_1c_2)(t)=c_1(2t)`$ if $`t[0,\frac{1}{2}]`$ and $`(c_1c_2)(t)=c_2(2t1)`$ if $`t[\frac{1}{2},1]`$. Inversion is defined by $`c^1(t):=c(1t)`$.
iii) We call $`c,c^{}𝒞`$ equivalent, $`cc^{}`$, iff $`c,c^{}`$ differ by a finite number of reparameterizations and retracings (a segment of a curve of the form $`s^1s^{}`$). The set of equivalence classes $`p`$ in $`𝒞`$ is denoted as the set of paths $`𝒬`$. The functions $`b,f`$ and the operations $`,^1`$ extend from $`𝒞`$ to $`𝒬`$.
iv) An edge $`e𝒬`$ is a path for which an entire analytic representative $`c_e𝒞`$ exists. For edges the function $`r`$ extends as $`r(e):=r(c_e)`$.
v) An oriented graph $`\gamma `$ is determined by a finite number of edges $`eE(\gamma )`$ which intersect at most in their boundaries, called the vertex set $`V(\gamma )`$.

It is important to realize that in contrast to $`𝒞`$ the set $`𝒬`$ is a groupoid with objects the points $`x\mathrm{\Sigma }`$ and with the sets of morphisms given by Mor$`(x,y)=\{p𝒬;b(p)=x,f(p)=y\}`$. The notion of paths is motivated by the algebraic properties of the holonomy.

###### Definition 2.2.

For $`A𝒜`$ and $`p𝒬`$ we define $`A(p):=h_{A,p}(1)`$ where $`h_{A,p}:[0,1]G`$ is uniquely defined by the parallel transport equation

$$\frac{d}{dt}h_{A,p}(t)=h_{A,p}(t)A_a(c_p(t))\dot{c}_p^a(t),h_{A,p}(0)=1_G$$
(2.6)
if $`p`$ is in the domain of a chart, where $`a=1,..,D`$ denote tensorial indices and $`[c_p]=p`$ is a representative.

Due to the covariance condition on connections under change of local trivialization one can show that (2.6) can be extended unambiguously (up to a gauge transformation) to the case that $`p`$ is not within the domain of a chart. This follows from the fact that it comes from the horizontal lift of $`c_p`$ which is globally defined. The virtue of definition (2.6) is that it displays $`A𝒜`$ as an a groupoid morphism $`A\overline{𝒜}:=\text{Hom}(𝒬,G)`$. In fact, $`A(c)=A([c])`$ is reparameterization invariant and $`A(p_1p_2)=A(p_1)A(p_2),A(p^1)=A(p)^1`$. Under gauge transformations $`g\text{Fun}(\mathrm{\Sigma },G)`$ we find $`A^g(p)=g(b(p))A(p)g(f(p))^1`$ which implies that e.g. traces of holonomies along closed paths are gauge invariant. Thus, it is relatively easy to construct gauge invariant functions of the connection from holonomies !

The worry is of course, that $`A(p)`$ is smeared only in one dimension rather than three such as $`F(A)`$ was. In order to still obtain a well-defined Poisson algebra, the electric field therefore must be smeared in at least $`D1`$ dimensions. This can be done as follows:
Let $`S`$ be an open, connected, simply connected, analytic, oriented, compactly supported $`(D1)`$dimensional submanifold of $`\mathrm{\Sigma }`$, called a surface in what follows, let $`x_0S`$ and for $`xS`$ let $`c_{x_0,x}𝒞`$ with $`b(c_{x_0,x})=x_0,f(c_{x_0,x})=x,r(c_{x_0,x})S`$. Then we define

$$E^{}(S):=_S\text{Ad}_{A(p_{x_0,x})}(E(x))$$
(2.7)
It is easy to see that under gauge transformations $`E^g(S)=\text{Ad}_{g(x_0)}(E^{}(S))`$ so that for instance $`\text{Tr}(E^{}(S)^2)`$ is gauge invariant. Notice that the holonomies involved in (2.7) are only necessary if $`G`$ is non-Abelian. The ugly feature of $`E^{}(S)`$ is that it depends not only on $`S`$ but also on $`x_0,p_{x_0,x}`$. Consider therefore the non-covariant object

$$E_n(S):=_SE^jn_j$$
(2.8)
where $`n_j,j=1,..,dim(G)`$ is a Lie$`(G)`$valued scalar. It will be sufficient to normalize the components corresponding to the non Abelian generators by $`\delta ^{jk}n_j(x)n_k(x)=1`$ because we need it only in order to allow for local gauge transformations which have the effect of simply rotating $`n_j(x)`$ locally. For the same reason we restrict to $`n_j(x)=const.`$ if $`j`$ corresponds to an Abelian generator. The idea is that while (2.8) does not transform simply, we can still construct gauge invariant functions from it using a limiting procedure that involves making the surfaces smaller and smaller while making their number larger and larger at the same time. Examples are provided by the length, area and volume functionals already mentioned. Thus, the $`E_n(S)`$ serve as an intermediate objects to build more complicated but gauge invariant composite objects and this is why we want them to be represented as well-defined operators later on, because once they are defined, the composite operators can be defined as well.

For the purposes of this paper we will make also the following additional technical assumption: Notice that if $`S=S_1S_2`$ is the disjoint union of surfaces then we have $`E_n(S)=E_n(S_1)+E_n(S_2)`$. Thus we know the flux $`E_n(S)`$ if we know it for every connected surface $`S`$. If $`S`$ is a connected surface we can triangulate it into $`(D1)`$simplices $`\mathrm{\Delta }`$ and we have $`E_n(S)=_\mathrm{\Delta }E_n(\mathrm{\Delta })`$ even if the different $`\mathrm{\Delta }`$ overlap in faces, since they are of measure zero. Now each $`(D1)`$simplex can be decomposed into $`D`$, $`(D1)`$dimensional, cubes by choosing an interior point of $`\mathrm{\Delta }`$, connecting it with an interior point of each of its boundary $`(D2)`$simplices, connecting those points with an interior point of each of its boundary $`(D3)`$simplices etc. Thus, we know each $`E_n(S)`$ if we know it for each $`E_n(\mathrm{})`$ where $`\mathrm{}`$ is a $`(D1)`$cube. The assumption that we now make is the following: We choose precisely one $`(D2)`$face of $`\mathrm{}`$ open while all others are closed. In other words, if $`\overline{\mathrm{}}`$ denotes the closure of $`\mathrm{}`$ and $`\overline{F}`$ the closure of one of its faces $`F`$ then $`\mathrm{}=\overline{\mathrm{}}\overline{F}`$. The classical fluxes satisfy $`E_n(\mathrm{})=E_n(\overline{\mathrm{}})`$ so this seems to be an innocent assumption. However, it will turn out to be crucial in the quantum theory. From now on we allow only compactly supported, analytical, oriented surfaces $`S`$ which can be written as a disjoint union $`S=_{\mathrm{}}\mathrm{}`$ of such cubes $`\mathrm{}`$ with the specified boundary properties. Since the classical flux $`E_n(S)`$ through any $`S`$ can be written as a limit of fluxes through those special $`S`$, there is no loss of generality on the classical side. The decisive feature of such a cube $`\mathrm{}`$ is that we can choose a closed $`(D2)`$surface $`S`$ such that $`\mathrm{}=\mathrm{}_1\mathrm{}_2`$ is a disjoint union with $`S\mathrm{}_1,S\mathrm{}_2=\mathrm{},\overline{\mathrm{}_1}\overline{\mathrm{}_2}=S`$ and all three $`\mathrm{},\mathrm{}_1,\mathrm{}_2`$ are analytically diffeomorphic. The reason for why this is important will become obvious only in section 4. In order that this works, we must restrict to $`D2`$ in what follows. We feel that this assumption is not crucial for our result to hold, however, it avoids tedious case by case considerations of the intersection structure of surfaces. Thus, we ask whether the functions $`A(p),E_n(S)`$ generate a well-defined Poisson algebra which is induced from (2.4). The answer is as follows :

###### Definition 2.3.

i)
Given a graph $`\gamma `$ we define $`p_\gamma :𝒜G^{|E(\gamma )|};A\{A(e)\}_{eE(\gamma )}`$. A function $`f`$ is said to be cylindrical over $`\gamma `$ iff there exists a function $`f_\gamma :G^{|E(\gamma )|}`$ such that $`f=f_\gamma p_\gamma `$. The functions cylindrical over $`\gamma `$ are denoted by Cylγ and the $`{}_{}{}^{}`$algebra of cylindrical functions is defined by Cyl$`:=_{\gamma \mathrm{\Gamma }}\text{Cyl}_\gamma `$ where $`\mathrm{\Gamma }`$ is the set of all compactly supported, oriented, piecewise analytic graphs. Notice that $`f\text{Cyl}_\gamma `$ implies $`f\text{Cyl}_\gamma ^{}`$ for any $`\gamma \gamma ^{}`$ and we identify the corresponding representatives.
ii)
The subalgebras Cyl$`{}_{}{}^{n},n=0,1,2,..,\mathrm{}`$ of Cyl consist of functions of the form $`f=f_\gamma p_\gamma `$ where $`f_\gamma C^n(G^{|E(\gamma )|})`$.
iii)
Vector fields on $`𝒜`$ are defined as maps $`Y:\text{Cyl}^n\text{Cyl}^{n1}`$ which satisfy the Leibniz rule and annihilate constants. We will denote them by Vec.
iv)
Given an open, compactly supported, connected, simply connected, oriented, analytic surface $`S`$ and a cylindrical function $`f`$ we can always find a graph $`\gamma `$ over which it is cylindrical and which is adapted to $`S`$ in the following sense: Any $`eE(\gamma )`$ belongs to precisely one of the following subsets $`E_{}(\gamma )`$ of $`E(\gamma )`$ where
$`E_{out}(\gamma )=\{eE(\gamma );eS=\mathrm{}\}`$,
$`E_{in}(\gamma )=\{eE(\gamma );e\overline{S}=e\}`$,
$`E_{up}(\gamma )=\{eE(\gamma );eS=b(e),e`$ points into the direction of $`S\}`$ and
$`E_{down}(\gamma )=\{eE(\gamma );eS=b(e),e`$ points into the opposite direction of $`S\}`$.
For $`eE(\gamma )`$ we define $`\sigma (S,e):=0`$ if $`eE_{out}(\gamma )E_{in}(\gamma )`$ and we define a) $`\sigma (S,e)=1`$ if $`eE_{up}(\gamma )`$ b) $`\sigma (S,e)=1`$ if $`eE_{down}(\gamma )`$.
We have supplemented the regularization of the flux vector field, so far only discussed for open surfaces in the literature, to the case that $`b(e)`$ is a boundary point. Our condition is compatible with the additivity of fluxes. We can now define a real-valued vector field $`Y_n(S)`$ on Cyl by ($`f=p_\gamma ^{}f_\gamma `$)

$$Y_n(S)f:=p_\gamma ^{}(Y_n(S))_\gamma f_\gamma :=p_\gamma ^{}(\underset{eE(\gamma )}{}\sigma (e,S)n_j(b(e))R_e^jf_\gamma $$
(2.9)
where $`R_e^j=R^j(h_e),[p_\gamma ^{}h_e](A)=A(e)`$ and $`R^j=(\frac{d}{dt})_{t=0}L_{\mathrm{exp}(t\tau _j)}`$ denotes the generator of left translations on $`G`$ and $`(\tau _j)_{j=1}^{dim(G)}`$ is a basis of Lie$`(G)`$. One can check that the family of vector fields $`\{(Y_n(S))_\gamma \}_{\gamma \mathrm{\Gamma }}`$ is indeed consistent, that is, if $`\gamma \gamma ^{}`$ and $`p_{\gamma ^{}\gamma }:=p_\gamma p_\gamma ^{}^1`$ then for $`f\text{Cyl}_\gamma `$ we have $`p_{\gamma ^{}\gamma }^{}[(Y_S^j)_\gamma f_\gamma ]=(Y_S^j)_\gamma ^{}p_{\gamma ^{}\gamma }^{}f_\gamma `$.
v)
Consider the Lie$`{}_{}{}^{}`$algebra $`V:=`$Cyl$`{}_{}{}^{\mathrm{}}\times `$Vec defined by

$$[(f,Y),(f^{},Y^{})]:=(Yf^{}Y^{}f,[Y,Y^{}])$$
(2.10)
where the $`{}_{}{}^{}`$operation is just complex conjugation and where the second entry on the right hand side of (2.10) denotes the Lie bracket of vector fields. We identify $`f`$ with $`(f,0)`$ and $`Y`$ with $`(0,Y)`$. The algebra $`𝒫`$ is defined as the free tensor algebra over $`V`$ modulo the two – sided ideal generated by elements of the form $`uvvu[u,v]`$ for any $`u,vV`$ (also called the universal enveloping algebra of $`V`$)111If there are any additional algebraic relations in $`𝒫`$ then we enlarge the ideal correspondingly.. In what follows we drop the tensor product symbol $``$ as usual.

This definition answers our question in the following sense: Notice that since $`A(e),E_n(S)`$ are not smeared in $`D`$ dimensions, the Poisson bracket (2.4) is actually ill-defined. However, one can regularize these functions by fattening out $`e,S`$ to $`D`$dimensional tubes $`e_r`$ and disks $`S_r`$ respectively where $`r`$ is some regularization parameter, compute the Poisson brackets of the regularized objects and then take the limit $`r0`$. The end result is the Lie algebra (2.10) in the sense that $`A(e)`$ is identified with an element of Cyl and $`E_n(S)`$ with the element $`Y_n(S)`$Vec. Thus, in terms of Poisson brackets we have $`\{f,f^{}\}=0,\{E_n(S),f\}=Y_n(S)f,\{\{E_n(S),E_n^{}(S^{})\},f\}=[Y_n(S),Y_n^{}(S^{})]f`$ for any $`S,S^{},n,n^{}`$ and $`f,f^{}`$Cyl. Notice that this implies that the subalgebra of fluxes becomes non-Abelian in apparent contradiction to the Abelian nature of the $`D`$smeared objects $`E(S_r)`$. However, as one can show, we have still $`\{\{E_n(S_r),E_n^{}(S_r^{})\},f\}=0`$, so the non-Abelianess comes about due to the singular smearing dimension. The reason for not using $`D`$smeared electric fields is that $`\{E_n(S_r),f\}`$ is no longer an element of Cyl (in the non-Abelian case), it is an integral over elements of Cyl and not a countable linear combination.
The representation theory based on the abstract algebra $`𝒫`$ supplemented by appropriate $`{}_{}{}^{}`$relations gets complicated due to the fact that the vector fields will be represented by unbounded operators, so that domain questions will arise. We avoid this by means of passing to the corresponding non-Abelian analogs of the Weyl elements.

###### Definition 2.4.

For $`t`$ define

$$W_t^n(S):=e^{tY_n(S)}=e^{it[iY_n(S)]}$$
(2.11)
where $`n^j(x)n^k(x)\delta _{jk}=1`$. The algebra $`𝔄`$ is defined as the free tensor algebra generated by the $`(f,W_t^n(S))\text{Cyl}^{\mathrm{}}\times \mathrm{exp}(Vec)`$ modulo the two-sided ideal induced by (2.10) and modulo the $`{}_{}{}^{}`$relations

$$f^{}=\overline{f},(W_t^n(S))^{}=(W_t^n(S))=(W_t^n(S))^1$$
(2.12)
Due to the non-Abelian nature of the Group $`G`$, the relations in $`𝔄`$ induced by (2.10) are somewhat difficult to describe but it is nevertheless explicitly possible. In order to do this, we introduce the following notions.

###### Definition 2.5.

i)
Let $`x\mathrm{\Sigma }`$ be given. The germ $`[e]_x`$ of an edge $`e`$ with $`b(e)=e(0)=x`$ is defined by the infinite number of Taylor coefficients $`e^{(n)}(0)`$ in some parametrization. Likewise, the germ $`[S]_x`$ of a surface $`S`$ with $`S(0,..,0)=x`$ is defined by the Taylor coefficients $`S^{(n_1,.,n_{D1})}(0,..,0)`$ in some reparametrization.
ii)
The set of germs $`[e]`$ ($`[S]`$) of edges (surfaces) at given $`x\mathrm{\Sigma }`$ does not depend on $`x`$ and will be denoted by $``$ ($`𝒮`$).
iii)
Notice that the germs know about the orientation of $`e,S`$ and that their knowledge allows us to reconstruct $`e(t),S(u_1,..u_{D1})`$ up to reparametrization due to analyticity so that they reconstruct $`e,S`$. We say that two germs are equal if they reconstruct the same edges and surfaces respectively from a given point $`x`$.
iv)
Let $`x\mathrm{\Sigma },[e]`$. We define elements $`R_{x,[e]}^j`$Vec by (assume w.l.g. that $`\gamma `$ is adapted to $`x`$ in the sense that each edge is either disconnected or or outgoing from $`x`$)

$$R_{x,[e]}^jp_\gamma ^{}f_\gamma :=p_\gamma ^{}\underset{e^{}E(\gamma ^{})}{}\delta _{x,b(e^{})}\delta _{[e],[e^{}]}R_e^{}^jf_\gamma $$
(2.13)
v)
Let $`x\mathrm{\Sigma },[e],[S]𝒮`$. We define

$$\sigma ([S],[e]):=\sigma (S^{},e^{})\text{ for any }e^{},S^{}\text{ s.t. }[e]=[e^{}]_x,[S]=[S^{}]_x$$
(2.14)
###### Lemma 2.1.

i)
The vector fields $`R_{x,[e]}^j`$ satisfy the following commutation relations

$$[R_{x,[e]}^j,R_{x^{},[e^{}]}^k]=f_l^{jk}\delta _{[e],[e^{}]}\delta _{x,x^{}}R_{[x],[e]}^l$$
(2.15)
where $`[\tau _j,\tau _k]=f_{jk}^l\tau _l`$ defines the structure constants222Since $`G`$ is a compact, connected Lie group, we have $`G/DA\times S`$ where $`D`$ is a central discrete subgroup and $`A,S`$ are Abelian and semisimple Lie groups respectively. Indices are dragged w.r.t. the Cartan-Killing metric Tr$`(T_jT_k)=\delta _{jk}`$ where $`(T_j)_l^k=f_{lj}^k,f_{jkl}`$ totally skew for the semisimple generators..
ii)
The flux vector fields $`Y_n(S)`$ can be expressed in terms of the $`R_{x,[e]}^j`$ by the formula

$$Y_n(S)=\underset{xS}{}\underset{[e]}{}\sigma ([S]_x,[e])n_j(x)R_{x,[e]}^j$$
(2.16)
The proof of lemma 2.1 consists of a straightforward computation in applying the left and right hand sides of (2.15), (2.16) to elements of Cyl. Formula (2.16) looks cumbersome due to the uncountably infinite sums involved, however, as vector fields on Cyl they make perfect sense. Notice that (2.16) allows us for the first time to compute the commutator $`[Y_S^j,Y_S^{}^k]`$ in closed form and one sees immediately that the $`Y_n(S)`$ doe not form a subalgebra in Vec. The advantage of the germ vector fields is that they have an extremely simple and closed algebra among themselves. They are not obviously generated from the $`Y_n(S)`$ and are thus not of physical interest, however, they are a useful tool in order to perform practical calculations. We stress that only the algebra of vector fields generated from the $`Y_n(S)`$ are of physical interest, but that algebra is a subalgebra of the bigger algebra generated by the $`R_{x,[e]}^j`$ and we may exploit that.

We can now compute the commutation relations among the $`W_t^n(S)=\mathrm{exp}(tY_n(S))`$ and the $`f`$Cyl. We have

$`W_t^n(S)f(W_t^n(S))^1`$ $`=`$ $`{\displaystyle \underset{m=0^{\mathrm{}}}{}}{\displaystyle \frac{t^m}{m!}}[Y_n(S),f]_{(m)}`$ (2.17)
$`=`$ $`{\displaystyle \underset{m=0^{\mathrm{}}}{}}{\displaystyle \frac{t^m}{m!}}(Y_n(S))^mf=W_t^n(S)f`$
where the bracket notation denotes the multiple commutator and the last line denotes the application of the exponentiated vector field to a cylindrical function. Let now $`f=p_\gamma ^{}f_\gamma `$. Since the $`R_e^j`$ are mutually commuting we have

$`[W_t^n(S)f](A)`$ $`=`$ $`[p_\gamma ^{}{\displaystyle \underset{eE(\gamma )}{}}e^{t\sigma (S,e)n_j(b(e))R_e^j}f_\gamma ](A)`$ (2.18)
$`=`$ $`f_\gamma (\{e^{t\sigma (S,e)n^j(b(e))\tau _j}A(e)\}_{eE(\gamma )})`$
To see the equality in the last line of (2.18) it is obviously sufficient to show it for one copy of $`G`$, that is

$$f_t(h):=[e^{tn_jR^j}f](h)=f(e^{tn^j\tau _j}h)=:f_t^{}(h)$$
(2.19)
for $`fC^{\mathrm{}}(G)`$ and any $`t\text{ }\mathrm{R}`$. To show this, set $`R:=n_jR^j,\tau :=n^j\tau _j`$. We clearly have $`f_0(h)=f_0^{}(h)=f(h)`$ and

$`({\displaystyle \frac{d}{dt}}f_t)(h)`$ $`=`$ $`[{\displaystyle \frac{d}{ds}}]_{s=0}(e^{(s+t)R}f)(h)=[{\displaystyle \frac{d}{ds}}]_{s=0}(e^{sR}e^{tR}f)(h)=(Re^{tR}f)(h)=(Rf_t)(h)`$
$`({\displaystyle \frac{d}{dt}}f_t^{})(h)`$ $`=`$ $`[{\displaystyle \frac{d}{ds}}]_{s=0}f(e^{(s+t)\tau }h)=[{\displaystyle \frac{d}{ds}}]_{s=0}f(e^{s\tau }e^{t\tau }h)=(Rf)(e^{t\tau }h)=(Rf_t^{})(h)`$ (2.20)
Hence, $`f_t,f_t^{}`$ satisfy the same ordinary differential equation and initial conditions and thus (2.19) follows from the uniqueness and existence theorems about ordinary differential equations. Hence, the $`W_t^n(S)`$ act on cylindrical functions just by left translation in their arguments as was to be expected and the result (2) implies that the algebra $`𝔄`$ can be extended to the bounded cylindrical functions Cylb on $`𝒜`$ (differentiability is no longer necessary) which forms an Abelian subalgebra.

Finally we compute the commutator of Weyl-operators by explicitly using the germ vector fields. We have

$$W_t^n(S)W_t^{}^n^{}(S^{})(W_t^n(S))^1=\mathrm{exp}(t^{}n_j^{}\underset{x^{}S^{}}{}\underset{[e^{}]}{}\sigma ([S^{}]_x^{},[e^{}])W_t^n(S)R_{x^{},[e^{}]}^jW_t^n(S)^1)$$
(2.21)
Now

$$W_t^n(S)R_{x^{},[e^{}]}^j(W_t^n(S))^1=\underset{m=0}{\overset{\mathrm{}}{}}\frac{t^m}{m!}[\underset{xS}{}\underset{[e]}{}\sigma ([S]_x,[e])n_k(x)R_{x,[e]}^k,R_{x^{},[e^{}]}^j]_{(m)}$$
(2.22)
and

$`[{\displaystyle \underset{xS}{}}{\displaystyle \underset{[e]}{}}\sigma ([S]_x,[e])n_k(x)R_{x,[e]}^k,R_{x^{},[e^{}]}^{j_1}]_{(m)}`$ (2.23)
$`=`$ $`[f_{k_1j_1j_2}\sigma ([S]_x^{},[e^{}])\chi _S(x^{})n^{k_1}(x^{})][{\displaystyle \underset{xS}{}}{\displaystyle \underset{[e]}{}}\sigma ([S]_x,[e])n_k(x)R_{x,[e]}^k,R_{x^{},[e^{}]}^{j_2}]_{(m1)}`$
$`=`$ $`\sigma ([S]_x^{},[e^{}])\chi _S(x^{})n_{j_1j_2}(x^{})[{\displaystyle \underset{xS}{}}{\displaystyle \underset{[e]}{}}\sigma ([S]_x,[e])n_k(x)R_{x,[e]}^k,R_{x^{},[e^{}]}^{j_2}]_{(m1)}`$
$`=`$ $`\sigma ([S]_x^{},[e^{}])^2\chi _S(x^{})(n^2)_{j_1j_2}(x^{})[{\displaystyle \underset{xS}{}}{\displaystyle \underset{[e]}{}}\sigma ([S]_x,[e])n_k(x)R_{x,[e]}^k,R_{x^{},[e^{}]}^{j_2}]_{(m2)}`$
$`=`$ $`\sigma ([S]_x^{},[e^{}])^m\chi _S(x^{})(n^m)_{j_1j_2}(x^{})R_{x^{},[e^{}]}^{j_2}`$
where we have defined the matrix $`n`$ by $`n_{jj^{}}:=n^kf_{jkj^{}}`$ and $`\chi _S`$ is the characteristic function of the set $`S`$. Hence (2.22) becomes

$`W_t^n(S)n_j^{}(x^{})R_{x^{},[e^{}]}^j(W_t^n(S))^1`$ (2.24)
$`=`$ $`[1\chi _S(x^{})]n_j^{}(x^{})R_{x^{},[e^{}]}^j+\chi _S(x^{})n_j^{}(x^{}){\displaystyle \underset{m=0}{\overset{\mathrm{}}{}}}{\displaystyle \frac{[\sigma ([S]_x^{},[e^{}])t]^m}{m!}}(n^m)_{jk}(x^{})R_{x^{},[e^{}]}^k`$
$`=`$ $`[1\chi _S(x^{})]n_j^{}(x^{})R_{x^{},[e^{}]}^j+\chi _S(x^{})[e^{t\sigma ([S]_x^{},[e^{}])\text{ad}_n(x^{})}]_{jk}R_{x^{},[e^{}]}^k`$
where for any $`\tau `$Lie$`(G)`$ the matrix adτ is defined by $`[\text{ad}_\tau ]_{jk}\tau _k=[\tau ,\tau _j]`$. Plugging (2.24) into (2.21) we obtain

$`W_t^n(S)W_t^{}^n^{}(S^{})(W_t^n(S))^1`$
$`=`$ $`\mathrm{exp}(t^{}{\displaystyle \underset{[e]}{}}[{\displaystyle \underset{xS^{}S}{}}n_j^{}(x)\sigma ([S^{}]_x,[e])\delta _{jk}+{\displaystyle \underset{xSS^{}}{}}n_j^{}(x)\sigma ([S^{}]_x,[e])[e^{t\sigma ([S]_x,[e])\text{ad}_n(x)}]_{jk}R_{x,[e]}^k])`$
which is almost of the form of a $`W_n^t(S)`$ again. That the $`W_t^n(S)`$ do not close among each other we knew from the associated statement for the $`Y_S^j`$, however, we see that the algebra they generate can be computed explicitly.
Finally we equip the algebra $`𝔄`$ with a $`C^{}`$ structure. Since the operator norm in a representation $`\pi `$ of $`𝔄`$ on a Hilbert space $``$ does define a $`C^{}`$ norm through $`a:=\pi (a)_{}`$ we just need to find a representation of $`𝔄`$ to close our algebra to a $`C^{}`$ algebra. However, the Ashtekar – Lewandowski Hilbert space $`_0`$ is a representation space for a representation $`\pi _0`$, hence such a $`C^{}`$-norm exists.333We note however the possibility that one can find a different $`C^{}`$ closure of the algebra at hand. Since we will not use any specific information about the closure, however, this is of no concern in the present paper.

That representation is given by $`_0=L_2(\overline{𝒜},d\mu _0)`$ where $`\overline{𝒜}`$ is the spectrum of the $`C^{}`$subalgebra of $`𝔄`$ given by Cyl and $`\mu _0`$ is a regular Borel probability measure on $`\overline{𝒜}`$ consistently defined by

$$\mu _0(p_\gamma ^{}f_\gamma )=_{G^{|E(\gamma )|}}\underset{eE(\gamma )}{}d\mu _H(h_e)f_\gamma (\{h_e\}_{eE(\gamma )})$$
(2.26)
for measurable $`f_\gamma `$ and extended by $`\sigma `$additivity. Then

$$\pi _0(f)\psi =f(A)\psi \text{ and }\pi _0(W_t^n(S))\psi =W_t^n(S)\psi $$
(2.27)
so that Cylb is represented by bounded multiplication operators while the Weyl elements $`W_t^n(S)`$ are simply extended from Cylb to $`L_2(\overline{𝒜},d\mu _0)`$. Notice that Cylb (in particular the continuous functions Cyl0 on $`\overline{𝒜}`$) are dense in $`_0`$ because $`_0`$ is the GNS Hilbert space induced by the positive linear functional $`\omega _0`$ on Cylb defined by $`\omega _0(f)=\mu _0(f)`$. Finally it follows from the left invariance of the Haar measure that $`\pi _0(W_t^n(S)`$ are unitary operators as they should be. Thus e.g.

$`f_𝔄`$ $`=`$ $`\pi _0(f)_{(_0)}=\underset{\psi =1}{sup}f\psi __0=\underset{a𝒜}{sup}|f(A)|`$
$`W_t^n(S)_𝔄`$ $`=`$ $`\pi _0(W_t^n(S))_{(_0)}=\underset{\psi =1}{sup}W_t^n(S)\psi __0=1`$ (2.28)
where $``$ denotes the bounded operators on a Hilbert space. The $`C^{}`$norm of any other element of $`𝔄`$ can be computed by using the commutation relations and the inner product on $`_0`$.
This concludes our exposition about the $`C^{}`$algebra $`𝔄`$.

## 3 General Representation Theory of $`𝔄`$

Let us clarify what we mean by a representation of $`𝔄`$.

###### Definition 3.1.

By a representation of $`𝔄`$ we mean an $`{}_{}{}^{}`$algebra homomorphism $`\pi :𝔄()`$ from $`𝔄`$ into the algebra of bounded operators of a Hilbert space $``$. Thus $`\pi (a+zb)=\pi (a)+z\pi (b),\pi (ab)=\pi (a)\pi (b),\pi (a^{})=[\pi (a)]^{}`$ for all $`a,b𝔄,z\text{ }\mathrm{C}`$.

The representation theory of $`𝔄`$ is very rich and first steps towards a classification have been made in . An elementary result is the following.

###### Lemma 3.1.

The representation space $``$ of $`𝔄`$ is necessarily a direct sum of Hilbert spaces

$$=_\nu _\nu $$
(3.1)
where $`_\nu =L_2(\overline{𝒜},d\mu _\nu )`$ is an $`L_2`$ space over the spectrum $`\overline{𝒜}`$ of Cylb, and $`\mu _\nu `$ is a probability measure on $`\overline{𝒜}`$.

Proof of lemma 3.1:
Every representation $`\pi `$ of $`𝔄`$ on a Hilbert space $``$ is, in particular, a representation of the Abelian sub$`{}_{}{}^{}`$algebra Cylb. Now a general result from $`C^{}`$algebra theory  says that every non-degenerate representation (that is, Ker$`(\pi ):=\{\psi ;\pi (a)\psi =0a(A)\}=\{0\}`$) is a direct sum of cyclic representations $`\pi _\nu `$ on Hilbert spaces $`_\nu `$. Now since our algebra is unital $`1\text{Cyl}_b𝔄`$ we necessarily have $`\pi (1)=\text{id}_{}`$, hence $`\pi `$ is non-degenerate and also its restriction to Cylb is. Let $`\mathrm{\Omega }_\nu `$ be a unit vector in $`_\nu `$ which is cyclic for Cylb. Define the normalized, positive linear functional on Cylb given by

$$\omega _\nu (f):=<\mathrm{\Omega }_\nu ,\pi _\nu (f)\mathrm{\Omega }_\nu >__\nu $$
(3.2)
Since Cylb is an Abelian $`C^{}`$algebra, by Gel’fands theorem, we may think of it as the algebra of continuous functions $`C(\overline{𝒜})`$ on the Gel’fand spectrum $`\overline{𝒜}`$ of Cylb. Since $`\overline{𝒜}`$ is a compact Hausdorff space, by the Riesz representation theorem, the positive linear functional $`\omega _\nu `$ uniquely determines a regular Borel probability measure $`\mu _\nu `$ on $`\overline{𝒜}`$ via

$$\omega _\nu (f)=_{\overline{𝒜}}𝑑\mu _\nu (A)f(A)$$
(3.3)
hence we may choose w.l.g. $`\mathrm{\Omega }_\nu =1,\pi _\nu (f)=f\text{id}__\nu `$ (multiplication operator) and $`_\nu =L_2(\overline{𝒜},d\mu _\nu )`$ (by the GNS construction, any other choice corresponds to a unitary transformation).
$`\mathrm{}`$
A generic element $`\psi `$ is therefore given by

$$\psi =_\nu \psi _\nu =\underset{\nu }{}\psi _\nu 1^\nu $$
(3.4)
where $`\psi _\nu _\nu `$, $`1_\nu ^{}^\nu =\delta _\nu ^{}^\nu 1`$ and $`_\nu \psi _\nu _\nu ^2<\mathrm{}`$. Here we have denoted the norm on $`_\nu `$ by $`||.||_\nu `$.

It follows that

$$\pi (f)\psi =_\nu f\psi _\mu =f_\nu \psi _\nu =f\psi $$
(3.5)
whence

$$\pi (f)=f\text{id}_{}$$
(3.6)
is simply a multiplication operator on $``$.

Notice that while the subalgebra Cylb has no off-diagonal entries, that is in general not the case for the $`\pi (W_t^n(S)`$. Also, while $`\pi _\nu `$ is a cyclic representation for Cylb, $`\pi `$ is not necessarily cyclic for Cylb, one will generically assume it to be cyclic for the full algebra $`𝔄`$ only (that is, there is a vector $`\mathrm{\Omega }`$ such that the set of states given by $`\pi (a)\mathrm{\Omega },a𝔄`$ is dense in $``$). In what follows we will only consider representations which are cyclic for $`𝔄`$ (otherwise we can decompose $`\pi `$ further into cyclic representations by the above theorem, hence cyclic representations are the basic building blocks).

This all that one can say so far about general representations of $`𝔄`$ without making further assumptions. To get further structural control over the representation theory one must examine restricted situations of physical interest. In the next section we will study the important class of diffeomorphism invariant representations which are those realized in nature (nature is diffeomorphism invariant, so there is no need to study other representations at all, at least from a physics point of view).

## 4 Diffeomorphism Invariant Representations of $`𝔄`$ and a Uniqueness Theorem

The group Diff$`{}_{}{}^{\omega }(\mathrm{\Sigma })`$ of analytic diffeomorphisms on $`\mathrm{\Sigma }`$ has a natural representation as outer automorphisms on $`𝔄`$ defined for any $`\phi `$Diff$`{}_{}{}^{\omega }(\mathrm{\Sigma })`$ by

$`\alpha _\phi (p_\gamma ^{}f_\gamma )`$ $`=`$ $`p_{\phi ^1(\gamma )}^{}f_\gamma `$
$`\alpha _\phi (W_t^n(S))`$ $`=`$ $`W_t^{n\phi }(\phi ^1(S))`$ (4.1)
and extended by the automorphism property $`\alpha _\phi (ab)=\alpha _\phi (a)\alpha _\phi (b),\alpha _\phi (a+zb)=\alpha _\phi (a)+z\alpha _\phi (b)`$. It is trivial to check that $`\alpha _\phi \alpha _\phi ^{}=\alpha _{\phi \phi ^{}}`$.

Likewise, the set Fun$`(\mathrm{\Sigma },G)`$, which forms a group under pointwise multiplication, has a natural representation as outer automorphisms on $`𝔄`$ defined for any $`g`$Fun$`(\mathrm{\Sigma },G)`$ by

$`[\alpha _g(p_\gamma ^{}f_\gamma )](A)`$ $`=`$ $`f_\gamma (\{g(b(e))A(e)g(f(e))^1)`$
$`\alpha _g(W_t^n(S))`$ $`=`$ $`W_t^{n^g}(S)`$ (4.2)
where $`n^g(x)=\text{Ad}_{g(x)}(n(x)),n(x)=n_j\tau _j`$. As one can check, with these definitions we have $`\alpha _\phi \alpha _g\alpha _{\phi ^1}=\alpha _{\phi ^{}g}`$ so that the combined kinematical gauge group acquires the structure of a semidirect product $`𝒢=\text{Fun}(\mathrm{\Sigma },G)\text{Diff}^\omega (\mathrm{\Sigma })`$ if we define $`\alpha _{(g,\phi )}:=\alpha _g\alpha _\phi `$ with Fun$`(\mathrm{\Sigma },G)`$ as invariant subgroup.

###### Definition 4.1.

i)
A cyclic representation $`\pi `$ of $`𝔄`$ is said to be diffeomorphism invariant provided that there is a unitary representation

$$U_\pi :\text{Diff}^\omega (\mathrm{\Sigma })();\phi U_\pi (\phi )$$
(4.3)
of the diffeomorphism group and a cyclic invariant vector $`\mathrm{\Omega }`$ such that

$$U_\pi (\phi )\pi (a)U_\pi (\phi )^1=\pi (\alpha _\phi (a))\text{ and }U_\pi (\phi )\mathrm{\Omega }=\mathrm{\Omega }$$
(4.4)
for all $`a𝔄,\phi `$Diff$`{}_{}{}^{\omega }(\mathrm{\Sigma })`$. There are similar definitions of gauge invariant or kinematically invariant representations when replacing Diff$`{}_{}{}^{\omega }(\mathrm{\Sigma })`$ by Fun$`(\mathrm{\Sigma },G)`$ or $`𝒢`$.
ii)
Consider each $`\psi `$ as a vector-valued function of $`A\overline{𝒜}`$ according to

$$\psi (A):=_\nu \psi _\nu (A)$$
(4.5)
The natural (pull-back) representation of Diff$`{}_{}{}^{\omega }(\mathrm{\Sigma })`$ is defined by

$$U_\pi (\phi )\psi :=_\nu \alpha _\phi (\psi _\nu )$$
(4.6)
Likewise the natural representation of Fun$`(\mathrm{\Sigma },G)`$ is defined by

$$U_\pi (g)\psi :=_\nu \alpha _g(\psi _\nu )$$
(4.7)
The name natural representation is due to the fact that it is the natural lift of the action of diffeomorphisms or gauge transformations on functions of $`𝒜`$, that is $`f(\phi ^{}A)[\alpha _\phi (f)](A)`$ and $`f(A^gA)[\alpha _g(f)](A)`$ to functions of $`\overline{𝒜}`$. The natural representation has the feature of leaving constant functions invariant, which are therefore natural candidates for cyclic invariant vectors.

A natural starting point for cyclic invariant representations exists, provided one manages to find a positive linear functional $`\omega `$ on $`𝔄`$ with the invariance property

$$\omega (\alpha _\phi (a))=\omega (a)$$
(4.8)
for all $`a𝔄,\phi `$Diff$`{}_{}{}^{\omega }(\mathrm{\Sigma })`$. Namely, let $`\pi _\omega ,\mathrm{\Omega }_\omega ,_\omega `$ be the GNS data for $`\omega `$ , that is,

$$\mathrm{\Omega }_\omega :=[1],\pi _\omega (a)\mathrm{\Omega }_\omega :=[a],<\pi _\omega (a)\mathrm{\Omega }_\omega ,\pi _\omega (b)\mathrm{\Omega }_\omega >:=\omega (b^{}a)$$
(4.9)
where $`[a]`$ is the equivalence class $`\{a+b;\omega (b^{}b)=0\}`$. Then

$$U_\omega (\phi )\pi _\omega (a)\mathrm{\Omega }_\omega :=\pi _\omega (\alpha _\phi (a))\mathrm{\Omega }_\omega $$
(4.10)
represents the diffeomorphism group unitarily as inner automorphisms of $`(_\omega )`$ with $`\mathrm{\Omega }_\omega `$ as cyclic invariant vector.

Using the language of the present paper, in  the following result was established.

###### Theorem 4.1.

Suppose that
1) $`G=U(1)`$.
2) $`\pi `$ is cyclic already for Cylb so that necessarily $`=L_2(\overline{𝒜},d\mu )`$ with cyclic vector $`\mathrm{\Omega }=1`$ by lemma 3.1.
3) $`\pi `$ is diffeomorphism invariant with $`\mathrm{\Omega }`$ as invariant cyclic vector where the diffeomorphisms act by pull back.
4) The one parameter subgroups $`t\pi (W_t^n(S))`$ are weakly continuous.
5) $`\mathrm{\Omega }`$ is in the domain of any self-adjoint generator $`i[\frac{d}{dt}]_{t=0}\pi (W_t^n(s))`$.
Then necessarily $`=L_2(\overline{𝒜},d\mu _0)=_0`$ is the Ashtekar – Lewandowski representation.

Several of the assumptions of theorem 4.1 are unsatisfactory: First of all, the restriction to $`U(1)`$ makes it of limited physical relevance since in particular loop quantum gravity would need such a result for general compact groups. Next, it is not natural to require that already Cylb is cyclic for the representation, the most general interesting representations will be those for which only the full algebra $`𝔄`$ is cyclic. Furthermore, while it is natural to assume that the constants are in the domain of the self-adjoint generators of the Weyl elements (because the unit function is a cyclic vector for Cylb), one has no intuition whether there are not more general representations which violate this assumption.

On the other hand, if one does not assume weak continuity of the fluxes then the requirements will be too weak to limit the number of possible representations. This is already the case for the Schrödinger representation of ordinary quantum mechanics: If one gives up weak continuity of the Weyl elements then many more representations exist which are not captured by the Stone – von Neumann theorem. In fact, the Stone – von Neumann theorem not only requires the representation to be cyclic but even to be irreducible (that is, every vector is cyclic), otherwise also more representations result. We thus expect to find a strong result also only in the irreducible case. Irreducibility is actually more physical than cyclicity since then no non-trivial invariant subspaces exist and moreover, there are no distinguished cyclic elements. We do not know at present whether cyclicity is actually enough for the result to be proved below.

There is one more unnatural assumption in theorem 4.1: Why should it be the case that the vector $`1`$ is left invariant by $`U_\pi (\phi )`$ ? If we have only cyclicity of $`𝔄`$ then it is also not clear why it should be the vector $`1`$ which is cyclic. Actually, this discussion leads to the representation theory of Diff$`{}_{}{}^{\omega }(\mathrm{\Sigma })`$ as the following discussion reveals:
Suppose that we do have a diffeomorphism invariant representation $`\pi `$. Then the action of $`U_\pi (\phi )`$ is known on the whole representation space $``$ provided we know it on the $`1^\nu `$ because

$$U_\pi (\phi )\psi =U_\pi (\phi )\underset{\nu }{}\pi (\psi _\nu )1^\nu =\underset{\nu }{}\pi (\alpha _\phi (\psi _\nu ))U_\pi (\phi )1^\nu $$
(4.11)
The natural pull – back representation of definition 4.1 would assign $`U_\pi (\phi )1^\nu =1^\nu `$. But can we say more about the possible representations $`U_\omega (\phi )`$ ?
Suppose that we are interested in asymptotically flat situations. Then, if we include among Diff$`{}_{}{}^{\omega }(\mathrm{\Sigma })`$ also symmetries of the asymptotically Minkowskian metric, then Diff$`{}_{}{}^{\omega }(\mathrm{\Sigma })`$ will contain the asymptotic Poincaré group as a subgroup and one concludes that $`U_\pi `$ is in particular a unitary representation of the asymptotic Poincaré group. The continuous444Here we mean continuity of one parameter subgroups., irreducible, unitary representations of that group have been classified by Wigner and it seems that one is in a good position. However, it is unclear if and how these representations can be extended to all of Diff$`{}_{}{}^{\omega }(\mathrm{\Sigma })`$ and, moreover, it turns out that generic representations will even violate the continuity assumption: For instance, the pull-back representation of one – parameter subgroups of Diff$`{}_{}{}^{\omega }(\mathrm{\Sigma })`$ on the Ashtekar – Lewandowski space $`_0`$ is not weakly continuous .

To see that there really is an abundance of unitarily inequivalent representations of Diff$`{}_{}{}^{\omega }(\mathrm{\Sigma })`$, suppose that we start from a a representation $`\pi `$ of $`𝔄`$ on a Hilbert space $``$ with unitary pull-back representation $`U_\pi `$ of Diff$`{}_{}{}^{\omega }(\mathrm{\Sigma })`$. Let $`W()`$ be any bounded operator with bounded inverse which we consider as being of the form $`W=\pi (a)`$ for some $`a𝔄`$. Let us also denote $`\alpha _\phi (W):=\pi (\alpha _\phi (a))`$. We claim that

$$U_\pi ^{}(\phi ):=W^1\alpha _\phi (W)U_\pi (\phi )$$
(4.12)
defines a representation of Diff$`{}_{}{}^{\omega }(\mathrm{\Sigma })`$ on $``$. We have

$`U_\pi ^{}(\phi )U_\pi ^{}(\phi ^{})`$ $`=`$ $`W^1\alpha _\phi (W)U_\pi (\phi )W^1\alpha _\phi ^{}(W)U_\pi (\phi ^{})`$ (4.13)
$`=`$ $`W^1\alpha _\phi (W)[U_\pi (\phi )W^1U_\pi (\phi )^1][U_\pi (\phi )\alpha _\phi ^{}(W)U_\pi (\phi )^1]U_\pi (\phi )U_\pi (\phi ^{})`$
$`=`$ $`W^1\alpha _\phi (W)\alpha _\phi (W^1)\alpha _\phi (\alpha _\phi ^{}(W))U_\pi (\phi \phi ^{})`$
$`=`$ $`W^1\alpha _{\phi \phi ^{}}(W)U_\pi (\phi \phi ^{})=U_\pi ^{}(\phi \phi ^{})`$
Since the two representations are equivalent,

$$WU_\pi ^{}(\phi )W^1=U_\pi (\phi )$$
(4.14)
the requirement that also $`U_\pi ^{}(\phi )`$ is a unitary representation leads to the condition

$$\alpha _\phi (WW^{})=WW^{}$$
(4.15)
and can be satisfied, for instance, if $`WW^{}`$ is a constant matrix. In that case the polar decomposition gives $`W=CV`$ where $`C`$ is an arbitrary constant self-adjoint and positive operator while $`V`$ is unitary. Of course, the question is whether the representation $`U_\pi ^{}`$ on $``$ is unitarily equivalent to $`U_\pi `$. As (4.15) reveals, this will be the case if and only if $`W`$ is a unitary operator, that is, $`C=\text{id}_{}`$.

One might think that one can bring more structure into the analysis by requiring that the representation $`U_\pi `$ to be irreducible as well (not only $`\pi `$) because then it follows from Schur’s lemma that $`W=\lambda \text{id}_{}`$ and unitary equivalence requires $`|\lambda |=1`$. However, it is well known that interesting representations of the diffeomorphism group are generically quite reducible. For instance, the pull back representation on $`_0`$ is extremely reducible , we have a countably (under suitable superselection criteria ) infinite direct sum decomposition

$$_0=_{[\gamma ]}_0^{[\gamma ]}$$
(4.16)
where the non-separable, mutually orthogonal, invariant subspaces $`_0^{[\gamma ]}`$ are spanned by spin network functions  over graphs $`\gamma ^{}`$ which belong to one and same (generalized) knot class $`[\gamma ]`$. None of these subspaces alone captures interesting physics and thus it seems to be an unphysical requirement to restrict to irreducible representations of Diff$`{}_{}{}^{\omega }(\mathrm{\Sigma })`$.

These cautionary remarks are just to indicate that there are a priory many inequivalent, unitary representations of Diff$`{}_{}{}^{\omega }(\mathrm{\Sigma })`$ available and their classification goes beyond the scope of the present paper. The selection of one of them might be comparable to the selection of a definite spin representation of the Poincaré group, however, it is much more complicated (the diffeomorphism group is an infinite dimensional group !). Accordingly, we must be modest and specify the representation of Diff$`{}_{}{}^{\omega }(\mathrm{\Sigma })`$ in the statement of our theorem below. Obviously, we will choose the pull-back representation which is natural because it is available in any representation of $`𝔄`$ as shown in lemma 3.1.

Before we state our theorem, let us define the notion of a spin network function on $`\overline{𝒜}`$.

###### Definition 4.2.

Choose precisely on representative $`\rho `$ from each equivalence class of irreducible representations of $`G`$, denote by $`d_\rho `$ the dimension of the representation space of $`\rho `$ and denote for any $`hG`$ and $`M,N=1,..,d_\rho `$ by $`\rho _{MN}(h)`$ the matrix elements of the unitary matrix $`\rho (h)`$. Consider a graph $`\gamma `$ together with a labeling of each of its edges $`eE(\gamma )`$ with label $`\rho _e,M_e,N_e;M_e,N_e=1,..,d_{\rho _e}`$ and collect them into a spin network

$$s=(\gamma ,\stackrel{}{\rho }=\{\rho _e\}_{eE(\gamma )},\stackrel{}{M}=\{M_e\}_{eE(\gamma )},\stackrel{}{N}=\{N_e\}_{eE(\gamma )})$$
(4.17)
Then the spin network function with label $`s`$ is given by

$$T_s(A)=\underset{eE(\gamma )}{}\{\sqrt{d_{\rho _e}}[\rho _e(A(e))]_{M_eN_e}\}$$
(4.18)
As one can show, they provide an orthonormal basis for $`_0`$.
We can then state our main result.

###### Theorem 4.2.

Let $`G`$ be a compact, connected gauge group, $`\mathrm{\Sigma }`$ an oriented $`D`$manifold with fixed analytic structure and associated diffeomorphism group Diff$`{}_{}{}^{\omega }(\mathrm{\Sigma })`$. Let $`𝔄`$ be the Weyl algebra generated from bounded cylindrical functions on the space $`𝒜`$ of smooth $`G`$connections over $`\mathrm{\Sigma }`$ and and exponentiated electric fluxes.
Let $`\pi `$ be a representation of $`𝔄`$ on a Hilbert space $``$ with corresponding representation $`U_\pi `$ of Diff$`{}_{}{}^{\omega }(\mathrm{\Sigma })`$.
Suppose that
i) Irreducibility
$`\pi `$ is irreducible.
ii) Continuity
The one – parameter groups $`t\pi (W_t^n(S))`$ are weakly continuous.
iii) Diffeomorphism Invariance
The representation $`U_\pi `$ of Diff$`{}_{}{}^{\omega }(\mathrm{\Sigma })`$ is unitary and coincides with the natural representation.
If $`G`$ is not Abelian we also must require555At least presently. Our results for the Abelian case indicate that this condition can be abolished, however, we were not able to circumvent it for now.:
iv) Domains
The vectors $`1^\nu `$ are in the common dense domain of the operators $`\pi (Y_n(S)),\pi (Y_n(S))\pi (Y_n^{}(S))`$ for any $`S,n,n^{}`$.
Then $`\pi `$ is unitarily equivalent to the Ashtekar – Lewandowski representation $`\pi _0`$.

As we have discussed above, the only weak (that is, possibly overly restrictive) assumption in this theorem left is, as compared to theorem 4.1, that we restrict ourselves to the natural representation of the diffeomorphism group (and the natural representation of the gauge group in the non-Abelian case). In particular, there is no longer a restriction to a particular gauge group, to particular domains or to particular subalgebras which should already be cyclic.
Proof of theorem 4.2:
Before we go into the technical details, let us explain the strategy of the proof:
Step 1: Continuity $``$ Dense Domain $`𝒟`$ of Individual Fluxes
The self-adjoint generators $`\pi (E_n(S))`$ of the unitary groups $`t\pi (W_t^n(S))`$ defined by

$$i\pi (E_n(S))=[\frac{d}{dt}]_{t=0}\pi (W_t^n(S))$$
(4.19)
which exist due to our continuity assumption, are not everywhere defined, however, it turns out that one can always find, without additional assumptions, a suitable dense domain $`𝒟_S^n`$ of $`\pi (E_n(S))`$ on which we will be able to work out the consequences of diffeomorphism invariance and unitarity of the Weyl elements.
Step 2: Analytic Diffeomorphisms
This step is technical and prepares for step 3 in which existence and properties of certain analytic diffeomorphisms are needed. If the assumptions i), ii), iii) and iv) displayed in theorem 4.2 are supplemented by an assumtion v) about the gauge group then this step can be avoided as we show in appendix A.
Step 3: Unitarity + Diffeomorphism Invariance $``$ $`\mu _\nu =\mu _0`$
The domain $`𝒟_S^n`$ contains (multiples of) the so-called spin-network functions . These are labeled, among other things, by a graph $`\gamma `$ and an irreducible representation $`\pi _e`$ for each edge $`eE(\gamma )`$. One can show that linear combinations of those are eigenfunctions of (polynomials of) the $`\pi (E_n(S))`$ with an eigenvalue which depends on the $`\pi _e`$ and on the number of intersections $`N_e`$ of $`S`$ with $`e`$. Using unitarity of the Weyl elements or the corresponding symmetry of the fluxes one can establish a relation between this eigenvalue, which diverges as $`N_e\mathrm{}`$, and the expectation value of the spin network functions (considered as bounded operators on $`_\nu `$), which is bounded, because due to diffeomorphism invariance that expectation value is actually independent of $`N_e`$. This leads to a contradiction unless $`\mu _\nu =\mu _0`$ is the Ashtekar – Lewandowski measure.
Step 4: Diffeomorphism Invariance + Irreducibility $``$ $`=_0`$
The results of step 3 do not yet exclude the possibility that $`\pi (W_t^n(S))`$ has off-diagonal action on the direct sum of the $`_\nu _\nu `$. Making use of our already available knowledge that all the Hilbert spaces are Ashtekar Lewandowski Hilbert spaces with explicitly known spin network basis, it is possible to show that $`\pi (W_t^n(S))=W_t^n(S)\text{id}_{}`$ is diagonal and all entries are equal. This contradicts the irreducibility condition unless there is only one copy of $`_0`$.
From the structure of the proof it is clear that all assumptions are used in an essential way, in particular, there would be no result if weak continuity is given up. Let us now go to the details.
Step 1:
Let us write $`S_n:=(n,S)`$ in what follows and similarly $`W_t(S_n):=W_t^n(S)`$. The following trick for how to construct a dense domain for all the fluxes follows the proof of Stone’s theorem that establishes a one – to one correspondence between self-adjoint operators on a Hilbert space and weakly continuous one parameter unitary groups.

###### Lemma 4.1.

Let $`\varphi C_c^{\mathrm{}}(\text{ }\mathrm{R})`$ be a smooth test function For any $`\psi `$ and any $`S_n`$ define

$$\psi _{\varphi ,S_n}:=_{\text{ }\mathrm{R}}𝑑t\varphi (t)\pi (W_t(S_n))\psi $$
(4.20)
Then for each $`S_n`$ the finite linear combinations of the vectors $`\pi (T_s)1_{\varphi ,S_n}^\nu `$ form a dense set $`𝒟(S_n)`$ in $``$ as $`s,\varphi ,\nu `$ vary.

Proof of lemma 4.1:
The functions $`C(\overline{𝒜})`$ are dense in $`_\nu =L_2(\overline{𝒜},d\mu _\nu )`$ for any $`\nu `$. Finite linear combinations of spin network functions (which form a unital $`{}_{}{}^{}`$subalgebra of Cyl$`{}_{}{}^{\mathrm{}}C(\overline{𝒜})`$ which separates the points of $`\overline{𝒜}`$) are dense in $`C(\overline{𝒜})`$ with respect to the sup norm $`||.||_{\mathrm{}}`$ on $`C(\overline{𝒜})`$ by the Weierstrass theorem. Since $`||.||_2||.||_{\mathrm{}}`$ it follows that finite linear combinations of spin network functions are dense in any $`_\nu `$, hence finite linear combinations of the functions $`\pi (T_s)1^\nu `$ are dense in $``$ as $`s,\nu `$ vary.

Now for any $`\psi `$

$$\psi _{\varphi ,S_n}\psi 𝑑t\varphi (t)[\pi (W_t(S_n))\text{id}_{}]\psi $$
(4.21)
can be made arbitrarily small due to the assumed weak continuity of the Weyl elements by suitably restricting the support of $`\varphi `$. Hence the $`[\pi (T_s)1^\nu ]_{\varphi ,S_n}`$ lie dense as $`s,\nu ,\varphi `$ vary for any $`S_n`$. Thus

$`\pi (T_s)1_{\varphi ,S_n}^\nu [\pi (T_s)1^\nu ]_{\varphi ,S_n}`$ (4.22)
$`=`$ $`{\displaystyle 𝑑t\varphi (t)[\pi (T_s)\pi (W_t(S_n))\pi (W_t(S_n))\pi (T_s)]1^\nu }`$
$``$ $`{\displaystyle 𝑑t\varphi (t)[\pi (T_s)\pi (W_t(S_n))\pi (W_t(S_n))\pi (T_s)]1^\nu }`$
$`=`$ $`{\displaystyle 𝑑t\varphi (t)[\pi (W_t(S_n))^1\pi (T_s)\pi (W_t(S_n))\pi (T_s)]1^\nu }`$
$`=`$ $`{\displaystyle 𝑑t\varphi (t)\pi (W_t(S_n)^1T_sW_t(S_n)T_s)1^\nu }`$
$`=`$ $`{\displaystyle }dt\varphi (t)||W_t(S_n)^1T_sW_t(S_n))T_s||_\nu `$
$``$ $`{\displaystyle }dt\varphi (t)||W_t(S_n)^1T_sW_t(S_n))T_s||_{\mathrm{}}`$
where in the third step we have used unitarity of the Weyl elements, in the fourth we have used the representation property, in the fifth we have used that the argument of $`\pi `$ is just a function which acts as a multiplication operator and in the sixth step we have again used continuity with respect to the sup norm $`||.||_\nu ||.||_{\mathrm{}}`$.

Since $`T_s`$ is a continuous (on $`\overline{𝒜}`$) cylindrical function over $`\gamma (s)`$ and right translation $`A(e)e^{tn^j\tau _j}A(e)`$ is continuous in $`t`$, it follows that (4.22) can be made arbitrarily small by suitably restricting the support of $`\varphi `$.
$`\mathrm{}`$

###### Corollary 4.1.

The set of vectors $`\pi (f)1_{\varphi ,S_n}^\nu `$, as $`f\text{Cyl}^{\mathrm{}},\nu `$ vary, form a dense set of $`C^{\mathrm{}}`$ vectors for the self-adjoint generator $`\pi (E(S_n))`$ of $`\pi (W_t(S_n))`$, more precisely

$$i\pi (E(S_n))\pi (f)1_{\varphi ,S_n}^\nu :=[\frac{d}{dt}]_{t=0}\pi (W_t(S_n))\pi (f)1_{\varphi ,S_n}^\nu =\pi (Y(S_n)f)1_{\varphi ,S_n}^\nu +\pi (f)1_{\dot{\varphi },S_n}^\nu $$
(4.23)
In particular, $`𝒟(S_n)`$ is a dense invariant domain for $`\pi (E(S_n))`$.

Proof of corollary 4.1:
We have

$`\pi (W_t(S_n))\pi (f)1_{\varphi ,S_n}^\nu `$ $`=`$ $`\pi (W_t(S_n)fW_t(S_n)^1){\displaystyle 𝑑s\varphi (s)\pi (W_{t+s}(S_n))1^\nu }`$ (4.24)
$`=`$ $`\pi (W_t(S_n)fW_t(S_n)^1){\displaystyle 𝑑s\varphi (st)\pi (W_s(S_n))1^\nu }`$
Observing the Weyl relations, differentiation of (4.24) in the strong sense yields (4.23) (for details see ).
$`\mathrm{}`$
Step 2:

###### Lemma 4.2.

Let $`S`$ be an analytic, oriented, open surface and $`e`$ an oriented, analytic path. Let $`p_1,..,p_m,m1`$ be fixed interior points of $`e`$ and choose $`\sigma _k\{1,+1\},k=1,..,m`$. Then there exists an analytic diffeomorphism $`\phi _{m,\stackrel{}{\sigma }}`$ such that $`\phi _{m,\stackrel{}{\sigma }}^1(S)`$ intersects $`e`$ precisely in the points $`p_1,..,p_m`$ and such that

$$\sigma ([\phi _{m,\stackrel{}{\sigma }}^1(S)]_{p_k},[e]_{p_k})=\sigma _k$$
(4.25)
Proof of lemma 4.2:
We certainly find a smooth diffeomorphism $`\phi _{m,\stackrel{}{\sigma }}^{\mathrm{}}`$ with the required properties. Consider a compact set $`C`$ containing $`e`$ and the algebra of real valued, continuous functions $`S_C`$ generated by the functions

$$\{\phi _{|C}^a;\phi \text{Diff}^\omega (\sigma ),a=1,..,D\}$$
(4.26)
Then $`S_C`$ separates the points of $`C`$ (choose $`\phi =\text{id}_\sigma `$) and does not leave any point $`x_0C`$ invariant. Hence by the Weierstrass theorem $`S_C`$ is dense in the set $`C(C)`$ of continuous functions on $`C`$ and since $`\phi _{m,\stackrel{}{\sigma }}^{\mathrm{}}`$ is continuous we find an analytic diffeomorphism $`\phi _{m,\stackrel{}{\sigma }}^0`$ that approximates it uniformly on $`C`$ in the sup norm. While the intersection points $`p_k^{}`$ of $`[\phi _{m,\stackrel{}{\sigma }}^0]^1(S)`$ with $`e`$ may not yet coincide with the $`p_k`$ (although they are arbitrarily close), it is nevertheless true that $`\sigma ([(\phi _{m,\stackrel{}{\sigma }}^0)^1(S)]_{p_k^{}},[e]_{p_k^{}})=\sigma _k`$ since the $`\sigma `$ functions take only discrete values.

We will now construct successively analytic diffeomorphisms $`\phi _k,k=1,..,m`$ which preserve $`e`$ such that $`\phi _k^1(p_l)=p_l,l=0,..,k1,\phi _k^1(p_k^{})=p_k,\phi _k^1(p_{m+1})=p_{m+1}`$ where $`p_0=b(e),p_{m+1}=f(e)`$ and such that the $`\sigma _k`$ are not changed. Then

$$\phi _{m,\stackrel{}{\sigma }}:=\phi _{m,\stackrel{}{\sigma }}^0\phi _1..\phi _m$$
(4.27)
provides the searched for diffeomorphism.

To construct $`\phi _k`$ explicitly, choose w.l.g. an analytic coordinate system such that $`e`$ coincides with the interval $`[0,1]`$ of the $`x^1`$axis (if $`e`$ does not lie entirely within the domain of a chart, replace $`e`$ by a closed segment of it that does in what follows). Then $`p_k=(x_k,0,..,0)`$ and $`p_k^{}(y_k,0,..,0)`$ are the coordinates of the points in question and we label them in such a way that $`x_0=0<x_1<..<x_m<x_{m+1}=1,\mathrm{\hspace{0.33em}0}<y_1<..<y_m<1`$. The situation for $`\phi _k`$ is such that $`y_l=x_l,l=1,..,k1`$ already while the $`y_l,l=k,..,m`$ are unspecified. Thus, the idea is to construct an analytic vector field $`xv_k(x)`$ on  $`\mathrm{R}`$ which has zeroes at the points $`x_0=0,x_1,..,x_{k1},x_{m+1}=1`$ and whose flow maps $`y_k`$ to $`x_k`$. Consider the analytic vector field on $`\mathrm{\Sigma }`$ defined in our coordinate system by $`\stackrel{}{v}_k(\stackrel{}{x})=(v_k(x^1),0,..,0)`$. The integral curves $`c_\stackrel{}{x}^{\stackrel{}{v}_k}(t)`$ it generates defines a one parameter family of analytic diffeomorphisms $`\phi _t^{\stackrel{}{v}_k}(\stackrel{}{x}):=c_\stackrel{}{x}^{\stackrel{}{v}_k}(t)`$ of the form

$$\phi _t^{\stackrel{}{v}_k}(\stackrel{}{x})=(\phi _t^{v_k}(x^1),x^2,..,x^D)$$
(4.28)
where $`\phi _t^{v_k}(x^1)`$ is the corresponding one parameter group in  $`\mathrm{R}`$. It follows that $`\phi _t^{\stackrel{}{v}_k}(\stackrel{}{x})`$ for any $`t`$ is just an $`x^1`$ dependent translation along the $`x^1`$axis so that the $`\sigma _k`$ are left invariant. It remains to construct $`v_k(x)`$ and to choose $`t`$ with the required properties. Notice that if $`v_k`$ has a zero at some $`x`$ then $`x`$ is a fixed point of $`\phi _t^{v_k}`$.

Our ansatz is given for $`\delta >0`$ by

$$v_k(x)=\text{sgn}(x_ky_k)[1e^{\frac{(x1)^2}{2\delta ^2}}]\underset{l=0}{\overset{k1}{}}[1e^{\frac{(xx_l)^2}{2\delta ^2}}]$$
(4.29)
where sgn$`(x)=1,1,0`$ if $`x>,<,=0`$ is the sign function. The flow thus by construction preserves $`x=0,x_1,..,x_{k1},1`$ and moves, apart from the fix points, into positive or negative $`x^1`$direction respectively if $`x_ky_k>/<0`$ respectively (if $`x_k=y_k`$ already we can choose $`v_k=0`$ obviously). We set $`\alpha =\text{sgn}(x_ky_k)`$ in the remainder of this proof.

Consider the function $`f(t,x):=v_k(x)`$ which does not depend explicitly on $`t`$. We have

$$|f(t,x)f(t,x^{})|=|_x^x^{}𝑑yv_k^{}(y)|_x^x^{}𝑑y|v_k^{}(y)|\frac{m+2}{\delta }|xx^{}|$$
(4.30)
where we have used that for the function $`g(x)=1e^{x^2/(2\delta ^2)}`$ holds $`0g(x)1`$ and $`|g^{}(x)|e^{1/2}/\delta `$. Thus the function $`f(t,x)`$ satisfies a global Lipschitz condition in the open domain $`G=\text{ }\mathrm{R}\times [a,b]`$ where $`[0,1][a,b]`$ defines the boundaries of our chart in $`x^1`$ direction. By the existence and uniqueness theorem of Picard – Lindelöf for the differential equation $`\dot{x}(t)=f(t,x)`$, for any $`(t_0,x_0)G`$ there exists $`ϵ>0`$ and a unique solution in $`t[tϵ,t+ϵ]`$ with initial condition $`x(t_0)=x_0`$. The number $`ϵ`$ is bounded by $`\mathrm{min}(r,\frac{r}{c})`$ where $`r`$ is the maximal number such that $`V_r:=(t_0r,t_0+r)\times (x_0r,x_0+r)`$ is still in $`G`$ while $`c=sup_{(t,x)V_r}|f(t,x)|`$. In our case $`t_0=0,x_0=y_k`$, $`r=\mathrm{min}(y_ka,by_k),c=1`$ so that $`ϵ=r`$ is arbitrarily large by choosing coordinates in which $`|a|,|b|`$ become arbitrarily large and the segment of $`e`$ considered remains the image of $`[0,1]`$. It follows that we find a solution of the differential equation $`\dot{c}_{y_k}(t)=v_k(c_{y_k}(t))`$ with $`c_{y_k}(0)=y_k`$ which exists for $`t[r,r]`$ for arbitrarily large but finite $`r`$.

Notice that after applying the $`k1`$th diffeomorphism $`\phi _{k1}`$ we have already achieved that $`y_l=x_l,l=1,..,k1`$ (the order of the points $`y_k`$ cannot be changed by a diffeomorphism) and our job is now to construct $`\phi _k`$ which has to move $`y_k>y_{k1}=x_{k1}`$ to $`x_k`$ while leaving $`x=0,x_1,..,x_{k1},1`$ fixed. Define now

$$\mu :=\frac{1}{2}\mathrm{min}(y_kx_{k1},x_kx_{k1},\mathrm{\hspace{0.33em}1}\frac{1+\alpha }{2}x_k\frac{1\alpha }{2}y_k\}$$
(4.31)
and the interval $`I_k=[x_{k1}+\mu ,1\mu ]`$. Consider the differential equation $`\dot{x}(t)=v_k(x(t)),x(0)=y_k`$. As long as $`x(t)I_k`$ we have $`|x(t)1|\mu ,|x(t)x_l|\mu ;l=0,..,k1`$ and thus $`\alpha v_k(x(t))[1\mathrm{exp}(\frac{\mu ^2}{2\delta ^2})]^{k+1}`$. On the other hand, $`\alpha v_k(x(t))1`$ for all $`t\text{ }\mathrm{R}`$. From the integral equation

$$x(t)=y_k+_0^t𝑑sv(x(s))$$
(4.32)
we thus conclude for $`t0`$

$$y_k+tx(t)y_k+[1\mathrm{exp}(\frac{\mu ^2}{2\delta ^2})]^{k+1}t$$
(4.33)
for $`\alpha =1`$ and inequality signs reversed in case $`\alpha =1`$, as long as $`x(t)I_k`$. Now $`y_k(x_{k1}+\mu )\frac{y_kx_{k1}}{2}0`$ and $`1\mu y_k\frac{1+x_k}{2}y_k0`$ if $`\alpha =1`$ because $`x_k,1y_k`$ or $`1\mu y_k\frac{1+y_k}{2}y_k0`$ if $`\alpha =1`$. Hence $`y_kI_k`$ and since all tree terms in (4.33) are monotonously increasing (decreasing) with $`t`$ for $`\alpha =1`$ ($`\alpha =1`$) we can guarantee $`x(t)I_k`$ be requiring $`tT`$ where $`y_k+T=1\mu `$ for $`\alpha >0`$ and $`y_kT=x_{k1}+\mu `$ for $`\alpha <0`$. We conclude that

$$x(T)y_k+[1\mathrm{exp}(\frac{\mu ^2}{2\delta ^2})]^{k+1}(1\mu y_k)$$
(4.34)
for $`\alpha >0`$ and

$$x(T)y_k+[1\mathrm{exp}(\frac{\mu ^2}{2\delta ^2})]^{k+1}(y_k\mu x_{k1})$$
(4.35)
for $`\alpha <0`$. We claim that we can choose $`\delta `$ small enough such that the right hand side of (4.34) ((4.35)) is bigger (lower) than $`x_k`$. Thus we must satisfy

$$\mathrm{ln}(1e^{\frac{\mu ^2}{2\delta ^2}})\frac{1}{k+1}\mathrm{ln}(\frac{x_ky_k}{1\mu y_k})$$
(4.36)
for $`\alpha >0`$ and

$$\mathrm{ln}(1e^{\frac{\mu ^2}{2\delta ^2}})\frac{1}{k+1}\mathrm{ln}(\frac{y_kx_k}{y_k\mu x_{k1}})$$
(4.37)
for $`\alpha <0`$. Notice that the argument of the logarithm on the right hand side of (4.36) and (4.37) respectively is smaller than one since $`x_k<1\mu `$ and $`\mu +x_{k1}<x_k`$ respectively. Since both hand sides of (4.36), (4.37) are negative we must show

$$|\mathrm{ln}(1e^{\frac{\mu ^2}{2\delta ^2}})|\frac{1}{k+1}|\mathrm{ln}(\frac{x_ky_k}{1\mu y_k})|$$
(4.38)
for $`\alpha >0`$ and similar for $`\alpha <0`$. Let $`h(x)=\mathrm{ln}(1x),\mathrm{\hspace{0.33em}0}x<1`$. We claim that $`h(x)\sqrt{x}`$. For $`k(x):=\sqrt{x}+\mathrm{ln}(1x)`$ we find $`k(0)=0,k^{}(x)>0`$ for $`x<(\sqrt{2}1)^2`$. Hence, (4.38) holds provided that

$$e^{\frac{\mu ^2}{4\delta ^2}}\frac{1}{k+1}|\mathrm{ln}(\frac{x_ky_k}{1\mu y_k})|$$
(4.39)
holds and $`\delta `$ is small enough so that $`e^{\frac{\mu ^2}{2\delta ^2}}<3\sqrt{8}<1`$. We conclude

$$\frac{\mu ^2}{4\delta ^2}\mathrm{ln}(\frac{1}{k+1}|\mathrm{ln}(\frac{x_ky_k}{1\mu y_k})|)$$
(4.40)
which is trivially satisfied if the right hand side is positive (which it will not be when $`k`$ is large). If the right hand side is negative we find

$$\delta ^2<\mathrm{min}(\frac{\mu ^2}{2\mathrm{ln}(3\sqrt{8})},\frac{\mu ^2}{4|\mathrm{ln}(\frac{1}{k+1}|\mathrm{ln}(\frac{x_ky_k}{1\mu y_k})|)|})$$
(4.41)
which can always be satisfied. The case $`\alpha <0`$ is similar.

From the continuity of the solution $`x(t)`$ we conclude that there exists $`t_k[0,T]`$ such that $`x(t)=x_k`$. Thus, if $`t\phi _{k,t}`$ is the one parameter family of diffeomorphisms generated by $`v_k`$ we define $`\phi _k:=\phi _{k,t_k}`$ and have $`\phi _k(x_l)=x_l,l=0,..,k1,l=m`$ and $`\phi _k(y_k)=x_k`$ as desired, which concludes our induction step.
$`\mathrm{}`$
Step 3:
This step contains the main argument in our proof. The self-adjoint generator $`\pi (Y_n(S))`$ is symmetric and has dense domain $`𝒟(S_n)`$ for any $`n`$. From (4.23) we find the symmetry condition

$`<\pi (f)1_{\varphi ,S_n}^\nu ,\pi (E(S_n))\pi (f^{})1_{\varphi ^{},S_n}^\nu ^{}>`$ (4.42)
$`=`$ $`i<\pi (f)1_{\varphi ,S_n}^\nu ,\pi (Y(S_n)f^{})1_{\varphi ^{},S_n}^\nu ^{}+\pi (f^{})1_{\dot{\varphi }^{},S_n}^\nu ^{}>`$
$`=`$ $`<\pi (E(S_n))\pi (f)1_{\varphi ,S_n}^\nu ,\pi (f^{})1_{\varphi ^{},S_n}^\nu ^{}>`$
$`=`$ $`i<\pi (Y(S_n)f)1_{\varphi ,S_n}^\nu +\pi (f)1_{\dot{\varphi },S_n}^\nu ,\pi (f^{})1_{\varphi ^{},S_n}^\nu ^{}>`$
Choose $`f=1`$ then we obtain the master condition

$`<1_{\varphi ,S_n}^\nu ,\pi (Y(S_n)f^{})1_{\varphi ^{},S_n}^\nu ^{}>`$ (4.43)
$`=`$ $`<1_{\varphi ,S_n}^\nu ,\pi (f^{})1_{\dot{\varphi }^{},S_n}^\nu ^{}>+<1_{\dot{\varphi },S_n}^\nu ,\pi (f^{})1_{\varphi ^{},S_n}^\nu ^{}>`$
We now split the proof into the Abelian case and the non-Abelian case because we are able to use less assumptions in the Abelian case. We will also indicate what goes wrong when trying to repeat the Abelian proof for the non-Abelian case which might might lead the ambitious reader to a method for how to circumvent the obstacle. Also, we offer two different proof methods in the non-Abelian case.
Abelian Case
We will carry out the proof just for one copy of $`U(1)`$, the general case is similar. In that case $`n_j=1`$ and we can drop the label $`n`$ from $`Y_n(S)`$ and $`W_t^n(S)`$. We employ some of the ideas already used in .
Choose $`f^{}=\alpha _{\varphi _m^{e,S}}(T_s)`$ where $`T_s`$ is a spin-network function and $`\phi _m^{e,S}`$ is an analytic diffeomorphism such that $`(\phi _m^{e,S})^1(\gamma (s))`$ intersects $`S`$ in precisely $`m`$ distinct points $`p_1,..,p_m`$ which are interior points of the edge $`eE(\gamma (s))`$ and such that $`\sigma ([S]_{p_k},[(\phi _m^{e,S})^1(e)]_{p_k})=1`$. The existence of such a diffeomorphism can be deduced from the first half of lemma 4.2. Notice that we only need one of the $`2^m`$ diffeomorphisms constructed in lemma 4.2 for the Abelian case. The irreducible representations of $`U(1)`$ are one dimensional so that $`\pi _e`$ is just determined by an integer $`\lambda _e`$. Moreover $`Y(S)f^{}=m\lambda _ef^{}`$ is an eigenfunction. Thus (4.43) becomes

$$m\lambda _e<1_{\varphi ,S}^\nu ,\pi (f^{})1_{\varphi ^{},S}^\nu ^{}>=<1_{\varphi ,S}^\nu ,\pi (f^{})1_{\dot{\varphi }^{},S}^\nu ^{}>+<1_{\dot{\varphi },S}^\nu ,\pi (f^{})1_{\varphi ^{},S}^\nu ^{}>$$
(4.44)
We now estimate the left hand side and the right hand side of (4.44). For the right hand side we have

$`|<1_{\varphi ,S}^\nu ,\pi (f^{})1_{\dot{\varphi }^{},S}^\nu ^{}>+<1_{\dot{\varphi },S}^\nu ,\pi (f^{})1_{\varphi ^{},S}^\nu ^{}>|`$ (4.45)
$``$ $`1_{\varphi ,S}^\nu \pi (f^{})1_{\dot{\varphi }^{},S}^\nu ^{}+1_{\dot{\varphi },S}^\nu \pi (f^{})1_{\varphi ^{},S}^\nu ^{}`$
$``$ $`f^{}_{\mathrm{}}[1_{\varphi ,S}^\nu 1_{\dot{\varphi }^{},S}^\nu ^{}+1_{\dot{\varphi },S}^\nu 1_{\varphi ^{},S}^\nu ^{}]`$
$``$ $`T_s_{\mathrm{}}[\varphi _1\dot{\varphi }^{}_1+\dot{\varphi }_1\varphi ^{}_1]`$
where in the second step we have used the Cauchy-Schwarz inequality, in the third the elementary continuity of the operator norm with respect to the $`C^{}`$norm which is diffeomorphism invariant (so the dependence on $`\phi _m^{e,S}`$ drops out) and finally $`\psi _\varphi 𝑑t|\varphi (t)|\pi (W_t(S))\psi \varphi _1\psi `$ due to unitarity. For the left hand side of (4.44) we have

$`|m\lambda _e<1_{\varphi ,S}^\nu ,\pi (f^{})1_{\varphi ^{},S}^\nu ^{}>|`$ (4.46)
$``$ $`m|\lambda _e|[|<1^\nu ,\pi (f^{})1^\nu ^{}>||<1_{\varphi ,S}^\nu 1^\nu ,\pi (f^{})1^\nu ^{}>||<1_{\varphi ,S}^\nu ,\pi (f^{})(1_{\varphi ^{},S}^\nu ^{}1^\nu ^{})>|]`$
$``$ $`m|\lambda _e|[|<1^\nu ,\pi (f^{})1^\nu ^{}>|||T_s||_{\mathrm{}}\{||1_{\varphi ,S}^\nu 1^\nu ||+||1_{\varphi ,S}^\nu ^{}1^\nu ^{}||\}]`$
Suppose now that for $`\lambda _e0`$ we have

$$\delta =|<1^\nu ,\pi (f^{})1^\nu ^{}>|=|<1^\nu ,\pi (T_s)1^\nu ^{}>|>0$$
(4.47)
where we have made use of diffeomorphism invariance of $`1^\nu ,1^\nu ^{}`$ so that the only dependence on the intersection number $`m`$ in (4.46) is just the prefactor. Due to weak continuity of the fluxes, we can restrict the support of $`\varphi ,\varphi ^{}`$ to $`|t|ϵ(\nu ,\delta /4,S,s)`$ and $`|t|ϵ(\nu ^{},\delta /4,S,s)`$ respectively such that $`||1_{\varphi ,S}^\nu 1^\nu ||\delta /(4||T_s||_{\mathrm{}}||)`$ and $`||1_{\varphi ,S}^\nu ^{}1^\nu ^{}||\delta /(4||T_s||_{\mathrm{}}||)`$ respectively. Now choose for the so chosen $`\varphi ,\varphi ^{}`$ the intersection number

$$m>2\frac{f^{}_{\mathrm{}}[\varphi _1\dot{\varphi }^{}_1+\dot{\varphi }_1\varphi ^{}_1]}{\delta }$$

Then we have produced a contradiction, thus $`<1^\nu ,\pi (T_s)1^\nu ^{}>=0`$ unless $`\lambda _e=0`$. Since $`eE(\gamma (s))`$ was arbitrary and since $`1^\nu ,\pi (f)1^\nu ^{}>=\mu _\nu (f)\delta _{\mu \nu }`$ we conclude

$$\mu _\nu (T_s)=\{\begin{array}{cc}1\hfill & \text{ : }s\text{ trivial}\hfill \\ 0\hfill & \text{ : otherwise}\hfill \end{array}$$
(4.48)
which is one of the equivalent definitions of the Ashtekar-Lewandowski measure.
Non-Abelian Case
Before we proceed to the proof under the additional assumption iv) let us first outline why the strategy for the Abelian case does not work here. The basic problem is that no $`f^{}=T_s`$ spin-network function is an eigenfunction $`Y_n(S)T_s\propto ̸T_s`$ of the fluxes. Without this being the case, we have no chance to get something like $`Y_n(S)\alpha _{\phi _m^{e,S}}(T_s)m`$ which was crucial in the Abelian case. Thus, in order to get this proportionality the idea is to consider something squares of the form $`Y_n(S)^2\alpha _{\phi _m^{e,S}}(T_s)`$ which have better chances because if we take suitable linear combinations then we obtain Laplacians which do have the $`T_s`$ as eigenfunctions.

In order to get such squares we just have to iterate (4.43) or (B.9) by choosing $`f^{}=Y_n(S)f`$ or $`f^{}=Y_j^+(S)f`$ for some $`f`$ to be suitably chosen. This results in

$`<1_{\varphi ,S_n}^\nu ,\pi (Y(S_n)^2f)1_{\varphi ^{},S_n}^\nu ^{}>`$ (4.49)
$`=`$ $`<1_{\varphi ,S_n}^\nu ,\pi (f)1_{\ddot{\varphi }^{},S_n}^\nu ^{}>+2<1_{\dot{\varphi },S_n}^\nu ,\pi (f)1_{\dot{\varphi }^{},S_n}^\nu ^{}>+<1_{\ddot{\varphi },S_n}^\nu ,\pi (f)1_{\varphi ^{},S_n}^\nu ^{}>`$
Let us now choose $`f=\alpha _{\phi _{m,\sigma }^{e,S}}^1(T_s)`$ for any spin network function $`T_s`$ where $`\phi _{m,\sigma }^{e,S}`$ is the diffeomorphism constructed in lemma 4.2 such that $`\phi _{m,\sigma }^{e,S}(S)`$ intersects $`\gamma (s)`$ precisely in $`m`$ interior points $`p_k`$ of $`eE(\gamma (s))`$ with relative orientation $`\sigma _k`$. Let us write $`e=f_1^1e_1f_2^1e_2..f_m^1e_m`$ where $`p_k=f_ke_k`$. Then

$`\alpha _{\phi _{m,\sigma }^{e,S}}(Y_n(S)^2)T_s`$ (4.50)
$`=`$ $`{\displaystyle \underset{I,J=1}{\overset{m}{}}}\sigma _I\sigma _J(R_{e_I}^nR_{f_I}^n)(R_{e_J}^nR_{f_J}^n)T_s`$
$`=`$ $`{\displaystyle \underset{I=1}{\overset{m}{}}}[2(R_{e_I}^n)^2+2(R_{f_I}^n)^2]T_s+8{\displaystyle \underset{I<J}{\overset{m}{}}}\sigma _I\sigma _JR_{e_I}^nR_{e_J}^nT_s`$
where in the second step we have used gauge invariance of $`T_s`$ at $`p_k`$, that is, $`(R_{e_I}^n+R_{f_I}^n)T_s=0`$. Now the idea would be to choose $`n^k=\delta _{jk}`$, to sum over $`j`$ and to average over the $`2^m`$ possible choices for $`\sigma =(\sigma _1,..,\sigma _m)`$. Thus

$$2^m\underset{j}{}\underset{\sigma }{}\alpha _{\phi _{m,\sigma }^{e,S}}(Y_j(S)^2)T_s=8m\lambda _{\pi _e}T_s$$
(4.51)
where $`\pi _e=\pi _e(s)`$ is the irreducible representation of $`G`$ labeling $`e`$ and $`\lambda _{\pi _e}0`$ is the corresponding eigenvalue of the Laplacian. In order to exploit this, we write (4.49) as

$`2^m{\displaystyle \underset{j}{}}{\displaystyle \underset{\sigma }{}}<1_{\varphi ,S_j}^\nu ,\pi (Y(S_j)^2\alpha _{\phi _{m,\sigma }^{e,S}}^1(T_s))1_{\varphi ^{},S_j}^\nu ^{}>`$ (4.52)
$`=`$ $`2^m{\displaystyle \underset{j}{}}{\displaystyle \underset{\sigma }{}}<1_{\varphi ,(\phi _{m,\sigma }^{e,S})^1(S_j)}^\nu ,\pi (\alpha _{\phi _{m,\sigma }^{e,S}}(Y_j(S)^2)T_s)1_{\varphi ^{},(\phi _{m,\sigma }^{e,S})^1(S_j)}^\nu ^{}>`$
$`=`$ $`2^m{\displaystyle \underset{j}{}}{\displaystyle \underset{\sigma }{}}[<1_{\varphi ,(\phi _{m,\sigma }^{e,S})^1(S_j)}^\nu ,\pi (T_s)1_{\ddot{\varphi }^{},(\phi _{m,\sigma }^{e,S})^1(S_j)}^\nu ^{}>+2<1_{\dot{\varphi },(\phi _{m,\sigma }^{e,S})^1(S_j)}^\nu ,\pi (T_s)1_{\dot{\varphi }^{},(\phi _{m,\sigma }^{e,S})^1(S_j)}^\nu ^{}>`$
$`+<1_{\ddot{\varphi },(\phi _{m,\sigma }^{e,S})^1(S_j)}^\nu ,\pi (T_s)1_{\varphi ^{},(\phi _{m,\sigma }^{e,S})^1(S_j)}^\nu ^{}>]`$
Now the trouble is that a $`(j,\sigma )`$dependence has entered the states $`1_{\varphi ,(\phi _{m,\sigma }^{e,S})^1(S_j)}^\nu `$ which prevents us from using (4.51). In order to get rid of the $`(j,\sigma )`$dependence of the states, we would need to construct states which are common $`C^{\mathrm{}}`$vectors for all the $`\alpha _{\phi _{m,\sigma }^{e,S}}(Y_j(S))`$. That is certainly possible: First of all we pass to the $`Y_j^+(S)`$ of appendix B and choose as $`S`$ a surface which is the disjoint union of $`m`$ pieces $`S_I`$. Then define

$$1_{\varphi ,S}^\nu :=_Gd\mu _H(g_1).._Gd\mu _H(g_m)\varphi (g_1,..,g_m)\underset{I=1}{\overset{m}{}}\pi (W_{g_I}(S_I))1^\nu $$
(4.53)
and if we can arrange that $`S_\sigma =\phi _{m,\sigma }^{e,S})^1(S)=_I\sigma _IS_I`$ then

$$Y_j^+(S_\sigma )1_{\varphi ,S}^\nu =1_{_I\sigma _IR_I^j\varphi ,S}^\nu $$
(4.54)
for all $`j,\sigma `$. However, the sum over $`I`$ involved in (4.54) destroys our estimates performed in the Abelian case for which it was crucial that the right hand side of (4.44) was already independent of $`m`$. This is the obstacle that prevents us from using the idea employed for the Abelian case. Thus, in order to proceed, let us make the additional assumption iv). While we feel that this is not necessary, we could so far not find a way to circumvent the obstacle just mentioned.
According to assumption iv) we can take the limit $`\varphi (t)\delta (t)`$ in (4.52). Then the $`(j,\sigma )dependence`$ disappears from the states, $`1_{\varphi ,(\phi _{m,\sigma }^{e,S})^1(S_j)}^\nu 1^\nu `$, and we find

$`2^m{\displaystyle \underset{j}{}}{\displaystyle \underset{\sigma }{}}<1^\nu ,\pi (Y(S_j)^2\alpha _{\phi _{m,\sigma }^{e,S}}^1(T_s))1^\nu ^{}>`$ (4.55)
$`=`$ $`8\lambda _{\pi _e}m<1^\nu ,\pi (T_s)1^\nu ^{}>`$
$`=`$ $`{\displaystyle \underset{j}{}}[<1^\nu ,\pi (2^m{\displaystyle \underset{\sigma }{}}\alpha _{\phi _{m,\sigma }^{S,e}}^1(T_s))\pi (Y_j(S)^2)1^\nu ^{}>+2<\pi (Y_j(S))1^\nu ,\pi (2^m{\displaystyle \underset{\sigma }{}}\alpha _{\phi _{m,\sigma }^{S,e}}^1(T_s))\pi (Y_j(S))1^\nu ^{}>`$
$`+<\pi (Y_j(S)^2)1^\nu ,\pi (2^m{\displaystyle \underset{\sigma }{}}\alpha _{\phi _{m,\sigma }^{S,e}}^1(T_s))1^\nu ^{}>]`$
Estimating the right hand side of (4.56) from above we have

$`8\lambda _{\pi _e}m|<1^\nu ,\pi (T_s)1^\nu ^{}>|`$ (4.56)
$``$ $`T_s_{\mathrm{}}{\displaystyle \underset{j}{}}[\pi (Y_j(S)^2)1^\nu ^{}+\pi (Y_j(S))1^\nu \pi (Y_j(S))1^\nu ^{}+\pi (Y_j(S)^2)1^\nu ]`$
Due to the diffeomorphism invariance of $`1^\nu `$ the right hand side of (4.56) no longer depends on $`m`$ in contrast to the left hand side which implies as in the Abelian case that $`\mu _\nu =\mu _0`$ is the Ashtekar Lewandowski measure.
Step 4:
We stress that the additional requirement iv) is only necessary in step 3 of the proof. The remainder is again independent of that. It rests crucially on our already available knowledge that all $`\mu _\nu `$ equal the Ashtekar-Lewandowski measure.

We make the general ansatz

$$\pi (W_t(S_n))=[M_t(S_n)][W_t(S_n)\pi (1)]$$
(4.57)
where the second factor acts diagonally in each entry $`\psi _\nu `$ of $`\psi =\psi _\nu `$ by left translation on $`\overline{𝒜}`$ and $`M_t(S_n)`$ is an operator valued matrix of the form

$$M_t(S_n)\psi =\underset{\nu ,\nu ^{}}{}([M_t(S_n)]_{\nu \nu ^{}}\psi _\nu ^{})1^\nu $$
(4.58)
Using the representation property

$$\pi (W_t(S_n))\pi (f)\pi (W_t(S_n))^1=\pi (W_t(S_n)fW_t(S_n)^1)$$
(4.59)
and that $`f`$ is arbitrary we conclude that

$$[(M_t(S_n))_{\nu \nu ^{}},f]=0$$
(4.60)
for any $`f\text{Cyl}_b`$ and any $`\nu ,\nu ^{}`$. It follows that $`M_t(S_n)`$ is a multiplication operator valued matrix.

Due to the unitarity of $`\pi (W_t(S_n))`$ we compute

$`1`$ $`=`$ $`\pi (W_t(S_n))1^\nu ^2=M_t(S_n)1^\nu ^2={\displaystyle \underset{\nu ^{}}{}}([M_t(S_n)]_{\nu ^{}\nu }1)1^\nu ^{}^2`$ (4.61)
$`=`$ $`{\displaystyle \underset{\nu ^{}}{}}[M_t(S_n)]_{\nu ^{}\nu }_{\mu _\nu ^{}}^2`$
for any $`\nu `$. Thus all the matrix entries $`[M_t(S_n)]_{\nu \nu ^{}}`$ are $`L_2(\overline{𝒜},d\mu _0)`$ functions and we can expand them in terms of spin network functions

$$[M_t(S_n)]_{\nu \nu ^{}}=\underset{s}{}[Z_t(S_n,s)]_{\nu \nu ^{}}T_s$$
(4.62)
for some complex valued coefficients $`[M_t(S_n,s)]_{\nu \nu ^{}}`$ of which all but countably many must vanish.

From diffeomorphism covariance (remember that $`U_\pi `$ is the natural representation of the diffeomorphism group) we have for $`n_j(x)=n_j=const.`$

$`U_\pi (\phi )\pi (W_t^n(S))U_\pi (\phi )^1`$ $`=`$ $`\pi (\alpha _\phi (W_t^n(S)))=\pi (W_t^n(\phi ^1(S))=M_t^n(\phi ^1(S))[W_t^n(\phi ^1(S))\pi (1)]`$ (4.63)
$`=`$ $`[U_\pi (\phi )M_t(S_n)U_\pi (\phi )^1][U_\pi (\phi )[W_t^n(S)\pi (1)]U_\pi (\phi )^1]`$
$`=`$ $`[U_\pi (\phi )M_t(S_n)U_\pi (\phi )^1][W_t^n(\phi ^1(S))\pi (1)]`$
and

$$U_\pi (\phi )\pi (T_s)U_\pi (\phi ^1)=\pi (\alpha _\phi (T_s))=\pi (T_{\phi (s)})$$
(4.64)
where $`\phi (s)=(\phi ^1(\gamma (s)),\stackrel{}{\pi (s)},\stackrel{}{M}(s),\stackrel{}{N}(s))`$, we conclude by comparing coefficients that

$$[Z_t^n(\phi ^1(S),s)]_{\nu ,\nu ^{}}=[Z_t^n(S,\phi (s))]_{\nu \nu ^{}}$$
(4.65)
for any $`s`$.

Suppose now that $`\gamma (s)\mathrm{}`$ for $`D>3`$ or $`\gamma (s)\mathrm{},S`$ for $`D=3`$ (neither the empty graph nor the graph formed by the boundary of the closure of $`S`$, that is $`\gamma (s)\overline{S}\text{Int}(S)`$) or $`\gamma (s)\mathrm{},\overline{S}`$ for $`D=2`$. Then we find a countably infinite number of analytic diffeomorphisms $`\phi _k`$ which leave $`S`$ invariant but such that the $`\phi _k(\gamma (s))`$ are mutually different. To construct such a diffeomorphism for $`D>1`$, simply take any analytical vector field which is everywhere tangent to $`S`$ and tangent to $`S`$ (e.g. vanishes on (non differentiable points of) $`S`$). Then $`S,S`$ are left invariant as sets, but not pointwise, by the one parameter group of analytical diffeomorphisms generated by that vector field. Thus for $`D>3`$ even a graph which lies completely within the closure $`\overline{S}`$ can be mapped non-trivially, for $`D=2`$ the graph cannot be mapped non-trivially only if $`\gamma (s)=S`$ and for $`D=3`$ we must have $`\gamma (s)=S`$. Thus, unless one of the cases indicated holds, we always find a one parameter group of analytical diffeomorphisms $`t\phi ^t`$ which preserve $`S`$ but move $`\gamma (s)`$ non-trivially for each $`t`$ and we just need to take $`\phi _k=\phi ^{1/k}`$. But this implies that

$$[Z_t^n(S,s)]_{\nu \nu ^{}}=[Z_t^n(S,\phi _k(s))]_{\nu \nu ^{}}$$
(4.66)
for all $`k=0,1,2,..`$. Due to the mutual orthogonality of spin network functions over mutually different graphs, (4.66) contradicts normalizability (4.61) unless $`[Z_t^n(S,s)]_{\nu \nu ^{}}=0`$ for such $`s`$ since

$$M_t^n(S)_{\nu \nu ^{}}^2\underset{s^{},\gamma (s^{})=\gamma (s)}{}|[Z_t^n(S,s^{})]_{\nu \nu ^{}}|^2\underset{k=0}{\overset{\mathrm{}}{}}|[Z_t^n(S,\phi _k(s))]_{\nu \nu ^{}}|^2=|[Z_t^n(S,s)]_{\nu \nu ^{}}|^2\underset{k=0}{\overset{\mathrm{}}{}}\mathrm{\hspace{0.33em}1}$$
(4.67)
We conclude that $`M_t^n(S)`$ is a matrix of cylindrical $`L_2`$functions over the graph $`S`$ in $`D=3`$ or over $`S`$ in $`D=2`$ and it is a constant function in $`D>3`$. Hence we may write it in the form

$$M_t^n(S)_{\nu \nu ^{}}=K_t^n(S)_{\nu \nu ^{}}+\underset{I}{}K_t^n(S,I)_{\nu \nu ^{}}T_{\gamma _S,I}$$
(4.68)
where $`K_t^n(S)_{\nu ,\nu ^{}},K_t^n(S,I)_{\nu ,\nu ^{}}`$ are constants, $`\gamma _S=\overline{S}`$ in $`D=2`$, $`\gamma _S=S`$ in $`D=3`$, $`I`$ denotes a sum over spin network labels other than the graph and of course $`K_t^n(S,I)_{\nu ,\nu ^{}}=0`$ for $`D>3`$. Since $`\phi (S)=\phi (S)`$ we find that these constant matrices only depend on the diffeomorphism type $`\widehat{S}`$ of the surface $`S`$, that is,

$$K_t^n(S)_{\nu ,\nu ^{}}=K_t^n(\widehat{S})_{\nu ,\nu ^{}}\text{ and }K_t^n(S,I)_{\nu ,\nu ^{}}=K_t^n(\widehat{S},I)_{\nu ,\nu ^{}}$$
(4.69)
Let us now consider the cases $`D=2,3`$ more closely. Since by construction our Weyl algebra of fluxes is built from the fluxes through a disjoint union of cubes $`\mathrm{}`$, the associated $`\pi (W_t^n(\mathrm{}))`$ are mutually commuting and it will be sufficient to consider each $`\mathrm{}`$ separately. We may write

$$[M_t^n(\mathrm{})](A)=\{\begin{array}{cc}\rho _t^n(A(\overline{\mathrm{}}))\hfill & D=2\hfill \\ \rho _t^n(A(\mathrm{}))\hfill & D=3\hfill \end{array}$$
(4.70)
where we have dropped the label $`\widehat{\mathrm{}}`$ since the diffeomorphism class types of all our $`\mathrm{}`$ coincide. Now we can subdivide $`\mathrm{}=\mathrm{}_1\mathrm{}_2`$ into two disjoint pieces. Since the corresponding Weyl operators commute and since $`[W_t^n(\mathrm{}_i),M_t^n(\mathrm{}_j)_{\nu \nu ^{}}]=0`$ because the edges of the graph $`\overline{\mathrm{}}_j`$ or $`\mathrm{}_j`$ are either of the “in” or “out” type with respect to $`\mathrm{}_i`$, we easily find

$`D=2`$ $`:`$ $`\rho _t^n(A(\overline{\mathrm{}}_1))\rho _t^n(A(\overline{\mathrm{}}_2))=\rho _t^n(A(\overline{\mathrm{}}))=\rho _t^n(A(\overline{\mathrm{}}_1\overline{\mathrm{}}_2))=\rho _t^n(A(\overline{\mathrm{}}_1)A(\overline{\mathrm{}}_2))`$
$`D=3`$ $`:`$ $`\rho _t^n(A(\mathrm{}_1))\rho _t^n(A(\mathrm{}_2))=\rho _t^n(A(\mathrm{}))=\rho _t^n(A(\mathrm{}_1\mathrm{}_2))=\rho _t^n(A(\mathrm{}_1)A(\mathrm{}_2))`$ (4.71)
where we have chosen appropriate starting points of the edges $`\overline{\mathrm{}}`$ and loops $`\mathrm{}`$ respectively.

Since $`A\overline{𝒜}`$ is arbitrary we find that for arbitrary $`h_1,h_2G`$

$$\rho _t^n(h_1)\rho _t^n(h_2)=\rho _t^n(h_2)\rho _t^n(h_1)=\rho _t^n(h_1h_2)$$
(4.72)
where commutativity follows from the commutativity of the corresponding Weyl operators. Setting e.g. $`h_1=1_G`$ we see that $`\rho _t^n(1_G)=\pi (1)`$ is the identity operator. It follows that $`h\rho _t^n(h)`$ is a commutative representation of $`G`$ on the not necessarily separable Hilbert space $`\mathrm{}_2(𝒩)`$ where $`𝒩`$ denotes the countable index set of the labels $`\nu `$. Let us denote the inner product on $`l_2(𝒩)`$ by $`(.,.)^{}`$, that is $`(v,v^{})^{}=_\nu \overline{v}_\nu v_\nu ^{}`$. Consider the new inner product

$$(v,v^{}):=_G𝑑\mu _H(g)(\rho _t^n(g)v,\rho _t^n(g)v^{})^{}$$
(4.73)
We must check whether (4.73) is well defined. The vectors $`1^\nu `$ form a complete orthonormal basis in $`l_2`$ with respect to the inner product $`(.,.)^{}`$ and the new Hilbert space is the completion with respect to the new inner product of the finite linear combinations of the $`1^\nu `$, so it suffices to check that $`(1^\nu ,1^\nu )<\mathrm{}`$ for all $`\nu `$. We have

$$(1^\nu ,1^\nu )=_G𝑑\mu _H(g)\underset{\nu ^{}}{}|(\rho _t^n)_{\nu ^{}\nu }(g)|^2\underset{\nu ^{}}{}M_t^n(\widehat{\mathrm{}})_{\nu ^{}\nu }_{\mu _0}^2=1$$
(4.74)
by (4.61) because $`M_t^n(S)`$ depends on the connection only through the edge $`\overline{\mathrm{}}`$ or the loop $`\mathrm{}`$ respectively. Hence (4.73) is well-defined and $`g\rho _t^n(g)`$ is a unitary representation of $`G`$ on this Hilbert space with inner product $`(.,.)`$.

Since $`G`$ is compact, $`\rho _t^n`$, represented on that Hilbert space is unitarily equivalent to a (possibly uncountably) direct sum of irreducible, finite dimensional representations  (proposition 2.5 and theorem 3.1) all of which must be commutative. If $`G`$ is not Abelian, then the only commutative irreducible representations are trivial and it follows immediately $`\rho _t^n(h)=\pi (1)`$ for all $`hG`$. If $`G`$ is Abelian then $`G=U(1)^N`$ for some $`N`$ and every irreducible representation is of the form $`(u_1,..,u_N)(u_1^{z_1},..,u_N^{z_N})`$ for some integers $`z_k`$ and any $`u_kU(1)`$. In our case the representation of every $`U(1)`$ factor that occurs in the decomposition of $`\rho _t^n(h)`$ into irreducibles is therefore of the form $`uu^{z_t^n}`$ where $`z_t^n\text{ }\mathrm{Z}`$ and $`uU(1)`$. Due to the representation property $`\pi (W_s^n(\mathrm{}))\pi (W_t^n(\mathrm{}))=\pi (W_{s+t}^n(\mathrm{}))`$ for all $`s,t\text{ }\mathrm{R}`$ and due to the fact that all edges in question are of the “in” or “out” type with respect to $`S`$ we infer that $`\rho _s^n(h)\rho _t^n(h)=\rho _{s+t}^n(h)`$ is a one-parameter group of representations. This implies that $`z_{s+t}^n=z_s^n+z_t^n`$ for any $`s,t\text{ }\mathrm{R}`$. Due to weak continuity we have $`\rho _t^n(h)\pi (1)`$ as $`t0`$. Since $`z_t^n`$ is an integer, there exists $`ϵ^n>0`$ such that $`z_t^n=0`$ for all $`|t|<ϵ^n`$. But then for any $`t\text{ }\mathrm{R}`$ we find $`m\text{ }\mathrm{N}`$ such that $`|t/m|<ϵ^n`$ and thus $`z_t^n=mz_{t/m}^n=0`$. Thus, also in the Abelian case the only occurring representation is trivial and we also get here that $`\rho _t^n(h)=\pi (1)`$.

It remains to discuss the case $`D>3`$. Since in this case $`M_t^n(\mathrm{})=M_t^n(\widehat{\mathrm{}})`$ is just a constant we have by splitting $`\mathrm{}=\mathrm{}_1\mathrm{}_2`$ into disjoint pieces that

$$M_t^n(\widehat{\mathrm{}})=M_t^n(\mathrm{})=M_t^n(\mathrm{}_1\mathrm{}_2)=M_t^n(\mathrm{}_1)M_t^n(\mathrm{}_2)=M_t^n(\widehat{\mathrm{}})^2$$
(4.75)
and since $`M_t^n(\widehat{\mathrm{}})`$ is invertible we find $`M_t^n(\mathrm{})=\pi (1)`$.

We conclude that $`M_t^n(S)=\pi (1)`$ for $`n^j(x)=n^j=const.`$ and any (allowed) surface $`S`$. For an arbitrary unit vector $`n_j(x)`$ we find a constant unit vector $`n_j^0`$ and an element $`g_{n,n^0}`$Fun$`(\mathrm{\Sigma },G)`$ such that $`\alpha _{g_{n,n^0}}(W_t^n(S))=W_t^{n^0}(S)`$. Then

$`\pi (W_t^n(S))`$ $`=`$ $`\pi (\alpha _{g_{n,n^0}^1}(W_t^{n_0}(S)))=U_\pi (g_{n,n^0})^1\pi (W_t^{n_0}(S))U_\pi (g_{n,n^0})`$
$`=`$ $`U_\pi (g_{n,n^0})^1[W_t^{n_0}(S)\pi (1)]U_\pi (g_{n,n^0})=[\alpha _{g_{n,n^0}^1}(W_t^{n_0}(S))\pi (1)]=[W_t^n(S)\pi (1)]`$
so that $`M_t^n(S)=\pi (1)`$ also in the general case.
We thus have shown that $`\pi (W_t^n(S))=W_t^n(S)\pi (1)`$. We can now finally invoke irreducibility: If the representation is to be irreducible, then every vector is cyclic, in particular any of the $`1^\nu `$ is cyclic. But the algebra of operators generated by $`\pi (f),\pi (W_t^n(S))`$ never leaves the sector $`_\nu =_01^\nu `$. It follows that we can allow only one copy of the Ashtekar-Lewandowski Hilbert space. That $`_0`$ itself is the representation space of an irreducible representation of $`𝔄`$ will be shown in .
This finishes the proof.
$`\mathrm{}`$
Acknowledgments
We thank the Erwin – Schrödinger Institute for providing a friendly hospitality and a challenging research environment during the ’Quantum field theory on curved spacetimes’ workshop, where part of this work was completed. Thanks also go to the organizers of this workshop, Klaus Fredenhagen, Robert Wald, and Jacob Yngvasson, as well as to the other guests, especially Abhay Ashtekar, Klaus Fredenhagen, and Jurek Lewandowski, for stimulating discussions concerning the questions addressed in this work. H.S. also thanks the Studienstiftung des Deutschen Volkes for financial support, and the Albert-Einstein Institut for hospitality. This work was supported in part by the NSF grant PHY-0090091.

## Appendix A A simpler proof under stronger assumptions

In this appendix we present a somewhat simpler proof of theorem 4.2 which works under the following assumption in addition to i), ii), iii) and iv) specified there:
v) Gauge Invariance
The representation $`U_\pi `$ of Fun$`(\mathrm{\Sigma },G)`$ is unitary and coincides with the natural representation.
Under this assumption we can avoid step 2 in the proof of the theorem altogether by means of the following observation:
While the proof in the main text never uses gauge invariance, the following replacement of the non-Abelean part of step 3 heavily relies on gauge invariance of the $`1^\nu `$ which follows from our assumption v) made above.

According to assumption iv) we may let $`\varphi (t)\delta (t,0)`$ in (4.42) and (4.43) and in this limit the $`(S,n)`$dependence of all the states $`1_{\varphi ,S_n}^\nu 1^\nu `$ vanishes.

Let $`\phi _m^{S,e}`$ be an analytic diffeomorphism that makes $`\alpha _{\phi _m^{S,e}}(T_s)`$ intersect with $`S`$ in precisely $`m`$ interior points $`p_k`$ of $`\phi _m^{S,e}(e)`$, say with positive relative orientation. Then (4.42) implies

$`{\displaystyle \underset{j}{}}<1^\nu ,\pi (Y(S_j)^2\alpha _{\phi _m^{e,S}}^1(T_s))1^\nu ^{}>`$ (A.1)
$`=`$ $`8<1^\nu ,\pi (m\lambda _{\pi _e}T_s+{\displaystyle \underset{j}{}}{\displaystyle \underset{I<J}{\overset{m}{}}}R_{e_I}^nR_{e_J}^nT_s)1^\nu ^{}>`$
$`=`$ $`{\displaystyle \underset{j}{}}[<1^\nu ,\pi (\alpha _{\phi _m^{S,e}}^1(T_s))\pi (Y_j(S)^2)1^\nu ^{}>+2<\pi (Y_j(S))1^\nu ,\pi (\alpha _{\phi _m^{S,e}}^1(T_s))\pi (Y_j(S))1^\nu ^{}>`$
$`+<\pi (Y_j(S)^2)1^\nu ,\pi (\alpha _{\phi _m^{S,e}}^1(T_s))1^\nu ^{}>]`$
Let $`G_p:=`$Fun$`(\{p_k\}_{k=1}^m,\sigma )`$ be the subgroup of the gauge group which is trivial except at the points $`p_k`$. Due to the gauge invariance of the $`1^\nu `$ and the normalization of the Haar measure we have for the left hand side of (A.1)

$`8<1^\nu ,\pi (m\lambda _{\pi _e}T_s+{\displaystyle \underset{j}{}}{\displaystyle \underset{I<J}{\overset{m}{}}}R_{e_I}^jR_{e_J}^jT_s)1^\nu ^{}>`$ (A.2)
$`=`$ $`8{\displaystyle _{G_p}}d\mu _0(g)<U_\pi (g)1^\nu ,\pi (m\lambda _{\pi _e}T_s+{\displaystyle \underset{j}{}}{\displaystyle \underset{I<J}{\overset{m}{}}}R_{e_I}^jR_{e_J}^jT_s)U_\pi (g)1^\nu ^{}>`$
$`=`$ $`8{\displaystyle _{G_p}}d\mu _0(g)<1^\nu ,\pi (\alpha _{g^1}(m\lambda _{\pi _e}T_s+{\displaystyle \underset{j}{}}{\displaystyle \underset{I<J}{\overset{m}{}}}R_{e_I}^jR_{e_J}^jT_s))1^\nu ^{}>`$
$`=`$ $`8{\displaystyle _{G^m}}d\mu _H(g_1)..d\mu _H(g_m)<1^\nu ,\pi (m\lambda _{\pi _e}T_s+{\displaystyle \underset{j}{}}{\displaystyle \underset{I<J=}{\overset{m}{}}}\text{ad}_{jk}(g_I)\text{ad}_{jl}(g_J)R_{e_I}^kR_{e_J}^lT_s)1^\nu ^{}>`$
$`=`$ $`8m\lambda _{\pi _e}<1^\nu ,\pi (T_s)1^\nu ^{}>`$
where in the third step we have used $`G_p`$invariance of $`T_s`$ and in the fourth the Peter&Weyl theorem. Here $`\mu _0`$ is the induced Haar measure on $`G_p`$. Hence, since the right hand side of (A.1) is again independent of $`m`$, we conclude $`\mu _\nu =\mu _0`$.

Thus, averaging over the gauge group has the same effect as averaging over the discrete subset of the diffeomorphism group that was constructed in step 2 which therefore becomes redundant.
In conclusion, this way of proving theorem 4.2 uses step 1, avoids step 2 altogether, modifies the non-Abelean part of step 3 as just displayed and leaves step 4 unmodified.

## Appendix B Construction of more general $`C^{\mathrm{}}`$vectors for the Fluxes

In order to supplement the discussion in the main text around the non-Abelean part of step 3 in the proof of theorem 4.2 we list here some additional information about the construction of more general $`C^{\mathrm{}}`$vectors for the fluc operators666In order to use them one would need to replace in assumption iv) of theorem 4.2 the $`Y_n(S)`$ by the $`Y_n^+(S)`$ constructed below..
A)
If $`n_j(x)=const.`$ we may also get rid of the $`n`$dependence of the $`\psi _{\varphi ,S_n}`$ in (4.20) as follows: We notice that each flux vector field can be uniquely split as $`Y_n(S)=Y_n^+(S)Y_n^{}(S)`$ where

$$Y_n^\pm (S)=\underset{xS}{}n_j(x)\underset{[e]_x^\pm (S)}{}R_{x,[e]}^j=:\underset{xS}{}n_j(x)R_{x,S,\pm }^j$$
(B.1)
and $`_x^\pm (S)=\{[e];\sigma ([S]_x,[e])=\pm 1\}`$. It is easy to check that for the semisimple generators

$$Y_j^\pm (S)=\frac{1}{2}([Y_k(S),Y_l(S)]f_{klj}\pm Y_j(S)$$
(B.2)
where $`Y_j(S)=Y_n(S)`$ for $`n_k=\delta _{jk}`$ so that the algebra generated by the $`Y_n(S)`$ allows us to isolate the pieces $`Y_j^\pm (S)`$. For the Abelian generators we define $`Y_j^+(S)=Y_j(S)`$. The $`Y_j^+(S)`$ satisfy the simple algebra

$$[Y_j^+(S),Y_k^+(S)]=f_{jkl}Y_l^+(S)$$
(B.3)
(Actually, since Lie$`(S)`$ is semisimple, any $`A`$Lie$`(S)`$ can be written as $`A=[B,C]`$ so that we can also isolate the $`Y_n^\pm (S)`$ for any $`n`$ such that $`n^j\tau _j\text{Lie}(S)`$.) Since Vec contains them, we are allowed to construct the corresponding Weyl elements

$$W_t(S):=\mathrm{exp}(t^jY_j^+(S))$$
(B.4)
and since the $`Y_j^+(S)`$ have the same commutation relations as the Lie algebra basis elements $`\tau _j`$ we conclude

$$W_t(S)W_t^{}(S):=W_{c(t,t^{})}(S)$$
(B.5)
where the composition function $`c`$ is defined as follows: For any compact, connected gauge group the exponential map $`t^jg(t):=\mathrm{exp}(t^j\tau _j)`$ is surjective, hence we find a subset $`R\text{ }\mathrm{R}^{|dim(G)|}`$ so that it becomes a bijection. We then may define $`c:R\times RR`$ uniquely by

$$e^{c^j(t,t^{})\tau _j}:=e^{t^j\tau _j}e^{t^j\tau _j}$$
(B.6)
Then (B.5) follows. Consider now for any $`\psi `$ and $`\varphi C^{\mathrm{}}(G)`$ the vector

$$\psi _{\varphi ,S}:=_G𝑑\mu _H(g)\varphi (g)\pi (W_g(S))\psi $$
(B.7)
where $`W_{g(t)}(S):=W_t(S)`$. Then (B.1) is a $`C^{\mathrm{}}`$ vector for all $`dim(G)`$ operators $`\pi (Y_j^+(S))`$, namely

$$i\pi (Y_j^+(S))\psi _{\varphi ,S}=\psi _{R^j\varphi ,S}$$
(B.8)
due to the invariance of the Haar measure. It follows by similar arguments as those displayed in corollary 4.1 that the vectors $`\pi (f)1_{\varphi ,S}^\nu `$ provide a common dense domain $`𝒟(S)`$ of $`C^{\mathrm{}}`$vectors for all $`Y_j^+(S)`$.
B)
By methods similar to those displayed in equations (4.42) and (4.43) one can show that symmetry of the fluxes implies for $`n^j(x)=const.`$

$$<1_{\varphi ,S}^\nu ,\pi (Y_n^+(S)f^{})1_{\varphi ^{},S}^\nu ^{}>=<1_{\varphi ,S}^\nu ,\pi (f^{})1_{R_n\varphi ^{},S}^\nu ^{}>+<1_{R_n\varphi ,S}^\nu ,\pi (f^{})1_{\varphi ^{},S}^\nu ^{}>$$
(B.9)
and

$`<1_{\varphi ,S}^\nu ,\pi ((Y_n^+(S))^2f)1_{\varphi ^{},S}^\nu ^{}>`$ (B.10)
$`=`$ $`<1_{\varphi ,S}^\nu ,\pi (f)1_{(R_n)^2\varphi ^{},S}^\nu ^{}>+2<1_{R_n\varphi ,S}^\nu ,\pi (f)1_{R_n\varphi ^{},S}^\nu ^{}>+<1_{R_n^2\varphi ,S}^\nu ,\pi (f)1_{\varphi ^{},S}^\nu ^{}>`$
where now the $`n`$independent $`C^{\mathrm{}}`$vectors of A) are used.