[論文レビュー] The Classification of Special Cohen-Macaulay Modules

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

Algebraic structures and combinatorial models参考文献 21被引用数 7

ひとこと要約

本稿は、有限部分群 G ≤ GL(2,C) に対する2次元商特異点 C²/G における特別なコhen-マカウレイ（CM）加群の完全な分類を、Ext群の消滅およびシジージ関手によるホモロジー的特徴づけを用いて行う。問題をアウスランダー＝リーデン(Q)の組み合わせ論に還元することで、A, D, T, O, I のすべてのタイプについて、特別なCM加群を明示的に構成し、それらが有限個であり、最小解消における例外的曲線とちょうど一対一に対応することを示す。この枠組みは、有理正規表面へ一般化可能である。

ABSTRACT

In this paper we completely classify all the special Cohen-Macaulay (=CM) modules corresponding to the exceptional curves in the dual graph of the minimal resolutions of all two dimensional quotient singularities. In every case we exhibit the specials explicitly in a combinatorial way. Our result relies on realizing the specials as those CM modules whose first Ext group vanishes against the ring R, thus reducing the problem to combinatorics on the AR quiver; such possible AR quivers were classified by Auslander and Reiten. We also give some general homological properties of the special CM modules and their corresponding reconstruction algebras.

研究の動機と目的

• GL(2,C) の非巡回部分群に対して、非自明な特別な表現を明示的に特定する長年の未解決問題を解消すること。
• 不変環 R に対する最初の Ext 群が消えることによって、特別なCM加群をホモロジー的に特徴づけること。
• GL(2,C) のすべての小さな有限部分群（A, D, T, O, I を含む）について、すべての非分解的特別CM加群を分類すること。
• 特別なCM加群と C²/G の最小解消における例外的曲線との間の1対1対応を確立すること。
• 理論を有理正規表面へ一般化し、CM加群の最初のシジージがシジージ有限であることを示すこと。

提案手法

• ホモロジー的特徴づけの使用：特別なCM加群は Ext¹_R(M, R) = 0 を満たすものとして定義される。
• アウスランダー＝リーデン（AR）双対性を用いて、分類問題をARクイバー上の組み合わせ論に還元すること。
• ARクイバー上の数え上げ的議論を通じて、シジージ関手を応用し、特別な加群を計算・同定すること。
• アウスランダーとリーデンによるARクイバーの分類を活用し、すべてのケースを体系的に分析すること。
• 幾何的議論を用いてホモロジー的性質を検証し、最小解消の双対グラフを再構成すること。
• 特別なCM加群の自己準同型環から再構成代数を構成し、そのグローバル次元が2または3であることを証明すること。

実験結果

リサーチクエスチョン

• RQ1 商特異点 C²/G における非分解的CM加群の中で、最小解消における例外的曲線に対応する特別な加群はどれか？
• RQ2 特別なCM加群は、解消の幾何的データに依存せずに、純粋にホモロジー的に特徴づけられるか？
• RQ3 GL(2,C) のすべての小さな有限部分群（非巡回を含む）について、特別なCM加群の完全なリストは何か？
• RQ4 特別なCM加群に関連する再構成代数は、最小解消の幾何をどのように反映しているか？
• RQ5 再構成代数のグローバル次元は何か？そして、Gorenstein性とどのように関係しているか？

主な発見

• すべての小さな有限部分群（A, D, T, O, I を含む）について、特別なCM加群が完全に分類された。
• 特別なCM加群は、Ext¹_R(M, R) = 0 を満たすものに限り、解消の幾何に依存しないホモロジー的基準を与える。
• 各群のタイプについて、ARクイバー構造を用いた組み合わせ的かつ明示的な方法で特別なCM加群が提示された。
• 特別なCM加群に関連する再構成代数のグローバル次元は、特異点がGorenstein（すなわち有理的二重点）である場合に限り2である。
• 各群について、非分解的特別CM加群の数は有限であり、最小解消における例外的曲線とちょうど一対一に対応する。
• 分類により、無限個の非分解的CM加群が存在する場合でも、CM加群の最初のシジージがシジージ有限であることが明らかになった。