[论文解读] Gromov-Hausdorff limits of Kahler manifolds and algebraic geometry, II

Simon Donaldson, Song Sun|arXiv (Cornell University)|Jul 17, 2015

Geometry and complex manifolds参考文献 37被引用 50

一句话总结

该论文证明了具有统一几何有界性的极化凯勒流形的格罗莫夫-豪斯多夫极限自然地成为复解析空间，其奇点处的切锥为代数簇。论文证明了多项式增长全纯函数环的有限生成性，并通过复分析方法证明了切锥的唯一性，扩展了凯勒-爱因斯坦度量与代数几何中奇点的相关结果。

ABSTRACT

In this paper we continue to study Gromov-Hausdorff limits of Kahler manifolds and algebraic geometry. Our main focus is on the algebro-geometric meaning of Riemannian tangent cones and rescaled limits.

研究动机与目标

• 建立具有统一几何有界性的凯勒流形序列的格罗莫夫-豪斯多夫极限为复解析空间。
• 证明此类极限上多项式增长全纯函数环的有限生成性。
• 通过有限生成性证明奇点处的切锥同构于仿射代数簇。
• 使用复几何方法证明某点处切锥的唯一性，无需假设横截面光滑。
• 将极限空间的代数结构推广至非紧情形，包括无穷远处的切锥。

提出的方法

• 利用切赫-科リング-蒂安正则性理论，将格罗莫夫-豪斯多夫极限分解为具有凯勒-爱因斯坦度量的正则部分和余维数至少为4的奇点集。
• 通过正则部分上全纯函数的上推定义极限空间上的结构层。
• 应用体积比较与爱因斯坦条件，获得一致的直径有界性和非坍缩性，从而保证极限空间的紧致性。
• 分析缩放极限（即切锥）为度量锥 $ C(Y) $，并证明多项式增长全纯函数环 $ R(C(Y)) $ 的有限生成性。
• 在复分析设定下使用洛哈希埃维奇-西蒙型论证，证明切锥的唯一性，且不依赖于横截面的光滑性。
• 通过研究无穷远处的切锥，将结果推广至非紧极限，并证明全纯函数环 $ R(Z) $ 的有限生成性。

实验结果

研究问题

• RQ1 具有统一几何有界性的极化凯勒流形序列的格罗莫夫-豪斯多夫极限是否自然地成为复解析空间？
• RQ2 此类极限上多项式增长全纯函数环是否有限生成？
• RQ3 这些极限在奇点处的切锥是否具有仿射代数簇的典范结构？
• RQ4 即使横截面不光滑，某奇点处的切锥是否唯一？
• RQ5 极限空间的代数结构能否推广至非紧极限，包括无穷远处的极限？

主要发现

• 序列在 $ \tilde{\frak{K}}(n, \tilde{\rho}, V) $ 中的格罗莫夫-豪斯多夫极限 $ (Z, \bar{\rho}) $ 是一个具有结构层 $ \bar{\rho}_* \bar{\rho}_{\bar{\rho}} $ 的正规复解析空间。
• 在切锥 $ C(Y) $ 上多项式增长全纯函数环 $ R(C(Y)) $ 是有限生成的，且 $ \mathrm{Spec}(R(C(Y))) $ 复解析同构于 $ (C(Y), \mathcal{O}_{C(Y)}) $。
• 在任意点 $ p $ 处，切锥作为度量锥和仿射代数簇均唯一，即使不假设横截面光滑。
• 在非紧极限 $ Z $ 上多项式增长全纯函数环 $ R(Z) $ 是有限生成的，且 $ \mathrm{Spec}(R(Z)) $ 复解析同构于 $ (Z, \mathcal{O}_Z) $。
• $ R(C(Y)) $ 上的分次结构对应于由极限度量诱导的点 $ p $ 处全纯函数芽局部环的滤子。
• 结果可推广至无穷远处的切锥，此时类似的有限生成性与同构定理依然成立。