[論文レビュー] Gorenstein isolated quotient singularities over C

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

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

ひとこと要約

この論文は、有限部分群 $G < GL(N,\mathbb{C})$ に対する $\mathbb{C}^N/G$ の形をした Gorensteinで孤立した商特異点を、孤立した商特異点の完全な Zassenhaus-Vincent-Wolf 分類を用いて分類している。特異点が Gorenstein であるための条件は、分類に含まれる群が $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で孤立した商特異点を、解析的同型を除いて分類すること。
• Kurano と Nishi が示した「奇数次元の Gorensteinで孤立した商特異点は必ず巡回的である」という結果を、拡張・一般化すること。
• Zassenhaus-Vincent-Wolf 分類を用いて、次元 $N \leq 7$ におけるこのような特異点の完全な記述を提供すること。
• Zassenhaus-Vincent-Wolf のリストに含まれる有限群のすべての既約表現のうち、行列式が 1 であるもの（$\det \rho = 1$）を特定し、それらが Gorenstein 特異点をもたらすことを同定すること。
• リーマン幾何学による分類と代数幾何学による分類のギャップを埋めるために、幾何的群型を代数的不変量に翻訳し、特異点分類に応用すること。

提案手法

• 複素数体上の孤立した商特異点の Zassenhaus-Vincent-Wolf 分類を用いる。この分類は、一定正曲率のコンpakトなリーマン多様体の分類に由来する。
• Watanabe の基準を適用する：商特異点 $\mathbb{C}^N/G$ が Gorensteinであるための必要十分条件は、$G \leq SL(N,\mathbb{C})$ であること、すなわち表現の行列式が 1 であること。
• 分類に含まれる各群型について、その既約表現の行列式を計算し、Gorenstein 特異点をもたらす表現を同定する。
• 各群型（I–VI）に対して、行列式が 1 で、非自明な固定点をもたない表現を選んで、明示的な特異点族を構成する。
• 2 次元または 3 次元の既約表現の直和を用いて、高次元特異点（$N=6$）を構成し、Gorenstein 条件を保つ。
• パラメータに数論的条件（例：$n$ を法とする合同式、互いに素であること、整除性）を課すことにより、Gorenstein 条件および孤立特異点の性質を保証する。

実験結果

リサーチクエスチョン

• RQ1 有限部分群 $G < GL(N,\mathbb{C})$ のうち、どの群が $\mathbb{C}^N/G$ の形をした孤立した商特異点を Gorenstein にし得るか？
• 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$ には、3 種類の無限族の Gorensteinで孤立した商特異点が存在する：$X_{IV}^{(1)}(n,l')$、$X_{IV}^{(2)}(v,k)$、$X_{IV}^{(3)}(n,k,l',j)$。これらは特定の群型と表現から生じる。
• 次元 $N=6$ では、タイプ I の群の 2 次元既約表現の直和から Gorensteinで孤立した商特異点が生じ、和の指数が $n$ を法として 0 に合同である条件を満たす必要がある。
• 次元 $N=6$ で $q=3$ の場合、タイプ I 群の 2 次元表現の直和から特異点が生じ、和の指数が $n/3$ を法として 0 に合同である条件を満たす必要がある。
• タイプ I–VI の群に対して、次元 6 の既約表現で行列式が 1 であるものは存在しないため、この場合、既約表現からの特異点は生じない。