[论文解读] Trianalytic subvarieties of generalized Kummer varieties

D. Kaledin, Misha Verbitsky|ArXiv.org|Jan 9, 1998

Algebraic Geometry and Number Theory参考文献 6被引用 8

一句话总结

本文研究了广义Kummer流形上的三解析子簇——即在所有超凯勒复结构下均为解析的复子簇——这些广义Kummer流形是通过2-环面上零维子chemes的希尔伯特概形的形变构造出的超凯勒流形。关键结果表明，对于一般的2-环面，对应的广义Kummer流形不包含任何非平凡的三解析子簇，这意味着其一般形变完全不包含任何真复子簇。

ABSTRACT

Let $X$ be a hyperkaehler manifold. Trianalytic subvarieties of $X$ are subvarieties which are complex analytic with respect to all complex structures induced by the hyperkaehler structure. Given a 2-dimensional complex torus $T$, the Hilbert scheme $T^{[n]}$ classifying zero-dimensional subschemes of $T$ admits a hyperkaehler structure. A finite cover of $T^{[n]}$ is a product of $T$ and a simply connected hyperkaehler manifold $K^{[n-1]}$, called generalized Kummer variety. We show that for $T$ generic, the corresponding generalized Kummer variety has no trianalytic subvarieties. This implies that a generic deformation of the generalized Kummer variety has no proper complex subvarieties.

研究动机与目标

• 研究由2维复环面上零维子chemes的希尔伯特概形构造出的广义Kummer流形中的三解析子簇，这些流形是超凯勒流形。
• 确定此类流形是否包含在超凯勒族中所有复结构下均为解析的复子簇。
• 建立对于一般2-环面，其对应的广义Kummer流形不包含任何非平凡三解析子簇。
• 推导出广义Kummer流形的一般形变不包含任何真复子簇。
• 为理解超凯勒流形的代数与复几何，特别是子簇结构方面做出贡献。

提出的方法

• 作者分析了2维复环面 $ T $ 的希尔伯特概形 $ T^{[n]} $ 上的超凯勒结构，该结构具有与三个复结构相容的超凯勒度量。
• 他们考虑广义Kummer流形 $ K^{[n-1]} $，这是一个单连通的超凯勒流形，是 $ T^{[n]} $ 的有限覆盖，并研究其三解析子簇。
• 利用超凯勒流形理论及全纯对称形式的性质，分析子簇在超凯勒三元复结构作用下的行为。
• 他们采用形变理论与一般性论证，表明对于一般 $ T $，不存在任何非平凡子簇能对族中所有复结构均为解析。
• 证明依赖于三解析子簇在超凯勒形变下的刚性，以及此类子簇必须被完整的超凯勒旋转群保持这一事实。
• 论证通过反证法进行：假设存在一个非平凡三解析子簇，并推导出其将导致与 $ T $ 的一般性相冲突的特殊几何约束。

实验结果

研究问题

• RQ1 由一般2-环面构造的广义Kummer流形是否包含任何非平凡的三解析子簇？
• RQ2 广义Kummer流形的一般形变是否可能包含真复子簇？
• RQ3 超凯勒结构在约束所有复结构下均为解析的子簇存在性方面起什么作用？
• RQ4 2-环面 $ T $ 的一般性如何影响 $ K^{[n-1]} $ 的代数与复分析结构？
• RQ5 在 $ K^{[n-1]} $ 中是否存在非平凡子簇，其在超凯勒结构诱导的所有复结构下均保持复解析？

主要发现

• 对于一般的2维复环面 $ T $，其对应的广义Kummer流形 $ K^{[n-1]} $ 不包含任何非平凡三解析子簇。
• 三解析子簇的缺失意味着广义Kummer流形 $ K^{[n-1]} $ 的一般形变不包含任何真复子簇。
• 该结果源于三解析子簇在超凯勒形变下的刚性，以及底层环面的一般性。
• 证明依赖于三解析子簇必须被完整的超凯勒旋转群保持这一事实，而这一性质与一般性相冲突。
• 希尔伯特概形 $ T^{[n]} $ 允许一个有限覆盖，其可分解为 $ T \times K^{[n-1]} $，而 $ K^{[n-1]} $ 的结构在论证中起核心作用。
• 对于一般 $ T $，$ K^{[n-1]} $ 中三解析子簇的缺失，是由于在超凯勒族中所有复结构下不变的全纯循环不存在。