[論文レビュー] Specializations of nonsymmetric Macdonald-Koornwinder polynomials

Daniel L. Orr, Mark Shimozono|arXiv (Cornell University)|Oct 1, 2013

Advanced Combinatorial Mathematics参考文献 23被引用数 16

ひとこと要約

本稿は、非等価パラメータおよび非還元的アフィン根系における非対称マクドナルド＝クルンヴァインダー多項式のRam-Yip公式を一般化し、特殊化 $t\to 0$、$t\to\infty$、$q\to\infty$ において、量子アルコーブパスを通じた明示的な組合せ的公式を提供する。$t\to\infty$ における多項式係数の正値性を確立し、すべてのアフィン型における量子ブルハットグラフを定義し、$q\to\infty$ の極限を $p$-進Iwahori-Whittaker関数と結びつける。

ABSTRACT

This work records the details of the Ram-Yip formula for nonsymmetric Macdonald-Koornwinder polynomials for the double affine Hecke algebras of not-necessarily-reduced affine root systems. It is shown that the t=0 equal-parameter specialization of nonsymmetric Macdonald polynomials admits an explicit combinatorial formula in terms of quantum alcove paths, generalizing the formula of Lenart in the untwisted case. In particular our formula yields a definition of quantum Bruhat graph for all affine root systems. For mixed type the proof requires the Ram-Yip formula for the nonsymmetric Koornwinder polynomials. A quantum alcove path formula is also given for the limit at t equal to infinity. As a consequence we establish the positivity of the coefficients of nonsymmetric Macdonald polynomials under this limit, as conjectured by Cherednik and the first author. Finally, an explicit formula is given at q equal to infinity, which yields the p-adic Iwahori-Whittaker functions of Brubaker, Bump, and Licata.

研究の動機と目的

• 非等価パラメータおよび非還元的ケースにおける非対称マクドナルド＝クルンヴァインダー多項式へのRam-Yip公式の拡張。
• すべてのアフィン根系に一般化されたLenartの公式を用いて、量子アルコーブパスを用いて $E_\lambda(X;q;0)$ の組合せ的公式を提供。
• $E_\lambda(X;q;\infty)$ の係数の正値性を確立し、CherednikとOrrの予想を確認。
• $E_\lambda(X;\infty;t)$ の明示的公式を導出し、Brubaker、Bump、Licataの $p$-進Iwahori-Whittaker関数と関連付ける。
• $t\to 0$ の特殊化を用いて、すべてのアフィン根系における量子ブルハットグラフを定義。

提案手法

• 非等価パラメータおよび非還元的根系を有する二重アフィンヘッケ代数（DAHA）へのRam-Yip公式の一般化。
• 量子アルコーブパスを用いて、$t\to 0$ の特殊化 $E_\lambda(X;q;0)$ をパスの重みおよび次数統計量の和として表現。
• $t\to\infty$ におけるRam-Yip公式の適用で、量子ブルハットグラフ内の逆パスを用い、係数の正値性を証明。
• 量子ブルハットグラフ上の双対性および対合を用いて、$E_\lambda(X;q^{-1};\infty)$ を $\overleftarrow{\mathcal{QB}}(\mathrm{id};m_\lambda)$ 内のパスと関連付ける。
• 双対性およびパスの反転を用いて $q\to\infty$ の極限を導出し、$E_\lambda(X;\infty;v^{-1})$ が負の折り返しアルコーブパスの和として表されることを示す。
• Hall-Littlewood多項式およびSchwerの公式に関する既知の結果を活用し、$q=0$ における一貫性を検証。

実験結果

リサーチクエスチョン

• RQ1 非還元的かつ非等価パラメータの場合における非対称マクドナルド＝クルンヴァインダー多項式へのRam-Yip公式の拡張はどのように可能か？
• RQ2 $E_\lambda(X;q;t)$ の $t\to 0$ 特殊化は、すべてのアフィン根系において一様な組合せ的公式を有するか？
• RQ3 CherednikとOrrの予想に従い、すべてのアフィン根系において $E_\lambda(X;q;\infty)$ の係数の正値性は成立するか？
• RQ4 $E_\lambda(X;q;t)$ の $q\to\infty$ 極限は、組合せ的に表現可能であり、既知の $p$-進自己同型形式と関連付けることができるか？
• RQ5 混合型およびねじれアフィン根系における量子ブルハットグラフの構造は何か？

主な発見

• $t\to 0$ 特殊化 $E_\lambda(X;q;0)$ は、量子アルコーブパスを用いた組合せ的公式を有し、すべてのアフィン根系に一般化されたLenartの公式を拡張する。
• $t\to\infty$ 特殊化 $E_\lambda(X;q;\infty)$ の係数は $\mathbb{Z}_{\geq 0}[q]$ に属し、CherednikとOrrの正値性予想を確認する。
• 量子ブルハットグラフは、$t\to 0$ 特殊化を用いてすべてのアフィン根系に定義され、長さの最大元 $w_0$ におけるパスと重みの間の双対写像が存在する。
• $q\to\infty$ の極限により、$E_\lambda(X;\infty;t)$ は負の折り返しアルコーブパスの和として得られ、Brubaker、Bump、Licataの $p$-進Iwahori-Whittaker関数と一致する。
• $q=0$ における公式は、Hall-Littlewood多項式のSchwerの公式に還元され、既知の結果と一貫性を確認する。
• $q\to\infty$ および $q\to 0$ の極限は双対性によって関連付けられ、$E_\lambda(X;\infty;v^{-1})$ は $\mathcal{B}^{-}(\mathrm{id};m_\lambda)$ 内の逆パスを用いて表現される。