Fact-checked by Grok 2 weeks ago

L -function

In mathematics, an L-function is a meromorphic function on the complex plane defined by a Dirichlet series L(s) = \sum_{n=1}^\infty \frac{a_n}{n^s} for \Re(s) > 1, where the coefficients a_n are complex numbers associated with an arithmetic object such as a Dirichlet character, a modular form, or a motive, and which extends analytically to the entire complex plane except for finitely many poles.^[1] These functions generalize the Riemann zeta function \zeta(s), the prototypical L-function with a_n = 1 for all n, and are characterized by an Euler product representation L(s) = \prod_p \left( \prod_{j=0}^{d-1} (1 - \alpha_{j,p} p^{-s})^{-1} \right) over primes p, where d is the degree and \alpha_{j,p} are the local parameters (the roots of the reciprocal local polynomial factors).^[2] They satisfy a functional equation relating L(s) to L(1-s) (or a shifted version), often involving Gamma factors and a conductor parameter, which encodes arithmetic information about the underlying object.^[1] The concept of L-functions originated in the 19th century with Peter Gustav Lejeune Dirichlet's 1837 introduction of series now called Dirichlet L-functions to prove the infinitude of primes in arithmetic progressions, where a_n = \chi(n) for a Dirichlet character \chi modulo a positive integer q.^[3] Bernhard Riemann's 1859 memoir on the zeta function provided the analytic framework, including meromorphic continuation and the functional equation, which later axiomatized broader classes of L-functions.^[3] Subsequent developments included Dedekind's 1877 generalization to Dedekind zeta functions for number fields, Hecke's 1910s work on L-functions attached to modular forms, and Artin's 1920s construction of L-functions from Galois representations.^[3] Key properties of L-functions include convergence of the Dirichlet series in a half-plane, absolute convergence for large \Re(s), and the Euler product, which reflects multiplicativity of the coefficients and links to prime distribution.^[2] They often obey a functional equation of the form \Lambda(s) = \epsilon \Lambda(1-s), where \Lambda(s) is a completed L-function incorporating Gamma shifts and a root number \epsilon with |\epsilon| = 1, alongside conjectural bounds like the Ramanujan conjecture on the growth of local factors.^[1] Special values at integers, such as L(1, \chi) \neq 0 for non-principal characters (ensuring Dirichlet's theorem), reveal arithmetic data like class numbers or regulators in number fields.^[3] L-functions are central to modern number theory, particularly the Langlands program, which posits deep connections between Galois representations, automorphic forms, and their attached L-functions, with applications to solving Diophantine equations and understanding prime distributions.^[3] The generalized Riemann hypothesis, asserting that non-trivial zeros lie on the critical line \Re(s) = 1/2, remains a major unsolved problem for all primitive L-functions.^[1] Ongoing research, facilitated by databases like the L-functions and Modular Forms Database (LMFDB), computes and classifies millions of L-functions to test conjectures and explore their symmetries.^[3]

Definition and Construction

Formal Definition

In number theory, an L-function is formally defined as a Dirichlet series of the form L(s) = \sum_{n=1}^\infty \frac{a_n}{n^s}, where s is a complex variable with real part greater than 1, and the coefficients a_n are complex numbers satisfying the multiplicativity condition a_{mn} = a_m a_n whenever m and n are coprime.^[4] For the specific case of Dirichlet L-functions, the coefficients are given by a_n = \chi(n), where \chi is a Dirichlet character, a completely multiplicative function periodic modulo some positive integer q.^[5] This multiplicativity ensures that the series admits an Euler product representation over primes, though the focus here is on the series form.^[6] A primitive L-function is one that cannot be expressed as a non-trivial product of two other L-functions, meaning it has no "factors" beyond units or itself in the relevant ring of such functions.^[4] General L-functions can be uniquely decomposed into a product of primitive L-functions (up to units), which plays a crucial role in studying their analytic properties and arithmetic significance, as this factorization reflects the underlying arithmetic data.^[7] This decomposition is part of the axiomatic framework, such as the Selberg class, where primitive elements form the building blocks.^[7] The completed L-function \Lambda(s) provides a normalized version of L(s) to facilitate the functional equation, typically defined as

\Lambda(s) = N^{s/2} \left( \prod_{j=1}^{d_1} \Gamma(\lambda_j s + \mu_j) \right) \left( \prod_{k=1}^{d_2} \Gamma(\lambda_k s + \nu_k) \right) L(s),

where N is the conductor, the \Gamma-factors account for the degree and growth, and the parameters ensure holomorphy and the equation \Lambda(s) = \epsilon \overline{\Lambda(1 - \bar{s})} with |\epsilon| = 1.^[4] For simpler cases like Dirichlet L-functions, the completion simplifies to \Lambda(s, \chi) = \left( \frac{q}{\pi} \right)^{s/2} \Gamma\left( \frac{s + \kappa}{2} \right) L(s, \chi), where q is the modulus, \kappa = 0 or 1 depending on the parity of \chi, and no s(s-1) factor is included unless L(s) has a pole.^[5] The conductor N of an L-function is a positive integer that encodes the arithmetic complexity or "level" of the function, appearing in the functional equation to normalize the Gamma factors and distinguishing primes where the local factors may ramify or behave differently.^[8] It generalizes the modulus of a Dirichlet character and is minimal such that the L-function satisfies its defining properties.^[9]

Euler Product Representation

One defining feature of L-functions is their Euler product representation, which expresses the Dirichlet series as an infinite product over prime numbers, thereby encoding arithmetic information local to each prime. For an L-function L(s) = \sum_{n=1}^\infty a_n n^{-s} in the Selberg class with Dirichlet coefficients a_n, the Euler product takes the form

L(s) = \prod_p \left( \sum_{k=0}^\infty a_{p^k} p^{-k s} \right)

