[论文解读] Pieri rules for classical groups and equinumeration between generalized oscillating tableaux and semistandard tableaux

Soichi Okada|arXiv (Cornell University)|Jun 8, 2016

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

一句话总结

本文通过经典群表示理论，特别是为辛群和正交群建立的新 Pieri 法则，确立了广义振荡表与半标准表之间的等势关系。证明了在指定形状和长度约束下，振荡表的数量等于具有相应权和形状条件的半标准表的数量，为 Burrill 猜想的精细版本提供了表示论基础。

ABSTRACT

We present several equinumerous results between generalized oscillating tableaux and semistandard tableaux and give a representation-theoretical proof to them. As one of the key ingredients of the proof, we provide Pieri rules for the symplectic and orthogonal groups.

研究动机与目标

• 将 Burrill 猜想关于振荡表与标准表的精细版本进行推广，并提供表示论证明。
• 在长度、形状及列/行内容约束下，建立广义振荡表与半标准表之间的等势对应关系。
• 推导辛群与正交群的新 Pieri 法则，作为等势性证明的基础工具。
• 将组合表计数与对称幂和外幂张量积中不可约表示的重数统一起来。
• 利用特征限制公式与 LR 系数，将先前的双射结果扩展至加权与带符号表的情形。

提出的方法

• 推导辛群 $\mathbf{Sp}_{2n}$ 和正交群 $\mathbf{O}_N$ 的 Pieri 法则，以描述与定义表示 $V = \mathbb{C}^{2n}$ 的对称幂和外幂张量积的分解。
• 通过迭代应用 Pieri 法则，计算不可约 $\mathbf{Sp}_{2n}$-模 $V_{\langle(m)\rangle}$ 在 $S^\alpha(V)$ 和 $\bigwedge^\alpha(V)$ 中的重数。
• 使用 $\mathbf{GL}_{2n}$ 的经典 Pieri 法则，将 $S^\alpha(V)$ 和 $\bigwedge^\alpha(V)$ 分解为由满足 $l(\lambda) \leq 2n$ 的分拆 $\lambda$ 索引的不可约 $\mathbf{GL}_{2n}$-模。
• 将 $V_{\langle(m)\rangle}$ 在 $S^\alpha(V)$ 中的重数与具有权 $\alpha$ 和形状 $\lambda$ 且满足 $c(\lambda) = m$ 的列严格表的数量联系起来。
• 应用从 $\mathbf{GL}_{2n}$ 到 $\mathbf{Sp}_{2n}$ 和 $\mathbf{O}_N$ 的限制重数公式，利用特征投影 $\pi$ 确定有效形状。
• 利用 Littlewood-Richardson 法则和条件 $c(\lambda) = m$ 证明，仅当分拆具有 $m$ 个奇数长度列时，才会对重数有贡献。

实验结果

研究问题

• RQ1 如何通过表示理论证明广义振荡表与半标准表之间的等势性？
• RQ2 辛群与正交群的 Pieri 法则是什么？它们如何控制与对称幂和外幂张量积的分解？
• RQ3 从 $\mathbf{GL}_{2n}$ 到 $\mathbf{Sp}_{2n}$ 和 $\mathbf{O}_N$ 的限制重数如何与具有特定形状和权条件的表的数量相关联？
• RQ4 是否可以证明条件 $l(\lambda) \leq 2n$ 和 $c(\lambda) = m$ 能够刻画张量积分解中的不可约分量？
• RQ5 Littlewood-Richardson 系数在连接振荡表序列与半标准表计数之间起到什么作用？

主要发现

• 长度为 $k$、形状为 $(m)$ 且对所有 $i$ 满足 $l(\lambda^{(i)}) \leq n$ 的振荡表数量，等于大小为 $k$、形状 $\lambda$ 满足 $l(\lambda) \leq 2n$ 且 $c(\lambda) = m$ 的标准表数量。
• 满足权和长度约束的交替包含与排除单元的分拆序列数量，等于具有权 $\alpha$ 和形状 $\lambda$ 且满足 $l(\lambda) \leq 2n$ 与 $c(\lambda) = m$ 的列严格表数量。
• 满足权和长度约束的交替添加与移除垂直条带的分拆序列数量，等于具有权 $\alpha$ 和形状 $\lambda$ 且满足 $l(\lambda) \leq 2n$ 与 $c(\lambda) = m$ 的行严格表数量。
• 在正交群情形下，形状为 $(1^m)$ 且满足 $l(\lambda^{(i)}) \leq n$ 的振荡表数量，等于大小为 $k$ 且满足 $l(\lambda) \leq N$ 与 $r(\lambda) = m$ 的标准表数量。
• 所有振荡表 $O$ 的 $2^{d(O)}$ 之和，其中 $d(O)$ 记录长度从 $n$ 降至小于 $n$ 的步骤数，等于满足 $l(\lambda) \leq 2n$ 且 $r(\lambda) = m$ 或 $2n - m$ 的标准表数量。
• 限制重数公式 $[\operatorname{Res}^{\mathbf{GL}_{2n}}_{\mathbf{Sp}_{2n}}V_{\lambda}:V_{\langle(m)\rangle}] = \sum_{\kappa \in \mathcal{E}'} \operatorname{LR}^{\lambda}_{\kappa,(m)}$ 通过 Littlewood-Richardson 法则与形状约束，确认了等势性。