[论文解读] A $q$-deformation of an algebra of Klyachko and Macdonald's reduced word formula

Philippe Nadeau, Vasu Tewari|arXiv (Cornell University)|Jun 7, 2021

Advanced Combinatorial Mathematics参考文献 35被引用 4

一句话总结

本文引入了与Klyachko工作及Macdonald约化字公式相关的代数结构的q-变形，通过施鲁夫函数和钩长建立了欧拉数的q-模拟。关键结果以q-钩长和主要指数表示了特定表格的q-生成函数，将经典欧拉数恒等式推广至具有标准杨表组合解释的q-变形设定。

ABSTRACT

There is a striking similarity between Macdonald's reduced word formula and the image of the Schubert class in the cohomology ring of the permutahedral variety $\mathrm{Perm}_n$ as computed by Klyachko. Toward understanding this better, we undertake an in-depth study of a $q$-deformation of the $\mathbb{S}_n$-invariant part of the rational cohomology ring of $\mathrm{Perm}_n$, which we call the $q$-Klyachko algebra. We uncover intimate links between expansions in the basis of squarefree monomials in this algebra and various notions in algebraic combinatorics, thereby connecting seemingly unrelated results by finding a common ground to study them. Our main results are as follows. 1) A $q$-analog of divided symmetrization ($q$-DS) using Yang-Baxter elements in the Hecke algebra. It is a linear form that picks up coefficients in the squarefree basis. 2) A relation between $q$-DS and the ideal of quasisymmetric polynomials involving work of Aval--Bergeron--Bergeron. 3) A family of polynomials in $q$ with nonnegative integral coefficients that specialize to Postnikov's mixed Eulerian numbers when $q=1$. We refer to these new polynomials as remixed Eulerian numbers. For $q>0$, their normalized versions occur as probabilities in the internal diffusion limited aggregation (IDLA) stochastic process. 4) A lift of Macdonald's reduced word identity in the $q$-Klyachko algebra. 5) The Schubert expansion of the Chow class of the standard split Deligne--Lusztig variety in type $A$, when $q$ is a prime power.

研究动机与目标

• 将经典欧拉数恒等式通过代数与组合结构推广至q-变形设定。
• 通过包含q-钩长的新生成函数，提供Macdonald约化字公式的q-模拟。
• 将某些对称函数的求值推广至包含q参数的情形，将其与标准杨表上的主要指数统计联系起来。
• 在施伯伯特多项式与拟对称函数的背景下，建立区间性质的q-变形版本。

提出的方法

• 利用公式 (LABEL:eq:awq_formula) 中 $ a_w(q) $ 的替代表达式，并应用前序命题推导出主要恒等式。
• 采用对标准杨表 $ \mathrm{SYT}(\lambda, m-1) $ 的求和，按主要指数 $ \mathrm{maj}(T) $ 加权，并乘以 $ q $ 的幂。
• 对每个格子 $ (i,j) \in \lambda $，引入q-钩长 $ h(i,j)_q = [\lambda_i + \lambda_j' - i - j + 1]_q $。
• 应用变换 $ q^{-N(\lambda)} $ 以归一化生成函数，使其与已知的q-模拟恒等式一致。
• 依赖于 [NT20, 推论6.18] 的结果，并将其框架扩展至m-格拉斯曼排列的q参数情境。
• 使用区间性质的定义，以刻画在 $ \pi $ 或 $ \pi^+ $ 下图像在基 $ B $ 或 $ B^+ $ 中仅具有区间支撑的多项式。

实验结果

研究问题

• RQ1 如何将Macdonald的经典约化字公式推广至包含q参数的情形？
• RQ2 由给定形状的标准杨表上主要指数生成函数导出的欧拉数的q-模拟是什么？
• RQ3 施伯伯特多项式中的区间性质能否推广至q-变形设定？这对拟对称函数的结构有何含义？
• RQ4 Klyachko代数的q-变形如何与钩长公式及主要指数统计相关联？

主要发现

• 生成函数 $ A_{(c_1,\dots,c_r)}(q) $ 表达为 $ q^{-N(\lambda)} \sum_{T \in \mathrm{SYT}(\lambda, m-1)} q^{\mathrm{maj}(T)} \prod_{(i,j) \in \lambda} h(i,j)_q $，提供了欧拉数的q-模拟。
• 对于示例 $ (c_1,\dots,c_5) = (0,1,2,1,1) $，该公式给出 $ A_{01211}(q) = q^2(1+q)^2(1+q+q^2)^2(1+q^2) $，确认了q-变形。
• q-钩长 $ h(i,j)_q $ 定义为 $ [\lambda_i + \lambda_j' - i - j + 1]_q $，将经典钩长推广至q情形。
• 该结果建立了m-格拉斯曼排列、标准杨表与q-特殊化对称函数之间的强关联。
• 证明了某些多项式在 $ \pi $ 下的像满足区间性质，暗示了拟对称与施伯伯特多项式中更深层次的结构模式。