for \Re(s) > 1, where the local factor at each prime p is the subsum over powers of p. Equivalently, for primitive L-functions—those not expressible as a product of L-functions of strictly smaller degree—this can be written as

L(s) = \prod_p \prod_{j=1}^d \left(1 - \alpha_{j,p} p^{-s}\right)^{-1},

where d is the degree and the \alpha_{j,p} (with |\alpha_{j,p}| = 1 under the Ramanujan conjecture) are the local roots or Satake parameters; this is the inverse of a degree-d polynomial P_p(p^{-s}) = \prod_{j=1}^d (1 - \alpha_{j,p} p^{-s}), whose coefficients are the elementary symmetric functions of the \alpha_{j,p}.^[7]^[4] The Euler product converges absolutely in the half-plane \Re(s) > 1 for primitive L-functions, mirroring the absolute convergence of the corresponding Dirichlet series in this region, due to the boundedness of the coefficients a_n \ll n^\varepsilon for any \varepsilon > 0. Outside this half-plane, the product may exhibit conditional convergence, depending on the growth of the local factors, though the full analytic continuation is addressed elsewhere. This representation underscores the arithmetic nature of L-functions, as the local factors \sum_{k=0}^\infty a_{p^k} p^{-k s} capture the behavior at each prime p.^[7]^[10] A key generalization arises in the context of number fields, where the Dedekind zeta function \zeta_K(s) for a number field [K](/page/K) extends the Riemann zeta function via the Euler product

\zeta_K(s) = \prod_{\mathfrak{p}} \left(1 - N(\mathfrak{p})^{-s}\right)^{-1},

with the product over prime ideals \mathfrak{p} of [K](/page/K) and N(\mathfrak{p}) their norms; this serves as a prototype for higher-degree L-functions in the Selberg class, with degree equal to [K : \mathbb{Q}].^[11] The Euler product plays a crucial role in establishing the multiplicativity of the coefficients a_n, meaning a_{mn} = a_m a_n whenever \gcd(m,n) = 1, which follows directly from the unique factorization in the product and enables the decomposition of a_n into contributions from its prime power factors. This multiplicativity facilitates partial fraction-like decompositions of the coefficients via Dirichlet convolution, allowing explicit computations and analytic estimates based on local data at primes.^[10]

Analytic Properties

Analytic Continuation and Functional Equation

L-functions are initially defined via Dirichlet series that converge absolutely in the right half-plane \Re(s) > 1, but they admit a meromorphic continuation to the entire complex plane \mathbb{C}, holomorphic everywhere except for a possible simple pole at s=1.^[7] This extension is a cornerstone of their analytic theory, enabling the study of their behavior across the plane, including in the critical strip $0 < \Re(s) < 1.^[7] To capture their symmetry, one forms the completed L-function \Lambda(s), which incorporates non-archimedean and archimedean factors. For functions in the Selberg class, \Lambda(s) = Q^s \prod_{j=1}^r \Gamma(\lambda_j s + \mu_j) L(s), where Q > 0 is the conductor, \lambda_j > 0, \Re(\mu_j) \geq 0, and r relates to the analytic conductor; this satisfies the functional equation \Lambda(s) = \varepsilon \Lambda(1-s), with root number \varepsilon satisfying |\varepsilon| = 1.^[7] For zeta-like functions of degree 1, the archimedean factor simplifies to \pi^{-s/2} \Gamma(s/2).^[7] The functional equation reflects a duality between s and $1-s, interchanging the roles of the series and its continuation. As a prototype, the Riemann zeta function \zeta(s) has the completed form \Lambda(s) = \pi^{-s/2} \Gamma(s/2) \zeta(s), satisfying \Lambda(s) = \Lambda(1-s), and exhibits a simple pole at s=1 with residue $1$. This pole arises from the harmonic series term in its Euler product, and the residue encodes arithmetic data like the constant in the prime number theorem. Regarding growth, in any fixed vertical strip \sigma_1 \leq \Re(s) \leq \sigma_2, L-functions from the Selberg class are of finite order, implying bounds of the form L(\sigma + it) = O(|t|^\mu (\log |t|)^\nu) on lines \Re(s) = \sigma, where \mu and \nu depend on \sigma and the degree d of the L-function (with \mu \leq d(1/2 - \min(\sigma, 1-\sigma)) + \varepsilon for any \varepsilon > 0 via Phragmén-Lindelöf principles applied to the functional equation).^[7] These estimates control the size in the critical strip and facilitate applications to zero-free regions and distribution laws.^[7]

Zeros and the Critical Line

The non-trivial zeros of an L-function, after analytic continuation, are located within the critical strip defined by $0 < \operatorname{Re}(s) < 1. These zeros are the primary objects of study in the analytic theory of L-functions, as the trivial zeros (typically at negative integers or related points depending on the Gamma factors) lie outside this strip. The functional equation of the L-function implies a symmetry in the distribution of these zeros, pairing each zero \rho with $1 - \overline{\rho}, thus reflecting them across the critical line \operatorname{Re}(s) = 1/2.^[12] A key result in the theory is the existence of zero-free regions near the right boundary of the critical strip, which have important implications for arithmetic applications analogous to the prime number theorem. Specifically, for a broad class of L-functions—including Dirichlet L-functions, Dedekind zeta functions, and Rankin-Selberg L-functions associated to cuspidal automorphic representations—there are no zeros in the region \sigma \geq 1 - \frac{c}{\log(q(|t| + 3)^d)}, where s = \sigma + it, c > 0 is an absolute constant, q denotes the analytic conductor, and d is the degree of the L-function, for sufficiently large |t| (with a possible exception of a simple real zero \beta < 1).^[13] This classical zero-free region, first established for the Riemann zeta function and extended to general L-functions via similar methods involving the Euler product and logarithmic derivatives, ensures that the L-function does not vanish too close to the line \operatorname{Re}(s) = 1. Density theorems provide further insight into the location of zeros within the strip, particularly their tendency to cluster near the critical line. For L-functions in specific classes, such as the Riemann zeta function, it has been proven that a positive proportion \delta > 0 of the non-trivial zeros lie on the critical line \operatorname{Re}(s) = 1/2. Selberg established this result in 1942, showing that the number of such zeros up to height T satisfies N_0(T) > \delta N(T), where N(T) is the total number of non-trivial zeros up to T, with \delta effectively positive (later refinements improved \delta to over 40%). Analogous density results hold for families of Dirichlet L-functions and elements of the Selberg class, where at least a fixed positive proportion of zeros are on the critical line, often obtained via mollifier methods or moments of L-functions. These theorems highlight the critical line's significance without resolving the full distribution of zeros.

