Automorphic Forms

Beyond Modular Forms

Modular forms are functions on the upper half-plane satisfying symmetry conditions under the modular group

SL_2(\mathbb{Z}).

They encode deep arithmetic information and connect complex analysis with number theory.

Automorphic forms generalize this idea.

Instead of studying functions invariant under subgroups of

SL_2(\mathbb{Z}),

one studies functions on much more general groups and symmetric spaces.

This broader theory unifies:

modular forms;
representation theory;
harmonic analysis;
algebraic geometry;
number theory.

The Langlands program is fundamentally built around automorphic forms.

Symmetry and Quotients

The classical modular group acts on the upper half-plane:

z\mapsto \frac{az+b}{cz+d}.

Modular forms are functions respecting this symmetry.

More generally, let

G

be a Lie group and

\Gamma\subseteq G

a discrete subgroup.

One studies functions on quotient spaces such as

\Gamma\backslash G.

Automorphic forms are functions possessing strong symmetry, regularity, and growth properties on such spaces.

Thus automorphic theory studies harmonic analysis on arithmetic quotients.

Classical Modular Forms as Automorphic Forms

Classical modular forms are the first examples of automorphic forms.

Indeed, the upper half-plane can be identified with a quotient:

\mathbb{H} \cong SL_2(\mathbb{R})/SO(2).

A modular form may therefore be viewed as a function on

SL_2(\mathbb{R})

transforming appropriately under:

the discrete subgroup

SL_2(\mathbb{Z});

the compact subgroup

SO(2).

This reinterpretation allows modular form theory to be generalized systematically.

Adelic Perspective

Modern automorphic theory uses adeles.

Let

\mathbb{A}_K

be the adele ring of a number field $K$ .

Instead of working with real Lie groups alone, one studies functions on adelic groups such as

G(\mathbb{A}_K).

Automorphic forms are functions on quotients:

G(K)\backslash G(\mathbb{A}_K).

This formulation simultaneously incorporates:

archimedean analysis;
$p$ -adic analysis;
arithmetic congruence conditions.

The adelic viewpoint unifies local and global arithmetic.

Definition of an Automorphic Form

The precise definition depends on the setting, but an automorphic form generally satisfies:

invariance under a discrete arithmetic subgroup;
smoothness or holomorphicity;
moderate growth conditions;
finiteness under certain differential operators.

For example, a function

f:G(K)\backslash G(\mathbb{A}_K)\to\mathbb{C}

may satisfy:

f(\gamma g)=f(g)

for all

\gamma\in G(K).

Additional conditions control analytic behavior.

Thus automorphic forms are highly symmetric analytic functions on arithmetic quotient spaces.

Cuspidal Automorphic Forms

Among automorphic forms, cusp forms play the deepest role.

A cuspidal automorphic form satisfies certain vanishing conditions along unipotent directions.

These conditions generalize vanishing at cusps for classical modular forms.

Cuspidal automorphic forms contribute the discrete spectrum of automorphic spaces.

They correspond to the most arithmetic and irreducible objects in the theory.

Many important $L$ -functions arise from cuspidal automorphic representations.

Automorphic Representations

Modern theory emphasizes representations rather than functions.

The space of automorphic forms carries an action of the adelic group

G(\mathbb{A}_K).

This representation decomposes into irreducible pieces called automorphic representations.

Thus automorphic forms become objects in harmonic analysis and representation theory.

This shift from functions to representations was one of the major conceptual advances of twentieth-century mathematics.

Hecke Operators

Automorphic forms possess commuting families of Hecke operators.

These operators generalize the classical Hecke operators acting on modular forms.

Hecke operators encode arithmetic information associated with primes.

Simultaneous eigenfunctions of all Hecke operators are called automorphic eigenforms.

Their eigenvalues determine local arithmetic data and generate Euler products for associated $L$ -functions.

Automorphic $L$ -Functions

Every automorphic representation gives rise to an $L$ -function.

These functions generalize:

the Riemann zeta function;
Dirichlet $L$ -functions;
modular $L$ -functions.

Automorphic $L$ -functions typically possess:

Euler products;
analytic continuation;
functional equations.

They are among the central analytic objects of modern number theory.

Much of the Langlands program concerns the structure and relationships of these $L$ -functions.

Spectral Theory

Automorphic forms arise naturally in spectral theory.

The quotient space

\Gamma\backslash G

often carries invariant differential operators such as the Laplacian.

Automorphic forms may appear as eigenfunctions of these operators.

Thus automorphic theory resembles Fourier analysis on curved arithmetic spaces.

The spectrum decomposes into:

discrete spectrum;
continuous spectrum.

Cusp forms contribute the discrete spectrum, while Eisenstein series contribute the continuous spectrum.

Examples Beyond $GL_2$

Classical modular forms correspond roughly to automorphic forms on

GL_2.

Modern theory studies automorphic forms on many groups:

$GL_n$ ;
symplectic groups;
orthogonal groups;
unitary groups;
exceptional groups.

Each group produces its own automorphic theory and associated $L$ -functions.

These higher-rank theories are vastly richer and more complicated than classical modular forms.

The Langlands Program

The Langlands program proposes deep correspondences between:

automorphic representations;
Galois representations.

Roughly speaking, automorphic forms encode analytic symmetry, while Galois representations encode arithmetic symmetry.

The Langlands correspondence predicts that these are two manifestations of the same underlying structure.

Classical class field theory is the abelian case of this philosophy.

Automorphic forms therefore sit at the center of modern arithmetic geometry.

Trace Formulas

One of the fundamental tools in automorphic theory is the trace formula.

The trace formula generalizes Fourier analysis and the Poisson summation formula to nonabelian groups.

It relates:

spectral data from automorphic representations;
geometric data from conjugacy classes.

Trace formulas have become indispensable in modern representation theory and arithmetic geometry.