[论文解读] The Calabi-Yau equation, symplectic forms and almost complex structures

Valentino Tosatti, Ben Weinkove|arXiv (Cornell University)|Jan 12, 2009

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

一句话总结

本文研究了唐纳森关于四维中与非可积几乎复结构相容的辛形式的卡拉比-丘方程解的存在性的一个猜想。通过调和映射的单调性公式，作者建立了一个新的关于度量张量迹的局部 $L^1$-界，该界蕴含一个关键的 $C^0$ 估计，并支持了解的 $C^∞$ 正则性猜想。

ABSTRACT

We discuss a conjecture of Donaldson on a version of Yau's Theorem for symplectic forms with compatible almost complex structures and survey some recent progress on this problem. We also speculate on some future possible directions, and use a monotonicity formula for harmonic maps to obtain a new local estimate in the setting of Donaldson's conjecture.

研究动机与目标

• 研究唐纳森关于四维中与非可积几乎复结构相容的辛形式的卡拉比-丘方程解的存在性猜想。
• 将姚氏定理——原适用于凯勒几何——推广至辛形式与几乎复结构的设定。
• 为近凯勒势建立一个新的局部 $C^0$ 估计，这对证明 $C^∞$ 估计至关重要。
• 探讨解的爆破集是否具有至少为二的实余维数，可能对应于一条 $J$-全纯曲线。

提出的方法

• 将姚氏原始证明卡拉比-丘定理所用的连续性方法，适配至非凯勒、几乎复的设定。
• 利用调和映射的单调性公式，推导出度量张量 $\mathrm{tr}_g \tilde{g}$ 的新 $L^1$-界。
• 将 $L^1$ 迹界与单调性不等式 (5.6) 联合使用，以控制测地球上迹的增长。
• 依赖于 $\tilde{\omega}^2 = \sigma$ 推出 $\mathrm{tr}_g \tilde{g}$ 与 $\mathrm{tr}_{\tilde{g}} g$ 之间的统一控制，从而通过斯托克斯公式实现 $L^1$ 界。
• 推导出一个涉及 $\tilde{g}$-拉普拉斯算子作用于 $\mathrm{tr}_g \tilde{g}$ 的新微分不等式，常数仅依赖于固定几何数据。
• 提出一个类似调和映射理论中的 $\varepsilon$-正则性结果的猜想，尽管标准证明因 $\tilde{g}$ 上不可控的索伯列夫常数而失效。

实验结果

研究问题

• RQ1 在具有驯服几乎复结构 $J$ 的紧致四维流形上，对于与给定辛形式 $\Omega$ 同调的辛形式 $\tilde{\omega}$，卡拉比-丘方程 $\tilde{\omega}^2 = \sigma$ 是否可解？
• RQ2 卡拉比-丘方程解的爆破集是否具有至少为二的实余维数，且是否可能由一条 $J$-全纯曲线表示？
• RQ3 能否利用几何单调性公式推导出近凯勒势的新 $C^0$ 估计？
• RQ4 在非凯勒设定下，尽管标准调和映射技术失效，$\mathrm{tr}_g \tilde{g}$ 是否存在可行的 $\varepsilon$-正则性结果？
• RQ5 姚氏定理中的 $C^\infty$ 估计在多大程度上可推广至几乎复、辛的设定？

主要发现

• 建立了关于测地球上 $\mathrm{tr}_g \tilde{g}$ 的 $L^1$-范数的新的单调性公式 (5.6)，仅依赖于背景度量 $g$。
• 推论 5.1 证明了在卡拉比-丘方程 $\tilde{\omega}^2 = \sigma$ 下，对所有 $p \in M$ 和小的 $r > 0$，有 $\int_{B_g(p,r)} \mathrm{tr}_g \tilde{g} \, dV_g \leq C r^2$。
• 通过单调性公式与斯托克斯公式对 $\mathrm{tr}_{\tilde{g}} g$ 的统一 $L^1$ 界，推导出迹的 $L^1$ 界 (5.9)。
• 在小球上，$\mathrm{tr}_g \tilde{g}$ 的 $L^1$-范数被一致控制，表明解的爆破集具有至少为二的余维数。
• 提出一个猜想的 $\varepsilon$-正则性估计，若成立，将蕴含 $\mathrm{tr}_g \tilde{g}$ 的局部 $C^0$ 有界性，但标准调和映射策略因 $\tilde{g}$ 上不可控的索伯列夫常数而失效。
• 使用了微分不等式 $\tilde{\Delta} \mathrm{tr}_g \tilde{g} \geq -C_2 - C_3 (\mathrm{tr}_g \tilde{g})^2$，其中常数仅依赖于固定数据，表明可能存在通往更高正则性的路径。