9.2 Dirichlet L-functions and their basic properties

Dirichlet L-functions extend the Riemann zeta function by incorporating Dirichlet characters. They're defined as infinite sums and products over primes, converging absolutely for Re(s) > 1. These functions are key to understanding prime distribution in arithmetic progressions.

L-functions have fascinating analytic properties. They can be extended to the entire complex plane and satisfy functional equations. Their zeros in the critical strip 0 ≤ Re(s) ≤ 1 are crucial for number theory, linking to prime distribution and other deep mathematical concepts.

Definition and Convergence

Introduction to Dirichlet L-functions

• Dirichlet L-function extends the concept of the Riemann zeta function to incorporate Dirichlet characters
• Defined for a Dirichlet character χ and complex variable s as $L(s, χ) = \sum_{n=1}^∞ \frac{χ(n)}{n^s}$
• Converges absolutely for Re(s) > 1, similar to the Riemann zeta function
• Generalizes the Riemann zeta function, which is a special case when χ is the trivial character
• Euler product representation expresses L(s, χ) as a product over primes: $L(s, χ) = \prod_p (1 - \frac{χ(p)}{p^s})^{-1}$

Convergence and Relationship to Riemann Zeta Function

• Convergence of Dirichlet L-functions depends on the real part of s
• Absolute convergence occurs in the half-plane Re(s) > 1
• Conditional convergence extends to Re(s) > 0 for non-principal characters
• Riemann zeta function ζ(s) serves as a prototype for Dirichlet L-functions
• ζ(s) defined as $ζ(s) = \sum_{n=1}^∞ \frac{1}{n^s}$ for Re(s) > 1
• Relationship between L(s, χ) and ζ(s) when χ is the principal character: L(s, χ₀) = ζ(s) ∏ₚ|q (1 - p⁻ˢ)

Analytic Properties

Analytic Continuation and Functional Equation

• Analytic continuation extends L(s, χ) to the entire complex plane, except for a possible pole at s = 1
• Process involves using Hurwitz zeta function and Fourier analysis techniques
• Functional equation relates values of L(s, χ) to L(1-s, χ̄), where χ̄ is the complex conjugate of χ
• General form of the functional equation: $(\frac{q}{π})^{(s+a)/2} Γ(\frac{s+a}{2}) L(s,χ) = W(χ) (\frac{q}{π})^{(1-s+a)/2} Γ(\frac{1-s+a}{2}) L(1-s,χ̄)$
• W(χ) represents the root number, a complex number of absolute value 1
• a equals 0 for even characters and 1 for odd characters

Critical Strip and Complex Analysis

• Critical strip refers to the region 0 ≤ Re(s) ≤ 1 in the complex plane
• Contains all non-trivial zeros of L(s, χ)
• Complex analysis techniques (contour integration, residue theorem) crucial for studying L-functions
• Order of growth estimates for L(s, χ) in vertical strips
• Zeros of L(s, χ) within the critical strip provide insights into the distribution of primes in arithmetic progressions

Key Results

Non-vanishing and Applications

• Non-vanishing of L(1, χ) for non-principal characters crucial for many number theoretic results
• Dirichlet's theorem on primes in arithmetic progressions relies on L(1, χ) ≠ 0
• Class number formula for imaginary quadratic fields involves special values of Dirichlet L-functions
• Siegel-Walfisz theorem uses properties of L(s, χ) to estimate prime distribution in arithmetic progressions
• Generalized Riemann Hypothesis (GRH) for L(s, χ) states all non-trivial zeros lie on the critical line Re(s) = 1/2

Connections to Other Areas of Mathematics

• L-functions connect to modular forms through Mellin transforms
• Automorphic L-functions generalize Dirichlet L-functions to higher-dimensional settings
• Langlands program proposes deep connections between L-functions and representation theory
• L-functions play a role in the study of elliptic curves and their arithmetic properties
• Dirichlet L-functions serve as building blocks for more complex L-functions in modern number theory