The Springer Geometry of Specht Polynomials and Schubert cycle positivity for two row Springer fiber components

技术摘要：两行 Springer 纤维分量的 Springer 几何与 Specht 多项式及 Schubert 循环正性

问题陈述
本文探讨了 Springer 提出的一个长期悬而未决的问题，即如何将 Springer 基（Springer 纤维不可约分量的同调类）显式地表示为完全旗簇 $H_\bullet(\mathcal{F}l_n)$ 同调中的 Schubert 基（Schubert 循环）。虽然已知 Springer 表示可以通过几何方式实现，但在超越特殊情形的情况下，寻找连接展开系数 $h_{BT}^w$（其中 $[B_T] = \sum h_{BT}^w [X_w]$）的具有显式非负性的组合规则仍然是一个开放问题。

作者将此问题置于涉及以下三类多项式的更广泛背景中：

1. Specht 多项式： Specht 模 $V_\lambda$ 的经典生成元。
2. Joseph 多项式： 轨道簇（orbital varieties）的多度（multidegrees），已知对应于 Springer 基。
3. Schubert 度多项式： 编码 Schubert 循环的多项式。

核心挑战在于建立连接这些多项式族的具有组合非负性的展开式：从 Specht 多项式到 Joseph 多项式，以及从 Joseph 多项式到 Schubert 度多项式。

方法论
作者采用了结合几何退化与组合代数的策略。

1. 几何退化： 利用 Martha Precup 传达的一种退化方法，作者将与类型为 $\lambda$ 的幂零矩阵相关的 Springer 纤维 $B_\lambda$ 与 $\lambda^\top$-Levi Richardson 簇（$R_C$）的互斥并集联系起来。该退化是通过通过伴随矩阵将对角矩阵 $D_{\lambda^\top}$ 变形为类型为 $\lambda$ 的幂零矩阵 $N$ 来构建的。这确立了 Levi-Richardson 簇的同调类生成了与 Springer 纤维分量相同的模，且其转换系数为非负。

2. 多项式识别： 作者识别了这些簇的度多项式。他们证明了 $\lambda^\top$-Levi Richardson 簇的度多项式恰好是经典的 Specht 多项式 $f_T$。此外，他们表明在特定的归一化下，Springer 纤维分量 $B_T$ 的度多项式与 Joseph 多项式 $J_T$ 完全一致。

3. 组合整理（两行情形）： 对于两行划分 $\lambda = (n-k, k)$，作者利用标准 Young 表与“填充非交叉匹配”（packed noncrossing matchings）之间的双射进行研究。

   • 他们利用 web 基（与填充非交叉匹配相关）和 skein 关系（Ptolemy 关系）将一般的 Specht 多项式展开为 web 基，且系数为非负。
   • 他们利用 长程除法差分（long-range divided differences）和 拟对称旗簇 技术（由其与 Bergeron, Gagnon, 和 Nadeau 的先前工作共同开发）将 $B_T$ 上的度映射表示为算子的复合。
   • 一个关键的技术洞察涉及长程除法差分 $\partial_{ij}$ 与变量置零操作（$Y_D$）之间的相互作用。他们证明了在匹配的“大到小”排序下，当变量在 $i$ 和 $j$ 之间被设为零时，算子 $\partial_{ij}$ 可以展开为短程除法差分之和 $\sum_{k=i}^{j-1} \partial_k$。

主要贡献与结果

1. Specht 多项式的几何实现： 本文确立了 Specht 模 $V_\lambda$ 通过 $\lambda^\top$-Levi Richardson 簇的类在 $H_\bullet(\mathcal{F}l_n)$ 中实现。具体而言，Levi-Richardson 簇 $R_C$ 的度多项式是与来自陪集 $C$ 的列严格填充 $T(C)$ 相关的 Specht 多项式 $f_{T(C)}$。

2. 基的识别： 作者证明了在特定归一化下，Springer 基元素 $[B_T]$ 与 Joseph 多项式 $J_T$ 完全对应。这解决了以往文献中关于标量因子的歧义。

3. 两行划分的解决：

   • Specht 到 Springer： 对于 $\lambda = (n-k, k)$，作者提供了一种组合非负算法，用于将 Specht 多项式（以及 Levi-Richardson 类）展开为 Springer 基（Joseph 多项式）。这是通过使用 skein 关系将 Specht 多项式展开为 web 基来实现的。
   • Springer 到 Schubert： 本文通过提供一个关于 $w$ 的约简字 $s_{a_1} \cdots s_{a_k}$ 的显式非负公式，解决了两行情形下的 Springer 问题。该系数被证明为满足由与 $T$ 相关的匹配的弧所确定的特定界限的约简字数量。这证实了 Precup 和 Sabando-Alvarez 的猜想 2。
   • 反向 Artin 代表元： 作者证明了 Precup 和 Sabando-Alvarez 的猜想 1，为两行 Springer 纤维分量 Poincaré 对偶类的反向 Artin 单项式代表元提供了一个显式公式。

4. 对其他簇的应用： 研究结果被应用于计算以下内容的 Schubert 循环展开：

   • 旗簇的 Poisson 退化轨迹（Poisson degeneracy locus）的分量（由 Casbi–Masoomi–Yakimov 研究），这些分量被证明是 Levi-Richardson 簇的平移。
   • 拟对称旗簇 $Q\mathcal{F}l_n$ 中由非交叉匹配索引的 环面轨道闭包（Torus-orbit closures）。

意义
本文声称完全解决了针对两行 Springer 纤维这一重要且特定情形的 Springer 正性问题。通过将问题分解为一系列正向展开链（Specht $\to$ Joseph $\to$ Schubert），本文提供了此类展开的首个组合规则。这项工作连接了几何表示论（Springer 纤维、轨道簇）与代数组合学（Specht 模、web 基、除法差分）。它验证了 Precup 和 Sabando-Alvarez 的两个特定猜想，并将两行 Specht 模的 web 基与 Springer 基进行了识别，从而为后者提供了具体的几何解释。其开发的技巧，特别是关于除法差分与变量设置之间相互作用的技术，被认为是理解相关几何语境下 Schubert 正性的基本工具。