[論文レビュー] Colored five-vertex models and Demazure atoms

Ben Brubaker, Valentin Buciumas+2 more|arXiv (Cornell University)|Feb 5, 2019

Algebraic structures and combinatorial models参考文献 45被引用数 4

ひとこと要約

本稿は、リー代数の最高重量表現の結晶基底におけるデマウール原子と彩色五頂点アイス模型の間の全単射を確立する。彩色スピンと頂点重みを用いて、彩色模型の分配関数がワイル群の元によってインデックス付けされた成分に分解されることを示し、各成分がシュッツェンベルガー対合を通じてデマウール原子に対応することを示す。主な結果は、統計力学的モデルを通じたデマウール原子の組合せ的実現である。

ABSTRACT

Type A Demazure atoms are pieces of Schur functions, or sets of tableaux whose weights sum to such functions. Inspired by colored vertex models of Borodin and Wheeler, we will construct solvable lattice models whose partition functions are Demazure atoms; the proof of this makes use of a Yang-Baxter equation for a colored five-vertex model. As a biproduct, we construct Demazure atoms on Kashiwara's $\mathcal{B}_\infty$ crystal and give new algorithms for computing Lascoux-Schützenberger keys.

研究の動機と目的

• 彩色五頂点模型と結晶基底におけるデマウール原子の間の組合せ的対応を確立すること。
• ワイル群の元とその剰余類代表元によるインデックス付けを通じて、デマウール原子の理解を精緻化すること。
• 彩色辺を備えた頂点模型を用いて、デマウール原子分解の統計力学的実現を提供すること。
• 結晶写像による彩色アイス状態の像がシュッツェンベルガー対合を通じて正確にデマウール原子に対応することを証明すること。

提案手法

• エッジにスピンと色を備えた彩色五頂点模型を用い、図 LABEL:coloredweights で定義された重みを導入する。
• 隣接する彩色スピンと頂点重みに基づいて、$-$ スピンに決定的色付け規則を適用し、頂点における色保存を保証する。
• 各彩色状態が、ワイル群 $W$ の元 $w$ によってインデックス付けされた一意な成分 $\mathfrak{S}_{\mathbf{z},\lambda,w}$ に属することを示す。
• 彩色アイス状態から結晶 $\mathcal{B}_\lambda$ への写像 $\mathfrak{s} \mapsto \mathfrak{T}(\mathfrak{s})'$ を構築する。
• シュッツェンベルガー対合 $v \mapsto v'$ と写像 $\omega$ を用いて、ワイル群元 $w$ と状態の像との関係を確立する。
• 状態 $\mathfrak{s}$ が $\mathfrak{S}_{\mathbf{z},\lambda,w}$ に属するための必要十分条件として $w_0 \omega(\mathfrak{T}(\mathfrak{s})') = w$ を証明し、模型とデマウール原子の関係を明示する。

実験結果

リサーチクエスチョン

• RQ1 結晶基底におけるデマウール原子は、統計力学的モデルを通じてどのように組合せ的に実現可能か？
• RQ2 デマウール原子の文脈において、彩色アイス状態とワイル群元との間の明確な対応関係は何か？
• RQ3 シュッツェンベルガー対合は、彩色アイス模型の状態空間とデマウール原子分解の間でどのように関係するか？
• RQ4 彩色五頂点模型の分配関数は、ワイル群の元によってインデックス付けされた成分に分解可能か？各成分はデマウール原子に対応するか？
• RQ5 ヤン・バクスター方程式は、彩色頂点模型の整合性と可積分性の保証に果たす役割は何か？

主な発見

• 彩色五頂点模型の分配関数は $Z(\mathfrak{S}_{\mathbf{z},\lambda}) = \sum_{w \in W} Z(\mathfrak{S}_{\mathbf{z},\lambda,w})$ と分解され、ワイル群インデックス付き成分への直接的分解を示している。
• 各彩色アイス状態は、頂点ルールと色保存に基づき一意に定まる、一意な $\mathfrak{S}_{\mathbf{z},\lambda,w}$ に属する。
• 写像 $\mathfrak{s} \mapsto \mathfrak{T}(\mathfrak{s})'$ は $\mathfrak{S}_{\mathbf{z},\lambda,w}$ をデマウール原子 $\mathcal{B}_\lambda^\circ(w)$ に双対的に写像し、組合せ的同型を確立する。
• 状態 $\mathfrak{s}$ が $\mathfrak{S}_{\mathbf{z},\lambda,w}$ に属するための条件 $w_0 \omega(\mathfrak{T}(\mathfrak{s})') = w$ が、状態の属する成分を特定するアルゴリズム的基準を提供する。
• 彩色模型においてヤン・バクスター方程式が成立し、異なる頂点配置における分配関数の整合性と可積分性が保証される。
• 証明は、Sage を用いて検証された有限ケース解析（4096 種類）に依拠し、境界エッジのすべての色配置に対してヤン・バクスター方程式が成立することを確認している。