Tipo de álgebra de Lie de interés en física
En matemáticas , las álgebras de bucles son ciertos tipos de álgebras de Lie , de particular interés en física teórica .
Definición
Para un álgebra de Lie sobre un campo , si es el espacio de polinomios de Laurent , entonces![{\displaystyle {\mathfrak {g}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle K[t,t^{-1}]}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L{\mathfrak {g}}:={\mathfrak {g}}\otimes K[t,t^{-1}],}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle [X\otimes t^{m},Y\otimes t^{n}]=[X,Y]\otimes t^{m+n}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Definición geométrica
Si es un álgebra de Lie, el producto tensorial de con C ∞ ( S 1 ) , el álgebra de funciones suaves (complejas) sobre la variedad circular S 1 (equivalentemente, funciones periódicas suaves de valores complejos de un período dado),![{\displaystyle {\mathfrak {g}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {g}}\otimes C^{\infty }(S^{1}),}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
es un álgebra de Lie de dimensión infinita con el corchete de Lie dado por
![{\displaystyle [g_{1}\otimes f_{1},g_{2}\otimes f_{2}]=[g_{1},g_{2}]\otimes f_{1}f_{2}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Aquí g 1 y g 2 son elementos de y f 1 y f 2 son elementos de C ∞ ( S 1 ) .![{\displaystyle {\mathfrak {g}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Esto no es precisamente lo que correspondería al producto directo de infinitas copias de , una por cada punto en S 1 , debido a la restricción de suavidad. En cambio, se puede pensar en términos de un mapa suave desde S 1 hasta ; En otras palabras, un bucle parametrizado suave en . Por eso se llama álgebra de bucles .![{\displaystyle {\mathfrak {g}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {g}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\mathfrak {g}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Gradación
Definiendo como el subespacio lineal que el corchete restringe a un producto
![{\displaystyle {\mathfrak {g}}_{i}={\mathfrak {g}}\otimes t^{i}<L{\mathfrak {g}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle [\cdot \,,\,\cdot ]:{\mathfrak {g}}_{i}\times {\mathfrak {g}}_{j}\rightarrow {\mathfrak {g}}_{ i+j},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
de álgebra de Lie![{\displaystyle \mathbb {Z} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En particular, el corchete se restringe a la subálgebra de 'modo cero' .![{\displaystyle {\mathfrak {g}}_{0}\cong {\mathfrak {g}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Derivación
Existe una derivación natural en el álgebra de bucles, que convencionalmente se denota actuando como![{\displaystyle d}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d:L{\mathfrak {g}}\rightarrow L{\mathfrak {g}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d(X\otimes t^{n})=nX\otimes t^{n}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d=t{\frac {d}{dt}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Es necesario definir álgebras de Lie afines , que se utilizan en física, particularmente en teoría de campos conforme .
grupo de bucle
De manera similar, un conjunto de todos los mapas suaves desde S 1 hasta un grupo de Lie G forma un grupo de Lie de dimensión infinita (grupo de Lie en el sentido en que podemos definir derivadas funcionales sobre él) llamado grupo de bucles . El álgebra de Lie de un grupo de bucles es el álgebra de bucles correspondiente.
Álgebras de Lie afines como extensión central de las álgebras de bucles
Si es un álgebra de Lie semisimple , entonces una extensión central no trivial de su álgebra de bucles da lugar a un álgebra de Lie afín . Además, esta extensión central es única. [1]![{\displaystyle {\mathfrak {g}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle L{\mathfrak {g}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La extensión central viene dada por un elemento central contiguo , es decir, para todos ,![{\displaystyle {\sombrero {k}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle X\otimes t^{n}\in L{\mathfrak {g}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle [{\hat {k}},X\otimes t^{n}]=0,}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle [X\otimes t^{m},Y\otimes t^{n}]=[X,Y]\otimes t^{m+n}+mB(X,Y)\delta _{m+ n,0}{\sombrero {k}},}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
forma de matar![{\displaystyle B(\cdot,\cdot)}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
La extensión central es, como espacio vectorial, (en su definición habitual, como de manera más general, puede considerarse un campo arbitrario).![{\displaystyle L{\mathfrak {g}}\oplus \mathbb {C} {\hat {k}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \mathbb {C} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
ciclo
Utilizando el lenguaje de la cohomología del álgebra de Lie , la extensión central se puede describir utilizando un ciclo de 2 en el álgebra de bucles. este es el mapa
![{\displaystyle \varphi :L{\mathfrak {g}}\times L{\mathfrak {g}}\rightarrow \mathbb {C} }](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi (X\otimes t^{m},Y\otimes t^{n})=mB(X,Y)\delta _{m+n,0}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle \varphi (X\otimes t^{m},Y\otimes t^{n}){\hat {k}}.}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
Álgebra de mentira afín
En física, la extensión central a veces se denomina álgebra de Lie afín. En matemáticas, esto es insuficiente y el álgebra de Lie afín completa es el espacio vectorial [2]![{\displaystyle L{\mathfrak {g}}\oplus \mathbb {C} {\hat {k}}}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle {\hat {\mathfrak {g}}}=L{\mathfrak {g}}\oplus \mathbb {C} {\hat {k}}\oplus \mathbb {C} d}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
![{\displaystyle d}](data:image/gif;base64,R0lGODlhAQABAIAAAAAAAP///yH5BAEAAAAALAAAAAABAAEAAAIBRAA7)
En este espacio, la forma Killing se puede extender a una forma no degenerada, lo que permite un análisis del sistema de raíces del álgebra de Lie afín.
Referencias
- Fuchs, Jurgen (1992), Álgebras de mentiras afines y grupos cuánticos , Cambridge University Press, ISBN 0-521-48412-X