Arithmetic quantum gravity