[論文レビュー] Some remarks on quantized Lie superalgebras of classical type

Nathan Geer|ArXiv.org|Aug 23, 2005

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

ひとこと要約

本稿は、任意のCartan行列をもつ古典的型のLie超代数に対するDrinfeld-Jimbo型量子普遍包あい超代数とEtingof-Kazhdan量子化の間の同型を確立し、最高ウェイト加群が量子化代数上の対応する加群へと変形可能であることを証明するとともに、braided tensor同値を用いてDrinfeld-Kohno定理を超代数設定へと拡張する。

ABSTRACT

In this paper we use the Etingof-Kazhdan quantization of Lie bi-superalgebras to investigate some interesting questions related to Drinfeld-Jimbo type superalgebra associated to a Lie superalgebra of classical type. It has been shown that the D-J type superalgebra associated to a Lie superalgebra of type A-G, with the distinguished Cartan matrix, is isomorphic to the E-K quantization of the Lie superalgebra. The first main result in the present paper is to extend this to arbitrary Cartan matrices. This paper also contains two other main results: 1) a theorem stating that all highest weight modules of a Lie superalgebra of type A-G can be deformed to modules over the corresponding D-J type superalgebra and 2) a super version of the Drinfeld-Kohno Theorem.

研究の動機と目的

• 古典的型のLie超代数に対して、特徴的Cartan行列から任意のCartan行列へ、Drinfeld-Jimbo型とEtingof-Kazhdan型量子化の同型を拡張すること。
• タイプA-GのLie超代数の最高ウェイト加群が、Drinfeld-Jimbo型量子化超代数上の対応する加群へと変形可能であることを証明すること。
• Drinfeld-Kohno定理の超代数版を確立し、ブレード群のモノドロミー表現とR行列構成の関係を明らかにすること。
• Etingof-Kazhdanのねじれ構成を用いて、コhomological消失仮定を避けた、量子化超代数間の同型の構成的証明を提供すること。

提案手法

• 与えられたCartan行列 (A, τ) に対応するLie超代数の普遍量子化を、Etingof-KazhdanのLie双超代数の量子化を用いて構成する。
• Yamaneの結果を適用し、量子Serre関係式が関連する双線形形式の核に属することを検証することで、Drinfeld-Jimbo型とEtingof-Kazhdan型量子化の同型を可能にする。
• 準Hopf超代数のねじれを構成し、Etingof-Kazhdan量子化を形式的べき級数 h の上の普遍包あい超代数の変形として実現する。
• Etingof-Kazhdan量子化とDrinfeld-Jimbo代数の加群圏のbraided tensor同値を用いて、モノドロミー表現を関連付ける。
• Knizhnik-Zamolodchikov微分方程式系を用いて、最高ウェイト加群のテンソル冪上のブレード群のモノドロミー表現を定義する。
• Cartan部分超代数上で恒等写像に一致する、U_h^DJ(g,A,τ) → U_h(g,A,τ) なる同型 α を確立し、変形におけるウェイト保存を保証する。

実験結果

リサーチクエスチョン

• RQ1 古典的型のLie超代数に対して、特徴的Cartan行列に限らず、任意のCartan行列についてDrinfeld-Jimbo型とEtingof-Kazhdan型量子化の同型が成立するか？
• RQ2 タイプA-GのLie超代数の任意の最高ウェイト加群が、対応するDrinfeld-Jimbo型量子化超代数上の最高ウェイト加群へと変形可能であり、そのキャラクターが保存されるか？
• RQ3 KZ接続のモノドロミーと量子普遍包あい超代数のR行列を関連付ける、超代数版のDrinfeld-Kohno定理が存在するか？
• RQ4 コhomological消失定理が超代数設定で成立しない場合に、加群の変形をcohomological消失仮定に依存せずに明示的に構成できるか？

主な発見

• U_h^DJ(g,A,τ) → U_h(g,A,τ) なる同型 α が量子普遍包あい超代数として存在し、α|_h = id を満たす。これは、特徴的Cartan行列の場合に限らない、任意のCartan行列への既存結果の拡張である。
• タイプA-GのLie超代数上の任意の不可約最高ウェイト加群 V(Λ) は、U_h^DJ(g,A,τ) 上の最高ウェイト加群 ˜V(Λ) へと変形可能であり、そのキャラクターとウェイト空間構造は ℂ[[h]] 上で同一である。
• Lie双超代数 (g,A,τ) のEtingof-Kazhdan量子化は、準Hopf超代数のねじれとして実現され、同型の明示的構成を可能にする。
• KZ接続のブレード群のモノドロミー表現（V(Λ)^⊗n[[h]] 上）は、R行列 e^{hΩ/2} によって誘導される表現と一致し、超代数版のDrinfeld-Kohno定理を確立する。
• U_h^DJ(g,A,τ) 上の加群の圏とEtingof-Kazhdan量子化上の加群の圏は、同型 α を通じてbraided tensor同値である。
• Etingof-Kazhdanの道具立てを用いることで、H^1 や H^2 が普遍包あい超代数で消失しない場合でも、コhomological消失仮定を避けた証明が可能である。