p-adic Analysis
p-adic analysis develops calculus over the p-adic numbers, where the ultrametric makes convergence simpler but geometry stranger, yielding p-adic power series, exponentials, and the p-adic L-functions that interpolate special values of classical zeta functions.
Definition
p-adic analysis is the study of functions, series, and integration over the p-adic numbers and other complete non-archimedean fields, using the ultrametric absolute value in place of the usual notion of size.
Scope
This topic covers convergence of sequences and series in p-adic fields (where a series converges exactly when its terms tend to zero), p-adic power series and their radii of convergence, the p-adic exponential and logarithm and their restricted domains, continuous and locally analytic functions, Mahler's expansion of continuous functions in binomial coefficients, p-adic measures and integration, and the construction of p-adic L-functions interpolating values of the Riemann zeta and Dirichlet L-functions.
Core questions
- Why does a p-adic series converge precisely when its general term tends to zero, and how does the ultrametric simplify analysis?
- What are the radii of convergence of the p-adic exponential and logarithm, and why are they restricted?
- How does Mahler's theorem describe all continuous functions on the p-adic integers?
- How are p-adic L-functions constructed to interpolate special values of classical L-functions?
Key theories
- Ultrametric convergence
- Because of the strong triangle inequality, a p-adic series converges if and only if its terms approach zero, and rearrangement is unconditional, making convergence questions strikingly simple.
- p-adic exponential, logarithm, and Mahler's theorem
- The p-adic exponential converges only on a small disk while the logarithm extends further; Mahler's theorem expands every continuous function on the p-adic integers in terms of binomial-coefficient polynomials.
- p-adic L-functions
- Kubota and Leopoldt constructed p-adic analogues of Dirichlet L-functions that interpolate the values of the classical L-functions at negative integers, linking p-adic analysis to Iwasawa theory.
Clinical relevance
p-adic L-functions and p-adic analytic methods are central to Iwasawa theory and to the p-adic Birch-Swinnerton-Dyer conjecture, whose study guides computations on elliptic curves; the ultrametric framework also informs non-archimedean models used in coding and dynamics.
History
p-adic analysis began with Hensel's power-series analogy and matured as the non-archimedean structure of p-adic fields was understood. Kubota and Leopoldt constructed p-adic L-functions in 1964, and Iwasawa's theory of the 1960s and 1970s made p-adic analytic objects central to the arithmetic of cyclotomic fields.
Key figures
- Kurt Hensel
- Tomio Kubota
- Heinrich-Wolfgang Leopoldt
- Kenkichi Iwasawa
Related topics
Seminal works
- koblitz1984
Frequently asked questions
- Why is p-adic convergence easier than real convergence?
- The ultrametric inequality means the size of a sum never exceeds the largest term, so a series converges exactly when its terms go to zero, with no conditional convergence or rearrangement subtleties.
- What is a p-adic L-function?
- It is a p-adic analytic function that interpolates the special values of a classical L-function at certain integers, packaging arithmetic information in a form suited to p-adic methods such as Iwasawa theory.