[论文解读] Dyck tilings and the homogeneous Garnir relations for graded Specht modules

Matthew Fayers|arXiv (Cornell University)|Sep 25, 2013

Algebraic structures and combinatorial models被引用 6

一句话总结

本文建立了斜杨图的覆盖包含型Dyck镶嵌与对称群的置换模基之间的转移矩阵之间的联系，通过镶嵌计数的递推关系证明了这些矩阵互为逆矩阵。该方法被用于推导出在循环quiver Hecke代数中的分次Specht模的齐次Garnir关系的简化、约化表达形式。

ABSTRACT

Suppose $λ$ and $μ$ are integer partitions with $λ\supseteqμ$. Kenyon and Wilson have introduced the notion of a cover-inclusive Dyck tiling of the skew Young diagram $λ\setminusμ$, which has applications in the study of double-dimer models. We examine these tilings in more detail, giving various equivalent conditions and then proving a recurrence which we use to show that the entries of the transition matrix between two bases for a certain permutation module for the symmetric group are given by counting cover-inclusive Dyck tilings. We go on to consider the inverse of this matrix, showing that its entries are determined by what we call cover-expansive Dyck tilings. The fact that these two matrices are mutual inverses allows us to recover the main result of Kenyon and Wilson. We then discuss the connections with recent results of Kim et al, who give, a simple expression for the sum, over all $μ$, of the number of cover-inclusive Dyck tilings of $λ\setminusμ$. Our results provide a new proof of this result. Finally, we show how to use our results to obtain simpler expressions for the homogeneous Garnir relations for the universal Specht modules introduced by Kleshchev, Mathas and Ram for the cyclotomic quiver Hecke algebras.

研究动机与目标

• 通过Dyck镶嵌阐明对称群的置换模基之间的转移矩阵结构。
• 利用覆盖扩展型Dyck镶嵌，为Kenyon与Wilson矩阵的逆提供新的组合解释。
• 通过用约化表达式表示，简化分次Specht模的齐次Garnir关系。
• 为Kim等人关于所有子分拆上覆盖包含型Dyck镶嵌总数的公式提供新证明。
• 将镶嵌计数与循环Hecke代数中的表示论结构联系起来。

提出的方法

• 引入覆盖包含型与覆盖扩展型Dyck镶嵌作为斜杨图上的组合对象。
• 通过双射构造推导覆盖包含型与覆盖扩展型Dyck镶嵌数量的递推关系。
• 识别出Young置换模两个基之间的转移矩阵由覆盖包含型Dyck镶嵌计数编码。
• 利用由覆盖扩展型镶嵌编码的逆矩阵，证明这两个矩阵互为逆矩阵。
• 在分拆上定义函数 $ F $，并证明 $ F( u) $ 满足与镶嵌计数相同的递推关系。
• 通过镶嵌计数与函数 $ F $ 之间的对偶性，推导出齐次Garnir关系的新表达式。

实验结果

研究问题

• RQ1 什么组合条件与Dyck镶嵌的覆盖包含性等价？
• RQ2 如何构建并使用覆盖包含型与覆盖扩展型Dyck镶嵌的递推关系来证明矩阵求逆？
• RQ3 所有 $ u rianglelefteq u $ 上覆盖包含型Dyck镶嵌数的总和与函数 $ F $ 之间有何联系？
• RQ4 如何利用镶嵌数据将分次Specht模的齐次Garnir关系表达为约化表达式？
• RQ5 能否利用镶嵌计数结果重新推导或简化表示论中的已知公式，例如Kim等人的求和公式？

主要发现

• 对称群的置换模两个基之间转移矩阵的元素由 $ u ackslash u' $ 的覆盖包含型Dyck镶嵌数给出。
• 逆矩阵的元素由覆盖扩展型Dyck镶嵌数给出，且这两个矩阵互为逆矩阵。
• 对所有 $ u rianglelefteq u $ 上 $ u ackslash u $ 的覆盖包含型Dyck镶嵌数的总和等于 $ F( u) $，从而为Kim等人公式提供了新证明。
• 函数 $ F $ 满足与覆盖包含型镶嵌计数形式完全相同的递推关系，从而可直接通过组合方法推导出求和公式。
• 在循环quiver Hecke代数上的通用Specht模中，齐次Garnir关系可仅用生成元 $ ho_i $ 的约化表达式重写，从而简化其计算与理论应用。
• 整个框架为Kenyon与Wilson的矩阵求逆结果提供了基于镶嵌的新证明，该证明独立于其原始的共振子模型推导。