[论文解读] Factorial P- and Q-Schur functions represent equivariant quantum Schubert classes

Takeshi Ikeda, Leonardo C. Mihalcea+1 more|Osaka City University (Osaka City University)|Feb 4, 2014

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

一句话总结

本文为类型 B、C 和 D 的极大 isotropic Grassmannian 的等变量子上同调环提供了生成元与关系的表示，并将阶乘 P- 和 Q- Schur 函数识别为 Schubert 类的多项式代表。关键结果是，此前用于等变上同调情况的相同 Pfaffian 公式也无需变形即可表示量子 Schubert 类，从而将 Giambelli 公式推广至量子设置。

ABSTRACT

We find presentations by generators and relations for the equivariant quantum cohomology rings of the maximal isotropic Grassmannians of types B,C and D, and we find polynomial representatives for the Schubert classes in these rings. These representatives are given in terms of the same Pfaffian formulas which appear in the theory of factorial $P$- and $Q$-Schur functions. After specializing to equivariant cohomology, we interpret the resulting presentations and Pfaffian formulas in terms of Chern classes of tautological bundles.

研究动机与目标

• 为类型 B、C 和 D 的极大 isotropic Grassmannian 的等变量子上同调环提供生成元与关系的表示。
• 通过识别 Schubert 类的多项式代表，解决等变量子上同调设置下的 Giambelli 问题。
• 证明此前用于等变上同调的阶乘 P- 和 Q-Schur 函数的相同 Pfaffian 公式，无需 q-变形即可表示量子 Schubert 类。
• 在特化至等变上同调后，以 tautological bundles 的 Chern 类解释所得表示与公式的结构。
• 使用对称函数的组合工具，将等变上同调中的已知结果推广至量子上同调设置。

提出的方法

• 使用阶乘 P- 和 Q-Schur 函数 $P_{\nu}(x|t)$ 和 $Q_{\nu}(x|t)$ 作为等变量子上同调环中 Schubert 类的多项式代表。
• 利用 Ivanov 的阶乘 Schur 函数理论中的已知恒等式，采用 Pfaffian 公式表达这些函数。
• 建立环同态 $\pi_n: \mathbb{Z}[t] \otimes \Gamma' \to H_T^*(\mathrm{OG}(n))$，将阶乘 Schur 函数映射至 Schubert 类。
• 通过 tautological bundles $\mathcal{V}, \mathcal{Z}_k, \mathcal{L}$ 及其对偶的 Chern 类，推导上同调环中的几何关系。
• 通过次数分析和无挠性证明上同调环中的二次关系，从而将这些恒等式提升至多项式环。
• 使用逆极限技巧和映射 $\mathbb{Z}[t] \otimes \Gamma' \to \varprojlim_n H_T^*(\mathrm{OG}(n))$ 的单射性，将关系提升至普遍设置。

实验结果

研究问题

• RQ1 能否为类型 B、C 和 D 的极大 isotropic Grassmannian 的等变量子上同调环找到生成元与关系的表示？
• RQ2 此前用于等变上同调 Schubert 类的相同 Pfaffian 公式是否也能表示量子上同调环中的 Schubert 类？
• RQ3 tautological bundles 的 Chern 类如何与等变量子上同调环的结构相关联？
• RQ4 在此设置下，Chern 类满足的二次关系的几何与代数起源是什么？
• RQ5 是否可以使用阶乘 P- 和 Q-Schur 函数在不引入 q-变形的情况下表达等变量子 Schubert 类的 Giambelli 公式？

主要发现

• 极大 isotropic Grassmannian $\mathcal{G}_n$（类型 B、C、D）的等变量子上同调环 $QH_T^*(\mathcal{G}_n)$ 允许以生成元 $c_i^{(k)}$ 和来自 Pfaffian 恒等式的关联关系表示。
• 阶乘 $P$- 和 $Q$-Schur 函数 $P_{\nu}(x|t)$ 和 $Q_{\nu}(x|t)$ 为 $QH_T^*(\mathcal{G}_n)$ 中的 Schubert 类 $\sigma_\nu$ 提供了多项式代表，且无需 $q$-变形。
• 此前用于等变上同调中 Schubert 类的相同 Pfaffian 公式，也无需变形即可表示量子上同调环中的 Schubert 类，这一结果在引入量子参数 $q$ 的情况下具有非平凡性。
• 上同调环中的关系，如 $(c_k^{(k)})^2 + c_k^T(\mathcal{Z}_k)c_k^{(k)} + \sum_{i=1}^k (-1)^i c_{k-i}^T(\mathcal{V}^* - \mathcal{L} + \mathcal{Z}_k)c_{k+i}^{(k)} = 0$，是通过 Chern 类恒等式和无挠性几何推导得出的。
• $c_i^{(i)}$ 等于 Schubert 类 $\sigma_i$（当 $1 \leq i \leq n$ 时），且当 $i > n$ 时为零，这与几何退化性位置公式一致。
• 通过 $\pi_n$ 的同构 $\mathbb{Z}[t] \otimes \Gamma' \to H_T^*(\mathrm{OG}(n))$ 将阶乘 Schur 函数映射至 Schubert 类，且该结构可提升至逆极限，确保关系的稳定性。