14.2 Dedekind zeta functions

Dedekind zeta functions are like the Riemann zeta function's cooler cousins. They work for more complex number systems and pack a ton of info about them. These functions help us understand how numbers behave in different mathematical worlds.

Studying Dedekind zeta functions is like unlocking a secret code. They reveal patterns in prime numbers, help solve tricky equations, and even connect to some of math's biggest unsolved mysteries. It's mind-blowing stuff!

Dedekind Zeta Functions

Definition and Properties

• Dedekind zeta functions generalize the Riemann zeta function to algebraic number fields beyond rational numbers
• For number field K, ζK(s) defined as sum over non-zero ideals a of ring of integers OK: $ζK(s) = \sum_a (Na)^{-s}$
• Na represents norm of ideal a
• Sum converges absolutely for Re(s) > 1, with s as complex variable
• Encodes arithmetic information about number field (discriminant, class number, regulator)
• Dedekind zeta function of rational number field Q equals Riemann zeta function ζ(s)
• For finite extension K/Q of degree n, ζK(s) expressed as product of n L-functions associated with Gal(K/Q) characters

Special Cases and Behavior

• Behavior at special points (s = 0, s = 1) relates to fundamental number field invariants
• For quadratic field Q(√d), Dedekind zeta function factors as product of Riemann zeta function and Dirichlet L-function: $ζK(s) = ζ(s)L(s,χd)$
• χd represents quadratic character modulo d
• For cyclotomic field Q(ζn), Dedekind zeta function factors as product of Dirichlet L-functions: $ζK(s) = \prod_{χ \mod n} L(s,χ)$
• Product taken over all Dirichlet characters modulo n

Euler Product Representation

Formulation and Convergence

• Expresses Dedekind zeta function as infinite product over prime ideals
• For number field K, Euler product representation given by: $ζK(s) = \prod_p (1 - (Np)^{-s})^{-1}$
• p runs over all prime ideals of OK
• Converges absolutely for Re(s) > 1, matching series definition convergence region
• Reflects unique factorization of ideals into prime ideals in OK
• For prime number p, factor corresponding to p decomposes based on splitting in K/Q extension

Applications and Significance

• Connects Dedekind zeta function to number field arithmetic, particularly prime ideal distribution
• Logarithmic derivative yields information about prime ideal counting functions
• Enables study of prime decomposition law in number fields
• Facilitates computation of local factors for L-functions associated with motives over number fields
• Useful in analyzing distribution of prime ideals in various number field families (cyclotomic, quadratic)

Analytic Continuation and Functional Equation

Analytic Continuation

• Dedekind zeta functions analytically continue to entire complex plane, except simple pole at s = 1
• Continuation achieved through Mellin transform of theta function associated with number field
• Theta function defined using ideal class representatives and fundamental domain of unit group
• Analytic continuation crucial for studying zeta function behavior beyond initial region of convergence
• Enables exploration of zeros and special values in critical strip 0 < Re(s) < 1

Functional Equation

• Completed Dedekind zeta function ξK(s) defined by multiplying ζK(s) with gamma factors and discriminant power
• Functional equation relates ξK(s) values at s and 1-s: $ξK(s) = ξK(1-s)$
• Implies zeros of ζK(s) in critical strip symmetric about Re(s) = 1/2 line
• Generalized Riemann Hypothesis (GRH) conjectures all non-trivial ζK(s) zeros lie on Re(s) = 1/2 critical line
• Functional equation essential for studying zeta function behavior in left half-plane Re(s) < 1/2

Residue and Class Number vs Regulator

Residue at s=1

• ζK(s) has simple pole at s = 1, residue encodes important number field K arithmetic information
• Residue given by analytic class number formula: $\lim_{s→1} (s-1)ζK(s) = \frac{2^{r1} (2π)^{r2} h_K R_K}{w_K \sqrt{|d_K|}}$
• r1, r2 represent number of real and complex K embeddings
• hK denotes class number, RK regulator, wK number of K roots of unity, dK discriminant of K
• Formula connects ζK(s) analytic properties to algebraic K invariants
• Generalizes classical quadratic fields class number formula

Class Number and Regulator

• Class number hK measures extent of unique factorization failure in OK ring of integers
• Regulator RK defined as determinant of fundamental units logarithms matrix, measuring OK unit group size
• Class number and regulator interplay crucial for understanding algebraic structure of number fields
• Regulator relates to fundamental units, essential for solving Diophantine equations in number fields
• Class number and regulator computation central to computational algebraic number theory
• Relationship between class number, regulator, and zeta function residue fundamental to class field theory study