[论文解读] Gorenstein isolated quotient singularities over C

D. A. Stepanov|arXiv (Cornell University)|Dec 14, 2010

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

一句话总结

本文利用 Zassenhaus-Vincent-Wolf 对孤立商奇异点的完整分类，对形式为 $\mathbb{C}^N/G$ 的 Gorenstein 孤立商奇异点进行分类，其中 $G < GL(N,\mathbb{C})$ 为有限子群。通过确定分类中哪些群属于 $SL(N,\mathbb{C})$，识别出所有此类奇异点，推广了 Kurano 和 Nishi 关于奇数维循环奇异点的结果，并在维度至 7 的范围内提供了显式家族。

ABSTRACT

In this paper we review the classification of isolated quotient singularities over the field of complex numbers due to H. Zassenhaus, G. Vincent, and G. A. Wolf. As an application we describe Gorenstein isolated quotient singularities over C, generalizing a result of K. Kurano and S. Nishi.

研究动机与目标

• 对形式为 $\mathbb{C}^N/G$ 的所有 Gorenstein 孤立商奇异点在 $\mathbb{C}$ 上进行分类，按解析同构关系区分。
• 扩展并推广 Kurano 和 Nishi 的结果，即奇数维 Gorenstein 孤立商奇异点必为循环的。
• 利用 Zassenhaus-Vincent-Wolf 分类，对维度 $N \leq 7$ 的此类奇异点提供完整描述。
• 识别 Zassenhaus-Vincent-Wolf 列表中所有有限群的不可约表示，使得通过行列式条件 $\det \rho = 1$ 产生 Gorenstein 奇异点。
• 通过将黎曼几何分类中的几何群类型转化为代数不变量，弥合黎曼几何分类与代数几何之间的差距。

提出的方法

• 利用 Zassenhaus-Vincent-Wolf 对 $\mathbb{C}$ 上孤立商奇异点的分类，该分类源于常正曲率紧致黎曼流形的分类。
• 应用 Watanabe 准则：商奇异点 $\mathbb{C}^N/G$ 是 Gorenstein 的当且仅当 $G \leq SL(N,\mathbb{C})$，即表示的行列式为 1。
• 对分类中每类群型的不可约表示计算行列式，以识别哪些表示产生 Gorenstein 奇异点。
• 对每类群型（I–VI），通过选择行列式为 1 且无非平凡不动点的表示，构造显式的 Gorenstein 奇异点家族。
• 使用二维或三维不可约表示的直和构造高维奇异点（$N=6$），同时保持 Gorenstein 条件。
• 对参数施加数论条件（如模 $n$ 同余、互质性及整除性），以确保满足 Gorenstein 条件和孤立奇异点性质。

实验结果

研究问题

• RQ1 哪些有限子群 $G < GL(N,\mathbb{C})$ 会产生 Gorenstein 的孤立商奇异点 $\mathbb{C}^N/G$？
• RQ2 Kurano 和 Nishi 关于奇数维 Gorenstein 孤立商奇异点必为循环的结论，能否从完整的 Zassenhaus-Vincent-Wolf 分类中推广并推导出来？
• RQ3 在维度 $N \leq 7$ 范围内，Gorenstein 孤立商奇异点的完整家族是什么？
• RQ4 Zassenhaus-Vincent-Wolf 群的哪些不可约表示满足行列式为 1 且无非平凡不动点，从而产生 Gorenstein 奇异点？
• RQ5 如何将紧致对称空间的分类方法改编为通过表示理论对代数奇异点进行分类？

主要发现

• 在维度 $N=5$ 时，所有 Gorenstein 孤立商奇异点均为循环的，与 Kurano 和 Nishi 的结果一致。
• 在维度 $N=7$ 时，唯一的 Gorenstein 孤立商奇异点为循环的，再次验证了奇数维情形。
• 在 $N=4$ 时，存在三类无限家族的 Gorenstein 孤立商奇异点：$X_{IV}^{(1)}(n,l')$、$X_{IV}^{(2)}(v,k)$ 和 $X_{IV}^{(3)}(n,k,l',j)$，分别源于特定群型和表示。
• 在维度 $N=6$ 时，Gorenstein 孤立商奇异点源于类型 I 群的二维不可约表示的直和，且对指数和模 $n$ 有特定条件。
• 当 $q=3$ 时，在 $N=6$ 情形下，奇异点源于类型 I 群的两个二维表示的直和，且指数和模 $n/3$ 同余于 0。
• 对于类型 I–VI 的群，不存在维度为 6 且行列式为 1 的不可约表示，因此此类奇异点不会由不可约表示产生。