[论文解读] Structure coefficients of the Hecke algebra of $(S_{2n},B_n)$

Omar Tout|arXiv (Cornell University)|Dec 21, 2012

Advanced Combinatorial Mathematics参考文献 12被引用 12

一句话总结

本文建立了与对 $(\mathcal{S}_{2n}, \mathcal{B}_n)$ 相关的 Hecke 代数的结构系数的多项式性质，证明其为 $2^n n!$ 乘以一个具有非负整数系数的 $n$ 的多项式。作者构建了一个基于部分双射的通用代数，该代数可投影到 Hecke 代数上，利用滤子控制这些多项式的次数，为系数提供了组合框架。

ABSTRACT

The Hecke algebra of the pair $(S_{2n},B_n)$, where $B_n$ is the hyperoctahedral subgroup of $S_{2n}$, was introduced by James in 1961. It is a natural analogue of the center of the symmetric group algebra. In this paper, we give a polynomiality property of its structure coefficients. Our main tool is a combinatorial universal algebra which projects on the Hecke algebra of $(S_{2n},B_n)$ for every $n$. To build it, we introduce new objects called partial bijections.

研究动机与目标

• 建立 Hecke 代数 $\mathbb{C}[\mathcal{B}_n\backslash\mathcal{S}_{2n}/\mathcal{B}_n]$ 的结构系数的多项式性质。
• 构建一个基于部分双射的通用代数，使其对所有 $n$ 投影到 Hecke 代数上。
• 为结构系数多项式展开中的系数提供组合解释。
• 推导编码结构系数的多项式次数的上界。

提出的方法

• 使用 $n$ 个元素的部分双射作为基础组合对象，构造一个通用代数。
• 将通用代数中的乘积定义为部分双射复合的平均值。
• 在通用代数上引入三种滤子 ($\deg_1$, $\deg_2$, $\deg_3$) 以控制系数的增长。
• 利用通用代数，对每个 $n$ 投影到 Hecke 代数 $\mathbb{C}[\mathcal{B}_n\backslash\mathcal{S}_{2n}/\mathcal{B}_n]$ 上。
• 通过表示论对偶性，将通用代数与移位对称函数代数联系起来。
• 通过通用代数上滤子的不等式推导出次数界。

实验结果

研究问题

• RQ1 Hecke 代数 $\mathbb{C}[\mathcal{B}_n\backslash\mathcal{S}_{2n}/\mathcal{B}_n]$ 的结构系数能否表示为 $n$ 的多项式？
• RQ2 这些结构系数多项式展开中的系数具有何种组合意义？
• RQ3 能否构建一个对所有 $n$ 都投影到 Hecke 代数上的通用代数？
• RQ4 可以为编码结构系数的多项式的次数施加哪些上界？
• RQ5 通用代数上的滤子如何与结构系数多项式的次数相关联？

主要发现

• Hecke 代数 $\mathbb{C}[\mathcal{B}_n\backslash\mathcal{S}_{2n}/\mathcal{B}_n]$ 的结构系数等于 $2^n n!$ 乘以一个具有非负整数系数的 $n$ 的多项式。
• 多项式 $f_{\lambda\delta}^{\rho}(n)$ 的次数上界为 $|\lambda| + |\delta| - |\rho|$。
• 额外的次数上界为 $|\lambda| + |\delta| - |\rho| - l(\lambda) - l(\delta) + l(\rho)$，其中 $l(\cdot)$ 表示分拆中的部分数。
• 由部分双射构造的通用代数为 Hecke 代数结构提供了组合实现，使得系数可显式计算。
• 通用代数上的滤子 $\deg_1$, $\deg_2$, 和 $\deg_3$ 通过结构系数支撑集的不等式，导出所述次数上界。
• 该构造建立了通用代数与移位对称函数代数之间的联系，暗示了 Hecke 代数中多项式结果的更广泛框架。