[論文レビュー] On the cluster nature and quantization of geometric $R$-matrices

Rei Inoue, Thomas Lam+1 more|arXiv (Cornell University)|Jul 4, 2016

Algebraic structures and combinatorial models参考文献 12被引用数 3

ひとこと要約

本稿では、円筒上の三角格子クイバーにおける変異の系列としてクラスター $R$-行列を導入し、$U_q'(\tilde{\frak{sl}}_n)$ のアフィン幾何的 $R$-行列がこの構成から生じることを示している。さらに、クラスター構造に整合する幾何的 $R$-行列の量子化を定義し、量子ループ対称関数を量子幾何的 $R$-行列作用の不変量として構成している。

ABSTRACT

We define cluster $R$-matrices as sequences of mutations in triangular grid quivers on a cylinder, and show that the affine geometric $R$-matrix of symmetric power representations for the quantum affine algebra $U_q^\prime(\hat{\mathfrak{sl}}_n)$ can be obtained from our cluster $R$-matrix. A quantization of the affine geometric $R$-matrix is defined, compatible with the cluster structure. We construct invariants of the quantum affine geometric $R$-matrix as quantum loop symmetric functions.

研究の動機と目的

• 円筒上のクイバーにおける変異を用いて、$U_q'(\tilde{\frak{sl}}_n)$ のアフィン幾何的 $R$-行列のクラスター理論的実現を確立すること。
• クラスター代数構造を尊重し、ヤン・バクスター関係を満たす幾何的 $R$-行列の量子化を定義すること。
• 量子ループ対称関数（量子ループ基本、シュール、およびシリンダリックループシュール関数を含む）を用いて、量子幾何的 $R$-行列作用の不変量を構成すること。
• 非可換パスおよびテーブルの生成関数を用いて、量子幾何的 $R$-行列と円筒上のネットワークモデルを関連付けること。

提案手法

• 円筒上のクイバー $Q_{n,m}$ を定義し、$2n-2$ 個の変異が閉じた系列を形成し、クイバーを元に戻すようにし、これによりクラスター $R$-行列を定義する。
• 凍結変数を備えた装飾クイバー $\tilde{Q}_{n,m}'$ を用い、有理関係 $q = \frac{xx'x''}{x'''X}$ を通じて、クラスター変数と幾何的 $R$-行列座標を関連付ける。
• ${\mathbb{Q}}_\epsilon\langle\mathbf{p},\mathbf{q}\rangle$ 上の量子トーラス上の歪場の同型写像として、量子幾何的 $R$-行列を構成し、$\epsilon$ を非可換不定元とする。
• クラスター変異系列におけるブレード関係から導かれることにより、量子幾何的 $R$-行列のヤン・バクスター関係を確立する。
• 量子ループ対称関数を、ネットワーク $N_{n,m}$ 内の半標準ヤングテーブルおよびハイウェイパスの非可換生成関数として定義する。
• リー＝シュフィラーのローレン卜正値定理を用いて、量子 $R$-行列の式がクラスター変数および凍結変数に関して、非負整数係数のローレン卜多項式であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 $U_q'(\tilde{\frak{sl}}_n)$ のアフィン幾何的 $R$-行列は、円筒上のクイバーにおける変異の合成として実現可能か？
• RQ2 クラスター代数構造を保ち、ヤン・バクスター関係を満たす幾何的 $R$-行列の一貫した量子化は存在するか？
• RQ3 量子ループ対称関数（基本的、シュール的、およびシリンダリックループシュール的）は、量子幾何的 $R$-行列作用の下で不変量をなすか？
• RQ4 量子幾何的 $R$-行列およびその不変量は、円筒ネットワーク $N_{n,m}$ 内のパスモデルおよびテーブルとどのように関連しているか？

主な発見

• クラスター $R$-行列は、クイバー $Q_{n,m}$ 内の $2n-2$ 個の変異の合成として定義され、クイバーを元に戻し、ヤン・バクスター関係を満たす。
• 幾何的 $R$-行列はクラスター $R$-行列のトロピカル化として回復され、座標は $q = \frac{xx'x''}{x'''X}$ を通じて関連づけられる。
• 量子幾何的 $R$-行列は、${\mathbb{Q}}_\epsilon\langle\mathbf{p},\mathbf{q}\rangle$ 上の歪場の同型写像として構成され、量子ヤン・バクスター関係を満たす。
• 量子ループ基本対称関数、量子ループシュール関数、および量子シリンダリックループシュール関数は、量子幾何的 $R$-行列作用の不変量として示された。
• これらの不変量は、ネットワーク $N_{n,m}$ 内の半標準ヤングテーブルおよびハイウェイパスの非可換生成関数として表現される。
• 量子 $R$-行列の式は、リー＝シュフィラーの正値定理により保証されるように、クラスター変数および凍結変数に関して非負整数係数のローレン卜多項式である。