[论文解读] Abelian fibred holomorphic symplectic manifolds

Justin Sawon|arXiv (Cornell University)|Apr 20, 2004

Algebraic Geometry and Number Theory参考文献 39被引用 30

一句话总结

本文提出了一套分类不可约全纯辛流形的框架，通过研究其在射影空间上的纤维为阿贝尔簇的纤维化结构，推广了K3曲面上椭圆纤维化的概念。该文猜想所有此类流形均可通过截面、相对雅可比簇或扭结方式形变，与贝阿武的示例相关联，关键证据来自曲线上层模空间及奇异纤维化结构的形变理论。

ABSTRACT

We study holomorphic symplectic manifolds which are fibred by abelian varieties. This structure is a higher dimensional analogue of an elliptic fibration on a K3 surface. We investigate when a holomorphic symplectic manifold is fibred in this way, and are led to several natural conjectures. We then study the geometry of these fibrations. The expectation is that this point of view will prove useful in understanding holomorphic symplectic manifolds, and possibly lead to a classification.

研究动机与目标

• 理解不可约全纯辛流形在何时可 admits 阿贝尔簇纤维化，推广K3曲面上的椭圆纤维化。
• 研究此类流形是否可通过形变获得截面，从而与贝阿武的希尔伯特 scheme 及广义Kummer簇关联。
• 通过扭结或相对雅可比簇构造，将无截面的纤维化与有截面的纤维化关联，目标是实现与已知示例的形变等价。
• 探讨奇异纤维与多重纤维在拓扑与形变不变量中的作用，特别是与奥格雷迪十维示例的关系。
• 建立一个统一的全纯辛流形分类程序，通过纤维化将所有示例与贝阿武的构造关联。

提出的方法

• 将椭圆K3曲面的三步程序——椭圆纤维化的分类、截面的存在性、相对雅可比簇的构造——推广至以阿贝尔簇为纤维的高维全纯辛流形。
• 利用K3曲面上曲线嵌入的Mukai层模空间，构造在射影空间上具有阿贝尔纤维的全纯辛流形。
• 应用形变理论，通过中间纤维化 $Z_k$（$k$ 变化）将 $S^{[5]}$ 与奥格雷迪的模空间 $ ilde{M}$ 关联，分析其奇异纤维。
• 利用K3曲面的全局Torelli定理关联周期与Hodge结构，并应用奥格雷迪关于非同构权重二Hodge结构的结果，以区分非形变等价的流形。
• 研究通过gerbe扭结对纤维化的影响，特别是在非约化除子存在时，以建模拓扑变化而无需全同构。
• 分析奇异纤维的几何结构，特别是来自非约化除子（如 $2E$）的多重纤维，以理解其对形变与双有理几何的影响。

实验结果

研究问题

• RQ1 在何种条件下，不可约全纯辛流形可 admits 到 $\mathbb{P}^n$ 上的 $n$ 维阿贝尔簇纤维化？
• RQ2 是否每个此类流形都可形变为具有截面的流形，从而与贝阿武的示例关联？
• RQ3 无截面的纤维化如何与它们的相对雅可比簇或扭结版本关联？该过程能否解释形变类？
• RQ4 奇异纤维与多重纤维（例如在非约化除子上）在区分阿贝尔纤维化全纯辛流形的形变类型中起何作用？
• RQ5 为何 $Z_5$ 与 $Z_6$——两者均与 $S^{[5]}$ 和奥格雷迪的模空间相关——尽管通过扭结与奇异纤维修改相关联，却并非形变等价？

主要发现

• 在亏格五曲线 $C$ 上的模空间 $Z_5 = \mathcal{M}^s(0,[C],1)$ 与希尔伯特 scheme $S^{[5]}$ 有双有理关系，为与贝阿武示例的形变关联提供了桥梁。
• 模空间 $Z_6 = \mathcal{M}^{ss}(0,[C],2)$ 虽然奇异且与 $Z_5$ 不同构，但与奥格雷迪十维模空间 $\widetilde{M}$ 的一个开子集双有理。
• 尽管 $Z_5$ 与 $Z_6$ 均为同一族的形变，但它们并非形变等价，因其第二贝蒂数不同，表明奇异纤维引发了拓扑变化。
• 纤维化 $Z_5$ 通常无截面，而 $Z_6$ 有截面，且二者不同构——此结论通过奥格雷迪关于非同构权重二Hodge结构的结果得以证明。
• 在非约化除子如 $2E$ 上，纤维 $F_5$ 与 $F_6$ 不同构，表明奇异纤维在区分形变类型中起关键作用，即使光滑纤维在局部同构。
• 通过非平凡gerbe $\beta_1$ 扭结纤维化 $Z_6$ 得到 $Z_1$，$Z_1$ 与 $Z_0$ 形变等价但不同构，表明扭结可产生非同构但形变等价的流形。