[論文レビュー] Reduction of triangulated categories and Maximal Modification Algebras for cA_n singularities

Osamu Iyama, Michael Wemyss|arXiv (Cornell University)|Apr 18, 2013

Algebraic structures and combinatorial models参考文献 26被引用数 12

ひとこと要約

本稿は、クルール次元が1以下の三角化カテゴリにおけるカルラビ–ヤウ還元を導入し、コhen–マカウルモジュールの導来カテゴリを通じて $cA_n$ 特異点のクレパント解消を研究するための枠組みを確立する。完全局所 $cA_n$ 特異点上の最大修正モジュールの完全分類を対称群を用いて行い、すべての $\mathbb{Q}$-因子的トーラル化が変異によって導来同値であることを証明する。

ABSTRACT

In this paper we define and study triangulated categories in which the Hom-spaces have Krull dimension at most one over some base ring (hence they have a natural 2-step filtration), and each factor of the filtration satisfies some Calabi-Yau type property. If C is such a category, we say that C is Calabi-Yau with dimension at most one. We extend the notion of Calabi-Yau reduction to this setting, and prove general results which are an analogue of known results in cluster theory. Such categories appear naturally in the setting of Gorenstein singularities in dimension three as the stable categories of Cohen-Macaulay modules. We explain the connection between Calabi-Yau reduction of $\underline{ m CM} R$ and both partial crepant resolutions and Q-factorial terminalizations of Spec R, and we show under quite general assumptions that Calabi-Yau reductions exist. In the remainder of the paper we focus on complete local cA_n singularities R. By using a purely algebraic argument based on Calabi-Yau reduction of $\underline{ m CM} R$, we give a complete classification of maximal modifying modules in terms of the symmetric group, generalizing and strengthening results in [BIKR] and [DH], where we do not need any restriction on the ground field. We also describe the mutation of modifying modules at an arbitrary (not necessarily indecomposable) direct summand. As a corollary when the field is the complex numbers, we obtain many autoequivalences of the derived category of the Q-factorial terminalizations of Spec R.

研究の動機と目的

• クルール次元 ≤1 である三角化カテゴリにおけるカルラビ–ヤウ還元の枠組みを構築し、代数的手法を用いたクレパント解消の研究を可能にする。
• 安定カテゴリ $\underline{\rm CM}\,R$ のカルラビ–ヤウ還元が、$\mathop{\rm Spec}\nolimits R$ の部分的クレパント解消および $\mathbb{Q}$-因子的トーラル化とどのように関係するかを結びつける。
• 体の制限なしに完全局所 $cA_n$ 特異点上の最大修正モジュールを分類する。これにより、先行研究を一般化する。
• 任意の直和成分における修正モジュールの変異を定義し、$k=\mathbb{C}$ のとき、$\mathbb{Q}$-因子的トーラル化の導来カテゴリの間の導来同値性を確立する。

提案手法

• クルール次元 ≤1 である三角化カテゴリ $\mathcal{C}$ を定義し、$R$ 上のホモロジー空間のクルール次元が ≤1 であるものとし、2段階フィルトレーションの各因子がカルラビ–ヤウ型性質を満たすようにする。
• 全部分カテゴリ $\mathcal{Z}/[\mathcal{M}]$ 上でのカルラビ–ヤウ還元を、$\mathcal{M}$ が $\mathcal{Z}$ において関手的に有限で、コネとココネに閉じている場合の商構成として導入する。
• ゴレンシュタイン3次元特異点のための $\mathop{\rm D}_{\mathsf{sg}}(R) = \underline{\rm CM}\,R$ に理論を適用し、還元が幾何的.partial crepant 解消に対応することを示す。
• カルラビ–ヤウ還元に基づく代数的技法を用いて、対称群作用を通じて完全局所 $cA_n$ 特異点上の最大修正モジュールを分類する。
• 任意の直和成分における修正モジュールの変異を定義し、それによって対応する環の導来カテゴリの間の導来同値性を示す。
• $k=\mathbb{C}$ のとき、$\mathop{\rm Spec}\nolimits R$ のすべての $\mathbb{Q}$-因子的トーラル化が、フラグの置換を伴う変異列によって結ばれることにより、導来同値であることを確立する。

実験結果

リサーチクエスチョン

• RQ1 カルラビ–ヤウ還元は、クルール次元 ≤1 である三角化カテゴリに一般化可能か？ また、それにはどのような幾何的情報を含むか？
• RQ2 $\underline{\rm CM}\,R$ のカルラビ–ヤウ還元と、$\mathop{\rm Spec}\nolimits R$ の部分的クレパント解消または $\mathbb{Q}$-因子的トーラル化との関係は何か？
• RQ3 完全局所 $cA_n$ 特異点上の最大修正モジュールは、体の制限なしに代数的にどのように分類可能か？
• RQ4 修正モジュールの変異が導来同値性を保存する条件は何か？ そしてそれは幾何的フロップとどのように関係するか？
• RQ5 $\mathop{\rm Spec}\nolimits R$ のすべての $\mathbb{Q}$-因子的トーラル化は導来同値か？ もしそうなら、どのような代数的機構によって実現されるか？

主な発見

• 一般的な仮定のもとでカルラビ–ヤウ還元が存在し、$\mathop{\rm Spec}\nolimits R$ の部分的クレパント解消を検出する完全な代数的手法を提供する。
• 完全局所 $cA_n$ 特異点上の最大修正モジュールの分類は、対称群作用によって達成され、体の制限なしに先行結果を一般化する。
• 任意の直和成分における修正モジュールの変異は、対応する環の導来カテゴリの間の導来同値性を誘導する。
• $k=\mathbb{C}$ のとき、$\mathop{\rm Spec}\nolimits R$ のすべての $\mathbb{Q}$-因子的トーラル化は、特異点のフラグを結ぶ変異列によって導来同値である。
• 任意の $\mathbb{Q}$-因子的トーラル化の導来カテゴリは、最大修正モジュール $T^\mathcal{F}$ に対する $\mathop{\rm End}_R(T^\mathcal{F})$ の導来カテゴリと導来同値であり、特異点の置換に対しても導来同値性が保たれる。
• 最大修正生成子の交換グラフは連結であり、すべてのこのようなモジュールが有限個の変異列によって結ばれていることを示し、すべての $\mathbb{Q}$-因子的トーラル化が導来同値であることを確認する。