Super-Algebra and Super-Geometry
The exterior algebra of a vector space is the free graded-commutative algebra over , where the elements of are taken to be of degree . (That is, the forgetful functor takes a graded-commutative algebra to its vector space of degree- elements.)
This construction generalizes to group representations, chain complexes, vector bundles, coherent sheaves, and indeed objects in any symmetric monoidal linear categories with enough colimits, where the tensor product distributes over those colimits (as in a 2-rig).
We begin with the construction for vector spaces and then sketch how to generalize it.
For vector spaces
Suppose is a vector space over a field . Then the exterior algebra is generated by the elements of using these operations:
- addition and scalar multiplication
- an associative binary operation called the exterior product or wedge product,
subject to these identities:
- the identities necessary for to be an associative algebra
- the identity for all .
It then follows that is a graded algebra where is spanned by -fold wedge products, that is, elements of the form
where . It also follows that is graded commutative: that is, if and , then
If is a field not of characteristic , we may replace the relations
by the relations
for all (Grassmann 1844, §37, §55). If we can divide by , then the relations (2) imply (1), while the converse holds in any characteristic.
The exterior algebra of a vector space is also called the Grassmann algebra or alternating algebra. It is also denoted , , or .
More generally, suppose is any symmetric monoidal category and is any object. Then we can form the tensor powers . If has countable coproducts we can form the coproduct
(which we write here as a direct sum), and if the tensor product distributes over these coproducts, becomes a monoid object in , with multiplication given by the obvious maps
This monoid object is called the tensor algebra of .
The symmetric group acts on , and if is a linear category over a field of characteristic zero, then we can form the antisymmetrization map
This is an idempotent, so if idempotents split in we can form its cokernel, called the th antisymmetric tensor power or alternating power . The coproduct
becomes a monoid object called the exterior algebra of .
If is a linear category over a field of positive characteristic (or more generally, over a commutative ring in which not every positive integer is invertible, that is which is not itself an algebra over the rational numbers), then we need a different construction of ; we define … (please complete this!).
Over a super vector space
For a super vector space, the exterior algebra is often called the Grassmann algebra over . This or is the free graded commutative? superalgebra on .
Explicitly, this is the quotient of the tensor algebra by the ideal generated by elements of the form
The product in this algebra is denoted with a wedge, and called the wedge product. It obeys the relation
With an inner product
If is equipped with a bilinear form then there is also the Clifford algebra on . This reduces to the Grassmann algebra for vanishing bilinear form.
But sometimes it is useful to consider the Grassmann algebra even in the presence of a non-degenerate bilinear form, in which case the inner product still serves to induce identifications between elements of the Grassmann algebra in different degree.
Let be equipped with its standard inner product. Then an element of is a scalar (a real number), an element of may be identified with a vector in the elementary sense, an element of may be identified with a bivector or pseudovector?, and an element of may be identified a pseudoscalar?.
More generally, let be , or indeed any real inner product space. Then an element of is a -vector as studied in geometric algebra?. Using the inner product, we can identify -vectors with -pseudovectors.
On a manifold (or generalized smooth space) , let be the cotangent bundle of . Then we may define using the abstract nonsense describe earlier, taking to be the category of vector bundles over . Then a differential form on is a section of the vector bundle . If is an oriented (semi)-Riemannian manifold, then we can identify -forms with -forms using the Hodge star operator.
A semi-free dg-algebra is a dg-algebra whose underlying graded commutative algebra is free, i.e. is an exterior algebra. Examples include in particular Chevalley-Eilenberg algebras of Lie algebras, of -algebras and Lie ∞-algebroids.
Differential forms / deRham complex
For a manifold consider the category of modules over its ring of smooth functions . One such module is , the space of smooth sections of the cotangent bundle of .
The deRham complex of is the exterior algebra
This is really a special case of the previous class of examples, as equipped with the deRham differential is the Chevalley-Eilenberg algebra of the tangent Lie algebroid.
The concept originates in
where the graded-commutativity of the exterior product appears in §37, §55.
For the case of modules over a commutative ring, see
Discussion of Grassmann algebras internal to any symmetric monoidal category is on p. 165 of
See also at signs in supergeometry.