Gauge-invariant coefficients in perturbative quantum gravity

Heat kernel methods are useful for studying properties of quantum gravity. We recompute the first three heat kernel coefficients in perturbative quantum gravity with cosmological constant to ascertain which ones are correctly reported in the literature. They correspond to the counterterms needed to renormalize the one-loop effective action in four dimensions. They may be evaluated at arbitrary dimensions D, in which case they identify only a subset of the divergences appearing in the effective action for D≥6\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$D\ge 6$$\end{document}. Generically, these coefficients depend on the gauge-fixing choice adopted in quantizing the Einstein–Hilbert action. However, they become gauge-invariant once evaluated on-shell, i.e. using Einstein’s equations with cosmological constant. Thus, we identify these gauge invariant coefficients and use them as a benchmark for testing alternative approaches to perturbative quantum gravity. One of these approaches describes the graviton in first-quantization through the N=4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal {N}}}=4$$\end{document} spinning particle, characterized by four supersymmetries on the worldline and a set of worldline gauge invariances. This description has been used for computing the gauge-invariant coefficients as well. We verify their correctness at D=4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$D=4$$\end{document}, but find a mismatch at arbitrary D when comparing with the benchmark fixed previously. We interpret this result as signaling that the path integral quantization of the N=4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal {N}}}=4$$\end{document} spinning particle should be amended. We perform this task by fixing the correct counterterm that must be used in the worldline path integral quantization of the N=4\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${{\mathcal {N}}}=4$$\end{document} spinning particle to make it consistent in arbitrary dimensions.