[論文レビュー] Highest weight categories and Macdonald polynomials

Khoroshkin Anton|arXiv (Cornell University)|Dec 26, 2013

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

ひとこと要約

この論文は、Lie超代数 $\sigma\otimes\mathbb{C}[x,\xi]$ に関連する最高重量カテゴリを用いて、マクドナルド多項式のカテゴライゼーションを確立する。マクドナルド多項式が特定のモジュール複体の重み付き特徴標として現れることを示し、マクドナルド内積が導来カテゴリにおけるホモロジー的内積と一致することを同定する。BGG双対性のもとでは、これらの複体は、ウェイルおよびヴェルマモジュールを一般化するモジュールに収縮する。

ABSTRACT

The aim of this paper is to introduce the categorical setup which helps us to relate the theory of Macdonald polynomials and the theory of Weyl modules for current Lie algebras discovered by V.\,Chari and collaborators. We identify Macdonald pairing with the homological pairing on the ring of characters of the Lie algebra of currents $\mathbf{g}\otimes\mathbb{C}[x,ξ]$. We use this description in order to define complexes of modules whose Euler characteristic of characters coincide with Macdonald polynomials. We generalize this result to the case of graded Lie algebras with anti-involution. We show that whenever the BGG reciprocity holds for the corresponding category of modules then these complexes collapse to the modules concentrated in homological degree $0$. The latter modules generalizes the notion of Weyl modules for current Lie algebras and the notion of Verma modules in the BGG category $\mathcal{O}$. We give different criterions of BGG reciprocity and apply them to the Lie algebra of currents $\mathbf{g}\otimes\mathbb{C}[x]$ with $\mathbf{g}$ semisimple.

研究の動機と目的

• 現在のLie代数のためのマクドナルド多項式とウェイルモジュールを結びつけるカテゴリカルな枠組みを確立すること。
• Grothendieck環における $\mathbf{g}\otimes\mathbb{C}[x,\xi]$-加群のホモロジー的内積とマクドナルド内積を同定すること。
• シュール非正則性をホモロジー代数によって克服し、マクドナルド多項式を導来複体の重み付き特徴標として実現すること。
• 導来カテゴリを用いて、現在のLie代数およびBGGカテゴリ $\mathcal{O}$ の文脈でウェイルおよびヴェルマモジュールを一般化すること。
• BGG双対性が成り立つための基準を提示し、$\mathbf{g}$ が単純である場合に $\mathbf{g}\otimes\mathbb{C}[x]$ に対してそれを検証すること。

提案手法

• 現在のLie超代数 $\mathbf{g}\otimes\mathbb{C}[x,\xi]$ 上の双重重み付きで局所有限次元なモジュールのカテゴリ $\mathcal{I}(\mathbf{g}\otimes\mathbb{C}[x,\xi])$ を定義する。
• $\mathbf{g}\otimes\mathbb{C}[x,\xi]$ 上の反対対合 $\tau$ を用いて、重み付き双対 $N^{\checkmark}$ とシフトファンクター $\{k,l\}$ を定義する。
• 導来自己準同型のオイラー特性を通じて、ホモロジー的内積 $\langle M,N\rangle_{\mathbf{g}\otimes\mathbb{C}[x,\xi]}$ がマクドナルド内積と一致することを確立する。
• 導来自己準同型の計算における不比較性を解消するため、支配的重量に全順序を導入する。
• 導来カテゴリ $\mathcal{D}^-(\mathcal{I})$ 内の複体 $\bar{\imath}_\lambda^! \mathcal{P}(\lambda)$ を構成し、正規化後にマクドナルド多項式の重み付き特徴標が得られることを示す。
• 正規化特徴標 $f_\lambda := \chi_{q\text{-}{\mathfrak{g}}_0}(\bar{\imath}_\lambda^! \mathcal{P}(\lambda)) / z_\lambda(q)$ を定義する。ここで $z_\lambda(q)$ は $\bar{\imath}_\lambda^! \mathcal{P}(\lambda)$ 内の $L(\lambda)$-重複度の重み付きオイラー特性である。

実験結果

リサーチクエスチョン

• RQ1 マクドナルド多項式は、$\mathbf{g}\otimes\mathbb{C}[x,\xi]$-加群の導来カテゴリ内の複体の重み付き特徴標としてカテゴライズ可能だろうか？
• RQ2 $\mathbf{g}\otimes\mathbb{C}[x,\xi]$-加群におけるホモロジー的内積は、対称関数上のマクドナルド内積とどのように関係するか？
• RQ3 導来複体 $\bar{\imath}_\lambda^! \mathcal{P}(\lambda)$ がホモロジー次数 0 に集中するモジュールに収縮する条件は何か？
• RQ4 現在のLie代数の文脈における導来構成から、ウェイルおよびヴェルマモジュールのどの一般化が得られるか？
• RQ5 カテゴリ $\mathcal{I}(\mathbf{g}\otimes\mathbb{C}[x,\xi])$ でBGG双対性が成り立つための条件は何か？

主な発見

• Grothendieck環における $\mathbf{g}\otimes\mathbb{C}[x,\xi]$-加群のホモロジー的内積が、導来自己準同型のオイラー特性を通じてマクドナルド内積と一致する。
• マクドナルド多項式は、正規化された重み付き特徴標 $f_\lambda = \chi_{q\text{-}{\mathfrak{g}}_0}(\bar{\imath}_\lambda^! \mathcal{P}(\lambda)) / z_\lambda(q)$ として実現され、ここで $z_\lambda(q)$ は $\bar{\imath}_\lambda^! \mathcal{P}(\lambda)$ 内の $L(\lambda)$-重複度の重み付きオイラー特性である。
• BGG双対性が成り立つとき、複体 $\bar{\imath}_\lambda^! \mathcal{P}(\lambda)$ はホモロジー次数 0 に集中するモジュールに収縮し、ウェイルおよびヴェルマモジュールを一般化する。
• 正規化特徴標 $f_\lambda$ は、一般化マクドナルド多項式の定義的性質を満たす：マクドナルド内積における直交性と単項式基底における上三角性。
• $\langle f_\lambda, f_\lambda \rangle_{{\mathfrak{g}}} = 1/z_\lambda(q)$ が成り立つことで、正規化がマクドナルド内積と整合的であることが確認される。
• $\mathbf{g}$ が単純である場合、$\mathcal{I}(\mathbf{g}\otimes\mathbb{C}[x])$ においてBGG双対性が成り立ち、導来複体が次数 0 のモジュールに収縮することが保証される。