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

Igor Burban, Yuriy Drozd|arXiv (Cornell University)|Feb 16, 2010

Algebraic structures and combinatorial models参考文献 47被引用数 9

ひとこと要約

本稿は、非孤立な表面特異点上の最大コhen＝マカウレー（MCM）加群を分析するための新規手法を導入し、シュレーヤーの古くからの未解決問題を解き、退化したカスプ特異点がツケン（tame）なコヘン＝マカウレー表現型を有することを証明する。この手法により、装飾されたチェーンの束の表現という、新たな線形代数的問題のクラスが得られ、そのツケン表現型は標準形を用いて確立される。

ABSTRACT

In this article we develop a new method to deal with maximal Cohen-Macaulay modules over non-isolated surface singularities. In particular, we give a negative answer on an old question of Schreyer about surface singularities with only countably many indecomposable maximal Cohen-Macaulay modules. Next, we prove that the degenerate cusp singularities have tame Cohen-Macaulay representation type. Our approach is illustrated on the case of $k\llbracket x,y,z rbracket/(xyz)$ as well as several other rings. This study of maximal Cohen-Macaulay modules over non-isolated singularities leads to a new class of problems of linear algebra, which we call representations of decorated bunches of chains. We prove that these matrix problems have tame representation type and describe the underlying canonical forms.

研究の動機と目的

• 非孤立な表面特異点上の最大コヘン＝マカウレー加群の表現型を扱う。
• シュレーヤーが提起した、唯一可算個の非分解的MCM加群をもつ表面特異点に関する未解決問題を解く。
• 退化したカスプ特異点がツケン（tame）なコヘン＝マカウレー表現型を有することを証明する。
• 本研究から生じる新たな線形代数的問題のクラス—装飾されたチェーンの束の表現—を導入し、その分析を行う。
• これらの行列問題の標準形を提供し、そのツケン表現型を確認する。

提案手法

• 非孤立な表面特異点に特化した新しい代数的・ホモロジー的枠組みを構築する。
• MCM加群分類から生じる新たな行列問題のクラスとして、装飾されたチェーンの束の概念を導入する。
• 組合せ論的および線形代数的技法を用いて、装飾されたチェーンの束の表現を分析する。
• これらの行列問題の標準形を確立し、その非分解的表現の分類を可能にする。
• 特定の環、特に $k\llbracket x,y,z \rrbracket/(xyz)$ にこの枠組みを適用し、その有効性を示す。
• 特異点の構造を活用して、MCM加群問題をツケンな線形代数的問題に還元する。

実験結果

リサーチクエスチョン

• RQ1 シュレーヤーが予想したように、非分解的MCM加群が唯一可算個であるような表面特異点は存在するか？
• RQ2 退化したカスプ特異点の最大コヘン＝マカウレー加群に関して、その表現型は何か？
• RQ3 非孤立特異点上のMCM加群の分類は、明確に定義された線形代数的問題のクラスに還元可能か？
• RQ4 このような特異点から生じる行列問題の構造は何か？そしてそれらはツケン的か？
• RQ5 装飾されたチェーンの束の非分解的表現を支配する標準形は何か？

主な発見

• 本稿はシュレーヤーの問いに対して否定的解答を提示し、すべての表面特異点が非分解的MCM加群を唯一可算個もつわけではないことを示している。
• 退化したカスプ特異点がツケン（tame）なコヘン＝マカウレー表現型を有することを証明した。
• 本研究は、非孤立特異点上のMCM加群を支配する新たな線形代数的問題のクラス—装飾されたチェーンの束の表現—を同定した。
• これらの行列問題がツケン表現型を有することを示し、明示的な標準形を提供した。
• この枠組みは、$k\llbracket x,y,z \rrbracket/(xyz)$ といった特定の環に対しても効果的に適用可能であり、具体的な事例での有効性を示した。
• 装飾されたチェーンの束の標準形は完全に記述されており、その非分解的表現の分類を可能にしている。