16.9.2 Tensor Alternating Multilinear Permutation Rule
The Tensor Alternating Multilinear Permutation Rule defines antisymmetric tensor behavior under permutations, linking multilinearity and algebraic structure.
Tensor Alternating Multilinear Permutation Rule is the representation-theoretic statement that the symmetric group S_k acts on the argument slots of any rank-k multilinear form via permutation, and that alternating forms are exactly those on which this action reduces to the one-dimensional sign representation, framing the permutation behavior of alternating tensors within the broader theory of group representations rather than as an isolated combinatorial fact.
The Group Action on Multilinear Forms
How S_k Acts
The symmetric group S_k acts on the space of all rank-k multilinear forms on V by permuting arguments:
This is a genuine group action: applying the identity permutation leaves T unchanged, and applying σ followed by τ matches applying the composite permutation στ directly.
Alternating Forms as an Invariant Subspace
The multilinear permutation rule identifies alternating forms as exactly those T satisfying σ · T = sgn(σ) · T for every σ ∈ S_k — that is, the subspace of multilinear forms on which the S_k action acts by the one-dimensional sign representation rather than by some more complicated mixture of representations.
Why This Framing Matters
Isotypic Decomposition Perspective
The space of all rank-k multilinear forms decomposes, under the S_k action, into isotypic components corresponding to the irreducible representations of S_k; the alternating forms constitute precisely the isotypic component for the sign representation, while the fully symmetric forms constitute the isotypic component for the trivial representation. General multilinear forms with mixed symmetry occupy the remaining components corresponding to other irreducible representations.
The Antisymmetrization Operator as a Projection
Given this framing, the antisymmetrization operator Alt is precisely the projection operator onto the sign-representation isotypic component:
with the 1/k! factor and the summation over the group being the standard formula for a representation-theoretic projection onto an isotypic component, specialized here to the one-dimensional sign representation.
Consequences of the Representation-Theoretic View
Explains Why Only Even/Odd Distinctions Matter
Because the sign representation is one-dimensional, its only possible values are +1 and −1, which is exactly why the permutation rule for alternating tensors reduces to a simple parity check rather than requiring any richer data about the permutation's cycle structure beyond its sign.
Explains the Uniqueness at Top Degree
At k = n, the space Λⁿ(V*) is one-dimensional, matching the fact that the sign representation itself is one-dimensional; the top-degree alternating form is essentially "the" sign representation realized concretely as a function on n-tuples of vectors in an n-dimensional space.
Contrast with Ordinary (Non-Alternating) Permutation Behavior
General Multilinear Forms Lack a Single Rule
A general multilinear form has no single scalar rule describing its response to S_k; its transformation under permutation is instead governed by the full matrix of the (possibly reducible) representation into which it falls, a much richer and less tractable structure than the alternating case's simple sign rule.
Symmetric Forms as the Mirror Case
Symmetric multilinear forms sit at the opposite extreme, transforming by the trivial representation (σ · T = T for all σ), making alternating and symmetric forms the two simplest possible cases of S_k-equivariant multilinear structure, differing only in which one-dimensional representation governs their permutation rule.