Algebraic quantum gravity (AQG): IV. Reduced phase space quantization of loop quantum gravity

We perform a canonical, reduced phase space quantization of general relativity by loop quantum gravity (LQG) methods. The explicit construction of the reduced phase space is made possible by the combination of (a) the Brown-Kuchar mechanism in the presence of pressure-free dust fields which allows to deparametrize the theory and (b) Rovelli's relational formalism in the extended version developed by Dittrich to construct the algebra of gauge-invariant observables. Since the resulting algebra of observables is very simple, one can quantize it using the methods of LQG. Basically, the kinematical Hilbert space of non-reduced LQG now becomes a physical Hilbert space and the kinematical results of LQG such as discreteness of spectra of geometrical operators now have physical meaning. The constraints have disappeared; however, the dynamics of the observables is driven by a physical Hamiltonian which is related to the Hamiltonian of the standard model (without dust) and which we quantize in this paper.