[論文レビュー] Six-Vertex, Loop and Tiling models: Integrability and Combinatorics

Paul Zinn-Justin|ArXiv.org|Jan 6, 2009

Advanced Combinatorial Mathematics参考文献 106被引用数 65

ひとこと要約

この論文は、量子可積分性と組合せ論的・代数幾何学的構造の深い関係を明らかにするために、六頂点模型、ループ模型、タイリング模型といった可積分統計模型をレビューしている。六頂点模型のドメインウォール境界における状況では、イゼルギンの公式を用いて交項行列と結びつけられ、ラズムォフ＝ストロガノフ予想の主要な結果が、量子キニジヒニク・ツァモロッチク方程式とシューベルト計算を用いて証明されている。

ABSTRACT

This is a review (including some background material) of the author's work and related activity on certain exactly solvable statistical models in two dimensions, including the six-vertex model, loop models and lozenge tilings. Applications to enumerative combinatorics and to algebraic geometry are described.

研究の動機と目的

• 可積分性の観点から、量子可積分模型と組合せ論的・代数幾何学的構造を統一すること。
• 著者の研究と関連発展を包括的にレビューし、六頂点模型、ループ模型、およびそれらが平面分割、交項行列、シューベルト多様体と結びつく関係を明らかにすること。
• ラズムォフ＝ストロガノフ予想、量子キニジヒニク・ツァモロッチク方程式、行列シューベルト多様体やオービタル多様体といった幾何的対象との明確な関係を確立すること。
• 可積分系の解が、多重次数やシューベルト多項式を含む新しい組合せ的恒等式や幾何的不変量を生み出す仕組みを示すこと。
• アフィンヘッケ代数とループ模型の文脈において、マクドナルド多項式およびファクトリアルシューベルト多項式がどのように現れるかを明らかにし、ブレイアー・ループスキームの退化極限における役割を解明すること。

提案手法

• 自由フェルミオン的フォック空間形式と $\frak{gl}(\infty)$-対称性を用いてシューベルト多項式を定義し、ウィックの定理を用いてヤコビ＝トゥルディの恒等式を導出する。
• リンストローム＝ゲゼル＝ヴィエンノの補題を適用し、交差しない格子路とシューベルト多項式、平面分割の数え上げの関係を確立する。
• R行列正規化付きの量子キニジヒニク・ツァモロッチク方程式を用い、再帰関係とジュチス＝マーフィー要素を介して解を構成する。
• 垂直反転とニル・ヘッケ代数作用を介して、ブレイアー・ループスキームの成分 $E_{\pi}$ と行列シューベルト多様体 $S_{\sigma}$ の間に幾何的対応を確立する。
• 退化極限 $\tau \to 2$ を用い、ニル・ヘッケ代数を回復し、ブレイアー・ループ多項式とダブルシューベルト多項式を結びつける。
• ボット＝サマエルソン構成とパイペッドレームモデルを用いて、行列シューベルト多様体とその定義方程式を記述する。

実験結果

リサーチクエスチョン

• RQ1 量子キニジヒニク・ツァモロッチク方程式の解は、シリンダー上のループ模型の定常分布とどのように関係するか？
• RQ2 ブレイアー・ループスキームにおける成分 $E_{\pi}$ の正確な幾何的意味は何か。また、それらは行列シューベルト多様体とどのように関係するか？
• RQ3 ブレイアー・ループ模型の退化極限 $\tau \to 2$ は、どのようにしてニル・ヘッケ代数とダブルシューベルト多項式を回復するか？
• RQ4 オービタル多様体と行列シューベルト多様体の多重次数は、可積分模型の分配関数からどのようにして生じるか？
• RQ5 ラズムォフとストロガノフが提唱した、ループ模型の基底状態における和則が、qKZ方程式とホイール条件からどのように導かれるか？

主な発見

• 円筒上の完全配置ループ（FPL）模型の基底状態が、標準ヤング盤に添えられたシューベルト多項式の和に比例することを示し、置換部分空間におけるラズムォフ＝ストロガノフ予想が確認された。
• ドメインウォール境界を持つ六頂点模型に対するイゼルギンの公式は、交項行列の数え上げを導き、マクマホンの公式に対する物理的導出を可能にした。
• 行列シューベルト多様体 $S_{\sigma}$ の多重次数は、$\tau \to 2$ の極限において、ブレイアー・ループ多項式 $\Upsilon_{\pi}(x_1,\ldots,x_{2n},\textsc{a},\textsc{b})$ の極限として回復され、$\Upsilon_{\pi} \sim \textsc{b}^{n(n-1)-|\sigma|} \Xi_{\sigma}(\textsc{a}+x_n,\ldots,\textsc{a}+x_1|x_{n+1},\ldots,x_{2n})$ と表される。
• 置換部分空間において、ブレイアー・ループスキームの成分 $E_{\pi}$ は、写像 $(X,Y) \mapsto X$ と垂直反転を介して行列シューベルト多様体 $S_{\sigma}$ に射影され、$E_{\pi}$ の定義方程式は、クヌートソンが提唱した上部上部スキームの予想される方程式と一致する。
• ブレイアー・ループ多項式の交換関係は、$\tau \to 2$ の極限において、古典的ダブルシューベルト多項式の交換関係（5.3）および対称シューベルト多項式の交換関係（5.4）に還元され、$f_i \to t_i = (1 - \tau/2)f_i$ の再定義を経て成立する。
• ホイール条件と再帰関係を満たすqKZ方程式の解は、ループ模型の基底状態における和則を再現し、標準ヤング盤に添えられたシューベルト多項式の和への比例関係が確認された。