[論文レビュー] Three talks on noncommutative geometry@n

Lieven Le Bruyn|ArXiv.org|Dec 11, 2003

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

ひとこと要約

本稿では、滑らかな順序と安定構造を用いて、商特異点 $\mathbb{C}^d/G$ の正規部分解消を非可換幾何学的な枠組みで構成する手法を提案する。中心 $R = \mathbb{C}[\mathbb{C}^d/G]$ を持つ非可換代数 $A$ を関連付け、$\theta$-半安定表現のモジュライ空間を用いることで、マーク付きクーヴィー設定を通じて組合せ論的に解消される滑らかな非可換多様体 ${\text{spec}}\mathcal{A}$ が得られる。3次元では、自然にコニファルド型特異点が現れる。

ABSTRACT

Notes of three talks given at the workshop 'Hilbert schemes, non-commutative algebra and the McKay correspondence' CIRM-Luminy (France) October 2003. If A is an order over a central normal affine variety X having a stability structure such that the variety of all semi-stable A-representations is a smooth variety, then the corresponding moduli space is a partial desingularization of X and we have a complete classification of the remaining singularities.

研究の動機と目的

• 3次元の商特異点 $\mathbb{C}^d/G$ の部分解消におけるコニファルド特異点の出現を非可換的解釈で説明すること。
• 非可換代数と表現のモジュライ空間を用いて、商特異点の標準的部分解消を構成すること。
• マーク付きクーヴィー設定を用いて、非可換順序のエタール局所構造から生じる中心的特異点を分類すること。
• モジュライ空間上に双有理的に $\mathbb{C}^d/G$ を解消する滑らかな非可換代数の層 $\mathcal{A}$ を構築すること。

提案手法

• 下降法およびアズマヤ代数の技法を用いて、中心 $R = \mathbb{C}[\mathbb{C}^d/G]$ 上の滑らかな順序 $A$ を構成する。
• 非可換代数 $A$ に安定構造 $\theta$ を定義し、$\theta$-半安定表現をパrametrizeする。
• モジュライ空間 ${\text{moduli}}^\theta_\alpha A$ を $\mathbb{C}^d/G$ の部分解消の候補とし、非可換代数の層 $\mathcal{A}$ を備える。
• 普遍性および包含写像 $i_j: A_{D_j} \to A_D$ を用いて、局所順序 $A_D$ を貼り合わせ、重複部での整合性を保証する。
• ランプリケーションの軌跡近傍における $A$ および $R$ のエタール局所構造を符号化するために、マーク付きクーヴィー設定 $(Q, \alpha)$ を用いる。
• 中心拡張 $A_D = A_{D_j} Z(A_D)$ を用いて、スペクトル構成 ${\text{spec}}\mathcal{A}$ の関手的性を保証する。

実験結果

リサーチクエスチョン

• RQ1 なぜコニファルド特異点は、3次元の商特異点の部分解消において「最も良い」特異点として残るのか？
• RQ2 $d > 3$ の高次元の商特異点における「良い」特異点の組合せ論的分類は何か？
• RQ3 中心 $R = \mathbb{C}[\mathbb{C}^d/G]$ を持つ非可換代数 $A$ を、その $\theta$-半安定表現のモジュライ空間が $\mathbb{C}^d/G$ に双有理的かつ滑らかくなるように構成できるか？
• RQ4 非可換解消の局所構造は、マーク付きクーヴィー設定およびエタール局所データによってどのように符号化できるか？
• RQ5 滑らかな順序と安定構造は、商特異点の標準的部分解消を構成する上で果たす役割は何か？

主な発見

• 非可換代数 $A$ の $\theta$-半安定表現のモジュライ空間 ${\text{moduli}}^\theta_\alpha A$ は、商特異点 $\mathbb{C}^d/G$ の滑らかな部分解消を提供する。
• 普遍性および中心拡張を用いて、局所順序 $A_D$ を貼り合わせることで、モジュライ空間上に非可換代数の層 $\mathcal{A}$ が構成される。
• 中心拡張の性質 $A_D = A_{D_j} Z(A_D)$ により、非可換多様体 ${\text{spec}}\mathcal{A}$ は正しく定義され、連続的であり、スペクトル構成の関手的性が保証される。
• 中心的特異点はマーク付きクーヴィー設定を用いて分類され、3次元では自然にコニファルド型特異点が生じる。
• $d=4$ の場合、予想される「良い」特異点のリストには、3つの新しいタイプが含まれる：$\frac{\mathbb{C}[[a,b,c,d,e,f]]}{(ae-bd,af-cd,bf-ce)}$、$\frac{\mathbb{C}[[a,b,c,d,e]]}{(abc-de)}$、および $2\times 4$ 行列の小行列式から得られる行列式特異点。
• ランプリケーション点近傍における非可換多様体の局所構造は、マーク付きクーヴィー $(Q, \alpha)$ によって符号化され、$A$ および $R$ のエタール局所構造を制御する。