Classical Examples

Dirichlet L-functions

Dirichlet L-functions are associated to Dirichlet characters, which are completely multiplicative functions \chi: \mathbb{Z} \to \mathbb{C} that are periodic with period q (the modulus), vanish on integers not coprime to q, and satisfy \chi(1) = 1.^[14] For a Dirichlet character \chi modulo q, the corresponding Dirichlet L-function is defined for \operatorname{Re}(s) > 1 by the Dirichlet series

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

^[14] This series converges absolutely in this half-plane and admits an Euler product representation

L(s, \chi) = \prod_p \left(1 - \chi(p) p^{-s}\right)^{-1},

where the product is over all primes p, reflecting the multiplicative nature of \chi.^[14] A fundamental property of Dirichlet characters modulo q is their orthogonality: for integers a, b coprime to q,

\sum_{\chi \bmod q} \chi(a) \overline{\chi(b)} = \varphi(q) \quad \text{if } a \equiv b \pmod{q},

and the sum is zero otherwise, where \varphi is Euler's totient function and the sum runs over all \varphi(q) characters modulo q.^[15] This orthogonality underpins many applications of L-functions, including the decomposition of arithmetic functions into character sums. For non-principal characters \chi (i.e., \chi \neq \chi_0, the principal character modulo q), the value L(1, \chi) \neq 0.^[16] This non-vanishing result is crucial for Dirichlet's theorem on primes in arithmetic progressions, which states that if \gcd(a, q) = 1, there are infinitely many primes congruent to a modulo q, with asymptotic density $1/\varphi(q) among all primes.^[16] The proof relies on the partial summation of the prime counting function weighted by characters, where the non-vanishing ensures the logarithmic singularity from the principal character dominates without cancellation from others. Dirichlet L-functions satisfy an explicit functional equation relating L(s, \chi) to L(1-s, \overline{\chi}). For a primitive character \chi of conductor q (the smallest modulus for which \chi is periodic), define the completed L-function

\Lambda(s, \chi) = \left( \frac{q}{\pi} \right)^{s/2} \Gamma\left( \frac{s + \kappa}{2} \right) L(s, \chi),

where \kappa = 0 if \chi is even (\chi(-1) = 1) and \kappa = 1 if odd (\chi(-1) = -1). The functional equation is then

\Lambda(s, \chi) = \frac{\tau(\chi)}{i^\kappa \sqrt{q}} \Lambda(1-s, \overline{\chi}),

with the Gauss sum \tau(\chi) = \sum_{k=1}^q \chi(k) e^{2\pi i k / q} satisfying |\tau(\chi)| = \sqrt{q}.^[17] This equation, involving the conductor q and the root number \tau(\chi)/ (i^\kappa \sqrt{q}) of absolute value 1, symmetrizes the distribution of zeros around the critical line \operatorname{Re}(s) = 1/2. The Grand Riemann Hypothesis for Dirichlet L-functions posits that all non-trivial zeros of L(s, \chi) lie on the line \operatorname{Re}(s) = 1/2, for every Dirichlet character \chi.^[18] This conjecture generalizes the Riemann Hypothesis for the zeta function (the case \chi = \chi_0) and has profound implications for the error terms in the prime number theorem for arithmetic progressions.^[18]

L-functions for Elliptic Curves

Elliptic curves over the rational numbers \mathbb{Q} give rise to L-functions that encode arithmetic information through a product of local factors determined by the curve's reduction modulo primes. For an elliptic curve E defined over \mathbb{Q}, the L-function L(E, s) is constructed as an Euler product L(E, s) = \prod_p L_p(E, s)^{-1}, where the local factor L_p(E, s) at a prime p depends on the type of reduction of E modulo p. In the case of good reduction, L_p(E, s) = 1 - a_p p^{-s} + p^{1-2s}, with a_p the trace of the Frobenius endomorphism on the Tate module. For multiplicative reduction, the factor simplifies to $1 - \epsilon_p p^{-s}, where \epsilon_p = \pm 1 reflects the split or non-split nature, and for additive reduction, it is simply 1, with the conductor incorporating the contribution from bad primes. A cornerstone result linking these L-functions to number theory is the modularity theorem, which asserts that every elliptic curve over \mathbb{Q} corresponds to a cuspidal newform of weight 2 and level equal to the conductor N of the curve, meaning L(E, s) coincides with the L-function of this modular form. This theorem, established through the work of Andrew Wiles on semistable cases and subsequent generalizations by Breuil, Conrad, Diamond, and Taylor, implies that L(E, s) inherits analytic properties from the modular form, including holomorphy in the entire complex plane after accounting for finitely many Euler factors at primes of bad reduction. The special value L(E, 1) plays a pivotal role in arithmetic geometry, conjecturally related to the rank of the Mordell-Weil group E(\mathbb{Q}) via the order of vanishing at s=1, with the leading term in the Taylor expansion involving the regulator, Tamagawa numbers, the order of the torsion subgroup, and the Sha group. This connection highlights how the analytic behavior at the central point s=1 probes the structure of rational points on E. The functional equation of L(E, s) further ties this to a root number that determines the global parity of the functional equation. The analytic rank, defined as the order of the zero of L(E, s) at s=1, is conjectured to equal the algebraic rank \operatorname{rank} E(\mathbb{Q}) by the Birch and Swinnerton-Dyer conjecture, with equality proven when the analytic rank is 0 or 1. The Gross-Zagier formula relates Heegner points to derivatives of L(E, s), proving that if the analytic rank is 1, then the algebraic rank is at least 1. Complementing this, Kolyvagin's Euler system construction, together with the Gross-Zagier formula, proves that the algebraic rank equals the analytic rank when the latter is 0 or 1, thus bridging analytic and algebraic invariants in these cases.

