Discretization independence implies non-locality in 4D discrete quantum gravity
The 4D Regge action is invariant under 5–1 and 4–2 Pachner moves, which define a subset of (local) changes of the triangulation. Given this fact, one might hope to find a local path integral measure that makes the quantum theory invariant under these moves and hence makes the theory partially triangulation invariant. We show that such a local invariant path integral measure does not exist for the 4D linearized Regge theory. To this end we uncover an interesting geometric interpretation for the Hessian of the 4D Regge action. This geometric interpretation will allow us to prove that the determinant of the Hessian of the 4D Regge action does not factorize over four-simplices or subsimplices. It furthermore allows us to determine configurations where this Hessian vanishes, which only appears to be the case in degenerate backgrounds or if one allows for different orientations of the simplices. We suggest a non-local measure factor that absorbs the non-local part of the determinant of the Hessian under 5–1 moves as well as a local measure factor that is preserved for very special configurations.