An introduction to $p$-adic $L$-functions
Joaquín Rodrigues Jacinto, Chris Williams
TL;DR
The notes present a coherent introduction to $p$-adic $L$-functions centered on the Kubota--Leopoldt construction for the Riemann zeta function, illustrating three complementary viewpoints: analytic (measures and pseudo-measures), arithmetic (cyclotomic units and the Coleman map), and algebraic (Galois-module structures over the Iwasawa algebra). They establish a measure-theoretic foundation, prove the existence and interpolation properties of the $p$-adic zeta function, and connect these to Dirichlet $L$-values, culminating in Iwasawa's Main Conjecture in a Vandiver prime case. The exposition then develops the Coleman map as a bridge between cyclotomic units and $p$-adic $L$-functions, leading to an algebraic construction of the same objects and the Main Conjecture, with extensions to Eisenstein series and modular-analytic families. Overall, the work situates $p$-adic $L$-functions at the heart of Iwasawa theory and Beilinson-type conjectures, highlighting their role in linking special $L$-values, Selmer groups, and arithmetic of cyclotomic fields, and outlining avenues for generalization to broader automorphic contexts.
Abstract
These expository notes introduce $p$-adic $L$-functions and the foundations of Iwasawa theory. We focus on Kubota--Leopoldt's $p$-adic analogue of the Riemann zeta function, which we describe in three different ways. We first present a measure-theoretic (analytic) $p$-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 $p$ 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.
