Canonical prescription for the integration contour over complex metrics
Identify a canonical prescription for the integration contour in complexified metric space for the gravitational path integral, determining which complex metrics are admissible saddles and how to integrate over them in a way consistent with quantum gravity and holographic expectations.
References
Even off-shell, the Einstein--Hilbert action remains unbounded below under conformal deformations, and no canonical prescription for the integration contour in complexified metric space is currently known (as remarked in Section \ref{subsec:4_Rotation}).
However, it is not obvious that the saddle $(M,g_{ij})$ lies on the correct integration contour.
Its precise relation to the Liouville holographic setup and integration contours considered here remains to be clarified.
Several issues remain open. Our treatment of the conformal sector is based on a local Gaussian prescription and does not determine the full nonlinear gravitational integration cycle.
The reason we do not study the Prescription 3 is that it is not clear how to treat the brane in the complexified geometry. Thus, we leave the study of Prescription 3 for a future work.
Several qualifications remain. The BF action alone does not define Euclidean JT gravity: the integration cycle \Gamma_{\mathrm{grav}} selects the gravitational configurations and the appropriate contour for the BF scalar. A global construction of this cycle in the complexified field space remains open.
The status of the corresponding saddle points in AdS/CFT has been repeatedly scrutinized, and it remains an open question which of them should be retained in the path integral.
It is also necessary to identify whether these complex solutions lie on integration cycles connected to the original gravitational path integral.
There remain, of course, fundamental questions concerning this prescription. These include whether the resulting wave function can be consistently normalized and endowed with a probabilistic interpretation, as well as the more basic issue of how the gravitational path integral and its integration contour should be defined. We do not attempt to resolve these questions in the present work.
However, Bishop's theorem does not apply to the complex saddles relevant to the no-boundary state, and the dominance of the sphere saddle in our context is not rigorously proven.
It remains unclear whether the presence of the unstable saddle points is problematic or not.
Indeed, regularized disconnected geometries always strongly violate this criterion (hence it is quite conceivable that a somewhat weaker condition would do -- this is an interesting question for future work).