15.1.4 Tensor Symmetric Decomposition Scope

Tensor Symmetric Decomposition Scope examines breaking symmetric tensors into fundamental components to uncover their structural properties in algebra.

Tensor Symmetric Decomposition Scope is the delineation of which facts about splitting a tensor power into a symmetric part and a complementary part are treated within this branch, restricted specifically to the clean, complete decomposition available at degree two, as distinct from the general decomposition theory needed once the tensor power degree reaches three or more.

What Falls Within Scope

The Degree-Two Decomposition

Within scope is the direct sum decomposition

V \otimes V = {Sym}^{2} (V) \oplus Λ^{2} (V)

valid whenever the characteristic of the base field is not two, expressing every tensor of degree two as a unique sum of a symmetric part and an antisymmetric, or alternating, part.

The Complementary Projection Formulas

Also within scope are the explicit projection formulas realizing this decomposition,

t = \frac{1}{2} (t + τ \cdot t) + \frac{1}{2} (t - τ \cdot t)

where $τ$ is the unique nontrivial permutation swapping the two tensor factors, the first term landing in ${Sym}^{2} (V)$ and the second in $Λ^{2} (V)$ .

Why the Decomposition Is Exhaustive and Non-Overlapping

Within scope as well is the direct verification, for this specific case, that the two projections are complementary and idempotent, that their sum is the identity, and that their intersection contains only the zero tensor, confirming that every degree-two tensor is captured by exactly one of the two summands plus no remainder.

What Falls Outside Scope

Decomposition at Degree Three and Beyond

Once the tensor power degree reaches three, the symmetric part ${Sym}^{3} (V)$ and the antisymmetric part $Λ^{3} (V)$ no longer account for the entire tensor power $V^{\otimes 3}$ , since the symmetric group $S_{3}$ has a third irreducible representation, of dimension two, beyond the trivial and sign representations; describing the resulting third piece of the decomposition, and its analogues for higher degree, is outside this scope.

Young Symmetrizers and Specht Modules

The general machinery required to isolate each isotypic component at arbitrary degree, built from Young tableaux and Young symmetrizers, and the associated Specht modules describing the irreducible representations of $S_{k}$ for general $k$ , are outside scope; this branch treats only the degree-two case, where the trivial and sign representations already exhaust the representation theory of $S_{2}$ .

Schur–Weyl Duality

The deeper statement relating the decomposition of $V^{\otimes k}$ under the joint action of $S_{k}$ and the general linear group of $V$ , of which the degree-two symmetric and alternating decomposition is the smallest nontrivial instance, is outside scope, belonging to representation theory proper rather than to the algebraic treatment of symmetric tensors given here.

Characteristic-Two Fields

The decomposition stated above fails when the characteristic of the base field is two, since the projections rely on dividing by two; the alternative treatment needed in that characteristic, generally requiring divided powers rather than a direct symmetric-antisymmetric splitting, is outside scope.

Why Degree Two Is Special

Only Two Irreducible Representations of S₂

The reason the decomposition at degree two is complete while decompositions at higher degree are not is purely representation-theoretic: the symmetric group $S_{2}$ has exactly two irreducible representations, the trivial and the sign representation, so any representation of $S_{2}$ , including the permutation action on $V \otimes V$ , decomposes using only these two pieces; for $k \geq 3$ , $S_{k}$ has additional irreducible representations, and the tensor power decomposition correspondingly requires additional summands beyond the symmetric and alternating parts.