[論文レビュー] A Giambelli formula for isotropic Grassmannians

Anders Skovsted Buch, Andrew Kresch+1 more|Zurich Open Repository and Archive (University of Zurich)|Nov 17, 2008

Advanced Combinatorial Mathematics参考文献 13被引用数 24

ひとこと要約

この論文は、シンプレクティックおよび奇交差直交 Grassmannian の整数コホロジーにおける任意のシューベルト類を、特別なシューベルト類の多項式として表す、等方的 Grassmannian におけるギアムベリの公式を確立する。主な貢献は、タイプ C の Billey-Haiman シューベルト多項式として実現されることにより、シュール $Q$-関数と $S$-多項式の積の正の線形結合として表される theta 多項式の導入である。

ABSTRACT

Let X be a symplectic or odd orthogonal Grassmannian parametrizing isotropic subspaces in a vector space equipped with a nondegenerate (skew) symmetric form. We prove a Giambelli formula which expresses an arbitrary Schubert class in H^*(X,Z) as a polynomial in certain special Schubert classes. We study theta polynomials, a family of polynomials defined using raising operators whose algebra agrees with the Schubert calculus on X. Furthermore, we prove that theta polynomials are special cases of Billey-Haiman Schubert polynomials and use this connection to express the former as positive linear combinations of products of Schur Q-functions and S-polynomials.

研究の動機と目的

• 古典的ギアムベリの公式を、ラグランジュ的でない場合を含む等方的 Grassmannian に拡張すること。
• 等方的 Grassmannian 上のシューベルト計算の代数的構造と一致するような、theta 多項式の族を定義し、それらを研究すること。
• theta 多項式とタイプ C の Billey-Haiman シューベルト多項式との関係を確立すること。
• theta 多項式をシュール $Q$-関数と $S$-多項式の積の正の線形結合として表現すること。
• Kraśkiewicz テーブルaux と昇降作用素を用いた、等方的 Grassmannian 上のシューベルト計算の組合せ的枠組みを提供すること。

提案手法

• 等方的 Grassmannian $\mathrm{IG}(n-k,2n)$ 上のシューベルト類をインデックスするため、ラグランジュ的ケースで用いられる strict パーヂションを一般化した $k$-strict パーヂションを導入する。
• 昇降作用素を用いて theta 多項式 $\Theta_\lambda(x;y)$ を定義し、それらが $\mathrm{H}^*(\mathrm{IG},\mathbb{Z})$ のシューベルト類と同一の乗法的法則を満たすことを示す。
• Weyl 群元の簡約因数分解を用いて、theta 多項式がタイプ C の Billey-Haiman シューベルト多項式の特別なケースであることを証明する。
• 展開 $\Theta_\lambda(x;y) = \sum_{uv=w_\lambda} F_u(x) \mathfrak{S}_v(y)$ を用いて、theta 多項式をスターリング対称関数およびシュール多項式と関連付ける。
• theta 多項式が $\Theta_\lambda(x;y) = \sum_{\mu,\nu} e^\lambda_{\mu\nu} Q_\mu(x) s_{\nu'}(y)$ と表され、$e^\lambda_{\mu\nu}$ が $w_\lambda w_\nu^{-1}$ の形の $\mu$ の Kraśkiewicz テーブルaux の個数を数えることにより、その関係を確立する。
• タイプ C シューベルト多項式との関係を活用して、ギアムベリの公式を導出し、シュール $Q$-関数および $S$-関数の基底における正の性質を証明する。

実験結果

リサーチクエスチョン

• RQ1 ラグランジュ的でない場合を含め、等方的 Grassmannian にギアムベリの公式をどのように一般化できるか。
• RQ2 シンプレクティックおよび奇交差直交 Grassmannian のコホロジーにおけるシューベルト類の代数的構造は何か。
• RQ3 theta 多項式はタイプ C の Billey-Haiman シューベルト多項式とどのように関係しているか。
• RQ4 theta 多項式はシュール $Q$-関数と $S$-多項式の積の正の線形結合として表現可能か。
• RQ5 シューベルト計算における構造定数を制御する組合せ的対象（例：テーブルックス）は何か。

主な発見

• この論文は、等方的 Grassmannian $\mathrm{IG}(n-k,2n)$ におけるギアムベリの公式を証明し、任意のシューベルト類 $\sigma_\lambda$ が特別なシューベルト類 $\sigma_r$ の多項式として表されることを示している。
• theta 多項式 $\Theta_\lambda(x;y)$ がタイプ C シューベルト多項式 $\mathfrak{C}_{w_\lambda}(x;y)$ に等しいことが示され、シューベルト計算におけるその役割が確立された。
• theta 多項式は、$\Theta_\lambda(x;y) = \sum_{\mu,\nu} e^\lambda_{\mu\nu} Q_\mu(x) s_{\nu'}(y)$ と表され、そのようにシュール $Q$-関数と $S$-多項式の積の正の線形結合であることが示された。
• theta 多項式 $\Theta_\lambda(x;y)$ の $x$-次数が最大の同次項は、タイプ C のスターリング対称関数 $F_{w_\lambda}(x) = R^\lambda q_\lambda(x)$ に等しい。
• $x$-次数が最小の項は $Q_{\lambda^1}(x) s_{(\lambda^2)'}(y)$ であり、これは 0-Grassmannian 要素 $w_\lambda w_{\lambda^2}^{-1}$ に対応する。
• $k=1$ の場合、$\Theta_{321}(x;y)$ の展開が明示的に計算され、$(Q_{42}+Q_{321}) + (Q_{41}+2Q_{32})s_{1'} + 2Q_{31}s_{11'} + Q_{21}s_{111'}$ となる。テーブルックスの個数が係数を確認している。