[论文解读] 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

一句话总结

本文為仿射李代數中的高權重 Demazure 模塊建立了 Steinberg 型分解定理，證明對於經典李類型及 $G_2$，有 $δ(\ell, \ell\mu + \lambda) \cong \delta(\ell, \ell\mu) * \delta(\ell, \lambda)$ 成立，其中 $\ell$ 為權重，$\lambda, \mu$ 為支配整權重。此結果將張量積分解推廣至融合積，並促成新的 $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.

研究动机与目标

• 建立仿射李代數高權重表示中 $δ(\ell, \ell\mu + \lambda)$ 作為素性 Demazure 模塊融合積的分解定理。
• 將 Steinberg 的張量積定理推廣至經典李代數與 $G_2$ 的 $δ(\ell, \lambda)$ 模塊之融合積情境。
• 定義並特徵化素性 Demazure 模塊為不可分解為非平凡融合積的模塊，特別是那些權重為 $\ell\omega_i$ 或滿足 $\lambda(h_i) \leq \ell$ 的 $\lambda$。
• 將 $Q$-系統推廣至非矩形權重，並透過融合積框架建立某些不可約模塊張量積的舒爾正性。

提出的方法

• 作者利用 $δ(\ell, \lambda)$ 模塊作為循環分次 $Σ[t]$-模塊的融合積構造，並保持其底層 $Σ$-模結構。
• 他們證明了經典類型與 $G_2$ 的仿射 Weyl 群之關鍵技術性結果，此結果促成分解定理的成立。
• 證明依賴於 $δ(\ell, \lambda)$ 作為受當前代數 $Σ[t]$ 穩定的模結構，並透過權重條件確保融合積分解。
• 使用電腦代數（Mathematica）驗證小權重下的技術性命題，支持一般性猜想。
• 作者將素性 Demazure 模塊定義為不與非平凡融合積同構的模塊，特別聚焦於 $\delta(\ell, \ell\omega_i)$ 與 $\delta(\ell, \lambda)$（其中 $\lambda(h_i) \leq \ell$）。
• 該框架被應用於推廣 $Q$-系統，並透過比較不可約表示張量積中的重數，研究舒爾正性。

实验结果

研究问题

• RQ1 能否將 Steinberg 張量積定理從張量積推廣至仿射李代數中高權重 Demazure 模塊的融合積？
• RQ2 $δ(\ell, \ell\mu + \lambda)$ 模塊是否同構於融合積 $\delta(\ell, \ell\mu) * \delta(\ell, \lambda)$，適用於經典李類型與 $G_2$？
• RQ3 哪些 Demazure 模塊是素性的，即不與較小模塊的非平凡融合積同構？
• RQ4 能否將 $Q$-系統推廣至其中一個權重非矩形且權重不同的情況？
• RQ5 透過此融合積框架，是否可確立某些不可約 $Σ$-模塊張量積的舒爾正性？

主要发现

• 對於所有正整數 $\ell$ 及支配整權重 $\mu, \lambda$，當 $\mathfrak{g}$ 為經典類型或 $G_2$ 時，分解 $\delta(\ell, \ell\mu + \lambda) \cong \delta(\ell, \ell\mu) * \delta(\ell, \lambda)$ 成立，此結果推廣了 Steinberg 定理。
• 素性 Demazure 模塊為 $\delta(\ell, \ell\omega_i)$ 與 $\delta(\ell, \lambda)$（其中對所有單根對偶 $\lambda(h_i) \leq \ell$），且這些模塊不可分解為非平凡 $Σ$-模塊的張量積。
• 對於類型 $A$ 與 $D$，每一個 Demazure 模塊皆為素性 Demazure 模塊的融合積。
• 作者透過融合積分解構造了 $Q$-系統在非矩形權重下的推廣。
• 透過比較融合積結構下不可約模塊張量積中的重數，確立了某些不可約模塊對的舒爾正性。
• 電腦計算驗證了主結果背後技術命題在小權重下的正確性，支持其在已證明情形之外的適用性。