[论文解读] Rational semistandard tableaux and character formula for the Lie superalgebra $\hat{\frak{gl}}_{\infty|\infty}$

Jae-Hoon Kwon|ArXiv.org|Apr 29, 2006

Advanced Topics in Algebra参考文献 12被引用 3

一句话总结

本文引入 $χ/ϒ$-半标准表作为组合框架，统一了李超代数 $χτγ_{∞|∞}$ 及其对偶 $τγ_n$ 的表示理论，建立了这些表的斜 Littlewood-Richardson 法则与有理半标准表之间的对偶性。通过这些表，给出了拟有限最高权模的新特征公式，推广了 Kac-Radul 与 Cheng-Lam 的结果，并导出了 Jacobi-Trudi 型公式。

ABSTRACT

A new combinatorial interpretation of the Howe dual pair $(\hat{\frak{gl}}_{\infty|\infty},\frak{gl}_n)$ acting on an infinite dimensional Fock space $\frak{F}^n$ of level $n$ is presented. The character of a quasi-finite irreducible highest weight representation of $\hat{\frak{gl}}_{\infty|\infty}$ occurring in $\frak{F}^n$ is realized in terms of certain bitableaux of skew shapes. We study a general combinatorics of these bitableaux, including Robinson-Schensted-Knuth correspondence and Littlewood-Richardson rule, and then its dual relation with the rational semistandard tableaux for $\frak{gl}_n$. This result also explains other Howe dual pairs including $\frak{gl}_n$.

研究动机与目标

• 为在 Fock 空间 $\mathfrak{F}^n$ 上作用的 Howe 对偶对 $(\widehat{\mathfrak{gl}}_{∞|\u221e}, \mathfrak{gl}_n)$ 提供统一的组合解释。
• 发展一种新的组合框架——$\mathcal{A}/\mathcal{B}$-半标准表，用于研究 $\widehat{\mathfrak{gl}}_{∞|\u221e}$ 的不可约最高权模的特征公式。
• 建立 $\mathcal{A}/\mathcal{B}$-半标准表的组合与 $\mathfrak{gl}_n$ 的有理半标准表之间的对偶关系，推广 RSK 与 Littlewood-Richardson 法则。
• 为 $L_\lambda$ 推导出一个 Jacobi-Trudi 型特征公式，这是此前文献中未被观察到的新结果。
• 将对偶性扩展至张量积分解与分支法则，通过组合对偶性解释 Howe 对偶对的一般结构。

提出的方法

• 引入 $\mathcal{A}/\mathcal{B}$-半标准表作为在分次集 $\mathcal{A}$ 与 $\mathcal{B}$ 中取值的半标准表对，受广义分拆 $\lambda$ 的约束。
• 为 $\mathcal{A}/\mathcal{B}$-表发展一种插入方案，得到 Robinson-Schensted-Knuth (RSK) 对应与 Littlewood-Richardson (LR) 法则的类比。
• 定义形状为 $\lambda/\mu$ 的斜 $\mathcal{A}/\mathcal{B}$-半标准表，并建立斜 LR 法则，该法则与有理半标准表对偶。
• 证明在适当选择 $\mathcal{A}$ 与 $\mathcal{B}$ 时，此类表的集合 $SST_{\mathcal{A}/\mathcal{B}}(\lambda)$ 的特征可通过对分支型公式约化为 $L_\lambda$ 的特征。
• 利用 $\mathcal{A}/\mathcal{B}$-表与有理半标准表之间的对偶性，解释 Howe 对偶框架中张量积分解与分支法则之间的对偶性。
• 在 Grothendieck 群与对称函数环之间建立同构 $\chi: \mathscr{R}^* \to \mathbf{K}(\mathfrak{g})$，通过 LR 法则与对偶性证明 $\chi$ 是 $\mathbb{Z}$-代数同构。

实验结果

研究问题

• RQ1 如何通过表的组合方式实现 $\widehat{\mathfrak{gl}}_{∞|\u221e}$ 的拟有限不可约最高权表示 $L_\lambda$ 的特征？
• RQ2 在 $\mathfrak{gl}_n$ 的框架下，$\mathcal{A}/\mathcal{B}$-半标准表与有理半标准表的组合之间存在何种精确对偶关系？
• RQ3 能否从有理半标准表的斜 LR 法则推导出 $\mathcal{A}/\mathcal{B}$-表的 LR 法则，反之亦然？
• RQ4 若 $L_\lambda$ 的特征公式具有 Jacobi-Trudi 型表达式，其组合构造方式如何？
• RQ5 Howe 对偶对 $(\widehat{\mathfrak{gl}}_{∞|\u221e}, \mathfrak{gl}_n)$ 中张量积分解与分支法则之间的对偶性，如何从表的组合结构中浮现？

主要发现

• 在适当选择 $\mathcal{A}$ 与 $\mathcal{B}$ 时，$\widehat{\mathfrak{gl}}_{∞|\u221e}$ 的不可约最高权模 $L_\lambda$ 的特征可实现为形状为 $\lambda$ 的 $\mathcal{A}/\mathcal{B}$-半标准表的生成函数。
• 推导出 $L_\lambda$ 的新 Jacobi-Trudi 型特征公式，此结果此前在文献中未被观察到。
• 斜 Littlewood-Richardson 法则对于 $\mathcal{A}/\mathcal{B}$-半标准表完全由有理半标准表的 LR 法则决定，反之亦然，从而建立了对偶互惠关系。
• 通过一种新的插入方案，构建了 $\mathcal{A}/\mathcal{B}$-表的 RSK 对应与 LR 法则，将经典结果推广至超代数情形。
• 建立了同构 $\chi: \mathscr{R}^* \to \mathbf{K}(\mathfrak{g})$ 作为 $\mathbb{Z}$-代数同构，通过表的特征将表示的 Grothendieck 群与对称函数环联系起来。
• 通过 $\mathcal{A}/\mathcal{B}$-表与有理半标准表的 LR 法则的互惠结构，组合地解释了 Howe 对偶对中张量积分解与分支法则之间的对偶性。