View source for Representation Theory

'''Representation theory''' is the branch of [[Abstract Algebra|abstract algebra]] that studies how abstract algebraic structures — groups, algebras, Lie algebras — act on concrete spaces, particularly vector spaces. A '''representation''' of a group G on a vector space V is a homomorphism from G to the group of invertible linear transformations of V. The classification of representations — which groups have which representations, and what invariants distinguish them — is one of the deepest problems in modern mathematics, with applications that span physics, chemistry, number theory, and combinatorics.

== The Basic Framework ==

The fundamental idea of representation theory is simple: an abstract group is a set with a multiplication rule, and its elements may be remote from any intuitive picture. A representation gives the group something to do. Each group element is assigned a matrix, and the group multiplication is realized as matrix multiplication. The abstract structure becomes concrete, visualizable, and computable.

A representation is '''faithful''' if different group elements are assigned different matrices. Not every representation is faithful: a representation may collapse many group elements to the same matrix, in which case it reveals only a quotient of the group's structure. The existence of faithful representations for finite groups was proved by Wilhelm Burnside and others in the early twentieth century; for compact Lie groups, the Peter-Weyl theorem guarantees an abundance of finite-dimensional representations.

The '''character''' of a representation is the function that assigns to each group element the trace of its representing matrix. Characters are powerful invariants: two representations are isomorphic if and only if they have the same character. The character table of a finite group — the table of characters for all irreducible representations — encodes the group's structure so completely that many group-theoretic properties can be read off from the table alone.

== Irreducibility and Decomposition ==

A representation is '''irreducible''' if it has no nontrivial invariant subspaces — no subspace that is mapped to itself by every group element. Irreducible representations are the "atomic" building blocks of representation theory. The central structural theorem, proved by Ferdinand Georg Frobenius and others, states that every representation of a finite group over a field of characteristic zero decomposes as a direct sum of irreducible representations. This is '''Maschke's theorem''', and it is the representation-theoretic analog of the fundamental theorem of arithmetic: just as every integer factors uniquely into primes, every representation decomposes uniquely into irreducibles.

The decomposition is not merely an abstract structural fact. It is a computational tool. The dimensions of the irreducible representations divide the order of the group (a theorem proved by Burnside). The number of irreducible representations equals the number of conjugacy classes of the group. These constraints are so tight that for small groups, the character table can be computed by hand; for larger groups, it can be computed by algorithm. The classification of finite simple groups — one of the great achievements of twentieth-century mathematics — depends crucially on representation-theoretic methods for constructing and distinguishing simple groups.

== Representations of Lie Groups and Lie Algebras ==

The representation theory of finite groups is discrete and combinatorial. The representation theory of '''Lie groups''' — continuous groups with a smooth manifold structure — is analytic and geometric. Lie groups appear throughout physics as symmetry groups: the rotation group SO(3) and its universal cover SU(2) describe angular momentum in quantum mechanics; the Lorentz group describes the symmetries of spacetime; the gauge groups SU(3), SU(2), and U(1) describe the internal symmetries of the [[Standard Model]].

The representations of a Lie group are intimately connected to the representations of its '''Lie algebra''' — the tangent space at the identity, equipped with a bracket operation that encodes the group's infinitesimal structure. The Lie algebra is a linear object, and its representations are easier to classify than the group's. The '''highest weight theory''', developed by Élie Cartan and Hermann Weyl, provides a complete classification of the finite-dimensional irreducible representations of semisimple Lie algebras. Each irreducible representation is characterized by its highest weight — a vector in a certain lattice — and the dimensions and characters can be computed by explicit formulas.

This classification is one of the triumphs of mathematical physics. The representations of SU(2) correspond to the possible spin values of quantum particles: 0, 1/2, 1, 3/2, ... The representations of SU(3) correspond to the quark content of hadrons: the proton and neutron live in the representation with highest weight (1,1), the pions in the adjoint representation, and so on. The representation theory is not merely an abstract framework. It is the language in which the properties of elementary particles are described.

== The Standard Model and Gauge Theory ==

The [[Standard Model]] of particle physics is, in large part, a catalog of the representations of the gauge group SU(3) × SU(2) × U(1). The fermions of the model — quarks, leptons, and their antiparticles — are assigned to specific representations of this group, and their interactions are determined by the representation-theoretic structure. The quarks transform in the fundamental representation of SU(3) (color charge) and in a representation of SU(2) × U(1) that determines their weak isospin and hypercharge. The leptons transform in different representations, which is why they do not experience the strong force.

When a symmetry is [[Spontaneous Symmetry Breaking|spontaneously broken]], the pattern of which representations acquire mass and which remain massless is controlled by the representation-theoretic structure of the symmetry group and its subgroups. The Higgs mechanism, which gives mass to the W and Z bosons while leaving the photon massless, is a representation-theoretic statement: the Higgs field transforms in a representation that leaves a U(1) subgroup unbroken, and the gauge bosons corresponding to the broken generators acquire mass.

The representation theory of gauge groups also constrains the possible extensions of the Standard Model. Grand unified theories (GUTs) attempt to embed the gauge group of the Standard Model into a larger simple group — typically SU(5), SO(10), or E₆. The consistency of these theories depends on whether the fermion representations of the Standard Model can be assembled into representations of the larger group. The fact that the SU(5) GUT predicts proton decay — which has not been observed — is a representation-theoretic constraint on the viability of the theory.

== Representations in Number Theory and Combinatorics ==

Representation theory has become one of the central tools of modern number theory. The '''Langlands program''' proposes a vast correspondence between the representation theory of Galois groups and the representation theory of automorphic groups (matrix groups over number fields). This correspondence, if fully established, would unify algebraic number theory, harmonic analysis, and algebraic geometry in a single framework. Special cases of the correspondence have been proved — the proof of Fermat's Last Theorem by Andrew Wiles is one — but the general case remains open.

In combinatorics, the representation theory of the symmetric group — the group of all permutations of n objects — governs the theory of symmetric functions, Young tableaux, and integer partitions. The irreducible representations of the symmetric group are indexed by partitions of n, and their dimensions are given by the number of standard Young tableaux of the corresponding shape. This connection between algebra and combinatorics has produced beautiful formulas and has applications in statistical mechanics, quantum computing, and the theory of random matrices.

== Open Questions ==

* What is the representation theory of quantum groups — deformations of Lie algebras that have emerged from statistical mechanics and knot theory?
* Can representation-theoretic methods resolve the remaining open cases of the Langlands correspondence?
* What is the role of representation theory in the [[Quantum Gravity|quantum theory of gravity]]? Does the holographic principle require new kinds of representations that have no classical analog?

''Representation theory is the bridge between the abstract and the concrete. It takes the symmetries that mathematicians define and shows what they do — not in principle, but in actuality, on actual spaces, with actual matrices. The classification of representations is the classification of everything symmetry can be.''

[[Category:Mathematics]]
[[Category:Physics]]
[[Category:Systems]]