[论文解读] Irreducible $SL_{n+1}$--Representations remain Indecomposable restricted to some Abelian Subalgebras

Paolo Casati|arXiv (Cornell University)|Feb 15, 2010

Algebraic structures and combinatorial models参考文献 2被引用 10

一句话总结

本文证明了，任何有限维不可约表示在限制到由交替的正负根向量构造的特定最大维阿贝尔子代数 $\mathfrak{a}_n$ 时，仍保持不可约。该结果通过 Littelmann 路径模型并结合权级的归纳法建立，表明该表示由在 $\mathfrak{a}_n$ 作用下封闭的一组向量生成，因此无法分解为非平凡的 $\mathfrak{a}_n$-子模。

ABSTRACT

In this paper we show that any irreducible finite dimensional representation of $SL_{n+1}$ remains indecomposable if restricted to n--dimensional abelian subalgebras spanned by simple root vectors.

研究动机与目标

• 研究 $\mathfrak{sl}_{n+1}(\mathbb{C})$ 的有限维不可约表示在阿贝尔子代数上的限制。
• 确定此类表示在限制下是否仍保持不可约，特别是当 $n \geq 3$ 时，此前该结果尚不明确。
• 构造一个 $\mathfrak{sl}_{n+1}(\mathbb{C})$ 的最大维阿贝尔子代数 $\mathfrak{a}_n$，使得不可约性成立。
• 证明该表示作为 $\mathfrak{a}_n$-模由一组特定向量生成，从而蕴含不可约性。

提出的方法

• 通过在指定范围内取 $i,j$，利用 Chevalley 基构造阿贝尔子代数 $\mathfrak{a}_n$，即 $\{Y_{\alpha_{2i+1}}\}$ 和 $\{X_{\alpha_{2j}}\}$ 的张成。
• 使用 Littelmann 的路径模型，在通用包络代数中的单项式 $X^{(\mathbf{n})}, Y^{(\mathbf{m})}, H^{(\mathbf{k})}$ 的基础上定义不可约表示 $V(\lambda)$ 的一组基。
• 定义一组 $\mathfrak{G}_\lambda$，作为 $V(\lambda)$ 作为 $\mathfrak{a}_n$-模的生成元，其指标按权和根类型排列。
• 对 $\mathfrak{G}_\lambda$ 中向量的长度使用字典序类关系 $\leq_{j_r}$ 进行归纳，证明所有生成元均属于某个真 $\mathfrak{a}_n$-子模 $U$。
• 应用 $\mathfrak{sl}(2,\mathbb{C})$ 理论，若 $X_{2j_r}^{a^{2j_r}_{2j_r}} g_T = 0$ 且 $g_T$ 具有负权，则 $g_T = 0$，从而强制 $g \in U$。
• 结论为 $\mathfrak{G}_\lambda \subset U$，故 $V(\lambda) = U$ 作为 $\mathfrak{a}_n$-模，从而证明不可约性。

实验结果

研究问题

• RQ1 对于所有有限维不可约 $\mathfrak{sl}_{n+1}(\mathbb{C})$-表示，当限制到最大维阿贝尔子代数时，是否仍保持不可约，特别是当 $n \geq 3$ 时？
• RQ2 是否可利用 Littelmann 的路径模型与该阿贝尔子代数作用下的极小生成集来证明不可约性？
• RQ3 在 $\mathfrak{sl}_{n+1}(\mathbb{C})$ 中，哪一个特定阿贝尔子代数能确保不可约表示在限制后仍保持不可约？
• RQ4 权格和根系的结构如何影响受限表示的不可约性？

主要发现

• 任何有限维不可约 $\mathfrak{sl}_{n+1}(\mathbb{C})$-模在限制到阿贝尔子代数 $\mathfrak{a}_n$ 时，其限制仍为不可约。
• 阿贝尔子代数 $\mathfrak{a}_n$ 构造为 $\{Y_{\alpha_{2i+1}}\}$ 和 $\{X_{\alpha_{2j}}\}$ 的张成，其中 $i,j$ 取值于 $0$ 到 $[n/2]$，构成一个最大阿贝尔子代数。
• $V(\lambda)$ 作为 $\mathfrak{a}_n$-模的生成元集 $\mathfrak{G}_\lambda$ 完全位于某个真 $\mathfrak{a}_n$-子模 $U$ 内，从而推出 $V(\lambda) = U$。
• 对生成元上 $\leq_{j_r}$ 顺序的归纳表明，若长度为 $l$ 的所有元素属于 $U$，则长度为 $l+1$ 的所有元素也属于 $U$。
• $\mathfrak{sl}(2,\mathbb{C})$-理论论证表明，若 $X_{2j_r}^{a^{2j_r}_{2j_r}} g_T = 0$，则 $g_T = 0$，从而强制分解 $g = g_U + g_T$ 满足 $g_T = 0$，故 $g \in U$。
• 由于 $\mathfrak{G}_\lambda$ 生成 $V(\lambda)$ 作为 $\mathfrak{a}_n$-模，且 $\mathfrak{G}_\lambda \subset U$，因此 $V(\lambda)$ 作为 $\mathfrak{a}_n$-模是不可约的。