[论文解读] Affine insertion and Pieri rules for the affine Grassmannian

Thomas Lam, Luc Lapointe+2 more|ArXiv.org|Sep 4, 2006

Advanced Combinatorial Mathematics参考文献 13被引用 5

一句话总结

本文引入了仿射插入法，作为罗宾逊-施伦斯登-康尼格对应关系的推广，以建立 $SL(n,\mathbb{C})$ 的仿射格拉斯曼流形上上同调与同调的 Pieri 法则。它通过强表和弱表构建了一个组合框架，利用该插入法定义了 $k$-Schur 函数，并通过一种新的双射证明了弱序与强序之间的对偶性，从而在该设定下提供了 Schubert 计算的完整组合解释。

ABSTRACT

We study combinatorial aspects of the Schubert calculus of the affine Grassmannian Gr associated with SL(n,C). Our main results are: 1) Pieri rules for the Schubert bases of H^*(Gr) and H_*(Gr), which expresses the product of a special Schubert class and an arbitrary Schubert class in terms of Schubert classes. 2) A new combinatorial definition for k-Schur functions, which represent the Schubert basis of H_*(Gr). 3) A combinatorial interpretation of the pairing between homology and cohomology of the affine Grassmannian. These results are obtained by interpreting the Schubert bases of Gr combinatorially as generating functions of objects we call strong and weak tableaux, which are respectively defined using the strong and weak orders on the affine symmetric group. We define a bijection called affine insertion, generalizing the Robinson-Schensted Knuth correspondence, which sends certain biwords to pairs of tableaux of the same shape, one strong and one weak. Affine insertion offers a duality between the weak and strong orders which does not seem to have been noticed previously. Our cohomology Pieri rule conjecturally extends to the affine flag manifold, and we give a series of related combinatorial conjectures.

研究动机与目标

• 为与 $SL(n,\mathbb{C})$ 关联的仿射格拉斯曼流形 $\mathrm{Gr}$ 的 Schubert 计算建立一个组合框架。
• 为上同调 $H^*(\mathrm{Gr})$ 与同调 $H_*(\mathrm{Gr})$ 建立 Pieri 法则，将特殊 Schubert 类与任意 Schubert 类的乘积表示为 Schubert 类的和。
• 通过强表的生成函数，以一种新的组合方式定义 $k$-Schur 函数。
• 通过仿射插入，组合地解释上同调与同调之间的配对 $H^*(\mathrm{Gr}) \times H_*(\mathrm{Gr}) \to \mathbb{Z}$。
• 将理论扩展至仿射旗流形的猜想性 Pieri 法则，暗示更广泛的几何意义。

提出的方法

• 仿射插入被定义为双词与同形状的表对（一个强表，一个弱表）之间的双射，推广了经典的 RSK 对应关系。
• 该构造利用仿射对称群 $\widetilde{S}_n$ 上的强序与弱序，通过周期性置换与核心分拆定义表。
• 引入局部插入规则 $\phi_{u,v}$ 以建模弱序中覆盖关系处的插入过程，对可交换与不可交换情况分别进行分析。
• 通过定义反向插入过程以建立双射性，证明基于插入类型与位置的分类分解。
• 该理论以核心与有界分拆的形式进行解释，将 $k$-Schur 函数与依赖于 $t$ 的对称函数联系起来。
• 上同调与同调之间的配对被组合地解释为同形状强表与弱表的内积。

实验结果

研究问题

• RQ1 如何通过强表与弱表组合地解释仿射格拉斯曼流形的 Schubert 基？
• RQ2 在 $H^*(\mathrm{Gr})$ 与 $H_*(\mathrm{Gr})$ 中，Pieri 法则背后的组合结构是什么？
• RQ3 仿射插入如何推广 RSK 对应关系，并揭示弱序与强序之间的对偶性？
• RQ4 $k$-Schur 函数能否通过强表的生成函数进行组合定义？
• RQ5 从表的角度看，配对 $H^*(\mathrm{Gr}) \times H_*(\mathrm{Gr}) \to \mathbb{Z}$ 的几何与代数意义是什么？

主要发现

• 本文为仿射格拉斯曼流形的上同调与同调建立了明确的 Pieri 法则，将特殊 Schubert 类与任意 Schubert 类的乘积表示为 Schubert 类的和。
• 提供了一种新的组合定义方式，将 $k$-Schur 函数定义为强表的生成函数，并以依赖于 $t$ 的对称函数形式给出其单项式展开。
• 证明了仿射插入是双词与表对（一个强表，一个弱表）之间的双射，揭示了此前未被观察到的弱序与强序之间的对偶性。
• 上同调与同调之间的配对被解释为同形状强表与弱表的内积，为上同调与同调之间的对偶性提供了组合实现。
• 该理论被扩展至核心与有界分拆，建立了 $k$-核心与有界分拆之间的双射，从而为 $k$-Schur 函数提供了统一的框架。
• 当 $n \to \infty$ 时，仿射插入过程与经典 RSK 对应关系一致，验证了其与已知组合学的一致性。