[论文解读] Degeneracy Loci, Pfaffians, and Vexillary Signed Permutations in Types B, C, and D

David Anderson, William Fulton|arXiv (Cornell University)|Oct 7, 2012

Advanced Combinatorial Mathematics参考文献 16被引用 22

一句话总结

本文在类型 B、C 和 D 中引入了“vexillary 符号排列”的概念，证明其对应的退化位置的上同调类由显式的 Pfaffian 公式给出。主要贡献在于证明了这些 vexillary 元素的双 Schubert 多项式与广义 Pfaffian 相等，统一并扩展了 Kazarian、Ikeda-Mihalcea-Naruse 以及 Billey-Haiman 的结果。

ABSTRACT

We define a notion of vexillary signed permutation in types B, C, and D, corresponding to natural degeneracy loci for vector bundles with symmetries of those types. We show that the classes of these loci are given by explicit Pfaffian formulas. The Grassmannian formulas of Kazarian are important special cases, and the corresponding double Schubert polynomials of Ikeda, Mihalcea, and Naruse are shown to be equal to these Pfaffians.

研究动机与目标

• 定义类型 B、C 和 D 中与具有简单几何描述的退化位置相对应的 vexillary 符号排列的概念。
• 建立这些位置的上同调类由显式 Pfaffian 公式给出，推广了经典的行列式与 Schur 多项式公式。
• 证明 Ikeda、Mihalcea 和 Naruse 在这些元素上的双 Schubert 多项式等于所构造的 Pfaffian。
• 统一并扩展先前结果，包括 Kazarian 在同伦子丛上的广义 Pfaffian 公式，以及 Billey-Haiman 在类型 B、C、D 中的 Schubert 多项式。
• 提供一个框架，使得 Schubert 多项式的稳定性性质在经典李型的 Pfaffian 设置中得以保持。

提出的方法

• 基于具有辛或正交结构的向量丛中退化位置的结构，定义类型 B、C 和 D 中 vexillary 符号排列的概念。
• 通过由序列 $ d(k) $ 和 $ g(k) $ 构成的反对称矩阵，构造一个多 Schur Pfaffian 公式，其中元素涉及 $ d(k)_{\text{index}} $、$ g(k)_{\text{index}} $ 和交错和。
• 施加关系 $ d(k)d(l)^* = g(k)g(l)^* $ 以确保矩阵为反对称，从而定义 Pfaffian。
• 使用同态 $ (\rho_k)_* $ 和 $ (\theta_k)_* $，通过作用于洛朗级数和对称函数的算子复合，将 Schubert 多项式与 Pfaffian 联系起来。
• 证明这些同态的复合结果为 $ \frac{1}{2^r} \operatorname{Pf}_{\lambda}(g(1)|d(1), \dots, g(r)|d(r)) $，从而确立主要恒等式。
• 利用 Schubert 多项式的稳定性性质及环 $ \Gamma $ 的结构，将公式推广至等变上同调设置。

实验结果

研究问题

• RQ1 在类型 B、C 和 D 中，与具有简单上同调类的退化位置相对应的正确 vexillary 符号排列概念是什么？
• RQ2 如何将 Pfaffian 公式推广，以捕捉经典李型（非类型 A）中的 Schubert 类？
• RQ3 Ikeda、Mihalcea 和 Naruse 在类型 B、C 和 D 中的双 Schubert 多项式能否表示为 Pfaffian？
• RQ4 Kazarian 对同伦退化位置的广义 Pfaffian 公式能否作为更广泛一类 vexillary 元素的特例被恢复？
• RQ5 何种代数结构能确保这些 Pfaffian 公式在不同对称群嵌入下的稳定性与一致性？

主要发现

• 作者在类型 B、C 和 D 中定义了一类新的 vexillary 符号排列，推广了类型 A 中的经典概念。
• 相应退化位置的上同调类由显式 Pfaffian 公式给出，涉及由序列 $ d(k) $ 和 $ g(k) $ 构造的反对称矩阵。
• 这些 vexillary 元素的双 Schubert 多项式被证明等于广义 Pfaffian $ \operatorname{Pf}_{\lambda}(g(1)|d(1), \dots, g(r)|d(r)) $，扩展了 [IMN] 和 [K] 的结果。
• 该构造将 Kazarian 在类型 C 中对同伦子丛的广义 Pfaffian 公式作为特例恢复。
• 同态复合 $ (\varphi_k)_* $ 的结果为 $ \frac{1}{2^r} \operatorname{Pf}_{\lambda}(g(1)|d(1), \dots, g(r)|d(r)) $，从而证明了主要恒等式。
• 该框架保持了 Schubert 多项式的稳定性性质，并适用于普通与等变上同调设置。