5.22.3 Tensor Product Swap Component Effect

Tensor Product Swap Component Effect is the precise description, in terms of coordinates relative to chosen bases, of how the symmetry (swap) isomorphism transforms the component array of a tensor, namely by exchanging the two coordinate indices, c_{ij} ↦ c_{ji}, so that the abstract operation of swapping tensor factors corresponds exactly to the elementary operation of transposing indices on the component level. This component-level description makes the swap map computationally concrete and connects the abstract symmetry isomorphism directly to the familiar transpose operation on matrices.

Component Transformation Rule

From Basis Elements to Coordinates

Given bases {eᵢ} of V and {fⱼ} of W, a general tensor t ∈ V ⊗ W is written t = Σ c_{ij} (eᵢ ⊗ fⱼ). Applying the symmetry isomorphism τ_{V,W} : V ⊗ W → W ⊗ V, which sends eᵢ ⊗ fⱼ ↦ fⱼ ⊗ eᵢ, gives

so relative to the basis {fⱼ ⊗ eᵢ} of W ⊗ V, the swapped tensor has the same coefficient c_{ij} attached to the basis element with reversed index order, which is exactly the statement that its component array, indexed now as (d_{ji}) with d_{ji} = c_{ij}, is the index-transpose of the original array.

Matrix Transpose Interpretation

In the important special case V = W with the same basis used on both sides, the component array (c_{ij}) can be arranged into a matrix C, and the swap component effect is exactly matrix transposition: the components of τ(t) form the matrix Cᵀ, giving the abstract swap map a completely familiar linear-algebraic face.

Diagram of the Component Effect

Effect on Simple Tensors versus General Tensors

Simple Tensors: A Single Index Pair Swapped

For a simple tensor, only one component is nonzero, and the swap component effect reduces to relocating that single nonzero coefficient from position (i,j) to position (j,i) in the transposed indexing, matching the direct definition τ(eᵢ ⊗ fⱼ) = fⱼ ⊗ eᵢ without needing to consider sums at all.

General Tensors: Every Component Individually Transposed

For a general tensor with many nonzero components, the swap component effect applies the same index exchange to every term of the sum simultaneously and independently, since τ is linear; no interaction occurs between different components under the swap, each coefficient simply relocates to its transposed position.

Effect on Symmetric and Antisymmetric Component Patterns

Symmetric Components Are Fixed

When V = W, a tensor whose component array is symmetric, c_{ij} = c_{ji} for all i, j, is unchanged by the swap component effect, since transposing a symmetric array returns the same array; such tensors lie in the +1-eigenspace of the swap map, matching the symmetric square Sym²(V).

Antisymmetric Components Change Sign

A tensor whose component array is antisymmetric, c_{ij} = −c_{ji}, is sent by the swap component effect to the array (c_{ji}) = (−c_{ij}), the negative of the original array, so antisymmetric tensors acquire an overall sign flip under swapping, matching their status as −1-eigenvectors of the swap map and their identification with the exterior square Λ²(V).

Basis-Dependence and Basis-Independence

The Rule Is Basis-Dependent in Presentation

The specific description "swap the two indices" refers to components relative to a chosen pair of bases; changing either basis changes the numerical values c_{ij} but does not change the fact that the swap component effect is always an index exchange relative to whatever basis is in use.

The Underlying Operation Is Basis-Independent

Despite this basis-dependent presentation, the swap map τ itself is defined without reference to any basis, via the universal property; the component description is merely the concrete, computable shadow of the abstract operation once coordinates have been introduced, and different choices of basis always yield the same "index transpose" description of the effect.

Significance of the Component Effect

Computational Bridge to Matrix Operations

Describing the swap map's effect on components as an index transposition connects the abstract symmetry isomorphism directly to the ordinary transpose operation on matrices and arrays, allowing computations involving tensor symmetry to be carried out using standard numerical linear algebra tools once a basis has been fixed.

Diagnostic for Symmetric and Antisymmetric Tensors

Because the swap component effect acts as a simple sign-detecting index transposition, checking whether a tensor's component array is symmetric, antisymmetric, or neither under this transposition provides an immediate, basis-dependent but computationally straightforward diagnostic for classifying the tensor's behavior under the swap map.