Abstract. This is a self-contained introduction to quantum Riemannian geometry based on quantum groups as frame groups, and its proposed role in quantum gravity. Much of the article is about the generalisation of classical Riemannian geometry that arises naturally as the classical limit; a theory with nonsymmetric metric and a skew version of metric compatibilty. Meanwhile, in quantum gravity a key ingredient of our approach is the proposal that the differential structure of spacetime is something that itself must be summed over or 'quantised' as a physical degree of freedom. We illustrate such a scheme for quantum gravity on small finite sets.
IntroductionWhy is quantum gravity so hard? Surely it is because of its nonrenormalisable nature leading to UV divergences that cannot be tamed. However, UV divergences in quantum field theory arise from the assumption that the classical configurations being summed over are defined on a continuum. This is an assumption that is not based on observation but on mathematical constructs that were invented in conjunction with the classical geometry visible in the 19th century. A priori it would therefore be more reasonable to expect classical continuum geometry to play a role only in a macroscopic limit and not as a fundamental ingredient. While this problem might not be too bad for matter fields in a fixed background, the logical nonsensicality of putting the notion of a classical manifold that is supposed to emerge from quatum gravity as the starting point for quantum gravity inside the functional path integral, is more severe and this is perhaps what makes gravity special. The idea of course is to have the quantum theory centred on classical solutions but also to take into account nearby classical configurations with some weight. However, taking that as the actual definition is wishful and rather putting 'the cart before the horse'. Note that string theory also assumes a continuum for the strings to move in, so does not address the fundamental problem either.2000 Mathematics Subject Classification. 83C65, 58B32, 20C05,58B20, 83C27.