[论文解读] 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$ 张量积代数的基，直接通过组合图表与 Littlewood-Richardson 系数建立联系。关键贡献在于通过一族行列式 $\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$ 张量积代数提供一个显式基，该代数控制不可约表示张量积的分解。
• 通过几何与不变量理论框架，将张量积代数的代数结构与 Littlewood-Richardson 系数的组合学联系起来。
• 将代数实现为在 unipotent 群作用下多项式不变量的商，具体为 $P(M_{n,k+\nu})^{U_k \times U_\ell \times U_n}$。
• 证明代数的齐次分量精确对应于张量积中不可约表示的重数，即 Littlewood-Richardson 系数。

提出的方法

• 将 $GL_n$ 张量积代数 $TA_{n,k,\ell}$ 定义为在 $n \times (k+\ell)$ 矩阵空间上关于 $U_k \times U_\ell \times U_n$-不变多项式的代数。
• 通过由 $X$ 和 $Y$ 的子矩阵构成的分块矩阵，利用不定系数 $\alpha_{jk}, \beta_{jk}$ 构造一族行列式多项式 $\Delta_{(D,E,F),(A,B)}$。
• 通过由块 $\alpha_{jk}X_{f_j,d_k}$ 和 $\beta_{jk}Y_{f_j,e_k}$ 构成的 $|F| \times (|D| + |E|)$ 矩阵的行列式来定义基元素。
• 证明每个 $\Delta_{(D,E,F),(A,B)}$ 是 $GL_n$ 的最高权向量，且其次数与权对应于 $\rho_n^F$ 在 $\rho_n^D \otimes \rho_n^E$ 中的表示。
• 建立此类行列式集合构成 $GL_n$ 张量积代数的基，且 $\rho_n^F$ 的重数等于 $\psi^F \times \psi^D \times \psi^E$-分量的维数。
• 通过证明系数 $\alpha_{jk}, \beta_{jk}$ 编码了表格插入的组合学，将构造与 Berenstein-Zelevinsky 图形及 Littlewood-Richardson 表格联系起来。

实验结果

研究问题

• RQ1 如何通过不变量理论方法显式构造 $GL_n$ 张量积代数的基？
• RQ2 基元素在 Littlewood-Richardson 系数方面的精确组合解释是什么？
• 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$-齐次分量的维数等于 Littlewood-Richardson 系数 $c_{D,E}^F$，该系数计数了 $\rho_n^F$ 在 $\rho_n^D \otimes \rho_n^E$ 中的重数。
• $\Delta_{(D,E,F),(A,B)}$ 行列式多项式构成 $TA_{n,k,\ell}$ 的基，且每个此类多项式均为 $GL_n$ 的最高权向量。
• 该构造通过多项式不变量实现了 Littlewood-Richardson 法则的几何实现，将表示论与经典不变量理论联系起来。
• 基元素被显式构造为由 $X$ 和 $Y$ 的子矩阵构成的分块矩阵的行列式，其条目由不定系数 $\alpha_{jk}, \beta_{jk}$ 缩放。
• 该方法在基元素与 Littlewood-Richardson 表格集合之间建立了双射关系，且行列式的结构编码了表格的列与行插入规则。