[论文解读] A Schubert calculus recurrence from the noncomplex W-action on G/B

Allen Knutson|ArXiv.org|Jun 20, 2003

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

一句话总结

本文提出了一种用于计算广义旗流形 $G/B$ 的上同调环中等变 Schubert 结构常数的递推关系，通过非复数 Weyl 群作用结合等变上同调实现。该方法通过下降循环和一种涉及反射与根配对系数的新递推关系，递归地简化结构常数，提供了一种非明显正但计算高效的算法，能够终止且避免完整的乘积计算。

ABSTRACT

In this paper, as in our previous "Descent-cycling in Schubert calculus" math.CO/0009112, we study the structure constants in equivariant cohomology of flag manifolds G/B. In this one we give a recurrence (which is frequently, but alas not always, positive) to compute these one by one, using the non-complex action of the Weyl group on G/B. Probably the most noteworthy feature of this recurrence is that to compute a particular structure constant c_{lambda,mu}^nu, one does not have to compute the whole product S_lambda * S_mu.

研究动机与目标

• 开发一种用于计算上同调环 $H^*_T(G/B)$ 中单个等变 Schubert 结构常数 $c_{wv}^u$ 的递归算法。
• 利用 Weyl 群 $W$ 在 $G/B$ 上的非复数右作用，从 $T$-等变上同调结构推导出递推关系。
• 提供一种方法，可在不计算 Schubert 类完整乘积的情况下，直接计算单个结构常数，与基于 Schubert 多项式的方法形成对比。
• 分析递推关系中非正性来源，特别是涉及 $\langle\alpha,\beta\rangle$ 和 $w\cdot\alpha$ 的项，并证明其在普通上同调情形下消失。
• 通过三重积分的推论，建立普通上同调情形下结构常数的三重对称形式。

提出的方法

• 该方法使用等变上同调将 Schubert 类建模为多项式集合，从而实现对结构常数的代数操作。
• 引入基于单个反射 $r = r_\alpha$ 的递推关系，其中 $wr > w$，将 $c_{wv}^u$ 降低为 $w$ 更高或 $v$ 更低的项。
• 通过将 Demazure 算子 $\partial^\alpha$ 作用于乘积 $S_w S_v = \sum_u c_{wv}^u S_u$ 并比较系数，推导出递推关系。
• 关键递推关系为 $c_{w,vr}^u = c_{wr,vr}^{ur} + c_{wr,v}^u - (w\cdot\alpha)c_{wv}^u + \sum_{w' \succ w, w' \neq wr} \langle\alpha,\beta\rangle c_{w',v}^u$，在 $ur > u$、$vr < v$ 且 $wr < w$ 时成立。
• 该方法采用下划线/上划线记号，紧凑地编码 Weyl 群元素长度和反射作用的条件。
• 使用下降循环和 dc-平凡性作为基底情形：当 $ur > u$ 且 $vr < v$ 时，$c_{wv}^u = c_{wr,v}^{\overline{ur}}$；当 $ur < u$ 且 $vr > v$ 时，$c_{wv}^u = 0$。

实验结果

研究问题

• RQ1 能否在不计算 Schubert 类完整乘积的情况下，为单个等变 Schubert 结构常数 $c_{wv}^u$ 推导出递推关系？
• RQ2 在 $G/B$ 上，Weyl 群的非复数作用如何通过等变方法在上同调环中诱导出递推关系？
• RQ3 递推关系中的非正性来源是什么？在何种条件下这些项会消失？
• RQ4 该递推关系能否用于恢复普通 Schubert 结构常数在 $G/B$ 中的三重对称性？
• RQ5 该递推关系在有限维 $G$ 下是否具有算法终止性且计算高效？

主要发现

• 对于 $w \neq w_0$，该递推关系通过降低至 $w$ 更高或 $v$ 更低的项，可计算任意 $c_{wv}^u$，在有限维 $G$ 下保证终止。
• 由于包含 $\langle\alpha,\beta\rangle \in \mathbb{Z}$ 和 $w\cdot\alpha$ 的项，该递推关系非明显正，但在普通上同调情形下这些项消失。
• 在普通情形下，当 $w$ 为反 Grassmannian（即 $w$ 至多有一个上升）时，递推关系中无负项。
• 对于 $G = GL_4(\mathbb{C})$，该递推关系正确计算出 $c_{1234,2413}^{2413} = 1$，在非平凡例子中验证了算法的有效性。
• 该递推关系暗示了结构常数的三重对称形式：在普通情形下有 $c_{w,vr,ur} = c_{wr,vr,u} + c_{wr,v,ur} + \sum \langle\alpha,\beta\rangle c_{w',v,ur}$。
• 该算法避免了完整乘积计算，因此比基于 Schubert 多项式或显式代表元的方法更具计算效率。