[论文解读] Quiver-graded Richardson Orbits

Ögmundur Eiríksson, Julia Sauter|arXiv (Cornell University)|Jul 11, 2017

Algebraic structures and combinatorial models被引用 1

一句话总结

本文将李理论中的经典 Richardson 轨道推广为 quiver-graded Richardson 轨道，通过抛物子群作用于 quiver 表示空间来定义。该研究建立了此类轨道与幂零 quiver 代数 Ns(Q) 上刚性 ∆-过滤模之间的对应关系，为 A2 quiver 提供了显式构造此类轨道的算法，其存在性与这些模的刚性密切相关。

ABSTRACT

In Lie theory, a dense orbit in the unipotent radical of a parabolic group under the adjoint action is called a Richardson orbit. We define a quiver-graded version of Richardson orbits generalising the classical definition in the case of the general linear group. In our setting a product of parabolic subgroups of general linear groups acts on a closed subvariety of the representation space of a quiver. Such dense orbits do not exist in general. We define a quasi-hereditary algebra called the nilpotent quiver algebra whose isomorphism classes of $\Delta$-filtered modules correspond to orbits in our generalised setting. We translate the existence of a Richardson orbit into the existence of a rigid $\Delta$-filtered module of a given dimension vector. We study an idempotent recollement of this algebra whose associated intermediate extension functor can be used to produce Richardson orbits in some situations. This can be explicitly calculated in examples. We also give examples where no Richardson orbit exists.

研究动机与目标

• 通过表示论将李理论中的经典 Richardson 轨道推广到 quiver-graded 设置。
• 定义一个幂零 quiver 代数 Ns(Q)，使其 ∆-过滤模参数化 quiver-graded Richardson 轨道。
• 建立 Richardson 轨道的存在性与 Ns(Q) 上 ∆-过滤模刚性的对应关系。
• 为 A2 quiver 情况开发显式构造此类轨道的算法。
• 探讨幂等重构与中间扩张函子在生成这些轨道中的作用。

提出的方法

• 将幂零 quiver 代数 Ns(Q) 构造为一个 quiver Q 和一个截断路径代数上的张量代数，通过一个层函数 L 定义其左强拟旗性结构。
• 将 quiver-graded Richardson 轨道定义为抛物子群 Pd 在表示空间的子空间 Rd_d 上的稠密轨道，推广了单根子群的作用。
• 使用 Ns(Q)-模的 ∆-过滤模类别 F(∆)，并通过嵌入将其与单态射范畴和 quiver旗簇联系起来。
• 引入一个幂等元 e ∈ Ns(Q)，对应最高层，使得 eNs(Q)e ≅ kQ/Js，从而将结构与幂零锥联系起来。
• 应用来自幂等重构的中间扩张函子来构造模并分析其刚性。
• 为 A2 quiver 开发一个算法，通过基于 ∆-维数向量迭代添加标准模 ∆(xi) 和不可约模 E(i,j) 来显式构造刚性 ∆-过滤模。

实验结果

研究问题

• RQ1 对于给定的 quiver Q 和维数向量 d，quiver-graded Richardson 轨道在何种条件下存在？
• RQ2 此类轨道的存在性如何通过幂零 quiver 代数 Ns(Q) 的表示论性质来刻画？
• RQ3 quiver-graded Richardson 轨道与 Ns(Q) 上刚性 ∆-过滤模之间的确切对应关系是什么？
• RQ4 是否可以利用幂零 quiver 代数及其重构的结构来算法化地构造此类轨道？
• RQ5 中间扩张函子在 quiver-graded 设置下生成 Richardson 轨道中扮演何种角色？

主要发现

• 对于 A2 quiver，存在一个有限算法，可为任意维数滤子 d 构造出一个刚性 ∆-过滤模，从而确保 Richardson 轨道的存在。
• 该算法通过基于 ∆-维数向量 δd 迭代添加 ∆(xi) 或 E(i,j) 模来构建模 M，确保所有直和项之间的 Ext1 为零。
• 本文证明了所构造的模 M 是刚性的，因为其所有直和项之间的 Ext1 群均为零，从而确认其对应于一个稠密轨道。
• 对于 A2 quiver，范畴 Ns(A2) 仅有有限多个不可约对象，保证了每个维数向量 d 都存在 Richardson 轨道。
• Richardson 轨道的存在性等价于在 Ns(Q) 上存在一个维数向量为 d 的刚性 ∆-过滤模，从而实现了完全分类。
• 本文提供了显式例子，表明即使在无向 quiver 情况下，该条件也并非总是满足，即某些情况下不存在 Richardson 轨道。