[论文解读] On estimates for the Fu-Yau generalization of a Strominger system

D. H. Phong, Sébastien Picard+1 more|arXiv (Cornell University)|Jul 29, 2015

Geometry and complex manifolds参考文献 19被引用 12

一句话总结

本文为高维中推广Fu-Yau Strominger系统的复Hessian方程建立了$C^0$、$C^2$和$C^{2,\beta}$先验估计。在扩展Moser迭代与Guan-Ren-Wang不等式的同时，作者识别出一个关键障碍：当$n > 2$时，Fu-Yau方法无法在高维中获得$\sigma_2(g')$的统一下界，导致$C^2$估计因梯度控制不足而无法完成。其主要贡献在于对这一失败的详细分析，揭示了高维Hessian方程在结构上的差异。

ABSTRACT

We study an equation proposed by Fu and Yau as a natural $n$-dimensional generalization of a Strominger system that they solved in dimension $2$. It is a complex Hessian equation with right hand side depending on gradients. Building on the methods of Fu and Yau, we obtain $C^0$, $C^2$ and $C^{2,α}$ a priori estimates. We also identify difficulties in extending the Fu-Yau arguments for non-degeneracy from dimension $2$ to higher dimensions.

研究动机与目标

• 通过复Hessian方程将Fu-Yau对Strominger系统的解法从$n=2$维推广至更高维。
• 为广义Fu-Yau方程建立$C^0$、$C^2$和$C^{2,\alpha}$先验估计。
• 分析将$\sigma_2(g')$下界论证从$n=2$推广至$n>2$时的障碍，该障碍对$C^2$估计至关重要。
• 通过分析梯度相关Hessian方程的结构，阐明Fu-Yau方法在高维中失效的原因。

提出的方法

• 利用$\sigma_k$对$i\partial\bar{\partial}u$的特征值和Hermitian形式$g'_{\bar{j}k}$的对称函数，将方程重述为复Hessian型方程。
• 通过Moser迭代获得$C^0$估计，其证明结构与$n=2$情形高度一致。
• $C^2$估计依赖于含梯度项的实Hessian方程的Guan-Ren-Wang不等式，并结合$\tilde{g}_{\bar{j}k}$的强椭圆性条件。
• $C^{2,\alpha}$估计基于Wang以及Tosatti-Wang-Weinkove-Yang关于具有Hölder连续右端项的复Monge-Ampère型方程Hölder正则性的最新结果推导得出。
• 在第7节中进行了详尽的坐标无关分析，用于比较$n=2$与$n>2$的情形，揭示了$\sigma_2(g')$下界论证的失效。
• 论文采用函数$G = e^{-2u}F$，其中$F = \sigma_2(\lambda')$，以研究$\kappa_p = \sigma_2(\lambda')e^{-2u}$的最小值，并分析由此产生的微分不等式。

实验结果

研究问题

• RQ1 能否使用相同证明方法将Fu-Yau方程的$C^2$估计从$n=2$推广至更高维？
• RQ2 为何Fu-Yau方法在$n>2$维中无法建立$\sigma_2(g')$的下界？
• RQ3 在高维中是否存在$\sigma_2(g')$的统一下界？若否，需要何种替代方法？
• RQ4 Hessian方程中的梯度相关项如何影响高维中的正则性与可解性？
• RQ5 Hessian方程在结构上存在何种差异，导致在$n>2$时$\kappa_p$的高阶项无法实现完全抵消？

主要发现

• 通过Moser迭代，$C^0$估计成功推广至所有维数，其证明结构与$n=2$情形极为相似。
• $C^2$估计在假设$\sigma_2(g')$存在下界的前提下成立，但该假设在$n>2$维中尚未得到证明。
• $C^{2,\alpha}$估计通过复Hessian方程具有Hölder连续右端项的最新正则性理论获得。
• 在$n=2$维时，Fu-Yau方法可得到$\kappa_p = e^{-2u}\sigma_2(\lambda')$的精确下界，确保非退化性，从而完成$C^2$估计。
• 对于$n=3$，由广义方法导出的不等式无法阻止$\kappa_p$趋近于零，表明该论证无法保证$\sigma_2(g')$的下界。
• 分析表明，$n=2$时$\kappa_p$中高阶项的完美抵消现象在更高维中不再成立，这解释了该方法失效的原因。