[論文レビュー] A Steinberg type decomposition theorem for higher level Demazure modules

Vyjayanthi Chari, Peri Shereen+2 more|arXiv (Cornell University)|Aug 18, 2014

Algebraic structures and combinatorial models参考文献 18被引用数 11

ひとこと要約

この論文は、古典的リー代数型および $G_2$ に対して、アフィンリー代数における高レベルのデムルール加群について、Steinberg型の分解定理を確立する。ここで $ε$ はレベルを表し、$λ, μ$ は支配的整数ウェイトである。$\delta(\ell, \ell\mu + \lambda) \cong \delta(\ell, \ell\mu) * \delta(\ell, \lambda)$ が融合積として成り立つ。この結果は、テンソル積の分解を融合積へ一般化し、新たな $Q$-システム一般化とシュール正値性の結果を可能にする。

ABSTRACT

We study Demazure modules which occur in a level $\ell$ irreducible integrable representation of an affine Lie algebra. We also assume that they are stable under the action of the standard maximal parabolic subalgebra of the affine Lie algebra. We prove that such a module is isomorphic to the fusion product of "prime" \ Demazure modules, where the prime factors are indexed by dominant integral weights which are either a multiple of $\ell$ or take value less than $\ell$ on all simple coroots. Our proof depends on a technical result which we prove in all the classical cases and $G_2$. Calculations with mathematica show that this result is correct for small values of the level. Using our result, we show that there exist generalizations of $Q$--systems to pairs of weights where one of the weights is not necessarily rectangular and is of a different level. Our results also allow us to compare the multiplicities of an irreducible representation occuring in the tensor product of certian pairs of irreducible representations, i.e., we establish a version of Schur positvity for such pairs of irreducible modules for a simple Lie algebra.

研究の動機と目的

• アフィンリー代数の高レベル表現における、$\delta(\ell, \ell\mu + \lambda)$ を融合積としての素デムルール加群に分解する定理を確立すること。
• 古典的リー代数型および $G_2$ において、$\delta(\ell, \lambda)$ 加群の文脈で、Steinberg のテンソル積定理を融合積へ一般化すること。
• 素デムルール加群を、非自明な融合積として分解できない加群として定義・特徴づけること。特に、$\ell\omega_i$ または $\lambda(h_i) \leq \ell$ を満たす $\lambda$ を持つ加群に注目すること。
• $Q$-システムを長方形でないウェイトへ一般化し、特定の不可約加群のテンソル積におけるシュール正値性を確立すること。

提案手法

• 著者たちは、$\delta(\ell, \lambda)$ 加群の融合積構成を、$\Sigma[t]$-加群としての循環的で次数付きの構造を保つ方法で用いる。
• 古典的型および $G_2$ に対して、アフィンワイル群に関する重要な技術的結果を証明し、これにより分解定理が導かれる。
• 証明は、$\delta(\ell, \lambda)$ が現在代数 $\Sigma[t]$ に対して安定であるモジュールとしての構造に依存しており、重み条件が融合積分解を保証する。
• コンピュータ代数（Mathematica）を用いて、小スケールのレベルに対して技術的命題を検証し、一般予想の裏付けを提供する。
• 素デムルール加群を、非自明な融合積として同型でない加群として定義し、特に $\delta(\ell, \ell\omega_i)$ および $\lambda(h_i) \leq \ell$ を満たす $\delta(\ell, \lambda)$ に注目する。
• この枠組みを用いて、$Q$-システムの一般化を実行し、不可約表現の積における重複度の比較によりシュール正値性を研究する。

実験結果

リサーチクエスチョン

• RQ1 アフィンリー代数における高レベルのデムルール加群について、Steinberg のテンソル積定理をテンソル積から融合積へ一般化できるか？
• RQ2 古典的リー代数型および $G_2$ において、$\delta(\ell, \ell\mu + \lambda)$ 加群は、融合積 $\delta(\ell, \ell\mu) * \delta(\ell, \lambda)$ と同型か？
• RQ3 どのデムルール加群が素であるか、すなわち、より小さい加群の非自明な融合積と同型でないか？
• RQ4 $Q$-システムを、長方形でない一方のウェイトと異なるレベルを持つペアへ一般化できるか？
• RQ5 この融合積枠組みにより、特定の不可約 $\Sigma$-加群のテンソル積におけるシュール正値性が確立されるか？

主な発見

• 古典的型または $G_2$ である場合、すべての正の整数 $\ell$ および支配的整数ウェイト $\mu, \lambda$ に対して、$\delta(\ell, \ell\mu + \lambda) \cong \delta(\ell, \ell\mu) * \delta(\ell, \lambda)$ が成り立つ。これは Steinberg の定理を一般化する。
• 素デムルール加群は、すべての単純コルートに対して $\delta(\ell, \ell\omega_i)$ および $\lambda(h_i) \leq \ell$ を満たす $\delta(\ell, \lambda)$ であり、これらは非自明な $\Sigma$-加群のテンソル積ではない。
• 型 $A$ および $D$ において、すべてのデムルール加群は、素デムルール加群の融合積として表せる。
• 著者たちは、融合積分解を用いて、非長方形ウェイトへの $Q$-システムの一般化を構成する。
• 融合積構造を介して不可約表現の積における重複度を比較することにより、特定の不可約加群のペアに対してシュール正値性を確立する。
• コンピュータ計算により、小スケールのレベルにおいて、主結果の背後にある技術的命題が確認され、その有効性が、証明済みのケースを超えて裏付けられる。