[论文解读] Smoothing singular extremal Kähler surfaces and minimal Lagrangians

Olivier Biquard, Yann Rollin|arXiv (Cornell University)|Nov 29, 2012

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

一句话总结

该论文证明了，对于具有类 $T$ 奇点的奇异极小凯勒曲面，若其中心纤维允许极小凯勒度量，则在非退化的 $Π$-戈伦斯坦光滑化下，当凯勒类退化时，其光滑化曲面在极限情况下也允许极小凯勒度量。此外，该研究进一步构造了代表消失循环的小哈密顿平稳拉格朗日子流形，为 Schoen 与 Wolfson 所预测的最小拉格朗日子流形提供了具体的几何实现。

ABSTRACT

We consider smoothings of a complex surface with singularities of class T and no nontrivial holomorphic vector field. Under an hypothesis of non degeneracy of the smoothing at each singular point, we prove that if the singular surface admits an extremal metric, then the smoothings also admit extremal metrics in nearby Kähler classes. In addition, we construct small Lagrangian stationary spheres which represent Lagrangian vanishing cycles for surfaces close to the singular one.

研究动机与目标

• 建立 $Π$-戈伦斯坦光滑化下奇异极小凯勒曲面在何种条件下允许极小凯勒度量。
• 填补在解析空间无法承载此类度量时，光滑化曲面上常数量曲率凯勒（cscK）度量的存在性理论空白。
• 在光滑化中提供最小拉格朗日子流形的几何构造，实现 Schoen 与 Wolfson 所预测的拉格朗日消失循环。
• 将粘合技术扩展至光滑化而非解析空间，尤其针对类 $T$ 的非典范奇点。
• 通过 Gauss-Manin 连接与形变参数的非退化性条件，厘清光滑化的拓扑与上同调结构。

提出的方法

• 采用具有类 $T$ 奇点的复曲面的 $Π$-戈伦斯坦光滑化，其中中心纤维为奇异，而一般纤维为光滑。
• 通过将形变映射提升至光滑化空间的分支覆盖，施加非退化条件，以确保与判别子集的横截性。
• 应用扰动理论，借助 Gauss-Manin 连接将中心奇异纤维上的极小度量延拓至光滑纤维上的极小度量族。
• 通过分析光滑化的单值性与拓扑结构，特别针对 $A_1$ 奇点，构造光滑化中的小拉格朗日子流形。
• 使用显式局部模型（如 $w^{k+1} = xy + \text{多项式项}$）来参数化光滑化，并验证非退化条件。
• 通过将一个横纹面与一个乘积空间沿纤维进行配对的粘合构造，定义了轨道曲面的全局光滑化。

实验结果

研究问题

• RQ1 具有类 $T$ 奇点的奇异极小凯勒曲面在何种条件下允许支持极小凯勒度量的光滑化？
• RQ2 当光滑化为非退化时，奇异中心纤维上 cscK 度量的存在性是否可被提升至光滑纤维？
• RQ3 在奇异曲面光滑化中的拉格朗日消失循环是否可被具体几何实现为极小曲面？
• RQ4 光滑化的拓扑结构与解析空间中例外曲线的同调类之间有何关系？
• RQ5 Gauss-Manin 连接在识别光滑化族中跨纤维的上同调类时起何作用？

主要发现

• 若一个具有类 $T$ 奇点的正规复曲面 $\mathcal{X}$ 在凯勒类 $\Omega_0$ 中允许极小度量，且在每个奇点处光滑化是非退化的，则对小的 $t$，光滑纤维 $\mathcal{M}_t$ 在退化的凯勒类 $\Omega_t$ 中也允许极小度量。
• 对于 $A_1$ 奇点，存在非退化的单参数光滑化族，且这些光滑化曲面携带极小凯勒度量。
• 在光滑化中构造了小哈密顿平稳拉格朗日子流形，代表光滑化的拉格朗日消失循环。
• 该构造为 Schoen 与 Wolfson 所预测的最小拉格朗日子流形提供了具体实现，填补了存在性理论的空白。
• 在奇点处局部光滑化空间的维数为 $d_x$，对典范奇点有 $e_x = d_x$，对非典范奇点有 $e_x = d_x - 1$，这反映了光滑化的上同调结构。
• 在 $A_1$ 奇点情形，非退化条件对应于 $\partial a_0/\partial z \neq 0$，确保与判别子集的横截性。