[論文レビュー] Maximal Cohen-Macaulay modules over surface singularities

Igor Burban, Yuriy Drozd|ArXiv.org|Mar 2, 2008

Algebraic structures and combinatorial models参考文献 67被引用数 17

ひとこと要約

本稿は、表面特異点上の最大コhen＝マカウレー（MCM）加群についての包括的なサーベイを提供し、そのホモロジー的性質、表現型、McKay対応との関係に焦点を当てる。行列因数分解の技法を用いて、A∞およびD∞特異点が可算（離散的）MCM表現型を有することを確立し、特異点が孤立している場合に限りExt1(M,N)が有限長であることを証明し、ホモロジー的有限性と幾何的孤立性を結びつける。商特異点、単純特異点、最小的楕円特異点について、代数的および幾何的アプローチを統合したMcKay対応を提示し、Gorenstein孤立特異点上のMCM加群の安定圏におけるSerre双対性およびCalabi-Yau構造を確認する。

ABSTRACT

This is a survey article about properties of Cohen-Macaulay modules over surface singularities. We discuss various results on the Macaulayfication functor, reflexive modules over simple, quotient and minimally elliptic singularities, geometric and algebraic McKay Correspondence. Finally, we describe matrix factorizations corresponding to the indecomposable Cohen-Macaulay modules over the non-isolated singularities $A_\infty$ and $D_\infty$.

研究の動機と目的

• 表面特異点上の最大コhen＝マカウレー（MCM）加群の構造および表現論をサーベイすること、特にMcKay対応との中での関係を明らかにすること。
• 単純特異点、商特異点、最小的楕円特異点の文脈において、Macaulayfication関手および反射的加群の役割を明確にすること。
• 行列因数分解を用いて、非孤立特異点A∞およびD∞について、可算（離散的）MCM表現型であることを新たに証明すること。
• 商特異点、単純楕円特異点、カスプ特異点について、McKay対応の代数的および幾何的アプローチを統合すること。
• 孤立Gorenstein表面特異点上のMCM加群の安定圏が(d−1)-Calabi-Yauであり、Serre双対性構造を持つことを示すこと。

提案手法

• 任意の加群とMCM加群との関係を、特に2次元コhen＝マカウレー特異点において、Macaulayfication関手を用いて関係づける。
• 正規表面特異点上のMCM加群を分析するために、反射的加群およびその双対性の理論を適用する。
• A∞およびD∞特異点上の非分解的MCM加群を記述するために、行列因数分解を用いる。
• Buchweitzの枠組みを用いて、MCM加群の安定圏を三角圏として解釈する。
• Ext1(M,N)が有限長であることと特異点が孤立していることとは同値であるという同型を用いて、孤立特異点をホモロジー的に特徴付ける。
• コンピュータ代数（Singular）を用いて、特異点上のハイパーサーフェス特異点の具体的な加群についてExtおよびHomの次元を計算する。

実験結果

リサーチクエスチョン

• RQ1 表面特異点上の最大コhen＝マカウレー加群の圏の構造は何か。また、特異点の幾何学的性質とはどのように関係するか。
• RQ2 商表面特異点について、代数的および幾何的McKay対応はどのように関係し合うか。
• RQ3 A∞およびD∞の非孤立特異点上でのMCM加群の表現型は何か。また、行列因数分解を用いてどのように証明できるか。
• RQ4 MCM加群MおよびNに対してExt1(M,N)が有限長となる条件は何か。また、これにより特異点にどのような意味が生じるか。
• RQ5 孤立Gorenstein表面特異点上のMCM加群の安定圏におけるCalabi-Yau構造は何か。

主な発見

• Krull次元dの孤立Gorenstein表面特異点上の最大コhen＝マカウレー加群の安定圏は、(d−1)-Calabi-Yau三角圏である。
• 局所環上のMCM加群の圏からその完備化への標準的関手は、完全忠実であり、MCM加群の構造を保存する。
• 任意の孤立Gorenstein特異点に対して、Ext1(M, syzd(Tr(N))*) ≅ D(Hom(M,N)) という双関手的同型が存在し、安定圏におけるSerre双対性を確立する。
• 表面特異点A∞およびD∞は、行列因数分解を用いた新たな証明により、可算（離散的）MCM表現型を有する。
• すべてのMCM加群MおよびNに対してExt1(M,N)が有限長であることと、特異点が孤立していることは同値であり、これにより孤立特異点のホモロジー的特徴づけが得られる。
• Krull次元dの孤立特異点であるGorenstein k代数Aに対して、関手S = syz1−dはMCM加群の安定圏上のSerre関手であり、双関手的同型Hom(M,N) ≅ Hom(N,S(M))∗ を与える。