Spectral asymptotics of Euclidean quantum gravity with diff-invariant boundary conditions

Ageneral method is known to exist for studying Abelian and non-Abelian gauge theories, as well as Euclidean quantum gravity, at 1-loop level on manifolds with boundary. In the latter case, boundary conditions on metric perturbations h can be chosen to be completely invariant under infinitesimal diffeomorphisms, to preserve the invariance group of the theory and BRST symmetry. In the de Donder gauge, however, the resulting boundary-value problem for the Laplacetype operator acting on h is known to be self-adjoint but not strongly elliptic. The latter is a technical condition ensuring that a unique smooth solution of the boundary-value problem exists, which implies, in turn, that the global heatkernel asymptotics yielding 1-loop divergences and 1-loop effective action actually exists. The present paper shows that, on the Euclidean 4-ball, only the scalar part of perturbative modes for quantum gravity is affected by the lack of strong ellipticity. Further evidence for lack of strong ellipticity, from an analytic point of view, is therefore obtained. Interestingly, three sectors of the scalar-perturbation problem remain elliptic, while lack of strong ellipticity is ‘confined’ to the remaining fourth sector. The integral representation of the resulting ζ -function asymptotics on the Euclidean 4-ball is also obtained; this remains regular at the origin by virtue of a spectral identity here obtained for the first time.