[論文レビュー] Non-semisimple Macdonald polynomials

Ivan Cherednik|ArXiv.org|Sep 12, 2007

Advanced Algebra and Geometry参考文献 15被引用数 11

ひとこと要約

本稿では、二重アフィンヘッケ代数（DAHA）の技法を用いて、一般の q に対して非半単純なマクドナルド多項式の理論を構築する。特に、多項式表現の既約性と半単純性に焦点を当て、一般化されたインターヴァーバーとアフィン指数を導入し、評価ペアリングのラディカルを分析する。その結果、表現が半単純であるための必要十分条件として、特定のアフィン指数が消えること、およびルート系のデータと巡回的パラメータから導かれる t と q に関する明示的条件を示した。

ABSTRACT

The paper is mainly devoted to the irreducibility of the polynomial representation of the double affine Hecke algebra for an arbitrary reduced root systems and generic "central charge" q. The technique of intertwiners in the non-semisimple variant is the main tool. We introduce Macdonald's non-semisimple polynomials and use them to analyze the reducibility of the polynomial representation in terms of the affine exponents, counterparts of the classical Coxeter exponents. The focus is on the principal aspects of the technique of intertwiners, including related problems in the theory of reduced decompositions on affine Weyl groups.

研究の動機と目的

• DAHAを用いて、任意の簡約ルート系に対して非半単純マクドナルド多項式の構成的理論を確立すること。
• 一般の q に対して、DAHAの多項式表現が可約または半単純である条件を特定すること。
• 一般化されたインターヴァーバーと固有空間を導入することで、DAHAにおける最高重量ベクトルの理論を一般化すること。
• アフィン指数とルート系データに基づく、半単純性の組合せ的基準を提示すること。
• DAHA表現論における幾何的技法と補完的な非半単純モジュール理論の基盤を築くこと。

提案手法

• Q[q±1/m, t±1/2] 上のDAHAの多項式表現 V を用い、生成子 X と Y がシフト作用素によって作用することを前提とする。
• τ+ 自動同型とアフィンワイル群 cW の構造を用いて、一般化されたインターヴァーバー Ψb と Ψi を定義する。
• 縮約分解とコクセター変換の理論を応用し、λ(bw) と集合 eR0 を定義し、評価ペアリングのラディカルを制御する。
• シフト作用素と有理関数極限の技法を用いて、非対称マクドナルド多項式の主値を計算する。
• V のラディカルを、集合 eR−1+[−] を用いて分析し、表現が可約である条件を特定する。
• アフィン双対性と q↔q′-双対性を用いて、ポincare多項式 ΠbR を対称形式で表現し、局所化ファンクターと関連付ける。

実験結果

リサーチクエスチョン

• RQ1 一般の q に対して、DAHAの多項式表現 V が半単純であるための t と q に関する条件は何か？
• RQ2 アフィン指数とルート系データを用いて、V 上の評価ペアリングのラディカルをどのように特徴づけられるか？
• RQ3 一般化されたインターヴァーバーとインターヴァーバーの鎖が、V 及びその部分加群の構造を決定する上で果たす役割は何か？
• RQ4 幾何的または局所化手法に依存せずに、V/Rad の既約性を確立できるか？
• RQ5 アフィン指数 eR0, eR1, eR−1 は、DAHA加群の解析的型およびスペクトル的性質とどのように関係するか？

主な発見

• 多項式表現 V は、eR−1+[−] = ∅ であるときにかつそのときに限り半単純であり、これは 1 < m ≤ n に対して tm_sht ∉ q−1−Z+ であるときに成立する。
• eG2 の場合、V は t2g_sht = q−2s かつ 1 ≤ g < n、s ∈ Z+ のときに半単純であり、Rad = {0} のとき、(j, 2g) = 1 かつ j が奇数であることが可約性の必要十分条件である。
• n = 3, g = 2, s = 0, j = 1 の場合、表現 V は可約であり、ラディカルは非自明である。これは一般基準の妥当性を確認する。
• Poincaré多項式 ΠbR は (12.41) の形で q ↔ exp(2πi) の対称形式をとる。これは、一般の q, t 理論への局所化ファンクターの拡張を示唆する。
• V のラディカルが自明（すなわち V が半単純）であるための必要十分条件は、集合 eR1+[−] が空集合であることであり、これはPoincaré公式の分母における特定の t のべきが非ゼロであることと同値である。
• 一般化されたインターヴァーバー Ψb とインターヴァーバーの鎖により、幾何的またはモノドロミーに基づく手法に依存せずに、既約性の構成的アプローチが可能である。