Álgebra de Hopf

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.^[1]^[2]^[3]

[1]

[2]

[3]

Ejemplo	Estructura subyacente	Coproducto	Counidad	Antípoda	¿Conmutativa?	¿Coconmutativa?	Observaciones
Álgebra de grupo $KG$	Grupo $G$	$\Delta (g)=g\otimes g$	$\varepsilon (g)=1$	$S(g)=g^{-1}$	Sí ⇔ $G$ abeliano	Sí
Álgebra de funciones $K^{G}$	Grupo finito $G$	$\Delta (f)(x,y)=f(xy)$	$\varepsilon (f)=f(e)$	$S(f)(x)=f(x^{-1})$	Sí	Sí ⇔ $G$ abeliano	Isomorfo al dual de $KG$ . Operaciones punto a punto.
Álgebra tensorial $T(V)$	Espacio vectorial $V$	$\Delta (v)=v\otimes 1+1\otimes v$	$\varepsilon (v)=0$	$S(v)=-v$	Solo si $\dim V\leq 1$	Sí	Extendible a las álgebras simétrica y exterior.
Álgebra envolvente universal $U({\mathfrak {g}})$	Álgebra de Lie ${\mathfrak {g}}$	$\Delta (x)=x\otimes 1+1\otimes x$	$\varepsilon (x)=0$	$S(x)=-x$	Sí ⇔ ${\mathfrak {g}}$ abeliana	Sí
Álgebra de Sweedler $H_{4}$	Cuerpo $K$ de característica distinta de 2	$\Delta (c)=c\otimes c$ , $\Delta (x)=c\otimes x+x\otimes 1$	$\varepsilon (c)=1$ , $\varepsilon (x)=0$	$S(c)=c$ , $S(x)=-cx$	No	No	Álgebra de dimensión 4. Primer ejemplo no conmutativo ni coconmutativo.

Álgebra de Hopf

Ejemplos

Véase también

Referencias

Bibliografía adicional

Related Articles