[論文レビュー] Extremal part of the PBW-filtration and E-polynomials

Cherednik, Ivan, Feigin, Evgeny|arXiv (Cornell University)|Jun 13, 2013

Algebraic structures and combinatorial models参考文献 15被引用数 17

ひとこと要約

本稿は、簡約的Lie代数の有限次元既約表現におけるPBWフィルトレーションの極値次数と、$ t \to \infty $極限における非対称マクドナルド多項式（E-dag多項式）の極値項の $ q $-次数の間の対応関係を確立する。nil-DAHAおよび $ G $-作用素の理論を用いて、すべての古典的Lie型および $ G_2 $ に対して、これらの次数が一致することを証明し、Demazure加群とコスタントの $ q $-分割関数を通じてPBW理論とマクドナルド多項式の漸近的性質を結びつける。

ABSTRACT

Given a reduced irreducible root system, the corresponding nil-DAHA is used to calculate the extremal coefficients of nonsymmetric Macdonald polynomials, also called E-polynomails, in the limit t=infinity and for antidominant weights, which is an important ingredient of the new theory of nonsymmetric q-Whittaker function. These coefficients are pure q-powers and their degrees are expected to coincide in the untwisted setting with the extremal degrees of the so-called PBW-filtration in the corresponding finite-dimensional irreducible representations of the simple Lie algebra for any root systems. This is a particular case of a general conjecture in terms of the level-one Demazure modules. We prove this coincidence for all Lie algebras of classical type and for G_2, and also establish the relations of our extremal degrees to minimal q-degrees of the extremal terms of the Kostant q-partition function; they coincide with the latter only for some root systems.

研究の動機と目的

• 有限次元表現におけるPBWフィルトレーションの極値次数と、$ t \to \infty $での非対称マクドナルド多項式の極限（$ E^\dagger $-多項式）における極値項の $ q $-次数の間の対応関係を確立すること。
• すべての古典的根系および $ G_2 $ に対して、これらの極値次数が一致することを証明し、レベル1のDemazure加群を含む一般予想を支持すること。
• 極値部分のコスタント $ q $-分割関数の最小 $ q $-次数と極値 $ q $-次数の一致・非一致の状況を同定すること。
• $ A_n $, $ B_n $, $ C_n $, $ D_n $, および $ G_2 $ の基本的ウェイトにおける $ E^\dagger $-多項式の極値 $ q $-次数の明示的公式を、帰納的および計算的手法を用いて導出すること。

提案手法

• 非対称マクドナルド多項式の $ t \to \infty $ 時における漸近的挙動を分析するため、nil-DAHAフレームワークと $ \mathfrak{T} $-作用素を用いることで、$ E^\dagger $-多項式を導出する。
• $ G $-作用素を用いて、反支配的ウェイト領域における極値 $ q $-次数の完全加法性を確立し、問題を基本的ウェイトに還元する。
• 古典的根系の帰納的構造と再帰的性質を用いて、基本的ウェイトにおける極値 $ q $-次数を明示的に計算する。
• コンピュータ代数を用いて $ F_4 $ および $ E_6 $ の部分的結果を計算し、係数 $ A[\cdot] $ を用いて公式を表現する。
• $ E^\dagger $-多項式からの極値 $ q $-次数と、コスタント $ q $-分割関数における極値部分の最小 $ q $-次数を比較し、一致・非加法性の状況を同定する。
• 一般予想（$ E^\dagger $-多項式と結合されたKac-MoodyおよびPBW次数を持つDemazure加群との関係）を用いて、対応関係を検証する。

実験結果

リサーチクエスチョン

• RQ1 すべての古典的Lie代数および $ G_2 $ において、反支配的ウェイトにおける $ E^\dagger $-多項式の極値 $ q $-次数は、有限次元表現における極値PBW次数と一致するか？
• RQ2 コスタント $ q $-分割関数の極値部分の最小 $ q $-次数は、$ E^\dagger $-多項式の極値 $ q $-次数とどの程度一致するか？
• RQ3 反支配的領域における基本的ウェイトに沿った極値 $ q $-次数関数は加法的か？そして、これは全PBW-$ E^\dagger $ 対応関係を示唆するか？
• RQ4 nil-DAHA理論における $ E^\dagger $-多項式と、有限次元Lie代数表現における古典的PBWフィルトレーションを結ぶ正確な代数的メカニズムは何か？

主な発見

• $ A_n $, $ B_n $, $ C_n $, $ D_n $, および $ G_2 $ の各型における基本的ウェイトに対する $ E^\dagger $-多項式の極値 $ q $-次数が明示的に計算され、それらが対応する有限次元表現における極値PBW次数と一致することが示された。
• この対応関係は、すべての非-twisted古典的根系および $ G_2 $ に対して成り立ち、レベル1のDemazure加群を含む一般予想の特定のケースを確認した。
• $ E^\dagger $-多項式からの極値 $ q $-次数は、$ A $ 型、twisted $ B $ 型、untwisted $ C $ 型、および twisted $ G_2 $ 型においてのみ、コスタント $ q $-分割関数の極値部分の最小 $ q $-次数と一致する。他の型では一致しない。
• 極値 $ q $-次数関数は反支配的領域で完全加法的であり、一般問題を基本的ウェイトに還元可能である。この加法性は $ G $-作用素および $ \mathfrak{T} $-作用素を用いて証明された。
• $ F_4 $ に対して、コンピュータ代数を用いて $ E^\dagger $-多項式の極値 $ q $-次数が計算され、係数 $ A[\cdot] $ を用いた明示的公式が得られた。
• 本稿は、二重アフィンヘッケ代数（DAHA）と古典的有限次元Lie表現理論との間の驚くべき代数的関係を確立し、この分野におけるDAHAの非アフィン的大規模応用の第一例を示した。