Supergroup (physics)

From Wikipedia, the free encyclopedia

This article or section is in need of attention from an expert on the subject. Please help recruit one or improve this article yourself. See the talk page for details. Please consider using {{Expert-subject}} to associate this request with a WikiProject

The concept of supergroup is a generalization of that of group. In other words, every group is a supergroup but not every supergroup is a group.^{[citation needed]}

First, let us define a Hopf superalgebra. A Hopf algebra can be defined category-theoretically as an object in the category of vector spaces together with a collection of morphisms (∇, Δ, η, ε, S) satisfying certain commutativity axioms. A Hopf superalgebra can be defined in a completely analogous manner in the category of super vector spaces. The amounts to the additional requirement that the morphisms ∇, Δ, η, ε, S are all even.

A Lie supergroup is a supermanifold G together with a morphism which makes G a group object in the category of supermanifolds. This is a generalization of a Lie group. The algebra of supercommutative functions over the supergroup can be turned into a Z₂-graded Hopf algebra. The representations of this Hopf algebra turn out to be comodules. This Hopf algebra gives the global properties of the supergroup.

There is another related Hopf algebra which is the dual of the previous Hopf algebra. This only gives the local properties of the symmetries (i.e., they only give the information about infinitesimal supersymmetry transformations). The representations of this Hopf algebra are modules. And this Hopf algebra is the universal enveloping algebra of the Lie superalgebra.

There are many possible supergroups but the only ones in which we are interested are the ones which generalize the Poincaré group and the conformal group. Thus, interesting groups are the orthosymplectic groups Osp(N/M) and the superconformal groups SU(N/M).