[論文レビュー] 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代数の特定の中心的要素間の基底変換行列が、対称関数環のそれらと同型であることを示したことである。特に、Jonesの基底がq整数および正規化写像を通じて、冪和および単項対称関数と関連づけられることを明らかにした。

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の慣習に従う対称関数論に依拠し、$H2M$、$P2M$、$S2M$ などの基底変換行列を、$\mathcal{N}_\lambda(\cdot)$ を通じて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 Jones基底が $q$-整数および正規化写像を通じて、古典的な対称関数基底とどのように関連づけられるのか？
• RQ3 非可換対称関数は、Hecke代数に現れる対称関数の移行行列の出現を説明する上で果たす役割は何か？
• RQ4 なぜ行列 $H2E$（$\mathcal{N}_\lambda(T_{\omega_\lambda}^2)$ を $\mathcal{N}_\lambda(1)$ で表すもの）は自己逆かつ $q$ に依存しないのか？
• RQ5 正規化写像 $\mathcal{N}_I(h)$ とYoung部分代数の構造は、どのようにして、小さな部分代数から $\mathcal{H}_n$ の中心的要素を生成し、対称関数基底を模倣するのか？

主な発見

• 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$ に対応しており、文献における誤った識別を是正する。