Generalizations and Extensions

Artin L-functions

Artin L-functions arise from finite-dimensional representations of Galois groups and play a central role in extending class field theory to non-abelian extensions, providing an analytic framework for non-abelian reciprocity laws. Introduced by Emil Artin in the 1920s, these functions generalize Dirichlet L-functions associated to characters of abelian Galois groups, allowing the incorporation of higher-dimensional representations to capture the full structure of non-abelian Galois actions over number fields. This analytic approach facilitated proofs of reciprocity for cyclic extensions and laid groundwork for broader conjectures in algebraic number theory, linking ideal class groups to Galois cohomology via density theorems like Chebotarev's.^[19] For a continuous representation \rho: \Gal(\overline{\Q}/\Q) \to \GL(V) of finite dimension, where V is a complex vector space, the associated Artin L-function is defined by the Euler product

L(s, \rho) = \prod_p \det\left(1 - \rho(\Frob_p) p^{-s} \mid V^{I_p}\right)^{-1},

taken over all primes p of \Q, with \Frob_p denoting the Frobenius conjugacy class at p and V^{I_p} the subspace fixed by the inertia group I_p. This product converges absolutely for \Re(s) > 1 and encodes local Galois action at each prime through the determinant of the action on inertia-invariants.^[20] Artin L-functions exhibit a multiplicative property with respect to tensor products of irreducible representations: if \rho and \sigma are irreducible, then L(s, \rho \otimes \sigma) = L(s, \rho) L(s, \sigma) when the tensor decomposes into irreducibles whose L-functions multiply accordingly. More generally, they are multiplicative over direct sums, L(s, \rho \oplus \sigma) = L(s, \rho) L(s, \sigma), reflecting the decomposition of the representation into irreducible factors. This property allows the Dedekind zeta function of a Galois extension to factor as a product of Artin L-functions over the irreducible characters of the Galois group.^[21] The Artin conjecture posits that every Artin L-function attached to an irreducible, non-trivial representation is automorphic, meaning it coincides with the L-function of a cuspidal automorphic representation on \GL_n(\A_\Q), which would imply entire analytic continuation except possibly at s=1. While proven for low dimensions and certain cases via Langlands reciprocity, the full conjecture remains open and is central to the Langlands program.^[21] These L-functions connect to symmetric powers through representations like \Sym^k \rho, whose L-functions encode higher-degree extensions and appear in conjectures on functoriality, transferring properties from the original representation. Induction from subgroups further relates them to subextensions: for a representation \rho_0 of \Gal(L/M) induced to \Gal(L/K), the Artin L-function L(s, \Ind \rho_0, L/K) equals L(s, \rho_0, L/M), facilitating computations over towers of fields and ties to non-abelian reciprocity.^[21]

Automorphic L-functions

Automorphic L-functions arise from cuspidal automorphic representations \pi of the general linear group \mathrm{GL}(n) over the adele ring \mathbb{A}_F of a number field F, providing a unified framework for various analytic objects in number theory. The standard L-function attached to such a \pi is defined as the Euler product

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

where the product runs over all places v of F, and each local factor L(s, \pi_v) is constructed from the local component \pi_v of \pi using representation theory. For unramified places v (i.e., finite places where \pi_v is unramified), the local factor takes the form

L(s, \pi_v) = \prod_{j=1}^n (1 - \alpha_{v,j} N(v)^{-s})^{-1},

with \alpha_{v,j} denoting the Satake parameters, which parameterize the unramified representation \pi_v via the Satake isomorphism.^[22]^[23] Hecke L-functions for \mathrm{GL}(n) serve as prototypes for these automorphic L-functions, originally defined for classical Hecke eigenforms and extended adelically to automorphic representations. In this setting, the Satake parameters \alpha_{v,j} at unramified places satisfy |\alpha_{v,j}| = 1 for tempered representations, and the global L-function encodes the Hecke eigenvalues through its Dirichlet series coefficients. The construction, pioneered by Godement and Jacquet, ensures that these L-functions satisfy a functional equation relating L(s, \pi) to L(1-s, \tilde{\pi}), where \tilde{\pi} is the contragredient representation.^[24] Rankin-Selberg products extend this framework by associating to two automorphic representations \pi and \sigma of \mathrm{GL}(n) and \mathrm{GL}(m) the L-function L(s, \pi \times \sigma), defined as the Euler product over local tensor product factors L(s, \pi_v \times \sigma_v). These products are crucial for computing periods and inner products of automorphic forms, as the central value L(1/2, \pi \times \tilde{\sigma}) relates to the Petersson inner product via an integral unfolding, enabling applications to triple product identities and non-vanishing results. The meromorphic continuation and functional equation for L(s, \pi \times \sigma) follow from the individual properties when \pi and \sigma are cuspidal. Meromorphy theorems establish the analytic behavior of automorphic L-functions. The L-function L(s, \pi) attached to a cuspidal automorphic representation \pi of \mathrm{GL}(n, \mathbb{A}_\mathbb{Q}) is entire and satisfies a functional equation for all n, as proved using the Godement-Jacquet zeta integrals. Partial results on other associated L-functions obtain through functoriality conjectures, such as the holomorphy of symmetric power L-functions for \mathrm{GL}(2) up to the third power. The automorphic realization also resolves the Artin conjecture by providing analytic continuation for Artin L-functions via corresponding automorphic forms.^[22]

