[論文レビュー] On dual stable Grothendieck polynomials and their sums

Motoki Takigiku|arXiv (Cornell University)|Jun 17, 2018

Polynomial and algebraic computation被引用数 1

ひとこと要約

この論文は、双対安定グロタンディーク多項式 $g_\lambda$ 及びその和 $\sum_{\mu\subset\lambda}g_\mu$ が同一の積構造定数を持つことを確立し、線形写像 $g_\lambda \mapsto \sum_{\mu\subset\lambda}g_\mu$ が、$h_i \mapsto h_i + h_{i-1} + \dots + h_0$ の置換のもとで対称関数環における代数自己同型であることを示している。証明は、両者のピエリ型公式の係数が一致することに依拠している。

ABSTRACT

We show that the dual stable Grothendieck polynomials $g_\lambda$ and their sums $\sum_{\mu\subset\lambda}g_\mu$ have the same product structure constants, that is, the linear map given by $g_\lambda\mapsto\sum_{\mu\subset\lambda}g_\mu$ is an algebra automorphism of the ring of symmetric function generated by $h_i\mapsto h_i+h_{i-1}+\dots+h_0$. This is done by seeing their Pieri-type formulas have the same coefficients.

研究の動機と目的

• 双対安定グロタンディーク多項式およびその和の対称関数環における代数的構造を調査すること。
• 線形写像 $g_\lambda \mapsto \sum_{\mu\subset\lambda}g_\mu$ が対称関数環の代数的構造を保存するかどうかを特定すること。
• 双対安定グロタンディーク多項式 $g_\lambda$ 及びその和の積構造定数を比較し、同型または自己同型の可能性を同定すること。
• 置換 $h_i \mapsto h_i + h_{i-1} + \dots + h_0$ が対称関数環における代数的関係を保存することを確立すること。

提案手法

• 双対安定グロタンディーク多項式 $g_\lambda$ 及びその和 $\sum_{\mu\subset\lambda}g_\mu$ のピエリ型公式を分析すること。
• 両者の対称関数族のピエリ規則における係数を比較すること。
• ピエリ公式における係数の等しさから、積展開における同一の構造定数が導かれるという推論を行うこと。
• 線形写像 $g_\lambda \mapsto \sum_{\mu\subset\lambda}g_\mu$ が乗法を保存することを確立し、したがって代数自己同型を形成すること。
• 写像が基本対称関数上での置換 $h_i \mapsto h_i + h_{i-1} + \dots + h_0$ に対応することを検証すること。

実験結果

リサーチクエスチョン

• RQ1 双対安定グロタンディーク多項式とその和は、同一の積構造定数を持つのか？
• RQ2 線形写像 $g_\lambda \mapsto \sum_{\mu\subset\lambda}g_\mu$ は、対称関数環における代数自己同型であるか？
• RQ3 和族の構造定数は、$g_\lambda$ の係数パターンと同じものから導かれるか？
• RQ4 置換 $h_i \mapsto h_i + h_{i-1} + \dots + h_0$ は、対称関数環における代数的関係を保存するか？

主な発見

• $g_\lambda$ 及び $\sum_{\mu\subset\lambda}g_\mu$ の積構造定数は同一である。
• 線形写像 $g_\lambda \mapsto \sum_{\mu\subset\lambda}g_\mu$ は、対称関数環の代数自己同型である。
• この自己同型は、基本対称関数上での置換 $h_i \mapsto h_i + h_{i-1} + \dots + h_0$ によって誘導される。
• 両者の族におけるピエリ型公式の係数の等しさが、構造的同倣を確認している。