[论文解读] Action of Coxeter groups on m-harmonic polynomials and KZ equations

Giovanni Felder, А. П. Веселов|ArXiv.org|Aug 2, 2001

Algebraic structures and combinatorial models参考文献 24被引用 18

一句话总结

本文通过在KZ方程的零谱参数退化情况下应用Matsuo-Cherednik对应关系，研究了m-调和多项式——经典调和多项式的推广——的性质。计算了Coxeter群下空间$ H_m $及其同态分量的Poincaré多项式，并为对称群$ S_n $情形下的最低次m-调和多项式给出了显式公式。

ABSTRACT

The Matsuo-Cherednik correspondence is an isomorphism from solutions of Knizhnik-Zamolodchikov equations to eigenfunctions of generalized Calogero-Moser systems associated to Coxeter groups G and a multiplicity function m on their root systems. We apply this correspondence to the most degenerate case of zero spectral parameters. The space of eigenfunctions is then the space H_m of m-harmonic polynomials, recently introduced in math-ph/0105014. We compute the Poincare' polynomials for the space H_m and of its isotypical components corresponding to each irreducible representation of the group G. We also give an explicit formula for m-harmonic polynomials of lowest positive degree in the S_n case.

研究动机与目标

• 将经典的调和多项式推广为与Coxeter群及重数函数相关的m-调和多项式。
• 研究m-调和多项式空间$ H_m $的结构，特别是其Poincaré多项式和同态分量。
• 在退化情形（零谱参数）下应用Matsuo-Cherednik对应关系，将KZ方程的解与m-调和多项式联系起来。
• 为对称群$ S_n $情形下最低正次数的m-调和多项式推导显式公式。
• 利用渐近表示理论与Kerov关于Plancherel测度的结果，探讨m-调和多项式次数的分布。

提出的方法

• 利用Knizhnik–Zamolodchikov（KZ）方程的解与广义Calogero–Moser系统特征函数之间的Matsuo-Cherednik同构。
• 采用一种修改后的KZ方程，其取值在$ S(V)/I(\lambda) $中，对所有$ \lambda \in V $（包括$ \lambda = 0 $）有效，以处理退化情形。
• 通过Matsuo-Cherednik映射$ \mu $，将KZ方程的解与零谱参数下广义Calogero–Moser系统的解联系起来。
• 通过表示论分解计算空间$ H_m $及其同态分量的Poincaré多项式$ P(H_m, t) $。
• 利用Coxeter群$ G $在$ H_m $上的作用，将其分解为不可约表示，并计算每个同态分量的Poincaré级数。
• 应用Kerov关于$ S_n $的Plancherel测度的渐近结果，分析大$ n $时m-调和多项式次数的分布。

实验结果

研究问题

• RQ1 对于具有重数函数$ m $的Coxeter群$ G $，m-调和多项式空间$ H_m $的结构是怎样的，特别是其Poincaré多项式是怎样的？
• RQ2 与$ G $的不可约表示对应的$ H_m $的同态分量在群作用下的行为如何？
• RQ3 是否能为对称群$ S_n $情形下最低次数的m-调和多项式推导出显式公式？
• RQ4 当$ n \to \infty $时，m-调和多项式次数的渐近分布是怎样的，特别是在$ S_n $情形下？
• RQ5 代数$ Q_m $的Gorenstein性质在$ P(H_m, t) $的回文性质中体现到何种程度？

主要发现

• m-调和多项式空间$ H_m $的Poincaré多项式是回文的，反映了拟不变代数$ Q_m $的Gorenstein性质。
• 对于对称群$ S_n $，推导出了最低正次数m-调和多项式的显式公式。
• 计算了每个与$ G $的不可约表示对应的同态分量的$ H_m $的Poincaré多项式，揭示了$ H_m $的分次结构。
• 当$ n \to \infty $时，归一化的次数分布$ \frac{1}{n}(d^{-} - \frac{n(n-1)}{2}) $依分布收敛于$ N(0, 1/2) $，表明其围绕均值呈现高斯波动。
• 通过模$ S(V)/I(\lambda) $，将Matsuo-Cherednik同构扩展至退化情形$ \lambda = 0 $，使得能够在零谱参数下研究m-调和多项式作为KZ方程的解。
• 结果表明，$ H_m $的Poincaré多项式不依赖于基的选择，仅取决于群$ G $和重数函数$ m $，其结构推广了经典情形$ m = 0 $。