World Library  
Flag as Inappropriate
Email this Article

Superalgebra

Article Id: WHEBN0000469950
Reproduction Date:

Title: Superalgebra  
Author: World Heritage Encyclopedia
Language: English
Subject: Clifford algebra, Gerstenhaber algebra, Superoperator, Algebra (disambiguation), Graded (mathematics)
Collection: Algebras, Super Linear Algebra
Publisher: World Heritage Encyclopedia
Publication
Date:
 

Superalgebra

In mathematics and theoretical physics, a superalgebra is a Z2-graded algebra.[1] 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.

The prefix super- comes from the theory of supersymmetry in theoretical physics. Superalgebras and their representations, supermodules, provide an algebraic framework for formulating supersymmetry. The study of such objects is sometimes called super linear algebra. Superalgebras also play an important role in related field of supergeometry where they enter into the definitions of graded manifolds, supermanifolds and superschemes.

Contents

  • Formal definition 1
  • Examples 2
  • Further definitions and constructions 3
    • Even subalgebra 3.1
    • Grade involution 3.2
    • Supercommutativity 3.3
    • Super tensor product 3.4
  • Generalizations and categorical definition 4
  • Notes 5
  • References 6

Formal definition

Let K be a fixed commutative ring. In most applications, K is a field such as R or C.

A superalgebra over K is a K-module A with a direct sum decomposition

A = A_0\oplus A_1

together with a bilinear multiplication A × AA such that

A_iA_j \sube A_{i+j}

where the subscripts are read modulo 2.

A superring, or Z2-graded ring, is a superalgebra over the ring of integers Z.

The elements of Ai are said to be homogeneous. The parity of a homogeneous element x, denoted by |x|, is 0 or 1 according to whether it is in A0 or A1. Elements of parity 0 are said to be even and those of parity 1 to be odd. If x and y are both homogeneous then so is the product xy and |xy| = |x| + |y|.

An associative superalgebra is one whose multiplication is associative and a unital superalgebra is one with a multiplicative identity element. The identity element in a unital superalgebra is necessarily even. Unless otherwise specified, all superalgebras in this article are assumed to be associative and unital.

A commutative superalgebra (or supercommutative algebra) is one which satisfies a graded version of commutativity. Specifically, A is commutative if

yx = (-1)^{|x||y|}xy\,

for all homogeneous elements x and y of A.

Examples

  • Any algebra over a commutative ring K may be regarded as a purely even superalgebra over K; that is, by taking A1 to be trivial.
  • Any Z or N-graded algebra may be regarded as superalgebra by reading the grading modulo 2. This includes examples such as tensor algebras and polynomial rings over K.
  • In particular, any exterior algebra over K is a superalgebra. The exterior algebra is the standard example of a supercommutative algebra.
  • The symmetric polynomials and alternating polynomials together form a superalgebra, being the even and odd parts, respectively. Note that this is a different grading from the grading by degree.
  • Clifford algebras are superalgebras. They are generally noncommutative.
  • The set of all endomorphisms (both even and odd) of a super vector space forms a superalgebra under composition.
  • The set of all square supermatrices with entries in K forms a superalgebra denoted by Mp|q(K). This algebra may be identified with the algebra of endomorphisms of a free supermodule over K of rank p|q.
  • Lie superalgebras are a graded analog of Lie algebras. Lie superalgebras are nonunital and nonassociative; however, one may construct the analog of a universal enveloping algebra of a Lie superalgebra which is a unital, associative superalgebra.

Further definitions and constructions

Even subalgebra

Let A be a superalgebra over a commutative ring K. The submodule A0, consisting of all even elements, is closed under multiplication and contains the identity of A and therefore forms a subalgebra of A, naturally called the even subalgebra. It forms an ordinary algebra over K.

The set of all odd elements A1 is an A0-bimodule whose scalar multiplication is just multiplication in A. The product in A equips A1 with a bilinear form

\mu:A_1\otimes_{A_0}A_1 \to A_0

such that

\mu(x\otimes y)\cdot z = x\cdot\mu(y\otimes z)

for all x, y, and z in A1. This follows from the associativity of the product in A.

Grade involution

There is a canonical involutive automorphism on any superalgebra called the grade involution. It is given on homogeneous elements by

\hat x = (-1)^{|x|}x

