[論文レビュー] Meromorphic Kazhdan-Lusztig equivalence for Yangians and quantum loop algebras

Sachin Gautam, Valerio Toledano-Laredo|arXiv (Cornell University)|Mar 20, 2014

Algebraic structures and combinatorial models参考文献 5被引用数 8

ひとこと要約

この論文は、ヤンの代数 $Y_h(\mathfrak{g})$ の有限次元表現と量子ループ代数 $U_q(L\mathfrak{g})$ の間のテンソル関手を構成し、$|q| \neq 1$ のとき、メロモーフィックなbraidedテンソル同値を確立する。同値は正則化された可換$R$-行列から生じ、アーベル型$q$KZ方程式に対するKohno-Drinfeldの定理を証明し、古典的なKazhdan-Lusztig同値をメロモーフィックな設定に一般化する。

ABSTRACT

Let ${\mathfrak g}$ be a complex semisimple Lie algebra, and $Y_h({\mathfrak g})$, $U_q(L{\mathfrak g})$ the corresponding Yangian and quantum loop algebra, with deformation parameters related by $q=\exp(\pi i h)$. When $h$ is not a rational number, we constructed in arXiv:1310.7318 a faithful functor $\Gamma$ from the category of finite-dimensional representations of $Y_h({\mathfrak g})$ to those of $U_q(L{\mathfrak g})$. The functor $\Gamma$ is governed by the additive difference equations defined by the commuting fields of the Yangian, and restricts to an equivalence on a subcategory of $Y_h({\mathfrak g})$ defined by choosing a branch of the logarithm. In this paper, we construct a tensor structure on $\Gamma$ and show that, if $|q| eq 1$, it yields an equivalence of meromorphic braided tensor categories, when $Y_h({\mathfrak g})$ and $U_q(L{\mathfrak g})$ are endowed with the deformed Drinfeld coproducts and the commutative part of the universal $R$-matrix. This proves in particular the Kohno-Drinfeld theorem for the abelian $q$KZ equations defined by $Y_h({\mathfrak g})$, and may be regarded as a meromorphic version of the Kazhdan-Lusztig equivalence between category ${\mathcal O}$ representations of the affine algebra $\hat{\mathfrak g}$ and finite-dimensional representations of the quantum group $U_q{\mathfrak g}$. The tensor structure arises from the abelian $q$KZ equations defined by a appropriate regularisation of the commutative $R$-matrix of $Y_h({\mathfrak g})$.

研究の動機と目的

• $q = \exp(\pi i h)$ かつ $h$ が無理数のとき、ヤン代数 $Y_h(\mathfrak{g})$ の有限次元表現と量子ループ代数 $U_q(L\mathfrak{g})$ の間のテンソル同値を確立すること。
• 元来、$\mathcal{O}$-カテゴリおよび量子群に対して知られていたKazhdan-Lusztig同値を、有限次元表現を含むメロモーフィックな設定に拡張すること。
• 正則化された$R$-行列を用いて、$Y_h(\mathfrak{g})$-加群から$U_q(L\mathfrak{g})$-加群への関手$\Gamma$ にテンソル構造を構成すること。
• このテンソル同値を用いて、$Y_h(\mathfrak{g})$ によって定義されるアーベル型$q$KZ方程式に対するKohno-Drinfeldの定理を証明すること。
• 関手$\Gamma$ が変形されたDrinfeldコプロダクトと普遍$R$-行列の可換部を備えることで、メロモーフィックなbraidedテンソル圏の同値関手に拡張されることを示すこと。

提案手法

• ヤン代数の可換な場の支配する加法的差分方程式を用いて、$Y_h(\mathfrak{g})$-加群から$U_q(L\mathfrak{g})$-加群への関手$\Gamma$ を定義する。
• テンソル構造を定義するために、$Y_h(\mathfrak{g})$ の正則化された可換$R$-行列を導入し、braidedテンソル圏構造と整合性を持つように保証する。
• 変形されたDrinfeldコプロダクトを用いて、$Y_h(\mathfrak{g})$ と $U_q(L\mathfrak{g})$ に互換性のあるコモジュラ構造を導入し、テンソル圏の公理を満たすために必要な構造を整える。
• 対数関数の分枝を一つ選ぶことで定義される部分圏上で同値が確立され、この設定において関手が適切に定義され、全射的かつ忠実であることを保証する。
• 証明は、$R$-行列のメロモーフィック性と、正則化された$R$-行列下での$q$KZ方程式の解析的性質に依存する。
• 得られた$\Gamma$ におけるテンソル構造がbraidingと整合することを示し、結果としてメロモーフィックなbraidedテンソル圏の同値が得られる。

実験結果

リサーチクエスチョン

• RQ1 関手$\Gamma$ から$Y_h(\mathfrak{g})$-加群から$U_q(L\mathfrak{g})$-加群へのテンソル構造を構成できるか？
• RQ2 このテンソル構造が$|q| \neq 1$ のとき、メロモーフィックなbraidedテンソル圏の同値をもたらすか？
• RQ3 この構成を用いて、$Y_h(\mathfrak{g})$ によって定義されるアーベル型$q$KZ方程式に対するKohno-Drinfeldの定理を証明できるか？
• RQ4 正則化された可換$R$-行列が、どのようにしてwell-definedなテンソル関手を生じるか？
• RQ5 この同値は、どの程度まで古典的なKazhdan-Lusztig同値をメロモーフィックな枠組みへ一般化するか？

主な発見

• 関手$\Gamma$ は、$Y_h(\mathfrak{g})$ の正則化された可換$R$-行列から生じるテンソル構造を備え、braidedテンソル圏の公理と整合性を持つ。
• $|q| \neq 1$ のとき、関手$\Gamma$ は、変形されたDrinfeldコプロダクトを備えた$Y_h(\mathfrak{g})$ と $U_q(L\mathfrak{g})$ の間で、メロモーフィックなbraidedテンソル圏の同値を誘導する。
• この構成により、$Y_h(\mathfrak{g})$ によって定義されるアーベル型$q$KZ方程式に対するKohno-Drinfeldの定理が証明され、量子Knizhnik-Zamolodchikov方程式のモノドロミーと関連づけられる。
• 同値は、対数関数の分枝の選択によって定義される$Y_h(\mathfrak{g})$-加群の部分圏上で確立され、解析的整合性が保証される。
• この結果により、アフィンリー代数の表現と量子群の表現の間の古典的対応を一般化した、メロモーフィック版のKazhdan-Lusztig同値が得られる。
• テンソル構造が普遍$R$-行列の可換部と整合することを示し、メロモーフィックな設定下でのbraided整合性が保証される。