Brauer tensor categories turn duality into diagrammatic mathematics: strands represent tensor factors, cups and caps represent coevaluation and evaluation, and composition becomes stacking.
Dual objects
An object V with dual V* comes with evaluation V*⊗V→1 and coevaluation 1→V⊗V*. Their compatibility is expressed by snake identities. Diagrammatically, a strand bent into a cup and then a cap straightens to the identity.
Cups and caps
A cup creates a dual pair; a cap contracts one. Their normalization determines the value of a closed loop. In a dimension-parameter category, that loop becomes a scalar parameter.
Crossings
A symmetric crossing exchanges neighboring tensor factors and squares to the identity. Crossings satisfy braid relations. Together with cups and caps they generate a rich diagram calculus.
Composition
Vertical stacking composes morphisms. Horizontal juxtaposition tensors them. Associativity follows because a multi-layer diagram has the same final connectivity regardless of parenthesization.
Endomorphism algebras
Fixing an object such as V^⊗r and taking its endomorphisms produces a Brauer-type algebra. The category contains more information because it also includes morphisms between different tensor powers and duality patterns.
Tensor representations
A monoidal functor to vector spaces sends diagrams to actual linear maps. To define such a representation, the images of cups, caps and crossings must satisfy every categorical relation.
Loop parameter
A closed loop evaluates to the categorical dimension assigned by the functor or to a formal parameter in the universal category. Specializing this parameter can change kernels and semisimplicity.
Mixed tensors
When V and V* are both present, boundary orientations record whether a strand carries an object or its dual. Evaluation is only legal for compatible adjacent dual types. This orientation bookkeeping prevents invalid contractions.
Centralizers
Group actions on tensor spaces can commute with diagram-category actions. In suitable stable ranges, endomorphism algebras recover centralizers. Outside those ranges, diagram actions can acquire kernels.
Snake identity check
Start with v∈V. Apply coevaluation to create a dual pair, then evaluate the appropriate adjacent pair. In coordinates, the dual-basis sum collapses to v. This is the algebraic content of straightening a bent strand.
Basis diagrams
For fixed source and target boundary types, admissible matchings give a basis in the universal diagram category subject to its relations. Counting them provides a first dimension check before studying representations.
Parameter specialization
A universal diagram can remain nonzero formally but act as zero after specializing to a low-dimensional tensor representation. Faithfulness therefore depends on both boundary size and target dimension.
Relation to walled Brauer algebra
The Walled Brauer Algebra is a fixed-rank endomorphism algebra adapted to mixed tensor space. The categorical view explains why cups, caps and oriented boundaries appear there.
Relation to ordinary Brauer algebra
The existing Brauer and Temperley–Lieb Algebras guide develops fixed-rank diagram algebras. The tensor-category route emphasizes duality morphisms and movement among different objects.
Verification workflow
Declare objects and duals. Define cups, caps and crossings. Verify snake, braid and symmetry relations. State the loop parameter. Translate diagrams under a proposed functor and check stable-range claims separately from formal categorical identities.
Practice
1. What does a cup represent? 2. What does a closed loop evaluate to? 3. Why does a snake identity matter? 4. What is obtained by fixing one object and taking its endomorphisms?
Answers. Coevaluation; the declared categorical dimension or formal loop parameter; it guarantees duality behaves as a genuine inverse bending operation; a diagram algebra.
Representation Mathematics — Batch 19
Walled Brauer Algebra
Partition Algebra
Rook Brauer Algebra
Brauer Tensor Category
BTT Mathematics Learning Hub