[論文レビュー] Partial Desingularizations Arising from Non-Commutative Algebras

Lieven Le Bruyn, Stijn Symens|ArXiv.org|Jul 23, 2005

Nonlinear Waves and Solitons参考文献 16被引用数 4

ひとこと要約

本稿は、非可換代数を用いた特異なアフィン多様体の部分特異点解消のための環論的枠組みを確立する。座標環上の順序における安定構造を活用することで、半安定表現のモジュライ空間が滑らかであるとき、残りの特異点が分類可能であることを示す。3次元ではそれらはコンパクト特異点である。4次元以上では、有限個の特異点型のリストに一般化され、4次元、5次元、6次元では明示的な分類が与えられる。

ABSTRACT

Let X be a singular affine normal variety with coordinate ring R and assume that there is an R-order admitting a stability structure such that the scheme of relevant semistable representations is smooth, then we construct a partial desingularization of X with classifiable remaining singularities. In dimension 3 this explains the omnipresence of conifold singularities in partial desingularizations of quotient singularities. In higher dimensions we have a small list of singularity types generalizing the role of the conifold singularity.

研究の動機と目的

• 3次元商特異点の部分特異点解消におけるコンパクト特異点の普遍性を非可換代数を用いて説明すること。
• この現象を高次元特異点へ一般化し、部分特異点解消における残り特異点の型を分類すること。
• 安定構造を用いた順序上の普遍的構成により、非可換特異点解消を環論的に構成すること。
• コンパクト特異点を深く研究し、そのスケュー群環およびクリフォード代数としての実現、およびアティヤのフロップとの関係を明らかにすること。

提案手法

• 正規多様体 $ X $ の函数体上の中心的単純代数における $ R $-順序 $ \Lambda $ の使用、ここで $ R = \mathbb{C}[X] $ である。
• 安定構造 $ \theta \in \mathbb{Z}^k $ を用いた $ \theta $-半安定表現の定義により、スキーム $ \text{rep}^\theta_{\alpha} \Lambda $ がザリスキ開かつ滑らかになり得ることを保証する。
• 普遍局所化を用いて、モジュライ空間 $ \text{moduli}^\theta_\alpha \Lambda $ 上に非可換構造層 $ \mathcal{A} $ を構成し、非可換特異点解消を得る。
• トレースを保存する表現 $ \text{trep}_n \Lambda $ を用いて、順序 $ \Lambda $ の滑らかさを定義し、幾何的性質と代数的不変量との関係を関連付ける。
• 部分特異点解消における残り特異点の明示的分類：3次元で1種類（コンパクト特異点）、4次元で4種類、5次元で10種類、6次元で53種類。
• コンパクト特異点代数 $ \Lambda_c $ をスケュー群環およびクリフォード代数としての視点から詳細に研究し、その素イデアルおよび非可換構造層の解析を可能にする。

実験結果

リサーチクエスチョン

• RQ1 なぜ3次元商特異点の部分特異点解消において、コンパクト特異点が一貫して出現するのか？これは幾何的ではなく代数的に説明可能か？
• RQ2 $ n > 3 $ 次元特異点の部分特異点解消において、残りうる特異点型の完全なリストは何か？
• RQ3 表現型 $ \alpha $ における安定構造 $ \theta $ の選択が、モジュライ空間 $ \text{moduli}^\theta_\alpha \Lambda $ の滑らかさおよび幾何学的性質にどのように影響するか？
• RQ4 コンパクト特異点は、スケュー群環やクリフォード代数といった非可換代数的構造によって完全に理解可能か？
• RQ5 コンパクト特異点の異なる部分特異点解消はどのように関係し合い、アティヤのフロップはこの文脈でどのような役割を果たすか？

主な発見

• 3次元では、$ \theta $-半安定表現のスキームが滑らかであれば、$ X $ の部分特異点解消は唯一コンパクト特異点しか持たない。
• 4次元では、このような部分特異点解消において、正確に4種類の残り特異点型がある。
• 5次元では、正確に10種類の残り特異点型がある。
• 6次元では、正確に53種類の残り特異点型がある。
• コンパクト特異点は、特定の非可換代数 $ \Lambda_c $ の $ \theta $-半安定表現のモジュライ空間として自然に生じる。この代数はスケュー群環およびクリフォード代数として実現可能である。
• アティヤのフロップは、異なる安定構造 $ \theta $ と $ \theta' $ に対応するコンパクト特異点の2つの異なる部分特異点解消を関係づけ、それらの間の有理写像 $ r $ を与える。