[論文レビュー] Combinatorial relations on skew Schur and skew stable Grothendieck polynomials

Melody Chan, Nathan Pflueger|arXiv (Cornell University)|Sep 26, 2019

Advanced Combinatorial Mathematics参考文献 12被引用数 5

ひとこと要約

本稿は、スケル形状における集合値半標準盤のための新規な行挿入アルゴリズムを用いて、スケル安定グロテンディーク多項式 $G_{\tau}$ をスケルシュール関数 $s_{\mu}$ の組み合わせ的展開として確立する。主な結果は、$G_{\tau}$ が $\mu \supseteq \tau$ を満たすより大きな形状の符号付き和として表され、係数は $\mu/\tau$ の上部領域および下部領域における特定の盤の個数を数えるものであり、グロテンディークおよびシュール関数の展開に関する先行結果を統合し、対称的で幾何的に動機づけられた公式を提供する。

ABSTRACT

We give a combinatorial expansion of the stable Grothendieck polynomials of skew Young diagrams in terms of skew Schur functions, using a new row insertion algorithm for set-valued semistandard tableaux of skew shape. This expansion unifies some previous results: it generalizes a combinatorial formula obtained in earlier joint work with López Martín and Teixidor i Bigas concerning Brill-Noether curves, and it generalizes a 2000 formula of Lenart and a recent result of Reiner-Tenner-Yong to skew shapes. We also give an expansion in the other direction: expressing skew Schur functions in terms of skew Grothendieck polynomials.

研究の動機と目的

• スケル形状における安定グロテンディーク多項式 $G_{\sigma}$ をスケルシュール関数 $s_{\mu}$ の組み合わせ的展開として提供すること。これは、直線形状に対する以前の結果を一般化する。
• レナート（2000年）およびライナー＝テナー＝ヨンらの既知の展開を、スケル形状設定に統合・拡張すること。
• スケルシュール関数をスケルグロテンディーク多項式の形で表す双対的展開を確立し、関係の方向を逆転すること。
• ブルー＝ノイザー多様体のオイラー特性が集合値盤の個数によって説明できる、幾何的に動機づけられた公式を提供すること。

提案手法

• スケル形状における集合値半標準盤のための新規な行挿入アルゴリズムを導入し、サガン＝スタンレーおよびブーチの先行作業を一般化する。
• 2種類の補助的盤型を定義する：上部領域 $A(\mu/\sigma)$ における行に弱く有界された半標準盤、および下部領域 $B(\mu/\sigma)$ における行に有界された反転行厳密盤。
• 挿入アルゴリズムを用いて、$G_{\sigma}$ の線形展開 $\sum_{\mu \supseteq \sigma} (-1)^{|B(\mu/\sigma)|} a_{\sigma,\mu} \cdot s_{\mu}$ を導出する。ここで $a_{\sigma,\mu}$ は2つの盤の個数の積である。
• 形状分割における符号反転型の対合を用いて、逆公式を証明する。これにより、$\lambda \supsetneq \sigma$ のとき、$s_{\sigma}$ の係数が消えることが示される。
• 補題4.2を適用して、許容可能な形状分割の符号付き和が、形状が最小である場合を除き常に消えることを示し、逆展開を証明する。
• スケル形状の順序集合構造を用い、箱に $S$、$R$、または $\emptyset$ をラベル付けすることで、許容可能な分割を定義し、符号反転型の対合を構築する。

実験結果

リサーチクエスチョン

• RQ1 スケル安定グロテンディーク多項式は、組み合わせ的係数を用いてスケルシュール関数の線形結合としてどのように表せるか？
• RQ2 このような展開における係数の組み合わせ的解釈は何か。特に、スケル形状の上部および下部領域における盤の観点から。
• RQ3 この展開は逆転可能か。つまり、スケルシュール関数をスケルグロテンディーク多項式の形で表すことができ、その係数の構造はどのようなものか？
• RQ4 この展開は、レナート（2000年）およびライナー＝テナー＝ヨンの直線形状に対する先行結果をどのように一般化するか？
• RQ5 この展開は、ブルー＝ノイザー多様体やオイラー特性と関連して、何らかの幾何的または表現論的意味を持つのか？

主な発見

• スケル安定グロテンディーク多項式 $G_{\sigma}$ は、線形展開 $G_{\sigma} = \sum_{\mu \supseteq \sigma} (-1)^{|B(\mu/\sigma)|} a_{\sigma,\mu} \cdot s_{\mu}$ を持つ。ここで $a_{\sigma,\mu}$ は、$A(\mu/\sigma)$ における行に弱く有界された半標準盤の個数と、$B(\mu/\sigma)$ における行に有界された反転行厳密盤の個数の積である。
• この展開は、$\sigma$ が直線形状である場合にレナート（2000年）の結果を特殊ケースとして回復する。
• 逆公式が確立された：$s_{\sigma} = \sum_{\mu \supseteq \sigma} (-1)^{|A(\mu/\sigma)|} b_{\sigma,\mu} \cdot G_{\mu}$。ここで $b_{\sigma,\mu}$ は、$A(\mu/\sigma)$ における行に弱く有界された反転行厳密盤の個数と、$B(\mu/\sigma)$ における行に有界された半標準盤の個数を数える。
• 証明は、形状分割における符号反転型の対合に依拠しており、$s_{\sigma}$ の係数に寄与するのは最小の項 $\lambda = \sigma$ のみであることが示され、逆恒等式の証明がなされる。
• スケル形状における集合値盤のための新規な行挿入アルゴリズムは、バンドラウ＝モーズおよびサガン＝スタンレーの先行作業を拡張し、展開を導出するための組み合わせ的枠組みを提供する。
• この結果は、[CP17] で示されたように、ブルー＝ノイザー多様体のオイラー特性の組み合わせ的説明を提供し、代数幾何学と対称関数論を盤の個数数え上げによって結びつける。