[論文レビュー] The GL(2) McKay Correspondence

Michael Wemyss|arXiv (Cornell University)|Sep 11, 2008

Algebraic structures and combinatorial models参考文献 8被引用数 5

ひとこと要約

本稿では、特異点の最小解消の双対グラフから、特殊コhen＝マクオーレイ・モジュールの自己準同型環から得られる再構成代数のクーヴィエを組合せ的に再構成することで、任意のアフィン完全有理的表面特異点の最小解消の双対グラフから、GL(2, C) マケイ対応を確立する。主な結果は、クーヴィエ構造と解消の双対グラフ（自己交叉数を含む）との1対1対応であり、これは古典的なマケイ対応を SL(2, C) に限らず、GL(2, C) のすべての有限部分群へ拡張するものである。

ABSTRACT

In this paper we show that for any affine complete rational surface singularity there is a correspondence between the dual graph of the minimal resolution and the quiver of the endomorphism ring of the special CM modules. We thus call such an algebra the reconstruction algebra. As a consequence the derived category of the minimal resolution is equivalent to the derived category of an algebra whose quiver is determined by the dual graph. Also, for any finite subgroup G of GL(2,C), it means that the endomorphism ring of the special CM C[[x,y]]^G modules can be used to build the dual graph of the minimal resolution of C^2/G, extending McKay's observation for finite subgroups of SL(2,C) to all finite subgroups of GL(2,C).

研究の動機と目的

• . 本稿の目的は、非ゴレンシュタイン的表面商特異点におけるスケュー群環の幾何的曖昧性を解消し、より小さい、より情報量の多い代数を導入することである。
• 非ゴレンシュタイン的特異点の幾何的データ（特に最小解消の双対グラフ）を、GL(2, C) の有限部分群の表現論から抽出するという課題に取り組む。
• 古典的マケイ対応が SL(2, C) の有限部分群にのみ成立することを、GL(2, C) のすべての有限部分群へ一般化することを目的とする。
• 最小解消と、解消の双対グラフによって定まるクーヴィエをもつ有限次元代数の導来カテゴリの間の導来同倣を確立することを目的とする。
• 再構成代数のホモロジー的構造、特にそのグローバル次元および単純モジュールの射影次元を明確にすることを目的とする。

提案手法

• . リーマン＝ロッホおよびセール双対性を用いて Ext 群を計算し、クーヴィエおよび関係式の構造を幾何的に証明する。
• 特異点の有理的表面特異点における不分解的特殊コヘン＝マクオーレイ（CM）モジュールの和の自己準同型環として再構成代数を定義するために、ウンラムの特殊コヘン＝マクオーレイ・モジュール理論を適用する。
• クーヴィエは、最小解消の双対グラフから、自己交叉数および有理的特異点の連分数展開を手がかりとして、組合せ的に再構成される。
• A, D, E, T, O, I の各タイプの有理的特異点について、双対グラフからクーヴィエを構成する明示的な規則を提示し、連分数係数に基づく頂点の追加および矢印の重複度を含む。
• ブリッジランドおよびヴァン・デン・ベルクの非可換解消および導来カテゴリに関する研究を活用し、最小解消の導来カテゴリが再構成代数の導来カテゴリと同値であることを示す。
• ホモロジー代数を用いて再構成代数のグローバル次元を計算し、ゴレンシュタイン的および非ゴレンシュタイン的ケースを区別する。

実験結果

リサーチクエスチョン

• RQ1 . 再構成代数のクーヴィエは、アフィン完全有理的表面特異点の最小解消の双対グラフから、純粋に組合せ的に決定可能か？
• RQ2 GL(2,C) の有限小部分群 G ≤ GL(2,C) に対して、C[[x,y]]^G 上の特殊CMモジュールの自己準同型環は、C^2/G の最小解消の双対グラフを再構成できるか？
• RQ3 再構成代数のグローバル次元は何か？また、特異点のゴレンシュタイン性にどのように依存するか？
• RQ4 再構成代数における単純モジュールの射影次元は、特に非ゴレンシュタイン的特異点において、解消の幾何にどのように反映されるか？
• RQ5 最小解消の導来カテゴリは、G の表現論から構成された有限次元代数の導来カテゴリとして実現可能か？

主な発見

• . 再構成代数のクーヴィエは、任意のアフィン完全有理的表面特異点について、自己交叉数をラベルとする最小解消の双対グラフから、組合せ的に計算可能である。
• GL(2,C) の有限部分群 G ≤ GL(2,C) に対して、C[[x,y]]^G 上の特殊表現の和の自己準同型環 End_{C[[x,y]]^G}(⊕ρ 特殊(ρ⊗C[[x,y]])^G) は、G が自明な表現に対応する頂点を除いたクーヴィエを用いて、C^2/G の最小解消の双対グラフを再構成する。
• 再構成代数のグローバル次元は、特異点がゴレンシュタイン的であれば 2、そうでなければ 3 である。
• 非ゴレンシュタイン的ケースでは、特別な頂点 ⋆ に対応する単純モジュールの射影次元は 3 であり、他のすべての単純モジュールは射影次元 2 をもつ。この非対称性により、ホモロジー的均一性が破れる。
• 最小解消 ˆX の導来カテゴリは、再構成代数 A の導来カテゴリと同値である。
• A, D, T, O, I の各タイプの有理的特異点について、特異点の連分数展開からクーヴィエを構成する明示的な組合せ的規則が提示され、矢印の重複度は係数 αi > 2 または >3 に従う。