[论文解读] A combinatorial decomposition of higher level Fock spaces

Nicolas Jacon, Cédric Lecouvey|Osaka City University (Osaka City University)|Feb 13, 2012

Algebraic structures and combinatorial models参考文献 14被引用 13

一句话总结

本文通过完全周期性符号（作为反向格子词的仿射类比）提供了对水平-$l$ Fock空间的晶体图中最高权顶点的组合表征。它为 $\mathcal{U}_q(\mathfrak{sl}_\infty)$ 和 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$ 的 Fock 空间建立了不可约分量的分解，从而通过偏序表计数此类顶点，得到了 $\mathcal{U}_q(\mathfrak{sl}_\infty)$-模到 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-模的限制的分支律。

ABSTRACT

We give a simple characterization of the highest weight vertices in the crystal graph of the level l Fock spaces. This characterization is based on the notion of totally periodic symbols viewed as affine analogues of reverse lattice words classically used in the decomposition of tensor products of fundamental $\mathfrak{sl}_{n}$-modules. This yields a combinatorial decomposition of the Fock spaces in their irreducible components and the branching law for the restriction of the irreducible highest weight $\mathfrak{sl}_{\infty}$-modules to $\hat{\mathfrak{sl}_{e}}$.

研究动机与目标

• 为水平-$l$ Fock 空间的晶体图中的最高权顶点提供组合表征。
• 为 $\mathcal{U}_q(\mathfrak{sl}_\infty)$ 和 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-模的 Fock 空间建立不可约分量的分解。
• 推导 $\mathcal{U}_q(\mathfrak{sl}_\infty)$-模到 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-模的限制的分支律。
• 将最高权顶点的数量与以完全周期性符号标记的偏序表联系起来。

提出的方法

• 作者引入了完全周期性符号的概念，作为张量积分解中反向格子词的仿射类比。
• 他们对符号使用剥除过程以提取周期分量，并在晶体图中识别最高权顶点。
• 通过两种结构分析 Fock 空间 $\mathcal{F}_{\mathbf{s}}$ 的晶体图：一种对应 $\mathcal{U}_q(\mathfrak{sl}_\infty)$，另一种对应 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$，后者被嵌入为前者的子图。
• 通过符号的周期结构，构建了固定 $\mathcal{U}_q(\mathfrak{sl}_\infty)$-权的符号与特定形状和权的表之间的双射。
• 具有给定 $\mathcal{U}_q(\mathfrak{sl}_\infty)$-权 $\nu$ 的最高权顶点的数量由偏序半标准表 $\mathrm{Tab}_{\mathbf{s}\setminus\mathbf{t}(\nu),\gamma(\nu)}$ 的基数决定。
• 通过使用权集 $P_{e,\infty}$ 和重数函数 $m_{\mathbf{s},\nu}^e$ 与 $M_{\mathbf{s},\nu}^e$，形式化了该分解。

实验结果

研究问题

• RQ1 如何对水平-$l$ Fock 空间的晶体图中的最高权顶点进行组合表征？
• RQ2 完全周期性符号与 $\mathcal{U}_q(\mathfrak{sl}_\infty)$ 和 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$ 的 Fock 空间不可约分量分解之间有何关系？
• RQ3 从晶体结构出发，$\mathcal{U}_q(\mathfrak{sl}_\infty)$-模到 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-模的限制的分支律如何产生？
• RQ4 哪些组合对象用于枚举晶体图中具有固定 $\mathcal{U}_q(\mathfrak{sl}_\infty)$-权的最高权顶点的数量？
• RQ5 能否用偏序表表达 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-不可约分量在 $\mathcal{U}_q(\mathfrak{sl}_\infty)$-模中的重数？

主要发现

• Fock 空间 $\mathcal{F}_{\mathbf{s}}$ 的晶体图中的最高权顶点正是那些由完全周期性符号标记的顶点。
• Fock 空间到 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-不可约分量的分解由集合 $P_{e,\infty}$ 中的 $\mathcal{U}_q(\mathfrak{sl}_\infty)$-权控制。
• 具有 $\mathcal{U}_q(\mathfrak{sl}_\infty)$-最高权 $\nu$ 的 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-最高权顶点的数量是有限的，且等于 $m_{\mathbf{s},\nu}^e = \left|\mathrm{Tab}_{\mathbf{s}\setminus\mathbf{t}(\nu),\gamma(\nu)}\right|$。
• $V_\infty(\mathbf{s})$ 到 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$ 的限制的分支律通过将晶体图分解为 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-连通分量而实现。
• $\mathcal{F}_{\mathbf{s},e}$ 中 $\mathcal{U}_q'(\widehat{\mathfrak{sl}_e})$-不可约分量的重数 $M_{\mathbf{s},\nu}^e$ 由 $\mathbf{v} \in \mathcal{T}_{l,\infty}$ 的求和给出：$K_{\lambda(\mathbf{v}),\mu(\mathbf{v})} m_{\mathbf{v},\nu}^e$，其中 $K_{\lambda,\mu}$ 为 Kostka 数。
• 剥除过程保持符号的半标准性，从而确保用于计数最高权顶点的组合双射的有效性。