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

技術的要約：シュプレクト・多項式のシュプリンガー幾何学、および2行シュプリンガーファイバー成分におけるシューベルト・サイクル正値性

問題の所在
本論文は、シュプリンガーが提起した、シュプリンガー基底（既約成分のホモロジー類）を完全旗多様体 $H_\bullet(\mathcal{F}l_n)$ 内のシューベルト基底（シューベルト・サイクル）を用いて明示的に表現するという長年の問題に取り組んでいる。シュプリンガー表現は幾何学的に実現されることが知られているが、展開係数 $h_{BT}^w$（$[B_T] = \sum h_{BT}^w [X_w]$ となるもの）において、明示的に非負となる組合せ論的な規則を見出すことは、特殊なケースを除いて未解決のままであった。

著者らは、この問題を以下の3つの多項式ファミリーに関連付けて構成している：

1. シュプレクト多項式（Specht polynomials）： シュプレクト加群 $V_\lambda$ の古典的な生成元。
2. ジョセフ多項式（Joseph polynomials）： 軌道多様体の多重次数であり、シュプリンガー基底に対応することが知られている。
3. シューベルト次数多項式（Schubert degree polynomials）： シューベルト・サイクルを符号化する多項式。

中心となる課題は、これらの多項式ファミリー間（シュプレクト多項式からジョセフ多項式へ、そしてジョセフ多項式からシューベルト次数多項式へ）を繋ぐ、組合せ論的に非負な展開を確立することである。

手法
著者らは、幾何学的退化戦略と組合せ論的代数を組み合わせて用いている。

1. 幾何学的退化： マルタ・プレカップップ（Martha Precup）によって伝えられた退化を利用し、シュプリンガーファイバー $B_\lambda$（型 $\lambda$ の冪零行列に関連付けられる）を、$\lambda^\top$-レヴィ・リチャードソン多様体（$R_C$）の互いに素な和に関連付ける。この退化は、対角行列 $D_{\lambda^\top}$ を随伴行列を用いて冪零行列 $N$（型 $\lambda$）へと変形することによって構築される。これにより、レヴィ・リチャードソン多様体のホモロジー類がシュプリンガーファイバーの成分と同じ加群を生成し、その遷移係数が非負であることが確立される。

2. 多項式の同定： 著者らは、これらの多様体の次数多項式を特定している。まず、$\lambda^\top$-レヴィ・リチャードソン多様体の次数多項式が、まさに古典的なシュプレクト多項式 $f_T$ であることを証明する。さらに、特定の正規化の下では、シュプリンガーファイバーの成分 $B_T$ の次数多項式がジョセフ多項式 $J_T$ と完全に一致することを示す。

3. 組合せ論的整列（2行の場合）： $\lambda = (n-k, k)$ という2行の分割の場合、著者らは標準ヤング・タブローと「パッキングされた非交差マッチング（packed noncrossing matchings）」の間の全単射を利用する。

   • 彼らは、ウェブ基底（web basis）（パッキングされた非交程マッチングに関連付けられる）とスケイン関係（skein relations）（トレミー関係）を用いて、一般的なシュプレクト多項式を非負の係数でウェブ基底へと展開する。
   • 彼らは、**長距離分割差分演算子（long-range divided differences）と準対称旗多様体（quasisymmetric flag variety）**の手法（Bergeron, Gagnon, Nadeauとの共同研究による）を用い、$B_T$ 上の次数写像を作用素の合成として表現する。
   • 主要な技術的洞察は、長距離分割差分 $\partial_{ij}$ と変数をゼロにする操作（$Y_D$）との相互作用にある。著者らは、「大きな弧から小さな弧へ」という順序付けの下で、演算子 $\partial_{ij}$ が、変数 $i$ と $j$ の間の変数をゼロに設定した際に、短距離分割差分の和 $\sum_{k=i}^{j-1} \partial_k$ へと展開できることを証明している。

主要な貢献と結果

1. シュプレクト多項式の幾何学的実現： 本論文は、シュプレクト加群 $V_\lambda$ が、$\lambda^\top$-レヴィ・リチャードソン多様体の類によって $H_\bullet(\mathcal{F}l_n)$ 内で幾何学的に実現されることを確立している。具体的には、余集合 $C$ から導かれる列厳密な充填 $T(C)$ に関連するシュプレクト多項式が、レヴィ・リチャードソン多様体 $R_C$ の次数多項式となる。

2. 基底の同定： 著者らは、彼らの正規化の下で、シュプリンガー基底の要素 $[B_T]$ がジョセフ多項式 $J_T$ と正確に一致することを証明している。これにより、先行文献におけるスカラー因子の曖昧さが解消される。

3. 2行分割の解決：

   • シュプレクトからシュプリンガーへ： $\lambda = (n-k, k)$ の場合、著者らは、スケイン関係を用いてシュプレクト多項式（およびレヴィ・リチャードソン類）をウェブ基底へと展開することにより、シュプレクト多項式（およびしたがってジョセフ多項式）をシュプリンガー基底へと展開する、組合せ論的に非負なアルゴリズムを提供する。
   • シュプリンガーからシューベルトへ： 本論文は、2行のシュプリンガーファイバーに対してシュプリンガーの問いを解決し、$h_{BT}^w$ の係数に関する明示的な非負の公式を提供する。この係数は、$w$ の簡約語 $s_{a_1} \cdots s_{a_k}$ のうち、その添字が $T$ に関連付けられたマッチングの弧によって決定される特定の境界条件を満たすものの個数であることが示される。これにより、Precup および Sabando-Alvarez の予想2が確認される。
   • 逆アーティン表現子（Reverse Artin Representative）： 著者らは、2行シュプリンガーファイバー成分のポアンカレ双対類の逆アーティン単項式表現に関する明示的な公式を提供し、Precup および Sabando-Alvarez の予想1を証明する。

4. 他の多様体への応用： 得られた結果は、以下の計算に応用されている：

   • 旗多様体の**ポアソン退化軌道（Poisson degeneracy locus）**の成分（Casbi–Masoomi–Yakovia によって研究されているもの）であり、これらはレヴィ・リチャードソン多様体の平行移動であることが示されている。
   • 非交差マッチングによってインデックス付けされた、準対称旗多様体 $Q\mathcal{F}l_n$ におけるトーラス軌道閉包（Torus-orbit closures）。

意義
本論文は、2行シュプリンガーファイバーという、限定的ではあるが重要なケースにおいて、シュプリンガーの正値性の問題を完全に解決したと主張している。一連の正の展開（シュプレクト $\to$ ジョセフ $\to$ シューベルト）を経由することで、この設定におけるこれらの展開のための最初の組合せ論的規則を提供している。本研究は、幾何学的表現論（シュプリンガーファイバー、軌道多様体）と代数的組合せ論（シュプレクト加群、ウェブ基底、分割差分）を橋渡しするものである。また、Precup および Sabando-Alvarez の2つの具体的な予想を検証し、2行のシュプレクト加群に対するウェブ基底とシュプリンガー基底の同一性を証明することで、後者に具体的な幾何学的解釈を与えている。開発された手法、特に分割差分と変数の設定の相互作用に関する技術は、関連する幾何学的文脈におけるシューベルト正値性を理解するための不可欠な道具として提示されている。