[论文解读] La singularité de O'Grady

Manfred Lehn, Christoph Sorger|arXiv (Cornell University)|Apr 9, 2005

Algebraic Geometry and Number Theory被引用 6

一句话总结

该论文证明了对 K3 或阿贝尔曲面上具有 Mukai 向量 $2v$ 的半稳定层模空间 $M_{2v}$ 的约化奇点集进行爆破，可得到一个辛解析解。关键结果是通过局部奇点分析和 $rak{sp}_4$ 中幂零轨道模型的形变理论，直接、几何地构造出 O'Grady 对 $M_{K3}(2,0,4)$ 和 $M_{Ab}(2,0,2)$ 的解析解。该方法避免了复杂的全局构造，提供了一种简洁、内在的解析机制。

ABSTRACT

Let M be the moduli space of semistable sheaves with Mukai vector 2v on an abelian or K3 surface where v is primitive such that =2. We show that the blow-up of the reduced singular locus of M provides a symplectic resolution of singularities. This gives a direct description of O'Grady's resolutions of M\_{K3}(2,0,4) and M\_{Ab}(2,0,2).

研究动机与目标

• 为 K3 和阿贝尔曲面上某些奇异层模空间提供直接、几何的辛解析解构造。
• 证明当 $\langle v,v\rangle=2$ 且 $v$ 为本原向量时，$M_{2v}$ 的约化奇点集的爆破可产生辛解析解。
• 用更简单、内在的奇点集爆破方法替代 O'Grady 的复杂两步爆破与重参数化收缩。
• 建立以 $rak{sp}_4$ 中的幂零轨道 $Z \subset \mathfrak{sp}_4$ 为原型的局部模型，用于描述 $M_{2v}$ 中最严重的奇点。
• 证明 $Z$ 的形变理论具有刚性，使得在原点处的奇点类型得以保持，从而实现与法丛的正式同构。

提出的方法

• 将 $rak{sp}_4$ 中由 $B^2 = 0$ 定义的幂零轨道 $Z \subset \mathfrak{sp}_4$ 作为 $M_{2v}$ 中最严重奇点的局部模型。
• 分析 $Z$ 的奇点集，其为秩 $\leq 1$ 的矩阵，其理想由 $2\times 2$ 子式生成。
• 证明 $Z$ 的一阶形变模 $T^1_Z$ 是纯的，意味着任何在原点外保持奇点的形变也必须保持原点处的奇点，从而体现刚性。
• 通过沿 $Z$ 的奇点集进行爆破，构造出 $Z$ 的解析解，并证明其为辛解析解。
• 在 $M_{2v}$ 的最严重奇点处进行局部研究，证明其法丛同构于模型 $Z$。
• 利用显式形变理论与 Kuranishi 映射，证明奇点与其法丛之间存在正式同构，确保爆破是半小的且保持辛结构。

实验结果

研究问题

• RQ1 当 $\langle v,v\rangle=2$ 且 $v$ 为本原向量时，$M_{2v}$ 的约化奇点集的爆破是否能提供辛解析解？
• RQ2 由 $B^2=0$ 定义的 $rak{sp}_4$ 中的幂零轨道 $Z \subset \mathfrak{sp}_4$ 是否可作为 $M_{2v}$ 中最严重奇点的有效局部模型？
• RQ3 $Z$ 在保持原点外奇点的形变下是否具有刚性，从而意味着原点处的奇点无法被形变？
• RQ4 能否证明 $M_{2v}$ 的奇点集的爆破是半小解析解，并可延拓辛形式？
• RQ5 $M_{2v}$ 中最严重奇点的正式邻域是否允许与它的法丛之间存在正式同构，从而使得爆破能解析奇点？

主要发现

• 对于任意本原 $v$ 满足 $\langle v,v\rangle=2$，$M_{2v}$ 的约化奇点集的爆破是其奇异性的辛解析解。
• 该构造直接实现了 O'Grady 对 $M_{K3}(2,0,4)$ 和 $M_{Ab}(2,0,2)$ 的解析解，无需经历两步爆破或重参数化群作用。
• 由 $B^2=0$ 定义的 $rak{sp}_4$ 中的局部模型 $Z \subset \mathfrak{sp}_4$ 抓住了 $M_{2v}$ 的最严重奇点，其爆破产生辛解析解。
• $Z$ 的一阶形变模 $T^1_Z$ 是纯的，这意味着任何保持原点外奇点的形变也必须保持原点处的奇点。
• $M_{2v}$ 中最严重奇点的正式邻域同构于 $Z$ 在原点处的正式邻域，且其法丛同构于 $Z$。
• 由于余维数原因，$M_{2v}$ 的光滑部分上的辛形式可延拓至整个爆破，从而确认该解析解为辛解析解。