[论文解读] Littlewood-Richardson polynomials

Alexander Molev|ArXiv.org|Apr 2, 2007

Advanced Combinatorial Mathematics参考文献 12被引用 8

一句话总结

本文引入了 Littlewood–Richardson 多项式作为以无限变量序列参数化的对称函数环族中的结构系数，通过带横线的反向超表给出其计算的显式正性组合规则。该规则在 $ a_i - a_j $ 的差值中给出显式、正整数的展开式，并确立了等变 Schubert 结构系数以及 $ \mathfrak{gl}_n $ 中量子不变量乘法的稳定性性质，解决了等变 Schubert 计算与表示论中长期存在的正性与稳定性问题。

ABSTRACT

We introduce a family of rings of symmetric functions depending on an infinite sequence of parameters. A distinguished basis of such a ring is comprised by analogues of the Schur functions. The corresponding structure coefficients are polynomials in the parameters which we call the Littlewood-Richardson polynomials. We give a combinatorial rule for their calculation by modifying an earlier result of B. Sagan and the author. The new rule provides a formula for these polynomials which is manifestly positive in the sense of W. Graham. We apply this formula for the calculation of the product of equivariant Schubert classes on Grassmannians which implies a stability property of the structure coefficients. The first manifestly positive formula for such an expansion was given by A. Knutson and T. Tao by using combinatorics of puzzles while the stability property was not apparent from that formula. We also use the Littlewood-Richardson polynomials to describe the multiplication rule in the algebra of the Casimir elements for the general linear Lie algebra in the basis of the quantum immanants constructed by A. Okounkov and G. Olshanski.

研究动机与目标

• 定义并研究对称函数环族中参数为 $ \mathbb{Z}[a] $ 的 Littlewood–Richardson 多项式 $ c_{\lambda\mu}^\nu(a) $ 作为结构系数。
• 提供一个组合规则以计算这些多項式，该规则在 Graham 意义下是显式正性的，即表示为 $ a_i - a_j $ 的单项式之和，且系数为正整数。
• 建立 Grassmannian 的等变上同调中结构系数的稳定性性质，该性质在早期表述中并不明显。
• 将该规则应用于描述 $ \mathrm{U}(\mathfrak{gl}_n) $ 的中心中量子不变量的乘法，得到量子不变量基下的正展开式。

提出的方法

• 将环 $ \Lambda $ 定义为对称多项式 $ x_1,\dots,x_n $ 在 $ \mathbb{Z}[a] $ 系数下的过滤环 $ \Lambda_n $ 的逆极限，使用求值映射 $ P(x_1,\dots,x_n) \mapsto P(x_1,\dots,x_{n-1},a_n) $。
• 引入双 Schur 函数 $ s_\lambda(x\,||\,a) $ 作为 $ \Lambda $ 的基，当 $ a = 0 $ 时推广经典 Schur 函数。
• 通过乘积展开式 $ s_\lambda(x\,||\,a) s_\mu(x\,||\,a) = \sum_\nu c_{\lambda\mu}^\nu(a) s_\nu(x\,||\,a) $ 定义 Littlewood–Richardson 多项式 $ c_{\lambda\mu}^\nu(a) $。
• 通过带横线的反向 $ \lambda $-超表构造新的组合规则，其中未带撇的条目用索引标记，并在对应于序列 $ R $ 的位置加横线，带撇的条目用 $ a $-索引标记。
• 推导出 $ c_{\lambda\mu}^\nu(a) $ 的公式，作为此类表的和，其中未带撇条目贡献 $ a_{T(\alpha) - \rho(\alpha)_{T(\alpha)}} $，带撇条目贡献 $ -b_{T(\alpha)} $，从而保证正性。
• 将该规则应用于证明 Grassmannian 的等变上同调中结构系数 $ d_{\lambda\mu}^\nu $ 在特殊化 $ a_i = -t_{N-i+1} $ 下的稳定性与显式正性。

实验结果

研究问题

• RQ1 能否为参数序列 $ a $ 的对称函数环中的结构系数 $ c_{\lambda\mu}^\nu(a) $ 构造一个显式正性公式？
• RQ2 用于 $ c_{\lambda\mu}^\nu(a) $ 的组合规则是否揭示了 Grassmannian 的等变 Schubert 计算中的稳定性性质？
• RQ3 能否使用该框架以正整数系数表达 $ \mathrm{Z}(\mathfrak{gl}_n) $ 中量子不变量乘法的规则？
• RQ4 是否存在一种超表表示法，使得 $ c_{\lambda\mu}^\nu(a) $ 的正性和稳定性显而易见？
• RQ5 与 Molev–Sagan 或 Knutson–Tao 的早期公式相比，该新规则在正性和稳定性方面有何优势？

主要发现

• 本文首次为 Littlewood–Richardson 多项式 $ c_{\lambda\mu}^\nu(a) $ 提供了显式正性公式，将其表示为 $ a_i - a_j $ 的单项式之和，且系数为正整数。
• 该新规则意味着 Grassmannian 的等变上同调中结构系数 $ d_{\lambda\mu}^\nu $ 的稳定性性质，而这一性质在 Knutson 和 Tao 的拼图规则中并不明显。
• 在特殊化 $ a_i = -i $ 时，量子不变量 $ \mathbb{S}_{\lambda|n} \mathbb{S}_{\mu|n} $ 的系数 $ f_{\lambda\mu}^\nu $ 由 $ c_{\lambda\mu}^\nu(a) $ 给出，且展开为正。
• 公式 $ c_{\lambda\mu}^\nu(a) $ 通过带横线的反向超表推导得出，条目分别贡献 $ a_{T(\alpha) - \rho(\alpha)_{T(\alpha)}} $（未带撇）和 $ -b_{T(\alpha)} $（带撇），从而保证正性。
• 例 4.5 计算了 $ c_{(2,1)(2)}^{(2,1)}(a) = a_{-1}^2 - a_{-1}a_0 - a_{-1}a_2 + a_0a_2 $，验证了公式与正性。
• 超表表示法 $ s_\lambda(x\,||\,a) $ 为 $ \sum_T \prod_{\text{未带撇 } T(\alpha)} x_{T(\alpha)} \prod_{\text{带撇 } T(\alpha)} (-a_{T(\alpha)}) $，其构成了结构系数正性的基础。