[論文レビュー] Gorenstein Quotient Singularities of Monomial Type in Dimension Three

Yukari Ito|ArXiv.org|Jun 11, 1994

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

ひとこと要約

本稿は、SL(3,C) の有限部分群から生じる3次元の単項型 Gorenstein商特異点に対して、小引け解消を構成し、解消のオイラー特徴標数が群の共役類の数に等しいことを証明する。この手法は、トーリック幾何と群作用を組み合わせ、Z₂およびS₃作用の下での対称的解消を活用して位相的不変量を計算し、三面体型を超える5つの群クラスについて、オルビフォールド・オイラー特徴標数予想を検証する。

ABSTRACT

The purpose of this paper is to construct a crepant resolution of quotient singularities by finite subgroups of SL(3,C) of monomial type, and prove that the Euler number of the resolution is equal to the number of conjugacy classes. This result is a part of conjecture II in previous paper "Crepant resolution of trihedral singularities" (alg-geom 9404008). These singularities are different from trihedral, but main idea of the proof is based on the method of trihedral case.

研究の動機と目的

• SL(3,C) の有限部分群のうち、三面体型でない単項型のものについて、オルビフォールド・オイラー特徴標数予想の証明を拡張すること。
• 分類におけるタイプ (I)–(V) の群 G に対して、商特異点 C³/G の明示的かつ小引け解消を構成すること。
• 解消のオイラー特徴標数が G の共役類の数に等しいことを確認し、局所的形での予想 II を裏付けること。
• 三面体群に対して用いられた手法を、非アーベル的かつ非三面体型の単項型群へ一般化し、トーリック解消と群作用を用いること。
• 例外的除集合への対称的群作用を通じて、解消の位相的不変量を計算するための枠組みを確立すること。

提案手法

• G に含まれる対角行列から生成されるアーベル正規部分群 G′ に対して、小引けかつ群作用に関して対称的なトーリック解消を適用する。
• Y = C³/G′ の小引け解消に Z₂ または S₃ の作用を上げ、商空間 Y/G′ を形成することで、X = C³/G の特異点を解消する。
• 解消 τ, π, μ を含む図式を構成し、X の解消と Y 及びその商の解消との関係を明示する。
• 群作用が例外的除集合に与える固定点を分析し、特に S₃ 作用における P² 成分上の3つの固定点に注目する。
• 群元の固定点と例外的成分を考慮した式 χ(Ỹ/G) = (1/|G|)∑χ(Fix(g)) を用いて、解消のオイラー特徴標数を計算する。
• 各群タイプについて個別に検証することで、得られたオイラー特徴標数が G の共役類の数と一致することを確認する。

実験結果

リサーチクエスチョン

• RQ1 SL(3,C) の有限部分群のうち、単項型のものについて、三面体型を超える場合にオルビフォールド・オイラー特徴標数予想が成立するか？
• RQ2 G が対角行列と特定の単項行列（S および T）によって生成される場合、商特異点 C³/G に対して小引け解消を構成可能か？
• RQ3 Y = C³/G′ の解消における群作用（Z₂ または S₃）が、X = C³/G の位相的性質にどのように影響を与えるか？
• RQ4 G の共役類の数と、C³/G の小引け解消のオイラー特徴標数との正確な関係は何か？
• RQ5 例外的除集合の対称的配置を分析することで、トーリック解消法を非アーベル的単項型群へ拡張可能か？

主な発見

• タイプ (I)–(V) の群に対して、C³/G の小引け解消が存在し、そのオイラー特徴標数は G の共役類の数に等しい。
• G₄ の解消におけるオイラー特徴標数は 9 であり、これは 9 個の共役類（単位元、C、C²、S、CS、C²S、T、CT、C²T）に一致する。
• G₅ については、解消のオイラー特徴標数が 6 であり、6 個の共役類（id、C、C²、S、CS、C²S）に対応する。
• G₄ の解消プロセスは、χ(Ỹ) = 3r² となる Y = C³/G′ のトーリック解消から始まり、その後 S₃ 商と固定点の解消を経る。
• S₃ 作用における例外的除集合上の固定点の数は正確に 3 つであり、これは対称的解消によってオイラー特徴標数に寄与する。
• 一般式 χ(Ỹ/S₃) = (1/6)(3r² - 9(r-1) - 3) + 3(r-1) + 3 は、共役類数と一致する正しいオイラー特徴標数を与える。