[論文レビュー] $k$-Schur functions and affine Schubert calculus

Thomas Lam, Luc Lapointe+4 more|eScholarship (California Digital Library)|Jan 16, 2013

Advanced Combinatorial Mathematics被引用数 15

ひとこと要約

この論文は、マクドナルド多項式の正値性に現れる組合せ論的対称関数である$k$-シュール関数と、アフィングラスマンイアンの幾何学であるアフィンシューベルト計算の間の深い関係を確立する。弱いと強いテーブルックス、$k$-ピエリ則、$k$-シュール関数を用いた統一的枠組みを導入し、環$\Lambda^{t}_{(k)}$の基底としてそれらを提示することで、シュール正値性、乗法における$k$-シュール正値性、およびアフィンシューベルト類球との双対性を証明する。

ABSTRACT

This book is an exposition of the current state of research of affine Schubert calculus and $k$-Schur functions. This text is based on a series of lectures given at a workshop titled "Affine Schubert Calculus" that took place in July 2010 at the Fields Institute in Toronto, Ontario. The story of this research is told in three parts: 1. Primer on $k$-Schur Functions 2. Stanley symmetric functions and Peterson algebras 3. Affine Schubert calculus

研究の動機と目的

• アフィングラスマンイアンの幾何的シューベルト計算と$k$-シュール関数の組合せ論的理論を統一すること。
• 環$\Lambda^{t}_{(k)}$において$t=1$および一般に、$k$-シュール関数がシュール正値基底であることを確立すること。
• 弱い順序と強い順序の双対性を、$k$-シュール関数とアフィン挿入を用いて明確にすること。
• アフィンニルヘッケ代数とピーターソンの部分代数の構造定数の組合せ論的モデルを提供すること。
• $k$-シュール正値性、$K$-理論的拡張、表現論的実現に関する未解決問題を探索すること。

提案手法

• 弱いと強いテーブルックスを用いて、$k$-シュール関数とその双対を定義し、$k$-有界分割による単項式展開を用いる。
• $t=1$における$k$-ピエリ則を適用し、$\Lambda^{t}_{(k)}$における乗法を特徴づけ、古典的ピエリ則を一般化する。
• フォミンの成長図とアフィン挿入アルゴリズムを用いて、アフィン対称群上の弱い順序と強い順序をモデル化する。
• $k$-アナログのカウチの恒等式を確立し、$t$-適合アフィン挿入を用いて弱いと強いテーブルックスの双対性を証明する。
• ニルヘッケ環とアフィンニルヘッケ代数を用いて、アフィングラスマンイアンのホモロジーをモデル化し、$k$-シュール関数と関連付ける。
• ピーターソンの中心化代数の$j$-基底を用いて、$k$-シュール関数と$H_T(\mathrm{Gr})$におけるシューベルト類を関連付ける。

実験結果

リサーチクエスチョン

• RQ1 $k$-シュール関数は、アフィングラスマンイアンのホモロジーにおけるシューベルト類とどのように関係しているか？
• RQ2 $k$-ピエリ則の組合せ論的構造は何か？ そして、古典的ピエリ則をどのように一般化するか？
• RQ3 $k$-ムルナカナカヤマ規則を$k$-シュール関数に対して定式化できるか？
• RQ4 $t$-適合性はアフィン挿入において果たす役割は何か？ そして、$k$-シュール正値性とどのように関係するか？
• RQ5 $k$-シュール関数を$K$-理論的設定や表現論的モデルにどのように拡張できるか？

主な発見

• $k$-シュール関数は、強いと弱いテーブルックスによる明示的な単項式展開を伴い、$\Lambda^{t}_{(k)}$のシュール正値基底を形成する。
• $t=1$において、$k$-シュール関数は$k$-ピエリ則を満たし、その積は$k$-シュール正値である。これは古典的リトルウッド・リチャードソン正値性を一般化する。
• $k$-長方形性質が成り立つ：$k$が十分に大きいとき、長方形で添え字づけられた$k$-シュール関数はシュール関数に一致する。
• $k$-シュール関数はコプロダクトに関して閉じており、$\ell$-シュール関数との乗法に関して正値的閉じた部分環をなす。
• 弱い順序と強い順序の双対性は、$k$-アナログのカウチ恒等式と$t$-適合アフィン挿入を用いて実現される。
• ピーターソン代数の$j$-基底は、同型$\Lambda'_{\mathrm{Fl}} \cong H_T(\mathrm{Gr})$の下で$k$-シュール関数に対応し、組合せ論と位相を結びつける。