[论文解读] Pattern avoidance seen in multiplicities of maximal weights of affine Lie algebra representations

Shunsuke Tsuchioka, Masaki Watanabe|arXiv (Cornell University)|Sep 3, 2015

Algebraic structures and combinatorial models参考文献 10被引用 4

一句话总结

本文证明并推广了Misra与Rebecca的猜想，表明仿射李代数类型$A^{(1)}_{n}$、$A^{(2)}_{2n}$和$D^{(2)}_{n+1}$的可积最高权表示中，极大权的重数由避免特定模式的词所计数。利用Kashiwara的晶体理论与RSK对应关系，作者通过组合模式避免与$q$-二项式恒等式，推导出这些重数的显式公式。

ABSTRACT

We prove that the multiplicities of certain maximal weights of $\mathfrak{g}(A^{(1)}_{n})$-modules are counted by pattern avoidance on words. This proves and generalizes a conjecture of Misra-Rebecca. We also prove similar phenomena in types $A^{(2)}_{2n}$ and $D^{(2)}_{n+1}$. Both proofs are applications of Kashiwara's crystal theory.

研究动机与目标

• 证明并推广Misra与Rebecca关于$\widehat{\mathfrak{sl}}_p$的2级表示中主导极大权数量的猜想。
• 将权重重数与组合模式避免之间的联系，从类型$A^{(1)}_{n}$扩展至类型$A^{(2)}_{2n}$与$D^{(2)}_{n+1}$。
• 利用Kashiwara的晶体理论与RSK对应关系，为权重重数提供组合解释。
• 通过$q$-二项式系数与$q$-Lucas定理，推导出$\mathfrak{g}(A^{(1)}_{p-1})$的$k$级表示中主导极大权数量的闭式公式。

提出的方法

• 作者利用Kashiwara的晶体理论分析仿射李代数上可积最高权模的结构。
• 他们定义了满足线性不等式的整数序列集$S^{(p,s)}_k$，该集合与主导极大权集合之间存在双射。
• 通过引入偏移参数$q_0$，构建$S^{(p,s)}_k$与极大权之间的双射，以确保主导性。
• 应用涉及$q$-二项式系数与$q$-Lucas定理的组合恒等式，以计算这些集合的大小。
• 使用$q$-二项式恒等式$\sum_{\lambda \in \mathsf{Par}, \ell(\lambda)\leq j, \lambda_1\leq k} q^{|\lambda|} = {k+j \brack j}$来计数平面分拆，并将其与权重重数关联。
• 最终公式通过在单位根上求和，并利用Euler函数$\phi(d)$的Möbius反演推导得出。

实验结果

研究问题

• RQ1 在$\mathfrak{g}(A^{(1)}_{p-1})$的$k$级可积最高权模$V(k\Lambda_0)$中，主导极大权的数量是多少？
• RQ2 在$\mathfrak{g}(A^{(1)}_{p-1})$-模中，极大权的重数如何与避免模式的词相关？
• RQ3 类型$A^{(2)}_{2n}$与$D^{(2)}_{n+1}$中的权重重数的组合结构能否通过模式避免类似刻画？
• RQ4 $q$-Lucas定理在计算仿射李代数表示中权重集合大小时起什么作用？
• RQ5 在$V(\Lambda)$的晶体结构中，如何编码避免模式的序列的组合性质？

主要发现

• 在$\mathfrak{g}(A^{(1)}_{p-1})$的$V(k\Lambda_0}$中，主导极大权的数量为$\frac{1}{p+k}\sum_{d \mid \gcd(k,p)} \phi(d) \binom{(p+k)/d}{k/d}$，从而证明了Misra与Rebecca的猜想。
• 对于$\Lambda = \Lambda_0 + \Lambda_s$，在$V(\Lambda)$中$\Lambda - \lambda^p_{\ell,s}$的重数为$\mathsf{D}_{\ell,s}$，即从$(0,0)$到$(\ell+s,\ell)$且始终位于$y=x$之下的格路数量，这恰好是Dyck路径的数量。
• 在$V(\Lambda)$中$\Lambda - \mu^p_{\ell,s}$的重数为$\mathsf{D}_{\ell,p-s}$，表明在Dynkin图自同构$i \mapsto -i$下存在对偶性。
• $S^{(p,0)}_k$（参数化主导极大权的集合）与整数序列$T$和$U$之间存在双射，其中$U$由满足$\sum \lambda_i \in p\mathbb{Z}$且$\lambda_1 \leq k$的非增整数序列$\lambda_1 \geq \cdots \geq \lambda_{p-1} \geq 0$构成。
• $U$的大小计算为$\frac{1}{p}\sum_{\zeta^p=1} {k+p-1 \brack p-1}\big|_{q=\zeta}$，而$q$-Lucas定理将其简化为对$\gcd(k,p)$的因子$d$的求和。
• 主导极大权数量的最终公式为$\frac{1}{p+k}\sum_{d \mid k, d \mid p} \phi(d) \binom{(p+k)/d}{k/d}$，与Misra与Rebecca的猜想表达式完全一致。