[論文レビュー] Formality theorem for Lie bialgebras and quantization of coboundary r-matrices

Gilles Halbout|ArXiv.org|Jun 23, 2005

Advanced Topics in Algebra参考文献 6被引用数 3

ひとこと要約

この論文は、リー代数の不変多ベクトル場の代数と、リー双代数のための量子化された普遍包あくり代数のテンソル代数の間で、形式的 quasi-isomorphism を確立し、Tamarkin の形式的結果をコバウンダリーの場合に拡張する。Etingof-Kazhdan の量子化の文脈において、古典的 $ r $-行列の量子化 $ R $ の存在を証明し、Tamarkin と Tsygan の予想を解決し、コバウンダリー・リー双代数における Drinfeld の未解決問題の最後の一つを解ける。

ABSTRACT

Let $(g,δ_\hbar)$ be a Lie bialgebra. Let $(U_\hbar(g),Δ_\hbar)$ a quantization of $(g,δ_\hbar)$ through Etingof-Kazhdan functor. We prove the existence of a $L_\infty$-morphism between the Lie algebra $C(\g)=Λ(g)$ and the tensor algebra $TU=T(U_\hbar(g)[-1])$ with Lie algebra structure given by the Gerstenhaber bracket. When $(g,δ_\hbar,r)$ is a coboundary Lie bialgebra, we deduce from the formality morphism the existence of a quantization $R$ of $r$.

研究の動機と目的

• リー双代数のための、不変多ベクトル場のゲルステンハーバー代数と、量子化された普遍包あくり代数のテンソル代数の間の形式的 $ L_{\infty} $-quasi-isomorphism を構成すること。
• Tamarkin の形式的結果を、特にコバウンダリーの場合を含めたリー双代数の文脈に拡張すること。
• コバウンダリー $ r $-行列の量子化 $ R $ が量子ヤン・バクスター方程式およびホップ代数の公理を満たすことを証明すること。
• Etingof-Kazhdan の量子化手順に適合する量子化された普遍的 $ R $-行列を構成することで、Drinfeld の未解決問題の最後の一つを解決すること。
• 形式的定理を $ G_{\infty} $-構造を含むように一般化し、予想的な拡張を通じて、リー双代数的バンドルと多微分作用素の間の関係を確立すること。

提案手法

• Etingof-Kazhdan の量子化／非量子化関手を用いて、リー双代数 $ (\mathfrak{g}, \delta_{\hbar}) $ から、量子化されたホップ代数 $ (U_{\bar{\hbar}}(\mathfrak{g}), \Delta_{\hbar}) $ を構成する。
• 変形されたゲルステンハーバー括弧と coHochschild 微分を用いて、テンソル代数 $ TU = T(U_{\hbar}(\mathfrak{g})[-1]) $ 上に $ G_{\infty} $-構造を構成する。
• $ C(\mathfrak{g}) = S(\mathfrak{g}[-1]) $ と $ TU $ の間の $ L_{\infty} $-quasi-isomorphism $ \varphi $ を確立し、$ \varphi^1 $ が $ v \in C(\mathfrak{g}) $ を $ \operatorname{Alt}(v) \mod \hbar $ に写像する。
• $ L_{\infty} $-準同型を用いて、$ r' = -\hbar r $ とすると $ R' = 1 \otimes 1 + \sum_{n \geq 1} \frac{1}{n!} \Lambda^n r' $ である候補 $ R' $ を定義し、$ R = (R')^{-1} $ とおく。
• $ L_{\infty} $-準同型の性質を用いて、$ R $ が量子ヤン・バクスター方程式 $ R^{1,2}(\Delta_{\hbar} \otimes \operatorname{id})(R) = R^{2,3}(\operatorname{id} \otimes \Delta_{\hbar})(R) $ を満たすことを検証する。
• Drinfeld の双対性と Etingof-Kazhdan の非量子化を適用し、$ TU $ 上の $ G_{\infty} $-構造が、余自由テンソルコボルト代数上での自然な構成から生じることを示す。

実験結果

リサーチクエスチョン

• RQ1 任意のリー双代数に対して、不変多ベクトル場の代数と、量子化された普遍包あくり代数のテンソル代数の間で、形式的 $ L_{\infty} $-quasi-isomorphism を構成できるか？
• RQ2 このような形式的準同型が、Drinfeld の意味でコバウンダリー $ r $-行列の量子化を示唆するか？
• RQ3 コバウンダリーの場合に、$ L_{\infty} $-準同型構造から量子ヤン・バクスター方程式を導出できるか？
• RQ4 構成された $ R $-行列が、$ R^{-1} = R^{2,1} $ および $ R \Delta_{\hbar}(a) R^{-1} = \Delta_{\hbar}^{\text{op}}(a) $ の対称性とねじれ性質を満たすか？
• RQ5 Etingof-Kazhdan の量子化フレームワークをリー双代数的バンドルに拡張することで、テンソル場と多微分作用素の間のグローバルな形式的定理を構築できるか？

主な発見

• $ TU $ 上に $ G_{\infty} $-構造が構成され、その下位の $ L_{\infty} $-構造は、変形されたゲルステンハーバー括弧と coHochschild 微分で与えられる。
• $ C(\mathfrak{g}) $ と $ TU $ の間の $ L_{\infty} $-quasi-isomorphism $ \varphi $ が存在し、$ \varphi^1(v) \equiv \operatorname{Alt}(v) \mod \hbar $ である。これは Calaque の結果をリー双代数の場合に一般化する。
• 任意の有限次元コバウンダリー・リー双代数 $ (\mathfrak{g}, r, Z) $ に対して、$ R \in U_{\hbar}(\mathfrak{g})^{\tens 2} $ が構成され、$ R = 1 + \hbar r + O(\hbar^2) $ かつ量子ヤン・バクスター方程式を満たす。
• 構成された $ R $-行列は $ R^{1,2}(\Delta_{\hbar} \otimes \operatorname{id})(R) = R^{2,3}(\operatorname{id} \otimes \Delta_{\hbar})(R) $ を満たし、量子ヤン・バクスター方程式の解として正当化される。
• 準同型は、$ U_{\hbar}(\mathfrak{g}) $ の coHochschild コホモロジー複体と、コブラケット微分を持つ外微分形式代数 $ C(\mathfrak{g}) $ の間の quasi-isomorphism を誘導し、$ \delta_{\hbar} = 0 $ の場合に既知の結果を一般化する。
• この構成は、コバウンダリーの場合に Drinfeld の未解決問題の最後の一つを解決するが、一般には完全に検証されていないホップ代数の公理（特に $ R^{-1} = R^{2,1} $ とねじれ対称性）は残りの問題である。