[論文レビュー] Relative singularity category of a non-commutative resolution of singularities

Igor Burban, Martin Kalck|Kölner Universitäts PublikationsServer (Universität zu Köln)|Mar 21, 2011

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

ひとこと要約

本稿では、特異的曲線の非可換解消における相対特異的カテゴリ Δ_Y(𝕐) を導入し、完全に記述する。このカテゴリは p 個のブロックに分解され、それぞれが手頃な代数によって定義されるカテゴリ Δ_nd と同値である。主な結果は、非分解的対象の完全分類、Auslander–Reiten モデルの計算、および Grothendieck 群 K₀(Δ_nd) ≅ ℤ² の決定である。

ABSTRACT

In this article we study the triangulated category of singularities associated with a non-commutative resolution of singularities. In particular, we give a complete description of this category in the case of a curve with nodal singularities, classifying its indecomposable objects and computing its Auslander-Reiten quiver and K-group.

研究の動機と目的

• 特異的多様体 X の非可換解消 𝕏 に対して、Perf(X) と D^b(Coh(𝕏)) の差を測る三角カテゴリとして、相対特異的カテゴリ Δ_X(𝕏) を定義し、研究すること。
• Gorenstein特異点に対する Buchweitz の同値性を、相対特異的カテゴリを介して非可換解消へ一般化すること。
• Y が特異的曲線である場合、Δ_Y(𝕐) の完全な記述を提供すること。非分解的対象の分類、K₀ および Auslander–Reiten モデルの計算を含む。
• 相対特異的カテゴリとノードにおける完備局所環の最大コhen–Macaulay加群の安定カテゴリとの間の関係を確立すること。
• Δ_Y(𝕐) が p 個のブロックに分解され、それぞれが Δ_nd と同値であることを示すこと。ここで p は Y の特異的点の数である。

提案手法

• 非可換解消 𝕏 = (X, End_X(𝒪⊕ℱ′)) に対して、Verdier商 D^b(Coh(𝕏))/Perf(X) の冪等元完備化として相対特異的カテゴリを定義する。
• ℱ′ が U = X∖Z 上で局所自由であるという条件を用いて、Buchweitz の定理に類似した局所化同値を確立する。
• Schlichting の負 K-理論を用いて、Grothendieck 群 K₀(Δ_X(𝕏)) を計算する。
• 特異的曲線に対して、𝕐 = (Y, End_Y(𝒪⊕ℐ_Z)) を構成し、分割結果を用いて Δ_Y(𝕐) が p 個の Δ_nd のコピーの直和に分解されることを示す。
• 完成パス代数 A_nd を持つ関係付きのクワイバーに関する、プロ-および加法的カテゴリの有界ホモトピーカテゴリの商として Δ_nd を実現する。
• 関手 Hom_{A_nd}(P_*, −) を用いて、Δ_nd / Tria(S_+, S_-) と O_nd = k[[u,v]]/(uv) 上の安定 MCM 圏との同値性を誘導する。

実験結果

リサーチクエスチョン

• RQ1 非可換特異点解消に対して、相対特異的カテゴリ Δ_X(𝕏) はどのように定義され、特徴づけられるか？
• RQ2 Buchweitz の局所化同値は、特に特異的曲線に対して非可換解消へ拡張可能か？
• RQ3 Y が p 個の特異的点を持つ特異的曲線であるとき、相対特異的カテゴリ Δ_Y(𝕐) の構造は何か？
• RQ4 Δ_Y(𝕐) 内の非分解的対象および射は明示的に分類可能か？
• RQ5 特異的曲線に対して、相対特異的カテゴリ Δ_nd の Grothendieck 群 K₀ は何か？

主な発見

• 特異的曲線 Y が p 個の特異的点を持つ場合、相対特異的カテゴリ Δ_Y(𝕐) は p 個の Δ_nd の直和に分解され、すなわち Δ_Y(𝕐) ≅ ⋁_{i=1}^p Δ_i であり、各 Δ_i ≅ Δ_nd である。
• カテゴリ Δ_nd は Hom-有限かつ表現的離散的であり、すべての非分解的対象および射空間が明示的に分類されている。
• Δ_nd の Auslander–Reiten モデルが計算され、A_nd の関係付きクワイバーと関連する特定の構造を持つことが示された。
• Δ_nd の Grothendieck 群は K₀(Δ_nd) ≅ ℤ² であり、負 K-理論および導来カテゴリの構造を用いて計算された。
• 商同値 Δ_nd / Tria(S_+, S_-) ≅ ⌜MCM(O_nd) が存在し、ノード上の安定 MCM 加群圏との直接的な関係が示された。
• Δ_nd の別表現として、手頃な代数 Λ に関する表現のクワイバー記述が与えられ、組合せ的モデルが得られた。