[论文解读] Affine and degenerate affine BMW algebras: The center

Zajj Daugherty, Arun Ram+1 more|arXiv (Cornell University)|May 21, 2011

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

一句话总结

本文通过使用 Brauer 图和带符号生成元构造中心元素的基，表征了仿射与退化仿射 BMW 代数的中心。证明了中心由以图索引的特定迹类元素生成，并存在一个涉及参数 $ z, q, u $ 的关键关系，通过图解与代数技巧，完整描述了中心的代数结构。

ABSTRACT

The degenerate affine and affine BMW algebras arise naturally in the context of Schur-Weyl duality for orthogonal and symplectic Lie algebras and quantum groups, respectively. Cyclotomic BMW algebras, affine Hecke algebras, cyclotomic Hecke algebras, and their degenerate versions are quotients. In this paper the theory is unified by treating the orthogonal and symplectic cases simultaneously; we make an exact parallel between the degenerate affine and affine cases via a new algebra which takes the role of the affine braid group for the degenerate setting. A main result of this paper is an identification of the centers of the affine and degenerate affine BMW algebras in terms of rings of symmetric functions which satisfy a "cancellation property" or "wheel condition" (in the degenerate case, a reformulation of a result of Nazarov). Miraculously, these same rings also arise in Schubert calculus, as the cohomology and K-theory of isotropic Grassmanians and symplectic loop Grassmanians. We also establish new intertwiner-like identities which, when projected to the center, produce the recursions for central elements given previously by Nazarov for degenerate affine BMW algebras, and by Beliakova-Blanchet for affine BMW algebras.

研究动机与目标

• 确定仿射与退化仿射 BMW 代数中心的结构。
• 根据图解生成元和带符号参数，识别中心元素的完整基。
• 通过迹类不变量与图交叉，建立定义中心的代数关系。
• 将先前关于 BMW 代数的结果推广至仿射与退化仿射情形。
• 为理解这些代数中中心元素提供图解与代数框架。

提出的方法

• 从 Brauer 图 $ d ∈ D_k $ 的最小长度表达式构造元素 $ T_d^{n_1, u, u,n_k} $，使用生成元 $ e_i $ 和带符号的 $ s_i $-元素 $ T_i^{ u} $。
• 为图中的边分配变量 $ Y_i $，根据词典序，$ Y_i^{n_i} $ 分别作用于上下两行。
• 将 $ T_d $ 定义为 $ e_i $-生成元的 $ E_i $ 与 $ s_i $-生成元的 $ T_i^{ u_j} $ 的乘积，其中符号选择 $ u_j = ±1 $。
• 施加一个关键代数关系，涉及 $ Z_0^- $、$ Z_0^+ $ 与参数 $ z, q, u $，该关系表征了中心。
• 使用 Brauer 基 $ D_k $ 参数化中心元素，并确保其在代数关系下保持不变。
• 推导出一个中心关系，将迹类算子与参数 $ u, q, z $ 联系起来，从而实现中心的完整表征。

实验结果

研究问题

• RQ1 仿射与退化仿射 BMW 代数的中心的完整代数结构是什么？
• RQ2 中心元素如何能从图解生成元与带符号参数系统地构造？
• RQ3 元素 $ T_d^{n_1, u, u,n_k} $ 属于中心时，必须满足哪些代数关系？
• RQ4 参数 $ z, q, u $ 如何影响中心的结构与关系？
• RQ5 中心是否能通过以 Brauer 图和边基单项式索引的基完全描述？

主要发现

• 仿射与退化仿射 BMW 代数的中心由元素 $ T_d^{n_1, u, u,n_k} $ 生成，其中 $ d $ 遍历 Brauer 基 $ D_k $。
• 推导出一个中心关系：$ \big(Z_0^- - \frac{z}{q-q^{-1}} - \frac{u^2}{u^2-1}\big)\big(Z_0^+ + \frac{z^{-1}}{q-q^{-1}} - \frac{u^2}{u^2-1}\big) = \frac{-(u^2 - q^2)(u^2 - q^{-2})}{(u^2-1)^2(q-q^{-1})^2} $，该关系完全表征了中心。
• 中心元素的构造依赖于图的最小长度表达式以及对 $ s_i $-生成元的符号分配。
• 元素 $ Y_i^{n_i} $ 基于图中边的词典序定义，确保上下两行的一致性。
• 中心同构于多项式代数 $ Y_i $ 的商代数，模去包含 $ z, q, u $ 的中心关系。
• 该结果将先前关于经典 BMW 代数的工作推广至仿射与退化仿射情形，为其中心提供了完整基。