Conjectures

Generalized Riemann Hypothesis

The Generalized Riemann Hypothesis (GRH) conjectures that all non-trivial zeros of any L-function satisfying certain analytic properties—such as those in the Selberg class or arising from automorphic forms—lie on the critical line where the real part of the complex variable s is $1/2. This extends the classical Riemann Hypothesis for the Riemann zeta function \zeta(s), which posits the same for its non-trivial zeros in the critical strip $0 < \Re(s) < 1. In the context of Dirichlet L-functions L(s, \chi), where \chi is a primitive Dirichlet character, GRH asserts that if \rho = \beta + i\gamma is a non-trivial zero, then \beta = 1/2. More broadly, for automorphic L-functions attached to cuspidal automorphic representations on GL_n over the rationals, the hypothesis requires all zeros to satisfy this condition, aligning with expectations from the Langlands program.^[25] Strong numerical evidence supports GRH in classical cases. For the Riemann zeta function, computations have verified that the first $10^{13} zeros lie on the critical line, with no counterexamples found up to heights exceeding $10^{32}. For Dirichlet L-functions, recent verifications confirm GRH for all such functions with conductor up to $10^6 and heights up to $10^{10}, and for moduli below 400,000 up to height $3 \times 10^9, encompassing millions of zeros without violations. Analytically, Levinson's theorem proves that more than one-third of the non-trivial zeros of \zeta(s) lie on the critical line, a result later improved to over 40% by Conrey using refinements of the method. Generalizations of Levinson's approach to families of Dirichlet L-functions show a positive proportion of zeros on the line, though the exact fraction varies with the character.^[25]^[26] Assuming GRH yields powerful arithmetic consequences. For the prime number theorem in arithmetic progressions, it implies an effective error term: the number of primes up to x in residue class a \pmod{q} is \mathrm{Li}(x)/\phi(q) + O(\sqrt{x} \log(xq)), enabling primes in short intervals of length about \sqrt{x}. In algebraic number theory, GRH provides explicit bounds on class numbers; for imaginary quadratic fields with discriminant d, the class number h(d) satisfies h(d) \ll |d|^{1/2 + \epsilon} unconditionally, but under GRH, the ideal class group is generated by prime ideals of norm at most O(\log^2 |d|), facilitating efficient computation and effective versions of the Brauer-Siegel theorem. These bounds also impact regulators in units groups of number fields. Partial progress toward GRH includes zero-density estimates, which bound the number of zeros off the critical line. Ingham's classical result shows that the number N(\sigma, T) of zeros of \zeta(s) with \Re(s) \geq \sigma > 1/2 and |\Im(s)| \leq T satisfies N(\sigma, T) \ll T^{3(1-\sigma)/(2\sigma - 1)} (\log T)^{2/3} for T large, implying o(N(T)) zeros off the line up to height T, where N(T) \sim (T/2\pi) \log(T/2\pi). Montgomery refined these estimates using mean-value theorems for Dirichlet polynomials, achieving N(\sigma, T) \ll T^{c(1-\sigma)/\sigma} (\log T)^k for improved constants c < 3/2 in certain ranges, providing evidence that zeros cluster near the line without confirming GRH fully. Such estimates underpin applications like subconvexity bounds for L-values.

Birch and Swinnerton-Dyer Conjecture

The Birch and Swinnerton-Dyer conjecture posits a deep connection between the analytic properties of the L-function associated to an elliptic curve and the algebraic structure of its group of rational points. Formulated in the 1960s based on extensive numerical computations using early computers like the EDSAC at Cambridge, the conjecture links the order of vanishing of the L-function at the central point s = 1 to the rank of the Mordell-Weil group of the elliptic curve over the rationals.^[27]^[28] The precise statement of the conjecture is as follows: for an elliptic curve E defined over \mathbb{Q}, the L-function L(E, s) admits an analytic continuation to a meromorphic function on the complex plane, and near s = 1, it has a Taylor expansion of the form

L(E, s) = c (s - 1)^r + O((s - 1)^{r+1}),

where r = \mathrm{rank}(E(\mathbb{Q})) is the rank of the free part of the Mordell-Weil group E(\mathbb{Q}), and c \neq 0 is a nonzero constant. Moreover, the leading coefficient c is given explicitly by

c = \frac{|\Sha(E/\mathbb{Q})| \cdot \Omega_E \cdot \prod_v c_v \cdot \mathrm{Reg}(E/\mathbb{Q})}{|E(\mathbb{Q})_{\mathrm{tors}}|^2},

