[论文解读] The Anomaly flow and the Fu-Yau equation

D. H. Phong, Sébastien Picard+1 more|arXiv (Cornell University)|Oct 9, 2016

Geometry and complex manifolds参考文献 23被引用 11

一句话总结

该论文在法-杨猜测下，对殆复纤维丛上的异常流建立了长时间存在性与指数收敛性，适用于 $α^’$ 的正负值，从而统一并重新证明了福与杨关于 Hull-Strominger 系统的存在性结果。该流在无需假设条件下保持共形平衡性，收敛性通过新颖的 $C^k$ 估计与精细泛函不等式得以证明，最终在极限下得到福-杨方程的解。

ABSTRACT

The Anomaly flow is shown to converge on toric fibrations with the Fu-Yau ansatz, for both positive and negative values of the slope parameter $α'$. This implies both results of Fu and Yau on the existence of solutions for Hull-Strominger systems, which they proved using different methods depending on the sign of $α'$. It is also the first case where the Anomaly flow can even be shown to exist for all time. This is in itself remarkable from the point of view of the theory of fully nonlinear partial differential equations, as the elliptic terms in the flow are not concave.

研究动机与目标

• 开发一种统一的偏微分方程方法，用于研究 Hull-Strominger 系统解的存在性，特别是针对 $α^\prime$ 的正负值。
• 在法-杨猜测下，建立殆复纤维丛上异常流的长时间存在性与收敛性，从而避免因 $α^\prime$ 符号不同而采用分离的分析方法。
• 在赫米特度量空间中构造一个新的区域，其范围小于正锥体，该区域被异常流保持，并且解最终位于其中。
• 通过克服非凸性与 $δ\bar{\partial}$-引理的缺失，利用莫泽迭代与曲率估计，为非凯勒几何提供新的分析框架。

提出的方法

• 异常流被定义为一个抛物系统，耦合了赫米特-杨-米尔斯方程与涉及 $α^\prime$ 的曲率条件，通过陈-韦伊理论保持共形平衡条件。
• 当 $|\alpha^\prime Rm|$ 较小时，证明该流为弱抛物型，确保短时存在性，而长时间存在性则通过在改进区域中的 $C^k$ 估计建立。
• 引入一个关键泛函 $J(t) = \int_X v^2 \hat{\omega}^2/2!$，其中 $v = \partial_t e^u$，以控制时间导数的 $L^2$ 范数。
• 通过庞加莱不等式以及对 $\nabla u$、$\rho$ 和曲率项的估计，证明了 $J(t)$ 的指数衰减，进而推出 $e^u$ 的 $L^1$ 与 $C^k$ 收敛性。
• 通过一种新的迭代方案推导出 $C^0$、$C^1$、$C^2$ 与 $C^{2,\alpha}$ 估计，从而改进了经典椭圆估计。
• 流的极限满足福-杨方程：$\alpha^\prime \partial\bar{\partial}u \wedge \partial\bar{\partial}u + \alpha^\prime \partial\bar{\partial}u_{\infty} \wedge \partial\bar{\partial}u_{\infty} + \mu = 0$，且满足 $\int_X e^{u_{\infty}} = M$。

实验结果

研究问题

• RQ1 能否在法-杨猜测下，证明异常流在殆复纤维丛上对所有时间存在，无论 $α^\prime$ 的符号如何？
• RQ2 异常流是否能指数收敛到福-杨方程的解，从而统一福与杨的结果？
• RQ3 当椭圆项非凸且 $δ\bar{\partial}$-引理不成立时，需要哪些新的分析工具来控制流？
• RQ4 能否识别出一个在赫米特度量空间中更窄的区域，使其被异常流保持且包含解？
• RQ5 在缺乏标准凸性且曲率项为二次型时，如何为异常流推导出 $C^k$ 估计？

主要发现

• 在法-杨猜测下，异常流在殆复纤维丛上对所有时间存在，即使椭圆项非凸。
• 流在 $L^2$ 与 $C^k$ 范数下指数收敛，满足 $J(t) \leq C e^{-\eta t}$，意味着 $e^u$ 的时间导数呈指数衰减。
• 流的极限满足福-杨方程：$\alpha^\prime \partial\bar{\partial}u \wedge \partial\bar{\partial}u + \alpha^\prime \partial\bar{\partial}u_{\infty} \wedge \partial\bar{\partial}u_{\infty} + \mu = 0$，且 $\int_X e^{u_{\infty}} = M$。
• 识别出赫米特度量空间中的一个新区域，该区域被流保持，且解位于其中，其范围小于标准正锥体。
• $C^k$ 估计比经典椭圆估计更优，通过一种新颖的莫泽迭代与泛函不等式方法推导得出。
• 通过反证法与一致有界性，结合 $e^u$ 在 $L^1$ 中为柯西列的事实，建立了 $C^k$ 收敛性，从而推出收敛到光滑极限 $e^{u_{\infty}}$。