[论文解读] A remark on Kähler forms on symmetric products of Riemann surfaces

Tim Perutz|ArXiv.org|Jan 31, 2005

Geometric and Algebraic Topology被引用 5

一句话总结

本文证明了黎曼曲面的 $n$-阶对称积上的奇异凯勒形式 $operatorname{Sym}^{n}(ω)$ 可以被光滑化为一个与之同调的真正凯勒形式，且在对角线邻域外与原形式相等。该结果通过瓦罗查斯的正则化技术得出，确保了与海格德弗洛尔同调分析框架相容的全局定义凯勒形式的存在性。

ABSTRACT

Users of Heegaard Floer homology may be reassured to know that it can be made to conform exactly to the standard analytic pattern of Lagrangian Floer homology. This follows from the following remark, which we prove using an argument of J. Varouchas: the natural singular Kähler form $\sym^n(ω)$ on the $n$th symmetric product of a Kähler curve $(Σ,ω)$ admits a cohomologous smoothing to a Kähler form which equals $\sym^n(ω)$ away from a chosen neighbourhood of the diagonal.

研究动机与目标

• 通过确保能量界限和全纯圆盘的上同调解释，弥合海格德弗洛尔同调中的技术缺口。
• 证明自然奇异凯勒形式 $operatorname{Sym}^n(\Sigma)$ 可被光滑化为一个同调类不变的真正凯勒形式。
• 将瓦罗查斯关于分支覆盖的结果推广，实现对向前推凯勒形式的局部到全局的光滑化。
• 为对称曲面的拉格朗日子流形弗洛尔同调提供严格的分析基础。
• 通过构造一个在对角线外与乘积形式一致的全局定义凯勒形式，使海格德弗洛尔理论中可使用标准分析技术。

提出的方法

• 利用瓦罗查斯引理的核心思想，采用里希伯格与德迈布尔的正则化最大值技术，对奇异的拟凸函数进行光滑化。
• 对对称积上的连续凯勒上循环实施全局光滑化论证，细化开覆盖，并通过紧支集函数修改势函数。
• 在 $operatorname{Sym}^r(\Sigma)$ 上构造一个光滑凯勒形式 $eta$，使其在对角线邻域外与前推形式 $pi_*(\omega^{\times r})$ 一致。
• 利用 $dd^c$-引理，将分支覆盖全空间上的局部凯勒势函数上提到基空间。
• 通过具有紧支集的修正项实施单位分解论证，以在光滑化过程中保持上同调类不变。
• 通过修正项 $dd^c\chi$ 的上同调类为零，确保所得形式 $eta$ 为闭、正定且与 $pi_*[\omega^{\times r}]$ 同调。

实验结果

研究问题

• RQ1 黎曼曲面的对称积上的自然奇异凯勒形式 $operatorname{Sym}^n(\omega)$ 是否可被光滑化为一个不改变其上同调类的真正凯勒形式？
• RQ2 在分支覆盖下，凯勒形式的前推是否允许一个光滑化，使其既保持上同调类，又在分支支集外与原形式一致？
• RQ3 能否在 $operatorname{Sym}^g(\Sigma)$ 上使用全局定义的凯勒形式，将拉格朗日子流形弗洛尔同调的分析框架应用于海格德弗洛尔同调？
• RQ4 是否可能在 $operatorname{Sym}^r(\Sigma)$ 上构造一个光滑凯勒形式，使其在对角线外与乘积形式 $omega^{\times r}$ 一致，并保持上同调类？
• RQ5 正则化最大值技术如何被调整以用于对称积所生成的复轨道丛上的凯勒形式光滑化？

主要发现

• 在 $operatorname{Sym}^r(\Sigma)$ 上存在一个光滑凯勒形式 $eta$，使得 $eta = \pi_*(\omega^{\times r})$ 在对角线邻域外成立。
• 形式 $eta$ 在 $H^2(\operatorname{Sym}^r(\Sigma); \mathbb{R})$ 中与 $pi_*[\omega^{\times r}]$ 同调，从而确保全纯圆盘的能量具有上同调解释。
• 与光滑化相关的修正项 $dd^c\chi$ 的上同调类为零，从而保持了原形式的上同调结构。
• 该构造确保了 $operatorname{Sym}^g(\Sigma)$ 中的拉格朗日子流形 $mathbb{T}_\alpha$ 和 $mathbb{T}_\beta$ 对于光滑化形式 $eta$ 仍为拉格朗日，从而维持了海格德弗洛尔同调的几何设定。
• 该方法可普遍应用于复流形的分支覆盖，为光滑化凯勒形式的前推提供系统性方法。
• 结果确认，通过此光滑化过程，海格德弗洛尔同调可完全与拉格朗日子流形弗洛尔同调的标准分析模式对齐。