[论文解读] Some remarks on Nakajima's quiver varieties of type A

D. A. Shmelkin|ArXiv.org|Dec 16, 2009

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

一句话总结

本文澄清了类型 A 的 Nakajima 引理图与 Kraft-Procesi 关于幂零轨道闭包正规性的证明之间的关系。通过证明 Nakajima 定理 7.2 和 7.3，表明在重新布线群作用下，引理图的范畴商给出一个幂零共轭类的闭包，纠正了 Nakajima 原著中的引用错误，并证明在单调维向量下，复合映射 $ A_{t-1}B_{t-1} $ 的像确实是幂零轨道闭包。

ABSTRACT

We try to clarify the relations between quiver varieties of type A and Kraft-Pocesi proof of normality of nilpotent conjugacy classes closures.

研究动机与目标

• 澄清 Nakajima 类型 A 引理图与 Kraft-Procesi 关于幂零轨道闭包正规性的证明之间的关系。
• 纠正 Nakajima 定理 7.2 中的错误引用，该定理声称依赖于 [KP, 命题 3.4]，但该结果仅对维向量的受限类成立。
• 在一般情形下证明定理 7.2 和 7.3，表明引理图 Z 关于 H 的范畴商给出一个幂零共轭类的闭包。
• 证明在单调维向量下，引理图 Z 上复合映射 $ A_{t-1}B_{t-1} $ 的像是一个幂零轨道的闭包。
• 表明一般情况下，Z 是不可约的，因此 Kraft-Procesi 的主要结果无法超出其原始范围进行推广。

提出的方法

• 使用 Kraft-Procesi 的引理关系设置：$ B_iA_i = A_{i-1}B_{i-1} $ 且 $ B_1A_1 = 0 $，定义表示的闭子簇 Z。
• 通过约化群 H 应用范畴商构造，表明映射 $ heta: Z o ext{End}(U_t) $，由 $ (A_i,B_i) o A_{t-1}B_{t-1} $ 给出，是范畴商。
• 利用 $ GL_n $ 的第一基本定理，证明商映射的像是闭集，因此等于一个幂零轨道的闭包。
• 使用 $ ab $-图和杨图理论分析像的结构，表明像轨道的分拆对应于特定的杨图构造。
• 通过映射链的归纳法，证明 $ A_iB_i $ 的像是一个幂零轨道的闭包，从 $ A_1B_1 $ 逐步构建至 $ A_{t-1}B_{t-1} $。
• 构造维向量为 (1,4,5) 的反例，表明 Z 可能不可约，从而证明 Kraft-Procesi 的主要结果无法推广至所有维向量。

实验结果

研究问题

• RQ1 Nakajima 定理 7.2 是否在单调维向量下普遍成立，即引理图的范畴商是否等同于幂零轨道的闭包？
• RQ2 Nakajima 工作中定理 7.2 的证明是否正确地归因于 [KP, 命题 3.4]，还是该归因存在错误？
• RQ3 在单调维向量下，是否可证明引理图 Z 上复合映射 $ A_{t-1}B_{t-1} $ 的像是一个幂零共轭类的闭包？
• RQ4 Nakajima 类型 A 引理图与 Auslander 代数的 $ riangle $-过滤模理论之间存在何种精确关系？
• RQ5 在何种条件下引理图 Z 是不可约的？其一般情况下是否可能不可约？

主要发现

• 定理 7.2 在一般情形下得证：对于单调维向量，从引理图 Z 到 $ ext{End}(U_t) $ 的映射 $ A_{t-1}B_{t-1} $ 是 H 的范畴商，其像为一个幂零共轭类的闭包。
• 复合映射 $ A_{t-1}B_{t-1} $ 的像被证明为 $ ar{C}_{ u} $，其中 $ u $ 是通过杨图中逐行添加构造出的分拆，对应于维向量。
• 定理 7.3 的证明通过修正的定理 7.2 证明和 $ ab $-图结构得以建立。
• 证明了 Z 一般情况下是不可约的，通过维向量为 (1,4,5) 的反例表明 $ Z^{ss} $ 在 Z 中不稠密，从而与不可约性矛盾。
• 建立了结果 $ ho( ho^{-1}(ar{C}_ u)) = ar{C}_{ u+a} $，表明一个幂零轨道闭包的原像的像是一个更大轨道的闭包，与范畴商结构一致。
• 本文确认 Nakajima 定理 7.2 和 7.3 正确，但对 [KP, 命题 3.4] 的引用不准确，因为该结果仅对维向量的受限类成立。