[論文レビュー] A Little bijection for affine Stanley symmetric functions

Thomas Lam, Mark Shimozono|ArXiv.org|Jan 19, 2006

Advanced Combinatorial Mathematics参考文献 6被引用数 3

ひとこと要約

この論文は、スターリング対称関数のためのリトルの組合せ的双対性をアフィン設定に一般化し、アフィン置換の簡約語に対する符号付き対合を定義するアフィン・リトル双対性を導入する。主な貢献は、リトルの恒等式のアフィン版であることで、右 $ r $-被覆の和が左 $ r $-被覆の和に等しいことを示しており、これはアフィン・ラスカウ・シュッツェンベルガーの木の組合せ的基盤を提供する。

ABSTRACT

David Little developed a combinatorial algorithm to study the Schur-positivity of Stanley symmetric functions and the Lascoux-Schützenberger tree. We generalize this algorithm to affine Stanley symmetric functions.

研究の動機と目的

• 有限対称群からアフィン対称群へのリトルの組合せ的双対性を拡張し、特にアフィンスターリング対称関数に対して行う。
• アフィン置換の強い順序における右被覆と左被覆の和を関連付けるリトルの恒等式のアフィン版を確立する。
• 有限の場合のラスカウ・シュッツェンベルガーの木に類似した、アフィンスターリング対称関数の構造を理解するための組合せ的枠組みを提供する。
• アフィン・リトル双対性とアフィン・シェヴァリー公式との関係を検討するが、ここではアフィン・シュール関数における完全な正値性は示していない。

提案手法

• アフィン対称群 $\tilde{S}_n$ の簡約語を用いて、リトルの挿入に基づく双対性をアフィン設定に一般化する。
• 右 $ r $-被覆と左 $ r $-被覆を、$ r < s $ または $ s < r $ であるような互換 $ t_{r,s} $ を用いた乗算によって $ v $ の置換に対して定義する。
• 簡約語上の符号付き対合を構成し、右 $ r $-被覆と左 $ r $-被覆を交換するが、アフィンスターリング対称関数の和を保存する。
• 巡回的減少語の構造と、それらを最大の巡回的区間への因子分解を用いて、アフィン置換の標準的簡約語を定義する。
• 長さの短縮と反射因子分解に関する組合せ的補題を用いて、非簡約な積における臨界反射対の存在と一意性を証明する。
• strong Bruhat順序と $\tilde{S}_n$ 内の反射関係に依拠し、被覆関係を定義し、双対性がposet構造を尊重することを保証する。

実験結果

リサーチクエスチョン

• RQ1 リトルの有限対称群における双対性は、アフィン対称群 $\tilde{S}_n$ に拡張可能か？
• RQ2 リトルの恒等式のアフィン版が成り立つのか。つまり、右被覆と左被覆におけるアフィンスターリング対称関数の和が等しいか？
• RQ3 アフィン・リトル双対性は、アフィン・グラスマン多様体のコホホロジーにおける幾何的構造とどのように関係するか？
• RQ4 この双対性を用いて、アフィンシュール基底におけるアフィンスターリング対称関数のシュール正値性を証明できるか？
• RQ5 巡回的減少簡約語は、アフィン置換の標準的代表元を構成する上で果たす役割は何か？

主な発見

• 与えられたアフィン置換の右 $ r $-被覆と左 $ r $-被覆を交換する符号付き対合として、アフィン・リトル双対性が構成された。
• 論文は、リトルの恒等式のアフィン版を証明した：$\sum_{w \in \Psi^{+}_r(v)} \tilde{F}_w = \sum_{w \in \Psi^{-}_r(v)} \tilde{F}_w $ は、すべての $ v \in \tilde{S}_n $ および $ r \in \mathbb{Z}/n\mathbb{Z} $ に対して成り立つ。
• 双対性がアフィン・シェヴァリー公式と密接に関係していることが示され、アフィン・グラスマン多様体の幾何学的構造との深い関係を示唆する。
• 巡回的減少要素の標準的簡約語は、最大の巡回的区間からの語のシャッフルとして特徴づけられ、そのような要素のすべての簡約語は巡回的減少である。
• 巡回的減少要素の簡約語の一意性が確立された：$ w(A) $ のすべての簡約語は、基底集合 $ A $ を持つ巡回的減少語である。
• $ \ell(xy) < \ell(x) + \ell(y) $ が成り立つのは、反射 $ t $ が存在して $ xt < x $ かつ $ ty < y $ を満たすときであり、これは反射積の非簡約性を特徴付けるために用いられる。