exterior algebra
1 Introductory remarks.
We begin with some informal remarks to motivate the formal definitionsfound in the next section. Throughout, is a vector space
over afield . Many of the concepts and constructions discussed belowapply verbatim to modules over commutative rings, but we will stick tovector spaces to keep things simple.
The exterior product, commonly denoted by the wedge symbol and also known as the wedge product, is an antisymmetric variant ofthe tensor product. The former, like the latter is an associative,bilinear operation. Thus, for all and ,we have
(1) | ||||
(2) |
The essential difference between the two operations
is that allsquares formed using the exterior product vanish, by definition.Thus,
(3) |
whereas . Hence, the expressions in(1) are equal to , but there is noway to simplify further the right-hand side of (2).
A polarization argument showsthat for we have
Therefore, if the characteristic (http://planetmath.org/characteristic) of the underlying field is not equal to , that is if , then the key postulate
(3) islogically equivalent to the antisymmetry condition
(4) |
However, if the characteristic is 2, that is if is a field where, then (3) does not, necessarily, follow from(4). Therefore, to keep things as general as possible,we must use (3) to formulate the essential identitysatisfied by the exterior product.
So far so good, but we have not yet given a meaning to the symbol. The geometric interpretation of is that ofan oriented area element in the plane spanned by and . Withoutadditional structure, there is no way to assign a area measurement toa parallelogram in a vector space. However, parallelograms that liein the same plane are commensurate. If we adopt the parallelogramspanned by and as the standard area, we can say that theoriented area of another parallelogram, say one that is spanned by and , has an area that is times the area of thefirst parallelogram. The exterior product allows us to express thisalgebraically. To wit,
The analogous interpretation for vectors is that ofan oriented length element on a line. For this reason, the object is referred to as a bivector.
From a more algebraic point of view, a bivector can beconsidered as a formal antisymmetric product of vectors and ,in much the same way that can be regarded as a formalnon-commutative product of two vectors. Such descriptions can hardlyserve as rigorous definitions, but an explicit construction is notreally the way to go here.
Take the case of the tensor product. Formal sums of formal products, where , form a certain vector space, which wedenote as . However, rather than saying that is such and such a thing, it is better to state a certainuniversal property that describes up to vector spaceisomorphism
. The property in question is that every bilinearmap determines a unique linear map from such that
Similarly, formal sums ofbivectors constitute a vector space , called the secondexterior power of . This vector space is defined, up toisomorphism, by the condition that every antisymmetric, bilinear map determines a unique linear map with
Thus, in the same way that the tensorproduct replaces bilinear maps with a certain kind of linear map,the exterior product replaces bilinear, antisymmetric maps with linearmaps from .
More generally, -multivectors are -fold products, and the exterior power,, is the vector space of formal sums of-multivectors. The product of a -multivector and an-multivector is a -multivector. So, the direct sum forms an associative algebra, which isclosed with respect to the wedge product. This algebra
, commonlydenoted by , is called the exterior algebra of .
Again, the analogy with the tensor product is useful. The tensoralgebra can be characterized as the associative,non-commutative algebra freely generated by . If thecharacteristic of is not 2, then the wedge product satisfies thesupercommutativity relations
Thus, can be characterized as the supercommutative algebra which is freelygenerated by .
2 Formal definitions.
Supercommutative algebras.
For the purposes of this discussion, we define a supercommutativealgebra to be an associative, unital -algebra with an-grading, , such that for all odd we have
and such that for all even and all , we have
Using a polarization argument we see that the firstcondition implies that for all odd we have
If the characteristic of is different from , then the converseis true, and we recover the usual definition of supercommutativity,namely that
with the minus sign employed if both and or odd, and with employed otherwise.
Exterior algebra.
Let be a supercommutative algebra and a linearmap. We will say that is a model for the exterior algebraof , if every linear map , where a supercommutativealgebra, to a unique algebra homomorphism , where“lifts” means that .Diagrammatically:
The above condition on is a universal property; this implies thatall models are isomorphic as algebras. Thus, when we speak of, the exterior algebra of , we are referring to theisomorphism class of all such models. It is also common to identify with its image , and to write rather than.
Exterior powers.
For the purposes of the present entry, we define an antisymmetric mapto be a -multilinear map such that for all . A polarization argument then implies theusual antisymmetry condition, namely that for every permutation of we have
As usual, if the characteristic of is different from , the twoassertions are equivalent. However if , then the firstassertion is stronger, and that is why we adopt it as the definitionof antisymmetry.
We now define a model of the exterior power of to be avector space and an antisymmetric map such that every antisymmetric map lifts to a unique linear map , where “lifts”means that
As above, all models are isomorphic as vector spaces, and we use to denote the isomorphism class of all such.
The standard model.
A model of the exterior algebra, and the exterior powers can be easilyconstructed as the antisymmetrized quotients of the tensor algebra
To that end, let denote the two sided ideal of generated byelements of the form . Then
and let
denote theindicated quotients, with and denoting the corresponding antisymmetrization surjections. Itis easy to see that is the trivial vector space, and hencethat . We leave it as an exercise for the reader toshow that is a model of the exteriorpower, while together with the map is a model ofthe full exterior algebra.
The canonical grading.
An inspection of the aboveconstruction reveals that
Indeed, every model ofexterior algebra carries a canonical grading. Let be a particularmodel of the exterior algebra of . For , we will call, a -primitive element if for some . We now let denote the vector space spanned by all -primitiveelements, and let .
Proposition 1.
The subspace is a model for the exterior power of. Furthermore,
Categorical formulation.
The above definition of exterior product has a very appealingcategorical formulation. Let denote the category ofsupercommutative -algebras, let denote category of vectorspaces over , and let denote theforgetful functor . We may now say that theexterior algebra function is the leftadjoint of . In other words,
with theisomorphism natural in and .
It is useful to compare the above definition to the categoricaldefinition of the tensor algebra. Let denote the category ofassociative, unital -algebras, and let be theforgetful functor that gives the underlying vector space structure ofa -algebra. We can then define the tensor algebra of avector space by saying that is the left-adjointof . Thus, whereas as the associativealgebra freely generated by , the exterior algebra is the supercommutative algebra freely generated by . Theantisymmetrizationquotient map is a natural transformation betweenthese two functors.
3 Finite dimensional models.
Basis models.
If is an -dimensional vector space, there are somedown-to-earth constructions of that go a long way toilluminate the nature of the exterior product. Suppose then, that is -dimensional, and let be a basis of . Forevery ascending sequence
let usintroduce the symbol to represent the primitive-multivector . If is theempty sequence, we let denote the unit element of the field.
Proposition 2.
The -dimensional vector space spanned by is a model of .
Note that is just the -dimensional space spanned bythe basis symbols . As such, isnaturally isomorphic to . For disjoint sequences and , letus define
where denotes theascending sequence composed of the union of and , and where denotes the parity of the permutation that takes thesorted list to the unsorted concatenation . If and have one or more elements in common, we define
Here are some examples:
Proposition 3.
The dimensional vector spanned by the symbols , togetherwith the above product and the linear isomorphism from to is a model of the exterior algebra .
Evidently, any list of numbers between and with length greaterthan will contain duplicates. Thus, an immediate consequence ofthis construction is that for , and hence that
Alternating forms.
If is finite-dimensional, we have the natural isomorphism between and the double-dual . We can exploit this naturalisomorphism to construct the following model of exterior algebra. Let denote the vector space of -multilinear mappings from ( times) to . Such an mappingis known as an alternating -form. Using the above duality we canprove that is a model for the exterior power of.
Given alternating forms and ,let us define according to
where and where the sum is taken overall permutations of such that and , andwhere according to whether is aneven or odd permutation. With this definition, we can show that
together with the above product, and the linear isomorphism is a model for the exterior algebra .
4 Historical Notes.
The exterior algebra is also known as the Grassmannalgebra after its inventor http://www-groups.dcs.st-and.ac.uk/ history/Mathematicians/Grassmann.htmlHermann Grassmannwho created it to give algebraic treatment of lineargeometry. Grassmann was also one of the first people to talk aboutthe geometry of an -dimensional space with an arbitrary naturalnumber. The axiomatics of the exterior product are needed to definedifferential forms and therefore play an essential role in the theoryof integration on manifolds. Exterior algebra is also an essentialprerequisite to understanding de Rham’s theory of differentialcohomology.
Title | exterior algebra |
Canonical name | ExteriorAlgebra |
Date of creation | 2013-03-22 12:34:14 |
Last modified on | 2013-03-22 12:34:14 |
Owner | rmilson (146) |
Last modified by | rmilson (146) |
Numerical id | 35 |
Author | rmilson (146) |
Entry type | Definition |
Classification | msc 15A75 |
Synonym | Grassmann algebra |
Related topic | AntiSymmetric |
Defines | exterior product |
Defines | wedge product |
Defines | multivector |
Defines | exterior power |