[论文解读] The Kahler Metrics of constant scalar curvature on the Complex Torus

Bohui Chen, An-Min Li+1 more|arXiv (Cornell University)|Aug 16, 2010

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

一句话总结

本文证明了在 ℝⁿ 中的严格凸区域上，对于具有退化边界条件的阿布雷方程的狄利克雷问题存在光滑且严格凸的解，证明了此类解通过勒让德变换可生成复环面 (ℂ*)ⁿ 上的 Tⁿ-不变、具有常数量曲率的凯勒度量。关键贡献在于通过在边界处梯度趋于无穷的解的勒让德变换，构造出欧氏完备的凯勒度量。

ABSTRACT

We study the Dirichlet problem of the Abreu equation. The solutions provide the Kahler metrics of constant scalar curvature on the complex torus.

研究动机与目标

• 在 ℝⁿ 中有界且严格凸的区域上，建立阿布雷方程狄利克雷问题的光滑且严格凸解的存在性。
• 证明此类解通过勒让德变换可生成复环面 (ℂ*)ⁿ 上的 Tⁿ-不变、具有常数量曲率的凯勒度量。
• 证明相关势函数为欧氏完备，意味着度量在整个复环面上有定义。
• 解决在边界处梯度趋于无穷的退化边界条件下解的正则性与边界行为。
• 提供一种构造方法，生成复环面上大量常数量曲率凯勒度量的例子。

提出的方法

• 将阿布雷方程表述为四阶完全非线性偏微分方程：∑ U^{ij} w_{ij} = -K，其中 U^{ij} 为 D²u 的代数余子矩阵，w = det(u_{ij})⁻¹。
• 通过勒让德变换 f(x) = ∑ ξᵢ ∂u/∂ξᵢ - u(ξ) 将问题转化为对偶变量下的实蒙日-安培型方程。
• 通过在截面 Sᵤ(ξ₀, δ) 中对解进行归一化，利用 det(u_{ij}) 的一致有界性，应用内估计与紧致性论证。
• 采用爆破论证与反证法，证明解 u 在整个区域 Ω 内光滑且严格凸。
• 利用障碍函数与比较原理，证明在 ∂Ω 上扩展的解 u′ 与原始边界数据 φ 一致，从而确保在边界处 |∇u| → ∞。
• 依赖引理 2.4 作为核心估计，以控制 Hessian 行列式的大小，从而实现更高阶正则性。

实验结果

研究问题

• RQ1 在边界处梯度趋于无穷的退化边界条件 |∇u| → ∞ on ∂Ω 下，阿布雷方程的狄利克雷问题是否可解？
• RQ2 阿布雷方程的解在何种条件下可生成复环面 (ℂ*)ⁿ 上的常数量曲率凯勒度量？
• RQ3 当在 ∂Ω 处 |∇u| → ∞ 时，阿布雷方程解的勒让德变换是否在整个 ℝⁿ 上有定义，从而保证度量在环面上完备？
• RQ4 能否通过此方法构造出复环面上大量 Tⁿ-不变、常数量曲率凯勒度量的例子？
• RQ5 在这些边界条件下，阿布雷方程的解具有何种正则性性质？

主要发现

• 阿布雷方程的解 u 在 Ω 的内部光滑且严格凸，且在 ∂Ω 上满足 |∇u| → ∞。
• u 的勒让德变换 f 在整个 ℝⁿ 上有定义，从而保证所对应的凯勒度量在复环面 ℂⁿ / 2πiℤⁿ 上完备。
• 所构造的凯勒度量具有常数量曲率 K，且 K ≥ k₀ > 0，同时具有 Tⁿ-对称性。
• f 的图像为欧氏完备，由 |x|² / (1 + f)² 的一致有界性所证明。
• 解满足 w = det(u_{ij})⁻¹ = 0 on ∂Ω，与退化边界条件一致。
• 该方法构造出一维参数族的此类度量，表明对任意给定的正数 K，解的存在性具有丰富性。