This is an expository introduction to
-adic
-functions
and the foundations of Iwasawa theory. We focus on Kubota–Leopoldt’s
-adic
analogue of the Riemann zeta function, which we describe in three
different ways. We first present a measure-theoretic (analytic)
-adic
interpolation of special values of the Riemann zeta function. Next, we describe
Coleman’s (arithmetic) construction via cyclotomic units. Finally, we examine
Iwasawa’s (algebraic) construction via Galois modules over the Iwasawa
algebra.
The
Iwasawa Main Conjecture, now a theorem due to Mazur and Wiles, says that
these constructions agree. We will state the conjecture precisely, and give a proof
when
is a Vandiver prime (which conjecturally covers every prime). Throughout, we discuss
generalisations of these constructions and their connections to modern research
directions in number theory.
Keywords
$p$-adic $L$-functions, Iwasawa theory, Iwasawa Main
Conjecture, Euler system, Kubota–Leopoldt, $p$-adic zeta
function