[論文レビュー] On steady non-commutative crepant resolutions

Osamu Iyama, Yusuke Nakajima|arXiv (Cornell University)|Sep 30, 2015

Algebraic structures and combinatorial models参考文献 33被引用数 4

ひとこと要約

この論文は、コhen-マカウレイ正規環に対する安定かつ分割可能な非可換クレープ解体（NCCR）の概念を導入する。特性0の代数閉体上での完全局所ゴレンシュタイン正規環が、安定かつ分割可能なNCCRをもつための必要十分条件は、その環が有限アーベル群による商特異点であることである。この結果により、類群の有限性と加群論的条件を用いてこのような特異点が特徴づけられる。

ABSTRACT

We introduce special classes of non-commutative crepant resolutions (= NCCR) which we call steady and splitting. We show that a singularity has a steady splitting NCCR if and only if it is a quotient singularity by a finite abelian group. We apply our results to toric singularities and dimer models.

研究の動機と目的

• 安定かつ分割可能な非可換クレープ解体（NCCR）をもつ特異点を特徴づけること。
• 安定かつ分割可能なNCCRの存在が、有限アーベル群による商特異点であることを示すこと。
• 結果をトーリック特異点およびダイマー・モデルに適用し、代数的条件と幾何的・組合せ的構造との関係を結びつけること。
• NCCRの存在、類群の有限性、および安定性・分割性といった加群論的性質との関係を調査すること。

提案手法

• 安定な反射的加群の概念を導入：その自己準同型代数が加法的包に属する生成元。
• ランク1の反射的加群の直和として定義される分割加群を導入し、分割NCCRを構成。
• 幾何的ティルティング理論とヴァン・デン・ベルクのNCCRフレームワークを用いて、加群圏と解体との関係を確立。
• トーリック幾何学およびダイマー・モデル理論の結果を応用し、類群とマケイクイバーを分析。
• 類群 Cl(R) 及びその有限性を、NCCRの存在を分類する主要な不変量として用いる。
• モリタ同値および加法的同値を用いて、異なるNCCR構成を比較し、同値を除いて一意であることを確立。

実験結果

リサーチクエスチョン

• RQ1 安定かつ分割可能なNCCRの存在が、有限アーベル群による商特異点を特徴づけるか？
• RQ2 類群 Cl(R) にどのような条件が満たされると分割NCCRが存在するか？
• RQ3 ダイマー・モデルおよびトーリック特異点は、安定NCCRの存在とどのように関係するか？
• RQ4 与えられた特異点のすべてのNCCRが安定ならば、それらはモリタ同値か？
• RQ5 基本的加群による分割NCCRの一意性を用いて、特異点を分類できるか？

主な発見

• 代数閉体上、特性0のd次元完全局所コhen-マカウレイ正規環 R が安定かつ分割可能なNCCRをもつための必要十分条件は、R が有限アーベル群による商特異点であることである。
• 安定かつ分割可能なNCCRの存在は、Cl(R) が有限であることと同値であり、Cl(R) 内のすべてのラインバンドルの直和がNCCRを与えることと同値である。
• トーリック特異点では、安定かつ分割可能なNCCRの存在は類群が有限であることと同値であり、これは特異点が有限アーベル群による商であることと同値である。
• ダイマー・モデルの場合は、正六角形のダイマー・モデルが安定NCCRをもつための必要十分条件は、対応する代数が SL(3,k) の有限アーベル部分群によるスケュー群代数に同型であることである。
• 類群 Cl(R) が有限であるとき、Cl(R) の正規表現から得られるNCCRは加法的同値を除いて一意である。
• 次元2では、安定NCCRの存在は特異点が商特異点であることを示し、すべてのNCCRが安定かつモリタ同値である。