[論文レビュー] Stanley symmetric functions and Peterson algebras

Thomas Lam|arXiv (Cornell University)|Jul 16, 2010

Advanced Combinatorial Mathematics参考文献 30被引用数 11

ひとこと要約

本稿は、nilHecke環、Petersonの中心化部分代数、Fomin-Stanley部分代数を通じた代数的・組合せ論的構造に焦点を当て、Stanley対称関数およびそのアフィン一般化の解説的概説を提供する。主な貢献は、アフィンSchubert計算および量子コホモロジーとの関連を通じて、アフィンStanley対称関数の対称性とSchur正定性を確立することであり、アフィンフラットマンニアンおよびコホモロジー類を用いた幾何的解釈を含む。

ABSTRACT

These are (mostly) expository notes for lectures on affine Stanley symmetric functions given at the Fields Institute in 2010. We focus on the algebraic and combinatorial parts of the theory. The notes contain a number of exercises and open problems.

研究の動機と目的

• 幾何的議論に依存せずに、Stanley対称関数およびそのアフィン類似物の代数的・組合せ論的理論を構築すること。
• nilHecke環およびPetersonの中心化部分代数が、アフィンStanley対称関数の対称性と正定性を説明する役割を果たすことを明確にすること。
• アフィンStanley対称関数、アフィンSchur関数、および量子Schubert計算との関係を確立すること。
• 特に、Weyl群の指数に等しい次数における有限Fomin-Stanley代数の生成子についての、未解決問題および予想を提示すること。
• 対称関数、Schubert多項式、K理論に関する関連研究への参考文献と演習問題を含め、さらなる研究の基盤を提供すること。

提案手法

• 本稿は、縮小語およびSchubert計算を研究するための基礎的代数として、nilCoxeter代数およびKostant-KumarのnilHecke環を構成する。
• nilHecke環内にPetersonの中心化部分代数を導入し、アフィンStanley対称関数の対称性の背後にある可換性を支配する。
• nilCoxeter代数のFomin-Stanley部分代数を用いて、有理数体上での構造に注目して、有限Fomin-Stanley代数の定義と分析を行う。
• Edelman-Greene対応を用いて、対称群における縮小語を列厳密なテーブルックスと関連づけ、Stanley対称関数の定義を可能にする。
• アフィンFomin-Stanley部分代数が、アフィンフラットマンニアンのホモロジーと同型であることを確立し、代数的構造と位相的性質を結びつける。
• 量子コホモロジーとの関連を用いて、Petersonが発見したアフィン-量子接続を通じて、アフィンStanley対称関数のSchur正定性を証明する。

実験結果

リサーチクエスチョン

• RQ1 幾何的議論に依存せずに、アフィンStanley対称関数の対称性とSchur正定性をどのように代数的に説明できるか。
• RQ2 有限Fomin-Stanley代数の構造は何か。また、Weyl群の指数とはどのように関係しているか。
• RQ3 Fomin-Stanley部分代数を等質的設定に拡張できるか。また、アフィンの場合とはどのように関係するか。
• RQ4 有限Fomin-Stanley代数の予想的基底 $b_I$ の幾何的解釈は何か。
• RQ5 アフィンStanley対称関数の展開係数は、クイバー係数およびGrassmannianコホモロジーにおけるポジトロイド多様体とどのように関係するか。

主な発見

• アフィンFomin-Stanley部分代数 ${\mathbb{B}}_{\mathrm{af}}$ は、アフィンフラットマンニアンのホモロジー $H_*(\mathrm{Gr}_G, \mathbb{Z})$ と同型であり、$j$-基底はSchubert類に対応する。
• 有理数体上では、有限Fomin-Stanley代数 ${\mathbb{B}} \otimes_{\mathbb{Z}} \mathbb{Q}$ は、Weyl群 $W$ の指数に等しい次数の元によって生成されることが、$H_*(\mathrm{Gr}_G, \mathbb{Q})$ との同型により示された。
• アフィンStanley対称関数は、自然な写像 $\Omega SU(n) \to LSU(n)/T$ によるアフィン旗多様体からアフィンフラットマンニアンへのコホモロジーSchubert類の引き戻しとして解釈され、その対称性が説明される。
• アフィンSchur関数に関するアフィンStanley対称関数の正定性は、アフィン-量子接続を通じて、アフィンSchubert計算と $G/B$ の量子コホモロジーを結ぶことで確立され、[LS10]および[LL]で示された。
• アフィンStanley対称関数をSchur関数の展開にした場合、その展開係数は[ Buc01 ]で示されたクイバー係数に対応し、特定のアフィンStanley関数は、[KLS]で示されたGrassmannianコホモロジーにおけるポジトロイド多様体の類を表す。
• $G_2$ の次数5における $j$-基底要素は、$j_{21210}^0 + j_{01210}^0 = \frac{1}{4}(j_0^0)^5$ を満たし、高次元における基底の予想的構造を確認する。