[论文解读] Divided difference operators for partial flag varieties

Julianna Tymoczko|ArXiv.org|Dec 13, 2009

Polynomial and algebraic computation参考文献 23被引用 12

一句话总结

本文为部分旗流形 $G/P$ 的等变上同调与普通上同调引入了差分差分算子，推广了经典施伯特上同调理论中的工具。通过等变上同调的 GKM 表示法，构造了作用在二进制字符串索引多项式上的显式算子 $\tilde{\delta}_i$，可从最高阶类生成所有施伯特类，并利用比利亚公式得出施伯特多项式的闭式表达，适用于所有李型和抛物子群。

ABSTRACT

Divided difference operators are degree-reducing operators on the cohomology of flag varieties that are used to compute algebraic invariants of the ring (for instance, structure constants). We identify divided difference operators on the equivariant cohomology of G/P for arbitrary partial flag varieties of arbitrary Lie type, and show how to use them in the ordinary cohomology of G/P. We provide three applications. The first shows that all Schubert classes of partial flag varieties can be generated from a sequence of divided difference operators on the highest-degree Schubert class. The second is a generalization of Billey's formula for the localizations of equivariant Schubert classes of flag varieties to arbitrary partial flag varieties. The third gives a choice of Schubert polynomials for partial flag varieties as well as an explicit formula for each. We focus on the example of maximal Grassmannians, including Grassmannians of k-planes in a complex n-dimensional vector space.

研究动机与目标

• 将施伯特上同调中的核心工具——差分差分算子——从完整旗流形推广至部分旗流形 $G/P$。
• 解决标准差分差分算子无法保持 $G/P$ 在 $G/B$ 中的上同调子环结构的问题。
• 通过等变上同调与 GKM 表示法，为 $G/P$ 提供施伯特多项式的统一构造。
• 将比利亚公式推广至任意部分旗流形的等变施伯特类局部化。
• 为 $G/P$ 建立一个在抛物子群的 Weyl 群作用下不变的施伯特多项式规范基。

提出的方法

• 使用 Goresky-Kottwitz-MacPherson (GKM) 的等变上同调表示法，将上同调类表示为在不动点上取值的多项式元组，并满足相容性条件。
• 通过对称群 $S_n$ 在二进制字符串 $\mathbf{b} \in \mathcal{B}_k$ 和环权重 $t_i$ 上的作用，定义差分差分算子 $\delta_i$，公式为 $\delta_i p = \frac{p - s_i \cdot p}{t_i - t_{i+1}}$。
• 证明 $\delta_i$ 作用在等变施伯特类 $p_{\mathbf{b}}$ 上时，满足 $\delta_i p_{\mathbf{b}} = p_{s_i \mathbf{b}}$ 当 $b_i < b_{i+1}$，否则为 0。
• 通过 $W_J$-平均映射 $\kappa$ 将 $p_{w^{-1}}$ 映射为施伯特多项式 $\mathfrak{S}_w$，确保其 $W_J$-不变性与齐次性。
• 应用比利亚公式，显式计算 $\mathfrak{S}_w$ 为 $W_J$-轨道上的和，得到以单根表示的闭式表达。
• 通过提升至 $G/B$ 并限制到 $G/P$，验证所得多项式满足 $H^*(G/P)$ 的结构常数。

实验结果

研究问题

• RQ1 是否可以以保持结构并生成施伯特类的方式，在部分旗流形 $G/P$ 的上同调上定义差分差分算子？
• RQ2 如何将比利亚公式推广至任意部分旗流形的等变施伯特类局部化？
• RQ3 是否存在一个规范的、不变的且可计算的 $G/P$ 施伯特多项式选择，以尊重旗流形的几何结构？
• RQ4 本框架中构造的差分差分算子是否满足 nilCoxeter 关系，并与施伯特类正确作用？
• RQ5 是否可利用 GKM 表示法定义 $G/P$ 的施伯特多项式，使其齐次、在单根下为正，并在对称多项式模下对乘法封闭？

主要发现

• 本文通过 GKM 表示法，在 $G/P$ 的等变上同调上构造了差分差分算子 $\delta_i$，其作用于由二进制字符串 $\mathbf{b} \in \mathcal{B}_k$ 索引的多项式。
• 这些算子满足关键性质：$\delta_i p_{\mathbf{b}} = p_{s_i \mathbf{b}}$ 当 $b_i < b_{i+1}$，否则为 0，从而可从最高阶类递归生成所有施伯特类。
• 通过投影，这些算子在 $G/P$ 的普通上同调上诱导出良定义的作用，保持环结构。
• 为 $w \in W^J$ 定义了施伯特多项式 $\mathfrak{S}_w$ 的规范基，每个均为 $\ell(w)$ 次齐次、$W_J$-不变，且在单根下为正。
• 施伯特多项式满足 $H^*(G/P)$ 的结构常数：$\mathfrak{S}_u \mathfrak{S}_v \equiv \sum c_{uv}^w \mathfrak{S}_w \mod I$，其中 $c_{uv}^w$ 与 $H^*(G/B)$ 中的结构常数一致。
• 对于如 $G(2,4)$ 这类极大 Grassmannian 流形，比利亚公式可提供显式闭式表达，例如 $\mathfrak{S}_{s_2 s_1 s_3 s_2} = \frac{1}{6} \alpha_2(\alpha_1 + \alpha_2)(\alpha_2 + \alpha_3)(\alpha_1 + \alpha_2 + \alpha_3)$。