[論文レビュー] 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方程式における零スペクトルパラメータの退化ケースにマツオ＝チェレドニク対応を適用することで、古典的調和多項式の一般化である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-調和多項式への古典的調和多項式の一般化を達成すること。
• 特にそのPoincaré多項式および等型成分を含む、m-調和多項式空間$ H_m $の構造を調査すること。
• スペクトルパラメータが零である退化ケースにおけるマツオ＝チェレドニク対応を適用し、KZ方程式の解とm-調和多項式を関連付けること。
• 対称群$ S_n $の場合における最低次の正の次数のm-調和多項式について明示的な公式を導出すること。
• 漸近表現論およびPlancherel測度に関するケロフの結果を用いて、m-調和多項式の次数の分布を調査すること。

提案手法

• Knizhnik–Zamolodchikov (KZ)方程式の解と一般化されたCalogero–Moser系の固有関数との間のマツオ＝チェレドニク同型を用いる。
• すべての$ \lambda \in V $、特に$ \lambda = 0 $を含む、$ S(V)/I(\lambda) $値をとる修正版KZ方程式を適用し、退化ケースを扱う。
• マツオ＝チェレドニク写像$ \mu $を用いて、スペクトルパラメータが零の一般化されたCalogero–Moser系の解とKZ方程式の解を関連付ける。
• 表現論的分解を用いて、空間$ H_m $およびその等型成分のPoincaré多項式$ P(H_m, t) $を計算する。
• Coxeter群$ G $の$ H_m $への作用を用い、既約表現への分解を進め、各等型成分のPoincaré級数を計算する。
• 対称群$ S_n $のPlancherel測度に関するケロフの漸近的結果を適用し、$ n $が大きい場合のm-調和多項式の次数分布を分析する。

実験結果

リサーチクエスチョン

• RQ1 Coxeter群$ G $および多重度関数$ m $に対して、m-調和多項式空間$ H_m $の構造、特にそのPoincaré多項式は何か？
• RQ2 群の作用下で、$ G $の既約表現に対応する$ H_m $の等型成分はどのように振る舞うか？
• RQ3 対称群$ S_n $の場合に、最低次のm-調和多項式について明示的な公式を導出可能か？
• RQ4 $ n $が大きい場合、m-調和多項式の次数の漸近的分布は何か、特に$ S_n $の場合にどうか？
• RQ5 代数的 quasiinvariants $ Q_m $ のGorenstein性は、$ P(H_m, t) $ の回文的性質にどの程度反映されるか？

主な発見

• m-調和多項式空間$ H_m $のPoincaré多項式は回文的であり、代数的 quasiinvariants $ Q_m $ のGorenstein性を反映している。
• 対称群$ S_n $の場合、最低次の正の次数のm-調和多項式について明示的な公式が導出された。
• 各既約表現に対応する等型成分のPoincaré多項式が$ H_m $に対して計算され、$ H_m $の次数付き構造が明らかになった。
• $ n \to \infty $のとき、正規化された次数分布$ \frac{1}{n}(d^{-} - \frac{n(n-1)}{2}) $は分布的に$ N(0, 1/2) $に収束し、平均回りのガウス的フラクチュエーションを示している。
• モジュール$ S(V)/I(\lambda) $を用いて、$ \lambda = 0 $の退化ケースにおけるマツオ＝チェレドニク同型が拡張され、スペクトルパラメータが零のKZ方程式の解としてm-調和多項式が研究可能になった。
• Poincaré多項式$ P(H_m, t) $が基底の選び方に依存せず、群$ G $および多重度関数$ m $にのみ依存すること、かつ古典的ケース$ m = 0 $を一般化する構造を持つことが確認された。