[論文レビュー] Gorenstein isolated quotient singularities of odd prime dimension are cyclic

Kazuhiko Kurano, Shougo Nishi|arXiv (Cornell University)|Mar 19, 2009

Algebraic structures and combinatorial models参考文献 2被引用数 6

ひとこと要約

この論文は、表現論と群論的議論を用いて、奇素数次元におけるGorenstein特異点の孤立商特異点が必ず巡回的であることを証明している。代数幾何学および特異点論における長年の分類問題を解決する。

ABSTRACT

Gorenstein isolated quotient singularities of odd prime dimension are cyclic. In the case where the dimension is bigger than 1 and is not an odd prime number, then there exist Gorenstein isolated non-cyclic quotient singularities.

研究の動機と目的

• 奇素数次元におけるGorenstein特異点の孤立商特異点を分類すること。
• このような特異点が奇素数次元において巡回的であるかどうかを特定すること。これは、次元3における既知の結果の拡張である。
• n が奇素数であるとき、SL(n,C) の有限部分群で、非自明な固定点を持たない（つまり、恒等写像以外に固有値1をもたない）ものは、必ず巡回的であることを証明すること。
• 有限群の固定点自由表現に関する分類結果について、新しい初等的証明を提供すること。
• 奇素数でない次元において反例を構成することで、結果が一般化されないことを示すこと。

提案手法

• 問題を、SL(n,C) の有限部分群で、固定点をもたない（恒等写像以外に固有値1をもたない）作用を持つものに帰着する。
• Shephard-Toddの定理と分岐被覆の純粋性を用いて、特異点集合の次元と、固有値1の重複度が ≥ i であるような元によって生成される部分群 H_i の構造を関連付ける。
• Watanabeの定理を適用して、Gorenstein性と、特異点集合が孤立しているときの G ⊂ SL(n,C) という条件を結びつける。
• 表現論を用いる：群の元をC上で対角化し、群作用による固有値集合の変換を分析する。
• 行列 A と B を用いて、特定の固有値および交換関係 AB = BA^α（α ≠ 1）を満たす非アーベル例を、奇素数でない次元で構成する。
• G ⊂ SL(n,C) かつ恒等写像以外の元が固有値1を持たないならば、n が奇素数のとき、固有値集合と単位根に関する直接的な群論的議論により G は巡回的であることを示す。

実験結果

リサーチクエスチョン

• RQ1 奇素数次元におけるすべてのGorenstein特異点の孤立商特異点は、必ず巡回的であるか？
• RQ2 有限部分群 G ⊂ GL(n,C) に対して、不変環 R^G が孤立特異点を持つための条件は何か？
• RQ3 有限群の固定点自由表現の分類が、奇素数次元においてその群が巡回的であることを示すために利用可能か？
• RQ4 なぜ奇素数でない次元では非巡回的例が存在するのか？
• RQ5 特異点集合の制御において、部分群 H_i = ⟨Σ_i⟩ が果たす役割は何か？

主な発見

• 奇素数次元におけるGorenstein特異点の孤立商特異点は、常に巡回的である。これは、このクラスにおける予想を確認するものである。
• n が奇素数であるとき、SL(n,C) の有限部分群で、恒等写像以外の元が固有値1を持たないものは、すべて巡回的である。
• 証明は初等的かつ自己完結的であり、固定点自由表現に関する深い分類定理に依存しない。
• 奇素数でない次元（例：n=4,6）では、非巡回的Gorenstein特異点の孤立商特異点が存在する。
• 固有値と交換関係 AB = BA^α（α ≠ 1）を満たす行列 A と B によって生成される群は、n = qn'（q と l が互いに素）の次元で非アーベル的かつ非巡回的例を提供する。
• f(G) の行列式は1であり、f(G) ⊂ SL(n,C) である。これにより、構成された群はアーベル的ではなく、従って巡回的でもないことが示され、非奇素数次元における非巡回性が証明される。