[论文解读] Completions of symplectic reflection algebras

Ivan Losev|arXiv (Cornell University)|Jan 1, 2010

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

一句话总结

本文通过将辛反射代数（SRA）的完备化与稳定子子群相关的更简单代数联系起来，建立了其结构约化，从而实现了对两面理想和哈里什-钱德拉双模的分类。关键成果是对类型A有理希钦代数中两面理想的完全分类，表明它们按包含关系完全有序，且与从1到n的整数索引的理想链一一对应。

ABSTRACT

In this paper we study the structure of completions of symplectic reflection algebras. Our results provides a reduction to smaller algebras. We apply this reduction to the study of two-sided ideals and Harish-Chandra bimodules.

研究动机与目标

• 理解辛反射代数（SRA）在群轨道处的完备化结构。
• 将SRA中两面理想与哈里什-钱德拉双模的研究约化为更小、更易处理的代数。
• 对一类关键的SRA——类型A的有理希钦代数，实现两面理想的分类。
• 统一并强化关于SRA中哈里什-钱德拉双模的现有定义与结果，特别是与贝祖拉夫尼克和埃廷戈夫的工作相关的内容。
• 通过归纳法与对称性论证，在SRA的张量积中建立素理想与关联簇之间的对应关系。

提出的方法

• 通过在点 b ∈ V* 处对SRA进行完备化，将其与与稳定子子群 Γb 相关的更简单代数联系起来。
• 通过在群作用下的张量代数商去关系，其中涉及限制到 Γb 中辛反射上的辛形式，定义约化代数 H̲。
• 应用约化定理，证明SRA的完备化同构于约化代数与矩阵代数的完备张量积。
• 通过在SRA张量积中复制次数的归纳，对有理希钦代数 H1,c 中的 Sj-稳定理想进行分类。
• 利用任意 Sj-稳定理想的根唯一为 Jp(j)，且满足 Jp(j)² = Jp(j) 的事实，证明理想完全有序。
• 通过理想与关联簇之间的对应关系，以及 J† = J′† 蕴含 J = J′ 的性质，证明分类的唯一性与完备性。

实验结果

研究问题

• RQ1 如何将辛反射代数在一点处的完备化分解为更简单的组成部分？
• RQ2 类型A有理希钦代数中两面理想的结构是什么？能否实现完全分类？
• RQ3 SRA中的哈里什-钱德拉双模如何与关联簇的几何结构及辛叶相关？
• RQ4 能否通过完备化技术，将有理希钦代数中哈里什-钱德拉双模的定义与一般SRA中的定义统一起来？
• RQ5 群作用在辛反射集合上的角色，在SRA张量积中理想分类中起到什么作用？

主要发现

• 在点 b ∈ V* 处的辛反射代数完备化同构于约化代数 H̲ 与矩阵代数的完备张量积，提供了结构约化。
• 类型A有理希钦代数中的两面理想完全有序：J1 ⊃ J2 ⊃ … ⊃ Jn，且对所有 p 满足 Jp² = Jp。
• 链中的每个理想 Jp 唯一对应于关联簇中的一个辛叶，且任意 Sj-稳定理想的根为某个 Jp(j)。
• 理想分类是完备的：有理希钦代数中每个两面理想都等于某个 Jp。
• 两个理想 Jp 与 Jq 的乘积为 Jmax(p,q)，表明这些理想在乘法下构成一个完全有序的幺半群。
• 本文使用的[BE2]中哈里什-钱德拉双模的定义与[BE2]中的定义一致，验证了SRA中此类模的框架。