[論文レビュー] Nonsymmetric Macdonald polynomials, Demazure modules and PBW filtration

Evgeny Feigin, Ievgen Makedonskyi|arXiv (Cornell University)|Jul 23, 2014

Algebraic structures and combinatorial models参考文献 19被引用数 12

ひとこと要約

この論文は、重みλの双対λ*が基本的重みの倍数であるか、最初と最後の基本的重みの線形結合である場合に、型AにおけるCherednik-Orr予想を証明する。非対称マクドナルド多項式の$t\to\infty$極限が、レベル1のデマールー加群のPBW捻じれキャラクターに等しいことを、組合せ論的公式とPBWフィルトレーション構造を用いて確立する。

ABSTRACT

The Cherednik-Orr conjecture expresses the $t o\infty$ limit of the nonsymmetric Macdonald polynomials in terms of the PBW twisted characters of the affine level one Demazure modules. We prove this conjecture in several special cases.

研究の動機と目的

• 非対称マクドナルド多項式$E_\lambda(x,q,t)$の$t\to\infty$極限が、アフィンデマールー加群のPBW捻じれキャラクターに等しいというCherednik-Orr予想を検証すること。
• 現在代数の表現理論とマクドナルド多項式の組合せ論的構造との間の関係を確立すること。
• 型Aにおける特別なデマールー加群のPBWキャラクターに対して明示的な組合せ論的公式を提供すること。
• 型Aのリー代数において、重みの双対が基本的重みの倍数、または最初と最後の基本的重みの線形結合であるようなクラスの重みに対して、予想を証明すること。

提案手法

• 非対称マクドナルド多項式を組合せ論的に表現するためにHaglund-Haiman-Loehrの公式を用いる。
• $E_\lambda(x,q,t)$の$t\to\infty$極限を分析し、$x$と$q^{-1}$の多項式として非負の係数を持つことを示す。
• デマールー加群にPBWフィルトレーションを構成し、明示的な基底を用いてその関連付き次数キャラクターを計算する。
• $q$-多項係数と格子路への重み付き和を用いて、PBWキャラクターをモデル化する。
• 係数の再帰的関係と対称性を用いて、$t\to\infty$極限とPBWキャラクターを一致させる。
• $n$-サイクル作用による巡回シフトの議論を用い、多項式展開における異なる位置の係数を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 非対称マクドナルド多項式$E_\lambda(x,q,t)$の$t\to\infty$極限は、レベル1のデマールー加群$W_\lambda$のPBW捻じれキャラクターに等しいか？
• RQ2 Cherednik-Orr予想は、型Aリー代数における特定の重みクラスに対して検証可能か？
• RQ3 反ドミナント重みに関連するデマールー加群のPBWキャラクターの背後にある組合せ論的構造は何か？
• RQ4 $q$-多項係数と重み付き格子路は、デマールー加群上のPBWフィルトレーションをどのように表現するか？
• RQ5 PBWキャラクターの係数構造に再帰的検証を可能にする対称性または巡回的性質は存在するか？

主な発見

• 型Aにおいて、$\lambda^*$が基本的重みの倍数であるか、最初と最後の基本的重みの線形結合である場合、Cherednik-Orr予想が成立する。
• 代入$p = q$の下で、$t\to\infty$極限$E_\lambda(x,q^{-1},\infty)$がPBW捻じれキャラクター$\mathop{\rm ch}_{\rm PBW}W_\lambda$に等しいことが示された。
• デマールー加群$W_\lambda$のPBWキャラクターは、$q$-多項係数と重み付き指数の和として明示的に計算される。
• PBWキャラクターにおける$x_1^{k_1}\cdots x_n^{k_n}$の係数は、巡回シフトの議論により、$t\to\infty$極限$E_\lambda(x,q^{-1},\infty)$の係数と一致する。
• 係数$c^{(\lambda)}_{j|1}$間の再帰的関係$c^{(\lambda)}_{j|1} = c^{(\lambda)}_{j+1|1} - (1-q^{m_2})c^{\lambda}_{j+1|1}$を用いて、位置間での一貫性を示した。
• PBWフィルトレーションの構造により、$l_i, p_i$に関する和としてキャラクターが組合せ論的に実現可能であり、重み$q^{l_1p_1 + l_{j+1} + \cdots + l_n}$を伴い、指定された場合に予想が確認された。