[論文レビュー] Loop symmetric functions and factorizing matrix polynomials

Thomas Lam|arXiv (Cornell University)|Dec 6, 2010

Algebraic structures and combinatorial models参考文献 10被引用数 7

ひとこと要約

本稿は、双有理的対称群作用の下での多項式不変量としてのループ対称関数環（LSym）を導入し、古典的対称関数の一般化として提示する。また、全正則性、クリスタル図、ボックス・ボール系を含む離散的可積分系、および円筒面上のネットワーク理論との関係を確立し、LSym がこれらの力学系における運動積分として機能することを示す。

ABSTRACT

These are notes for my talk at ICCM 2010, Beijing. We survey some results, obtained jointly with Pavlo Pylyavskyy, concerning the ring of loop symmetric functions. Motivations from networks on surfaces, total positivity, crystal graphs, and discrete integrable systems are discussed.

研究の動機と目的

• 双有理的群作用を用いた古典的対称関数の一般化として、ループ対称関数（LSym）の理論を構築すること。
• LSym がループ群における全正則性および無限対称群のキャラクター理論とどのように関係するかを明らかにすること。
• LSym が特にボックス・ボール系を含む離散的可積分系における運動積分としての役割を確立すること。
• LSym をアフィンクリスタルのエネルギー関数に応用し、その関係をテーブュルの共チャージ統計と結びつけること。
• 円筒面上のネットワークモデルを通じて、組合せ論的、代数的、力学系的視点を統合する枠組みを提供すること。

提案手法

• 対称群 $S_m$ の双有理的作用の下での多項式不変量として LSym を定義し、多項式環上の標準的対称群作用の一般化とする。
• ラベルに巡回的シフトを施した半標準ヤングテーブュルを用いた生成関数として、ループシュール関数を定義し、LSym の代表的要素とする。
• 円筒面上のネットワークモデルを用いて、双有理的 $S_m$-作用を表現し、不変量のための位相的かつ組合せ論的枠組みを提供する。
• キャリアに基づくダイナミクスとトロピカル化を用いて、双有理的 $R$-行列とボックス・ボール系の時間発展との関係を確立する。
• 双有理的 $S_2$-作用をトロピカル化し、古典的ボックス・ボール系のダイナミクスを回復し、LSym が保存量に対応することを示す。
• 理論をアフィン幾何的クリスタルに応用し、エネルギー関数がループシュール関数を通じてラスカウ・シュッツェンベルガ―の共チャージ統計に一致することを示す。

実験結果

リサーチクエスチョン

• RQ1 古典的対称関数論は、どのように双有理的群作用を含む形に一般化可能であり、どのような代数的構造が生じるか？
• RQ2 ループ対称関数は、ループ群における全正則性の文脈で果たす役割は何か？
• RQ3 ループシュール関数は、アフィンクリスタルのエネルギー関数とテーブュル上の共チャージ統計とどのように関係するか？
• RQ4 双有理的 $S_m$-作用は、ボックス・ボール系を含む離散的可積分系における時間発展としてどのように機能するか？
• RQ5 円筒面上のネットワークモデルは、双有理的対称群作用の不変量を理解するための統合的枠組みを提供できるか？

主な発見

• ループ対称関数の環 $\mathrm{LSym}$ は、対称群 $S_m$ の双有理的作用の下での多項式不変量の環であり、古典的対称関数を一般化する。
• ループシュール関数は、ラベルに巡回的シフトを施した半標準ヤングテーブュルを用いた生成関数として定義され、$\mathrm{LSym}$ の基底をなす。
• アフィンクリスタルのエネルギー関数は、テーブュル上のラスカウ・シュッツェンベルガ―の共チャージ統計に等しく、この等価性はループシュール関数を通じて実現される。
• 双有理的 $S_m$-作用はボックス・ボール系の時間発展に対応し、$\mathrm{LSym}$ はまさにこの系の運動積分からなる。
• 双有理的 $S_2$-作用のトロピカル化により、古典的ボックス・ボール系のダイナミクスが回復され、$e_m^{(1)}$ と $e_m^{(2)}$ はそれぞれトロピカル化された全ボール数と自由空間に対応する。
• 円筒面上のネットワークモデルは、双有理的 $S_m$-作用の位相的実現を提供し、複数のボール種類や移動可能なバスケットを含む系への一般化を可能にする。