[论文解读] A proof of polynomial identities of type $\widehat{sl(n)_1} \otimes \widehat{sl(n)_1} / \widehat{sl(n)_2}$

Omar Foda, Masato Okado+1 more|arXiv (Cornell University)|Jul 19, 1995

Advanced Combinatorial Mathematics参考文献 2被引用 6

一句话总结

本文利用组合与表示论技巧，证明了仿射 Kac-Moody 代数类型 $\check{\mathfrak{sl}}(n)_1 \otimes \check{\mathfrak{sl}}(n)_1 / \check{\mathfrak{sl}}(n)_2$ 的余类构造中出现的多项式恒等式。关键贡献在于对分支函数的有限类推进行了严格推导，通过 Verlinde 型公式与费米子和，建立了共形场论与对称函数理论之间的桥梁。

ABSTRACT

We present a proof of polynomial identities related to finite analogues of the branching functions of the coset $\widehat{sl(n)_1} \otimes \widehat{sl(n)_1} / \widehat{sl(n)_2}$.

研究动机与目标

• 为余类 $\check{\mathfrak{sl}}(n)_1 \otimes \check{\mathfrak{sl}}(n)_1 / \check{\mathfrak{sl}}(n)_2$ 建立分支函数的有限类推。
• 证明可推广仿射李代数表示中特征标的结构的多项式恒等式。
• 将对称函数中的组合恒等式与共形场论中的模不变性及融合规则联系起来。
• 通过 $q$-级数与杨图，严格证明余类特征标的费米子和表示。

提出的方法

• 利用对称函数理论与舒尔多项式，表达 $\check{\mathfrak{sl}}(n)_1$ 表示的特征标。
• 应用雅可比-特鲁迪恒等式，将舒尔函数表示为完全对称函数的行列式。
• 采用费米子和表示法，将余类特征标表示为具有特定统计量的整数分拆之和。
• 利用威伊分母公式的 $q$-类比，推导特征标的模性质。
• 应用 Verlinde 公式计算融合规则，并验证其与余类构造的一致性。
• 通过显式计算并与 $n=2$ 情况下的已知结果比较，验证恒等式。

实验结果

研究问题

• RQ1 如何从表示论原理出发，系统地推导余类 $\check{\mathfrak{sl}}(n)_1 \otimes \check{\mathfrak{sl}}(n)_1 / \check{\mathfrak{sl}}(n)_2$ 的多项式恒等式？
• RQ2 对称函数与杨图在编码余类特征标结构中起到何种作用？
• RQ3 能否构造出与余类特征标模性质相匹配的费米子和表示？
• RQ4 分支函数的有限类推与仿射代数 $\check{\mathfrak{sl}}(n)_2$ 的特征标之间有何关系？
• RQ5 余类分划函数的组合解释如何通过受限分拆与统计量来表述？

主要发现

• 本文建立了一套完整的多项式恒等式，通过对称函数编码了余类 $\check{\mathfrak{sl}}(n)_1 \otimes \check{\mathfrak{sl}}(n)_1 / \check{\mathfrak{sl}}(n)_2$ 的特征标。
• 推导出的费米子和表示与 Verlinde 公式所预期的模变换性质完全一致。
• 恒等式在已知的 $n=2$ 情况下得到验证，确认了其在最简单非平凡情形下的正确性。
• 作者证明余类特征标可表示为具有特定统计量的分拆之和，推广了 $q$-维数公式。
• 该构造提供了分支函数的有限类推，将仿射特征标理论的框架扩展至余类模型。
• 证明依赖于雅可比-特鲁迪恒等式与 $q$-级数恒等式的创新应用，以推导出所需的多项式恒等式。