[论文解读] A heat flow for special metrics

Hartmut Weiß, Frederik Witt|arXiv (Cornell University)|Dec 2, 2009

Geometric Analysis and Curvature Flows参考文献 18被引用 5

一句话总结

本文提出了一种新的几何流——由7-流形上正3-形式的Dirichlet能量泛函的负梯度驱动的流——以构造G₂-结构。该文建立了该流的短时间存在性与唯一性，并证明了当初始条件足够接近于无 torsion 的G₂-结构时，流存在长时间解并模微分同胚收敛，从而为构造G₂-度量提供了一种抛物方法。

ABSTRACT

On the space of positive 3-forms on a seven-manifold, we study a natural functional whose critical points induce metrics with holonomy contained in $G_2$. We prove short-time existence and uniqueness for its negative gradient flow. Furthermore, we show that the flow exists for all times and converges modulo diffeomorphisms to some critical point for any initial condition sufficiently $C^\infty$-close to a critical point.

研究动机与目标

• 开发一种几何演化方程，用于将7-流形上的正3-形式形变至无 torsion 的G₂-结构。
• 通过引入更易处理的梯度流，克服Laplacian流中缺乏弱抛物性的问题。
• 在初始条件足够接近于无 torsion 的G₂-结构时，建立流的长时间存在性与收敛性。
• 提供一种类似于Ricci流用于爱因斯坦度量的抛物方法来构造G₂-度量。
• 将几何流的稳定性结果推广至G₂情形，使用DeTurck技巧与加权Sobolev估计。

提出的方法

• 定义Dirichlet能量泛函 $\mathcal{D}(\Omega) = \frac{1}{2}\int_M \left(|d\Omega|_{g_\Omega}^2 + |d\Theta(\Omega)|_{g_\Omega}^2 \right) \mathrm{vol}_\Omega$，其临界点为无 torsion 的G₂-结构。
• 引入负梯度流 $\frac{\partial}{\partial t}\Omega = -\mathrm{grad}\,\mathcal{D}(\Omega)$ 作为主要演化方程。
• 应用DeTurck技巧将流转化为强椭圆型拟线性抛物系统，从而可应用标准抛物理论。
• 通过紧致流形上拟线性抛物方程的理论，证明解的短时间存在性与唯一性。
• 利用加权Sobolev估计与修正流的指数衰减，控制演化过程并将解全局延拓。
• 通过证明修正流始终与临界点保持一致接近，且能量指数衰减，从而建立模微分同胚的收敛性。

实验结果

研究问题

• RQ1 能否构造一种几何流，使正3-形式在7-流形上演化至无 torsion 的G₂-结构？
• RQ2 Dirichlet能量泛函的负梯度流是否能为G₂-结构生成一个适定的抛物系统？
• RQ3 在何种条件下，该流可全局存在并收敛至临界点？
• RQ4 该流在无 torsion 的G₂-结构附近是否稳定，即在小扰动下是否收敛至邻近的临界点？
• RQ5 该流能否用于通过抛物方法构造G₂-度量，类似于Ricci流用于爱因斯坦度量？

主要发现

• 对于任意紧致7-流形上的初始正3-形式，Dirichlet能量流均存在唯一短时间解。
• 当初始条件为$C^\infty$-接近于无 torsion 的G₂-结构时，该流全局定义于所有时间。
• 流的解在$t \to \infty$时模微分同胚收敛至无 torsion 的G₂-结构。
• 收敛速度在加权Sobolev范数下为指数级，满足$\|\widetilde{\Omega}_t - \bar{\Omega}\|_{W^{k,2}} \leq C e^{-\lambda t}$，其中$C, \lambda > 0$。
• 极限形式是$\mathcal{D}$的临界点，因此为无 torsion 的G₂-结构，证实了流收敛于G₂-结构方程的解。
• 证明依赖于DeTurck技巧，将流转化为强椭圆型拟线性抛物系统，从而实现全局存在性与衰减估计。