[论文解读] On the existence of crepant resolutions of Gorenstein Abelian quotient singularities in dimensions \geq 4

Dimitrios I. Dais, Martin Henk+1 more|ArXiv.org|Dec 28, 2005

Algebraic Geometry and Number Theory参考文献 86被引用 10

一句话总结

本文利用 торические 和离散几何技术，研究了在维度 ≥4 时，Gorenstein 的阿贝尔商群奇点是否存在创痕性解析。论文建立了两个涉及 Hilbert 基元素和上界定理的必要条件，并提出了一类新的无限系列非完全交集循环商奇点，这些奇点在维度 ≥4 时存在投影创痕性解析。

ABSTRACT

For which finite subgroups G of SL(r,C), r \geq 4, are there crepant desingularizations of the quotient space C^r/G? A complete answer to this question (also known as "Existence Problem" for such desingularizations) would classify all those groups for which the high-dimensional versions of McKay correspondence are valid. In the paper we consider this question in the case of abelian finite subgroups of SL(r,C) by using techniques from toric and discrete geometry. We give two necessary existence conditions, involving the Hilbert basis elements of the cone supporting the junior simplex, and an Upper Bound Theorem, respectively. Moreover, to the known series of Gorenstein abelian quotient singularities admitting projective, crepant resolutions (which are briefly recapitulated) we add a new series of non-c.i. cyclic quotient singularities having this property.

研究动机与目标

• 确定哪些有限阿贝尔子群 G ⊂ SL(r, ℂ)（其中 r ≥ 4）使得商奇点 ℂ^r/G 允许创痕性解析。
• 通过解决创痕性消去的“存在性问题”，将 McKay 对应关系推广到高维。
• 对允许投影创痕性解析的 Gorenstein 阿贝尔商奇点进行分类，尤其关注已知完全交集（c.i.）情况之外的情形。
• 开发几何与组合工具——特别是通过 Hilbert 基和格单纯形——以分析此类解析的存在性。
• 识别出新的奇点类别，包括非完全交集循环奇点，这些奇点在维度 ≥4 时允许创痕性解析。

提出的方法

• 利用 торические 几何与离散几何，通过初级单纯形及其相关锥体分析商奇点 ℂ^r/G 的结构。
• 应用支撑初级单纯形锥的 Hilbert 基，推导创痕性解析存在的必要条件。
• 通过单模变换和 Hermite 标准形的格约化，将初级单纯形转化为 ℤ^{r−1} 中的标准格单纯形。
• 利用单纯形中格点计数公式（定理 D.8）计算变换后单纯形中 Hilbert 基元素的数量。
• 应用上界定理，基于群作用的组合不变量，约束创痕性解析可能存在的范围。
• 通过单模矩阵将原始格 N_G 变换为标准格 ℤ^{r−1}，从而可应用已知的格点计数技术。

实验结果

研究问题

• RQ1 对于哪些有限阿贝尔子群 G ⊂ SL(r, ℂ)（其中 r ≥ 4），商奇点 ℂ^r/G 允许创痕性解析？
• RQ2 G 的哪些组合或几何条件是存在投影创痕性解析的必要条件？
• RQ3 在维度 ≥4 时，新的非完全交集循环商奇点类别是否可能允许投影创痕性解析？
• RQ4 初级单纯形锥的 Hilbert 基元素如何与创痕性解析的存在性相关联？
• RQ5 能否基于初级单纯形中格点数量推导出上界，以约束创痕性消去的存在性？

主要发现

• 推导出创痕性解析存在的两个必要条件：一个涉及初级单纯形锥的 Hilbert 基元素，另一个通过上界定理。
• 识别出一类新的无限系列非完全交集循环商奇点（维度 ≥4），这些奇点允许投影创痕性解析。
• 通过变换至 ℤ^{r−1} 中的标准格单纯形，计算出初级单纯形中格点数量，该数量在单模变换下保持不变，且可利用定理 D.8 确定。
• 通过单模矩阵和 Hermite 标准形的变换过程，可将计数问题约化为标准格设置，从而实现显式计算。
• 本文确立了创痕性解析的存在性受群作用组合结构的约束，特别是通过初级单纯形及其 Hilbert 基的结构。
• 该构造证实，初级单纯形中 Hilbert 基元素的数量在格同构下保持不变，为检测创痕性解析的存在性提供了关键不变量。