Skip to content

Representation Theory Background

Representation theory studies abstract algebraic objects by expressing them as linear transformations of vector spaces.

Symmetry and Linear Actions

Representation theory studies abstract algebraic objects by expressing them as linear transformations of vector spaces.

The guiding principle is simple:

complicated algebraic structures become more understandable when realized concretely as matrices.

If GG is a group and VV is a vector space over a field kk, a representation of GG on VV is a homomorphism

ρ:GGL(V), \rho:G\to\operatorname{GL}(V),

where

GL(V) \operatorname{GL}(V)

is the group of invertible linear transformations of VV.

When a basis for VV is chosen, the representation becomes a homomorphism into invertible matrices:

ρ:GGLn(k). \rho:G\to\operatorname{GL}_n(k).

Thus group elements act as matrices.

Representation theory converts abstract algebra into linear algebra.

Basic Examples

Cyclic Groups

Let

G=Z/nZ. G=\mathbb{Z}/n\mathbb{Z}.

A one-dimensional complex representation is determined by a root of unity:

ρ(1)=ζn, \rho(1)=\zeta_n,

where

ζnn=1. \zeta_n^n=1.

Every element acts by multiplication by powers of ζn\zeta_n.

These representations are called characters.

Permutation Representations

Suppose a group GG acts on a finite set

X={x1,,xn}. X=\{x_1,\ldots,x_n\}.

Then GG acts on the vector space

kn k^n

by permuting basis vectors.

This gives a representation

GGLn(k). G\to\operatorname{GL}_n(k).

Permutation representations appear naturally throughout algebra and number theory.

Matrix Groups

The group

GLn(k) \operatorname{GL}_n(k)

already acts naturally on

kn. k^n.

This is called the standard representation.

Many advanced representations arise by constructing new vector spaces from this basic action.

Invariant Subspaces

A subspace

WV W\subseteq V

is invariant under a representation if

ρ(g)(W)W \rho(g)(W)\subseteq W

for all gGg\in G.

If no nontrivial invariant subspaces exist, the representation is irreducible.

Irreducible representations are the fundamental building blocks of representation theory.

The general philosophy resembles prime factorization:

  • groups decompose into simple representations,
  • representations decompose into irreducible pieces.

Understanding irreducible representations is therefore a central problem.

Direct Sums and Decomposition

If

V=V1V2, V=V_1\oplus V_2,

and both subspaces are invariant, then the representation decomposes as

ρ=ρ1ρ2. \rho=\rho_1\oplus\rho_2.

In matrix form, the action becomes block diagonal:

ρ(g)=(ρ1(g)00ρ2(g)). \rho(g)= \begin{pmatrix} \rho_1(g) & 0 \\ 0 & \rho_2(g) \end{pmatrix}.

For finite groups over fields of characteristic zero, every representation decomposes into irreducible representations.

This is Maschke’s theorem.

Characters

The character of a representation is the function

χρ(g)=Tr(ρ(g)). \chi_\rho(g)=\operatorname{Tr}(\rho(g)).

Characters contain remarkable information about representations.

Important properties include:

  • characters are constant on conjugacy classes,
  • irreducible characters satisfy orthogonality relations,
  • characters determine representations over C\mathbb{C}.

Character theory transforms representation theory into harmonic analysis on groups.

Representations of Lie Groups

Many groups in number theory are continuous rather than finite.

Examples include:

GLn(R),SL2(R),GLn(Qp). \operatorname{GL}_n(\mathbb{R}), \qquad \operatorname{SL}_2(\mathbb{R}), \qquad \operatorname{GL}_n(\mathbb{Q}_p).

These are Lie groups or locally compact groups.

Representations of such groups are usually infinite-dimensional and require analytic methods.

Smoothness, continuity, Hilbert spaces, and unitary structures become essential.

This transition from finite-dimensional algebra to infinite-dimensional analysis is one of the major themes of modern representation theory.

Representations of Galois Groups

Arithmetic geometry studies representations of Galois groups.

Let

K K

be a field with algebraic closure

K. \overline{K}.

Its absolute Galois group is

Gal(K/K). \operatorname{Gal}(\overline{K}/K).

A Galois representation is a homomorphism

ρ:Gal(K/K)GLn(E), \rho: \operatorname{Gal}(\overline{K}/K) \to \operatorname{GL}_n(E),

where EE is often:

  • Q\mathbb{Q}_\ell,
  • Z\mathbb{Z}_\ell,
  • C\mathbb{C},
  • finite fields.

These representations encode arithmetic information.

For example, elliptic curves produce Galois representations through their torsion points and étale cohomology.

Automorphic Representations

Modern number theory also studies representations of adelic groups such as

GLn(AK), \operatorname{GL}_n(\mathbb{A}_K),

where

AK \mathbb{A}_K

is the adele ring of a number field.

Automorphic forms naturally organize into representations of these groups.

This perspective unifies:

  • modular forms,
  • harmonic analysis,
  • arithmetic geometry,
  • spectral theory.

Automorphic representations are central objects in the Langlands program.

Tensor Products and Duals

Representations may be combined algebraically.

If

V V

and

W W

are representations of GG, their tensor product becomes a representation via

g(vw)=gvgw. g(v\otimes w) = gv\otimes gw.

Dual representations are defined on the dual vector space

V. V^\ast.

These constructions allow new representations to be built systematically from old ones.

Such operations are fundamental in modern arithmetic geometry and motivic theory.

Representation Theory in Number Theory

Representation theory appears throughout modern number theory:

Number-Theoretic ObjectAssociated Representation
Modular formAutomorphic representation
Elliptic curveGalois representation
Finite field extensionsPermutation representation
Frobenius actionsLinear operators
Étale cohomologyGalois modules

This correspondence allows arithmetic questions to be studied through spectral and linear methods.

Conceptual Importance

Representation theory provides a language for symmetry.

Instead of studying groups directly, one studies how groups act on vector spaces. This converts algebraic structure into matrices, operators, eigenvalues, and invariant subspaces.

Modern arithmetic geometry depends heavily on this viewpoint. The Langlands program, automorphic forms, modularity theorems, and étale cohomology all rely fundamentally on representations.

Representation theory therefore serves as one of the principal bridges connecting algebra, geometry, analysis, and number theory.