and on arbitrary elements by

\hat x = x_0 - x_1

where xi are the homogeneous parts of x. If A has no 2-torsion (in particular, if 2 is invertible) then the grade involution can be used to distinguish the even and odd parts of A:

A_i = \{x \in A : \hat x = (-1)^i x\}.

Supercommutativity

The supercommutator on A is the binary operator given by

[x,y] = xy - (-1)^{|x||y|}yx\,

on homogeneous elements. This can be extended to all of A by linearity. Elements x and y of A are said to supercommute if [x, y] = 0.

The supercenter of A is the set of all elements of A which supercommute with all elements of A:

Z(A) = \{a\in A : [a,x]=0 \text{ for all } x\in A\}.

The supercenter of A is, in general, different than the center of an algebra of A as an ungraded algebra. A commutative superalgebra is one whose supercenter is all of A.

Super tensor product

The graded tensor product of two superalgebras A and B may be regarded as a superalgebra AB with a multiplication rule determined by:

(a_1\otimes b_1)(a_2\otimes b_2) = (-1)^{|b_1||a_2|}(a_1a_2\otimes b_1b_2).

If either A or B is purely even, this is equivalent to the ordinary ungraded tensor product (except that the result is graded). However, in general, the super tensor product is distinct from the tensor product of A and B regarded as ordinary, ungraded algebras.

Generalizations and categorical definition

One can easily generalize the definition of superalgebras to include superalgebras over a commutative superring. The definition given above is then a specialization to the case where the base ring is purely even.

Let R be a commutative superring. A superalgebra over R is a R-supermodule A with a R-bilinear multiplication A × AA that respects the grading. Bilinearity here means that

r\cdot(xy) = (r\cdot x)y = (-1)^{|r||x|}x(r\cdot y)

for all homogeneous elements rR and x, yA.

Equivalently, one may define a superalgebra over R as a superring A together with an superring homomorphism RA whose image lies in the supercenter of A.

One may also define superalgebras categorically. The category of all R-supermodules forms a monoidal category under the super tensor product with R serving as the unit object. An associative, unital superalgebra over R can then be defined as a monoid in the category of R-supermodules. That is, a superalgebra is an R-supermodule A with two (even) morphisms

\begin{align}\mu &: A\otimes A \to A\\ \eta &: R\to A\end{align}

for which the usual diagrams commute.

Notes

  1. ^ Kac, Martinez & Zelmanov (2001), p. 3.

References

  •  
  • Manin, Y. I. (1997). Gauge Field Theory and Complex Geometry ((2nd ed.) ed.). Berlin: Springer.  
  • Varadarajan, V. S. (2004). Supersymmetry for Mathematicians: An Introduction. Courant Lecture Notes in Mathematics 11. American Mathematical Society.  
  • Kac, Victor G.; Martinez, Consuelo; Zelmanov, Efim (2001). Graded simple Jordan superalgebras of growth one. Memoirs of the AMS Series 711. AMS Bookstore.  
This article was sourced from Creative Commons Attribution-ShareAlike License; additional terms may apply. World Heritage Encyclopedia content is assembled from numerous content providers, Open Access Publishing, and in compliance with The Fair Access to Science and Technology Research Act (FASTR), Wikimedia Foundation, Inc., Public Library of Science, The Encyclopedia of Life, Open Book Publishers (OBP), PubMed, U.S. National Library of Medicine, National Center for Biotechnology Information, U.S. National Library of Medicine, National Institutes of Health (NIH), U.S. Department of Health & Human Services, and USA.gov, which sources content from all federal, state, local, tribal, and territorial government publication portals (.gov, .mil, .edu). Funding for USA.gov and content contributors is made possible from the U.S. Congress, E-Government Act of 2002.
 
Crowd sourced content that is contributed to World Heritage Encyclopedia is peer reviewed and edited by our editorial staff to ensure quality scholarly research articles.
 
By using this site, you agree to the Terms of Use and Privacy Policy. World Heritage Encyclopedia™ is a registered trademark of the World Public Library Association, a non-profit organization.
 


Copyright © World Library Foundation. All rights reserved. eBooks from Project Gutenberg are sponsored by the World Library Foundation,
a 501c(4) Member's Support Non-Profit Organization, and is NOT affiliated with any governmental agency or department.