Abstract:
We review applications of noncommutative geometry in canonical quantum gravity. First, we show that the framework of loop quantum gravity includes natural noncommutative structures which have, hitherto, not been explored. Next, we present the construction of a spectral triple over an algebra of holonomy loops. The spectral triple, which encodes the kinematics of quantum gravity, gives rise to a natural class of semiclassical states which entail emerging fermionic degrees of freedom. In the particular semiclassical approximation where all gravitational degrees of freedom are turned off, a free fermionic quantum field theory emerges. We end the paper with an extended outlook section.

Abstract:
We present a separable version of Loop Quantum Gravity (LQG) based on an inductive system of cubic lattices. We construct semi-classical states for which the LQG operators -- the flux, the area and the volume operators -- have the right classical limits. Also, we present the Hamilton and diffeomorphism constraints as operator constraints and show that they have the right classical limit. Finally, we speculate whether the continuum limit, which these semi-classical states probe, can be defined for the entire construction and thereby restore an action of the diffeomorphism group.

Abstract:
We review applications of noncommutative geometry in canonical quantum gravity. First, we show that the framework of loop quantum gravity includes natural noncommutative structures which have, hitherto, not been explored. Next, we present the construction of a spectral triple over an algebra of holonomy loops. The spectral triple, which encodes the kinematics of quantum gravity, gives rise to a natural class of semiclassical states which entail emerging fermionic degrees of freedom. In the particular semiclassical approximation where all gravitational degrees of freedom are turned off, a free fermionic quantum field theory emerges. We end the paper with an extended outlook section.

Abstract:
We present quantum holonomy theory, which is a non-perturbative theory of quantum gravity coupled to fermionic degrees of freedom. The theory is based on a C*-algebra that involves holonomy-diffeomorphisms on a 3-dimensional manifold and which encodes the canonical commutation relations of canonical quantum gravity formulated in terms of Ashtekar variables. Employing a Dirac type operator on the configuration space of Ashtekar connections we obtain a semi-classical state and a kinematical Hilbert space via its GNS construction. We use the Dirac type operator, which provides a metric structure over the space of Ashtekar connections, to define a scalar curvature operator, from which we obtain a candidate for a Hamilton operator. We show that the classical Hamilton constraint of general relativity emerges from this in a semi-classical limit and we then compute the operator constraint algebra. Also, we find states in the kinematical Hilbert space on which the expectation value of the Dirac type operator gives the Dirac Hamiltonian in a semi-classical limit and thus provides a connection to fermionic quantum field theory. Finally, an almost-commutative algebra emerges from the holonomy-diffeomorphism algebra in the same limit.

Abstract:
A link between canonical quantum gravity and fermionic quantum field theory is established in this paper. From a spectral triple construction which encodes the kinematics of quantum gravity semi-classical states are constructed which, in a semi-classical limit, give a system of interacting fermions in an ambient gravitational field. The interaction involves flux tubes of the gravitational field. In the additional limit where all gravitational degrees of freedom are turned off, a free fermionic quantum field theory emerges.

Abstract:
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. We prove that the separable part of the spectrum of the algebra is contained in the space of measurable connections modulo gauge transformations and we give limitations to the non-separable part. 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. Key elements of quantum field theory emerge from the construction in a semi-classical limit, as does an almost commutative algebra. Finally, we note that the spectrum of loop quantum gravity emerges from a discretization of our construction. Certain convergence issues are left unresolved. This paper is the first of two where the second paper is concerned with mathematical details and proofs concerning the spectrum of the holonomy-diffeomorphism algebra.

Abstract:
We introduce the holonomy-diffeomorphism algebra, a C*-algebra generated by flows of vectorfields and the compactly supported smooth functions on a manifold. We show that the separable representations of the holonomy-diffeomorphism algebra are given by measurable connections, and that the unitary equivalence of the representations corresponds to measured gauge equivalence of the measurable connections. We compare the setup to Loop Quantum Gravity and show that the generalized connections found there are not contained in the spectrum of the holonomy-diffeomorphism algebra in dimensions higher than one. This is the second paper of two, where the prequel gives an exposition of a framework of quantum gravity based on the holonomy-diffeomorphism algebra.

Abstract:
An intersection of Noncommutative Geometry and Loop Quantum Gravity is proposed. Alain Connes' Noncommutative Geometry provides a framework in which the Standard Model of particle physics coupled to general relativity is formulated as a unified, gravitational theory. However, to this day no quantization procedure compatible with this framework is known. In this paper we consider the noncommutative algebra of holonomy loops on a functional space of certain spin-connections. The construction of a spectral triple is outlined and ideas on interpretation and classical limit are presented.

Abstract:
We introduce the Quantum Holonomy-Diffeomorphism *-algebra, which is generated by holonomy-diffeomorphisms on a 3-dimensional manifold and translations on a space of SU(2)-connections. We show that this algebra encodes the canonical commutation relations of canonical quantum gravity formulated in terms of Ashtekar variables. Furthermore, we show that semi-classical states exist on the holonomy-diffeomorphism part of the algebra but that these states cannot be extended to the full algebra. Via a Dirac type operator we derive a certain class of unbounded operators that act in the GNS construction of the semi-classical states. These unbounded operators are the type of operators, which we have previously shown to entail the spatial 3-dimensional Dirac operator and Dirac Hamiltonian in a semi-classical limit. Finally, we show that the structure of the Hamilton constraint emerges from a Yang-Mills type operator over the space of SU(2)-connections.

Abstract:
We analyse two new versions of \theta-expanded non-commutative quantum electrodynamics up to first order in \theta and first loop order. In the first version we expand the bosonic sector using the Seiberg-Witten map, leaving the fermions unexpanded. In the second version we leave both bosons and fermions unexpanded. The analysis shows that the Seiberg-Witten map is a field redefinition at first order in \theta. However, at higher order in \theta the Seiberg-Witten map cannot be regarded as a field redefinition. We find that the initial action of any \theta-expanded massless non-commutative QED must include one extra term proportional to \theta which we identify by loop calculations.