Grupo Poisson-Lie

Colector de Poisson que también es un grupo de Lie.

En matemáticas , un grupo de Poisson-Lie es una variedad de Poisson que también es un grupo de Lie , siendo la multiplicación del grupo compatible con la estructura del álgebra de Poisson en la variedad.

La contraparte infinitesimal de un grupo de Poisson-Lie es una biálgebra de Lie , en analogía con las álgebras de Lie como contrapartes infinitesimales de los grupos de Lie.

Muchos grupos cuánticos son cuantificaciones del álgebra de funciones de Poisson en un grupo de Poisson-Lie.

Definición

Un grupo de Poisson-Lie es un grupo de Lie equipado con un corchete de Poisson para el cual la multiplicación del grupo es un mapa de Poisson , donde a la variedad se le ha dado la estructura de una variedad de Poisson producto. ${\displaystyle G}$ ${\displaystyle \mu :G\times G\to G}$ ${\displaystyle \mu (g_{1},g_{2})=g_{1}g_{2}}$ ${\displaystyle G\times G}$

Explícitamente, la siguiente identidad debe ser válida para un grupo de Poisson-Lie:

${\displaystyle \{f_{1},f_{2}\}(gg')=\{f_{1}\circ L_{g},f_{2}\circ L_{g}\}(g')+\{f_{1}\circ R_{g^{\prime }},f_{2}\circ R_{g'}\}(g)}$

donde y son funciones suaves y de valor real en el grupo de Lie, mientras que y son elementos del grupo de Lie. Aquí, denota multiplicación por la izquierda y multiplicación por la derecha. ${\displaystyle f_{1}}$ ${\displaystyle f_{2}}$ ${\displaystyle g}$ ${\displaystyle g'}$ ${\displaystyle L_{g}}$ ${\displaystyle R_{g}}$

Si denota el bivector de Poisson correspondiente en , la condición anterior se puede expresar de manera equivalente como ${\displaystyle {\mathcal {P}}}$ ${\displaystyle G}$

${\displaystyle {\mathcal {P}}(gg')=L_{g\ast }({\mathcal {P}}(g'))+R_{g'\ast }({\mathcal {P}}(g))}$

En particular, tomando uno se obtiene , o equivalentemente . Al aplicar el teorema de división de Weinstein a uno, se ve que la estructura no trivial de Poisson-Lie nunca es simpléctica, ni siquiera de rango constante. ${\displaystyle g=g'=e}$ ${\displaystyle {\mathcal {P}}(e)=0}$ ${\displaystyle \{f,g\}(e)=0}$ ${\displaystyle e}$

Grupos de Poisson-Lie - Correspondencia bialgebra de Lie

El álgebra de Lie de un grupo de Poisson-Lie tiene una estructura natural de coalgebra de Lie dada al linealizar el tensor de Poisson en la identidad, es decir, es una comultiplicación . Además, el álgebra y la estructura coalgebra son compatibles, es decir, es una biálgebra de Lie , ${\displaystyle {\mathfrak {g}}}$ ${\displaystyle P:G\to TG\wedge TG}$ ${\textstyle \delta :=d_{e}P:{\mathfrak {g}}\to {\mathfrak {g}}\wedge {\mathfrak {g}}}$ ${\displaystyle {\mathfrak {g}}}$

Drinfeld amplió la correspondencia clásica entre grupos de Lie y álgebra de Lie , que proporciona una equivalencia de categorías entre grupos de Lie simplemente conectados y álgebras de Lie de dimensión finita, a una equivalencia de categorías entre grupos de Poisson-Lie simplemente conectados y biálgebras de Lie de dimensión finita.

Gracias al teorema de Drinfeld, cualquier grupo de Poisson-Lie tiene un grupo de Poisson-Lie dual , definido como el grupo de Poisson-Lie que integra el dual de su biálgebra. ^{[1] [2] [3]} ${\displaystyle G}$ ${\displaystyle {\mathfrak {g}}^{*}}$

Homomorfismos

Un homomorfismo de grupo de Poisson-Lie se define como un homomorfismo de grupo de Lie y un mapa de Poisson. Aunque esta es la definición "obvia", ni las traducciones a la izquierda ni a la derecha son mapas de Poisson. Además, la toma del mapa de inversión tampoco es un mapa de Poisson, aunque sí un mapa anti-Poisson: ${\displaystyle \phi :G\to H}$ ${\displaystyle \iota :G\to G}$ ${\displaystyle \iota (g)=g^{-1}}$

${\displaystyle \{f_{1}\circ \iota ,f_{2}\circ \iota \}=-\{f_{1},f_{2}\}\circ \iota }$

para dos funciones suaves cualesquiera en . ${\displaystyle f_{1},f_{2}}$ ${\displaystyle G}$

Ejemplos

Ejemplos triviales

• Cualquier estructura de Poisson trivial en un grupo de Lie define una estructura de grupo de Poisson-Lie, cuya biálgebra es simplemente con la comultiplicación trivial. ${\displaystyle G}$ ${\displaystyle {\mathfrak {g}}}$
• El dual de un álgebra de Lie, junto con su estructura lineal de Poisson , es un grupo aditivo de Poisson-Lie. ${\displaystyle {\mathfrak {g}}^{*}}$

Estos dos ejemplos son duales entre sí mediante el teorema de Drinfeld, en el sentido explicado anteriormente.

Otros ejemplos

Sea cualquier grupo de Lie semisimple . Elija un toro máximo y una selección de raíces positivas . Sean los correspondientes subgrupos opuestos de Borel , de modo que y exista una proyección natural . Luego define un grupo de mentiras. ${\displaystyle G}$ ${\displaystyle T\subset G}$ ${\displaystyle B_{\pm }\subset G}$ ${\displaystyle T=B_{-}\cap B_{+}}$ ${\displaystyle \pi :B_{\pm }\to T}$

${\displaystyle G^{*}:=\{(g_{-},g_{+})\in B_{-}\times B_{+}\ {\bigl \vert }\ \pi (g_{-})\pi (g_{+})=1\}}$

que es un subgrupo del producto y tiene la misma dimensión que . ${\displaystyle B_{-}\times B_{+}}$ ${\displaystyle G}$

La estructura de grupo estándar de Poisson-Lie se determina identificando el álgebra de Lie de con el dual del álgebra de Lie de , como en el ejemplo estándar de biálgebra de Lie . Esto define una estructura de grupo de Poisson-Lie en ambos y en el grupo dual de Poisson Lie . Este es el ejemplo "estándar": el grupo cuántico de Drinfeld-Jimbo es una cuantificación del álgebra de funciones de Poisson en el grupo . Tenga en cuenta que tiene solución , mientras que es semisimple. ${\displaystyle G}$ ${\displaystyle G^{*}}$ ${\displaystyle G}$ ${\displaystyle G}$ ${\displaystyle G^{*}}$ ${\displaystyle U_{q}{\mathfrak {g}}}$ ${\displaystyle G^{*}}$ ${\displaystyle G^{*}}$ ${\displaystyle G}$

Ver también

• mentira bialgebra
• grupo cuántico
• Grupo cuántico afín
• Álgebras afines cuánticas

Referencias

1. Lu, Jiang-Hua; Weinstein, Alan (1 de enero de 1990). "Grupos de Poisson Lie, transformaciones de vestimenta y descomposiciones de Bruhat". Revista de Geometría Diferencial . 31 (2). doi : 10.4310/jdg/1214444324 . ISSN  0022-040X. S2CID  117053536.
2. Kosmann-Schwarzbach, Y. (1 de diciembre de 1996). "Grupos Poisson-Lie y más allá". Revista de Ciencias Matemáticas . 82 (6): 3807–3813. doi :10.1007/BF02362640. ISSN  1573-8795. S2CID  123117926.
3. Kosmann-Schwarzbach, Y. (1997). "Lie bialgebras, grupos de poisson Lie y transformaciones de vestimenta". En Y. Kosmann-Schwarzbach; B. Gramáticos; KM Tamizhmani (eds.). Integrabilidad de sistemas no lineales . Actas del Centro Internacional de Matemáticas Puras y Aplicadas de la Universidad de Pondicherry, 8 a 26 de enero de 1996. Apuntes de conferencias sobre física. vol. 495. Berlín, Heidelberg: Springer. págs. 104-170. doi :10.1007/BFb0113695. ISBN 978-3-540-69521-9.

• Doebner, H.-D.; Hennig, J.-D., eds. (1989). Grupos cuánticos . Actas del Octavo Taller Internacional de Física Matemática, Instituto Arnold Sommerfeld, Claausthal, RFA. Berlín: Springer-Verlag. ISBN 3-540-53503-9.
• Chari, Vyjayanthi ; Pressley, Andrés (1994). Una guía para grupos cuánticos . Cambridge: Cambridge University Press Ltd. ISBN 0-521-55884-0.