L-Functions — Dirichlet and Dedekind Zeta

Dirichlet L-functions

L (s, χ) = \sum_{n \geq 1} χ (n) n^{- s}

and the Dedekind zeta function

ζ_{K} (s) = \sum_{a} N (a)^{- s}

generalize the Riemann zeta function to arithmetic progressions and number fields, respectively. They carry an Euler product, analytic continuation, a functional equation, and encode deep arithmetic — primes in progressions (Dirichlet's theorem) and the class number / regulator (analytic class number formula). Used throughout analytic and algebraic number theory. Foundations: Dirichlet (1837), Dedekind (1870s), Hecke (1917).

An L-function in this family is a Dirichlet series with an Euler product over primes (or prime ideals) whose coefficients encode arithmetic data. The Dirichlet L-function attaches to a Dirichlet character $χ$ modulo $q$ and refines $ζ (s)$ by sieving residue classes; its non-vanishing at $s = 1$ is precisely what proves there are infinitely many primes in each admissible arithmetic progression. The Dedekind zeta function attaches to a number field $K$ and packages the splitting of primes in the ring of integers $O_{K}$ ; its leading behavior at $s = 1$ assembles the class number, regulator, discriminant, and root count into a single residue. The surprising fact: for an abelian extension $K / Q$ , $ζ_{K}$ factors as a product of Dirichlet L-functions — a baby case of the grand factorization conjectured by Artin and Langlands. These objects sit at the analytic gateway to the Riemann hypothesis, BSD-type formulas, and automorphic L-functions.

The Core Insight

Arithmetic local data $\Rightarrow$ Euler product $\Rightarrow$ global analytic object. A multiplicative coefficient sequence becomes a product over primes; the product converges in a half-plane, continues meromorphically, and satisfies a symmetry

s \leftrightarrow 1 - s

once completed with Gamma factors. The values and zeros of the resulting function then read off arithmetic: distribution of primes, class numbers, units. The unifying principle is that both

L (s, χ)

and

ζ_{K} (s)

are special cases of Hecke L-functions, and the factorization

ζ_{K} = \prod_{χ} L (s, χ)

links the two families.

Formal Statement

Dirichlet Character

Let $q \geq 1$ . A Dirichlet character modulo $q$ is a completely multiplicative function $χ : Z \to C$ that is periodic mod $q$ , supported on integers coprime to $q$ , induced from a group homomorphism

χ : (Z / q Z)^{\times} ⟶ C^{\times}, χ (n) = 0 if g cd (n, q) > 1.

⟳

(Z / q Z)^{\times}

is a finite abelian group of order

φ (q)

; its characters take values in

μ_{φ (q)}

, the roots of unity, and complete multiplicativity extends each homomorphism to all of

Z

The principal character $χ_{0}$ is $1$ on units and $0$ otherwise. A character is primitive if it is not induced from a character of smaller modulus; the smallest such modulus is the conductor $f_{χ}$ .

Dirichlet L-function

For a Dirichlet character $χ$ mod $q$ and $Re (s) > 1$ ,

L (s, χ) = n = 1 \sum \infty \frac{χ ( n )}{n ^{s}} = p \prod (1 - \frac{χ ( p )}{p ^{s}})^{- 1} .

⟳complete multiplicativity

χ (mn) = χ (m) χ (n)

lets each Euler factor be the geometric series

\sum_{k \geq 0} χ (p^{k}) p^{- k s}

; unique factorization of integers reassembles the product into the Dirichlet series. Convergence on

Re (s) > 1

follows from

∣ χ (n) ∣ \leq 1

When $χ = χ_{0}$ mod $q$ , $L (s, χ_{0}) = ζ (s) \prod_{p ∣ q} (1 - p^{- s})$ .

Dedekind Zeta Function

Let $K$ be a number field with ring of integers $O_{K}$ . For $Re (s) > 1$ ,

ζ_{K} (s) = a \subseteq O_{K}, a \neq = 0 \sum \frac{1}{N ( a ) ^{s}} = p \prod (1 - \frac{1}{N ( p ) ^{s}})^{- 1},

where

a

runs over nonzero integral ideals,

p

over nonzero prime ideals, and

N (a) = [O_{K} : a]

is the absolute norm.

⟳

O_{K}

is a Dedekind domain, so every ideal factors uniquely into primes; the Euler product follows exactly as for

ζ (s)

, which is the case

K = Q

. The norm is multiplicative on ideals,

N (ab) = N (a) N (b)

Analytic Continuation and Functional Equation — Dirichlet

Let $χ$ be primitive mod $q$ , with $χ (- 1) = (- 1)^{a}$ , $a \in {0, 1}$ . Define the completed L-function

Λ (s, χ) = (\frac{q}{π})^{(s + a) /2} Γ (\frac{s + a}{2}) L (s, χ) .

⟳the Gamma factor is the archimedean Euler factor;

a = 0

for even characters (cosine transform),

a = 1

for odd (sine transform), matching the parity of the theta series used in the Mellin transform.

Then $Λ (s, χ)$ continues to an entire function (for $χ \neq = χ_{0}$ ) and satisfies

Λ (s, χ) = \frac{τ ( χ )}{i ^{a} q} Λ (1 - s, \overline{χ}), τ (χ) = n = 1 \sum q χ (n) e^{2 π in / q} .

⟳apply the Poisson summation formula to the twisted theta function

θ_{χ} (t) = \sum_{n} χ (n) n^{a} e^{- π n^{2} t / q}

; the Gauss sum

τ (χ)

arises as the constant of the modular transformation, with

∣ τ (χ) ∣ = q

Analytic Continuation and Functional Equation — Dedekind

Let $K$ have degree $n = r_{1} + 2 r_{2}$ ( $r_{1}$ real, $r_{2}$ complex places), discriminant $d_{K}$ . Define

Λ_{K} (s) = ∣ d_{K} ∣^{s /2} (π^{- s /2} Γ (\frac{s}{2}))^{r_{1}} (2 (2 π)^{- s} Γ (s))^{r_{2}} ζ_{K} (s) .

⟳each real place contributes a

Γ (s /2)

factor (like

R

), each complex place a

Γ (s)

factor (like

C

); the discriminant power normalizes the conductor of

K

at the archimedean places.

Then $Λ_{K} (s)$ extends to a meromorphic function with simple poles only at $s = 0, 1$ and satisfies

Λ_{K} (s) = Λ_{K} (1 - s) .

⟳Hecke's proof uses a higher-dimensional theta function over

O_{K}

summed over each ideal class, with Poisson summation on the lattice

O_{K} ↪ K \otimes R ≅ R^{n}

; symmetry of the theta transformation forces

s \leftrightarrow 1 - s

Analytic Class Number Formula

ζ_{K} (s)

has a simple pole at

s = 1

with residue

Res_{s = 1} ζ_{K} (s) = \frac{2 ^{r_{1}} ( 2 π ) ^{r_{2}} h _{K} R _{K}}{w _{K} ∣ d _{K} ∣},

where

h_{K}

is the class number,

R_{K}

the regulator,

w_{K}

the number of roots of unity in

K

⟳each ideal class contributes a partial zeta function whose residue is computed by lattice-point counting (Minkowski) in the fundamental domain of the unit action; summing over the

h_{K}

classes gives the regulator

R_{K}

(covolume of the log-unit lattice) and the volume factors

2^{r_{1}} (2 π)^{r_{2}} / ∣ d_{K} ∣

Equivalently, at $s = 0$ the leading Taylor coefficient is $ζ_{K} (s) \sim - \frac{h _{K} R _{K}}{w _{K}} s^{r_{1} + r_{2} - 1}$ .

Why It Holds / Derivation

Euler Product and Dirichlet's Theorem on Primes in Progressions

Step 1 — Factorization of $ζ$ over progressions. For fixed

q

, the orthogonality relations of characters give, for

g cd (a, q) = 1

\frac{1}{φ ( q )} χ mod q \sum \overline{χ} (a) χ (n) = {10 n \equiv a (q) else.

⟳this is column orthogonality in the character table of the abelian group

(Z / q Z)^{\times}

Step 2 — Log of the L-function. Taking logarithms of the Euler product [2],

lo g L (s, χ) = p \sum \frac{χ ( p )}{p ^{s}} + O (1) (s \to 1^{+}) .

⟳expand

- lo g (1 - χ (p) p^{- s})

; the prime-power terms

k \geq 2

contribute a bounded sum.

Step 3 — Assemble the progression. Combine [9] and [10]:

p \equiv a (q) \sum \frac{1}{p ^{s}} = \frac{1}{φ ( q )} χ \sum \overline{χ} (a) lo g L (s, χ) + O (1) .

⟳insert the orthogonality projector into the prime sum and swap order of summation.

Step 4 — Pole and non-vanishing. The principal character gives

lo g L (s, χ_{0}) \sim lo g \frac{1}{s - 1} \to + \infty

. For non-principal

χ

L (s, χ)

is finite and nonzero at

s = 1

(the crux), so its log stays bounded. Hence the right side of [11] diverges, forcing infinitely many primes

p \equiv a (q)

⟳

L (1, χ) \neq = 0

for complex

χ

follows from the product

\prod_{χ} L (s, χ) = ζ_{K} (s)

having a simple pole, which can absorb at most one zero; the real character case needs a separate argument (Dirichlet's class number formula, or Mertens-type estimate) ruling out a real zero at

s = 1

■

Factorization $\zeta_K = \prod_\chi L(s,\chi)$ for Abelian $K/\mathbb{Q}$

Step 1. Let

K / Q

be abelian with conductor

f

; by Kronecker–Weber

K \subseteq Q (ζ_{f})

. Class field theory gives a surjection

(Z / f Z)^{\times} ↠ Gal (K / Q)

, dual to a group

X

of Dirichlet characters. Step 2 — Compare Euler factors at $p ∤ f$ . A prime

p

splits in

K

according to the order of its Frobenius. The local factor of

ζ_{K}

p

p ∣ p \prod (1 - N (p)^{- s})^{- 1} = χ \in X \prod (1 - χ (p) p^{- s})^{- 1} .

⟳both sides equal

\prod_{p ∣ p} (1 - p^{- f_{p} s})^{- 1}

where

f_{p}

is the residue degree; on the right,

χ (p)

ranges over all

g

-th roots of unity each

f

times,

f g = [K : Q]

, reproducing the same factor by the cyclotomic identity

\prod_{ζ} (1 - ζ T) = 1 - T^{f}

Step 3 — Global product. Taking products over all

p

(with the ramified factors matching via primitivity/conductor bookkeeping),

ζ_{K} (s) = χ \in X \prod L (s, χ) .

⟳multiply [12] over all primes; ramified primes are handled by using primitive characters of conductor dividing

f

so the Euler factors at

p ∣ f

also match.

Consequence. Since

ζ_{K}

has exactly a simple pole at

s = 1

(residue [8]) and

L (s, χ_{0})

supplies that pole, every non-principal

L (s, χ)

X

is finite and nonzero at

s = 1

. This is the cleanest proof that

L (1, χ) \neq = 0

■

Peter Gustav Lejeune Dirichlet | 1805–1859

Dirichlet introduced the series [2] in 1837 to prove infinitude of primes in arithmetic progressions, fusing analysis and number theory in a way that founded analytic number theory. He also derived the class number formula for quadratic forms — the first instance of [8] — connecting $L (1, χ)$ to the count of equivalence classes of binary quadratic forms, anticipating the role of $h_{K}$ . His pigeonhole principle, Dirichlet unit theorem (giving $R_{K}$ ), and rigorous Fourier-analytic methods made these L-functions a permanent tool. Dedekind, his intellectual heir, later generalized the zeta function to arbitrary number fields, encoding all of this into $ζ_{K} (s)$ .

Building Intuition

Think of $ζ (s) = \prod_{p} (1 - p^{- s})^{- 1}$ as the generating bookkeeper of the integers. A Dirichlet character $χ$ is a "color" assigned to each residue class; $L (s, χ)$ weighs each prime by its color, so taking a weighted average over all colors selects a single progression — exactly the projection in [9]. The miracle is that the analytic behavior (a pole vs. finite nonzero value at $s = 1$ ) translates into a yes/no answer about infinitely many primes.

For $ζ_{K} (s)$ , replace "integers" by "ideals of $O_{K}$ ." A rational prime $p$ may split, ramify, or stay inert in $K$ ; the local Euler factor records which. The pole at $s = 1$ measures the density of ideals, and that density is governed by the geometry of the number field: how many units it has ( $R_{K}$ , $w_{K}$ ), how its ideal classes spread out ( $h_{K}$ ), and how "twisted" its embedding into $R^{n}$ is ( $∣ d_{K} ∣$ ). The class number formula [8] is the statement that analysis (residue) = geometry (covolumes).

Splitting of a rational prime and the Euler factor structure

<svg viewBox="0 0 760 420" xmlns="http://www.w3.org/2000/svg">
<rect width="760" height="420" fill="#0a0e17"/>
<text x="380" y="34" fill="#e2e8f0" font-size="19" text-anchor="middle">From rational prime p to Dedekind Euler factor in K/Q</text>

<!-- base prime -->
<circle cx="120" cy="210" r="26" fill="none" stroke="#94a3b8" stroke-width="2"/>
<text x="120" y="216" fill="#e2e8f0" font-size="18" text-anchor="middle">p</text>
<text x="120" y="262" fill="#94a3b8" font-size="13" text-anchor="middle">prime of Q</text>

<!-- three cases -->
<line x1="146" y1="195" x2="300" y2="110" stroke="#94a3b8" stroke-width="1.5"/>
<line x1="146" y1="210" x2="300" y2="210" stroke="#94a3b8" stroke-width="1.5"/>
<line x1="146" y1="225" x2="300" y2="310" stroke="#94a3b8" stroke-width="1.5"/>

<!-- split -->
<circle cx="340" cy="100" r="14" fill="none" stroke="#d4a853" stroke-width="2"/>
<circle cx="380" cy="100" r="14" fill="none" stroke="#d4a853" stroke-width="2"/>
<circle cx="420" cy="100" r="14" fill="none" stroke="#d4a853" stroke-width="2"/>
<text x="380" y="78" fill="#e2e8f0" font-size="13" text-anchor="middle">SPLIT: g primes, f=1</text>
<text x="600" y="104" fill="#d4a853" font-size="14" text-anchor="middle">(1 - p^(-s))^g</text>

<!-- inert -->
<circle cx="380" cy="210" r="16" fill="none" stroke="#94a3b8" stroke-width="2"/>
<text x="380" y="190" fill="#e2e8f0" font-size="13" text-anchor="middle">INERT: g=1, f=n</text>
<text x="600" y="214" fill="#94a3b8" font-size="14" text-anchor="middle">(1 - p^(-ns))</text>

<!-- ramified -->
<circle cx="380" cy="310" r="16" fill="none" stroke="#94a3b8" stroke-width="2" stroke-dasharray="4 3"/>
<text x="380" y="290" fill="#e2e8f0" font-size="13" text-anchor="middle">RAMIFIED: e&gt;1</text>
<text x="600" y="314" fill="#94a3b8" font-size="14" text-anchor="middle">(1 - p^(-fs))^g</text>

<text x="380" y="385" fill="#e2e8f0" font-size="14" text-anchor="middle">Euler factor at p:  product over P|p of (1 - N(P)^(-s))^(-1),  with  Σ e_i f_i = n</text>
<text x="380" y="408" fill="#94a3b8" font-size="12" text-anchor="middle">ramification (e&gt;1) occurs exactly for p | d_K</text>
</svg>

Worked Examples

Computing $L(1,\chi)$ for the nontrivial character mod 4

Given:

q = 4

(Z /4)^{\times} = {1, 3}

. The nontrivial character

χ_{- 4}

has

χ (1) = 1, χ (3) = - 1, χ (even) = 0

. It is odd (

χ (- 1) = χ (3) = - 1

), conductor

4

. Steps:

The series is $L (s, χ_{- 4}) = 1 - 3^{- s} + 5^{- s} - 7^{- s} + \dots$ (the Dirichlet beta function $β (s)$ ).
At $s = 1$ this is the Leibniz series:

L (1, χ_{- 4}) = 1 - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \dots = \frac{π}{4} .

⟳integrate

\sum (- 1)^{k} x^{2 k} = 1/ (1 + x^{2})

from

0

1

, giving

arctan (1) = π /4

; Abel summation justifies the value at the boundary.

Class number check. For $K = Q (i)$ , $ζ_{K} = ζ (s) L (s, χ_{- 4})$ . The residue at $s = 1$ is $Res ζ (s) \cdot L (1, χ_{- 4}) = 1 \cdot \frac{π}{4} = \frac{π}{4}$ . Formula [8] with $r_{1} = 0, r_{2} = 1, h_{K} = 1, w_{K} = 4, d_{K} = - 4$ gives $\frac{( 2 π ) ^{1} \cdot 1 \cdot 1}{4 \cdot 4} = \frac{2 π}{8} = \frac{π}{4} .$ ✓

Answer:

L (1, χ_{- 4}) = π /4

, consistent with

Q (i)

having

h = 1

Dedekind zeta of $K=\mathbb{Q}(\sqrt{-5})$ and the class number

Given:

K = Q (- 5)

, ring

O_{K} = Z [- 5]

, discriminant

d_{K} = - 20

, so the associated quadratic character is

χ_{- 20}

mod

20

. Here

r_{1} = 0, r_{2} = 1, w_{K} = 2

. Steps:

Factor: $ζ_{K} (s) = ζ (s) L (s, χ_{- 20})$ .
Residue at $s = 1$ : $Res_{s = 1} ζ_{K} = L (1, χ_{- 20})$ .
Dirichlet's class number formula for an imaginary quadratic field of discriminant $d < - 4$ :

L (1, χ_{d}) = \frac{2 π h _{K}}{w _{K} ∣ d ∣} .

⟳specialize [8] with

r_{1} = 0, r_{2} = 1

; equivalently sum

χ_{d} (n) / n

via the finite Hurwitz/Gauss-sum evaluation

L (1, χ_{d}) = - \frac{π}{∣ d ∣ ^{3/2}} \sum_{a = 1}^{∣ d ∣} χ_{d} (a) a

for odd

χ

With $∣ d ∣ = 20$ , $w_{K} = 2$ , and the known $h_{K} = 2$ :

L (1, χ_{- 20}) = \frac{2 π \cdot 2}{2 20} = \frac{2 π}{20} = \frac{π}{5} \approx 1.4050.

⟳plug numbers into [15];

20 = 25

cancels one factor of

2

Answer:

h_{K} = 2, Res_{s = 1} ζ_{K} = π / 5 \approx 1.405

. The nontrivial class is

(2, 1 + - 5)

— this is why

6 = 2 \cdot 3 = (1 + - 5) (1 - - 5)

has non-unique element factorization.

Common Misconceptions

" $L (s, χ_{0})$ is entire." False. The principal character's L-function differs from $ζ (s)$ only by finitely many Euler factors and therefore inherits the pole at $s = 1$ . Only non-principal characters give entire $L (s, χ)$ .
"The functional equation relates $L (s, χ)$ to itself." It relates $L (s, χ)$ to $L (1 - s, \overline{χ})$ — the conjugate character — unless $χ$ is real.
" $ζ_{K} (s) / ζ (s)$ is always entire." This is the Aramata–Brauer theorem and holds for Galois (or general) extensions, but the proof is non-trivial; for non-normal $K$ it relies on Brauer induction, and for general Artin L-functions the analogous holomorphy is the Artin conjecture, still open.
Functional equations require primitive characters. The clean form [5] holds only for primitive $χ$ ; an imprimitive character's $L$ -function differs from the primitive one by Euler factors at the extra ramified primes and does not satisfy a clean equation.
The Gauss sum $τ (χ)$ is not always $q$ in sign/phase. Only $∣ τ (χ) ∣ = q$ for primitive $χ$ ; the argument (root number) is generally a subtle algebraic number.

Not every "zeta-like" series has an Euler product or continuation. Consider

\sum_{n} a_{n} n^{- s}

with

a_{n} = (- 1)^{Ω (n)}

(Liouville-type but with a twist that breaks complete multiplicativity), or random sign sequences: these may converge in a half-plane but possess no Euler product and need not continue past

Re (s) = σ_{c}

. The Euler product — i.e. multiplicativity of the coefficients — is the essential structural input; without it, none of [4]–[8] survive. Concretely,

\sum (- 1)^{n} n^{- s} = (2^{1 - s} - 1) ζ (s)

does continue, but only because it secretly equals

ζ

times an entire factor; a generic sign sequence has natural boundary

Re (s) = 1

Connections

Dirichlet and Dedekind L-functions are the abelian tier of a vast hierarchy. Both are special cases of Hecke L-functions (attached to Hecke Größencharaktere), which themselves are degree-1 cases of Artin L-functions (attached to Galois representations) and conjecturally of Automorphic L-functions via the Langlands program. The factorization $ζ_{K} = \prod_{χ} L (s, χ)$ for abelian $K$ is the prototype of the Artin Formalism $ζ_{K} (s) = \prod_{ρ} L (s, ρ)^{d i m ρ}$ over irreducible Galois reps. The non-vanishing $L (1, χ) \neq = 0$ is the engine of the Prime Number Theorem for Arithmetic Progressions, while the residue formula [8] is the abelian shadow of Beilinson Conjectures and the Birch and Swinnerton-Dyer Conjecture for elliptic curves. The functional equation is the analytic incarnation of Tate's thesis (Adelic Harmonic Analysis), recasting [4]–[7] as a global Fourier duality on idèles.

Real-World Applications

Primality and progressions in cryptography. The distribution of primes $\equiv a (q)$ , guaranteed and quantified by $L (s, χ)$ , underlies generation of safe primes and the security parameter choices in RSA and Diffie–Hellman key generation.
Quadratic field class numbers (computational algebra). Formula [15] is used in PARI/GP, SageMath, and Magma to compute $h_{K}$ for imaginary quadratic fields, central to imaginary quadratic order cryptosystems and to the resolution of Diophantine equations.
The Riemann Hypothesis for L-functions. The Generalized Riemann Hypothesis (GRH) for $L (s, χ)$ controls error terms in $π (x; q, a)$ ; algorithms (Miller's primality test, computing class groups) achieve their proven complexity conditionally on GRH.
Lattice problems & ideal class group cryptography. $ζ_{K}$ residues calibrate the number of short ideals, relevant to ideal-lattice hardness assumptions in post-quantum cryptography (Ring-LWE).
Stark's conjectures & explicit units. Special values $L^{'} (0, χ)$ predict the existence of Stark units, used to construct generators of abelian extensions (explicit class field theory, "Hilbert's 12th problem" computations).
Analytic computation of regulators. Combining [8] with computed $ζ_{K}$ residues yields $R_{K}$ — used to verify the Cohen–Lenstra heuristics on class group statistics across millions of fields.
Physics of quantum chaos. Zeros of $L (s, χ)$ obey GUE statistics (Montgomery–Odlyzko), modeling spectra of quantum chaotic Hamiltonians; ensembles of Dirichlet L-functions test random-matrix predictions experimentally via large-scale numerics.

Historical Development

1837 — Dirichlet introduces $L (s, χ)$ and proves infinitely many primes in $a + q Z$ for $g cd (a, q) = 1$ , founding analytic number theory; he establishes $L (1, χ) \neq = 0$ via his class number formula for binary quadratic forms.
1859 — Riemann treats $ζ (s)$ analytically, supplying the template (continuation, functional equation, zeros) later imitated by Dirichlet and Dedekind L-functions.
1871–1879 — Dedekind defines ideals, $O_{K}$ , and the zeta function $ζ_{K} (s)$ in his supplements to Dirichlet's lectures, proving its Euler product over prime ideals.
1903 — Landau rigorously proves analytic continuation and the class number formula residue for $ζ_{K}$ , and gives the prime ideal theorem.
1917 — Hecke proves the functional equation [7] for $ζ_{K}$ and introduces general Hecke characters and their L-functions, unifying [4] and [6] via theta functions.
1923 — Artin defines Artin L-functions for Galois representations; the factorization $ζ_{K} = \prod L (s, ρ)$ generalizes [13]; Artin's holomorphy conjecture is posed.
1931 — Aramata; 1947 — Brauer prove $ζ_{K} / ζ$ is entire for Galois $K / Q$ , partial progress toward Artin's conjecture via Brauer induction.
1950 — Tate (thesis, published 1967) recasts the functional equation as adelic Fourier analysis, giving the conceptual proof of [5] and [7].
1967– — Langlands subsumes all of these into the conjectural correspondence between Galois/automorphic representations, making Dirichlet and Dedekind L-functions the GL(1) base case.

Subtleties & Limits

Generalized Riemann Hypothesis (GRH). All nontrivial zeros of $L (s, χ)$ (and $ζ_{K}$ ) are conjectured to lie on $Re (s) = 1/2$ . Open for every nontrivial case; would give optimal error terms in [11]-type estimates.
Siegel zeros. It is not ruled out that a real primitive $χ$ has a real zero $β$ extremely close to $1$ ("Landau–Siegel zero"). Such a zero would make class numbers of imaginary quadratic fields anomalously small and degrade effective bounds (Siegel's theorem is famously ineffective precisely because of this).
Artin's holomorphy conjecture. Whether non-abelian Artin L-functions are entire (away from $s = 1$ ) is open; for abelian $K$ it is the trivial factorization [13], but the general case is part of the Langlands program.
Stark's conjectures. The precise algebraic nature of $L^{'} (0, χ)$ and the associated Stark units remains conjectural beyond rank-1 abelian cases.
Special value transcendence. While $L (1, χ)$ for odd $χ$ is an algebraic multiple of $π$ , the arithmetic nature of $L (2, χ)$ , $L (3, χ)$ (Beilinson regulators, polylogarithms) is largely conjectural.

L-Functions — Dirichlet and Dedekind Zeta

The Core Insight

Formal Statement

Dirichlet Character

Dirichlet L-function

Dedekind Zeta Function

Analytic Continuation and Functional Equation — Dirichlet

Analytic Continuation and Functional Equation — Dedekind

Analytic Class Number Formula

Why It Holds / Derivation

Euler Product and Dirichlet's Theorem on Primes in Progressions

Factorization $\zeta_K = \prod_\chi L(s,\chi)$ for Abelian $K/\mathbb{Q}$

Peter Gustav Lejeune Dirichlet | 1805–1859

Building Intuition

Splitting of a rational prime and the Euler factor structure

Worked Examples

Computing $L(1,\chi)$ for the nontrivial character mod 4

Dedekind zeta of $K=\mathbb{Q}(\sqrt{-5})$ and the class number

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

Before this