5.22 Tensor Product Symmetry Structure

Tensor Product Symmetry Structure is the overall body of structure governing how tensor products behave under reordering of their factors, encompassing the symmetry isomorphism τ_{V,W} : V ⊗ W → W ⊗ V exchanging two distinct factors, the factor swap map as its specialization to an endomorphism of V ⊗ V, the component-level transposition effect this swapping has in coordinates, and the coherence conditions ensuring all of this behaves consistently when combined with associativity and iterated to tensor products of more than two factors. Symmetry structure is what makes precise, and provably consistent, the informal sense in which "the tensor product does not care about the order of its factors," while still respecting that V ⊗ W and W ⊗ V are, strictly, different (though canonically isomorphic) spaces.

The Core Components of Symmetry Structure

The Symmetry Isomorphism Between Distinct Factors

At its foundation, symmetry structure provides, for every pair of vector spaces V and W, a canonical linear isomorphism τ_{V,W}(v ⊗ w) = w ⊗ v, natural in both arguments and satisfying τ_{W,V} ∘ τ_{V,W} = id, so reordering twice returns the original tensor.

The Swap Endomorphism on a Repeated Factor

When the same space is tensored with itself, τ_{V,V} : V ⊗ V → V ⊗ V becomes an endomorphism rather than merely an isomorphism between different spaces, and being an involution (τ² = id), it splits V ⊗ V into +1 and −1 eigenspaces identified with the symmetric square Sym²(V) and the exterior square Λ²(V) respectively.

Component-Level Description

Relative to bases, symmetry structure manifests concretely as the transposition of the two coordinate indices of a tensor's component array, connecting the abstract isomorphism τ to the familiar operation of transposing a matrix or, more generally, an index in a multi-index array.

Coherence: Why Symmetry Structure Is More Than a Single Isomorphism

Naturality

Symmetry structure requires τ_{V,W} to be natural in V and W: applying linear maps to the factors before or after swapping gives consistent results, formalized by τ_{V′,W′} ∘ (f ⊗ g) = (g ⊗ f) ∘ τ_{V,W} for any f : V → V′, g : W → W′.

The Hexagon Coherence Condition

When symmetry is combined with associativity across three factors U, V, W, a hexagon-shaped diagram of associativity and symmetry isomorphisms connects (U ⊗ V) ⊗ W to V ⊗ (W ⊗ U) in two different ways (swapping and regrouping in different orders); coherence requires these two paths to agree, which is what prevents symmetry structure from becoming internally inconsistent once more than two factors are involved.

Diagram of the Hexagon Coherence

Extension to Higher Tensor Powers

The Symmetric Group Action

For an n-fold tensor power V^{⊗n}, the symmetry structure extends from a single swap to a full action of the symmetric group Sₙ on V^{⊗n}, generated by transpositions swapping adjacent factors, permuting the tensor factors of v₁ ⊗ v₂ ⊗ ... ⊗ vₙ according to any permutation σ ∈ Sₙ.

Symmetric and Alternating Subspaces of Higher Powers

Just as V ⊗ V splits into symmetric and antisymmetric parts under the single swap, V^{⊗n} splits, using averaging (symmetrization) and alternating-sign averaging (antisymmetrization) over the whole group Sₙ, into the symmetric power Symⁿ(V) and exterior power Λⁿ(V), together with other components corresponding to the remaining irreducible representations of Sₙ when n ≥ 3, a refinement described by Schur-Weyl duality.

Interaction with the Universal Property

Symmetric and Alternating Multilinear Maps

Symmetry structure interacts with the universal property by distinguishing symmetric multilinear maps, satisfying β(v, w) = β(w, v), from alternating multilinear maps, satisfying β(v, w) = −β(w, v): symmetric or alternating multilinear maps correspond, via the universal property, to linear maps out of Symⁿ(V) or Λⁿ(V) respectively rather than out of the full tensor power V^{⊗n}, since these quotient or subspace constructions are exactly designed to encode the corresponding symmetry constraint.

Significance of Symmetry Structure

Completing the Symmetric Monoidal Category Structure

Together with associativity and unit isomorphisms, symmetry structure is the final ingredient needed to exhibit the category of vector spaces, with the tensor product as its monoidal operation, as a symmetric monoidal category, the standard categorical setting in which tensor products and all their coherent rearrangements are studied uniformly.

Gateway to Symmetric and Exterior Algebra

Symmetry structure is the direct precursor to the theories of symmetric and exterior algebra, since the symmetric and alternating subspaces it identifies inside tensor powers are exactly the building blocks of polynomial algebra, differential forms, determinants, and the representation theory of the general linear and symmetric groups.