I am reading Ben Andrews book about Ricci flow and at the start of the chapter about Perelman's gradient flow formulation for Ricci flow he says Robert Bryant exposed that there are no functionals defined on the $L^2$-space of Riemannian metrics that promotes Ricci flow as a gradient flow.


Does anyone know the name of this paper? The book does not include it on their references.



Ricci flow is not a gradient flow for $L^2$-space of metrics
If there were such a functional $\mathcal{F}$, observe that 


1. Under Ricci flow the functional would have to decrease. That is, if $\partial\_t g(t) = -2 Rc[g]$ then $\partial\_t \mathcal{F}(g(t)) \leq 0$, with strict inequality of $-2 Rc[g] \neq 0$.
2. The functional would have to be invariant under diffeomorphisms, that is if $\Phi$ is a diffeomorphism of the manifold then $\mathcal{F}(\Phi^\*g) = \mathcal{F}(g)$. This is because the Ricci flow is invariant under diffeomorphism.


The point is that Robert Bryant found a metric on $\mathbb R^n$ which moves under Ricci flow only by diffeomorphisms (which is called a steady soliton). That is, there is a metric $g\_S$ and a family of diffeomorphisms $\Phi\_t$ such that $g(t) = \Phi^\*\_t g\_S$ is the solution of Ricci flow starting from $g\_S$. By point 2 above, $\mathcal{F}(g(t)) = \mathcal{F}(g\_S)$, which contradicts point 1.


The details of the constructing the soliton are written by Robert Bryant [here](https://services.math.duke.edu/~bryant/3DRotSymRicciSolitons.pdf "here"). Many other gradient steady solitons have been discovered since then.


**Edit**: As pointed out by Rbega, this argument only shows that such a functional would have to be infinite on the Bryant soliton. We can say that mean curvature flow is the gradient flow for area. The gradient of area is defined even for surface with infinite area, by consider compact perturbations. Therefore, we need a stronger argument.


If there was a compact steady soliton, then the argument above would work (assuming that $\mathcal{F}$ is always finite on compact manifolds). However, there is no compact steady soliton (except for Ricci flat manifolds).


The stronger argument comes from the existence of shrinking solitons on compact manifolds. The first known example is the Koiso-Cao soliton. A shrinking soliton is a pair of a metric $g$ and a vector field $X$ which solves
$$-2Rc = - g + \mathcal{L}\_X g,$$
equivalently
$$-2Rc\_{ij} = - g \_{ij}+ \nabla\_i X\_j + \nabla\_j X\_i.$$
Under Ricci flow, a steady soliton shrinks and also move by diffeomorphisms integrating $X$.


If $-2Rc$ where the gradient of $\mathcal{F}$ then,
$$-Grad \mathcal{F} = - g + \mathcal{L}\_X g$$
I claim this can't be true unless $\mathcal{L}\_X g = 0$. Note that the two parts of this tensor field are orthogonal in $L^2$, because
$$\int\_{M} (g,\mathcal{L}\_X g)\_g dVol\_g = \int\_M tr(\mathcal{L}\_X g) dVol\_g = \int\_M div\_g(X) dVol\_g = 0.$$
Therefore we have
\begin{align}
|\mathcal{L}\_X g|^2\_{L^2}
&= (-Grad \mathcal{F}, \mathcal{L}\_X g)\_{L^2} \\
&=-\partial\_{\epsilon} \mathcal{F}(g + \epsilon \mathcal{L}\_X g) \\
&= -\partial\_{\epsilon} \mathcal{F}(\Phi\_{\epsilon}^\* g) = 0
\end{align}
The first equality is by the orthogonality of $-g$ and $\mathcal{L}\_X g$, the second is the defining property of the gradient.


