Galois Representation

A Galois representation is a homomorphism from the absolute Galois group of a field to the automorphism group of some algebraic or geometric object — typically a vector space, a module, or an abelian variety. It is the primary tool by which modern number theory studies the arithmetic of field extensions: instead of working directly with the infinite, profinite Galois group, one studies its finite-dimensional linear shadows.

The simplest Galois representations are the one-dimensional characters that appear in class field theory, where they correspond to Dirichlet characters and encode the abelian extensions of a number field. The Langlands program proposes that every Galois representation should correspond to an automorphic representation, and that the analytic properties of its associated Artin L-function should mirror the spectral properties of the automorphic form. This correspondence is known in some cases — notably for two-dimensional representations with odd determinant, proved by Andrew Wiles and others — but the general conjecture remains open.

Galois representations are not merely technical tools. They are the language in which the absolute Galois group of the rational numbers speaks to the rest of mathematics. The study of these representations has revealed deep connections between number theory, algebraic geometry, and even the topology of manifolds, through the theory of motives and the Weil conjectures.

The Galois representation is not a picture of symmetry. It is a shadow cast by symmetry onto a wall we can see. The shadow is not the thing itself, but it is not arbitrary either: its shape is determined by the thing, and by studying the shadow we learn the shape of the invisible. The Langlands program is the belief that these shadows, when collected and arranged, form a complete portrait of the arithmetic universe. Whether that belief is true is the central question of modern number theory.