Une algèbre de Hopf est une bialgèbre (une algèbre associative avec une structure de coalgèbre coassociative compatible : comultiplication Δ et counit ε) munie d'un antipode S, une application linéaire jouant le rôle d'inverse catégorique pour la convolution et vérifiant des axiomes d'accord entre structures algébriques et coalgébraiques.

Principe

L'antipode, avec la comultiplication et le counit, fournit une notion d'inversion et de dualité : les algèbres de Hopf codent des objets de symétrie dont les catégories de représentations sont monoidales et souvent rigides, permettant des convolutions et constructions duales.

Démonstration

L'algèbre de groupe K[G] d'un groupe G devient une algèbre de Hopf avec Δ(g)=g⊗g, ε(g)=1 et S(g)=g^{-1}. L'algèbre enveloppante U(g) d'une algèbre de Lie est un autre exemple classique, la Δ étant déterminée sur les générateurs.

Mauvaise application

Confondre une bialgèbre avec une algèbre de Hopf en supposant que l'antipode existe automatiquement est une erreur grave ; de même, supposer que les duaux en dimension finie produisent toujours des duaux de Hopf réels sans précautions topologiques est trompeur.

Conséquence

Lorsque les axiomes de Hopf sont satisfaits on obtient des outils de dualité, des produits de convolution sur les applications linéaires, des catégories de modules et comodule munies de produits tensoriels, et des résultats structurels employés dans les groupes quantiques et la théorie des groupes algébriques.

Inversion

L'inverse est une bialgèbre dépourvue d'antipode ou une coalgèbre sans structure algébrique compatible ; sans antipode on ne peut former d'opérations de type inversion ni garantir un comportement monoidal rigide dans les catégories de représentations.

Limite

Exige des applications algébriques et coalgébraiques compatibles sur un même espace vectoriel (ou module) et l'existence d'un antipode vérifiant les identités de Hopf ; exclut les bialgèbres pures, les coalgèbres seules et les structures nécessitant des duaux complétés sans topologie.

Tension sémantique

Il existe une tension entre les algèbres de Hopf et les notions proches comme les quasi-Hopf ou les weak Hopf où les axiomes sont relâchés ; ces relâchements échangent un antipode strict ou la coassociativité contre une plus grande souplesse de symétrie au prix de complexifier la dualité standard.

Synthèse

Une algèbre de Hopf est un objet linéaire unique combinant structures d'algèbre et de coalgèbre reliées et muni d'un antipode réalisant une inversion abstraite ; elle condense dualité algébrique et coalgébraique pour modéliser la symétrie, fournir des convolutions et soutenir des théories de représentation tensorielles.