[論文レビュー] Yangians, quantum loop algebras and abelian difference equations

Siddharth Gautam, Valerio Toledano-Laredo|arXiv (Cornell University)|Oct 28, 2013

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

ひとこと要約

本稿は、$q = e^{ olimits \pi i \hbar}$ かつ $\hbar$ が無理数である条件下で、量子ループ代数 $U_q(L\mathfrak{g})$ の有限次元表現とヤンギアン $Y_\hbar(\mathfrak{g})$ のある部分カテゴリの間で明示的な同値関係を確立する。この同値関係は、ヤンギアンの可換な場から生じるアーベル型差分方程式のモノドロミーによって支配され、コンtour積分公式を用いて構成され、関手 $\Gamma$ はドリンフェルト多項式を指数関数的に作用させ、単純性と可解性を保存する。

ABSTRACT

Let g be a complex, semisimple Lie algebra, and Y_h(g) and U_q(Lg) the Yangian and quantum loop algebra of g. Assuming that h is not a rational number and that q=exp(i πh), we construct an equivalence between the finite-dimensional representations of U_q(Lg) and an explicit subcategory of those of Y_h(g) defined by choosing a branch of the logarithm. This equivalence is governed by the monodromy of the abelian additive difference equations defined by the commuting fields of Y_h(g). Our results are compatible with q-characters, and apply more generally to a symmetrisable Kac-Moody algebra g, in particular to affine Yangians and quantum toroidal algebras. In this generality, they yield an equivalence between the representations of Y_h(g) and U_q(Lg) whose restriction to g and U_q(g) respectively are integrable and in category O.

研究の動機と目的

• ヤンギアン $Y_\hbar(\mathfrak{g})$ と量子ループ代数 $U_q(L\mathfrak{g})$ の有限次元表現を関連付ける長年の未解決問題を解消すること。
• これら表現カテゴリ間の正確で明示的な関手的同値関係を提供し、$q$-特徴関数および既知の分類結果と整合すること。
• 可対称化 Kac–Moody代数、特にアフィンヤンギアンと量子トロイダル代数を含む場合にまで同値関係を拡張すること。
• ドリンフェルトのループ生成子とコンtour積分公式を用いて同値関係を構成し、ヤンギアンの可換な場から生じるアーベル型差分方程式のモノドロミーに裏付けられるものとする。

提案手法

• 著者らは、$U_q(L\mathfrak{g})$ のループ生成子に作用するコンtour積分公式を用いて、関手 $\Gamma: \operatorname{Rep}_{\operatorname{fd}}(Y_\hbar(\mathfrak{g})) \to \operatorname{Rep}_{\operatorname{fd}}(U_q(L\mathfrak{g}))$ を定義する。
• この構成は、$Y_\hbar(\mathfrak{g})$ のドリンフェルト多項式の根から $U_q(L\mathfrak{g})$ のパラメータへの指数写像を定義するための対数関数の分岐を選び入れることに依存する。
• 同値関係は、$Y_\hbar(\mathfrak{g})$ の可換な場から定義されるアーベル型加法的差分方程式のモノドロミーによって支配され、表現論的データを符号化する。
• この手法は、可対称化 Kac–Moody代数 $\mathfrak{g}$ に適用可能であり、有限次元 $\mathfrak{g}$ からの結果を、アフィン的・トロイダル的無限次元代数へ一般化する。
• 著者らは、ドリンフェルトのループ生成子 $\mathcal{X}_i^{\pm}(z)^{\pm}$, $\Psi_i(z)^{\pm}$, および $K_h$ を用いて代数的関係とそれらの生成関数を定義する。
• 主な技術的ステップは、$q$-差分方程式と $R$-行列構造を用いて、$\Gamma$ の像が $U_q(L\mathfrak{g})$ の関係を満たすことを証明することにある。

実験結果

リサーチクエスチョン

• RQ1 $q = e^{\pi i \hbar}$ かつ $\hbar$ が無理数であるとき、ヤンギアン $Y_\hbar(\mathfrak{g})$ と量子ループ代数 $U_q(L\mathfrak{g})$ の有限次元表現カテゴリをどのように明示的に関連付けることができるか？
• RQ2 ヤンギアン $Y_\hbar(\mathfrak{g})$ の表現から量子ループ代数 $U_q(L\mathfrak{g})$ の表現への関手的メカニズムは何か？ そして、可解性と単純性をどのように保存するのか？
• RQ3 ヤンギアン $Y_\hbar(\mathfrak{g})$ の可換な場から導かれるアーベル型差分方程式のモノドロミーが、表現同値関係をどのように支配するのか？
• RQ4 この同値関係は、有限次元 $\mathfrak{g}$ を超えて、特に可対称化 Kac–Moody代数、特にアフィン型およびトロイダル型にどの程度まで拡張可能か？
• RQ5 ヤンギアン $Y_\hbar(\mathfrak{g})$ のドリンフェルト多項式から量子ループ代数 $U_q(L\mathfrak{g})$ の多項式への写像は指数被覆として実現されるか？ また、次元と完全性は保存されるか？

主な発見

• 本稿は、ベクトル空間への忘却関手と可換する正確で忠実かつ完全な関手 $\Gamma: \operatorname{Rep}_{\operatorname{fd}}(Y_\hbar(\mathfrak{g})) \to \operatorname{Rep}_{\operatorname{fd}}(U_q(L\mathfrak{g}))$ を構成する。
• 関手 $\Gamma$ は、$Y_\hbar(\mathfrak{g})$ の単純表現を $U_q(L\mathfrak{g})$ の単純表現に写し、対数関数の分岐の選択に従ってドリンフェルト多項式の根を指数関数的に変換する。
• 同値関係は、$Y_\hbar(\mathfrak{g})$-表現の部分カテゴリに制限されており、そのドリンフェルト多項式の根が、$u \mapsto e^{2\pi i u}$ で $\mathbb{C}^\times$ に双対的に写像される領域 $\Pi \subset \mathbb{C}$ に含まれる場合に限る。
• 可対称化 Kac–Moody代数 $\mathfrak{g}$ に対しては、$Y_\hbar(\mathfrak{g})$ と $U_q(L\mathfrak{g})$ の表現間の同値関係が成り立つ。ただし、$\mathfrak{g}$ および $U_q\mathfrak{g}$ への制限が可解的かつカテゴリ $\mathcal{O}$ に属する場合に限る。
• この構成は $q$-特徴関数と整合し、ナカジマのクイバー多様体と幾何的表現論を用いた ADE 型の既存結果を一般化する。
• ヤンギアン $Y_\hbar(\mathfrak{g})$ の可換な場から定義されるアーベル型差分方程式のモノドロミーが、同値関係の背後にある動的メカニズムを提供し、2つの量子群の表現論を結びつける。