[论文解读] How to calculate A-Hilb C^3

Alastair Craw, Miles Reid|ArXiv.org|Sep 15, 1999

Algebraic Geometry and Number Theory参考文献 4被引用 44

一句话总结

本文提出了一种简化方法，用于计算有限对角子群 $A \subset \mathrm{SL}(3,\mathbb{C})$ 的 Nakamura 的 $A$-Hilb$\mathbb{C}^3$，方法基于初等单形的正则三角剖分与连分数。证明了通过初等单形的正则剖分，$A$-Hilbert 算符可实现为一个 торic 变体，从而提供 $\mathbb{C}^3/A$ 的共形解析的几何与算法构造。其主要贡献在于提出了一种直接的组合算法，替代了早期复杂的构造方法。

ABSTRACT

Iku Nakamura [Hilbert schemes of Abelian group orbits, J. Alg. Geom. 10 (2001), 757--779] introduced the G-Hilbert scheme for a finite subgroup G in SL(3,C), and conjectured that it is a crepant resolution of the quotient C^3/G. He proved this for a diagonal Abelian group A by introducing an explicit algorithm that calculates A-Hilb C^3. This note calculates A-Hilb C^3 much more simply, in terms of fun with continued fractions plus regular tesselations by equilateral triangles.

研究动机与目标

• 为有限对角子群 $A \subset \mathrm{SL}(3,\mathbb{C})$ 的 Nakamura 的 $A$-Hilb$\mathbb{C}^3$ 提供一种简化、几何化的算法。
• 用基于连分数与初等单形正则剖分的方法，替代 Nakamura 的原始算法。
• 证明由正则剖分生成的该 toric 变体与 $A$-Hilb$\mathbb{C}^3$ 同构。
• 为商奇点 $\mathbb{C}^3/A$ 的共形解析提供一种构造性、可视觉化的描述。

提出的方法

• 在 $\mathbb{R}^3$ 中构造初等单形 $\Delta$，其顶点为 $e_1, e_2, e_3$，并定义仿射格点 $\mathbb{Z}^2_\Delta = L \cap \mathbb{R}^2_\Delta$。
• 对每个顶点 $e_i$，利用 Jung–Hirzebruch 连分数规则计算其牛顿多边形：$f_{i,j-1} + f_{i,j+1} = a_{i,j} \cdot f_{i,j}$，其中 $a_{i,j} \geq 2$，即为 $\Delta \setminus \{e_i\}$ 中格点的凸包。
• 在 $\mathbb{R}^2_\Delta$ 中识别正三角形，其边向量构成正则三元组 $v_1, v_2, v_3$，满足 $\pm v_1 \pm v_2 \pm v_3 = 0$，且边位于从 $e_i$ 延伸的直线 $L_{ij}$ 上。
• 证明整个初等单形 $\Delta$ 被划分为这样的正三角形，形成边长为 $r$ 的正则剖分。
• 由该剖分构造 toric 花瓣 $\Sigma$，并证明其对应的 toric 变体 $Y_\Sigma$ 通过单项式基对应关系与 $A$-Hilb$\mathbb{C}^3$ 同构。
• 验证 $Y_\Sigma$ 的每个仿射部分均通过匹配单项式关系与 $A$-簇在“上”与“下”两种情形下的方程，参数化一个 $A$-簇。

实验结果

研究问题

• RQ1 如何以比原始算法更简单的方式计算 Nakamura 的 $A$-Hilb$\mathbb{C}^3$？
• RQ2 对 $\mathrm{SL}(3,\mathbb{C})$ 的有限对角子群，$A$-Hilbert 算符的几何结构是什么？
• RQ3 能否通过初等单形的正则剖分，将 $A$-Hilbert 算符实现为一个 toric 变体？
• RQ4 连分数与格点剖分在构造 $\mathbb{C}^3/A$ 的共形解析中起什么作用？
• RQ5 如何通过 $A$-簇的单项式关系与解析的花束结构相对应？

主要发现

• 初等单形 $\Delta$ 完全被正三角形划分，其边向量构成正则三元组，形成平面 $\mathbb{R}^2_\Delta$ 上的正则剖分。
• 由这些三角形的正则剖分所构造的 toric 变体 $Y_\Sigma$ 与 Nakamura 的 $A$-Hilb$\mathbb{C}^3$ 同构。
• $A$-Hilbert 算符 $A$-Hilb$\mathbb{C}^3$ 是商奇点 $\mathbb{C}^3/A$ 的共形解析，此结论由定理 1.2 与推论 1.3 建立。
• 每个紧致例外曲面在 $A$-Hilb$\mathbb{C}^3$ 中同构于 $\mathbb{P}^2$、Hirzebruch 曲面 $\mathbb{F}_n$，或对这类曲面进行一次或两次点的 Blowing up，包括 $\mathrm{dP}_6$。
• $A$-簇的单项式关系被花束结构完全捕捉：‘上’与‘下’情形分别对应于与剖分几何相匹配的不同单项式方程族。
• 该算法将 $A$-Hilb$\mathbb{C}^3$ 的计算简化为连分数过程与格点剖分，提供一种构造性且可视觉化的计算方法。