[论文解读] A symplectic resolution for the binary tetrahedral group

Manfred Lehn, Christoph Sorger|arXiv (Cornell University)|Oct 17, 2008

Advanced Algebra and Geometry参考文献 15被引用 21

一句话总结

本文为二面体四面体群作用于其二维不可约表示之和的商奇点 $ (S_1 \bigoplus S_2)/T $ 构造了一个显式的辛分辨率。利用等变希尔伯特纲 $ T\text{-Hilb}(S_1 \oplus S_2) $，作者证明该分辨率由两个光滑分支构成——$ H^{ ext{orb}} $，即轨道分支，和 $ \mathbb{P}^2 \times \mathbb{P}^2 $，它们沿典型交集簇横截相交，从而在两个小分辨率之间实现 Mukai 型坍缩。

ABSTRACT

We describe an explicit symplectic resolution for the quotient singularity arising from the four-dimensional symplectic represenation of the binary tetrahedral group.

研究动机与目标

• 为二面体四面体群的四维辛表示所导出的商奇点构造一个显式的辛分辨率。
• 解析奇点 $ (S_1 \oplus S_2)/T $，其中 $ T $ 作用于其二维不可约表示之和。
• 描述等变希尔伯特纲 $ T\text{-Hilb}(S_1 \oplus S_2) $ 的结构，识别其分支及其交点。
• 确立该分辨率是典范且辛的，且例外集构成一个 Mukai 型坍缩。
• 提供超越存在性定理的几何模型，采用显式代数与几何方法。

提出的方法

• 作者将等变希尔伯特纲 $ T\text{-Hilb}(S_1 \oplus S_2) $ 作为 $ (S_1 \oplus S_2)/T $ 的典范分辨率候选，利用关于辛商奇点希尔伯特纲的已知结果。
• 通过将坐标环 $ \mathbb{C}[S_1 \oplus S_2] $ 分解为 $ T \times \mathbb{C}^* \times \mathbb{C}^* $-不可约表示，分析希尔伯特纲的结构。
• 计算希尔伯特纲上 $ \mathbb{C}^* \times \mathbb{C}^* $-作用的不动点，得到 13 个此类点，用于研究局部几何。
• 计算每个不动点处的切空间与障碍理论，显示维数为 4 或 5，且二次障碍映射可约，具有两个不同的因子。
• 通过表示分解推断第二分支的存在：在 $ S_1 $ 与 $ S_2 $ 的权 3 处选取直线，可得到 $ \mathbb{P}^2 \times \mathbb{P}^2 $ 的同构副本。
• 推测一个包含 $ H^{\text{orb}} $、$ \mathbb{P}^2 \times \mathbb{P}^2 $ 与 $ Z $ 的交换图可实现 Mukai 型坍缩，从而关联该奇点的两个小分辨率。

实验结果

研究问题

• RQ1 由二面体四面体群导出的商奇点 $ (S_1 \oplus S_2)/T $ 是否存在显式的辛分辨率？
• RQ2 等变希尔伯特纲 $ T\text{-Hilb}(S_1 \oplus S_2) $ 的结构如何？它是否能给出该商奇点的典范分辨率？
• RQ3 希尔伯特纲中是否存在多个不可约分支？它们如何相交？
• RQ4 该分辨率是否可通过包含 $ H^{\text{orb}} $ 与 $ \mathbb{P}^2 \times \mathbb{P}^2 $ 的图示，作为两个小分辨率之间的坍缩来描述？
• RQ5 希尔伯特纲的不动点与切空间如何揭示分辨率的整体几何结构？

主要发现

• 等变希尔伯特纲 $ T\text{-Hilb}(S_1 \oplus S_2) $ 有两个不可约分支：光滑的轨道分支 $ H^{\text{orb}} $，其在商上具有满射性，以及一个与 $ \mathbb{P}^2 \times \mathbb{P}^2 $ 同构的第二分支。
• 两个分支沿典型交集簇横截相交，该交集簇构成分辨率的例外集。
• 希尔伯特纲在 $ \mathbb{C}^* \times \mathbb{C}^* $-作用下恰好有 13 个不动点，其中 7 个点的切空间维数为 4，6 个点的维数为 5。
• 每个不动点处的障碍映射为可约二次型，具有两个不同的因子，确认不存在额外分支。
• 该分辨率是典范且辛的，且正则部分上的辛形式可延拓至整个希尔伯特纲。
• 该分辨率被推测源于 Mukai 坍缩，其包含 $ H^{\text{orb}} $、$ \mathbb{P}^2 \times \mathbb{P}^2 $ 与商 $ Z $ 的交换图，暗示两个小分辨率之间存在对偶性。