Weak Hopf algebra

In mathematics, weak bialgebras are a generalization of bialgebras that are both algebras and coalgebras but for which the compatibility conditions between the two structures have been "weakened". In the same spirit, weak Hopf algebras are weak bialgebras together with a linear map S satisfying specific conditions; they are generalizations of Hopf algebras.

These objects were introduced by Böhm, Nill and Szlachányi. The first motivations for studying them came from quantum field theory and operator algebras.[1] Weak Hopf algebras have quite interesting representation theory; in particular modules over a semisimple finite weak Hopf algebra is a fusion category (which is a monoidal category with extra properties). It was also shown by Etingof, Nikshych and Ostrik that any fusion category is equivalent to a category of modules over a weak Hopf algebra.[2]

Definition

A weak bialgebra over a field is a vector space such that

  • forms an associative algebra with multiplication and unit ,
  • forms a coassociative coalgebra with comultiplication and counit ,

for which the following compatibility conditions hold :

  1. Multiplicativity of the Comultiplication :
    ,
  2. Weak Multiplicativity of the Counit :
    ,
  3. Weak Comultiplicativity of the Unit :
    ,

where flips the two tensor factors. Moreover is the opposite multiplication and is the opposite comultiplication. Note that we also implicitly use Mac Lane's coherence theorem for the monoidal category of vector spaces, identifying as well as .

The definition is fairly self-explanatory, one sees that it is the compatibility between the algebra and coalgebra structures that is weaken.

A weak Hopf algebra is a weak bialgebra with a linear map , called the antipode, that satisfies:

  • ,
  • ,
  • .

Examples

  1. Hopf algebra. Of course any Hopf algebra is a weak Hopf algebra.
  2. Groupoid algebra. Suppose is a groupoid and let be the groupoid algebra, in other words, the algebra generated by the morphisms . This becomes a weak Hopf algebra if we define
    • .

Note that this second example is a weak Hopf algebra but not a Hopf algebra.

Representation theory

Let H be a semisimple finite weak Hopf algebra, then modules over H form a semisimple rigid monoidal category with finitely many simple objects. Moreover the homomorphisms spaces are finite-dimensional vector spaces and the endomorphisms space of simple objects are one-dimensional. Finally, the monoidal unit is a simple object. Such a category is called a fusion category.

It can be shown that some monoidal category are not modules over a Hopf algebra. In the case of fusion categories (which are just monoidal categories with extra conditions), it was proved by Etingof, Nikshych and Ostrik that any fusion category is equivalent to a category of modules over a weak Hopf algebra.

Notes

  1. Böhm, Nill, Szlachányi. p. 387
  2. Etingof, Nikshych and Ostrik, Cor. 2.22
gollark: We checked, and a majority of people knew python.
gollark: Anyway, point is that if any language is allowed, people have to be able to know *all* the ones in use to participate to some degree.
gollark: You are wrong, bismuth you.
gollark: No, I mean to judge who wrote some code, it's important to have a decent working knowledge of that language, right?
gollark: There's also an important meta-level point about how when people *complained* about palaiologos's choice, they did not decide to actually discuss the merits of it with the community and have a productive discussion but just insist they were right and run a nonsensical vote.

References

  • Böhm, Gabriella; Nill, Florian; Szlachányi, Kornel (1999). "Weak Hopf algebras. I. Integral theory and -structure". Journal of Algebra. 221 (2): 385–438. doi:10.1006/jabr.1999.7984.
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.