Tensor representation¶

A representation of a general linear or matrix group obtained from finite tensor products of a fundamental representation and its dual, including their irreducible factors.

Version: v2 · 2026-09-06 · History
Domain-specific #: 2944
Origin domain: mathematics
Subdomain: representations of general linear and classical groups
Aliases: Mixed tensor representation, Rational tensor representation

Core Idea¶

Tensor representation is a representation of a general linear or matrix group obtained from finite tensor products of a fundamental representation and its dual, including their irreducible factors. ^[1]

Starting from the defining representation V of GL(V) and its dual V, finite tensor powers V^⊗p ⊗ (V)^⊗q inherit diagonal group actions. Subrepresentations, quotients, direct sums, and irreducible factors generated from these tensors form the tensor or rational representation family. Schur functors and Young diagrams organize polynomial irreducibles; mixed tensors incorporate dual factors.

Its operative boundary is not supplied by the name alone. Preserve this identity: A representation of a general linear or matrix group obtained from finite tensor products of a fundamental representation and its dual, including their irreducible factors. Validity boundary: Membership requires generation by the stated tensor-and-dual operations in the relevant group representation category; arbitrary tensor notation is insufficient. The entry therefore captures a reusable specialist role structure rather than a topic label, a single historical instance, or a loose analogy.

Structural Signature¶

Sig role-phrases:

the matrix group — GL(V) or a subgroup acting on the construction
the defining representation — the fundamental action on V
the dual representation — the contragredient action on V*
the tensor degree — the numbers of primal and dual factors
the diagonal group action — simultaneous action on every tensor factor
the invariant subquotient — a representation extracted from tensor powers
the symmetry projector — Young symmetrizer or Schur functor selecting a type
the irreducible factor — a simple constituent classified by weights or tableaux

Recognition test. A case qualifies only when the analyst can map the declared the matrix group, the defining representation, the dual representation, the tensor degree, the diagonal group action and preserve the specialist validity conditions. Shared vocabulary, a similar output, or a generic instance of one parent relation is insufficient.

What It Is Not¶

Not any array called a tensor. A group action and generation from V and V* are required.
Not the tensor product of arbitrary representations. The family is anchored to a defining representation and its dual.
Not a spin representation in general. Spinors need not occur as tensor representations of the orthogonal group.
Not one coordinate choice. The representation is invariant even though tensor components change with basis.
Not necessarily irreducible. Tensor powers usually decompose into several constituents.

Scope of Application¶

The abstraction recurs literally within general linear and classical matrix groups whose representations are generated from defining modules and their duals. The following habitats preserve the same recognition machinery; they are not invitations to extend the name metaphorically.

Polynomial GL representations. Schur functors extract irreducibles from V tensor powers.
Rational representations. mixed primal and dual powers allow negative weight components.
Orthogonal groups. trace-free symmetric tensors give standard tensor representations.
Symplectic groups. contractions and symmetry types organize constituents.
Invariant theory. tensor contractions produce equivariants and invariants.

Clarity¶

The word tensor may refer to a tensor space, a tensor field, or this representation family. Membership is categorical: the action must be obtained from the defining action and dual through finite tensor operations and the allowed subquotients. The acting group and base field must be stated.

A practical identification audit begins with the typed roles rather than the title: establish the matrix group, verify the defining representation, then test the remaining conditions and exclusions. If the case retains only the portable skeleton described below, it should be named through a parent abstraction rather than as Tensor representation.

Manages Complexity¶

Tensor generation replaces an open-ended search over representations with combinatorics of degrees, symmetries, contractions, and highest weights. It also makes transformation behavior explicit and computable.

The compression remains accountable because each simplification has a named failure condition. Disagreement can be localized to a missing role, an invalid assumption, an ambiguous measurement, or a neighboring abstraction instead of being hidden inside an unanalyzed label.

Abstract Reasoning¶

R1. Fix the group and its defining module. R2. Construct the diagonal action on specified primal and dual tensor powers. R3. Identify invariant subspaces or quotient modules. R4. Apply Schur or contraction operators with characteristic hypotheses attached. R5. Distinguish tensor, spin, and other representation families before claiming completeness.

These moves separate definition, derivation, measurement, and interpretation. A formal consequence does not by itself prove that an observed case instantiates the abstraction, while an observed resemblance does not relax the formal or institutional recognition conditions.

Knowledge Transfer¶

The construction transfers literally among matrix groups and fields supporting the same tensor category. Representation and symmetry are broader parents; using tensor notation in a neural model or physical equation does not automatically define a tensor representation of a group.

The transfer boundary is explicit: DOMAIN-SPECIFIC PASS / PRIME FAIL: The construction recurs across tensor degrees, dual factors, Schur functors, Young tableaux, and suitable matrix groups. Literal recognition retains the specialist vocabulary and validity conditions of representation theory; outside that setting only broader parent operations transfer. The safe move beyond the home habitat is to carry the applicable parent relation and leave the specialist name behind unless every defining role remains literal.

Examples¶

Canonical: symmetric square¶

