5.24.5 Tensor Product Map Notation

Tensor Product Map Notation is the set of symbolic conventions specifically for writing and manipulating the tensor product of linear maps, distinct from notation for tensor products of spaces or elements, encompassing the infix form f ⊗ g, its matrix-level counterpart the Kronecker product A ⊗ B, identity-padded notation for maps acting on selected factors, and the functorial notation used when treating ⊗ as an operation on morphisms in category theory. Because a tensor product map simultaneously specifies a domain, a codomain, and an action built from two or more underlying maps, its notation must clearly convey all of this compactly.

The Basic Infix Form for Maps

Direct Notation

The tensor product of two linear maps f : V → V′ and g : W → W′ is written f ⊗ g, with the understanding, established by context, that this instance of ⊗ denotes the tensor product of linear maps operation, (f ⊗ g) : V ⊗ W → V′ ⊗ W′, rather than a tensor product of spaces or vectors.

Signature Notation

Writing out the full signature alongside f ⊗ g makes explicit both the domain and codomain relations for the tensor product map, disambiguating it from a bare element-level tensor product notation that would otherwise look identical.

Identity-Padded Notation for Factor-Selective Maps

Compact Notation for Acting on One Factor

When a map acts on only one factor while the identity is applied elsewhere, standard notation writes f ⊗ id_W (or id_V ⊗ g), explicitly displaying the identity map on the untouched factor rather than omitting it, so the reader can immediately see which factor is affected and which is not.

Superscript Identity Padding for Multiple Factors

For an n-factor tensor power with a map acting on only the k-th leg, notation such as id^{⊗(k-1)} ⊗ f ⊗ id^{⊗(n-k)} compactly indicates identity maps padding both sides of the single nontrivial map, using the tensor-power superscript notation to avoid writing out each identity factor individually.

Diagram of Map Notation Components

Matrix-Level Notation: The Kronecker Product Symbol

Same Symbol, Concrete Matrix Meaning

In finite dimensions, once bases are fixed, f ⊗ g is represented by the Kronecker product of matrices, also written A ⊗ B; the identical symbol ⊗ is reused for both the abstract map and its concrete matrix representative, with context (whether A, B denote matrices or abstract maps) determining which is meant.

Block Notation for the Kronecker Product

The Kronecker product is often displayed explicitly in block form, with each entry a_{ij} of A scaling an entire copy of B, a notational convention that makes the size and internal block structure of the resulting matrix visually apparent alongside the compact symbolic form A ⊗ B.

Functorial Notation in Category Theory

⊗ as an Operation on Morphisms

In category-theoretic treatments, ⊗ is presented as a bifunctor, and its action on a pair of morphisms (f, g) is written ⊗(f, g) or, more commonly, still as the infix f ⊗ g, but now explicitly regarded as the image of (f, g) under the bifunctor ⊗ : C × C → C, connecting the elementary map notation to its formal categorical status.

Naturality Square Notation

Category-theoretic notation also standardizes how naturality conditions involving ⊗ are displayed, typically as commutative squares or diagrams with ⊗-labeled arrows, providing a uniform pictorial notation for expressing compatibility conditions such as those governing associativity and symmetry isomorphisms of ⊗ on morphisms.

Notation for Composition versus Tensor Product of Maps

Distinguishing ∘ from ⊗

Because both composition ∘ and tensor product ⊗ combine two maps into one, careful notation always keeps the two operators visually distinct: f₂ ∘ f₁ denotes applying f₁ then f₂ on the same space chain, while f ⊗ g denotes combining two maps acting on different tensor factors simultaneously; conflating the two symbols is a common source of error when both operations appear in the same expression.

Mixed Expressions

Expressions combining both operations, such as (f′ ∘ f) ⊗ g = (f′ ⊗ id) ∘ (f ⊗ g), rely on both symbols retaining their distinct meanings throughout, with parentheses used liberally to make the order of composition and tensoring unambiguous.

Significance of Map Notation

Precision About What Is Being Combined

Tensor product map notation exists to make unambiguous, at a glance, whether ⊗ is combining spaces, elements, or maps, and whether accompanying identity factors, domain and codomain annotations, or leg-specific padding are present, since the same base symbol ⊗ is reused across all these related but distinct uses.

Bridge Between Abstract and Computational Treatments

By supporting both the abstract infix form f ⊗ g and its concrete Kronecker product matrix realization A ⊗ B under the same notational symbol, tensor product map notation allows an unbroken notational path from category-theoretic abstraction down to explicit numerical computation.