5.25.4 Tensor Product Representation Boundary

Tensor Product Representation Boundary is the demarcation between what tensor product theory itself supplies — the vector space V ⊗ W, its dimension, its universal property, and the tensor product of linear maps — and what belongs instead to representation theory, namely the additional structure and questions that arise once V and W are representations of a group or algebra and V ⊗ W is considered as a new representation built from them. This boundary marks where the purely linear-algebraic theory of the tensor product ends and the theory of how tensor products interact with group actions, irreducibility, and decomposition begins.

What Tensor Product Theory Alone Provides

The Underlying Vector Space Construction

Given representations ρ_V : G → GL(V) and ρ_W : G → GL(W) of a group G, tensor product theory by itself only constructs the vector space V ⊗ W, its dimension dim(V)·dim(W), and the notion of a tensor product of the individual linear maps ρ_V(g) and ρ_W(g) for a fixed group element g; none of this, on its own, mentions the group G or its action.

The Additional Ingredient: A Group Action

Representation theory supplies the additional structure that turns this bare vector space into a new representation, defining ρ_{V⊗W}(g) = ρ_V(g) ⊗ ρ_W(g) for every g ∈ G simultaneously; this definition uses the tensor product of linear maps operation as an ingredient but adds the requirement that the assignment be compatible with the group's multiplication, ρ_{V⊗W}(gh) = ρ_{V⊗W}(g)ρ_{V⊗W}(h), a condition entirely outside the scope of tensor product theory itself.

Diagram of the Boundary

Questions That Lie Beyond the Boundary

Decomposition into Irreducible Representations

Once V ⊗ W is regarded as a representation, a central question of representation theory — whether it decomposes as a direct sum of irreducible representations, and if so which ones and with what multiplicities — arises; this decomposition problem depends entirely on the specific group G and its representation theory, and has no counterpart in tensor product theory itself, which does not distinguish irreducible from reducible representations at all.

Clebsch–Gordan-Type Coefficients

The explicit coefficients describing how a tensor product of two irreducible representations splits into irreducibles (as in the Clebsch–Gordan decomposition for representations of rotation groups) are computed using group-specific representation-theoretic tools, entirely beyond what the universal property or dimension formula of the tensor product alone can supply.

Character Theory

The character of a tensor product representation is the pointwise product of the characters of the two factor representations, χ_{V⊗W}(g) = χ_V(g)·χ_W(g); while this formula follows directly from properties of the trace and the tensor product of linear maps, the broader theory of characters — orthogonality relations, character tables, using characters to determine multiplicities of irreducibles — is representation-theoretic machinery outside tensor product theory's own scope.

Where the Two Theories Genuinely Meet

Tensor Product Theory as a Necessary but Insufficient Foundation

Representation theory could not define the tensor product of two representations at all without the prior, purely linear-algebraic notion of the tensor product of vector spaces and of linear maps; in this sense, tensor product theory is a strict prerequisite for this part of representation theory, even though it does not itself address any of the group-theoretic questions that make tensor products of representations interesting to study.

The Boundary Is Additive, Not Overlapping

Nothing in tensor product theory needs to be modified or reinterpreted to support representation theory's use of it; representation theory simply adds a compatibility condition (the group homomorphism property) on top of the unmodified tensor product construction, making this a clean example of one theory building strictly on top of another rather than the two theories overlapping or conflicting.

Significance of the Representation Boundary

Preventing Tensor Product Theory from Absorbing Representation-Theoretic Content

Marking this boundary keeps tensor product theory focused on what is intrinsic to the tensor product construction itself, rather than expanding to include irreducibility, character tables, and decomposition results that depend essentially on the particular group or algebra whose representations are being tensored.

Clarifying the Direction of Dependency

Recognizing that representation theory depends on tensor product theory, and not the reverse, clarifies the correct order in which these subjects should be studied and referenced: the linear-algebraic tensor product theory developed here is foundational input to representation theory's tensor product constructions, not a special case or restriction of them.