Supergroup (physics)

Last updated

The concept of supergroup is a generalization of that of group. In other words, every supergroup carries a natural group structure, but there may be more than one way to structure a given group as a supergroup. A supergroup is like a Lie group in that there is a well defined notion of smooth function defined on them. However the functions may have even and odd parts. Moreover, a supergroup has a super Lie algebra which plays a role similar to that of a Lie algebra for Lie groups in that they determine most of the representation theory and which is the starting point for classification.

Contents

Details

More formally, a Lie supergroup is a supermanifold G together with a multiplication morphism , an inversion morphism and a unit morphism which makes G a group object in the category of supermanifolds. This means that, formulated as commutative diagrams, the usual associativity and inversion axioms of a group continue to hold. Since every manifold is a supermanifold, a Lie supergroup generalises the notion of a Lie group.

There are many possible supergroups. The ones of most interest in theoretical physics are the ones which extend the Poincaré group or the conformal group. Of particular interest are the orthosymplectic groups Osp(M|N) [1] and the superunitary groups SU(M|N).

An equivalent algebraic approach starts from the observation that a supermanifold is determined by its ring of supercommutative smooth functions, and that a morphism of supermanifolds corresponds one to one with an algebra homomorphism between their functions in the opposite direction, i.e. that the category of supermanifolds is opposite to the category of algebras of smooth graded commutative functions. Reversing all the arrows in the commutative diagrams that define a Lie supergroup then shows that functions over the supergroup have the structure of a Z2-graded Hopf algebra. Likewise the representations of this Hopf algebra turn out to be Z2-graded 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. It can be identified with the Hopf algebra of graded differential operators at the origin. It only gives the local properties of the symmetries i.e., it only gives information about infinitesimal supersymmetry transformations. The representations of this Hopf algebra are modules. Like in the non-graded case, this Hopf algebra can be described purely algebraically as the universal enveloping algebra of the Lie superalgebra.

In a similar way one can define an affine algebraic supergroup as a group object in the category of superalgebraic affine varieties. An affine algebraic supergroup has a similar one to one relation to its Hopf algebra of superpolynomials. Using the language of schemes, which combines the geometric and algebraic point of view, algebraic supergroup schemes can be defined including super Abelian varieties.

Examples

The Super-Poincaré group is the group of isometries of superspace (specifically, Minkowski superspace with supercharges, where often is taken to be 1). It is most often treated at the algebra level, and is generated by the Super-Poincaré algebra.

The Super-conformal group is the group of conformal symmetries of superspace, generated by the super-conformal algebra.

Notes

  1. (M|N) is pronounced "M vertical bar N." Bosonic part of Osp(M|N) consists of the direct sum of Sp(N) and SO(M) Lie groups. See superspace for a general definition. (cf. Larus Thorlacius, Thordur Jonsson (eds.), M-Theory and Quantum Geometry, Springer, 2012, p. 263).

Related Research Articles

In mathematics, an associative algebraA over a commutative ring K is a ring A together with a ring homomorphism from K into the center of A. This is thus an algebraic structure with an addition, a multiplication, and a scalar multiplication. The addition and multiplication operations together give A the structure of a ring; the addition and scalar multiplication operations together give A the structure of a module or vector space over K. In this article we will also use the term K-algebra to mean an associative algebra over K. A standard first example of a K-algebra is a ring of square matrices over a commutative ring K, with the usual matrix multiplication.

In commutative algebra, the prime spectrum of a commutative ring R is the set of all prime ideals of R, and is usually denoted by ; in algebraic geometry it is simultaneously a topological space equipped with the sheaf of rings .

In mathematics, a Lie superalgebra is a generalisation of a Lie algebra to include a ‑grading. Lie superalgebras are important in theoretical physics where they are used to describe the mathematics of supersymmetry.

<span class="mw-page-title-main">Affine variety</span> Algebraic variety defined within an affine space

In algebraic geometry, an affine algebraic set is the set of the common zeros over an algebraically closed field k of some family of polynomials in the polynomial ring An affine variety or affine algebraic variety, is an affine algebraic set such that the ideal generated by the defining polynomials is prime.

In mathematics, a Hopf algebra, named after Heinz Hopf, is a structure that is simultaneously an algebra and a coalgebra, with these structures' compatibility making it a bialgebra, and that moreover is equipped with an antihomomorphism satisfying a certain property. The representation theory of a Hopf algebra is particularly nice, since the existence of compatible comultiplication, counit, and antipode allows for the construction of tensor products of representations, trivial representations, and dual representations.

