[論文レビュー] A Basis for the GL_n Tensor Product Algebra

Roger Howe, Eng Chye Tan+1 more|ArXiv.org|Jul 27, 2004

Algebraic structures and combinatorial models参考文献 7被引用数 6

ひとこと要約

本稿は、行列の小行列と不定係数を用いて構築された行列式多項式を用いて、$GL_n$ におけるテンソル積代数の明示的基底を構成する。この基底は、組合せ論的テーブルックスを通じてリトルウッド・リチャードソン係数と直接的に関連付けられる。主な貢献は、テンソル積の重複度を同次成分として符号化する、族 $\Delta_{(D,E,F),(A,B)}$ の行列式によって代数の構造が実現されることにある。

ABSTRACT

This paper focuses on the $GL_n$ tensor product algebra, which encapsulates the decomposition of tensor products of arbitrary finite dimensional irreducible representations of $GL_n$. We will describe an explicit basis for this algebra. This construction relates directly with the combinatorial description of Littlewood-Richardson coefficients in terms of Littlewood-Richardson tableaux. Philosophically, one may view this construction as a recasting of the Littlewood-Richardson rule in the context of classical invariant theory.

研究の動機と目的

• テンソル積の可約表現の分解を規定する $GL_n$ テンソル積代数の明示的基底を提供すること。
• 代数的構造を、幾何学的かつ不変量理論的枠組みを通じてリトルウッド・リチャードソン係数の組合せ論と結びつけること。
• 特に $P(M_{n,k+\nu})^{U_k \times U_\ell \times U_n}$ のようなユニポテンツ群作用の下での多項式不変量の商として代数を実現すること。
• 代数の同次成分が、まさにテンソル積における可約表現の重複度、すなわちリトルウッド・リチャードソン係数に一致することを示すこと。

提案手法

• 行列の空間 $n \times (k+\ell)$ 行列の上での $U_k \times U_\ell \times U_n$-不変多項式として、$GL_n$ テンソル積代数 $TA_{n,k,\ell}$ を定義する。
• 行列 $X$ と $Y$ の部分行列からなるブロック行列を用い、不定係数 $\alpha_{jk}, \beta_{jk}$ でスケーリングされた、族 $\Delta_{(D,E,F),(A,B)}$ の行列式多項式を構成する。
• $|F| \times (|D| + |E|)$ 行列の行列式を、ブロック $\alpha_{jk}X_{f_j,d_k}$ と $\beta_{jk}Y_{f_j,e_k}$ から成るものとして定義し、基底要素を導出する。
• $\Delta_{(D,E,F),(A,B)}$ が $GL_n$ の最高重量ベクトルであることを示し、その次数と重量が $\rho_n^F$ に一致することを示す。$\rho_n^D \otimes \rho_n^E$ 内の表現 $\rho_n^F$ に対応する。
• このような行列式の集合が、$GL_n$ テンソル積代数の基底をなしており、$\rho_n^F$ の重複度が $\psi^F \times \psi^D \times \psi^E$-次数成分の次元に一致することを確立する。
• 構成をベレンシュタイン＝ツェレヴィンスキー図およびリトルウッド・リチャードソンテーブルックスに関連付ける。$\alpha_{jk}, \beta_{jk}$ の係数がテーブルックス挿入の組合せ論的性質を符号化していることを示す。

実験結果

リサーチクエスチョン

• RQ1 不変量理論的手法を用いて、$GL_n$ テンソル積代数をどのように明示的に基底化できるか。
• RQ2 基底要素の正確な組合せ論的解釈は、リトルウッド・リチャードソン係数の観点からどのように得られるか。
• RQ3 行列式多項式 $\Delta_{(D,E,F),(A,B)}$ は、テンソル積分解の分岐則をどのように符号化しているか。
• RQ4 テンソル積代数の代数的構造を、古典的不変量理論の言語に再定式化できるか。
• RQ5 係数行列 $A$ と $B$ は、代数の完全な基底を実現するために果たす役割は何か。

主な発見

• $GL_n$ テンソル積代数 $TA_{n,k,\ell}$ は、支配的重量 $D, E$ に対するテンソル積空間 $\rho_n^D \otimes \rho_n^E$ の直和に同型であり、その次数は最高重量 $F$ で与えられる。
• $TA_{n,k,\ell}$ の $\psi^F \times \psi^D \times \psi^E$-同次成分の次元は、$\rho_n^F$ の重複度を数えるリトルウッド・リチャードソン係数 $c_{D,E}^F$ に等しい。
• 行列式多項式 $\Delta_{(D,E,F),(A,B)}$ は、$TA_{n,k,\ell}$ の基底をなしており、それぞれが $GL_n$ の最高重量ベクトルである。
• この構成により、多項式不変量を通じたリトルウッド・リチャードソン則の幾何的実現が得られ、表現論と古典的不変量理論が結びつけられる。
• 基底要素は、$X$ と $Y$ の部分行列からなるブロック行列の行列式として明示的に構成され、そのエントリは不定係数 $\alpha_{jk}, \beta_{jk}$ でスケーリングされている。
• この方法により、基底要素とリトルウッド・リチャードソンテーブルックスの集合との間に一対一対応が確立され、行列式の構造がテーブルックスの列および行への挿入則を符号化している。