[Paper Review] Triangular dynamical r-matrices and quantization

Ping Xu|ArXiv.org|May 1, 2000

Advanced Data Compression Techniques4 citations

TL;DR

This paper establishes that non-degenerate triangular dynamical r-matrices—solutions to the classical dynamical Yang-Baxter equation satisfying skew-symmetry and regularity—give rise to symplectic Poisson structures on $\mathfrak{h}^* \times G$, and proves they are quantizable via the Fedosov method. The key result is that such quantizations are classified by the relative Lie algebra cohomology $ H^2(\mathfrak{g}, \mathfrak{h})[[\hbar]] $, generalizing Drinfeld’s quantization for non-dynamical triangular r-matrices.

ABSTRACT

We provide a general study for triangular dynamical r-matrices using Poisson geometry. We show that a triangular dynamical r-matrix always gives rise to a regular Poisson manifold. Using the Fedosov method, we prove that non-degenerate (i.e., the corresponding Poisson manifolds are symplectic) triangular dynamical r-matrices (over $ \frakh^* $ and valued in $\wedge^{2}\frakg$) are quantizable, and the quantization is classified by the relative Lie algebra cohomology $H^{2}(\frakg, \frakh)[[\hbar ]]$. We also generalize this quantization method to splittable triangular dynamical r-matrices, which include all the known examples of triangular dynamical r-matrices. Finally, we arrive a conjecture that the quantization for an arbitrary triangular dynamical r-matrix is classified by the formal neighbourhood of this r-matrix in the modular space of triangular dynamical r-matrices. The dynamical r-matrix cohomology is introduced as a tool to understand such a modular space.

Motivation & Objective

• To address the open problem of quantizing general classical triangular dynamical r-matrices, especially in the non-degenerate (symplectic) case.
• To extend Drinfeld’s quantization method for triangular Lie bialgebras to the dynamical setting using Poisson geometry and Fedosov’s star-product construction.
• To classify the possible quantizations of non-degenerate triangular dynamical r-matrices and identify the cohomological invariant that parameterizes them.
• To investigate conditions under which a triangular dynamical r-matrix can be reduced to a non-degenerate one (so-called 'splittable' r-matrices), enabling quantization via the same method.

Proposed method

• Uses Poisson geometry to show that a triangular dynamical r-matrix $ r: \mathfrak{h}^* \to \wedge^2 \mathfrak{g} $ induces a regular, $ G \times H $-invariant Poisson structure on $ \mathfrak{h}^* \times G $.
• Applies the Fedosov method to construct star-products on the symplectic manifold $ \mathfrak{h}^* \times G $, using a torsion-free symplectic connection and a Weyl curvature form $ \Omega \in Z^2(M)[[\hbar]] $.
• Constructs a Fedosov connection $ D = -\delta + \partial + \frac{i}{\hbar}[\gamma, \cdot] $ on the Weyl algebra bundle, with $ \gamma \in \Gamma W_3 \otimes \Lambda^1 $, satisfying $ D^2 a = -\frac{i}{\hbar}[\Omega, a] $.
• Imposes the condition $ \delta^{-1}\gamma = 0 $ and solves the recursive equation $ \gamma_{n+1} = \delta^{-1}(\partial\gamma_n + \frac{i}{\hbar}\gamma_n^2) + \delta^{-1}\tilde{\Omega} $ to uniquely determine $ \gamma $.
• Uses the isomorphism $ \sigma: W_D \to C^\infty(M)[[\hbar]] $, defined by evaluation at $ y = 0 $, to lift smooth functions to parallel sections and define the star-product.
• Establishes that the space of Fedosov star-products is in bijection with $ Z^2(M)[[\hbar]] $, and that the classification of quantizations corresponds to $ H^2(\mathfrak{g}, \mathfrak{h})[[\hbar]] $ via cohomological invariants.

Experimental results

Research questions

• RQ1 Can non-degenerate triangular dynamical r-matrices be quantized, and if so, by what method?
• RQ2 What is the classification of all possible quantizations of a non-degenerate triangular dynamical r-matrix?
• RQ3 Under what conditions can a general triangular dynamical r-matrix be reduced to a non-degenerate one (i.e., be 'splittable')?
• RQ4 How does the Fedosov method generalize Drinfeld’s quantization procedure to the dynamical setting?
• RQ5 What cohomological invariant controls the moduli space of quantizations for such r-matrices?

Key findings

• A non-degenerate triangular dynamical r-matrix induces a symplectic Poisson structure on $ \mathfrak{h}^* \times G $, which is invariant under the left $ G $-action and right $ H $-action.
• The Fedosov method provides a systematic construction of star-products on this symplectic manifold, yielding a quantization of the r-matrix.
• The space of all such quantizations is classified by the relative Lie algebra cohomology group $ H^2(\mathfrak{g}, \mathfrak{h})[[\hbar]] $, which parameterizes the possible deformations.
• The construction is valid for both non-degenerate and splittable triangular dynamical r-matrices, extending the applicability beyond the non-degenerate case.
• The Fedosov connection $ D $ is uniquely determined by a symplectic connection and a Weyl curvature $ \Omega \in Z^2(M)[[\hbar]] $, ensuring the existence and uniqueness of the star-product.
• The isomorphism $ \sigma: W_D \to C^\infty(M)[[\hbar]] $ allows the identification of the algebra of quantum observables with formal power series on the manifold.