5.22.4 Tensor Product Symmetry Natural Relation

Tensor Product Symmetry Natural Relation is the naturality condition satisfied by the symmetry isomorphism τ_{V,W} : V ⊗ W → W ⊗ V, stating that for any linear maps f : V → V′ and g : W → W′, swapping factors commutes with applying f and g in the sense that τ_{V′,W′} ∘ (f ⊗ g) = (g ⊗ f) ∘ τ_{V,W}. This relation elevates the symmetry isomorphism from a single map defined for one pair of spaces into a coherent family of maps — a natural transformation between the tensor product bifunctor and its "opposite" — that behaves predictably and uniformly across every choice of vector spaces and linear maps between them.

Statement of the Natural Relation

The Naturality Square

For f : V → V′ and g : W → W′, the natural relation asserts that the square

commutes: transforming the factors of v ⊗ w by f and g and then swapping equals swapping first and then transforming the (now-reordered) factors by g and f, respectively.

Verification on Simple Tensors

Both sides can be checked directly on a simple tensor v ⊗ w: the left side gives τ_{V′,W′}(f(v) ⊗ g(w)) = g(w) ⊗ f(v), and the right side gives (g ⊗ f)(w ⊗ v) = g(w) ⊗ f(v), matching exactly. Since simple tensors span V ⊗ W, this equality on simple tensors extends by linearity to a genuine equality of linear maps on all of V ⊗ W.

Why the Roles of f and g Must Swap

The Necessity of Reordering the Maps

The natural relation does not equate τ_{V′,W′} ∘ (f ⊗ g) with (f ⊗ g) ∘ τ_{V,W}; the maps f and g must also be swapped, to g ⊗ f, on the other side. This reflects that after τ reorders the factors from (V, W)-order to (W, V)-order, the map acting on the (now first) W-factor must be g, and the map acting on the (now second) V-factor must be f, matching the factors' new positions.

Consequence for Special Cases

When f = id_V and g = id_W, the relation reduces to τ_{V,W} = τ_{V,W} trivially, and when V = W and f = g, it specializes to τ ∘ (f ⊗ f) = (f ⊗ f) ∘ τ on V ⊗ V, showing that the swap endomorphism commutes with any "diagonal" tensor product map f ⊗ f, a fact used when analyzing how linear operators interact with the symmetric and antisymmetric decomposition of V ⊗ V.

Diagram of the Natural Relation

Naturality as a Statement About Bifunctors

Two Bifunctors Being Compared

The tensor product ⊗ : (V, W) ↦ V ⊗ W and its "flip" ⊗^{op} : (V, W) ↦ W ⊗ V are each bifunctors on the category of vector spaces, sending a pair of linear maps (f, g) to f ⊗ g and g ⊗ f respectively; the symmetry natural relation states precisely that τ is a natural transformation from ⊗ to ⊗^{op} (and, since it is invertible, a natural isomorphism between them).

Naturality Guarantees Uniform Behavior

Because τ is natural, no special case-by-case verification is needed when applying transformations and swaps together in a computation: naturality guarantees in advance that the order of these two operations can always be exchanged, provided the roles of f and g are exchanged correspondingly.

Interaction with Associativity: The Hexagon Relation

Naturality Feeding into Hexagon Coherence

The symmetry natural relation is a necessary ingredient in stating the hexagon coherence condition relating τ and the associativity isomorphism α across three factors, since the hexagon diagram involves both regrouping and swapping steps, and naturality of τ is what allows these steps to be compared and shown consistent regardless of which linear maps, if any, are simultaneously applied to the three spaces involved.

Significance of the Natural Relation

Foundation for Treating Symmetry as Structural, Not Ad Hoc

The natural relation is what distinguishes the symmetry isomorphism from an arbitrary bijection between V ⊗ W and W ⊗ V that happens to exist for each pair of spaces; naturality certifies that τ is part of a coherent, structural feature of the tensor product operation itself, compatible with every linear map between vector spaces, rather than a coincidental identification valid only in isolation.

Prerequisite for Symmetric Monoidal Category Structure

Naturality of the symmetry isomorphism, verified here explicitly, is one of the axioms required for the category of vector spaces with the tensor product to qualify formally as a symmetric monoidal category, the categorical framework in which the full coherence theory of tensor product associativity and symmetry is developed and applied.