Shimura Varieties

Higher-Dimensional Modular Curves

Modular curves parameterize elliptic curves and connect modular forms with arithmetic geometry.

Shimura varieties generalize this idea to higher dimensions.

They are moduli spaces associated with more general algebraic groups and parameterize richer geometric structures such as:

abelian varieties;
Hodge structures;
additional endomorphisms;
level structures.

Shimura varieties occupy a central position in the Langlands program because their geometry naturally carries both:

automorphic information;
Galois information.

They are among the deepest arithmetic spaces in modern mathematics.

From Modular Curves to Shimura Varieties

Recall that modular curves arise from quotients:

\Gamma\backslash\mathbb{H},

where

\mathbb{H}

is the upper half-plane.

The upper half-plane is a symmetric space associated with

SL_2(\mathbb{R}).

Shimura varieties replace:

the upper half-plane by higher-dimensional Hermitian symmetric domains;
$SL_2$ by more general reductive groups.

The resulting quotient spaces become higher-dimensional arithmetic varieties.

Thus Shimura varieties are generalized arithmetic locally symmetric spaces.

Hermitian Symmetric Domains

A Hermitian symmetric domain is a complex manifold possessing strong geometric symmetry.

Examples include:

the upper half-plane;
Siegel upper half-spaces;
complex balls.

These domains are homogeneous spaces:

X=G(\mathbb{R})/K,

where:

$G$ is a real Lie group;
$K$ is a maximal compact subgroup.

The domain carries invariant complex and differential geometric structures.

Arithmetic subgroups of $G$ act discretely on these domains.

Arithmetic Quotients

Let

G

be a reductive algebraic group over $\mathbb{Q}$ .

Choose:

a Hermitian symmetric domain

X;

an arithmetic subgroup

\Gamma\subseteq G(\mathbb{Q}).

The quotient

\Gamma\backslash X

often possesses the structure of an algebraic variety.

After suitable compactification, one obtains a Shimura variety.

These varieties inherit rich arithmetic and geometric structures from both the group and the symmetric domain.

Moduli Interpretation

One of the most important features of Shimura varieties is their moduli interpretation.

They often classify:

abelian varieties;
polarizations;
endomorphism structures;
level structures.

For example:

modular curves classify elliptic curves;
Siegel modular varieties classify principally polarized abelian varieties.

Thus Shimura varieties are arithmetic parameter spaces for geometric objects.

This moduli viewpoint makes them fundamental in arithmetic geometry.

Siegel Modular Varieties

A central example comes from symplectic groups.

The Siegel upper half-space of genus $g$ is

\mathfrak{H}_g = \{Z\in M_g(\mathbb{C}) : Z^T=Z,\ \operatorname{Im}(Z)>0\}.

The symplectic group

Sp_{2g}(\mathbb{R})

acts on this domain.

Arithmetic quotients produce Siegel modular varieties.

These varieties parameterize principally polarized abelian varieties of dimension $g$ .

For

g=1,

one recovers ordinary modular curves.

Canonical Models

Shimura varieties are not merely complex analytic spaces.

A remarkable theorem states that they possess canonical models over number fields.

Thus they can be defined algebraically over arithmetic fields rather than only over $\mathbb{C}$ .

This arithmetic structure allows Galois groups to act on their points and cohomology.

Canonical models are essential for Langlands theory and arithmetic geometry.

Hecke Correspondences

Shimura varieties carry natural Hecke correspondences.

These arise from double cosets in adelic groups and generalize Hecke operators on modular curves.

Hecke correspondences act on:

cohomology;
automorphic forms;
algebraic cycles.

Their eigenvalues encode automorphic information.

This action is one of the primary mechanisms connecting geometry with automorphic representation theory.

Cohomology and Automorphic Forms

The cohomology of Shimura varieties contains automorphic representations.

Roughly speaking, automorphic forms appear naturally inside the cohomology groups:

H^\ast(X,\mathbb{Q}_\ell).

This geometric realization is one of the central insights of modern arithmetic geometry.

It allows representation-theoretic objects to be studied using algebraic geometry and topology.

Galois Representations

Étale cohomology of Shimura varieties carries actions of absolute Galois groups.

Thus one obtains Galois representations from geometry.

At the same time, the same cohomology carries Hecke actions arising from automorphic forms.

The interaction between these two actions produces Langlands correspondences.

This geometric bridge between automorphic representations and Galois representations is one of the central achievements of modern mathematics.

Compactifications

Shimura varieties are often noncompact because of cusps and degenerations.

Several compactification theories exist:

Baily-Borel compactification;
toroidal compactification;
minimal compactification.

Compactifications allow techniques from algebraic geometry and intersection theory to be applied.

Boundary components also contain important arithmetic information.

Special Points

Certain points on Shimura varieties possess extraordinary arithmetic significance.

These include CM points associated with complex multiplication.

Values of modular functions at CM points generate class fields.

This phenomenon generalizes classical complex multiplication theory.

Special points are central in:

explicit class field theory;
André-Oort conjectures;
arithmetic dynamics.

The André-Oort Conjecture

The André-Oort conjecture describes the distribution of special points on Shimura varieties.

Roughly speaking, subvarieties containing “too many” special points must themselves arise from Shimura-theoretic constructions.

This conjecture was proved recently using methods from:

arithmetic geometry;
o-minimality;
Galois theory.

It illustrates the rich arithmetic structure hidden inside Shimura varieties.

Shimura Varieties and the Langlands Program

Shimura varieties provide geometric realizations of automorphic forms and Galois representations.

They serve as testing grounds for:

reciprocity laws;
functoriality;
automorphic $L$ -functions;
Langlands correspondences.

Many deep conjectures in arithmetic geometry are formulated using Shimura varieties.

They are therefore central geometric objects in the Langlands program.

Perfectoid Methods

Recent breakthroughs by entity[“people”,“Peter Scholze”,“German mathematician”] introduced perfectoid spaces into the theory of Shimura varieties.

Perfectoid geometry allows new comparison theorems and deeper understanding of $p$ -adic structures.

These ideas transformed modern arithmetic geometry and opened new directions in the Langlands program.

Importance in Modern Mathematics

Shimura varieties connect:

automorphic forms;
algebraic geometry;
Hodge theory;
Galois representations;
arithmetic geometry;
the Langlands program.

They generalize modular curves into a vast geometric framework encoding arithmetic symmetry.

Modern number theory increasingly studies arithmetic through the geometry and cohomology of Shimura varieties.