[论文解读] A Pieri rule for Demazure characters of the general linear group

Sami Assaf, Danjoseph Quijada|arXiv (Cornell University)|Aug 22, 2019

Advanced Combinatorial Mathematics参考文献 22被引用 4

一句话总结

本文提出了一种针对一般线性群中任意键多项式与单行键多项式乘积的键多项式展开的无抵消、无重数的组合公式，推广了经典的 Pieri 法则。证明使用了一种在 Kohnert 图上定义的新插入算法，该算法扩展了 Robinson–Schensted–Knuth 对应关系，符号的出现源于图像并集的非不交性，而非符号相反的对合映射。

ABSTRACT

The Pieri rule is a nonnegative, multiplicity-free formula for the Schur function expansion of the product of an arbitrary Schur function with a single row Schur function. Key polynomials are characters of Demazure modules for the general linear group that generalize the Schur function basis of symmetric functions to a basis of the full polynomial ring. We prove a nonsymmetric generalization of the Pieri rule by giving a cancellation-free, multiplicity-free formula for the key polynomial expansion of the product of an arbitrary key polynomial with a single part key polynomial. Our proof is combinatorial, generalizing the Robinson--Schensted--Knuth insertion algorithm on tableaux to an insertion algorithm on Kohnert diagrams.

研究动机与目标

• 将 Schur 多项式经典的 Pieri 法则推广至一般线性群的键多项式（即 Demazure 特征）情形。
• 为任意键多项式与单行键多项式的乘积提供一种无抵消、无重数的公式。
• 在 Kohnert 图上开发一种推广 RSK 对应关系的组合插入算法。
• 通过插入图像的结构，刻画此类乘积的键多项式展开何时为非负。

提出的方法

• 作者在 Kohnert 图上定义了一种新插入算法，将 RSK 插入推广至非对称情形。
• 他们引入了 Kohnert 图上的左交换序，以控制插入过程并确保其定义良好。
• 主要双射通过三个关键映射构造：底端插入、正则化和顶端插入，且证明了它们互为逆双射。
• 插入过程追踪了键多项式与单行 Schur 函数相乘的影响，符号来源于图像分量的重叠。
• 证明依赖于基于插入过程的 Kohnert 图的分层结构，包含单射的层映射与图像表征。
• 该方法通过直接分析插入图像的结构避免了符号相反的对合映射，而该图像可能并非不交。

实验结果

研究问题

• RQ1 如何将 Schur 多项式经典的 Pieri 法则推广至键多项式的非对称情形？
• RQ2 在 Kohnert 图上，何种组合插入算法能实现与单行键多项式乘积的键多项式展开结构常数的实现？
• RQ3 为何展开式中会出现符号？何时该展开式实际上为非负？
• RQ4 插入映射的像如何与最终键多项式展开的结构相关？
• RQ5 这种基于插入的方法能否为 Schubert 结构常数或键多项式的 Littlewood–Richardson 法则提供新见解？

主要发现

• 本文建立了任意键多项式与单行键多项式乘积的无抵消、无重数公式，其系数属于 {1, -1}。
• 在 Kohnert 图上的插入算法推广了 RSK 对应关系，并为非对称 Pieri 法则提供了直接的组合证明。
• 插入映射的像是 Kohnert 图的并集，该并集未必不交，从而解释了展开式中符号的出现。
• 作者刻画了键展开为非负的条件：当且仅当插入映射的像是不交时成立，这对应于输入图的特定组合条件。
• 该结果为 vexillary 情况下键展开的非负性提供了新的简化证明，并通过 Schubert 多项式提供了几何动机。
• 该框架为实现键多项式完整的 Littlewood–Richardson 法则指明了方向，可能为长期存在的 Schubert 结构常数计算问题提供启示。