Super vector space

Short description: Graded vector space with applications to theoretical physics

In mathematics, a super vector space is a ℤ2-graded vector space, that is, a vector space over a field 𝕂 with a given decomposition of subspaces of grade 0 and grade 1. The study of super vector spaces and their generalizations is sometimes called super linear algebra. These objects find their principal application in theoretical physics where they are used to describe the various algebraic aspects of supersymmetry.

## Contents

* 1 Definitions
* 2 Linear transformations
* 3 Operations on super vector spaces
* 3.1 Dual space
* 3.2 Direct sum
* 3.3 Tensor product
* 4 Supermodules
* 5 The category of super vector spaces
* 6 Superalgebra
* 7 Notes
* 8 References

## Definitions

A super vector space is a ℤ2-graded vector space with decomposition[1]

V=V0⊕V1,0,1∈ℤ2=ℤ/2ℤ.

Vectors that are elements of either V0 or V1 are said to be homogeneous. The parity of a nonzero homogeneous element, denoted by |x|, is 0 or 1 according to whether it is in V0 or V1,

|x|={0x∈V01x∈V1

Vectors of parity 0 are called even and those of parity 1 are called odd. In theoretical physics, the even elements are sometimes called Bose elements or bosonic, and the odd elements Fermi elements or fermionic. Definitions for super vector spaces are often given only in terms of homogeneous elements and then extended to nonhomogeneous elements by linearity.

If V is finite-dimensional and the dimensions of V0 and V1 are p and q respectively, then V is said to have dimension p|q. The standard super coordinate space, denoted 𝕂p|q, is the ordinary coordinate space 𝕂p+q where the even subspace is spanned by the first p coordinate basis vectors and the odd space is spanned by the last q.

A homogeneous subspace of a super vector space is a linear subspace that is spanned by homogeneous elements. Homogeneous subspaces are super vector spaces in their own right (with the obvious grading).

For any super vector space V, one can define the parity reversed space ΠV to be the super vector space with the even and odd subspaces interchanged. That is,

(ΠV)0=V1,(ΠV)1=V0.

## Linear transformations

A homomorphism, a morphism in the category of super vector spaces, from one super vector space to another is a grade-preserving linear transformation. A linear transformation f:V->W between super vector spaces is grade preserving if

f(Vi)⊂Wi,i=0,1.

That is, it maps the even elements of V to even elements of W and odd elements of V to odd elements of W. An isomorphism of super vector spaces is a bijective homomorphism. The set of all homomorphisms V->W is denoted Hom(V,W).[2]

Every linear transformation, not necessarily grade-preserving, from one super vector space to another can be written uniquely as the sum of a grade-preserving transformation and a grade-reversing one--that is, a transformation f:V->W such that

f(Vi)⊂W1−i,i=0,1.

Declaring the grade-preserving transformations to be even and the grade-reversing ones to be odd gives the space of all linear transformations from V to W, denoted 𝐇𝐨𝐦(V,W) and called internal Hom, the structure of a super vector space. In particular,[3]

(𝐇𝐨𝐦(V,W))0=Hom(V,W).

A grade-reversing transformation from V to W can be regarded as a homomorphism from V to the parity reversed space ΠW, so that

𝐇𝐨𝐦(V,W)=Hom(V,W)⊕Hom(V,ΠW)=Hom(V,W)⊕Hom(ΠV,W).

## Operations on super vector spaces

The usual algebraic constructions for ordinary vector spaces have their counterpart in the super vector space setting.

### Dual space

The dual space V* of a super vector space V can be regarded as a super vector space by taking the even functionals to be those that vanish on V1 and the odd functionals to be those that vanish on V0.[4] Equivalently, one can define V* to be the space of linear maps from V to 𝕂1|0 (the base field 𝕂 thought of as a purely even super vector space) with the gradation given in the previous section.

### Direct sum

Direct sums of super vector spaces are constructed as in the ungraded case with the grading given by

(V⊕W)0=V0⊕W0,
(V⊕W)1=V1⊕W1.

### Tensor product

One can also construct tensor products of super vector spaces. Here the additive structure of ℤ2 comes into play. The underlying space is as in the ungraded case with the grading given by

(V⊗W)i=⨁j+k=iVj⊗Wk,

where the indices are in ℤ2. Specifically, one has

(V⊗W)0=(V0⊗W0)⊕(V1⊗W1),
(V⊗W)1=(V0⊗W1)⊕(V1⊗W0).

## Supermodules

Just as one may generalize vector spaces over a field to modules over a commutative ring, one may generalize super vector spaces over a field to supermodules over a supercommutative algebra (or ring).

A common construction when working with super vector spaces is to enlarge the field of scalars to a supercommutative Grassmann algebra. Given a field 𝕂 let

R=𝕂[θ1,⋯,θN]

denote the Grassmann algebra generated by N anticommuting odd elements θi. Any super vector V space over 𝕂 can be embedded in a module over R by considering the (graded) tensor product

𝕂[θ1,⋯,θN]⊗V.

## The category of super vector spaces

The category of super vector spaces, denoted by 𝕂−SVect, is the category whose objects are super vector spaces (over a fixed field 𝕂) and whose morphisms are even linear transformations (i.e. the grade preserving ones).

The categorical approach to super linear algebra is to first formulate definitions and theorems regarding ordinary (ungraded) algebraic objects in the language of category theory and then transfer these directly to the category of super vector spaces. This leads to a treatment of "superobjects" such as superalgebras, Lie superalgebras, supergroups, etc. that is completely analogous to their ungraded counterparts.

The category 𝕂−SVect is a monoidal category with the super tensor product as the monoidal product and the purely even super vector space 𝕂1|0 as the unit object. The involutive braiding operator

τV,W:V⊗W->W⊗V,

given by

τV,W(x⊗y)=(−1)|x||y|y⊗x

on homogeneous elements, turns 𝕂−SVect into a symmetric monoidal category. This commutativity isomorphism encodes the "rule of signs" that is essential to super linear algebra. It effectively says that a minus sign is picked up whenever two odd elements are interchanged. One need not worry about signs in the categorical setting as long as the above operator is used wherever appropriate.

𝕂−SVect is also a closed monoidal category with the internal Hom object, 𝐇𝐨𝐦(V,W), given by the super vector space of all linear maps from V to W. The ordinary Hom set Hom(V,W) is the even subspace therein:

Hom(V,W)=𝐇𝐨𝐦(V,W)0.

The fact that 𝕂−SVect is closed means that the functor −⊗V is left adjoint to the functor Hom(V,−), given a natural bijection

Hom(U⊗V,W)≅Hom(U,𝐇𝐨𝐦(V,W)).

## Superalgebra

A superalgebra over 𝕂 can be described as a super vector space 𝒜 with a multiplication map

μ:𝒜⊗𝒜->𝒜,

that is a super vector space homomorphism. This is equivalent to demanding[5]

|ab|=|a|+|b|,a,b∈𝒜

Associativity and the existence of an identity can be expressed with the usual commutative diagrams, so that a unital associative superalgebra over 𝕂 is a monoid in the category 𝕂−SVect.

## Notes

1. ↑ Varadarajan 2004, p. 83
2. ↑ Varadarajan 2004, p. 83
3. ↑ Varadarajan 2004, p. 83
4. ↑ Varadarajan 2004, p. 84
5. ↑ Varadarajan 2004, p. 87

## References

* Deligne, P.; Morgan, J. W. (1999). "Notes on Supersymmetry (following Joseph Bernstein)". 1. American Mathematical Society. pp. 41-97. ISBN 0-8218-2012-5. https://publications.ias.edu/node/2498.

* Varadarajan, V. S. (2004). Supersymmetry for Mathematicians: An Introduction. Courant Lecture Notes in Mathematics. 11. American Mathematical Society. ISBN 978-0-8218-3574-6. https://books.google.com/books?id=sZ1-G4hQgIIC&q=supersymmetry+for+mathematicians&pg=PA1.

Template:Supersymmetry topics

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Super vector space. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Super_vector_space&oldid=4347860"