[論文レビュー] Normality of Marsden-Weinstein reductions for representations of quivers

William Crawley-Boevey|ArXiv.org|May 29, 2001

Algebraic structures and combinatorial models参考文献 11被引用数 4

ひとこと要約

本稿は、クーヴィーの表現に対するマーズデン＝ウエインシュタインの還元—すなわち、モーメント写像によるシンプレクティック商として定義される—が正規代数的概型であることを証明する。幾何的不変量理論とデフレーミング技術を用いて、著者はこれらの商の正規性を確立し、クラスカルトとプロセスィのノルム部分共役類の閉包に関する結果を一般化し、モーメント写像による還元を用いた任意のクーヴィー表現へと拡張する。

ABSTRACT

We prove that the Marsden-Weinstein reductions for the moment map associated to representations of a quiver are normal varieties. We give an application to conjugacy classes of matrices.

研究の動機と目的

• クーヴィー表現からのモーメント写像還元によって生じるアフィンシンプレクティック商の正規性を確立すること。
• クラスカルトとプロセスィのノルム部分共役類の閉包に関する結果を、クーヴィーを用いて定義されるより広いクラスの代数的概形へ一般化すること。
• 表現論および代数幾何学におけるシンプレクティック解消をもつ特異点を理解するための幾何的枠組みを提供すること。
• 任意のクーヴィー $ Q $、次元ベクトル $ \alpha $、正則値 $ \nu $ に対して、商 $ N_Q(\nu, \alpha) = \mu_\alpha^{-1}(\nu) // \mathrm{GL}(\alpha) $ が正規であることの証明。
• これらの商が、共役類の閉包やキーンリアン特異点の変形といった、重要な幾何的および表現論的構造を捉えていることを示すこと。

提案手法

• 二重クーヴィー $ \overline{Q} $ と表現空間 $ \mathrm{Rep}(\overline{Q}, \alpha) $ を定義し、自然なシンプレクティック形式を備える。
• モーメント写像 $ \mu_\alpha: \mathrm{Rep}(\overline{Q}, \alpha) \to \mathrm{End}(\alpha) $ を構成し、$ \mu_\alpha(x)_i = \sum_{h(a)=i} x_a x_{a^*} - \sum_{t(a)=i} x_{a^*} x_a $ で与えられ、これは $ \mathrm{GL}(\alpha) $-作用のモーメント写像である。
• マーズデン＝ウエインシュタイン還元 $ N_Q(\nu, \alpha) = \mu_\alpha^{-1}(\nu) // \mathrm{GL}(\alpha) $ を定義し、これはアフィン商概形である。
• デフレーミング技術を用いて、特定のケース（例えば共役類の閉包）を、同型を介してこのような商と関連付ける。
• セールの正規性基準を適用し、根分解と二次形式 $ p(\alpha) $ を用いて、商の表現論的構造を分析する。
• $ \alpha \in \Sigma_\nu $ を証明し、商が正しい次元と既約性を持つことを保証することで、正規性を示す。

実験結果

リサーチクエスチョン

• RQ1 任意のクーヴィー $ Q $、次元ベクトル $ \alpha $、正則値 $ \nu $ に対して、マーズデン＝ウエインシュタイン還元 $ N_Q(\nu, \alpha) $ は正規概形か？
• RQ2 $ \mathrm{Mat}(n,K) $ における共役類の閉包の正規性は、クーヴィー表現によるシンプレクティック商のより広いクラスへ一般化可能か？
• RQ3 モーメント写像還元 $ \mu_\alpha^{-1}(\nu) // \mathrm{GL}(\alpha) $ は、元のファイバー $ \mu_\alpha^{-1}(\nu) $ が正規でない場合でも正規概形をもたらすか？
• RQ4 これらの商は、キーンリアン特異点、ノルム部分軌道、およびカック＝ムーディ代数の可積分表現といった既知の幾何的対象とどのように関係しているか？
• RQ5 根分解と二次形式 $ p(\alpha) $ を用いて、商 $ N_Q(\nu, \alpha) $ の構造を分析し、正規性を確立できるか？

主な発見

• 任意のクーヴィー $ Q $、次元ベクトル $ \alpha $、正則値 $ \nu $ に対して、マーズデン＝ウエインシュタイン還元 $ N_Q(\nu, \alpha) = \mu_\alpha^{-1}(\nu) // \mathrm{GL}(\alpha) $ は正規代数的概形である。
• 商 $ N_Q(\nu, \alpha) $ はモーメント写像ファイバーの商と同型であり、条件 $ \alpha \in \Sigma_\nu $ を通じて正規性が確立され、正しい次元と既約性が保証される。
• この構成はクラスカルトとプロセスィの結果を一般化する：$ \mathrm{Mat}(n,K) $ におけるノルム部分共役類の閉包は、特定のクーヴィー $ Q $ と次元ベクトル $ \alpha $ に対して $ N_Q(0, \alpha) $ と同型である。
• $ \left\{ (M_i) \in \prod_{i=1}^k \overline{C_i} \mid \sum M_i = 0 \right\} // \mathrm{GL}(n,K) $ は正規であり、中心頂点の次元が $ n $ である $ k $ 本の腕を持つスターモデルクーヴィーに対して $ N_Q(\nu, \alpha) $ と同型である。
• ファイバー $ \mu_\alpha^{-1}(\nu) $ が正規でなくても、商 $ N_Q(\nu, \alpha) $ は依然として正規である。これは、正規性がファイバーの性質ではなく、商の性質であることを示している。
• この結果は、キーンリアン特異点やその変形を含む、シンプレクティック解消をもつ広いクラスの特異点に適用可能であり、クーヴィー構成によって得られる。