[论文解读] Solving equations with Hodge theory

Kefeng Liu, Shengmao Zhu|arXiv (Cornell University)|Mar 4, 2018

Algebraic Geometry and Number Theory参考文献 15被引用 7

一句话总结

本文提出一种基于紧致凯勒流形上霍奇理论的全局几何方法，用于在复结构改变时推导全纯典范形式的闭式扩展公式，避免使用局部形变理论。关键贡献是通过算子 $(I + T\varphi)^{-1}$ 显式给出变形流形上全纯 $(n,0)$-形式的公式，其应用涵盖霍奇丛以及通过庞加莱圆盘上的 $L^2$-霍奇理论求解具有可测系数的贝尔特拉米方程。

ABSTRACT

We treat two quite different problems related to changes of complex structures on Kähler manifolds by using global geometric method. First, by using operators from Hodge theory on compact Kähler manifold, we present a closed explicit extension formula for holomorphic canonical forms in different complex structures. As applications, we give a closed explicit formula for certain canonical sections of Hodge bundles on marked and polarized moduli spaces of projective manifolds, and provide a closed explicit extension formula for holomorphic pluricanonical forms under certain natural conditions. Second, by using the operators in $L^2$-Hodge theory on Poincaré disk, we present a simple and unified method to solve the Beltrami equations with measurable coefficients for quasi-conformal maps.

研究动机与目标

• 开发一种独立于科达伊拉-斯宾塞局部形变理论的全局几何方法，用于在紧致凯勒流形上复结构改变时扩展全纯典范形式。
• 利用 $L^2$-霍奇理论算子推导变形复结构上全纯 $(n,0)$-形式的闭式显式公式。
• 将该方法应用于构造射影流形的标记与极化模空间上霍奇丛的典范截面。
• 通过庞加莱圆盘上的 $L^2$-霍奇理论，为具有可测系数的贝尔特拉米方程提供统一且显式的解法。
• 建立适用于一般 $(p,q)$-形式的框架，并将结果推广至具有庞加莱型度量的非紧致、准射影流形。

提出的方法

• 该方法使用 $L^2$-微分形式上的算子 $T = \overline{\partial}^* G \partial$，其中 $G$ 是 $\Box_{\overline{\partial}}$ 拉普拉斯算子的格林算子，以控制形变的范数。
• 通过 $\Omega(\varphi) = \rho_\varphi((I + T\varphi)^{-1}\Omega_0)$ 构造全纯 $(n,0)$-形式 $\Omega_0$ 的扩展，其中 $\rho_\varphi = e^{i_\varphi}$ 为内乘算子。
• 当 $\|\varphi\|_\infty < 1$ 时，$I + T\varphi$ 的可逆性得到保证，从而确保扩展映射定义良好。
• 对于贝尔特拉米方程，该方法利用庞加莱圆盘上的 $L^2$-霍奇理论，通过涉及 $h = (I + T\mu)^{-1}(-T\mu h_0)$ 的闭式解求解 $\overline{\partial}f = \mu \partial f$。
• 解通过求解 $\overline{\partial}h = -\partial(\mu h)$ 并利用庞加莱引理从 $h$ 恢复 $f$ 构造而成。
• 该方法可推广至 $d$-闭 $(p,q)$-形式，通过将扩展问题约化为包含 $\partial\sigma = 0$ 和 $\overline{\partial}\sigma = -\partial(\varphi \lrcorner \sigma)$ 的系统。

实验结果

研究问题

• RQ1 如何在不依赖局部形变理论的前提下，构造凯勒流形上复结构改变时全洁典范形式的闭式扩展？
• RQ2 霍奇理论算子 $T = \overline{\partial}^* G \partial$ 在确保扩展映射的存在性与可逆性方面起何种精确作用？
• RQ3 该方法能否通过 $L^2$-霍奇理论以统一且显式的方式推广至具有可测系数的贝尔特拉米方程？
• RQ4 该扩展公式与极化流形模空间上霍奇丛的曲率有何关联？
• RQ5 该方法在多大程度上可推广至 $d$-闭 $(p,q)$-形式以及具有庞加莱型度量的非紧致凯勒流形？

主要发现

• 本文建立了变形凯勒流形上全纯 $(n,0)$-形式的闭式扩展公式 $\Omega(\varphi) = \rho_\varphi((I + T\varphi)^{-1}\Omega_0)$，当 $\|\varphi\|_\infty < 1$ 时成立。
• 该公式显式可逆且为全局形式，无需依赖局部坐标或科达伊拉-斯宾塞-库兰希形变理论。
• 对于库兰希族 $\pi: \mathcal{X} \to \Delta_\varepsilon$，全纯 $(n,0)$-形式由 $\Omega(t) = \rho_t((I + T\varphi(t))^{-1}\Omega_0)$ 给出，其一阶展开为 $\Omega(t) = \Omega_0 + \sum_{i=1}^m (\eta_i \lrcorner \Omega_0 - T(\eta_i \lrcorner \Omega_0))t_i + O(t^2)$。
• 该方法通过霍奇理论扩展 $d$-闭形式，直接证明了霍奇数的不变性与凯勒结构在形变下的稳定性。
• 对于庞加莱圆盘上的贝尔特拉米方程 $\overline{\partial}f = \mu \partial f$，通过 $h = (I + T\mu)^{-1}(-T\mu h_0)$ 构造了闭式解，当 $\mu$ 为 $C^k$ 且 $\|\mu\|_\infty < 1$ 时，可得 $C^{k+1}$ 解 $f$。
• 该框架可推广至具有庞加莱型度量的完备凯勒流形上的 $L^2$-霍奇理论，为带 puncture 的黎曼曲面的模空间（如泰希米勒空间与托里空间）上的全纯一形式提供显式扩展公式。