[論文レビュー] Yangians and quantum loop algebras II. Equivalence of categories via abelian difference equations

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

Algebraic structures and combinatorial models被引用数 2

ひとこと要約

この論文は、$ q = \exp(i\pi h) $ かつ $ h $ が無理数のとき、量子ループ代数 $ U_q(L\mathfrak{g}) $ の有限次元表現と、ヤンギアン $ Y_h(\mathfrak{g}) $ の特定の部分カテゴリの表現との間の同値性を、アーベル型差分方程式とモノドロミー情報に基づいて確立する。この同値性は q-特徴標についても整合的であり、アフィンヤンギアンや量子トロイダル代数を含む可対称化カク＝ムーディ代数へと拡張可能である。

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 \pi 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.

研究の動機と目的

• 量子ループ代数 $ U_q(L\mathfrak{g}) $ の有限次元表現と、ヤンギアン $ Y_h(\mathfrak{g}) $ の部分カテゴリの表現との間のカテゴリカル同値性を確立すること。
• ヤンギアンの可換な場から導かれるアーベル加法的差分方程式を用いて、この同値性を定義すること。
• 同値性を、アフィンヤンギアンや量子トロイダル代数を含む可対称化カク＝ムーディ代数へと拡張すること。
• q-特徴標と整合的であり、両方の代数 $ \mathfrak{g} $ および $ U_q(\mathfrak{g}) $ に対してカテゴリ $ \mathcal{O} $ 内の可解表現に制限されること。

提案手法

• 対数関数の分岐を選び、$ Y_h(\mathfrak{g}) $ の表現の部分カテゴリを定義する。
• 同値性は、$ Y_h(\mathfrak{g}) $ の可換な場に関連するアーベル加法的差分方程式のモノドロミーによって支配される。
• これらの差分方程式のスペクトル的性質を用いて、$ Y_h(\mathfrak{g}) $ と $ U_q(L\mathfrak{g}) $ の表現カテゴリを関連付ける。
• この手法は、アフィンおよびトロイダルの場合を含む可対称化カク＝ムーディ代数へ一般化可能である。
• 同値性は可解性を保ち、両方の代数 $ \mathfrak{g} $ および $ U_q(\mathfrak{g}) $ に対してカテゴリ $ \mathcal{O} $ 内に制限される。

実験結果

リサーチクエスチョン

• RQ1 無理数 $ h $ の場合に、$ U_q(L\mathfrak{g}) $ の表現と $ Y_h(\mathfrak{g}) $ の部分カテゴリの表現との間で、どのようにカテゴリカル同値性を構成できるか？
• RQ2 アーベル加法的差分方程式が、これらの表現カテゴリの同値性の背後にあるモノドロミーをどのように支配するか？
• RQ3 q-特徴標形式的理論において同値性はどのように振る舞い、既知の特徴標理論と整合的か？
• RQ4 同値性は、有限次元表現や半単純リー代数を超えて、どの程度まで拡張可能か？
• RQ5 $ \mathfrak{g} $ および $ U_q(\mathfrak{g}) $ のカテゴリ $ \mathcal{O} $ 内の可解表現と、ヤンギアン設定におけるそれらの対応物との間の正確な関係は何か？

主な発見

• $ q = \exp(i\pi h) $ かつ $ h $ が無理数のとき、$ U_q(L\mathfrak{g}) $ の有限次元表現と、対数の分岐の選択によって定義される $ Y_h(\mathfrak{g}) $ の表現の部分カテゴリとの同値性が確立された。
• 同値性は、$ Y_h(\mathfrak{g}) $ の可換な場から導かれるアーベル加法的差分方程式のモノドロミーによって支配される。
• この構成は q-特徴標形式的理論と整合的であり、既知の表現論的不変量との一貫性を保証する。
• 同値性は、アフィンヤンギアンや量子トロイダル代数を含む可対称化カク＝ムーディ代数へと拡張可能である。
• 同値性は、両方の代数 $ \mathfrak{g} $ および $ U_q(\mathfrak{g}) $ に対して、カテゴリ $ \mathcal{O} $ 内の可解表現に制限され、可解性条件を保つ。