[Paper Review] Formality theorem for Lie bialgebras and quantization of coboundary r-matrices

Gilles Halbout|ArXiv.org|Jun 23, 2005

Advanced Topics in Algebra6 references3 citations

TL;DR

This paper establishes a formality quasi-isomorphism between the Lie algebra of invariant multivector fields and the tensor algebra of a quantized universal enveloping algebra for Lie bialgebras, extending Tamarkin's formality to the coboundary case. It proves the existence of a quantization $ R $ of the classical $ r $-matrix in the context of Etingof-Kazhdan quantization, resolving a conjecture of Tamarkin and Tsygan and providing a solution to Drinfeld's last unsolved problem for coboundary Lie bialgebras.

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$.

Motivation & Objective

• To construct a formal $ L_{ty} $-quasi-isomorphism between the Gerstenhaber algebra of invariant multivector fields and the tensor algebra of a quantized universal enveloping algebra for Lie bialgebras.
• To extend Tamarkin's formality result to the setting of Lie bialgebras, particularly in the coboundary case.
• To prove the existence of a quantization $ R $ of a coboundary $ r $-matrix satisfying the quantum Yang-Baxter equation and Hopf algebra axioms.
• To address Drinfeld's last unsolved problem by constructing a quantized universal R-matrix compatible with the Etingof-Kazhdan quantization procedure.
• To generalize the formality theorem to include $ G_{ty} $-structures and establish a link between Lie bialgebroids and multidifferential operators via a conjectural extension.

Proposed method

• Utilizes the Etingof-Kazhdan quantization/dequantization functors to construct a quantized Hopf algebra $ (U_{ar{\hbar}}(\mathfrak{g}), \Delta_{\hbar}) $ from a Lie bialgebra $ (\mathfrak{g}, \delta_{\hbar}) $.
• Constructs a $ G_{\infty} $-structure on the tensor algebra $ TU = T(U_{\hbar}(\mathfrak{g})[-1]) $ using the deformed Gerstenhaber bracket and coHochschild differential.
• Establishes an $ L_{\infty} $-quasi-isomorphism $ \varphi $ between $ C(\mathfrak{g}) = S(\mathfrak{g}[-1]) $ and $ TU $, with $ \varphi^1 $ mapping $ v \in C(\mathfrak{g}) $ to its alternation $ \operatorname{Alt}(v) \mod \hbar $.
• Uses the $ L_{\infty} $-morphism to define a candidate $ R' = 1 \otimes 1 + \sum_{n \geq 1} \frac{1}{n!} \Lambda^n r' $, where $ r' = -\hbar r $, and sets $ R = (R')^{-1} $.
• Verifies that $ R $ satisfies the quantum Yang-Baxter equation $ R^{1,2}(\Delta_{\hbar} \otimes \operatorname{id})(R) = R^{2,3}(\operatorname{id} \otimes \Delta_{\hbar})(R) $ via the $ L_{\infty} $-morphism properties.
• Applies Drinfeld duality and Etingof-Kazhdan dequantization to show that the $ G_{\infty} $-structure on $ TU $ arises from a canonical construction on the cofree tensor coalgebra.

Experimental results

Research questions

• RQ1 Can a formality $ L_{\infty} $-quasi-isomorphism be constructed between the Lie algebra of invariant multivector fields and the tensor algebra of a quantized universal enveloping algebra for any Lie bialgebra?
• RQ2 Does the existence of such a formality morphism imply the quantization of a coboundary $ r $-matrix in the sense of Drinfeld?
• RQ3 Can the quantum Yang-Baxter equation be derived from the $ L_{\infty} $-morphism structure in the coboundary case?
• RQ4 Are the symmetry and twist properties $ R^{-1} = R^{2,1} $ and $ R \Delta_{\hbar}(a) R^{-1} = \Delta_{\hbar}^{\text{op}}(a) $ satisfied for the constructed $ R $-matrix?
• RQ5 Can the Etingof-Kazhdan quantization framework be extended to Lie bialgebroids to yield a global formality theorem between tensor fields and multidifferential operators?

Key findings

• A $ G_{\infty} $-structure is constructed on the tensor algebra $ TU $, with underlying $ L_{\infty} $-structure given by the deformed Gerstenhaber bracket and coHochschild differential.
• An $ L_{\infty} $-quasi-isomorphism $ \varphi $ exists between $ C(\mathfrak{g}) $ and $ TU $, with $ \varphi^1(v) \equiv \operatorname{Alt}(v) \mod \hbar $, generalizing Calaque's result to the Lie bialgebra case.
• For any finite-dimensional coboundary Lie bialgebra $ (\mathfrak{g}, r, Z) $, a quantization $ R \in U_{\hbar}(\mathfrak{g})^{ ens 2} $ is constructed such that $ R = 1 + \hbar r + O(\hbar^2) $ and satisfies the quantum Yang-Baxter equation.
• The constructed $ R $-matrix satisfies $ R^{1,2}(\Delta_{\hbar} \otimes \operatorname{id})(R) = R^{2,3}(\operatorname{id} \otimes \Delta_{\hbar})(R) $, confirming it as a solution to the quantum Yang-Baxter equation.
• The quasi-isomorphism induces a quasi-isomorphism between the coHochschild complex of $ U_{\hbar}(\mathfrak{g}) $ and the exterior algebra $ C(\mathfrak{g}) $ with cobracket differential, generalizing known results for $ \delta_{\hbar} = 0 $.
• The construction provides a solution to Drinfeld's last unsolved problem in the coboundary case, though the full Hopf algebra axioms (especially $ R^{-1} = R^{2,1} $ and twist symmetry) remain to be fully verified in general.