[論文レビュー] A New Triangulated Category for Rational Surface Singularities

Osamu Iyama, Michael Wemyss|arXiv (Cornell University)|May 25, 2009

Algebraic structures and combinatorial models参考文献 16被引用数 3

ひとこと要約

本稿では、有理表面特異点における特別なコhen＝マカウレイ（CM）加群のフレーバー型カテゴリーの安定商として、非ゴレンシュタインの場合における行列因数分解の安定カテゴリーの幾何的に意味のある代替物として、新たな三角的カテゴリーを導入する。主な貢献は、このカテゴリーにおける相対的射影的・射影的対象が、最小解消の双対グラフにおける非(−2)-曲線に正確に対応することの分類であり、これによりクリープント除数が特定され、再構成代数のホモロジー的理解が可能になる。

ABSTRACT

In this short paper we introduce a new triangulated category for rational surface singularities which in the non-Gorenstein case acts as a substitute for the stable category of matrix factorizations. The category is formed as a Frobenius quotient of the category of special CM modules, and we classify the relatively projective-injective objects and thus describe the AR quiver of the quotient. Connections to the corresponding reconstruction algebras are also discussed.

研究の動機と目的

• 非ゴレンシュタインの場合における不安定な行列因数分解の安定カテゴリーの代わりに、扱いやすい三角的カテゴリーを有理表面特異点に対して構成すること。
• 特別なCM加群のフレーバー型カテゴリーの安定商における相対的射影的・射影的対象を分類すること。
• この新しいカテゴリーを通じて、再構成代数の幾何的・ホモロジー的構造を明確にすること。
• 商カテゴリーのARクイバーと最小解消の双対グラフとの間の関係を確立すること。
• CM加群のカテゴリーがn-クラスターティルティング対象をもつ条件を特定すること、特にn=1,2およびn>2の場合について。

提案手法

• 著者たちは、双対性と相対的射影性を用いて、特別なCM加群のカテゴリー SCM(R) にフレーバー型カテゴリー構造を定義する。
• 相対的射影的・射影的対象を商することで、\underline{\underline{\mathop{\rm SCM}\nolimits}}(R) と表記される安定商カテゴリーを構成する。
• エスナウルトの完全な層の基準を用いて、幾何的データ（解消上の局所自由層）とCM加群を関連付ける。
• 相対的射影的・射影的対象が、SCM(R) においてRおよび双対グラフにおける非(−2)-曲線に対応する特別なCM加群であることを同定する。
• 相対的AR理論を適用して、商カテゴリーのARクイバーを記述し、それが「クリープント除数」のみを「見ている」ことを示す。
• 商の構造を用いて再構成代数の関係を導出し、(−2)-曲線に対応する頂点では、局所的にプリプレロジティブ関係が成立することを示す。

実験結果

リサーチクエスチョン

• RQ1 有理表面特異点における特別なCM加群のフレーバー型カテゴリーの安定商カテゴリーの構造は何か？
• RQ2 このカテゴリーにおけるどの特別なCM加群が相対的射影的・射影的であるか、そしてそれが最小解消の幾何とどのように関係するか？
• RQ3 この新しい三角的カテゴリーは、古典的な特異カテゴリーと再構成代数のカテゴリーとどのように関係するか？
• RQ4 商カテゴリーのARクイバーは何か、そしてそれが解消の双対グラフをどのように反映するか？
• RQ5 CM加群のカテゴリーがn-クラスターティルティング対象をもつのはどのような条件の下か？

主な発見

• SCM(R) における相対的射影的・射影的対象は、最小解消の双対グラフにおける非(−2)-曲線に対応する特別なCM加群とRに正確に対応する。
• \underline{\underline{\mathop{\rm SCM}\nolimits}}(R) は、非ゴレンシュタインの場合の特異カテゴリーとは異なり、常にクルール＝シュマイド的である。
• \underline{\underline{\mathop{\rm SCM}\nolimits}}(R) がゼロであることは、すべての特異的曲線が(−2)-曲線である、すなわちクリープント除数が存在しないことに同値である。
• 最小解消における各(−2)-曲線に対応する頂点において、再構成代数には1つの局所関係が存在し、それはサイクルであり、局所的にプリプレロジティブ関係である。
• 多くの場合、\underline{\underline{\mathop{\rm SCM}\nolimits}}(R) は、あるゴレンシュタイン環R' に対して \underline{\mathop{\rm CM}\nolimits}(R') と同値である。
• CM(R) が1-クラスターティルティング対象をもつのは、R が商特異点であるときであり、かつそのときに限る。2-クラスターティルティング対象をもつのは、R ≅ k[[x,y]]^{1/3(1,1)} であるときであり、かつそのときに限る。n>2 に対してn-クラスターティルティング対象をもつのは、R が正則であるときのみである。