[论文解读] Equivariant Schubert calculus and jeu de taquin

Hugh Thomas, Alexander Yong|arXiv (Cornell University)|Jul 13, 2012

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

一句话总结

本文引入了边标号杨表与等变 jeu de taquin 理论，为格拉斯曼流形中的等变 Schubert 结构系数提供了新的组合规则。它将经典 jeu de taquin 推广至阶乘 Schur 多项式，并提出了一个等变 K-理论结构系数的正性公式，通过变量 $ z_i = \frac{t_i}{t_{i+1}} - 1 $ 的显式正多项式实现已知的正性结果。

ABSTRACT

We introduce edge labeled Young tableaux. Our main results provide a corresponding analogue of [Schützenberger '77]'s theory of jeu de taquin. These are applied to the equivariant Schubert calculus of Grassmannians. Reinterpreting, we present new (semi)standard tableaux to study factorial Schur polynomials, after [Biedenharn-Louck '89], [Macdonald '92] and [Goulden-Greene '94] and others. Consequently, we obtain new combinatorial rules for the Schubert structure coefficients, complementing work of [Molev-Sagan '99], [Knutson-Tao '03], [Molev '08] and [Kreiman '09]. We also describe a conjectural generalization of one of our rules to the equivariant K-theory of Grassmannians, extending work of [Thomas-Yong '07]. This conjecture concretely realizes the "positivity" known to exist by [Anderson-Griffeth-Miller '08]. It provides an alternative to the conjectural rule of Knutson-Vakil reported in [Coskun-Vakil '06].

研究动机与目标

• 使用边标号杨表建立格拉斯曼流形中等变 Schubert 计算的新组合框架。
• 将经典 jeu de taquin 理论推广至等变设置，保持其在所有李类型下的灵活性与统一性。
• 为等变上同调中的等变 Schubert 结构系数提供新的组合规则，补充 Knutson-Tao 与 Molev 的已有规则。
• 通过广义表模型将阶乘 Schur 多项式与之统一，以计算等变上同调中的结构系数。
• 构造一个等变 K-理论结构系数的正性公式，通过显式正多项式 $ z_i $-变量实现 Anderson-Griffeth-Miller 的已知正性结果。

提出的方法

• 定义边标号杨表，其中盒子带有标签，水平边上带有子集标签，且满足涉及边跨严格不等式的半标准条件。
• 引入一种修正的 jeu de taquin 滑动规则，用于这些表的正则化过程，该规则尊重边标签与特殊标签（标记为 $\star$）。
• 在正则化过程中，通过因子 $ 1 - \prod \hat{\beta}(\text{盒子}) \cdot \prod \hat{\beta}(\text{右邻盒子}) $ 为特殊标签分配权重，其中 $ \hat{\beta}(x) = \frac{t_i}{t_j} $。
• 将权重 $ \text{wt}_K(T) $ 定义为所有特殊标签的这些因子的乘积，符号 $ \text{sgn}(T) $ 基于 $\star$ 的数量与边标签确定。
• 构建一个关于等变 K-理论结构系数的猜想规则，作为具有固定正则化形状的表的带符号和。
• 将带符号权重重新表达为 $ z_i = \frac{t_i}{t_{i+1}} - 1 $ 的形式，表明 $ K_{\lambda,\mu}^\nu \cdot (-1)^{| u|-\text{len}(\nu)-|\nu|} $ 是 $ \{z_i\} $ 的显式正多项式。

实验结果

研究问题

• RQ1 经典 jeu de taquin 理论如何能被推广至格拉斯曼流形 Schubert 计算的等变设置？
• RQ2 何种使用边标号表的组合模型能为等变 Schubert 结构系数在上同调中提供新规则？
• RQ3 Molev-Sagan 的阶乘 Schur 多项式系数如何通过广义 jeu de taquin 规则解释？
• RQ4 能否构造一个等变 K-理论结构系数的正性公式，以实现 Anderson-Griffeth-Miller 的已知正性？
• RQ5 所提出的边标号表的权重与符号公式是否能为 $ K_{\lambda,\mu}^\nu $ 提供关于 $ z_i $-变量的显式正表达式？

主要发现

• 本文引入了边标号杨表及其对应的 jeu de taquin 正则化过程，将经典表滑动推广至等变设置。
• 建立了等变上同调中等变 Schubert 结构系数的新组合规则，为 Knutson-Tao 与 Molev 的已有规则提供了替代方案。
• 权重函数 $ \text{wt}_K(T) $ 通过特殊标签的正则化路径定义，每个因子取决于滑动过程中遇到的 $ t_i $-比值。
• 猜想 4.7 提出等变 K-理论结构系数 $ K_{\lambda,\mu}^\nu $ 等于所有正则化形状为 $ \mu $ 的表的 $ \text{wt}_K(T) $ 带符号和，其中 $ \text{sgn}(T) $ 考虑了标签计数。
• 计算机验证确认了在所有 $ Gr(k, \mathbb{C}^n) $ 满足 $ n \leq 5 $ 以及部分更大情形下该猜想成立，支持了公式的正性。
• 证明了表达式 $ \text{sgn}(T) \cdot \text{wt}_K(T) $ 是 $ z_i = \frac{t_i}{t_{i+1}} - 1 $ 的显式正多项式，从而在等变 K-理论中实现了 Anderson-Griffeth-Miller 的正性结果。