[論文レビュー] Schubert Polynomials in Types A and C

David Anderson, William Fulton|arXiv (Cornell University)|Feb 10, 2021

Advanced Combinatorial Mathematics参考文献 23被引用数 4

ひとこと要約

本稿では、$\Lambda = \mathbb{Z}[c_1, c_2, \ldots]$ という多項式環における係数を用いて、古典的二重シューベルト多項式を拡張することで、タイプ A および C の拡張シューベルト多項式を導入する。ここで $c_k$ はチャーン類を表す。この構成により、古典的シューベルト多項式、バックステージング多項式、およびタイプ C の類似物が特殊化によって統一され、ベキ等的置換に対する既約多項式を用いた退化局所化公式の幾何的枠組みが提供される。

ABSTRACT

Enriched versions of type A Schubert polynomials are constructed with coefficients in a polynomial ring in variables $c_1, c_2, \ldots$. Specializing these variables to $0$ recovers the double Schubert polynomials of Lascoux and Schützenberger; specializing them to certain power series recovers the back-stable double Schubert polynomials of Lam, Lee, and Shimozono; specializing them to Schur Q-polynomials relates them to the type C double Schubert polynomials of Ikeda, Mihalcea, and Naruse. Many formulas for classical Schubert polynomials generalize to this setting. They give, and are characterized by, formulas for degeneracy loci.

研究の動機と目的

• タイプ A の拡張シューベルト多項式を、$\Lambda = \mathbb{Z}[c_1, c_2, \ldots]$ における係数を用いて構成し、古典的二重シューベルト多項式を一般化すること。
• シュール Q-多項式へのホモモルフィズム $c_k \mapsto q_k$ を通じて、タイプ A および C のシューベルト多項式の間の幾何的・代数的橋渡しを確立すること。
• バックステージングシューベルト多項式の理論を無限置換を含む形に拡張し、退化局所化の統一的枠組みを提供すること。
• ラインバンドの第一チャーン類に対応するパrameter $z$ を持つ、多項式のねじれ版を構築すること。
• すべてのベキ等的置換に対して、拡張多項式が既約であることを示し、これは古典的シューベルト多項式には見られない性質である。

提案手法

• 係数環 $\Lambda = \mathbb{Z}[c_1, c_2, \ldots]$ を持ち、$c_k$ が次数 $k$ を持つ環 $\Lambda[x,y]$ 内で、拡張シューベルト多項式 $\mathsf{S}_w$ を構成する。これは古典的二重シューベルト多項式を一般化する。
• シュール多項式 $S_\lambda(c) = \det(c_{\lambda_i + j - i})$ を用いた行列式公式により、ベキ等的置換に対して $\mathsf{S}_w$ が既約であることを保証する。
• [AF3] からの差分作用素および遷移公式を用いて、ベキ等的多項式から再帰的にすべてのシューベルト多項式を構築する。
• $\Lambda$ を $\bm{\Lambda} = \Lambda[z]$ に置き換えることで、ラインバンドの第一チャーン類をモデル化する、ねじれ拡張シューベルト多項式 $\mathbf{S}_w$ を定義する。
• $\Lambda$ からバックステージング環 $\overleftarrow{R}$ へのホモモルフィズムを確立し、$\mathsf{S}_w$ をバックステージングシューベルト多項式 $\overleftarrow{\mathfrak{S}}_w(x;a)$ に写像する。ここで $y_i \mapsto -a_i$ である。
• ベクトルバンドルに双線形ペアリング $V \times W \to L$ と等方的フィルトレーションを備えた場合の退化局所化公式における多項式の役割を特徴付ける。

実験結果

リサーチクエスチョン

• RQ1 古典的シューベルト多項式は、どのようにチャーン類変数 $c_k$ を用いて拡張され、タイプ A および C のシューベルト計算が統一されるか？
• RQ2 ベクトルバンドルに双線形ペアリングを備えた場合の退化局所化に関して、拡張シューベルト多項式の幾何的意味は何か？
• RQ3 拡張多項式はバックステージングシューベルト多項式とどのように関係し、埋め込み $\Lambda \to \overleftarrow{R}$ の意義は何か？
• RQ4 なぜ拡張シューベルト多項式はすべてのベキ等的置換に対して既約であるのか、これは古典的対応物とは異なっている。
• RQ5 タイプ A および C のねじれシューベルト多項式の整合性は何か？また、タイプ C において $c_k(V - E - F)$ として現れるチャーン類 $c_k$ はどのようにして現れるか？

主な発見

• 環 $\Lambda[x,y]$ 内の拡張シューベルト多項式 $\mathsf{S}_w$ は、すべてのベキ等的置換に対して既約である。これは古典的シューベルト多項式とは顕著に異なる特徴である。
• $c_k \to 0$ と特殊化すると、ラスカウおよびシュッツェンベルガーの古典的二重シューベルト多項式が回復される。
• $c_k \to q_k$（シュール Q-多項式）と特殊化すると、イケダ、ミハルチェア、ナルースによるタイプ C の二重シューベルト多項式が得られる。
• $\Lambda \to \overleftarrow{R}$ へのホモモルフィズム（$y_i \to -a_i$）により、$\mathsf{S}_w$ はバックステージングシューベルト多項式 $\overleftarrow{\mathfrak{S}}_w(x;a)$ として実現され、拡張理論がバックステージング枠組みに埋め込まれる。
• $\Lambda[z][x,y]$ 内のねじれ拡張シューベルト多項式 $\mathbf{S}_w$ は、$x_i$ を $x_i - z$ に置き換えることで得られ、タイプ A および C の間で整合的である。
• タイプ C のための環 $\bm{\Gamma} = \bm{\Lambda}/I$ は、$c_k(V - E - F)$ のチャーン類を符号化しており、写像 $c_k \mapsto q_k$ はタイプ A のシューベルト多項式をタイプ C に写像する。