15.7.3 Tensor Symmetrization Projection Role

Tensor Symmetrization Projection Role is the interpretation of the symmetrization operator Sym as a linear projector in the technical, geometric sense used throughout linear algebra, meaning a linear operator that splits the full tensor space into a direct sum of two complementary subspaces and singles out the component lying in one of them. In this role, Sym does not merely produce a symmetric tensor from an arbitrary one; it identifies, extracts, and returns precisely the part of the input tensor that already belongs to the symmetric subspace, discarding the remaining, non-symmetric part.

Framing Sym specifically as a projector, rather than simply as a symmetrizing formula, connects it to the general theory of projectors on vector spaces, allowing standard facts about projectors, their eigenvalues, their complementary projectors, and their associated direct sum decompositions, to be imported wholesale into the study of symmetric tensors, rather than needing to be re-derived from the permutation sum formula each time.

The Projector Definition Applied to Sym

General Definition of a Linear Projector

A linear operator P on a vector space is called a projector when it is idempotent, satisfying P composed with P equals P; every idempotent linear operator automatically splits the space into the image of P and the kernel of P, with these two subspaces intersecting only at the zero vector and together spanning the whole space.

Sym Satisfies the Definition

The symmetrization operator Sym is idempotent, as established by its idempotent behavior, so Sym qualifies as a projector in this general sense; its image is the symmetric subspace, and its kernel consists of every tensor that symmetrization sends to zero.

The Complementary Subspace

Identifying the Kernel

The kernel of Sym consists of tensors S for which the permutation sum over all rearrangements of S's indices totals to zero; such tensors are sometimes described as having no totally symmetric component, since their symmetric part, computed via Sym, vanishes entirely even though the tensors themselves are generally nonzero.

The Complementary Projector

The operator I minus Sym, where I denotes the identity operator, is itself a projector, since (I - Sym) composed with itself expands to I - 2 Sym + Sym composed with Sym, which simplifies using idempotence to I minus Sym; this complementary projector has the kernel of Sym as its image and the symmetric subspace as its kernel, exactly reversing the roles of image and kernel relative to Sym.

The Direct Sum Decomposition Induced by the Projection Role

Splitting an Arbitrary Tensor

For any tensor S, the projector identity S equals Sym(S) plus (I minus Sym)(S) expresses S as a sum of its symmetric part and its complementary part:

with the first term guaranteed to lie in the symmetric subspace and the second term guaranteed to lie in the kernel of Sym.

Uniqueness of the Decomposition

This decomposition is unique: if a tensor S could be written as a sum of a symmetric piece and a kernel piece in two different ways, subtracting the two expressions would produce a nonzero tensor lying simultaneously in both the symmetric subspace and the kernel, contradicting the fact that these two subspaces intersect only at zero.

Distinguishing the Projection Role From Mere Averaging

Beyond a Simple Averaging Operation

Describing Sym only as an averaging formula over permutations captures its computational recipe but not its structural role; the projection role emphasizes that this averaging is not an arbitrary choice among many possible symmetrizing formulas but the unique idempotent, linear operator whose image is exactly the symmetric subspace and whose action on that subspace is the identity.

Consistency With General Representation-Theoretic Projectors

The projection role of Sym situates it within a broader family of idempotent operators built from group averaging, associated with the decomposition of a representation of the symmetric group into irreducible pieces; the symmetric subspace corresponds to the trivial representation of the symmetric group acting on tensor indices, and Sym is the specific projector extracting that trivial-representation component from an arbitrary tensor.