[論文レビュー] Derangements and tensor powers of adjoint modules for sl_n

Georgia Benkart, Stephen Doty|ArXiv.org|Aug 15, 2001

Algebraic structures and combinatorial models参考文献 5被引用数 8

ひとこと要約

この論文は、$\mathfrak{sl}_n^{\otimes k}$ を $\mathfrak{sl}_n$-加群として明示的に分解し、その可約和成分の重複度が入れ替え数（derangement numbers）で与えられることを示している。$n \geq 2k$ のとき、中心化代数 $\operatorname{End}_{\mathfrak{sl}_n}(\u005Cmathfrak{sl}_n^{\otimes k})$ は、$2k$ 個の要素の入れ替えで添字づけられた基底を持つ、壁付きブラウアー代数 $B_{k,k}(n)$ の部分代数に同型であり、その次元は $D_{2k}$、すなわち $2k$ 個の要素の入れ替えの数である。

ABSTRACT

We obtain the decomposition of the tensor space $\mathfrak{sl}_n^{\otimes k}$ as a module for $\mathfrak{sl}_n$, find an explicit formula for the multiplicities of its irreducible summands, and (when $n \ge 2k$) describe the centralizer algebra $C=End_{\mathfrak{sl}_n}(\mathfrak{sl}_n^{\otimes k})$ and its representations. The multiplicities of the irreducible summands are derangement numbers in several important instances, and the dimension of $C$ is given by the number of derangements of a set of $2k$ elements.

研究の動機と目的

• テンソル冪 $\u005Cmathfrak{sl}_n^{\u005Cotimes k}$ の $\mathfrak{sl}_n$-加群としての完全な分解を特定すること。
• 組合せ論的手法を用いて、$\u005Cmathfrak{sl}_n^{\u005Cotimes k}$ 内の各可約和成分の重複度を計算すること。
• $n \geq 2k$ のとき、中心化代数 $\mathcal{C} = \operatorname{End}_{\mathfrak{sl}_n}(\mathfrak{sl}_n^{\otimes k})$ の構造を記述すること。
• 中心化代数 $\mathcal{C}$ が壁付きブラウアー代数 $B_{k,k}(n)$ の部分代数として同定され、その基底が $\{1, \dots, 2k\}$ の要素の入れ替えで添字づけられることを示すこと。
• $\mathcal{C} \times \mathfrak{sl}_n$ 上の双加群構造における $\mathfrak{sl}_n^{\otimes k}$ の二重中心化定理を確立すること。

提案手法

• $\mathfrak{gl}_n$ の最高重量理論を用いて、ペアの分割 $(\lambda, \mu)$ を用いて可約和成分をラベルづけすること。
• [BCHLLS] からの組合せ論的結果を応用し、テンソル積と分解の構造を分析すること。
• 射影 $p = \frac{1}{n}c$ を構成し、$V \otimes V^*$ を $\mathfrak{sl}_n$ に射影する。ここで $c$ はトレースによる縮約写像である。
• 中心化代数 $\mathcal{C}$ を壁付きブラウアー代数 $B_{k,k}(n)$ の部分代数 $bB_{k,k}(n)b$ に同定する。ここで $b$ は $\mathfrak{sl}_n^{\otimes k}$ への射影に対応するイデムポテンである。
• 単位的表現に対応するイデムポテン $e$ を用いたシュール関手 $e(-)$ を用い、$B_{k,k}(n)$-加群の可約成分と $\mathcal{C}$-加群の可約成分を関連付けること。
• 禁止ペアのない $B_{k,k}(n)$ 内の図式による $\mathcal{C}$ の基底を構成し、これは $\{1, \dots, 2k\}$ の要素の入れ替えと一対一対応する。

実験結果

リサーチクエスチョン

• RQ1 $\mathfrak{sl}_n^{\otimes k}$ の可約 $\mathfrak{sl}_n$-加群への明示的分解は何か？
• RQ2 $\mathfrak{sl}_n^{\otimes k}$ 内の可約和成分の重複度は何か？ そしてそれは入れ替え数とどのように関係しているか？
• RQ3 $n \geq 2k$ のとき、中心化代数 $\mathcal{C} = \operatorname{End}_{\mathfrak{sl}_n}(\mathfrak{sl}_n^{\otimes k})$ の構造は何か？
• RQ4 中心化代数 $\mathcal{C}$ は壁付きブラウアー代数 $B_{k,k}(n)$ とどのように関係しているか？
• RQ5 $\mathcal{C} \times \mathfrak{sl}_n$ 上の双加群としての $\mathfrak{sl}_n^{\otimes k}$ の二重中心化分解は何か？

主な発見

• テンソル冪 $\mathfrak{sl}_n^{\otimes k}$ 内の随伴加群 $\mathfrak{sl}_n$ の重複度は $D_{k+1}$ であり、これは $k+1$ 個の要素の入れ替えの数である。
• $n \geq 2k$ のとき、$\mathfrak{sl}_n^{\otimes k}$ 内の $\mathfrak{sl}_n$-不変空間の次元は $D_k$ であり、これは $k$ 個の要素の入れ替えの数である。
• $n \geq 2k$ のとき、中心化代数 $\mathcal{C} = \operatorname{End}_{\mathfrak{sl}_n}(\mathfrak{sl}_n^{\otimes k})$ の次元は $D_{2k}$ であり、これは $2k$ 個の要素の入れ替えの数である。
• 中心化代数 $\mathcal{C}$ は壁付きブラウアー代数 $B_{k,k}(n)$ の部分代数 $bB_{k,k}(n)b$ に同型であり、基底は $\{1, \dots, 2k\}$ の要素の入れ替えで添字づけられている。
• 可約 $\mathcal{C}$-加群は $eM_{\lambda,\mu}$ で与えられ、ここで $M_{\lambda,\mu}$ は可約 $B_{k,k}(n)$-加群であり、$eM_{\lambda,\mu} \neq 0$ となるのは、順序付き部分集合 $\underline{s}, \underline{t}$ のすべてのペアについて $s_i \neq t_i$ が成り立つときである。
• 双加群として $\mathcal{C} \times \mathfrak{sl}_n$ 上で、$\mathfrak{sl}_n^{\otimes k} \cong \bigoplus_{r=0}^k \bigoplus_{\lambda,\mu \vdash r} eM_{\lambda,\mu} \otimes L(\lambda, \mu)$ が成り立つ。ここで $L(\lambda, \mu)$ は最高重量 $(\lambda, \mu)$ の可約 $\mathfrak{sl}_n$-加群である。