[论文解读] The Hecke algebra and structure constants of the ring of symmetric polynomials

Alain Lascoux|arXiv (Cornell University)|Feb 17, 2006

Advanced Combinatorial Mathematics参考文献 20被引用 7

一句话总结

本文通过引入Hecke代数的多个基，并利用过渡矩阵将它们与经典对称函数基联系起来，建立了对称群的Hecke代数与对称多项式环之间的深刻联系。关键贡献在于证明：某些Hecke代数中心元素之间的基变换矩阵同构于对称函数环中的对应矩阵，特别是通过q整数和归一化映射，将Jones基与幂和对称函数及单项对称函数联系起来。

ABSTRACT

We give half a dozen bases of the Hecke algebra of the symmetric group, and relate them to the basis of Geck-Rouquier, and to the basis of Jones, using matrices of change of bases of the ring of symmetric polynomials.

研究动机与目标

• 统一对称群Hecke代数的结构与经典对称多项式理论。
• 解释为何对称函数基之间的过渡矩阵（例如从幂和到单项对称函数）会出现在Hecke代数的中心元素中。
• 通过在Hecke代数中引入新基，推广已知结果，特别是Jones基与幂和之间的联系。
• 阐明非交换对称函数在解释Hecke代数中对称函数过渡矩阵出现原因中的作用。
• 为理解Hecke代数中中心幂等元、归一化映射与对称函数基之间的相互作用，提供系统性框架。

提出的方法

• 通过Young子代数的归一化同态引入Hecke代数的多个基，其定义基于映射 $\mathcal{N}_I(h) = \sum_{w \in \mathfrak{S}_n / \mathfrak{S}_I} T_w h T_{w^{-1}} $，该映射保持中心性。
• 使用基于谱参数和$q$-整数递归定义的Yang-Baxter基 $\mathcal{Y}_w^v$，并通过 $\widehat{\mathcal{Y}}_w^v = T_\omega \mathcal{Y}_{\omega w}^u $ 表达其对偶性，确保在标准内积下正交性。
• 应用内积 $ (T_w, T_v) = \delta_{w,v} $ 定义对偶基并确保正交性，这对推导过渡矩阵至关重要。
• 依赖对称函数理论（Macdonald的约定），通过 $\mathcal{N}_\lambda(\cdot)$ 将基变换矩阵 $H2M$、$P2M$、$S2M$ 表示为Hecke代数中的元素，将其与 $\Gamma_\lambda$（Geck-Rouquier基）联系起来。
• 利用结构常数的组合解释：例如，$h^I$ 展开中 $m_J$ 的系数等于行和为 $I$、列和为 $J$ 的非负整数矩阵的个数。
• 证明矩阵 $H2E$（将 $\mathcal{N}_\lambda(T_{\omega_\lambda}^2)$ 表示为 $\mathcal{N}_\lambda(1)$ 的线性组合）是自逆的且与 $q$ 无关，揭示了一种隐藏的对称性。

实验结果

研究问题

• RQ1 为何对称函数基之间的过渡矩阵（例如从幂和到单项对称函数）会作为Hecke代数中心的基变换矩阵出现？
• RQ2 如何通过 $q$-整数和归一化映射将Hecke代数的Jones基与经典对称函数基联系起来？
• RQ3 非交换对称函数在解释Hecke代数中对称函数过渡矩阵出现的原因中起什么作用？
• RQ4 为何矩阵 $H2E$（将基 $\mathcal{N}_\lambda(T_{\omega_\lambda}^2)$ 表示为 $\mathcal{N}_\lambda(1)$ 的线性组合）是自逆的且与 $q$ 无关？
• RQ5 归一化映射 $\mathcal{N}_I(h)$ 和Young子代数的结构如何生成Hecke代数中的中心元素，使其与对称函数基相对应？

主要发现

• Hecke代数中心中Jones基与Geck-Rouquier基之间的过渡矩阵，至多相差 $Q = q - q^{-1}$ 的幂，与对称多项式环中从幂和到单项对称函数的变换矩阵完全相同。
• 矩阵 $H2E$（将 $\mathcal{N}_\lambda(T_{\omega_\lambda}^2)$ 表示为 $\mathcal{N}_\lambda(1)$ 的线性组合）是自逆的且与 $q$ 无关，表明存在深刻的代数对称性。
• 当 $h$ 是 $\mathcal{H}(\mathfrak{S}_I)$ 中的中心元时，归一化映射 $\mathcal{N}_I(h)$ 保持中心性，从而可从小型子代数构造 $\mathcal{H}_n$ 中的中心元素。
• $h^I$ 展开中 $m_J$ 的系数等于行和为 $I$、列和为 $J$ 的非负整数矩阵的个数，为结构常数提供了组合解释。
• 矩阵 $H2P \cdot D \cdot D_1 \cdot P2H$ 表示从 $\mathcal{N}_\lambda(T_{\omega_\lambda}^2)$ 到 $\mathcal{N}_\lambda(\square_\lambda)$ 的基变换，当移除 $D$ 和 $D_1$ 后变为单位矩阵，但不存在任何 $q$-特殊化使两个对角矩阵同时为平凡。
• Hecke代数中心中的基 $\Gamma_\lambda$ 对应于单项对称函数 $m_\lambda$，而非幂和，纠正了文献中可能存在的误认。