Alternating operators Given two vector spaces
V and
X and a natural number
k, an
alternating operator from
Vk to
X is a
multilinear map : f \colon V^k \to X such that whenever
v1, ...,
vk are
linearly dependent vectors in
V, then : f(v_1,\ldots, v_k) = 0. The map : w \colon V^k \to {\textstyle\bigwedge^{\!k}}(V), which associates to k vectors from V their exterior product, i.e. their corresponding k -vector, is also alternating. In fact, this map is the "most general" alternating operator defined on V^k; given any other alternating operator f\colon V^k \to X, there exists a unique
linear map \phi \colon {\textstyle\bigwedge^{\!k}}(V) \to X with f = \phi \circ w. This
universal property characterizes the space of alternating operators on V^k and can serve as its definition.
Alternating multilinear forms s (, , ) to obtain an -form ("mesh" of
coordinate surfaces, here planes), The above discussion specializes to the case when , the base field. In this case an alternating multilinear function : f \colon V^k \to K is called an
alternating multilinear form. The set of all
alternating multilinear forms is a vector space, as the sum of two such maps, or the product of such a map with a scalar, is again alternating. By the universal property of the exterior power, the space of alternating forms of degree k on V is
naturally isomorphic with the
dual vector space {{tmath|\textstyle \bigl({\bigwedge^{\!k}(V)}\bigr)^*}}. If V is finite-dimensional, then the latter is to {{tmath|\textstyle \bigwedge^{\!k}(V^*)}}. In particular, if V is n-dimensional, the dimension of the space of alternating maps from V^k to K is the
binomial coefficient {{tmath|1=\textstyle\binom{n}{k} }}. Under such identification, the exterior product takes a concrete form: it produces a new anti-symmetric map from two given ones. Suppose and are two anti-symmetric maps. As in the case of
tensor products of multilinear maps, the number of variables of their exterior product is the sum of the numbers of their variables. Depending on the choice of identification of elements of exterior power with multilinear forms, the exterior product is defined as : \omega \wedge \eta = \operatorname{Alt}(\omega \otimes \eta) or as : \omega \dot{\wedge} \eta = \frac{(k+m)!}{k!\,m!}\operatorname{Alt}(\omega \otimes \eta), where, if the characteristic of the base field K is 0, the alternation Alt of a multilinear map is defined to be the average of the sign-adjusted values over all the
permutations of its variables: : \operatorname{Alt}(\omega)(x_1,\ldots,x_k) = \frac{1}{k!}\sum_{\sigma \in S_k}\operatorname{sgn}(\sigma)\, \omega(x_{\sigma(1)}, \ldots, x_{\sigma(k)}). When the
field K has
finite characteristic, an equivalent version of the second expression without any factorials or any constants is well-defined: : {\omega \dot{\wedge} \eta(x_1,\ldots,x_{k+m})} = \sum_{\sigma \in \mathrm{Sh}_{k,m}} \operatorname{sgn}(\sigma)\, \omega(x_{\sigma(1)}, \ldots, x_{\sigma(k)})\, \eta(x_{\sigma(k+1)}, \ldots, x_{\sigma(k+m)}), where here is the subset of
shuffles:
permutations
σ of the set such that , and . As this might look very specific and fine tuned, an equivalent raw version is to sum in the above formula over permutations in left cosets of .
Interior product Suppose that V is finite-dimensional. If V^* denotes the
dual space to the vector space , then for each , it is possible to define an
antiderivation on the algebra , \iota_\alpha \colon {\textstyle\bigwedge^{\!k}}(V) \to {\textstyle\bigwedge^{\!k-1}}(V) . This derivation is called the
interior product with , or sometimes the
insertion operator, or
contraction by . Suppose that {{tmath|\textstyle w \in \bigwedge^{\!k}(V)}}. Then w is a multilinear mapping of V^* to , so it is defined by its values on the k-fold
Cartesian product . If u_1,u_2,\ldots,u_{k-1} are k - 1 elements of , then define (\iota_\alpha w)(u_1,u_2,\ldots,u_{k-1}) = w(\alpha,u_1,u_2,\ldots, u_{k-1}). Additionally, let \iota_\alpha f = 0 whenever f is a pure scalar (i.e., belonging to {{tmath|\textstyle \bigwedge^{\!0}(V)}}).
Axiomatic characterization and properties The interior product satisfies the following properties: • For each and each (where by convention \textstyle \bigwedge^{-1}(V)=\{0\}), • : \iota_\alpha \colon {\textstyle\bigwedge^{\!k}}(V) \to {\textstyle\bigwedge^{\!k-1}}(V). • If v is an element of V ({{tmath|1=\textstyle = \bigwedge^{\!1}(V)}}), then is the dual pairing between elements of V and elements of . • For each , \iota_\alpha is a
graded derivation of degree −1: • : \iota_\alpha (a \wedge b) = (\iota_\alpha a) \wedge b + (-1)^{\deg a}a \wedge (\iota_\alpha b). These three properties are sufficient to characterize the interior product as well as define it in the general infinite-dimensional case. Further properties of the interior product include: • \iota_\alpha\circ \iota_\alpha = 0. • \iota_\alpha\circ \iota_\beta = -\iota_\beta\circ \iota_\alpha.
Hodge duality Suppose that V has finite dimension . Then the interior product induces a canonical isomorphism of vector spaces : {\textstyle\bigwedge^{\!k}}(V^*) \otimes {\textstyle\bigwedge}^{\!n}(V) \to {\textstyle\bigwedge^{\!n-k}}(V) by the recursive definition : \iota_{\alpha \wedge \beta} = \iota_\beta \circ \iota_\alpha. In the geometrical setting, a non-zero element of the top exterior power {\textstyle\bigwedge^{\!n}}(V) (which is a one-dimensional vector space) is sometimes called a
volume form (or
orientation form, although this term may sometimes lead to ambiguity). The name orientation form comes from the fact that a choice of preferred top element determines an orientation of the whole exterior algebra, since it is tantamount to fixing an ordered basis of the vector space. Relative to the preferred volume form , the isomorphism is given explicitly by : {\textstyle\bigwedge^{\!k}}(V^*) \to {\textstyle\bigwedge^{\!n-k}}(V) \colon \alpha \mapsto \iota_\alpha \sigma . If, in addition to a volume form, the vector space
V is equipped with an
inner product identifying V with , then the resulting isomorphism is called the
Hodge star operator, which maps an element to its
Hodge dual: : \star \colon {\textstyle\bigwedge^{\!k}}(V) \to {\textstyle\bigwedge^{\!n-k}}(V) . The composition of \star with itself maps \textstyle \bigwedge^{\!k}(V) \to \bigwedge^{\!k}(V) and is always a scalar multiple of the identity map. In most applications, the volume form is compatible with the inner product in the sense that it is an exterior product of an
orthonormal basis of . In this case, : \star \circ \star \colon {\textstyle\bigwedge^{\!k}}(V) \to {\textstyle\bigwedge^{\!k}}(V) = (-1)^{k(n-k) + q}\mathrm{id} where id is the identity mapping, and the inner product has
metric signature —
p pluses and
q minuses.
Inner product For a finite-dimensional space, an
inner product (or a
pseudo-Euclidean inner product) on defines an isomorphism of V with , and so also an isomorphism of \textstyle \bigwedge^{\!k}(V) with {{tmath|\textstyle \bigl({\bigwedge^{\!k}(V)}\bigr)^*}}. The pairing between these two spaces also takes the form of an inner product. On decomposable -vectors, : \left\langle v_1 \wedge \cdots \wedge v_k, w_1 \wedge \cdots \wedge w_k\right\rangle = \det\bigl(\langle v_i,w_j\rangle\bigr), the determinant of the matrix of inner products. In the special case , the inner product is the square norm of the
k-vector, given by the determinant of the
Gramian matrix . This is then extended bilinearly (or sesquilinearly in the complex case) to a non-degenerate inner product on {{tmath|\textstyle \bigwedge^{\!k}(V)}}. If
ei, , form an
orthonormal basis of , then the vectors of the form : e_{i_1} \wedge \cdots \wedge e_{i_k},\quad i_1 constitute an orthonormal basis for {{tmath|\textstyle \bigwedge^{\!k}(V)}}, a statement equivalent to the
Cauchy–Binet formula. With respect to the inner product, exterior multiplication and the interior product are mutually adjoint. Specifically, for {{tmath|\textstyle \mathbf{v} \in \bigwedge^{\!k-1}(V)}}, {{tmath|\textstyle \mathbf{w} \in \bigwedge^{\!k}(V)}}, and , : \langle x \wedge \mathbf{v}, \mathbf{w}\rangle = \langle \mathbf{v}, \iota_{x^\flat}\mathbf{w}\rangle where is the
musical isomorphism, the linear functional defined by : x^\flat(y) = \langle x, y\rangle for all . This property completely characterizes the inner product on the exterior algebra. Indeed, more generally for {{tmath|\textstyle \mathbf{v} \in \bigwedge^{\!k-l}(V)}}, {{tmath|\mathbf{w}\in {\textstyle\bigwedge}^{\!k}(V)}}, and {{tmath|\textstyle \mathbf{x}\in \bigwedge^{\!l}(V)}}, iteration of the above adjoint properties gives : \langle \mathbf{x} \wedge \mathbf{v}, \mathbf{w}\rangle = \langle \mathbf{v}, \iota_{\mathbf{x}^\flat}\mathbf{w}\rangle where now \textstyle \mathbf{x}^\flat \in \bigwedge^{\!l}\left(V^*\right) \simeq \bigl({\bigwedge^{\!l}(V)}\bigr)^* is the dual -vector defined by : \mathbf{x}^\flat(\mathbf{y}) = \langle \mathbf{x}, \mathbf{y}\rangle for all {{tmath|\textstyle \mathbf{y} \in \bigwedge^{\!l}(V)}}.
Bialgebra structure There is a correspondence between the graded dual of the graded algebra \textstyle \bigwedge(V) and alternating multilinear forms on . The exterior algebra (as well as the
symmetric algebra) inherits a bialgebra structure, and, indeed, a
Hopf algebra structure, from the
tensor algebra. See the article on
tensor algebras for a detailed treatment of the topic. The exterior product of multilinear forms defined above is dual to a
coproduct defined on , giving the structure of a
coalgebra. The
coproduct is a linear function , which is given by : \Delta(v) = 1 \otimes v + v \otimes 1 on elements . The symbol 1 stands for the unit element of the field . Recall that {{tmath|\textstyle K \simeq \bigwedge^{\!0}(V) \subseteq \bigwedge(V)}}, so that the above really does lie in . This definition of the coproduct is lifted to the full space \textstyle \bigwedge(V) by (linear) homomorphism. The correct form of this homomorphism is not what one might naively write, but has to be the one carefully defined in the
coalgebra article. In this case, one obtains : \Delta(v \wedge w) = 1 \otimes (v \wedge w) + v \otimes w - w \otimes v + (v \wedge w) \otimes 1 . Expanding this out in detail, one obtains the following expression on decomposable elements: : \Delta(x_1 \wedge \cdots \wedge x_k) = \sum_{p=0}^k \; \sum_{\sigma \in Sh(p,k-p)} \; \operatorname{sgn}(\sigma) (x_{\sigma(1)} \wedge \cdots \wedge x_{\sigma(p)}) \otimes (x_{\sigma(p+1)} \wedge \cdots \wedge x_{\sigma(k)}). where the second summation is taken over all
-shuffles. By convention, one takes that Sh(
k,0) and Sh(0,
k) equals {id: {1, ...,
k} → {1, ...,
k}}. It is also convenient to take the pure wedge products v_{\sigma(1)}\wedge\dots\wedge v_{\sigma(p)} and v_{\sigma(p+1)}\wedge\dots\wedge v_{\sigma(k)} to equal 1 for
p = 0 and
p =
k, respectively (the
empty product in \textstyle \bigwedge(V)). The shuffle follows directly from the first axiom of a co-algebra: the relative order of the elements x_k is
preserved in the riffle shuffle: the riffle shuffle merely splits the ordered sequence into two ordered sequences, one on the left, and one on the right. Observe that the coproduct preserves the grading of the algebra. Extending to the full space , one has : \Delta \colon {\textstyle\bigwedge^k}(V) \to \bigoplus_{p=0}^k {\textstyle\bigwedge^p}(V) \otimes {\textstyle\bigwedge^{k-p}}(V) The tensor symbol \otimes used in this section should be understood with some caution: it is
not the same tensor symbol as the one being used in the definition of the alternating product. Intuitively, it is perhaps easiest to think it as just another, but different, tensor product: it is still (bi-)linear, as tensor products should be, but it is the product that is appropriate for the definition of a bialgebra, that is, for creating the object . Any lingering doubt can be shaken by pondering the equalities (1\otimes v)\wedge(1\otimes w)=1\otimes(v\wedge w) and (v\otimes 1)\wedge(1\otimes w)=v\otimes w, which follow from the definition of the coalgebra, as opposed to naive manipulations involving the tensor and wedge symbols. This distinction is developed in greater detail in the article on
tensor algebras. Here, there is much less of a problem, in that the alternating product \wedge clearly corresponds to multiplication in the exterior algebra, leaving the symbol \otimes free for use in the definition of the bialgebra. In practice, this presents no particular problem, as long as one avoids the fatal trap of replacing alternating sums of \otimes by the wedge symbol, with one exception. One can construct an alternating product from \otimes, with the understanding that it works in a different space. Immediately below, an example is given: the alternating product for the
dual space can be given in terms of the coproduct. The construction of the bialgebra here parallels the construction in the
tensor algebra article almost exactly, except for the need to correctly track the alternating signs for the exterior algebra. In terms of the coproduct, the exterior product on the dual space is just the graded dual of the coproduct: (\alpha \wedge \beta)(x_1 \wedge \cdots \wedge x_k) = (\alpha \otimes \beta)\left(\Delta(x_1 \wedge \cdots \wedge x_k)\right) where the tensor product on the right-hand side is of multilinear linear maps (extended by zero on elements of incompatible homogeneous degree: more precisely, \alpha\wedge\beta=\varepsilon\circ(\alpha\otimes\beta)\circ\Delta, where \varepsilon is the counit, as defined presently). The
counit is the homomorphism \textstyle \varepsilon\colon \bigwedge(V) \to K that returns the 0-graded component of its argument. The coproduct and counit, along with the exterior product, define the structure of a
bialgebra on the exterior algebra. With an
antipode defined on homogeneous elements by {{tmath|1=S(x) = (-1)^{\binom{\text{deg}\, x\, + 1}{2} }x}}, the exterior algebra is furthermore a
Hopf algebra. == Functoriality ==