En matemáticas, un álgebra de Hopf, llamada así en honor al matemático alemán Heinz Hopf, es una estructura algebraica que combina las propiedades de un álgebra asociativa con unidad y una coálgebra coasociativa con counidad, de manera compatible. Esta combinación da lugar a una biálgebra, que además incorpora un antihomomorfismo denominado antípoda, el cual cumple una identidad específica. Gracias a la existencia de una multiplicación, unidad, comultiplicación, counidad y antípoda compatibles, la teoría de representaciones de un álgebra de Hopf permite construir representaciones tensoriales, triviales y duales de forma natural.
Las álgebras de Hopf surgen de manera natural en diversas áreas de las matemáticas, especialmente en la topología algebraica (donde se originaron, en relación con los H-espacios), así como en la teoría de esquemas de grupo, las álgebras de grupos y otros contextos algebraicos. Se consideran el tipo más familiar de biálgebra. Además, se investigan tanto por sus ejemplos concretos como por sus problemas de clasificación. También tienen aplicaciones significativas en la física matemática, como en la física del estado sólido, la teoría cuántica de campos y la teoría de cuerdas.
Definición formal Un álgebra de Hopf es una biálgebra (asociativa y coasociativa) sobre un cuerpo , equipada con una aplicación -lineal (denominada antípoda) que cumple el siguiente diagrama conmutativo:
Aquí, ∇ representa la multiplicación, η la unidad, Δ la comultiplicación y ε la counidad de . En la notación de Sweedler, la propiedad fundamental se expresa como:
La definición es autodual: si es de dimensión finita, su espacio dual también admite una estructura natural de álgebra de Hopf.
Ejemplos Ejemplo Estructura subyacente Coproducto Counidad Antípoda ¿Conmutativa? ¿Coconmutativa? Observaciones Álgebra de grupo Grupo Sí ⇔ abeliano Sí Álgebra de funciones Grupo finito Sí Sí ⇔ abeliano Isomorfo al dual de . Operaciones punto a punto. Álgebra tensorial Espacio vectorial Solo si Sí Extendible a las álgebras simétrica y exterior. Álgebra envolvente universal Álgebra de Lie Sí ⇔ abeliana Sí Álgebra de Sweedler Cuerpo de característica distinta de 2 , , , No No Álgebra de dimensión 4. Primer ejemplo no conmutativo ni coconmutativo.
Véase también Álgebra asociativa Coálgebra Biálgebra Categoría monoidal
Referencias
Bibliografía adicional Dăscălescu, N., Năstăsescu, C. & Raianu, Ș. (2001). *Hopf Algebras. An Introduction*. Marcel Dekker. Underwood, R. G. (2011). *An Introduction to Hopf Algebras*. Springer. Montgomery, S. (1993). *Hopf Algebras and Their Actions on Rings*. AMS.
Categoría:Álgebras de Hopf Categoría:Álgebras Categoría:Estructuras algebraicas Categoría:Teoría de la representación