[論文レビュー] Symmetric polynomials vanishing on the shifted diagonals and Macdonald polynomials

Boris Feigin, M. Jimbo+2 more|ArXiv.org|Sep 4, 2002

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

ひとこと要約

本稿は、$ t^{k+1}q^{r-1} = 1 $ におけるマクドナルド多項式によって特徴づけられる、シフトされた対角線上で消える対称多項式のイデアルの $ q $-変形を導入する。この変形により、$ \widehat{\mathfrak{sl}}_r $ のレベル $ k $ 整形式表現の単項式基底が保存される商代数が得られ、現在代数の関係が変形され、マクドナルド多項式を通じて相関関数と結びつく。

ABSTRACT

For each pair (k,r) of positive integers with r>1, we consider an ideal I^(k,r)_n of the ring of symmetric polynomials in n variables. The ideal I_n^(k,r) has a basis consisting of Macdonald polynomials P(x_1,...,x_n;q,t) at t^{k+1}q^{r-1}=1, and is a deformed version of the one studied earlier in the context of Jack polynomials. In this paper we give a characterization of I^(k,r)_n in terms of explicit zero conditions on the k-codimensional shifted diagonals of the form x_{2}=tq^{s_1}x_1,...,x_{k+1}=tq^{s_k}x_k. The ideal I^(k,r)_n may be viewed as a deformation of the space of correlation functions of an abelian current of the affine Lie algebra \hat{sl_r}. We give a brief discussion about this connection.

研究の動機と目的

• シフトされた対角線上で消える対称多項式のイデアル $ I_n^{(k,r)} $ をマクドナルド多項式を用いて特徴づける。
• レベル $ k $ の $ \widehat{\mathfrak{sl}}_r $ 現在代数関係の $ q $-変形を構成し、単項式基底構造を保存する。
• 変形された代数と、整形式表現におけるアーベル的現在の相関関数を結びつける。
• $ \widehat{\mathfrak{sl}}_r $-表現における現在の行列要素のゼロ条件の特徴づけを、$ q $-変形設定に一般化する。

提案手法

• マクドナルド多項式 $ P_\lambda(x_1,\dots,x_n;q,t) $ が $ t^{k+1}q^{r-1} = 1 $ にあるとき、$ I_n^{(k,r)} $ をその線形包として定義する。
• 明示的な消え方の条件を用いて、$ I_n^{(k,r)} $ をシフトされた対角線上での消え方で特徴づける：$ x_{i+1} = t q^{s_i} x_i $（$ 1 \leq i \leq k $）で、$ 0 \leq s_1 \leq \cdots \leq s_k \leq r-2 $。
• すべての such $ s_i $ に対して $ e(z) e(tq^{s_1}z) \cdots e(t^k q^{s_k}z) = 0 $ を満たす変形されたアーベル的現在 $ e(z) = \sum e_i z^i $ を構成する。
• この積のフーリエ係数が $ \mathbb{C}[\{e_i\}_{i \in \mathbb{Z}}] $ 内のイデアル $ \tilde{\mathcal{J}}(q,t) $ を生成することを示し、商がレベル $ k $ の $ \widehat{\mathfrak{sl}}_r $ の真空表現と同一の単項式基底を持つことを証明する。
• マクドナルド多項式の構造と $ t^{k+1}q^{r-1} = 1 $ での特殊化を用いて、消え方の条件と基底の性質を分析する。
• 変形された代数 $ E_{k,r}(q,t) $ をウェイル群作用と関連づけ、一般の $ q,t $ に対して $ \widehat{\mathfrak{sl}}_r $ の既約表現が $ E_{k,r}(q,t) $ への制限によってもなお既約のままであることを示す。

実験結果

リサーチクエスチョン

• RQ1 対称多項式のイデアル $ I_n^{(k,r)} $ を特徴づける、シフトされた対角線上での正確なゼロ条件の集合は何か？
• RQ2 レベル $ k $ の $ \widehat{\mathfrak{sl}}_r $ 整形式表現を $ q,t $-パラメータでどのように変形し、単項式基底を保存できるか？
• RQ3 マクドナルド多項式は、変形されたイデアルの特徴づけと現在代数関係との関係において、どのように役立つか？
• RQ4 $ e(z) $ の $ q $-変形された現在代数関係 $ e(z)e(tq^{s_1}z)\cdots e(t^k q^{s_k}z) = 0 $ は、相関関数の構造とどのように関係するか？
• RQ5 整形式表現における現在 $ e(z) $ の行列要素は、コドメイン $ k+1 $ の対角線上で $ q $-変形されたゼロ条件によって特徴づけられるか？

主な発見

• イデアル $ I_n^{(k,r)} $ は、すべての形 $ x_{i+1} = t q^{s_i} x_i $（$ 1 \leq i \leq k $）のシフトされた対角線上で対称多項式が消えることで特徴づけられる。ここで $ 0 \leq s_1 \leq \cdots \leq s_k \leq r-2 $。
• 条件 $ t^{k+1}q^{r-1} = 1 $ において、マクドナルド多項式 $ P_\lambda(x_1,\dots,x_n;q,t) $ は $ I_n^{(k,r)} $ の基底をなす。これはジャンク多項式イデアルの変形版を提供する。
• 一般の $ q,t $ で $ t^{k+1}q^{r-1} = 1 $ を満たすとき、商代数 $ \mathbb{C}[\{e_i\}_{i \geq 1}] / \mathcal{J}(q,t) $ は、$ \widehat{\mathfrak{sl}}_r $ のレベル $ k $ の真空表現の主部分空間と同一の単項式基底を持つ。
• 変形された現在 $ e(z) $ は、すべての $ 0 \leq s_1 \leq \cdots \leq s_k \leq r-2 $ に対して $ e(z)e(tq^{s_1}z)\cdots e(t^k q^{s_k}z) = 0 $ を満たし、$ t=1, q=\tau $ のもとでの未変形関係 $ e(z)^{k+1} = 0 $ を一般化する。
• $ E_{k,r}(q,t) = \mathbb{C}[D,D^{-1}] \ltimes \mathbb{C}[\{e_i\}_{i \in \mathbb{Z}}] / \tilde{\mathcal{J}}(q,t) $ は、$ \widehat{\mathfrak{sl}}_r $ の既約表現の変形であり、制限によっても既約性が保たれる。
• $ q $-変形は、現在 $ e(z) $ の整形式条件を明示的かつ $ q $-依存的に特徴づけるものであり、未変形の場合には暗黙的であった。