[論文レビュー] Maximal Modifications and Auslander-Reiten Duality for Non-isolated Singularities

Osamu Iyama, Michael Wemyss|arXiv (Cornell University)|Jul 8, 2010

Algebraic structures and combinatorial models参考文献 17被引用数 10

ひとこと要約

この論文は、1次元の特異点集合をもつ非孤立特異点へ、オースランダー＝レーゲンの双対性を一般化し、3次元ゴレンシュタイン環における非可換クレパント解体（NCCR）を研究するための枠組みとして、最大修正モジュラーを導入する。3次元ゴレンシュタイン環において、最大修正モジュラーの自己準同型代数の間の導来同値性を確立し、特異点が孤立でない場合にまで拡張されたクラスターティルティングを超えるモジュラーの変異理論を構築する。

ABSTRACT

We first generalize classical Auslander-Reiten duality for isolated singularities to cover singularities with a one-dimensional singular locus. We then define the notion of CT modules for non-isolated singularities and we show that these are intimately related to noncommutative crepant resolutions (NCCRs). When R has isolated singularities, CT modules recover the classical notion of cluster tilting modules but in general the two concepts differ. Then, wanting to generalize the notion of NCCRs to cover partial resolutions of Spec R, in the main body of this paper we introduce a theory of modifying and maximal modifying modules. Under mild assumptions all the corresponding endomorphism algebras of the maximal modifying modules for three-dimensional Gorenstein rings are shown to be derived equivalent. We then develop a theory of mutation for modifying modules which is similar but different to mutations arising in cluster tilting theory. Our mutation works in arbitrary dimension, and in dimension three the behavior of our mutation strongly depends on whether a certain factor algebra is artinian.

研究の動機と目的

• 孤立特異点から、1次元の特異点集合をもつ特異点へ、古典的オースランダー＝レーゲン双対性を拡張すること。
• 非孤立特異点の文脈において、CTモジュラーと最大修正モジュラーを定義し、それらを研究すること。
• 最大修正モジュラーを用いて、部分解体としての非可換クレパント解体（NCCR）を一般化すること。
• 任意の次元で動作し、特に高次元においてクラスターティルティングとは異なる方法で機能する、修正モジュラーの変異理論を構築すること。
• 3次元ゴレンシュタイン環における最大修正モジュラーの自己準同型代数が、弱い仮定のもとで導来同値であることを示すこと。

提案手法

• 深さと反射的同値の技法を用いて、1次元特異点集合をもつゴレンシュタイン特異点へオースランダー＝レーゲン双対性を一般化する。
• 非孤立特異点におけるCTモジュラーの概念を導入し、最大修正モジュラーおよびNCCRと関連付ける。
• クラスターティルティングモジュラーの一般化として、非孤立特異点に適した最大修正モジュラーを定義する。
• 3次元ゴレンシュタイン環における最大修正モジュラーの自己準同型代数の間の導来同値性を確立する。
• 修正モジュラーの変異手続きを定義し、その手続きが導来同値性を保ち、3次元においてある特定の因子代数がアーティン的であることによって依存することを示す。
• グローバル–ローカル性の性質とd-sCY代数を用いて、特異環上のモジュラーのホモロジー的性質を分析する。

実験結果

リサーチクエスチョン

• RQ1 オースランダー＝レーゲン双対性は、1次元特異点集合をもつ非孤立特異点へどのように拡張可能か？
• RQ2 非孤立特異点におけるクラスターティルティングおよびNCCRの正しい一般化は何か？
• RQ3 最大修正モジュラーは、非孤立な状況下でNCCRおよびCTモジュラーとどのように関係するか？
• RQ4 3次元ゴレンシュタイン環における最大修正モジュラーの自己準同型代数の間の導来同値性を保証する条件は何か？
• RQ5 任意の次元、特に3次元において、修正モジュラーの変異はどのように振る舞うか？

主な発見

• オースランダー＝レーゲン双対性は、1次元特異点集合をもつゴレンシュタイン特異点へ一般化され、そのCMモジュラーの安定圏に一般化されたカルラビ＝ヤウ性質が示唆される。
• 非孤立特異点におけるCTモジュラーが定義され、3次元ゴレンシュタインの場合に最大修正モジュラーと同値であることが示された。
• 3次元ゴレンシュタイン環上における最大修正モジュラーの自己準同型代数は、弱い仮定のもとで導来同値である。
• 任意の次元で修正モジュラーの変異が定義され、特に3次元においてある特定の因子代数がアーティン的であるかどうかに依存して、クラスターティルティングとは異なる振る舞いを示す。
• 変異プロセスは導来同値性を保ち、導来同値な代数のネットワークを可能にし、特定のモジュラーの組み合わせで変異を行うと自明な変異が得られる。
• この理論は、滑らかさが前提でない状況でも、最大修正モジュラーを用いたクレパント部分解体の研究のための枠組みを提供する。