Skip to content

Complex representation

A group or Lie-algebra representation on a complex vector space; in a narrower usage, one whose complex-conjugate representation is inequivalent to it, distinguishing it from real and pseudoreal types.

Version
v1 · 2026-09-28 · History
Domain-specific #
8604
Domain group
Formal Sciences
Origin domain
Mathematics
Subdomain
Representation Theory → Mathematics

Core Idea

A complex representation broadly means a group or Lie algebra acting linearly on a complex vector space. Group multiplication must map to composition of invertible complex-linear transformations, or the Lie bracket to the commutator of endomorphisms. A narrower convention, common in physics, classifies an irreducible representation as complex only when its complex-conjugate representation is not equivalent to the original. A narrower convention, common in physics, classifies an irreducible representation as complex only when its complex-conjugate representation is not equivalent to the original.

How would you explain it like I'm…

 

No faithful explanation at this level. All three generators agree a child-level 'moves described with complex numbers' picture only captures the broad sense and conflates it with the narrow physics sense (not equivalent to its conjugate), which the core says must be distinguished.

Complex Numbers or Complex Type?

In math, a group is a set of moves you can combine, like the turns of a puzzle cube. A representation describes each move with a table of numbers, so that combining moves matches multiplying tables. In the broad meaning, a complex representation is one where the tables use complex numbers. But some people, especially physicists, use 'complex' in a narrower way: a representation is complex only if its mirror-flipped version (using conjugate numbers) is truly different from the original. So a representation can use complex numbers without being 'complex' in that narrow sense, and you have to say which meaning you mean.

Complex Representation (Two Conventions)

A representation of a group (or Lie algebra) turns each element into a linear transformation of a vector space so that combining elements corresponds to composing transformations; for Lie algebras, the bracket corresponds to the commutator. In the broad sense, a complex representation is any such action on a complex vector space. In a narrower convention, common in physics, an irreducible representation is called complex only if its complex conjugate representation — the one with all matrices conjugated — is not equivalent to the original. If it is equivalent to its conjugate, it is instead classified as real or pseudoreal; for compact groups, a number called the Frobenius–Schur indicator tells which. So a representation can use complex matrices, and be complex in the broad sense, without being 'of complex type' in the narrow sense.

 

In the broad sense, a complex representation is a linear action of a group or Lie algebra on a complex vector space: group multiplication maps to composition of invertible complex-linear transformations, or the Lie bracket maps to the commutator of endomorphisms. A narrower convention, standard in much of physics, classifies an irreducible representation as complex only if its complex-conjugate representation is inequivalent to it. When the conjugate is equivalent, the representation is instead real or pseudoreal, and for compact groups these cases are distinguished by structures summarized by the Frobenius–Schur indicator. Hence a representation can be realized by complex matrices, and so be complex in the broad sense, without being of complex type in the narrow sense. Any use of the term must name which convention applies.

Scope of Application

Use complex representation with acting object, carrier, action, irreducibility, equivalence notion, and broad-versus-narrow convention stated. Use complex representation with acting object, carrier, action, irreducibility, equivalence notion, and broad-versus-narrow convention stated.

  • Group theory. Studies complex modules.
  • Lie theory. Represents algebras and groups.
  • Particle physics. Classifies particle multiplets.
  • Harmonic analysis. Uses unitary representations.
  • Character theory. Studies traces and types.

Clarity

Complex entries are basis-dependent; representation type is an equivalence property and cannot be read from one matrix display alone. The closest near miss sets the boundary: A real-type representation is closest: it acts on a complex vector space broadly but is equivalent to its conjugate and admits the relevant real structure.

Manages Complexity

Conjugation, duality, real forms, and pseudoreal structures are related but distinct. Indicator claims require compactness or finite-group hypotheses and appropriate irreducibility. The central broad usage–narrow usage tradeoff is this: Both are standard and can reverse a classification. A second matrix appearance–invariant type tension matters because Complex entries depend on basis while equivalence does not.

Abstract Reasoning

Use three linked moves: specify group or Lie algebra and complex carrier; verify the homomorphism or bracket relation; construct the conjugate representation. As a collapse test, the case exits when no compatible group or Lie-algebra action exists; the narrow label also exits when the conjugate is equivalent in real or pseudoreal type. A fourth check is to test equivalence and invariant real or quaternionic structures.

Knowledge Transfer

Linear action on a scalar field transfers across algebra, but complex conjugation and representation-type equivalence delimit this concept. The nearest stopping boundary is explicit: A real-type representation is closest: it acts on a complex vector space broadly but is equivalent to its conjugate and admits the relevant real structure. The inclusion test remains: A complex representation broadly is a compatible linear action on a complex vector space; narrowly it is the conjugacy type inequivalent to its complex conjugate. The structure no longer applies when the case exits when no compatible group or Lie-algebra action exists; the narrow label also exits when the conjugate is equivalent in real or pseudoreal type. No canonical parent prime is currently asserted; broader structural comparisons remain related-prime analogies until separately adjudicated in the DAG. The action realizes abstract elements linearly.

Relationships to Other Abstractions

Local relationship map for Complex representationParents appear above the current abstraction, mutual partners to the right, and children below. Node labels state whether each abstraction is prime or domain-specific; colors identify relation types.ComplexrepresentationDOMAINPrime abstraction: Representation — is a kind ofRepresentationPRIME

Current abstraction Complex representation Domain-specific

Parents (1) — more general patterns this builds on

  • Complex representation is a kind of Representation Prime

    Complex representation is a domain-specific kind of representation under the frozen identity and differentia.

Hierarchy path (1) — routes to 1 parentless root

Neighborhood in Abstraction Space

Complex representation sits in a crowded region of the domain-specific corpus (35th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Unclustered & Miscellaneous (2551 abstractions)

Nearest neighbors

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