[论文解读] The J-flow and stability

Mehdi Lejmi, Gábor Székelyhidi|arXiv (Cornell University)|Sep 11, 2013

Geometry and complex manifolds参考文献 16被引用 8

一句话总结

本文为凯勒流形上的J-流建立了稳定性条件，引入了类似于K-稳定性的数值准则。它证明了J-泛函的下界，该下界以一种类似唐纳森-福塔基的不变量表示，通过凸分析在复环面中验证了该准则，并在ℙ³的爆破情形中确认了等式成立，将解的存在性失败与最优不稳定化器联系起来。

ABSTRACT

We study the J-flow from the point of view of an algebro-geometric stability condition. In terms of this we give a lower bound for the natural associated energy functional, and we show that the blowup behavior found by Fang-Lai is reflected by the optimal destabilizer. Finally we prove a general existence result on complex tori.

研究动机与目标

• 为紧致凯勒流形上J-流方程解的存在性制定一个数值稳定性条件。
• 将J-流与一种类似于K-稳定的代数几何稳定性条件联系起来。
• 根据与测试配置相关的唐纳森-福塔基型不变量，建立J-泛函的下界。
• 在具有(S¹)^n对称性的复环面上验证稳定性猜想。
• 确认当J-流不收敛时，能量下界中的等式恰好成立，如ℙ³的爆破情形所示。

提出的方法

• 为极化流形(M,L)的测试配置引入一个稳定性不变量$ F_{\rho}(\rho) $，其形式类似于唐纳森-福塔基不变量。
• 利用矩映射理论，从$ -F_{\alpha}(\chi)/\|\chi\| $出发，推导出$ \Lambda_\omega \alpha - c $的$L^2$-范数的下界。
• 通过使用到法丛的形变测试配置，推导出对所有维数$ p = 1,\dots,n-1 $的子簇$ V \subset M $，必要条件为$ \int_V c\omega^p - p\omega^{p-1} \wedge \alpha > 0 $。
• 将复环面上的J-流方程约化为关于$ f(x) = |x|^2 + u(x) $的凸偏微分方程，其中$ u $是周期函数且满足$ \sum a_{ij}(x) f^{ij}(x) = c $。
• 应用勒让德变换，并利用科列瓦尔-刘易斯与卞-关的常秩定理，证明光滑凸解的存在性。
• 通过证明正则性条件(5)始终满足，从而在复环面上验证稳定性猜想，借助PDE理论得出解的存在性。

实验结果

研究问题

• RQ1 所提出的数值条件$ \int_V c\omega^p - p\omega^{p-1} \wedge \alpha > 0 $对所有维数$ p = 1,\dots,n-1 $的子簇$ V \subset M $是否刻画了J-流方程解的存在性？
• RQ2 J-泛函是否可由测试配置导出的稳定性不变量下界控制，类似于唐纳森对卡拉比泛函的下界？
• RQ3 当J-流不收敛时，能量下界中的等式是否恰好成立，如ℙ³的爆破情形所示？
• RQ4 在具有(S¹)^n对称性数据的复环面上，稳定性猜想是否成立，因为正则性条件始终满足？
• RQ5 在复环面上，J-流方程是否可约化为可解的凸PDE，且是否总存在光滑解？

主要发现

• 本文证明了$ \Lambda_\omega \alpha - c $的$L^2$-范数的精确下界，以稳定性不变量$ F_{\alpha}(\chi) $表示，即$ \inf \|\Lambda_\omega \alpha - c\|_{L^2} \geq \sup_{\chi} -F_{\alpha}(\chi)/\|\chi\| $。
• 若J-流方程存在解，则对所有非平凡测试配置$ \chi $，有$ F_{\alpha}(\chi) > 0 $，从而确认了稳定性条件。
• 通过使用到法丛的形变，推导出猜想的正则性条件$ \int_V c\omega^p - p\omega^{p-1} \wedge \alpha > 0 $为必要条件，且在二维情形下成立。
• 在ℙ³的爆破情形中，能量下界中的等式成立，且J-流最小化了$ \Lambda_\omega \alpha $的$L^2$-范数，从而在该情形下确认了猜想。
• 在具有(S¹)^n对称性数据的复环面上，J-流方程约化为凸PDE $ \sum a_{ij}(x) f^{ij}(x) = c $，该方程总存在光滑凸解$ f(x) = |x|^2 + u(x) $，其中$ u $为周期函数。
• 结果可推广至更一般的逆$ \sigma_k $-流，在相同条件下，稳定性与存在性结果依然成立。