[論文レビュー] The Geometry of Noncommutative Singularity Resolutions

Charlie Beil|arXiv (Cornell University)|Feb 28, 2011

Advanced Algebra and Geometry参考文献 9被引用数 6

ひとこと要約

この論文は、クーヴァー代数と行列値関数を用いた非可換特異点解消の幾何的枠組みを導入し、シンプレクティック減少を介して従来のものとは異なる解消を明らかにする。巡回商特異点、DₙおよびE₆表面特異点、コンパクトファイバー、および非孤立特異点について、従来の解消と非可換解消を結ぶ予想を検証し、可換幾何では見えない、特異点的球面に縮小する例外的軌道が明らかになる。

ABSTRACT

We introduce a geometric realization of noncommutative singularity resolutions. To do this, we first present a new conjectural method of obtaining conventional resolutions using coordinate rings of matrix-valued functions. We verify this conjecture for all cyclic quotient surface singularities, the Kleinian D_n and E_6 surface singularities, the conifold singularity, and a non-isolated singularity, using appropriate quiver algebras. This conjecture provides a possible new generalization of the classical McKay correspondence. Then, using symplectic reduction within these rings, we obtain new, non-conventional resolutions that are hidden if only commutative functions are considered. Geometrically, these non-conventional resolutions result from shrinking exceptional loci to ramified (non-Azumaya) point-like spheres.

研究の動機と目的

• クーヴァー代数上の行列値関数を用いた非可換特異点解消の幾何的実現を構築すること。
• 非可換座標環から従来の解消を得るための新しい予想的手法を提唱すること。
• 可換設定では見えないが、シンプレクティック減少によって生じる非従来の解消を明らかにすること。
• 古典的 McKay 対応を非可換的で幾何的な視点から一般化すること。

提案手法

• 表現が行列値関数に対応する非可換座標環としてクーヴァー代数を用いる。
• 中心に関する射影次元の概念を用いて、非可換幾何における点の滑らかさを定義する。
• 行列値関数環内でのシンプレクティック減少を用いて、新しい非従来の解消を構成する。
• ほとんど大きなモジュールの縮小族を、例外的軌道が点的球面に収縮することを幾何的に実現するものとして特定する。
• アズマヤ局所環を用いて、非可換最大イデアルと可換基底空間内の点を関連付ける。
• 正方形のスーパーポテンシャル代数における完全一致と部分クーヴァーを用いて、ほとんど大きなモジュールの台を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 非可換座標環から、新しい予想的手法を用いて従来の特異点解消を再構成できるか？
• RQ2 可換関数では検出できないが、非可換環におけるシンプレクティック減少からどのように非従来の解消が生じるか？
• RQ3 非可換解消において、分岐的で非アズマヤな点的球面が果たす幾何的役割は何か？
• RQ4 この枠組みは、古典的 McKay 対応をどのように拡張または一般化するか？
• RQ5 これらの構成は、2次元的、トーリック的、または有限商特異点を超えてどの程度適用可能か？

主な発見

• 非可換環から従来の解消を得るための予想は、巡回商表面特異点、DₙおよびE₆特異点、コンパクトファイバー、および非孤立特異点について検証された。
• 非従来の解消はシンプレクティック減少から生じ、例外的軌道が分岐的で非アズマヤな点的球面に縮小することに対応する。
• 例外的軌道の既約成分は、頂点に限定されない部分クーヴァー上に支持される単純モジュールの消滅子に収縮する可能性がある。
• ℓₚ = 1, 2, 3 のほとんど大きなモジュールの台は、それぞれ完全一致による矢印の除去、完全一致の共通部分、三重共通部分によって得られる部分クーヴァーと一致する。
• 構成により、同じ可換基底空間の点に複数の点的球面が占拠することが明らかになり、非可換幾何から可換幾何への写像が一対一でないことが示唆される。
• この枠組みは、非可換座標環と行列値関数を用いて、McKay 対応の幾何的一般化を提供する。