In mathematics, specifically algebraic geometry, a scheme is a structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities and allowing "varieties" defined over any commutative ring.

Superspace is the coordinate space of a theory exhibiting supersymmetry. In such a formulation, along with ordinary space dimensions x, y, z, ..., there are also "anticommuting" dimensions whose coordinates are labeled in Grassmann numbers rather than real numbers. The ordinary space dimensions correspond to bosonic degrees of freedom, the anticommuting dimensions to fermionic degrees of freedom.

In mathematics and theoretical physics, a superalgebra is a Z2-graded algebra. That is, it is an algebra over a commutative ring or field with a decomposition into "even" and "odd" pieces and a multiplication operator that respects the grading.

In mathematics, the symmetric algebraS(V) (also denoted Sym(V)) on a vector space V over a field K is a commutative algebra over K that contains V, and is, in some sense, minimal for this property. Here, "minimal" means that S(V) satisfies the following universal property: for every linear map f from V to a commutative algebra A, there is a unique algebra homomorphism g : S(V) → A such that f = gi, where i is the inclusion map of V in S(V).

In physics and mathematics, supermanifolds are generalizations of the manifold concept based on ideas coming from supersymmetry. Several definitions are in use, some of which are described below.

In theoretical physics, a super-Poincaré algebra is an extension of the Poincaré algebra to incorporate supersymmetry, a relation between bosons and fermions. They are examples of supersymmetry algebras, and are Lie superalgebras. Thus a super-Poincaré algebra is a Z2-graded vector space with a graded Lie bracket such that the even part is a Lie algebra containing the Poincaré algebra, and the odd part is built from spinors on which there is an anticommutation relation with values in the even part.

In mathematics, a comodule or corepresentation is a concept dual to a module. The definition of a comodule over a coalgebra is formed by dualizing the definition of a module over an associative algebra.

In mathematics, loop algebras are certain types of Lie algebras, of particular interest in theoretical physics.

In mathematics, coherent duality is any of a number of generalisations of Serre duality, applying to coherent sheaves, in algebraic geometry and complex manifold theory, as well as some aspects of commutative algebra that are part of the 'local' theory.

In mathematics, algebraic spaces form a generalization of the schemes of algebraic geometry, introduced by Michael Artin for use in deformation theory. Intuitively, schemes are given by gluing together affine schemes using the Zariski topology, while algebraic spaces are given by gluing together affine schemes using the finer étale topology. Alternatively one can think of schemes as being locally isomorphic to affine schemes in the Zariski topology, while algebraic spaces are locally isomorphic to affine schemes in the étale topology.

In mathematics, a filtered algebra is a generalization of the notion of a graded algebra. Examples appear in many branches of mathematics, especially in homological algebra and representation theory.

Noncommutative algebraic geometry is a branch of mathematics, and more specifically a direction in noncommutative geometry, that studies the geometric properties of formal duals of non-commutative algebraic objects such as rings as well as geometric objects derived from them.

In mathematics, in the theory of Hopf algebras, a Hopf algebroid is a generalisation of weak Hopf algebras, certain skew Hopf algebras and commutative Hopf k-algebroids. If k is a field, a commutative k-algebroid is a cogroupoid object in the category of k-algebras; the category of such is hence dual to the category of groupoid k-schemes. This commutative version has been used in 1970-s in algebraic geometry and stable homotopy theory. The generalization of Hopf algebroids and its main part of the structure, associative bialgebroids, to the noncommutative base algebra was introduced by J.-H. Lu in 1996 as a result on work on groupoids in Poisson geometry. They may be loosely thought of as Hopf algebras over a noncommutative base ring, where weak Hopf algebras become Hopf algebras over a separable algebra. It is a theorem that a Hopf algebroid satisfying a finite projectivity condition over a separable algebra is a weak Hopf algebra, and conversely a weak Hopf algebra H is a Hopf algebroid over its separable subalgebra HL. The antipode axioms have been changed by G. Böhm and K. Szlachányi in 2004 for tensor categorical reasons and to accommodate examples associated to depth two Frobenius algebra extensions.

This is a glossary of algebraic geometry.

In mathematics and physics, super Minkowski space or Minkowski superspace is a supersymmetric extension of Minkowski space, sometimes used as the base manifold for superfields. It is acted on by the super Poincaré algebra.

References