[論文レビュー] 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$ に制限されても、非可約のままであることを証明している。この結果はリトルマンのパスモデルと重みレベルに関する帰納法を用いて得られ、表現が $\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$-モジュールとして生成されることを証明し、非可約性を示すこと。

提案手法

• $\mathfrak{a}_n$ を、指定された範囲内の $i,j$ に対して $\{Y_{\alpha_{2i+1}}\}$ と $\{X_{\alpha_{2j}}\}$ の線型包として構成し、Chevalley基底を用いる。
• リトルマンのパスモデルを用いて、普遍包あくり代数内の単項式 $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 リトルマンのパスモデルとそのようなアーベル部分代数の作用下での最小生成集合を用いて、非可約性を確立できるか？
• RQ3 $\mathfrak{sl}_{n+1}(\mathbb{C})$ のどの特定のアーベル部分代数が、非可約表現の制限のもとで非可約性を保証するか？
• RQ4 重み格子とルート系の構造は、制限された表現の非可約性にどのように影響するか？

主な発見

• $\mathfrak{sl}_{n+1}(\mathbb{C})$ の任意の有限次元非可約モジュールの制限は、アーベル部分代数 $\mathfrak{a}_n$ に対して非可約である。
• $\mathfrak{a}_n$ は、$i,j$ が $0$ から $[n/2]$ の範囲を動くとき、$\{Y_{\alpha_{2i+1}}\}$ と $\{X_{\alpha_{2j}}\}$ の線型包として構成され、最大アーベル部分代数をなす。
• $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$-モジュールとして非可約である。