1: \begin{abstract}

2: 

3: A new approach to a unified theory of quantum gravity based on noncommutative geometry and canonical quantum gravity is presented. The approach is built around a $*$-algebra generated by local holonomy-diffeomorphisms on a 3-manifold and a quantized Dirac type operator; the two capturing the kinematics of quantum gravity formulated in terms of Ashtekar variables.  

4: We prove that the separable part of the spectrum of the 

5: algebra is contained in  the space of measurable connections modulo gauge transformations and we give  limitations to the non-separable part. 

6: The construction of the Dirac type operator -- and thus the application of noncommutative geometry -- is motivated by the requirement of diffeomorphism invariance. We conjecture that a semi-finite spectral triple, which is invariant under volume-preserving diffeomorphisms, arise from a GNS construction of a semi-classical state. 

7: Key elements of quantum field theory emerge from the construction in a semi-classical limit, as does an almost commutative algebra. 

8: Finally, we note that the spectrum of loop quantum gravity emerges from a discretization of our construction. Certain convergence issues are left unresolved. 

9: 

10: This paper is the first of two where the second paper \cite{AGnew} is concerned with mathematical details and proofs concerning the spectrum of the holonomy-diffeomorphism algebra.

11: 

12: 

13: 

14: \end{abstract}

15: