[Paper Review] Comparison of Poisson structures and Poisson-Lie dynamical r-matrices

Benjamin Enriquez, Pavel Etingof+1 more|arXiv (Cornell University)|Dec 17, 2004

Advanced Topics in Algebra14 references4 citations

TL;DR

This paper establishes a Poisson isomorphism between the formal dual of a finite-dimensional quasitriangular Lie bialgebra $\mathfrak{g}^*$ (equipped with the Lie-Poisson structure) and the formal Poisson-Lie group $G^*$ (with the Poisson-Lie structure), using geometric and quantization methods. The key result is a canonical isomorphism that generalizes the Ginzburg-Weinstein theorem and provides a quantization of Poisson-Lie dynamical $r$-matrices via Drinfeld associators and twist transformations.

ABSTRACT

We construct a Poisson isomorphism between the formal Poisson manifolds g^* and G^*, where g is a finite dimensional quasitriangular Lie bialgebra. Here g^* is equipped with its Lie-Poisson (or Kostant-Kirillov-Souriau) structure, and G^* with its Poisson-Lie structure. We also quantize Poisson-Lie dynamical r-matrices of Balog-Feher-Palla.

Motivation & Objective

• To establish a Poisson isomorphism between the formal Poisson manifolds $\mathfrak{g}^*$ and $G^*$, where $\mathfrak{g}$ is a finite-dimensional quasitriangular Lie bialgebra.
• To generalize the Ginzburg-Weinstein theorem to the formal setting and extend it beyond nondegenerate $t$-tensors.
• To provide a quantization of the Poisson-Lie dynamical $r$-matrices introduced by Balog-Fehér-Palla using universal quantum groups and Drinfeld associators.
• To demonstrate that the classical limit of a twisted quantum group yields the Poisson-Lie dynamical $r$-matrix $\rho_{\text{FM}}$.

Proposed method

• Constructs a formal group-valued map $g(\lambda) \in \text{Map}_0(\mathfrak{g}^*, G)$ satisfying a differential equation derived from the classical Yang-Baxter equation and gauge transformations.
• Uses the Alekseev-Meinrenken $r$-matrix $\rho_{\text{AM}}(\lambda) = (\text{id} \otimes \varphi(\text{ad} \lambda^\vee))(t)$ as a key component in the geometric proof.
• Applies the theory of quantization of Lie bialgebras, using a universal Lie associator $\Phi_{\text{univ}}$ and an admissible twist $J$ to deform the universal enveloping algebra $U(\mathfrak{g})[[\hbar]]$.
• Computes the classical limit of the twisted associator $\Phi_\nu^J$ to obtain the Poisson-Lie dynamical $r$-matrix $\rho_{\text{FM}}(g^*)$, showing it matches the desired classical structure.
• Establishes that the group $\text{Map}_0^{\text{ham}}(\mathfrak{g}^*, G)$ acts simply and transitively on solutions to the defining equation for $g(\lambda)$, ensuring uniqueness and existence.
• Relies on the $G$-equivariance of $\rho_{\text{AM}}$ and $\rho_{\text{AM}}^\nu$ to relate the classical limit of the twisted associator to the dynamical $r$-matrix $\rho_{\text{FM}}$.

Experimental results

Research questions

• RQ1 Can a Poisson isomorphism be constructed between the formal Poisson manifold $\mathfrak{g}^*$ with the Lie-Poisson structure and $G^*$ with the Poisson-Lie structure for a quasitriangular Lie bialgebra?
• RQ2 Does the nondegeneracy assumption on $t = r + r^{2,1}$ affect the existence of such an isomorphism, and can it be removed?
• RQ3 How can the Poisson-Lie dynamical $r$-matrix $\rho_{\text{FM}}$ be quantized using quantum group techniques?
• RQ4 What is the classical limit of the twisted quantum group $(U(\mathfrak{g})[[\hbar]], \Delta_0^J, \Phi_\nu^J)$, and does it recover $\rho_{\text{FM}}$?
• RQ5 Is there a canonical correspondence between the geometric construction of $g(\lambda)$ and the quantization of dynamical $r$-matrices?

Key findings

• The formal Poisson manifolds $\mathfrak{g}^*$ and $G^*$ are isomorphic as Poisson manifolds, generalizing the Ginzburg-Weinstein theorem to the formal setting.
• A geometric proof of the isomorphism is established under the nondegeneracy assumption on $t$, using a solution $g(\lambda)$ to a differential equation involving the classical Yang-Baxter equation.
• An unconditional proof of the isomorphism is provided via quantization techniques, showing that the existence of the isomorphism does not depend on $t$ being nondegenerate.
• The quantized universal enveloping algebra $U_\hbar(\mathfrak{g}) = U(\mathfrak{g})[[\hbar]]^J$ equipped with the twisted associator $\Phi_\nu^J$ provides a quantization of the Poisson-Lie dynamical $r$-matrix $\rho_{\text{FM}}(g^*)$.
• The classical limit of the twisted associator $\Phi_\nu^J$ yields $\rho_{\text{FM}}(g^*) = \text{Ad}(g(\lambda))^{\otimes 2}(\rho_{\text{AM}}(\lambda) - \rho_{\text{AM}}^\nu(\lambda))$, which matches the dynamical $r$-matrix of Balog-Fehér-Palla.
• The map $g(\lambda)$ induces a Poisson isomorphism $\lambda \mapsto \text{Ad}^*(g(\lambda))(\lambda)$, and the group $\text{Map}_0^{\text{ham}}(\mathfrak{g}^*, G)$ acts simply and transitively on such solutions, ensuring uniqueness.