[论文解读] Normality of Marsden-Weinstein reductions for representations of quivers

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

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

一句话总结

本文证明了通过作用于表示的余形映射定义的Marsden-Weinstein约化——即辛商——是正规的代数簇。通过几何不变量理论和一种去框架化技术，作者建立了这些商的正规性，推广了Kraft与Procesi关于共轭类闭包的结果，并将其扩展到任意quiver表示的余形映射约化。

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.

研究动机与目标

• 建立由quiver表示的余形映射约化所导出的仿射辛商的正规性。
• 将Kraft与Procesi关于幂零共轭类闭包的结果推广至通过quiver定义的更广泛的一类代数簇。
• 为理解表示理论与代数几何中具有辛解析的奇点提供几何框架。
• 证明对任意quiver $ Q $、维数向量 $ \u03b1 $ 和正则值 $ \nu $，商 $ N_Q(\nu, \alpha) = \mu_\u03b1^{-1}(\nu) // \mathrm{GL}(\u03b1) $ 是正规的。
• 展示这些商捕捉了重要的几何与表示论结构，包括共轭类闭包以及Kleinian奇点的形变。

提出的方法

• 定义双quiver $ \overline{Q} $ 及其表示空间 $ \mathrm{Rep}(\overline{Q}, \u03b1) $，并赋予其自然的辛形式。
• 构造余形映射 $ \mu_\u03b1: \mathrm{Rep}(\overline{Q}, \u03b1) \to \mathrm{End}(\u03b1) $，其表达式为 $ \mu_\u03b1(x)_i = \sum_{h(a)=i} x_a x_{a^*} - \sum_{t(a)=i} x_{a^*} x_a $，该映射是 $ \mathrm{GL}(\u03b1) $-作用的余形映射。
• 形成Marsden-Weinstein约化 $ N_Q(\nu, \u03b1) = \mu_\u03b1^{-1}(\nu) // \mathrm{GL}(\u03b1) $，即一个仿射商簇。
• 利用去框架化技术，通过同构将特定情形（如共轭类闭包）与这些商联系起来。
• 应用Serre的正规性判别法，并通过根分解及二次型 $ p(\u03b1) $ 分析商的表示论结构。
• 证明 $ \alpha \in \Sigma_\nu $，从而确保商具有正确的维数与不可约性，进而推出正规性。

实验结果

研究问题

• RQ1 对于任意quiver $ Q $、维数向量 $ \u03b1 $ 和正则值 $ \nu $，Marsden-Weinstein约化 $ N_Q(\nu, \u03b1) $ 是否为正规簇？
• RQ2 能否将 $ \mathrm{Mat}(n,K) $ 中共轭类闭包的正规性推广至通过quiver表示得到的更广泛一类辛商？
• RQ3 即使纤维 $ \mu_\u03b1^{-1}(\nu) $ 本身不正规，余形映射约化 $ \mu_\u03b1^{-1}(\nu) // \mathrm{GL}(\u03b1) $ 是否仍产生正规簇？
• RQ4 这些商与Kleinian奇点、幂零轨道及Kac-Moody代数的可积表示等已知几何对象有何关联？
• RQ5 能否通过根分解及二次型 $ p(\u03b1) $ 分析商 $ N_Q(\nu, \u03b1) $ 的结构，以确立其正规性？

主要发现

• 对任意quiver $ Q $、维数向量 $ \u03b1 $ 和正则值 $ \nu $，Marsden-Weinstein约化 $ N_Q(\nu, \u03b1) = \mu_\u03b1^{-1}(\nu) // \mathrm{GL}(\u03b1) $ 均为正规代数簇。
• 商 $ N_Q(\nu, \u03b1) $ 同构于余形映射纤维的商，其正规性由条件 $ \alpha \in \Sigma_\nu $ 保证，从而确保其维数正确且不可约。
• 该构造推广了Kraft与Procesi的结果：在特定quiver $ Q $ 与维数向量 $ \u03b1 $ 下，$ \mathrm{Mat}(n,K) $ 中幂零共轭类的闭包同构于 $ N_Q(0, \u03b1) $。
• 集合 $ \left\{ (M_i) \in \prod_{i=1}^k \overline{C_i} \mid \sum M_i = 0 \right\} // \mathrm{GL}(n,K) $ 是正规的，且同构于星形quiver（具有 $ k $ 条臂）在中心顶点维数为 $ n $ 时的 $ N_Q(\nu, \u03b1) $。
• 纤维 $ \mu_\u03b1^{-1}(\nu) $ 不必是正规的，但其商 $ N_Q(\nu, \u03b1) $ 仍是正规的，表明正规性是商的性质，而非纤维的性质。
• 该结果适用于具有辛解析的广泛奇点类，包括Kleinian奇点及其形变，通过quiver构造实现。