4.20 Tensor Alternating Multilinear Pattern

Tensor Alternating Multilinear Pattern is the structural regularity exhibited by multilinear maps that vanish whenever two of their arguments coincide, a condition equivalent, outside characteristic 2, to changing sign whenever two arguments are swapped. This pattern is the defining feature separating alternating multilinear maps from general multilinear maps, and it is the pattern underlying the determinant, the exterior algebra, and the notion of oriented volume.

The Pattern Stated

Vanishing on Repeated Arguments

A multilinear map f: V × ... × V → W (all n arguments from a single space V) is alternating if

whenever the same vector v appears in two different argument slots, with all other arguments arbitrary. The pattern is entirely about coincidence of inputs: as soon as any two slots are filled with the same vector, the output collapses to zero, regardless of what fills the remaining slots.

Equivalent Sign-Change Pattern

Outside characteristic 2, vanishing on repeated arguments is equivalent to changing sign under transposition of any two arguments:

Substituting vⱼ = vᵢ into the sign-change equation gives f(...) = -f(...), forcing f(...) = 0 when the characteristic is not 2, recovering the vanishing pattern; conversely the vanishing pattern applied to f(..., vᵢ+vⱼ, ..., vᵢ+vⱼ, ...) = 0, expanded by multilinearity, yields the sign-change rule.

Full Sign Change Under Any Permutation

The Permutation Rule

For any permutation σ of {1, ..., n},

with sgn(σ) = ±1 the sign of the permutation, since every permutation decomposes into a product of transpositions, each contributing one factor of -1 by the basic sign-change pattern. The pattern is thus fully determined by its behavior on the generating transpositions.

Consequence: Linear Dependence Forces Vanishing

If the arguments v₁, ..., vₙ are linearly dependent, so that some vₖ = ∑_{i≠k} cᵢvᵢ, multilinearity in slot k expands f(v₁,...,vₙ) into a sum of terms each containing a repeated vector in two slots, and each such term vanishes by the alternating pattern; hence f(v₁,...,vₙ) = 0 whenever the inputs are linearly dependent, extending the pattern from literal repeats to any dependent tuple.

The Prototypical Example

The Determinant

On an n-dimensional space V, the map sending n vectors, expressed in coordinates relative to a fixed basis, to the determinant of the matrix formed by their coordinate columns is n-linear and alternating: swapping two columns of a matrix negates its determinant, and a matrix with two equal columns has determinant zero, matching both faces of the alternating pattern exactly.

Signed Volume Interpretation

The alternating pattern gives the determinant its interpretation as a signed volume: a parallelepiped spanned by linearly dependent vectors is degenerate and has zero volume, matching the vanishing pattern, while reversing the orientation of the spanning vectors (swapping two of them) reverses the sign of the signed volume, matching the sign-change pattern.

Alternating Forms and the Exterior Power

Factorization Through the Exterior Power

Just as a general multilinear map factors uniquely through the tensor product, an alternating multilinear map factors uniquely through the exterior power ⋀ⁿV, the quotient of V ⊗ ... ⊗ V by the subspace generated by all elementary tensors with a repeated vector in two positions. This refines the universal property of the tensor product to a universal property specifically for the alternating pattern, replacing "multilinear" with "alternating multilinear" and "tensor product" with "exterior power."

Wedge Product Notation

The image of v₁ ⊗ ... ⊗ vₙ in ⋀ⁿV is written v₁ ∧ ... ∧ vₙ, and the alternating pattern is encoded directly in the wedge product's own defining relations: v₁ ∧ ... ∧ vₙ = 0 whenever two factors coincide, and swapping two factors introduces a sign, v ∧ w = -w ∧ v.

Where the Pattern Appears Beyond the Determinant

Cross Product in Three Dimensions

The cross product v × w on R³, though vector-valued rather than scalar-valued, exhibits the same alternating pattern in its bilinear structure: v × v = 0 and v × w = -(w × v), matching the alternating pattern for n = 2, and it is naturally identified with the exterior power ⋀²(R³) via the Hodge star operation specific to three dimensions.

Differential Forms

A differential k-form at a point assigns an alternating multilinear map on tangent vectors, and the wedge product of differential forms is defined precisely so as to preserve the alternating pattern under the operation, with dx ∧ dy = -dy ∧ dx and dx ∧ dx = 0 mirroring the same relations that define the exterior power algebraically.

Alternating Multilinear Forms in Representation Theory

The subspace of alternating multilinear forms among all multilinear forms of a given arity corresponds to the sign representation of the symmetric group acting by permuting argument slots; recognizing the alternating pattern as this specific representation-theoretic component clarifies why it, together with the symmetric pattern (the trivial representation), does not exhaust all multilinear forms once the arity exceeds two, since the symmetric group has representations beyond the trivial and sign representations for larger symmetric groups.

Practical Consequences of Recognizing the Pattern

Reducing Verification Work

To confirm a multilinear map is alternating, it suffices to check vanishing on tuples with two equal adjacent arguments, since the general repeated-argument case and the full sign-change rule under any permutation both follow automatically from this more restricted check together with multilinearity.

Predicting Structural Behavior Without Direct Computation

Recognizing that a multilinear map follows the alternating pattern immediately yields consequences, vanishing on linearly dependent inputs, sign reversal under argument swaps, factorization through the exterior power, without requiring these facts to be re-derived from scratch for each new alternating map encountered.