验证Ricci孤立子解Ricci流：如何计算拉回度量的时间导数？

嘿，这个问题的关键是利用单参数微分同胚族拉回度量的时间导数与李导数的关系，我一步步给你拆解：

第一步：回忆拉回度量的时间导数公式 #

对于单参数微分同胚族$\phi_t: M \to M$，其拉回度量$\phi_t^\ast g_0$对$t$的导数，满足以下核心公式：
$$
\frac{\partial}{\partial t}\phi_t^\ast(g_0) = \phi_t^\ast\left(\mathcal{L}_{V_t} g_0\right)
$$
这里的$V_t$是$\phi_t$生成的无穷小生成向量场，定义为：对任意$q \in M$，
$$
V_t(q) = \frac{\partial}{\partial t}\phi_t\left(\phi_t^{-1}(q)\right)
$$
简单来说，$V_t(q)$就是在$q$点处，流$\phi_t$的“瞬时速度”向量。

第二步：根据给定的ODE求出生成向量场$V_t$ #

题目中给出$\phi_t$满足的ODE：
$$
\frac{\partial}{\partial t}\phi_t(p) = \frac{1}{1-2\lambda t}X|_{\phi_t(p)}, \quad \phi_0(p)=p
$$
我们令$q = \phi_t(p)$，则$p = \phi_t^{-1}(q)$，代入上式可得：
$$
V_t(q) = \frac{\partial}{\partial t}\phi_t\left(\phi_t^{-1}(q)\right) = \frac{1}{1-2\lambda t}X(q)
$$
也就是说，生成向量场$V_t$就是$X$乘以一个关于$t$的标量系数$\frac{1}{1-2\lambda t}$。

第三步：代入公式计算拉回度量的导数 #

因为李导数对线性运算保持友好（可以提取标量系数），所以：
$$
\mathcal{L}{V_t}g_0 = \mathcal{L}{\frac{1}{1-2\lambda t}X}g_0 = \frac{1}{1-2\lambda t}\mathcal{L}_X g_0
$$
再结合第一步的拉回导数公式，就得到：
$$
\frac{\partial}{\partial t}\phi_t^\ast(g_0) = \phi_t^\ast\left( \frac{1}{1-2\lambda t}\mathcal{L}_X g_0 \right)
$$

第四步：验证Ricci流方程（补充完整逻辑闭环） #

现在把这个结果代入你已经得到的$\frac{\partial g(t)}{\partial t}$表达式：
$$
\frac{\partial g(t)}{\partial t} = -2\lambda \phi_t^\ast(g_0) + (1-2\lambda t) \cdot \phi_t^\ast\left( \frac{1}{1-2\lambda t}\mathcal{L}X g_0 \right)
$$
化简后，$(1-2\lambda t)$和分母抵消，得到：
$$
\frac{\partial g(t)}{\partial t} = -2\lambda \phi_t^\ast(g_0) + \phi_t^\ast(\mathcal{L}X g_0)
$$
再利用Ricci孤立子的定义$\mathrm{Ric}{g_0}+\frac{1}{2}\mathcal{L}X g_0=\lambda g_0$，变形得到$\mathcal{L}X g_0 = 2(\lambda g_0 - \mathrm{Ric}{g_0})$，代入上式：
$$
\frac{\partial g(t)}{\partial t} = -2\lambda \phi_t^\ast(g_0) + \phi_t^\ast\left( 2\lambda g_0 - 2\mathrm{Ric}{g_0} \right)
$$
展开拉回运算（拉回与线性运算可交换），前两项抵消：
$$
\frac{\partial g(t)}{\partial t} = -2\phi_t^\ast(\mathrm{Ric}{g_0})
$$
最后，注意到两个关键性质：

1. 微分同胚的拉回保持Ricci曲率：$\mathrm{Ric}{\phi_t^\ast g_0} = \phi_t^\ast(\mathrm{Ric}{g_0})$
2. 常数缩放的度量不改变Ricci张量（作为(0,2)张量）：$\mathrm{Ric}{(1-2\lambda t)\phi_t^\ast g_0} = \mathrm{Ric}{\phi_t^\ast g_0}$

因此$\mathrm{Ric}{g(t)} = \phi_t^\ast(\mathrm{Ric}{g_0})$，代入后就得到了Ricci流方程：
$$
\frac{\partial g(t)}{\partial t} = -2\mathrm{Ric}_{g(t)}
$$

内容的提问来源于stack exchange，提问作者rpf