The Riemann zeta function encodes the distribution of all primes. L-functions are generalisations that encode the distribution of primes in specific contexts — primes in arithmetic progressions, primes related to elliptic curves, primes associated with modular forms.

Every L-function is a Dirichlet series with an Euler product. But not every Dirichlet series with an Euler product is an L-function. L-functions have additional structure: analytic continuation to the whole complex plane, a functional equation, and deep connections to geometry and algebra.

The defining properties

An L-function typically has four properties (following Selberg’s axioms):

1. Dirichlet series: $L(s) = \sum_{n=1}^{\infty} a_n / n^s$, converging for $\text{Re}(s)$ sufficiently large
2. Analytic continuation: Extends meromorphically to all $\mathbb{C}$ (poles, if any, only at $s = 1$)
3. Functional equation: A symmetry relating $L(s)$ to $L(1-s)$ (or a shifted version), mediated by gamma factors
4. Euler product: $L(s) = \prod_p F_p(p^{-s})^{-1}$ for polynomials $F_p$

The zeta function has all four. So do the examples below.

Dirichlet L-functions

Dirichlet (1837) introduced these to prove that primes are equidistributed in arithmetic progressions. Given a Dirichlet character $\chi$ (a periodic multiplicative function), define:

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

With $\chi = 1$ (the trivial character), this reduces to $\zeta(s)$. Non-trivial characters filter the integers by residue class, and the corresponding L-function encodes primes in that class.

Dirichlet’s theorem: if $\gcd(a, N) = 1$, there are infinitely many primes $p \equiv a \pmod{N}$. The proof uses the non-vanishing of $L(1, \chi)$ for non-trivial $\chi$ — an analytic property of L-functions implying an arithmetic result.

L-functions of elliptic curves

An elliptic curve $E$ over the rationals has an associated L-function:

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

The coefficients $a_p$ (for prime $p$) count how many points $E$ has modulo $p$, compared to the expected number: $a_p = p + 1 - #E(\mathbb{F}_p)$.

The Euler product at good primes has degree 2:

$$L(E, s) = \prod_{p} \frac{1}{1 - a_p p^{-s} + p^{1-2s}}$$

Each factor is a quadratic in $p^{-s}$, richer than the zeta function’s linear factors.

L-functions of modular forms

A modular form $f$ — a function on the upper half-plane with specific symmetry properties — has a Fourier expansion $f(z) = \sum a_n q^n$ where $q = e^{2\pi i z}$. The coefficients define an L-function:

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

The modularity theorem (Taniyama-Shimura conjecture, proved by Wiles and others) says: the L-function of every rational elliptic curve is also the L-function of a modular form. This deep identity — between a geometric object (curve) and an analytic one (modular form) — was the key to proving Fermat’s Last Theorem.

The Langlands programme

All known L-functions are conjectured to fit within a single grand framework: the Langlands programme. This predicts that:

• Every “motivic” L-function (from geometry) equals an “automorphic” L-function (from representation theory)
• There are reciprocity laws governing how L-functions from different sources correspond
• The zeros and poles of L-functions encode deep arithmetic truths

The programme, initiated by Robert Langlands in 1967, is one of the most ambitious undertakings in modern mathematics — a unified theory of number theory, geometry, and representation theory, with L-functions as the common language.

The common thread

Every row follows the same pattern: build a Dirichlet series from arithmetic data, show it has an Euler product and analytic continuation, and use the analytic properties to prove arithmetic results.