[論文レビュー] The quantum Knizhnik-Zamolodchikov equation and non-symmetric Macdonald polynomials

M. Kasatani, Yoshihiro Takeyama|ArXiv.org|Aug 31, 2006

Algebraic structures and combinatorial models参考文献 8被引用数 7

ひとこと要約

この論文は、非対称マクドナルド多項式を用いてアフィンヘッケ代数を介して、$U_q(\widehat{sl}_N)$ のベクトル表現のテンソル積上の量子キニジュニク・ツァモロッチェフ方程式（qKZ）の特別な解を構成する。適切に特殊化した場合、これらの解がレベル1の頂点演算子の行列要素を再現することを示し、対称および非対称マクドナルド多項式を通じて、qKZ解と頂点演算子理論の直接的な関係を確立する。

ABSTRACT

We construct special solutions of the quantum Knizhnik-Zamolodchikov equation on the tensor product of the vector representation of the quantum algebra of type A_{N-1}. They are constructed from non-symmetric Macdonald polynomials through the action of the affine Hecke algebra. As a special case the matrix element of the vertex operators of level one is reproduced.

研究の動機と目的

• $U_q(\widehat{sl}_N)$ のための量子キニジュニク・ツァモロッチェフ（qKZ）方程式の解を、レベル1のケースを超えて明示的に構成すること。
• マクドナルド多項式を用いたqKZ解に関する先行研究を、一般のレベルおよび高ランク代数へと一般化すること。
• アフィンヘッケ代数および非対称マクドナルド多項式を通じて、qKZ解と頂点演算子の行列要素との間の関係を確立すること。
• qKZファミリーをアフィンヘッケ代数作用の下での巡回的モジュールとして定義・特徴づけ、解の体系的構成を可能にすること。

提案手法

• qKZファミリーという概念を導入——アフィンヘッケ代数（AHA）作用に関して閉じた関数の集合であり、qKZ方程式よりも強い制約を満たす。
• デマズール＝ルシュティグ作用素 $T_i$ と $q$-ドンクル作用素 $Y_j$ を用いて、関数空間へのAHA作用を定義する。
• 既知の非対称マクドナルド多項式に関する結果を活用し、$q$-ドンクル作用素と特定のデマズール＝ルシュティグ作用素の共同固有関数から解を構成する。
• アフィンヘッケ代数の表現論を応用して、1つの固有関数からqKZファミリーのすべての成分を生成する。
• 非対称マクドナルド多項式のパラメータ $t$ と $p$ を $t^{N+1}p = 1$ となるように特殊化し、qKZ方程式と整合性を持つように保証する。
• この特殊化のもとで、頂点演算子の行列要素の極端な成分が、特定の非対称マクドナルド多項式と一致することを検証する。

実験結果

リサーチクエスチョン

• RQ1 どのようにして、対称および非対称マクドナルド多項式を用いて、$U_q(\widehat{sl}_N)$ のための量子キニジュニク・ツァモロッチェフ方程式の解を体系的に構成できるか？
• RQ2 アフィンヘッケ代数は、$q$-ドンクル作用素およびデマズール＝ルシュティグ作用素の固有関数を通じて、qKZ解を生成する際に果たす役割は何か？
• RQ3 パラメータの特殊化によって、非対称マクドナルド多項式からレベル1の頂点演算子の行列要素を回復できるか？
• RQ4 非対称マクドナルド多項式がqKZ方程式と整合的で、かつ定義可能となる条件は何か？
• RQ5 ローラス多項式におけるホイール条件は、qKZ解の構造とマクドナルド多項式基底の性質とどのように関係しているか？

主な発見

• この論文は、アフィンヘッケ代数作用を介して非対称マクドナルド多項式を用いて、$U_q(\widehat{sl}_N)$ の $V^{\bigotimes n}$ 上のqKZ方程式の特別な解を構成する。
• qKZファミリーは、アフィンヘッケ代数作用の下での巡回的モジュールとして定義され、$q$-ドンクル作用素と特定のデマズール＝ルシュティグ作用素の共同固有関数から生成される。
• 一般のレベルおよび $\frac{k+1}{r-1} - N$ の形の特定の値に対して、固有値によって定まるパラメータを有する非対称マクドナルド多項式から解が構成される。
• パラメータの特殊化 $t^{N+1}p = 1$ および $t^{1/2} = -q^{-1}$ を施すと、レベル1の頂点演算子の行列要素が解として再現される。
• 与えられた特殊化のもとで、頂点演算子の行列要素の極端な成分は、定数倍を除いて非対称マクドナルド多項式 $E_\mu$ と一致する。
• 極端な成分はホイール条件を満たし、$t^{N+1}p = 1$ の下でマクドナルド多項式基底において一意的であることから、$E_\mu$ と同定されることを確認する。