GL(V) acts diagonally on V tensor V. The subspace fixed by swapping the two factors is Sym^2 V and is preserved by the group, so it is a tensor representation. The alternating subspace gives a second constituent; in characteristic zero these projectors decompose the second tensor power. ^[1]

Mapped back: the matrix group; the defining representation; the tensor degree; the diagonal group action; the invariant subquotient; the symmetry projector.

Applied / In Practice: mixed tensors¶

On V tensor V*, GL(V) acts on the first factor and contragrediently on the second. Identifying the space with End(V) turns the action into conjugation. The scalar endomorphisms and trace-free endomorphisms form familiar invariant pieces under suitable field assumptions. ^[2]

Mapped back: the defining representation; the dual representation; the diagonal group action; the invariant subquotient; the irreducible factor.

Structural Tensions¶

T1: Coordinate components vs invariant action. Arrays aid calculation while transformation law defines the representation. Diagnostic: Which group action makes the subspace invariant?

T2: Tensor generation vs exceptional representations. Many classical representations are tensorial, while spin and related modules can lie outside the family. Diagnostic: Has generation from V and V* been proved?

T3: Decomposition vs characteristic. Semisimplicity and Young projectors behave differently in positive characteristic. Diagnostic: What field and characteristic are assumed?

T4: Polynomial vs rational. Dual factors enlarge polynomial weights to mixed rational representations. Diagnostic: Are V* factors permitted?

T5: Whole tensor power vs irreducible factor. The ambient power is reducible while constituents carry finer labels. Diagnostic: Which object is being classified?

T6: Domain autonomy vs prime reduction. Representation and symmetry omit generation from a defining module, its dual, and tensor category. Diagnostic: Would any group action still be a tensor representation?

Structural–Framed Character¶

The five-criterion aggregate is 0.15 (structural). The judgment is criterion-specific:

Vocabulary travels — low (0.25). The complete vocabulary remains tied to the typed roles in the Structural Signature.
Evaluative weight — low (0.00). Application carries the stated degree of normative or interpretive judgment beyond structural recognition.
Institutional origin — low (0.25). The abstraction depends to this degree on a scholarly, technical, legal, or social convention.
Human-practice bound — low (0.00). Recognition depends to this degree on organized practice, language, measurement, or institutional action.
Import versus recognize — low (0.25). Beyond its home habitat, use of the full name increasingly becomes analogy rather than literal recognition.

The portable skeleton is complex structured behaviors are generated functorially from a fundamental action, its dual, and symmetry-selecting composition rules. The named abstraction remains structural because that skeleton alone does not supply its specialist objects, constraints, or tests.

Structural Core vs. Domain Accent¶

Structural core: Complex structured behaviors are generated functorially from a fundamental action, its dual, and symmetry-selecting composition rules.

Domain accent: Matrix groups, defining modules, duals, tensor powers, schur functors, young diagrams, weights, and invariant contractions.

Why it does not clear the prime bar: Representation is prime-level; tensor representation is the group-theoretic closure generated by fundamental and dual modules. Generalization therefore routes through parent abstractions; preserving the specialist name requires the full accent.

Representation (prime:representation). The group is realized through linear actions on constructed vector spaces.
Symmetry (prime:symmetry). Permutation symmetries and group invariance select tensor constituents.

These are prose placement proposals only. They create no dag_edges; endpoint, redundancy, and cycle checks are recorded separately in the bundle's placement memo.

Relationships to Other Abstractions¶

Current abstraction Tensor representation Domain-specific

Parents (2) — more general patterns this builds on

Tensor representation is a kind of Representation Prime

Representation (prime:representation).
Tensor representation presupposes Symmetry Prime

Symmetry (prime:symmetry).

Hierarchy paths (2) — routes to 2 parentless roots

Tensor representation → Representation → Abstraction

Show alternative path (1)

Neighborhood in Abstraction Space¶

Tensor representation sits in a sparse region of the domain-specific corpus (70^th percentile for distinctiveness): few abstractions share its structure, so a faithful description tends to retrieve it precisely.

Family — Unclustered & Miscellaneous (1565 abstractions)

Nearest neighbors

Computed from structural-signature embeddings · 2026-09-08

Not to Be Confused With¶

Tensor product representation. the tensor product of any two group representations. Tell: Are the factors generated from one defining module and its dual?
Tensor field. a smoothly varying tensor on a manifold. Tell: Is a matrix group representation or a geometric field being discussed?
Spin representation. a representation of a spin group not generally descending as an orthogonal tensor representation. Tell: Can it be generated from ordinary tensor powers?
Polynomial representation. the q=0 part of the GL tensor family. Tell: Are dual factors required?
Adjoint representation. the action on a Lie algebra. Tell: Is it realized here as a tensor subrepresentation, and of which group?

References¶

[1] William Fulton and Joe Harris, Representation Theory: A First Course, Springer, 1991, chapters on Schur functors and classical groups. registry ↩a ↩b

[2] Georgia Benkart et al., “Tensor Product Representations of General Linear Groups and Their Connections with Brauer Algebras”, Journal of Algebra 166(3) (1994), 529–567. registry ↩