[论文解读] A Pieri-type Formula for the Equivariant Cohomology of the Flag Manifold

Shawn Robinson|ArXiv.org|Sep 21, 2000

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

一句话总结

本文为旗流形 $G/B$ 的等变上同调建立了类 Pieri 公式，其中 $G = SL_n(\mathbb{C})$，提供了计算乘积 $\xi^c \xi^w = \sum p_{c,w}^u \xi^u$ 中结构常数的组合规则，此处 $c = c[k,m]$ 为连续简单反射的乘积。关键结果将这些系数表达为在满足特殊 $k$-优条件的一组排列 $u$ 上，对特定多项式 $\xi^{c[k-p,m-p]}(v_{[u,w,k]})$ 的取值，将经典 Pieri 法则推广至等变设置，并明确展示了正性。

ABSTRACT

We prove an explicit combinatorial formula for certain structure constants of the T-equivariant cohomology of the flag manifold SLn/B. Our result generalizes the Pieri-type formula in ordinary cohomology proved by Sottile in 1996. Our result also gives a Pieri-type formula for the double Schubert polynomials introduced by Lascoux and Schutzenberger.

研究动机与目标

• 将经典 Pieri 公式推广至 $G = SL_n(\mathbb{C})$ 的旗簇 $G/B$ 的 $T$-等变上同调。
• 为乘积 $\xi^c \xi^w = \sum p_{c,w}^u \xi^u$ 中的结构常数 $p_{c,w}^u$ 提供组合公式，其中 $\xi^w$ 为等变 Schubert 类。
• 证明这些结构常数（作为 $S(\mathfrak{h}^*)$ 中的多项式）可通过特定多项式的取值显式表示为正。

提出的方法

• 通过 Kostant 和 Kumar 构造的函数 $\xi^w: W \to S(\mathfrak{h}^*)$ 定义等变 Schubert 基 $\{\xi^w\}_{w \in W}$。
• 引入 $u$ 相对于 $w$ 的度数为 $p$ 的特殊 $k$-优性的概念，其特征为对值、位置和长度增加的条件。
• 提出主要结果：$\xi^c \xi^w = \sum_{0 \leq p \leq m, \, u \in S_{k,p}(w)} \xi^{c[k-p,m-p]}(v_{[u,w,k]}) \xi^u$，其中 $c = c[k,m]$ 为 $m$ 个连续简单反射的乘积。
• 通过 $k$ 的归纳法，利用 $\xi^{c[k,m]}$ 的递归分解 $\xi^{c[k-1,m]} + \xi^{c[k-1,m-1]}(\xi^{s_k} - \xi^{s_{k-1}} + L_{k-m+1} - L_k)$。
• 利用关于 $S_{k,p}(w)$ 的结构、多项式取值 $\xi^w(v)$ 以及 $\xi^w$ 在乘以 $\xi^{s_k}$ 时的行为的引理。
• 通过递归应用结构常数与多项式恒等式（包括过渡映射 $v_{[u,w,k]}$ 的使用）验证正性和正确性。

实验结果

研究问题

• RQ1 如何将经典 Pieri 公式扩展至旗流形 $SL_n(\mathbb{C})/B$ 的等变上同调？
• RQ2 排列 $u$ 的哪些组合条件可确保乘积 $\xi^c \xi^w$ 中结构常数 $p_{c,w}^u$ 非零？
• RQ3 结构常数 $p_{c,w}^u$ 是否可显式表示为 $S(\mathfrak{h}^*)$ 中多项式的取值？
• RQ4 该公式是否展现出等变结构常数的已知正性？若是，这种正性如何体现？
• RQ5 在特殊情况下，该公式如何退化为已知结果（如 Schubert 多项式的 Pieri 法则）？

主要发现

• 本文为 $H_T^*(SL_n(\mathbb{C})/B)$ 中的 $\xi^c \xi^w$ 提供了完整的类 Pieri 公式，其中 $c = c[k,m]$ 为 $m$ 个连续简单反射的乘积。
• 结构常数由 $p_{c,w}^u = \xi^{c[k-p,m-p]}(v_{[u,w,k]})$ 给出，其中 $u \in S_{k,p}(w)$，且 $S_{k,p}(w)$ 由 $k$-优条件定义。
• 当 $p = m$ 时，公式退化为 Schubert 多项式的经典 Pieri 法则，恢复了 Lascoux 和 Schützenberger 的结果。
• 通过多项式 $\xi^{c[k-p,m-p]}(v_{[u,w,k]})$ 的取值，显式证明了结构常数的正性，这些取值在给定条件下被证明为非负。
• 该公式通过 $k$ 的归纳法证明，利用 $\xi^{c[k,m]}$ 的递归分解，并对 $\xi^{c[k-1,m]}$、$\xi^{c[k-1,m-1]}$ 以及涉及对换 $t_{kq}$ 和 $t_{qk}$ 的过渡项的系数贡献进行详细分析。
• 证明表明，当 $u \notin S_{k,p}(w)$ 时，即使 $u$ 出现在 $S_{k-1,p}(w)$ 中，系数也因涉及 $ut_{kq}$ 和 $ut_{q'k}$ 的项之间发生抵消而消失。