The phase of the gravitational path integral

The gravitational path integral on $S^2 \times S^2$ can be interpreted either as evaluating a contribution to the norm of the Hartle-Hawking wavefunction conditional on spatial $S^1 \times S^2$ topology, or the pair creation rate of black holes in de Sitter. Both interpretations are distinguished at the quantum level. The former requires the path integral to be real and the latter to be imaginary. We develop a formalism to efficiently compute the phase of the gravitational path integral on Einstein spaces. We apply it to a broad class of spacetimes and in particular $S^2\times S^{D-2}$, finding it to be real and positive. We generalize some of the analysis to cases with charge and rotation.