Galois Representations

Arithmetic Symmetry as Linear Algebra

Galois groups encode the symmetries of algebraic equations and field extensions.

Unfortunately, absolute Galois groups are usually enormous and extremely complicated.

For example,

\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})

is a profinite group of immense complexity.

To study such groups, one translates their abstract symmetry into linear algebra.

This leads to Galois representations.

A Galois representation converts arithmetic symmetry into matrices acting on vector spaces.

Modern number theory increasingly studies arithmetic objects through their associated Galois representations.

Basic Definition

Let

K

be a field and let

\overline{K}

be an algebraic closure.

The absolute Galois group is

G_K = \mathrm{Gal}(\overline{K}/K).

A Galois representation is a continuous homomorphism

\rho: G_K \to GL_n(F),

where:

$F$ is a field;
$GL_n(F)$ is the group of invertible matrices.

The dimension $n$ is called the degree of the representation.

The continuity condition reflects the profinite topology on $G_K$ .

Thus arithmetic symmetry becomes linear algebraic symmetry.

One-Dimensional Representations

The simplest Galois representations are one-dimensional:

\rho:G_K\to F^\times.

These are characters of the Galois group.

Class field theory completely describes such representations.

For example, Dirichlet characters may be interpreted as one-dimensional Galois representations.

Cyclotomic characters also play a fundamental role.

These representations form the abelian part of Galois theory.

The Cyclotomic Character

Let

\mu_n

denote the group of $n$ -th roots of unity.

The Galois group acts on roots of unity:

\sigma(\zeta_n)=\zeta_n^{a_\sigma}.

This defines the cyclotomic character:

\chi_n: G_{\mathbb{Q}} \to (\mathbb{Z}/n\mathbb{Z})^\times.

Passing to inverse limits yields the $\ell$ -adic cyclotomic character:

\chi_\ell: G_{\mathbb{Q}} \to \mathbb{Z}_\ell^\times.

This representation measures how Galois automorphisms act on torsion roots of unity.

It is one of the most important examples in arithmetic geometry.

$\ell$ -Adic Representations

Most modern Galois representations are $\ell$ -adic.

These are representations:

\rho: G_K \to GL_n(\mathbb{Q}_\ell).

The field

\mathbb{Q}_\ell

is complete and compatible with the profinite structure of $G_K$ .

Such representations arise naturally from:

elliptic curves;
algebraic varieties;
étale cohomology;
modular forms.

$\ell$ -adic representations form the backbone of modern arithmetic geometry.

Galois Representations from Elliptic Curves

Let

E/K

be an elliptic curve.

Its $n$ -torsion subgroup is

E[n].

The Galois group acts on these torsion points:

G_K \curvearrowright E[n].

This yields a representation:

\rho_{E,n}: G_K \to GL_2(\mathbb{Z}/n\mathbb{Z}).

Passing to inverse limits gives the Tate module:

T_\ell(E) = \varprojlim E[\ell^m].

The resulting $\ell$ -adic representation is

\rho_{E,\ell}: G_K \to GL_2(\mathbb{Z}_\ell).

These representations encode the arithmetic of elliptic curves.

Frobenius Elements

Suppose

\rho

is unramified at a prime $p$ .

Associated to $p$ is a Frobenius element:

\mathrm{Frob}_p.

The matrix

\rho(\mathrm{Frob}_p)

encodes local arithmetic information at $p$ .

For elliptic curves,

\operatorname{tr}(\rho(\mathrm{Frob}_p)) = a_p,

where

a_p = p+1-|E(\mathbb{F}_p)|.

Thus point counts modulo primes become traces of matrices.

This relationship lies at the heart of modern arithmetic geometry.

Representations from Modular Forms

A modular eigenform

f(z) = \sum a_n q^n

determines a Galois representation:

\rho_f: G_{\mathbb{Q}} \to GL_2(\overline{\mathbb{Q}}_\ell).

The Frobenius traces satisfy:

\operatorname{tr}(\rho_f(\mathrm{Frob}_p)) = a_p.

Thus modular forms and Galois representations encode identical arithmetic information.

The modularity theorem identifies these representations for elliptic curves.

Ramification

A Galois representation may behave differently at different primes.

A representation is unramified at $p$ if inertia acts trivially.

Ramification reflects arithmetic complexity.

The study of ramification filtrations and local behavior is central in arithmetic geometry.

Many deep theorems classify allowable ramification patterns.

Deformation Theory

Given a mod- $\ell$ representation

\overline{\rho},

one studies its lifts to characteristic zero.

This leads to deformation theory.

Deformation rings parameterize all possible deformations satisfying prescribed local conditions.

Deformation theory was one of the main tools in entity[“people”,“Andrew Wiles”,“British mathematician”]’s proof of Fermat’s Last Theorem.

It remains fundamental throughout modern arithmetic geometry.

Compatible Systems

Arithmetic geometry often produces families of $\ell$ -adic representations:

\{\rho_\ell\}_\ell.

These representations satisfy compatibility relations across different primes $\ell$ .

Such systems arise naturally from algebraic varieties and motives.

Understanding compatible systems is central in the Langlands program.

Étale Cohomology

Modern Galois representations arise primarily from étale cohomology.

X

is an algebraic variety, then the étale cohomology groups

H^i_{\mathrm{\acute et}}(X,\mathbb{Q}_\ell)

carry natural Galois actions.

Thus geometry produces Galois representations automatically.

This insight transformed arithmetic geometry.

The Weil conjectures and Deligne’s work rely heavily on this framework.

Motives

Motives are conjectural universal objects underlying cohomology theories.

The Langlands philosophy predicts that many automorphic forms correspond to motivic Galois representations.

Thus Galois representations are expected to arise from geometry in highly systematic ways.

Motives remain among the deepest and most mysterious objects in arithmetic geometry.

The Langlands Perspective

The Langlands program predicts correspondences between:

automorphic representations;
Galois representations.

Automorphic forms encode analytic symmetry.

Galois representations encode arithmetic symmetry.

The conjectural correspondence identifies these two worlds.

Much of modern number theory seeks to establish and generalize such correspondences.

Importance in Modern Mathematics

Galois representations now permeate arithmetic.

They appear in:

modular forms;
elliptic curves;
étale cohomology;
motives;
automorphic forms;
arithmetic geometry;
the Langlands program.

They provide the fundamental mechanism for translating arithmetic problems into linear algebra and representation theory.

Modern arithmetic increasingly studies numbers not directly through equations, but through the symmetries encoded in Galois representations.