[論文レビュー] Schubert puzzles and integrability I: invariant trilinear forms

Allen Knutson, Paul Zinn-Justin|arXiv (Cornell University)|Jun 30, 2017

Advanced Combinatorial Mathematics参考文献 20被引用数 19

ひとこと要約

本稿は、d-ステップ旗多様体上のシューベルト計算と可積分系の間の接続を確立し、構造定数を計算するパズル規則が最小限表現のR行列から生じることを示している。d=3の場合、3-ステップ旗多様体のK理論に対して、151ピecesの新しいパズル規則を導出し、BuchによるKnutsonの1999年予想への修正を解決するとともに、基礎となるベクトル配置にE6対称性を明らかにした。

ABSTRACT

The puzzle rules for computing Schubert calculus on $d$-step flag manifolds, proven in [Knutson Tao 2003] for $1$-step, in [Buch Kresch Purbhoo Tamvakis 2016] for $2$-step, and conjectured in [Coskun Vakil 2009] for $3$-step, lead to vector configurations (one vector for each puzzle edge label) that we recognize as the weights of some minuscule representations. The $R$-matrices of those representations (which, for $2$-step flag manifolds, involve triality of $D_4$) degenerate to give us puzzle formulae for two previously unsolved Schubert calculus problems: $K_T(2$-step flag manifolds$)$ and $K(3$-step flag manifolds$)$. The $K(3$-step flag manifolds$)$ formula, which involves 151 new puzzle pieces, implies Buch's correction to the first author's 1999 conjecture for $H^*(3$-step flag manifolds$)$.

研究の動機と目的

• 可積分系を用いて、グラスマンニアンを超えたd-ステップ旗多様体におけるパズル規則を拡張すること。
• 3-ステップ旗多様体のK理論の構造定数を計算するという長年の問題を解決すること。
• シューベルト計算、最小限表現、および量子可積分性の間の幾何学的・代数的リンクを確立すること。
• BuchのKnutsonの1999年予想への修正を確認する151ピecesの新しいパズル規則を3-ステップ旗多様体のK理論に対して導出すること。
• グラム行列解析とR行列の退化を用いて、3-ステップ旗多様体の重み系に隠れたE6対称性を解明すること。

提案手法

• パズルの辺ラベルからベクトル配置を構築し、それらが最小限表現の重みに対応することを特定する。
• これらのベクトルのグラム行列を用いて根系を導出し、基礎となるリー代数（d=1,2,3のそれぞれに対してA2, D4, E6）を同定する。
• 量子群Uq(g(1))からのR行列を用い、循環ヤン・バクスター関係を介してパズル規則へと退化させる。
• uvw=1を満たすスペクトルパラメータを用いた循環ヤン・バクスター方程式を適用し、パズルピeces間の整合性を保証する。
• パラメータqとスペクトル比q^{±2h/3}を組み込むことで、同等およびK理論的パズル規則を導出する。
• 逆数と経路計算を用いて、得られたテンソル計算の可積分性と整合性を検証する。

実験結果

リサーチクエスチョン

• RQ1 d > 1の場合、d-ステップ旗多様体上のシューベルト計算を組み合わせ的パズルによってどのように計算できるか？
• RQ2 2-ステップおよび3-ステップ旗多様体のパズル規則の代数的起源は何か？ そして表現論とどのように関係するか？
• RQ3 最小限表現のR行列は、シューベルト構造定数のパズル規則へとどのように退化するか？
• RQ4 循環ヤン・バクスター方程式は、整合的なK理論的パズル規則を構築する際に果たす役割は何か？
• RQ5 3-ステップ旗多様体の重み系にE6対称性はどのようにして現れるのか？ そして、BuchのKnutsonの1999年予想への修正をどのように解消するのか？

主な発見

• 本稿は、3-ステップ旗多様体のK理論に対して151ピecesのパズル規則を構築し、BuchによるKnutsonの1999年予想への修正を解決した。
• パズルの辺から導かれたベクトル配置は、d=3の場合、E6の最小限表現の重みに対応する。
• d=2の場合のD4最小限表現のR行列は三重性（triadality）を示し、それが2-ステップ旗多様体のパズル規則に退化する。
• uvw=1およびスペクトルパラメータq^{h/3}を満たす循環ヤン・バクスター方程式が、パズルの整合性関係の代数的基盤を提供する。
• d=3の場合、K理論的構造定数は151個の新しいパズルピecesを用いて計算され、R行列の退化が正しい組み合わせ論をもたらす。
• 辺ベクトルのグラム行列は根系を符号化しており、その符号と固有値は基礎となるリー代数（d=3の場合はE6）を確認する。