[论文解读] Jucys-Murphy operators for Soergel bimodules

Steen Ryom-Hansen|arXiv (Cornell University)|Jul 12, 2016

Algebraic structures and combinatorial models被引用 1

一句话总结

本文为任意 Coxeter 群上的 Soergel bimodule 引入了 Jucys-Murphy 算子，利用它们对胞胞模上的双线性形式进行对角化。该构造导出了该形式行列式的显式公式以及 Jantzen 型求和公式，为该背景下的表示论提供了新的代数工具。

ABSTRACT

We produce Jucys-Murphy elements for the diagrammatical category of Soergel bimodules associated with general Coxeter groups, and use them to diagonalize the bilinear form on the cell modules. This gives rise to an expression for the determinant of the forms and Jantzen type sum formulas.

研究动机与目标

• 将 Jucys-Murphy 算子理论扩展到任意 Coxeter 群的 Soergel bimodule 图形化范畴中。
• 解决在此背景下分析胞胞模上双线性形式时缺乏显式工具的问题。
• 为计算胞胞模上双线性形式的行列式提供系统性方法。
• 利用新构造的算子推导 Jantzen 型求和公式。

提出的方法

• 在 Soergel bimodule 的图形化范畴内，将 Jucys-Murphy 元素构造为特定的自同态。
• 利用图形化演算以与范畴结构相容的方式定义和操作这些算子。
• 证明 Jucys-Murphy 算子在胞胞模上半单作用，从而实现双线性形式的对角化。
• 通过特征值的乘积应用对角化来计算双线性形式的行列式。
• 通过分析形式的根空间结构及算子的作用，推导出 Jantzen 型求和公式。
• 利用 Soergel bimodule 的图形化表示，确保构造是内在的且保持函子性。

实验结果

研究问题

• RQ1 如何在任意 Coxeter 群的 Soergel bimodule 背景下定义 Jucys-Murphy 算子？
• RQ2 这些算子能否用于对胞胞模上的双线性形式进行对角化？
• RQ3 胞胞模上双线性形式的行列式显式表达式是什么？
• RQ4 Jucys-Murphy 算子在此背景下如何导出 Jantzen 型求和公式？
• RQ5 此类构造所需的图形化范畴的结构性质是什么？

主要发现

• 本文成功地使用图形化方法为任意 Coxeter 群上的 Soergel bimodule 构造了 Jucys-Murphy 算子。
• 这些算子在胞胞模上半单作用，使得双线性形式可对角化。
• 胞胞模上双线性形式的行列式可表示为 Jucys-Murphy 作用产生的特征值的乘积。
• 通过算子对双线性形式根空间的分解，推导出 Jantzen 型求和公式。
• 该构造是图形化范畴的内在结构，且尊重 Soergel bimodule 的范畴结构。