Quantum spin dynamics (QSD): III. Quantum constraint algebra and physical scalar product in quantum general relativity

This paper deals with several technical issues of non-perturbative four-dimensional Lorentzian canonical quantum gravity in the continuum that arose in connection with the recently constructed Wheeler-DeWitt quantum constraint operator. The Wheeler-DeWitt constraint of quantum general relativity mixes the diffeomorphism superselection sectors for diffeomorphism-invariant theories of connections that were previously discussed in the literature. From it one can construct diffeomorphism-invariant operators which do not necessarily commute with the Hamiltonian constraint but which still mix those sectors and which, at the diffeomorphism-invariant level, encode physical information. Thus, if one adopts, as before in the literature, the strategy to solve the diffeomorphism constraint before the Hamiltonian constraint then those sectors become spurious. The inner product for diffeomorphism-invariant states can be fixed by requiring that diffeomorphism group averaging is a partial isometry. The established non-anomalous constraint algebra is clarified by computing commutators of duals of constraint operators. The full classical constraint algebra is faithfully implemented on the diffeomorphism-invariant Hilbert space in an appropriate sense. The Hilbert space of diffeomorphism-invariant states can be made separable if a natural new superselection principle is satisfied. We propose a natural physical scalar product for quantum general relativity by extending the group-average approach to the case of non-self-adjoint constraint operators like the Wheeler-DeWitt constraint. Equipped with this inner product, the construction of physical observables is straightforward. The Wheeler-DeWitt constraint of quantum general relativity mixes the diffeomorphism superselection sectors for diffeomorphism-invariant theories of connections that were previously discussed in the literature. From it one can construct diffeomorphism-invariant operators which do not necessarily commute with the Hamiltonian constraint but which still mix those sectors and which, at the diffeomorphism-invariant level, encode physical information. Thus, if one adopts, as before in the literature, the strategy to solve the diffeomorphism constraint before the Hamiltonian constraint then those sectors become spurious. The inner product for diffeomorphism-invariant states can be fixed by requiring that diffeomorphism group averaging is a partial isometry. The established non-anomalous constraint algebra is clarified by computing commutators of duals of constraint operators. The full classical constraint algebra is faithfully implemented on the diffeomorphism-invariant Hilbert space in an appropriate sense. The Hilbert space of diffeomorphism-invariant states can be made separable if a natural new superselection principle is satisfied. We propose a natural physical scalar product for quantum general relativity by extending the group-average approach to the case of non-self-adjoint constraint operators like the Wheeler-DeWitt constraint. Equipped with this inner product, the construction of physical observables is straightforward.