4

TL;DR Usually, RG flow involves scaling the metric $g_{\mu\nu}\to\lambda^2 g_{\mu\nu}$ and seeing how couplings change. But if we're quantising $g_{\mu\nu}$ itself, I don't see how this process can be well-defined.

RG Recap

Let me first recap how I understand RG flow to work when the metric is fixed. For simplicity, consider a scalar field $\phi$ on a Euclidean $d$-dimensional space. I will also massively simplify things by assuming the theory is finite: the path integral converges without any need for a cutoff. Some may feel this removes the need to discuss renormalisation, but I disagree: we can still ask how physics changes as we "zoom out", which is exactly what the RG flow tells us. True, if the path integral converges, the RG flow is simple and boring (i.e. couplings just scale according to their engineering dimension), but hopefully this simplicity should make my issue clearer.

Let $M$ be a compact region. Given a metric $g_{\mu\nu}$ and couplings $\mathbf{c} = (c_0,c_1,...)$, the amplitude for a boundary state $\phi_{\partial M}$ is:

\begin{align} Z[\phi_{\partial M}; g_{\mu\nu},\mathbf{c}]= \int_{\phi|_{\partial M}=\phi_{\partial M}} D\phi \exp(-S[\phi; g_{\mu\nu},\mathbf{c}]), \end{align}

where the action $S$ is given by \begin{align} S[\phi; g_{\mu\nu},\mathbf{c}] = \int d^4x \sqrt{g} \left( -g^{\mu\nu}\nabla_\mu \phi \nabla_\nu\phi + \sum c_n\phi^n \right). \end{align}

Let's just ignore the fact that this theory isn't finite, and proceed formally. We'd like to know how the physics changes as we zoom out, i.e. as we scale distances as $g_{\mu\nu}\to \lambda^2 g_{\mu\nu}$. For any $\lambda\neq 0$, we observe that \begin{align} S[\phi;g_{\mu\nu},\mathbf{c}] = S[\lambda^{-1} \phi;\lambda^2g_{\mu\nu},\mathbf{c}'] \end{align} with new couplings given by $c_k' = \lambda^{n-4} c_k$. (In reality there'd be quantum corrections to these new couplings, due to the presence of a cutoff, but we're ignoring this...). Through careful relabelling of variables in the path integral, we arrive at: \begin{align} Z[\phi_{\partial M}; g_{\mu\nu},\mathbf{c}] = Z[\lambda\phi_{\partial M}; \lambda^2 g_{\mu\nu},\mathbf{c}']. \end{align} In words: "zooming out" (i.e. increasing all distances by a constant factor) has the same effect as rescaling all coupling constants. If one gets all their signs and conventions right, they should find that as we zoom out, all but a finite couplings are irrelevant: they go to zero.

Note that in flat spacetime, we can afford to be sloppy and think about rescaling coordinates instead of the metric. In curved space, this doesn't work, and rescaling the metric (as described above) is the right way to "zoom out".

Quantum Gravity

In quantum gravity, we might try calculating amplitudes for the restriction $g_{\partial M}$ of the metric itself to the boundary $\partial M$. Ignoring matter, we could tentatively write: \begin{align} Z[g_{\partial M},\mathbf{c}]= \int_{g|_{\partial M}=g_{\partial M}} Dg \exp(-S[g_{\mu\nu};\mathbf{c}]). \end{align} We'd now like to ask the same question: how does the physics change as we zoom out? But now $g_{\mu\nu}$ is not a background field: we can't simply rescale it and ask how the dynamics changes. The whole previous discussion is not applicable.

Therefore it's not at all clear to me what it means to say things like "gravity is strongly coupled at high energies/weakly coupled at low energies". In fact, I don't even know what people mean when they say "gravity is nonrenormalisable". Does they just mean the perturbative statement? Or can the statement be understood nonperturbatively via a well-defined notion of RG flow in quantum gravity?

  • It's a perturbative statement. If the fluctuations away from the Minkowski metric are what you quantize then it's well defined to say what's a coupling and what's part of the background. – Connor Behan Feb 06 '22 at 18:12
  • Related: https://physics.stackexchange.com/q/374438/50583, https://physics.stackexchange.com/q/488955/50583 – ACuriousMind Feb 06 '22 at 18:14
  • So there's no corresponding nonperturbative statement? If so, what's so hard about quantum gravity? Why not just define transition amplitudes via the gravitational path integral? What goes wrong? – nodumbquestions Feb 06 '22 at 18:16
  • 2
    The discussion of non-renormalizability of gravity only applies at a perturbative level where $g=\eta+h$. We do not have any non-perturbative definition of quantum gravity. It is not clear what metrics one should integrate over in the putative gravitational path integral (Lorentzian? Euclidean? Black holes? Other topologies?) – Prahar Feb 06 '22 at 18:56
  • I was always told "the problem of quantum gravity is that GR is nonrenormalisable". Although I now see that this statement was very misleading, at least it had the benefit of trying to be concrete and precise. But now I hear things like "it is not clear" how we should make sense of the gravitational path integral, and it's hard to tell whether there's even a concrete problem to be solved. What things have been tried? What's the mathematical obstruction to success? Do we know for sure that doing the most naive thing, i.e. summing over all metrics (mod diffeomorphisms) and topologies, is wrong? – nodumbquestions Feb 06 '22 at 23:57
  • About the problem being non-renormalizability: "One can find thousands of statements in the literature to the effect that 'general relativity and quantum mechanics are incompatible'. These are completely outdated and no longer relevant." John Donoghue, in doi: 10.1063/1.4756964 – Níckolas Alves Feb 07 '22 at 03:28
  • 1
    @ConnorBehan I guess... although I struggle to understand that answer, to be honest. I was hoping for something more precise and direct, rather than a series of statements along the lines of "we don't really know how to do X", or "there are subtleties associated with doing Y". For example, a satisfying answer would be: "if naively quantising GR (via the gravitational path integral) were possible, then treating the theory perturbatively would have to lead to a renormalisable theory. But the perturbative theory is nonrenormalisable, and so the naive approach can't work". – nodumbquestions Feb 08 '22 at 11:20

0 Answers0