El álgebra asociativa unitaria U(g) construida a partir de una álgegra de Lie g que es universal para representaciones de la Lie en álgebras asociativas; obtenida concretamente como el cociente de la álgebra tensorial T(g) por el ideal generado por x⊗y − y⊗x − [x,y].

Principio

Codificar el corchete de Lie dentro de un álgebra asociativa para que los módulos de Lie correspondan a módulos sobre U(g); la universalidad significa que cualquier homomorfismo de Lie de g al Lie de una álgebra asociativa se factoriza de manera única a través de U(g).

Demostración

Para la Lie abeliana g (corchete cero), U(g) es la álgebra simétrica S(g); para g = sl2, U(g) tiene una base PBW (Poincaré–Birkhoff–Witt) que proporciona una filtración de tipo graduado y sostiene la clasificación de las representaciones de dimensión finita mediante la teoría de pesos más altos.

Aplicación incorrecta

Confundir U(g) con el álgebra del grupo de una grupo de Lie o asumir que U(g) es conmutativa; otro error es ignorar la filtración PBW y deducir igualdades graduadas que sólo valen al pasar a la álgebra graduada asociada.

Consecuencia

U(g) proporciona un marco asociativo concreto para estudiar representaciones, elementos centrales (operadores Casimir) y fenómenos de deformación/cuantización; permite el paso entre técnicas de teoría de Lie y métodos de álgebra asociativa.

Inversión

En vez de envolver una álgebra de Lie por un álgebra asociativa, puede tomarse la álgebra de Lie de un álgebra asociativa antisimetizando el producto; la inversión desplaza el foco desde construcciones asociativas universales hacia la estructura de Lie intrínseca de las álgebras asociativas.

Límite

Definida para álgebras de Lie sobre un anillo o cuerpo base; se requiere precaución en característica positiva y para g de dimensión infinita donde pueden ser necesarias completaciones o variantes topológicas de U(g). U(g) codifica estructura de Lie pero no recupera información global de grupo ni topología de grupo sin datos adicionales.

Tensión semántica

Tensión con el álgebra simétrica y con las álgebras de grupo: U(g) se reduce a la álgebra simétrica cuando el corchete es nulo, pero en general es no conmutativa y difiere fundamentalmente de álgebras que surgen de grupos; su universalidad la distingue de construcciones asociativas ad hoc.

Síntesis

El álgebra envolvente universal es el álgebra asociativa cociente de T(g) que realiza el corchete de Lie como conmutadores, proporcionando un hogar universal para representaciones de Lie y conectando la teoría de Lie con métodos de álgebra asociativa mediante el teorema PBW y construcciones centrales.