[论文解读] A new integral basis for the centre of the Hecke algebra of type A

Andrew Francis, Lenny Jones|arXiv (Cornell University)|May 11, 2007

Advanced Combinatorial Mathematics参考文献 8被引用 3

一句话总结

本文提出了一种递归算法，用于构造类型A的Hecke代数中心的积分基，该基由Jucys–Murphy元素质数的单项对称多项式的整系数线性组合构成。关键贡献在于证明了此类基的存在性——首次提供了基于对称多项式的积分基——并表明仅由单项对称多项式构成的基极为罕见，仅在$ S_3 $的Hecke代数中存在一个这样的基。

ABSTRACT

We describe a recursive algorithm that produces an integral basis for the centre of the Hecke algebra of type A consisting of linear combinations of monomial symmetric polynomials of Jucys--Murphy elements. We also discuss the existence of integral bases for the centre of the Hecke algebra that consist solely of monomial symmetric polynomials of Jucys--Murphy elements. Finally, for n=3, we show that only one such basis exists for the centre of the Hecke algebra, by proving that there are exactly four bases for the centre of the corresponding symmetric group algebra which consist solely of monomial symmetric polynomials of Jucys--Murphy elements.

研究动机与目标

• 使用Jucys–Murphy元素的对称多项式构造类型A的Iwahori–Hecke代数中心的积分基。
• 研究是否存在仅由Jucys–Murphy元素的单项对称多项式构成的积分基。
• 确定Hecke代数$ S_3 $的中心中此类单项对称多项式基的数量。
• 尽管在$ n \to 3,4,5 $时失败，仍将Murphy在群代数中的单项对称多项式基推广至Hecke代数。
• 确立仅由单项多项式构成的基极为罕见，仅在$ \text{Hecke}(S_3) $中存在一个。

提出的方法

• 定义复合型与分拆，包括将复合型映射到$ n $的分拆的$ \bar{\bullet} $构造，并引入复合型的递归序。
• 使用$ S_n $的Coxeter表示，通过复合型定义递增元素及其形状，以关联共轭类。
• 引入Jucys–Murphy元素，并将单项对称多项式$ m_\nu $定义为这些元素的对称函数。
• 将Hecke代数$ \text{Hecke}(S_n) $的中心构造为$ \bbZ[q,q^{-1}] $上Jucys–Murphy元素的对称多项式的张量，通过特化映射到群代数。
• 应用递归算法，生成中心的整系数基，作为单项对称多项式的整系数线性组合。
• 使用特征标理论技术与系数分析（通过引理6.1–6.5）来确定候选基的系数矩阵的整数性与可逆性。

实验结果

研究问题

• RQ1 是否存在一个仅由Jucys–Murphy元素的单项对称多项式构成的、类型A的Hecke代数中心的积分基？
• RQ2 在Hecke代数$ S_3 $的中心中，此类单项对称多项式基共有多少个？
• RQ3 Murphy在群代数中的单项对称多项式基能否推广至Hecke代数？
• RQ4 何种条件可确保一组单项对称多项式构成Hecke代数中心的积分基？
• RQ5 是否存在结构上的障碍，导致高阶Hecke代数中不存在仅由单项多项式构成的积分基？

主要发现

• 类型A的Hecke代数中心存在一个积分基，其由Jucys–Murphy元素的单项对称多项式的整系数线性组合构成。
• 当$ n=3 $时，Hecke代数$ \text{Hecke}(S_3) $的中心中仅存在一个这样的基，即$ \big\{ m_{\text{\emptyset}}, m_1, m_{1,1} \big\} $。
• 在群代数$ \bbZ S_3 $的中心中，仅由Jucys–Murphy元素的单项对称多项式构成的基恰好有四个：$ \{m_{\emptyset}, m_1, m_2\} $，$ \{m_{\emptyset}, m_1, m_{1,1}\} $，$ \{m_{\emptyset}, m_1, m_{2,2}\} $，以及$ \{m_1, m_2, m_{2,2}\} $。
• 在单项式$ m_{i+j,i} $中，共轭类元素的系数恒为偶数，如推论6.6所示。
• 单项式$ m_{2j} $与$ m_{i,i} $的系数矩阵行列式为$ \frac{(-1)^{i+1}(4^j + 1) + 2^{i+1}}{3} $，仅当$ i=2, j=1 $时其值为$ \pm 1 $，此时得到唯一的基$ \{m_2, m_{2,2}\} $。
• 由于系数约束与奇偶性条件，唯一能整系数张量一维分量$ \Gamma_{2,1} $的单项式是$ m_1 $。