[Paper Review] Quantization of Gamma-Lie bialgebras

Benjamin Enriquez, Gilles Halbout|arXiv (Cornell University)|Jul 31, 2006

Algebraic structures and combinatorial models6 references3 citations

TL;DR

This paper introduces Γ-Lie bialgebras—Lie bialgebras equipped with a group action—and constructs a quantization functor for the associated co-Poisson bialgebras $U(\mathfrak{a}) \rtimes \Gamma$. By extending Etingof-Kazhdan quantization to twisted structures under group actions, the authors establish a systematic quantization procedure for a broader class of co-Poisson bialgebras, including those arising from Poisson-Lie groups and Kac-Moody algebras with extended Weyl groups.

ABSTRACT

We introduce the notion of Gamma-Lie bialgebra, where Gamma is a group. These objects give rise to cocommutative co-Poisson algebras, for which we construct quantization functors. This enlarges the class of co-Poisson algebras for which a quantization is known. Our result relies on our earlier work, where we showed that twists of Lie bialgebras can be quantized; we complement this work by studying the behavior of this quantization under compositions of twists.

Motivation & Objective

• To generalize the Etingof-Kazhdan quantization of Lie bialgebras to the setting of Γ-Lie bialgebras, where a group Γ acts on a Lie algebra $\mathfrak{a}$.
• To define a new class of co-Poisson bialgebras—$U(\mathfrak{a}) \rtimes \Gamma$—equipped with Γ-grading and compatible co-Poisson structures arising from Lie bialgebra data and group-twisted 2-cocycles.
• To extend the known quantization of Lie bialgebras to the case of group-graded bialgebras by analyzing the behavior of Etingof-Kazhdan functors under composition of twists.
• To provide a uniform quantization framework for quasitriangular Γ-Lie bialgebras, showing equivalence between direct and functorial quantization constructions via inner automorphisms.
• To conjecture that for simple or Kac-Moody Lie algebras with extended Weyl group actions, the only possible quantization is the Majid-Soibelman algebra, generalizing known results.

Proposed method

• Introduce the notion of a Γ-Lie bialgebra as a triple $(\mathfrak{a}, \mu_{\mathfrak{a}}, \delta_{\mathfrak{a}})$ with a group action $\theta_{\mathfrak{a}}: \Gamma \to \operatorname{Aut}(\mathfrak{a})$ and a twist map $f: \Gamma \to \wedge^2(\mathfrak{a})$ satisfying cohomological conditions.
• Construct the co-Poisson bialgebra structure on the smash product $U(\mathfrak{a}) \rtimes \Gamma$, where the coproduct is deformed via group action and twist data.
• Leverage the Etingof-Kazhdan quantization functor $Q$ for Lie bialgebras, extended to handle twists via the assignment $f_{\mathfrak{a}} \mapsto \operatorname{F}({\mathfrak{a}}, f_{\mathfrak{a}}) \in Q({\mathfrak{a}})^{\otimes 2}$, satisfying cocycle and compatibility conditions.
• Analyze the composition of twists: for a pair $(f_{\mathfrak{a}}, f'_{\mathfrak{a}})$, define a correction element $\operatorname{v}({\mathfrak{a}}, f_{\mathfrak{a}}, f'_{\mathfrak{a}})$ such that $\operatorname{F}(f_{\mathfrak{a}} + f'_{\mathfrak{a}})$ is expressed in terms of $\operatorname{F}({\mathfrak{a}}_{f_{\mathfrak{a}}}, f'_{\mathfrak{a}})$, $\operatorname{F}({\mathfrak{a}}, f_{\mathfrak{a}})$, and $\operatorname{v}$, ensuring consistency under iterated twisting.
• Construct a quantization of quasitriangular Γ-Lie bialgebras via the Drinfeld twist $\operatorname{J}(\hbar r_{\mathfrak{a}})$, defining the coproduct as $\Delta = \operatorname{J} \Delta_0 \operatorname{J}^{-1}$, with the product undeformed.
• Establish equivalence between the direct quantization and the Etingof-Kazhdan functorial construction via an inner automorphism of the completed prop $S({\bf qt}_{\Gamma})^{\Gamma}$, using the twist compatibility formula involving $\operatorname{j}({\mathfrak{a}}, r_{\mathfrak{a}})$ and $\operatorname{v}$.

Experimental results

Research questions

• RQ1 How can the Etingof-Kazhdan quantization functor be extended to co-Poisson bialgebras of the form $U(\mathfrak{a}) \rtimes \Gamma$ with a group action?
• RQ2 What conditions must a map $f: \Gamma \to \wedge^2(\mathfrak{a})$ satisfy to define a valid co-Poisson structure on $U(\mathfrak{a}) \rtimes \Gamma$?
• RQ3 How does the Etingof-Kazhdan quantization functor behave under composition of twists in the presence of a group action?
• RQ4 Can the direct quantization of quasitriangular Γ-Lie bialgebras be shown to be equivalent to the functorial quantization via Etingof-Kazhdan methods?
• RQ5 Is the Majid-Soibelman algebra the unique quantization of $U(\mathfrak{a}) \rtimes \tilde{W}$ for a Kac-Moody algebra $\mathfrak{a}$ with extended Weyl group $\tilde{W}$?

Key findings

• The paper constructs a quantization functor for co-Poisson bialgebras of the form $U(\mathfrak{a}) \rtimes \Gamma$, where $\mathfrak{a}$ is a Lie algebra with a group action $\Gamma$ and a compatible twist map $f: \Gamma \to \wedge^2(\mathfrak{a})$.
• The authors prove that the Etingof-Kazhdan quantization functor is compatible with the composition of twists in the presence of a group action, by introducing a correction element $\operatorname{v}({\mathfrak{a}}, f_{\mathfrak{a}}, f'_{\mathfrak{a}})$ such that $\operatorname{F}(f_{\mathfrak{a}} + f'_{\mathfrak{a}})$ is expressed as a twisted product of $\operatorname{F}({\mathfrak{a}}_{f_{\mathfrak{a}}}, f'_{\mathfrak{a}})$, $\operatorname{F}({\mathfrak{a}}, f_{\mathfrak{a}})$, and $\operatorname{v}$.
• For quasitriangular Γ-Lie bialgebras, the direct quantization via the Drinfeld twist $\operatorname{J}(\hbar r_{\mathfrak{a}})$ is shown to be equivalent to the Etingof-Kazhdan functorial construction, up to an inner automorphism in $S({\bf qt}_{\Gamma})^{\Gamma}$.
• The paper establishes a natural prop morphism $\operatorname{Bialg}_{\Gamma} \to S({\bf LBA}_{\Gamma})^{\Gamma}$, which lifts to a quantization functor from the category of Γ-Lie bialgebras to quasicocommutative group bialgebras.
• The authors conjecture that for a simple or Kac-Moody Lie algebra $\mathfrak{a}$ with extended Weyl group $\tilde{W}$, the only possible quantization of $U(\mathfrak{a}) \rtimes \tilde{W}$ is the Majid-Soibelman algebra, generalizing known results in the finite case.
• The compatibility formula $\operatorname{j}({\mathfrak{a}}, r_{\mathfrak{a}} + f_{\mathfrak{a}}) = \operatorname{i}({\mathfrak{a}}, f_{\mathfrak{a}}) \circ \operatorname{j}({\mathfrak{a}}, r_{\mathfrak{a}}) \circ \operatorname{Ad}(\operatorname{v}({\mathfrak{a}}, r_{\mathfrak{a}})^{-1})$ is derived, showing consistency between twist deformations and quantization maps.