where \Sha(E/\mathbb{Q}) is the Tate-Shafarevich group measuring the failure of the Hasse principle, \Omega_E is the real period, c_v are the local Tamagawa numbers at places v of bad reduction, and \mathrm{Reg}(E/\mathbb{Q}) is the regulator of E(\mathbb{Q}). This formula encapsulates both the analytic and arithmetic invariants of the curve.^[28]^[27] Significant partial progress toward the conjecture has been made for low ranks. For elliptic curves with complex multiplication, Coates and Wiles proved in 1977 that if L(E, 1) \neq 0, then E(\mathbb{Q}) is finite, verifying the rank-zero case in this setting. Mazur's 1978 theorem classifying all possible finite torsion subgroups of E(\mathbb{Q}) provides complete knowledge of the torsion component, which appears in the denominator of the leading coefficient formula. For general modular elliptic curves, Kolyvagin's 1989 work using Euler systems of Heegner points establishes that the analytic rank (order of vanishing at s=1) is at most 1, and moreover, equals the algebraic rank in the cases of rank 0 (when L(E, 1) \neq 0) and rank 1 (when L(E, 1) = 0 but L'(E, 1) \neq 0). The Gross-Zagier theorem of 1986 plays a pivotal role in these advances, relating the height of Heegner points on the modular curve to the derivative of the L-function. Specifically, for base-change elliptic curves from quadratic imaginary fields, it shows that if the analytic rank is 1, then L'(E, 1) \neq 0, and there exists a rational point of infinite order on E; combined with Kolyvagin's methods, this implies that non-vanishing of L(E, 1) forces the algebraic rank to be at most 1. These results confirm the equality of analytic and algebraic ranks up to 1, and provide evidence for the full conjecture through numerical verification for higher ranks.^[29] The conjecture has been generalized beyond elliptic curves to higher-dimensional abelian varieties and motives. For abelian varieties over number fields, a analogous statement predicts that the order of vanishing of the L-function at the central point equals the rank of the Mordell-Weil group, with a leading term involving analogous arithmetic invariants like the Tate-Shafarevich group and Néron-Tate regulator. These extensions appear in the broader framework of the Bloch-Kato conjectures on special values of L-functions attached to motives.^[27]^[30]

Historical Development

Early Foundations

The origins of L-functions trace back to the mid-19th century, with Peter Gustav Lejeune Dirichlet's pioneering work in analytic number theory. In 1837, Dirichlet introduced what are now known as Dirichlet L-functions to prove his theorem on the infinitude of primes in arithmetic progressions. Specifically, for a positive integer q and a primitive Dirichlet character \chi modulo q, he defined the L-function as the series \sum_{n=1}^\infty \chi(n)/n^s for \Re(s) > 1, and used its analytic properties, including an Euler product over primes, to show that the sum over primes p \equiv a \pmod{q} of $1/\log p diverges when \gcd(a,q)=1, implying infinitely many such primes.^[31] This approach generalized Euler's proof of the infinitude of primes by incorporating characters to handle progressions, laying the groundwork for associating analytic objects to arithmetic structures.^[32] Building on Dirichlet's ideas, Bernhard Riemann provided a foundational prototype in his 1859 paper "Ueber die Anzahl der Primzahlen unter einer gegebenen Grösse." Riemann considered the Riemann zeta function \zeta(s) = \sum_{n=1}^\infty 1/n^s, which corresponds to the trivial character and thus is a special case of a Dirichlet L-function. He established its analytic continuation to the entire complex plane except for a simple pole at s=1, derived a functional equation relating \zeta(s) to \zeta(1-s), and conjectured the locations of its non-trivial zeros, linking them to the distribution of prime numbers via an explicit formula for the prime-counting function.^[33] These insights demonstrated how properties of L-functions, such as zero locations, could yield precise asymptotic results for primes, influencing subsequent developments in the field.^[34] The connection between L-functions and prime distribution was further solidified in 1896, when Jacques Hadamard and Charles Jean de la Vallée Poussin independently proved the prime number theorem. They showed that \zeta(s) \neq 0 for \Re(s) = 1, using contour integration and estimates on the zeta function to establish that the number of primes up to x is asymptotically x / \log x.^[35] This non-vanishing result on the line \Re(s)=1 resolved a key obstacle in Riemann's approach and highlighted the role of L-function zero-free regions in arithmetic theorems.^[36] An important early generalization was provided by Richard Dedekind in 1877, who introduced zeta functions for arbitrary algebraic number fields, now known as Dedekind zeta functions. These are defined as sums over ideals in the ring of integers of the field and extend the Riemann zeta function to non-rational settings, playing a central role in algebraic number theory.^[3] Further generalizations beyond Dirichlet's framework emerged with Erich Hecke's work in 1918. In his paper "Eine neue Art von Zetafunktionen und ihre Beziehungen zur Verteilung der Primzahlen," Hecke constructed L-functions associated to theta series arising from positive definite quadratic forms over the ring of integers in quadratic number fields. These functions extended the zeta function by incorporating ideal-theoretic structures, satisfying functional equations, and relating to the distribution of prime ideals, thus bridging classical L-functions with algebraic number theory.^[37] The formal definition of L-functions as we understand it today evolved from these foundational contributions, emphasizing Dirichlet series with Euler products and functional equations tied to arithmetic data.^[38]

Rise of the General Theory

In the 1920s, Emil Artin advanced the theory of L-functions by associating them to general representations of Galois groups, extending the classical Dirichlet L-functions to non-abelian settings through his reciprocity law. This framework, introduced in 1923, defined Artin L-functions as Dirichlet series tied to linear representations of the Galois group of a finite extension of the rationals, providing a tool to study non-abelian class field theory and the distribution of primes in Galois extensions.^[39]^[40] Richard Brauer complemented this in the 1930s and 1940s with his induction theorem on characters of finite groups, which demonstrated that irreducible characters could be expressed as linear combinations of induced characters from cyclic subgroups. This result implied the meromorphicity of Artin L-functions across the complex plane, bridging representation theory and analytic properties essential for further generalizations.^[41] The unification of these ideas accelerated in the 1960s with Robert Langlands' visionary program, which conjectured deep reciprocity laws linking Galois representations over number fields to automorphic forms on reductive groups, such as GL(n). Outlined in Langlands' 1967 letter to André Weil and subsequent works, the program proposed that every continuous Galois representation arises from an automorphic representation via a functorial transfer, encompassing Artin L-functions as special cases and aiming to unify number theory with harmonic analysis. A pivotal early achievement was the Jacquet–Langlands correspondence, established in 1970, which identifies automorphic representations on the multiplicative group of a quaternion algebra with those on GL(2) over the rationals, providing the first non-trivial instance of Langlands' functoriality principle.^[42]^[43] Major breakthroughs in the 1990s and 2000s solidified the program's arithmetic core. Andrew Wiles' 1995 proof of the modularity theorem for semistable elliptic curves over the rationals showed that their associated Galois representations correspond to modular forms of weight 2, resolving a key case of the Taniyama–Shimura conjecture and famously implying Fermat's Last Theorem. This was extended by Chandrashekhar Khare and Jean-Pierre Wintenberger in 2009, who proved Serre's modularity conjecture through innovative lifting theorems, establishing that every irreducible two-dimensional mod p Galois representation over the rationals arises from a modular form, thus completing the modularity for all elliptic curves.^[44]^[45] Recent advances up to 2025 have pushed the Langlands program into higher dimensions and p-adic settings, with Peter Scholze's collaborations, notably with Laurent Fargues in 2018 and beyond, geometrizing the local Langlands correspondence using perfectoid spaces and the étale cohomology of diamonds. These developments, including the 2024 proof of the geometric Langlands conjecture by a team led by Dennis Gaitsgory and Sam Raskin,^[46] and its extension to positive characteristic in 2025,^[47] alongside Scholze's 2024 geometrization of the real local Langlands correspondence,^[48] have illuminated higher Langlands correspondences and resolved long-standing cases in p-adic geometry. Post-2000 progress on functoriality has also advanced, with proofs for transfers like the exterior square of GL(4) representations, enhancing the analytic continuation and poles of associated L-functions despite ongoing challenges in full generality.^[49]

References

[1]
[PDF] What is an L-function?
In this chapter we begin by defining, axiomatically, the class of L-functions we will consider in this book. In broad terms, our L-functions should be those ...
[2]
L-Functions - Magma Computational Algebra System
An L-series or an L-function is an infinite sum L(s) = ∑n=1∞an/ns in the complex variable s with complex coefficients an. Such functions arise in many places in ...<|control11|><|separator|>
[3]
A history of L-functions (reviewed) - LMFDB
May 10, 2016 · Dirichlet L-functions. The first use of the letter L to denote these functions was by Dirichlet ... His first paper on the topic is Über die ...
[4]
[PDF] Analytic 𝐿-functions: Definitions, theorems, and connections
Sep 21, 2018 · • L-functions of arithmetic type (analytic and Q-automorphic). These are characterized by conditions on the coefficients in the Dirichlet series ...
[5]
Dirichlet characters and L-functions - Kiran S. Kedlaya
In this chapter, we introduce some special multiplicative functions, the Dirichlet characters . We then study their corresponding Dirichlet series, the ...
[6]
[PDF] DIRICHLET SERIES The Riemann zeta-function ζ(s ... - Keith Conrad
If an = χ(n) for a Dirichlet character χ, f(s) is the L-function L(s, χ) and converges absolutely for σ > 1. Note L(s, χ4) converges for real s > 0 since the ...
[7]
[PDF] a concise survey of the selberg class of l-functions
Every F ∈ S can be factored as a product of primitive elements. However, it is unknown if such factorization is unique: Conjecture 2.12 (UF conjecture).<|control11|><|separator|>
[8]
[PDF] what is an l-function? - mit scripts
Axiom 2 (Functional equation): There is a positive integer N called the conductor of the L-function, a positive integer d called the degree of the L-function, a ...
[9]
[PDF] Perspectives on the Analytic Theory of L-functions.pdf
The minimal period q is called the conductor of x. (3) For m = 2 we give the example of the L-functions of elliptic curves defined over Q. Let ...
[10]
[PDF] On the structure of the Selberg class, VII: 1<d<2
The Selberg class S is a rather general class of Dirichlet series with func- tional equation and Euler product and can be regarded as an axiomatic.
[11]
[PDF] On the Selberg class of L-functions
It is worth noting that the elements in the Selberg class are expected to have polynomial Euler product. As a token of evidence, note that the Riemann zeta- ...
[12]
[PDF] The Dedekind Zeta Function and the Class Number Formula Math ...
Euler's product is well known for being an analytical form of the theorem of unique decomposition of ideals into prime ideals in a number field. It can also ...
[13]
https://arxiv.org/abs/2410.09910
[14]
[2410.09910] A note on the standard zero-free region for $L$-functions
Oct 13, 2024 · In this short note, we establish a standard zero-free region for a general class of L-functions for which their logarithms have coefficients with nonnegative ...
[15]
[PDF] Dirichlet characters and L-functions Dirichl
If χ is a Dirichlet character mod q then so is its complex conjugate χ (defined of course by χ(n) = χ(n) ), with L(s, χ) = L(s, χ) for s > 1.
[16]
[PDF] 17 Dirichlet characters and primes in arithmetic progres- sions
Nov 10, 2015 · The orthogonality of characters given by Proposition 17.9 is a special case of the orthogonality of characters one encounters in Fourier ...
[17]
[PDF] First proof of L(1,χ) 6= 0 1. First proof of non-vanishing on Re(s)=1
Sep 24, 2013 · The subtle element in Dirichlet's theorem about primes in arithmetic progressions is non-vanishing of L- functions L(s, χ) at s = 1. Here ...
[18]
Functional equations for Dirichlet L-functions - Kiran S. Kedlaya
In this unit, we establish the functional equation property for Dirichlet L -functions. Much of the work is left as exercises. 🔗. Section 7.1 Even characters. 🔗 ...
[19]
The Riemann Hypothesis and its generalizations
For example, the Generalized Riemann Hypothesis (GRH) is the Riemann Hypothesis for all Dirichlet $L$-functions. ... Thus, the Modified Generalized Riemann ...
[20]
[PDF] Artin's L-functions: A Historical Approach - Noah Snyder
Apr 1, 2002 · This thesis, by Noah Snyder, is about Artin's L-functions and takes a historical approach. It was presented to the Department of Mathematics.
[21]
[PDF] Artin L-Functions
where p is the maximal ideal in OK. 8. Page 9. In the general case, the conductor is defined to be pn, where n is the smallest integer such that Gn is trivial.<|control11|><|separator|>
[22]
[PDF] On Artin L-functions - OSU Math Department
Beginning in the 1950-60's Hecke's theory of modular forms and their L- series un- derwent a paradigm shift similar to that brought about by Tate's thesis.Missing: origin | Show results with:origin<|control11|><|separator|>
[23]
https://www.claymath.org/library/cw/arthur/pdf/automorphic-L.pdf
[24]
[PDF] Lectures on automorphic L-functions - Clay Mathematics Institute
PREFACE. This article follows the format of five lectures that we gave on automorphic L- functions. The lectures were intended to be a brief introduction ...
[25]
Analytic 𝐿-functions: Definitions, theorems, and connections
Sep 21, 2018 · L-functions can be viewed axiomatically, such as in the formula- tion due to Selberg, or they can be seen as arising from cuspidal automorphic.
[26]
[PDF] Problems of the Millennium: the Riemann Hypothesis
One reason is that the Riemann zeta function is not an isolated object, rather is the prototype of a general class of functions, called L-functions, associated.
[27]
[PDF] Riemann's Hypothesis - American Institute of Mathematics
Today it is known that the first ten trillion zeros are all on the critical line. <s = 1/2! Hardy was the first one to show that there are infinitely many zeros ...
[28]
[PDF] THE BIRCH AND SWINNERTON-DYER CONJECTURE
One very old problem concerned with rational points on elliptic curves is the congruent number problem. One way of stating it is to ask which rational integers.
[29]
https://people.mpim-bonn.mpg.de/zagier/files/doi/10.1007/BF01388809/fulltext.pdf
[30]
[PDF] Heegner points and derivatives of <Emphasis Type="Italic">L ...
The main theorem of this paper gives a relation between the heights of ... B.H. Gross and D.B. Zagier. Fix a Heegner point x of discriminant D; then the ...
[31]
https://www-users.cse.umn.edu/~garrett/m/mfms/notes_2019-20/06a_Dirichlet.pdf
[32]
[PDF] Dirichlet L-functions, primes in arithmetic progressions
Sep 21, 2019 · Dirichlet's 1837 theorem combines Euler's argument for the infinitude of primes with harmonic analysis on finite abelian groups, and subtler ...
[33]
[PDF] 18 Dirichlet L-functions, primes in arithmetic progressions
Nov 10, 2021 · Many of the standard tools of complex analysis we take for granted were not available to Dirichlet in 1837. Riemann was the first to seriously ...Missing: original | Show results with:original
[34]
[PDF] The Riemann Zeta Function and the Distribution of Prime Numbers
However, Riemann's. 1859 paper proving the functional equation and connecting the zeros of ζ(s) with the distribution of the prime numbers has led to its ...
[35]
The Riemann Zeta Function and the Functional Equation - Almost Sure
Oct 6, 2017 · The Riemann hypothesis, as originally conjectured by Riemann in his 1859 paper, states that the non-trivial zeros all lie on the critical line.
[36]
[PDF] 16 Riemann's zeta function and the prime number theorem
Nov 3, 2016 · However it was not until a century later that the prime number theorem was independently proved by Hadamard [5] and de la Vallée Poussin [9] in ...
[37]
246B, Notes 4: The Riemann zeta function and the prime number ...
Feb 12, 2021 · The complex-analytic proof of this theorem hinges on the study of a key meromorphic function related to the prime numbers, the Riemann zeta function.
[38]
ON THE HECKE-LANDAU L-SERIES - Project Euclid
[1] E. Hecke, Uber die L-Funktionen und den Dirichletschen Primzahlsatz fur ... Landau, Uber Ideale und Primideale in Idealklasse, Mathematische Zeitschrift, 2. ( ...
[39]
[PDF] L-functions and non-abelian class field theory, from Artin to Langlands
While Artin was involved with the creation of his L-function, Hecke was involved in thinking about L-series from another perspective. In 1918 he had introduced.
[40]
[PDF] On the history of Artin's L-functions and conductors Seven letters ...
Jul 23, 2003 · In the year 1923 Emil Artin introduced his new L-functions belonging to. Galois characters. But his theory was still incomplete in two respects.
[41]
[PDF] Artin reciprocity and - of /websites
Artin's two greatest accomplishments are to be found in alge- braic number theory. Here he introduced the Artin L-functions. (1923) [2], which are still the ...
[42]
[PDF] L-functions and Automorphic Representa- tions
Richard Brauer established a general property of the representations of a finite group (the Brauer induction theorem), which he used to express any nonabelian.
[43]
Robert Langlands: Far-Reaching Mathematics - Ideas
Robert Langlands's visionary program has had a deep influence in mathematics and parts of theoretical physics. Born on October 6, 1936, in British Columbia, ...Missing: milestones | Show results with:milestones
[44]
[PDF] The Jacquet–Langlands Correspondence via Twisted Descent
The existence of the well-known Jacquet–Langlands correspondence was established by. Jacquet and Langlands via the trace formula method in 1970 [13].Missing: history | Show results with:history
[45]
[PDF] Modular elliptic curves and Fermat's Last Theorem
When Andrew John Wiles was 10 years old, he read Eric Temple Bell's The. Last Problem and was so impressed by it that he decided that he would be the first ...
[46]
On Serre's conjecture for 2-dimensional mod p representations of ...
Pages 229-253 from Volume 169 (2009), Issue 1 by Chandrashekhar Khare, Jean-Pierre Wintenberger ... modularity lifting theorems of the type pioneered by Wiles.
[47]
Personal Homepage of Peter Scholze
Geometrization of the local Langlands correspondence (with Laurent Fargues), to appear in Asterisque. Purity for flat cohomology (with Kestutis Cesnavicius), ...Missing: program 2020-2025
[48]
Monumental Proof Settles Geometric Langlands Conjecture
Jul 19, 2024 · The Langlands program holds sway in three separate areas of mathematics: number theory, geometry and something called function fields. These ...
[49]
[PDF] recent advances in the langlands program - UC Berkeley math
Jan 8, 2004 · Topics reviewed include the Langlands correspon- dence for GL(n) in the function field case and its proof by V. Drinfeld and. L. Lafforgue; the ...