Automorphic $L$-Functions

Generalized Zeta Functions

The Riemann zeta function

\zeta(s) = \sum_{n=1}^\infty \frac1{n^s} = \prod_p \frac1{1-p^{-s}}

encodes the arithmetic of prime numbers.

Modern number theory studies vast generalizations of this function called automorphic $L$ -functions.

These functions arise from automorphic representations and modular forms. They unify many classical analytic objects, including:

Dirichlet $L$ -functions;
Dedekind zeta functions;
modular $L$ -functions;
Hasse-Weil $L$ -functions.

Automorphic $L$ -functions lie at the center of the Langlands program.

Euler Products

One of the defining features of arithmetic $L$ -functions is the Euler product.

\pi = \bigotimes_v \pi_v

is an automorphic representation, then its $L$ -function factors into local pieces:

L(s,\pi) = \prod_v L(s,\pi_v).

At unramified finite places $p$ , the local factor typically has the form

L(s,\pi_p) = \prod_{i=1}^n (1-\alpha_{p,i}p^{-s})^{-1},

where the numbers

\alpha_{p,i}

are Satake parameters.

Thus automorphic $L$ -functions encode arithmetic information prime by prime.

Classical Examples

The Riemann Zeta Function

The zeta function itself corresponds to the trivial automorphic representation of

GL_1(\mathbb{A}_{\mathbb{Q}}).

Thus the simplest automorphic $L$ -function is already the central object of analytic number theory.

Dirichlet $L$ -Functions

A Dirichlet character

\chi

defines

L(s,\chi) = \sum_{n=1}^\infty \frac{\chi(n)}{n^s}.

These correspond to automorphic representations of

GL_1.

Class field theory interprets them as one-dimensional automorphic forms.

Modular $L$ -Functions

f(z)=\sum a_n q^n

is a modular eigenform, then

L(f,s) = \sum_{n=1}^\infty \frac{a_n}{n^s}.

The Euler product becomes

L(f,s) = \prod_p \frac1{1-a_pp^{-s}+\chi(p)p^{k-1-2s}}.

This is the automorphic $L$ -function associated with a representation of

GL_2.

Analytic Continuation

Automorphic $L$ -functions are expected to extend meromorphically to the entire complex plane.

For many important cases, this has been proved.

Analytic continuation is fundamental because the original Dirichlet series usually converges only for

\operatorname{Re}(s)\gg0.

Extending beyond this region reveals deep arithmetic structure.

The continuation often arises from automorphic symmetry and harmonic analysis.

Functional Equations

Automorphic $L$ -functions satisfy functional equations relating

s

and

1-s.

Typically one defines a completed $L$ -function:

\Lambda(s,\pi) = L_\infty(s,\pi)L(s,\pi),

where

L_\infty(s,\pi)

contains archimedean gamma factors.

The functional equation has the form

\Lambda(s,\pi) = \varepsilon(s,\pi)\Lambda(1-s,\widetilde{\pi}),

where:

$\widetilde{\pi}$ is the contragredient representation;
$\varepsilon(s,\pi)$ is an epsilon factor.

Functional equations reflect deep duality symmetries.

Local Factors

Every place contributes local arithmetic data.

At finite primes, local factors encode:

Frobenius eigenvalues;
ramification;
local representation theory.

At archimedean places, gamma factors appear.

For example, the completed zeta function is

\pi^{-s/2}\Gamma\left(\frac s2\right)\zeta(s).

Thus automorphic $L$ -functions combine local information from all places simultaneously.

Rankin-Selberg $L$ -Functions

Given automorphic representations

\pi_1 \quad\text{and}\quad \pi_2,

one may form the Rankin-Selberg $L$ -function:

L(s,\pi_1\times\pi_2).

For modular forms, this corresponds to tensor products of Hecke eigenvalues.

These functions play major roles in:

analytic number theory;
functoriality;
subconvexity problems;
arithmetic geometry.

Tensor product $L$ -functions are among the central constructions of the Langlands program.

Symmetric Power $L$ -Functions

Let

\pi

be a representation of

GL_2.

Applying symmetric power representations produces new $L$ -functions:

L(s,\mathrm{Sym}^m\pi).

These functions are deeply connected with:

Ramanujan-type bounds;
Sato-Tate distributions;
functoriality.

The analytic continuation of symmetric power $L$ -functions was a major achievement in modern automorphic theory.

Galois $L$ -Functions

Galois representations also produce $L$ -functions.

Suppose

\rho: G_K \to GL_n(\mathbb{C}).

Then one defines

L(s,\rho) = \prod_p \det\left( 1-\rho(\mathrm{Frob}_p)p^{-s} \right)^{-1}.

The Langlands correspondence predicts that many Galois $L$ -functions equal automorphic $L$ -functions.

Thus arithmetic symmetry and automorphic symmetry produce identical analytic objects.

The Generalized Riemann Hypothesis

The zeros of automorphic $L$ -functions are expected to satisfy generalized Riemann hypotheses.

Roughly speaking, nontrivial zeros should lie on critical lines.

These conjectures govern:

distribution of primes;
cancellation in arithmetic sums;
growth of arithmetic functions.

The generalized Riemann hypothesis is therefore part of the broader theory of automorphic $L$ -functions.

Special Values

Special values of automorphic $L$ -functions often encode arithmetic invariants.

Examples include:

class numbers;
regulators;
periods;
ranks of elliptic curves.

The Birch and Swinnerton-Dyer conjecture is one famous example.

Deligne’s conjectures and Beilinson’s conjectures also concern special values.

Thus analytic behavior at special points reflects deep arithmetic geometry.

Converse Theorems

Converse theorems characterize automorphic forms through analytic properties of $L$ -functions.

Roughly speaking:

If a Dirichlet series has enough analytic properties expected of automorphic $L$ -functions, then it actually arises from an automorphic representation.

These theorems reverse the usual construction and are fundamental in Langlands theory.

Trace Formulas and $L$ -Functions

Trace formulas often produce information about automorphic $L$ -functions.

Orbital integrals and spectral decompositions reveal analytic properties such as:

poles;
residues;
functorial transfers.

Thus harmonic analysis becomes a tool for studying arithmetic functions.

Importance in Modern Mathematics

Automorphic $L$ -functions occupy a central position in modern mathematics.

They connect:

prime numbers;
modular forms;
automorphic representations;
Galois representations;
arithmetic geometry;
spectral theory.

Much of modern number theory can be viewed as the study of these functions and the symmetries they encode.

They generalize the Riemann zeta function into a universal analytic language for arithmetic symmetry.