[论文解读] Holomorphic Cubic Differentials and Minimal Lagrangian Surfaces in CH2

Zheng Huang, John Loftin+1 more|arXiv (Cornell University)|Jan 18, 2012

Geometric Analysis and Curvature Flows参考文献 10被引用 3

一句话总结

本论文证明了闭曲面（亏格 ≥ 2）的万有覆叠到复双曲空间 ℂH² 的极小拉格朗日子浸入的存在性与非唯一性，其由共形结构 σ 和全纯三次微分 tq 参数化。论文表明，此类浸入的曲面面积作为解空间上的泛函，是全 holomorphic 三次微分空间的 Weil-Petersson 潜在函数，其二阶变分等于 16 倍的 q 的 Weil-Petersson 范数。

ABSTRACT

Following earlier work of Loftin-McIntosh, we study minimal Lagrangian immersions of the universal cover of a closed surface (of genus at least 2) into CH2, with prescribed data of a conformal structure plus a holomorphic cubic differential. We show existence and non-uniqueness of such minimal Lagrangian immersions. We also establish the surface area with respect to the induced metric as a Weil-Petersson potential function for the space of holomorphic cubic differentials on the Riemann surface.

研究动机与目标

• 证明闭曲面（亏格 g ≥ 2）的万有覆叠到 ℂH² 的极小拉格朗日子浸入的存在性与非唯一性。
• 分析当参数 t → 0 时此类浸入的渐近行为。
• 证明由度量 e^u g_σ 诱导的曲面面积是 (Σ, σ) 上全纯三次微分空间的 Weil-Petersson 潜在函数。
• 通过非线性 PDE 的解曲线，发展 ℂH² 中极小拉格朗日子浸入的模理论。

提出的方法

• 将极小拉格朗日子浸入问题约化为求解非线性 PDE：在具有双曲度量 g_σ 的紧致黎曼曲面上，Δu + 2 - 2e^u - 16t²‖q‖²e^{-2u} = 0。
• 利用解 u(t) 从万有覆叠 ˜Σ 到 SU(2,1) 构造一个 Legendre 框架，从而得到一个等变的极小拉格朗日子浸入 φ: ˜Σ → ℂH²。
• 应用隐函数定理与山路引理方法，证明当 t > 0 较小时解的存在性与非唯一性。
• 利用 Weil-Petersson 配对 ⟨q₁, q₂⟩_WP = ∫_Σ (q₁ ̄q₂)/g_σ³ dA_σ，将面积泛函的二阶变分与 Teichmüller 空间几何联系起来。
• 分析解空间中连续曲线 γ(t) = (u(t), t) 的行为，证明当 t → 0 时 u(t) → 0。
• 应用最大值原理与 H¹-估计，排除解的爆破现象，并建立解序列的收敛性。

实验结果

研究问题

• RQ1 对于任意给定的共形结构 σ 与全纯三次微分 tq，是否存在闭曲面（亏格 g ≥ 2）的万有覆叠到 ℂH² 的极小拉格朗日子浸入？
• RQ2 当 t > 0 较小时，浸入问题的解是否唯一？还是对同一组 (σ, tq) 存在多个不同的极小拉格朗日子浸入？
• RQ3 当 t → 0 时，极小拉格朗日子浸入的渐近行为如何？诱导度量 e^u g_σ 在此极限下如何表现？
• RQ4 诱导度量的曲面面积能否与 Teichmüller 空间上的已知几何结构（如 Weil-Petersson 度量）相关联？
• RQ5 沿解曲线 γ(t) 的面积泛函的二阶变分是什么？它与三次微分 q 的 Weil-Petersson 范数有何关系？

主要发现

• 对于任意共形结构 σ 与非零全纯三次微分 q 在亏格 g ≥ 2 的闭曲面上，存在一个极小拉格朗日子浸入，将万有覆叠映射到 ℂH²，其诱导度量为 e^u g_σ。
• 非线性 PDE Δu + 2 - 2e^u - 16t²‖q‖²e^{-2u} = 0 的解 u(t) 在 t = 0 附近存在且唯一，构成解空间中一条光滑曲线 γ(t)。
• 当 t → 0 时，解 u(t) → 0，且诱导度量 e^u g_σ → g_σ，即常曲率 -1 的双曲度量。
• 面积泛函 𝒜(σ, q) = -∫_Σ e^u dA_σ 在 t = 0 处一阶导数为零，二阶导数为 16∫_Σ ‖q‖² dA_σ。
• 面积泛函的二阶变分与三次微分 q 的 Weil-Petersson 配对成正比，即 𝒜''(0) = 16⟨q, q⟩_WP。
• 面积泛函 𝒜 是全纯三次微分空间上 Weil-Petersson 度量的潜在函数，其二阶变分等于 16 倍的 q 的 Weil-Petersson 范数。