[論文レビュー] Lectures on Noncommutative Resolutions

Michael Wemyss|arXiv (Cornell University)|Oct 9, 2012

Algebraic structures and combinatorial models参考文献 36被引用数 15

ひとこと要約

この論文は、次元2および次元3における非可換クリープ的解消（NCCRs）の構成と幾何的解釈に焦点を当て、例に基づいた導入を提供する。NCCRsは、最大コhen＝マカウレイ（CM）モジュールの自己準同型環を通じて構成できることを示し、クーヴィーのGITおよび導来圏と関連付ける。また、次元3ではNCCRsが導来同値性に関して一意的であり、次元2ではモラita同値性に関して一意的であることを確立する。

ABSTRACT

These lecture notes are an expanded write-up of my short lecture series "Noncommutative Resolutions" given to the MSRI Graduate Student Workshop "Noncommutative Algebraic Geometry" during June 2012. The notes include five chapters, an appendix on quivers, exercises and sketch solutions. The accompanying video lectures can be found at http://www.msri.org/web/msri/scientific/workshops/show/-/event/Wm9213

研究の動機と目的

• 明示的な例を通じて、非可換クリープ的解消（NCCRs）を理解するための幾何的および代数的枠組みを提供すること。
• Gorenstein特異点上の最大コhen＝マカウレイモジュールの自己準同型環からNCCRsがどのように生じるかを説明すること。
• 特にADE表面特異点の文脈において、クーヴィーのGITおよびトーリック解消を通じて、NCCRsを古典的幾何と関連付けること。
• 次元3におけるNCCRsの導来同値性に関する一意性および次元2におけるモラita同値性に関する一意性を確立すること。
• ティルティング理論および特異導来圏が、NCCRsとクリープ的解消およびカラビ＝ヤウ性質を結びつける役割を果たすことを示すこと。

提案手法

• 商特異点、特にC²におけるZ3作用に対して、Auslander代数およびスケュー群環を用いてNCCRsを構成する。
• 深さ補題、反射的同値、Auslander-Buchsbaumの公式を用いて、自己準同型環の有限グローバル次元を検証する。
• クーヴィーのGITを用いて、NCCRsから幾何的データ（安定性条件による複数のクリープ的解消を含む）を抽出する。
• ティルティング理論および導来圏を用いて、NCCRsを最小解消と比較し、NCCRsがd-CY代数であることを証明する。
• AR双対性およびKnörrer周期性を用いて、NCCRsをAR系列および超曲面特異点上のモジュール圏と関連付ける。
• 全空間関手を用いて、解消上のラインバンドルの自己準同型環を明示的なクーヴィー表示を通じてNCCR代数と特定する。

実験結果

リサーチクエスチョン

• RQ1 商特異点上の最大コhen＝マカウレイモジュールから、非可換解消を明示的にどのように構成できるか。
• RQ2 特異環上のモジュールの自己準同型環が有限グローバル次元を持ち、非可換クリープ的解消となるための条件は何か。
• RQ3 クーヴィーのGITおよびトーリック幾何を通じて、NCCRsは古典的クリープ的解消とどのように関係するか。
• RQ4 なぜ次元3ではNCCRsが導来同値性に関して一意的であり、次元2ではモラita同値性に関して一意的なのか。
• RQ5 ティルティングおよび導来圏は、NCCRsがカラビ＝ヤウ性質および McKay対応とどのように関連するか。

主な発見

• G ≤ SL(2,C) である2次元Gorenstein商特異点 C[[x,y]]^G に対して、最大コhen＝マカウレイモジュール M に対して、自己準同型環 End_R(R ⊕ M) は有限グローバル次元を持ち、NCCRを定義する。
• 次元2では任意の2つのNCCRsはモラita同値であり、次元3では導来同値である。例により、これらの境界が鋭いことが示される。
• スケュー群環によるNCCR構成は、ADEの場合に最小解消を回復し、ティルティングを介して導来 McKay対応が成立する。
• クーヴィーのGITは、1つのNCCRから異なる安定性条件によって得られる3つの異なるクリープ的解消を抽出するメカニズムを提供する。
• NCCRのアズマヤ局所有は、基底環の正則部分と一致し、K0群は環の類群へ全射である。
• Knörrer周期性同値は、R と R' の上のCM圏の間の同値を誘導し、uv = x^2y および uv = x^2y^3 の形の特異点において、Ext群が同型であることを示す。