16.10 Tensor Antisymmetrization Operator Structure

Tensor Antisymmetrization Operator Structure is the complete algebraic organization of the operator Alt, which maps any general tensor to its alternating counterpart, encompassing its defining permutation sum, its properties as a linear projection, its interaction with the wedge product, and its role as the universal mechanism for producing alternating tensors from arbitrary multilinear input.

The Operator's Definition and Domain

Mapping General Tensors to Alternating Ones

The antisymmetrization operator Alt takes any rank-k multilinear tensor S on V and produces a rank-k alternating tensor:

with T^k(V*) denoting the space of all rank-k multilinear forms and Λᵏ(V*) its alternating subspace, using the permutation sum formula as its concrete definition.

Linearity of the Operator

Alt is a linear map: it respects sums and scalar multiples of its input tensor, since the permutation sum defining it is built entirely from linear operations (summation and scalar multiplication by sgn(σ)/k!) applied to the input.

Projection Structure

Idempotence

The defining structural property of Alt is idempotence: applying it twice gives the same result as applying it once, Alt(Alt(S)) = Alt(S), which follows because Alt(S) is already alternating, and the operator fixes anything already alternating in place.

Alt as a Genuine Projection Operator

Because Alt is linear and idempotent, it qualifies formally as a projection operator on the space of multilinear tensors, with image exactly Λᵏ(V*) and kernel consisting of every tensor whose alternating part vanishes entirely.

Interaction with Other Operators

Interaction with the Symmetrization Operator

The antisymmetrization operator Alt has a natural counterpart, the symmetrization operator Sym, defined by the same permutation sum but without the sign factor; together, Alt and Sym decompose (in characteristic zero, at rank 2) any tensor into symmetric and antisymmetric parts, though at higher rank the complement of Λᵏ is generally larger than the image of Sym alone.

Interaction with the Wedge Product

The wedge product of covectors is defined directly in terms of Alt applied to the ordinary tensor product:

(with the exact normalization convention varying by source), placing Alt at the structural foundation of the entire exterior algebra's multiplication.

Structural Behavior on Special Inputs

Behavior on Already-Alternating Tensors

If T is already alternating, Alt(T) = T exactly, consistent with the idempotence property and confirming Alt acts as the identity on its own image.

Behavior on Symmetric Tensors

If S is fully symmetric, Alt(S) = 0 identically (in characteristic zero), since every term in the permutation sum cancels against its sign-reversed partner term; this shows symmetric and alternating tensors occupy disjoint, non-overlapping images under their respective projection operators except at the zero tensor.

The Operator's Kernel and Image

Image Equals the Alternating Subspace

The image of Alt is exactly Λᵏ(V*), no more and no less, since every output of the permutation sum is alternating by construction, and every alternating tensor is already fixed by Alt and hence lies in the image.

Kernel Contains All Symmetric Tensors and More

The kernel of Alt contains every fully symmetric tensor but is generally larger at rank 3 and above, since the space of multilinear forms decomposes into more than just symmetric and alternating pieces once mixed-symmetry Young-tableau components are accounted for.

Diagram of the Operator's Structure