[論文レビュー] Non-Symmetric Hall-Littlewood Polynomials

François Descouens, Alain Lascoux|ArXiv.org|Sep 19, 2006

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

ひとこと要約

本稿では、ヘケ代数 $\mathcal{H}_n(q)$ 内のヤン・バクスター要素の作用を通じて、非対称多項式の2つの新しい基底 $U_v$ と $\widehat{U}_v$ を導入する。これらの基底が $q$-変形スカラー積に関して双対的であることが示され、$q=0$ において古典的キー多項式（デマールー文字）に特殊化され、ハル・リトルウッド多項式は $U_v$ の対称部分族をなす。双対性は再帰的構成とスカラー積の直交性により証明される。

ABSTRACT

Using the action of the Yang-Baxter elements of the Hecke algebra on polynomials, we define two bases of polynomials in n variables. The Hall-Littlewood polynomials are a subfamily of one of them. For q=0, these bases specialize into the two families of classical Key polynomials (i.e. Demazure characters for type A). We give a scalar product for which the two bases are adjoint of each other.

研究の動機と目的

• ヤン・バクスター要素のヘケ代数 $\mathcal{H}_n(q)$ 内の作用を用いて、$n$ 変数の多項式の2つの新しい基底を定義すること。
• これらの2つの基底が双対となるスカラー積を確立し、対称関数の双対性を一般化すること。
• $q=0$ において、これらの基底が型 $A$ の古典的キー多項式（デマールー文字）に特殊化されることを示すこと。
• $U_v$ 基底内での対称部分族としてハル＝リトルウッド多項式が回復されることを示すこと。
• ヘケ代数とスカラー積の双対性を用いて、非対称ハル＝リトルウッド多項式の新しい代数的・組合せ論的枠組みを提供すること。

提案手法

• パラメータ $u_i = q^{i-1}$ を用いて、ヘケ代数 $\mathcal{H}_n(q)$ 内のヤン・バクスター要素による単項式の像として2つの基底 $U_v$ と $\widehat{U}_v$ を定義する。
• 生成子 $T_i$ の作用による再帰的定義を用いる：$Y_{\sigma s_i} = Y_\sigma (T_i + 1/[k]_q)$ および $\widehat{Y}_{\sigma s_i} = \widehat{Y}_\sigma (T_i + q^{k-1}/[k]_q)$、ここで $k = \sigma_{i+1} - \sigma_i$。
• 双線形形式 $<h_1, h_2> = $ $h_1 \cdot \varphi(h_2)$ 内の $T_\omega$ の係数として定義する。ここで $\varphi$ は $u_i \mapsto u_{n-i+1}$ を交換する反自己同型である。
• 多項式環 $\mathfrak{Pol}$ 上にヘケ代数作用と整合する $q$-変形スカラー積 $(\,,\,)_{q}$ を定義する。
• 帰納法を用いて双対性を証明する：核条件と下位項との直交性を用いて $\widehat{U}_v$ を再帰的に構成する。
• $Y_\omega = \sum_{\sigma} T_\sigma$ および $\widehat{Y}_\omega = \sum_{\sigma} (-q)^{\ell(\sigma\omega)} T_\sigma$ を用いて、最大元の振る舞いを検証する。

実験結果

リサーチクエスチョン

• RQ1 非対称ハル＝リトルウッド多項式は、ヘケ代数作用を用いてどのように体系的に構成できるか？
• RQ2 $q$-変形スカラー積に関して、2つの基底 $U_v$ と $\widehat{U}_v$ の間の双対関係は何か？
• RQ3 これらの基底は $q=0$ でどのように特殊化され、どのような古典的対象が回復されるか？
• RQ4 $U_v$ 基底内での対称部分族としてハル＝リトルウッド多項式が回復可能か？
• RQ5 双対性を特徴付けるカウチ型の恒等式は存在するか？

主な発見

• 2つの基底 $\{U_v\}$ と $\{\widehat{U}_v\}$ はスカラー積 $(\,,\,)_{q}$ に関して双対的であり、$(U_v, \widehat{U}_{u\omega})_q = \delta_{v,u}$ を満たす。
• $q=0$ において、$U_v$ 基底は古典的キー多項式 $K_v$ に特殊化され、これは型 $A$ のデマールー文字に一致する。
• $U_v$ の対称部分族はちょうどハル＝リトルウッド多項式 $P_\lambda$ に一致し、分割 $\lambda$ でインデックスされる。
• スカラー積 $(\,,\,)_{q}$ は、$U_v$ と $\widehat{U}_v$ が双対となるように定義され、双対性は再帰的構成と直交性条件により証明された。
• $q=0$ におけるカウチ恒等式 $\sum_{u \in \mathbb{N}^n} K_u(x) \widehat{K}_{u\omega}(y) = \prod_{i+j \leq n+1} \frac{1}{1 - x_i y_j}$ が成り立ち、再生核性が確認された。
• $U_v$ の先行項は $x^v$、$\widehat{U}_v$ の先行項は $x^{v\omega}$ であり、双対性が非退化的かつ三角的であることを保証する。