[論文レビュー] Noncommutative resolutions and rational singularities

J. T. Stafford, Michel Van den Bergh|ArXiv.org|Dec 1, 2006

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

ひとこと要約

この論文は、特性0の代数閉体上での、有限生成な $k$-代数としてのホモロジカルに均一な代数の中心が有理的特異点を持つことを確立する。非可換クレパント解体の枠組み——反射的 $R$-加群 $M$ に対して $\operatorname{End}_R(M)$ の形をとるホモロジカルに均一な代数として定義される——を用いて、著者たちは、このような解体が可換の場合に有理的特異点をもたらすことを証明し、非可換代数幾何学における予想を裏付ける。

ABSTRACT

Let k be an algebraically closed field of characteristic zero. We show that the centre of a homologically homogeneous, finitely generated k-algebra has rational singularities. In particular if a finitely generated normal commutative k-algebra has a noncommutative crepant resolution, as introduced by the second author, then it has rational singularities.

研究の動機と目的

• 非可換クレパント解体の存在が、元の可換特異点が有理的特異点をもつことを示すかを特定すること。
• 古典的な結果「クレパント解体は有理的特異点をもたらす」を非可換設定に拡張すること。
• ホモロジカルに均一な代数とその中心の特異点との関係を明確にすること。
• 特性0の必要性を、正の特性における反例の構成によって調べること。
• 非可換解体を通じてボンダル＝オロフの予想の理論的基盤を提供すること。

提案手法

• 非可換クレパント解体を、正則なアフィン $k$-ドメイン $R$ と反射的 $R$-加群 $M$ に対して $\operatorname{End}_R(M)$ の形をとるホモロジカルに均一な $k$-代数 $\Delta$ として定義する。
• たんなる順序と双対複体の理論を用いて、$\Delta$ のホモロジカル性質を分析する。
• 特に双対複体とゲルファンド＝キリロフ次元の理論を含む、非可換代数幾何学の結果を適用する。
• もし $\Delta$ がホモロジカルに均一であれば、コhomologicalおよび加群論的議論を通じて、その中心 $Z(\Delta)$ が有理的特異点を持つことを確立する。
• 群作用による固定環を用いて、正の特性における反例を構成し、$\operatorname{char}(k) > 0$ のときには結果が成り立たないことを示す。
• 順序付き加群論とねじれ多項式環の構造を用いて、正の特性における非均一性と有理的特異点の不成立を示す。

実験結果

リサーチクエスチョン

• RQ1 非可換クレパント解体の存在が、可換な基本環が有理的特異点をもつことを示唆するか？
• RQ2 ホモロジカルに均一な代数の中心が有理的特異点をもつための条件は何か？
• RQ3 有理的特異点は非可換解体の観点から特徴づけられるか？
• RQ4 なぜ結果が正の特性で失敗するのか？ どの構造的性質が崩壊するのか？
• RQ5 非可換クレパント解体は、その可換な類似物の幾何をどの程度反映しているか？

主な発見

• 代数閉体の特性0における、有限生成な $k$-代数としてのホモロジカルに均一な代数の中心は、すべて有理的特異点を持つ。
• 正則なアフィン $k$-ドメイン $R$ が非可換クレパント解体をもてば、$R$ は有理的特異点を持つ。
• 正の特性では結果が成り立たない：$\mathbb{Z}/2\mathbb{Z}$-作用を用いた正則環の固定環を用いた反例が構成され、ホモロジカルに均一な代数の中心が有理的でないことが示された。
• 非可換クレパント解体の双対複体は射影的でないため、特定の順序付き設定では代数がホモロジカルに均一でないことが示された。
• 有限なグローバル次元を持つ $\operatorname{End}_R(M)$ であっても、$R$ が正則で $M$ が反射的であっても、ホモロジカルに均一でないことが反例によって示された。
• 正の特性における失敗は、固定環が元の環の直和成分であるとは限らないことに起因し、重要なホモロジカル仮定が破壊される。