[论文解读] Existence, Convergence and Limit Map of the Laplacian Flow

Feng Xu, Rugang Ye|ArXiv.org|Dec 1, 2009

Geometric Analysis and Curvature Flows参考文献 12被引用 16

一句话总结

本文建立了紧致7-流形上闭合 $G_2$-结构的Laplacian流的短时存在性与唯一性，证明了在仿射联络自由 $G_2$-结构附近长时存在性与收敛性，并分析了流映射到仿射联络自由 $G_2$-结构模空间的极限映射。本文使用抛物Hölder空间与规范固定形式，为该流提供了全面的分析与代数基础。

ABSTRACT

We prove short time existence and uniqueness of the Laplacian flow starting at an arbitrary closed $G_2$-structure. We establish long time existence and convergence of the Laplacian flow starting near a torsion-free $G_2$-structure. We analyze the limit map of the Laplacian flow in relation to the moduli space of torsion-free $G_2$-structures. We also present a number of results which constitute a fairly complete algebraic and analytic basis for studying the Laplacian flow.

研究动机与目标

• 建立任意紧致7-流形上闭合 $G_2$-结构的Laplacian流的短时存在性与唯一性。
• 证明当初始条件靠近仿射联络自由 $G_2$-结构时，Laplacian流的长时存在性与收敛性。
• 分析Laplacian流的极限映射及其在仿射联络自由 $G_2$-结构模空间中的投影。
• 建立系统研究Laplacian流的完整代数与分析框架，包括微分恒等式与抛物理论。
• 在抛物Hölder空间中建立分析流的正则性与收敛性的严格基础。

提出的方法

• 利用抛物Hölder空间 $\mathcal{C}^{l,l/2}$ 来表述并分析Laplacian流解的正则性。
• 应用规范固定技术将流简化为严格抛物系统，从而可应用线性抛物理论。
• 在Hölder范数下使用先验估计，以控制 $G_2$-结构及其曲率分量的演化。
• 推导3-形式上的Hodge Laplacian的关键微分恒等式，以及挠率与度量分量的演化公式。
• 使用逆张量范数 $\|g_2^{-1}\|_{C^l,g_1}$ 控制流演化中度量的退化与正则性。
• 通过流的渐近行为分析极限映射，证明其光滑性并投影到仿射联络自由 $G_2$-结构的模空间中。

实验结果

研究问题

• RQ1 Laplacian流是否对任意闭合 $G_2$-结构初始数据存在短时解？
• RQ2 在何种条件下，Laplacian流在长时间下收敛到仿射联络自由 $G_2$-结构？
• RQ3 Laplacian流的极限映射与仿射联络自由 $G_2$-结构模空间之间的关系为何种性质？
• RQ4 如何利用抛物Hölder空间系统地描述Laplacian流的分析结构？
• RQ5 哪些代数与微分恒等式控制 $G_2$-结构在Laplacian流下的演化？

主要发现

• 对于初始数据属于 $C^{4+ u}$ 的情形，证明了Laplacian流的短时存在性与唯一性，解属于 $\mathcal{C}^{2+ u,(3+ u)/2}$ 在区间 $[0,T]$ 上，其中 $T>0$。
• 当初始数据靠近仿射联络自由 $G_2$-结构时，流可全局存在并收敛到一个仿射联络自由 $G_2$-结构。
• 流的极限映射是光滑的，并将流投影到仿射联络自由 $G_2$-结构的模空间中，揭示了深刻的几何关系。
• 若初始 $G_2$-结构光滑，则解在时间上保持光滑，且更高正则性向前传播。
• 流保持 $G_2$-结构的闭合性，并根据具有主导项 $-2\text{Ric}$ 的抛物PDE演化度量。
• 先验估计与规范固定形式确保存在一个 $C^ u$-光滑的微分同胚族，将解在 $[\epsilon,T]$ 上正则化为 $C^ u$-光滑。