Biálgebra de Lie

En matemáticas, una biálgebra de Lie es un caso de biálgebra en la teoría de Lie, es decir, un conjunto con estructuras de álgebra de Lie y coálgebra de Lie compatibles.Es una biálgebra donde la comultiplicación es antisimétrica y satisface una identidad de Jacobi dual, de forma que el espacio vectorial dual es un álgebra de Lie, al mismo tiempo que la comultiplicación es un 1-cociclo, de forma que la multiplicación y la comultiplicación son compatibles.La condición de cociclo implica que, en la práctica, se estudian únicamente clases de biálgebras que son cohomólogas a una biálgebra de Lie en un coborde.Se conocen también como álgebras de Poisson-Hopf, y son el álgebra de Lie de un grupo de Poisson-Lie.es una biálgebra de Lie si es un álgebra de Lie y existe también una estructura de álgebra de Lie compatible en el espacio dualviene dada por un corchete de Liey la estructura de álgebra de Lie enviene dada por un corchete de LieEntonces, la aplicación dual dey la condición de compatibilidad es la siguiente relación de cociclos: dondeNótese que esta definición es simétrica y por tantoes también una biálgebra de Lie, y se denomina biálgebra de Lie dual.y asignemos las raíces positivas.y existe una proyección naturalDefinimos entonces un álgebra de Lie que es una subálgebra del producto, y tiene la misma dimensión quela forma de Killing.Esto define una estructura de biálgebra de Lie en, y es el ejemplo estándar: subyace al grupo cuántico de Drinfeld-Jimbo.El álgebra de Liecomo es habitual, y la linealización de la estructura de Poisson en G da el corchete de Lie en(recordando que una estructura de Poisson lineal sobre un espacio vectorial es lo mismo que un corchete de Lie sobre el espacio dual).De forma más detallada, sea G un grupo de Poisson-Lie y seandos funciones suaves sobre la variedad de grupo.ξ = ( d fel diferencial en el elemento identidad.La estructura de Poisson en el grupo induce así un corchete enes el corchete de Poisson.el bivector de Poisson sobre la variedad, se definecomo la traslación a derecha del bivector al elemento identidad en G. Se tiene entonces que El coconmutador es entonces la aplicación tangente: de manera que es el dual del coconmutador.