Mazur–Tate–Teitelbaum

Mazur–Tate–Teitelbaum is a conjectural and partially proven description of the behavior of p-adic L-functions for elliptic curves and modular forms at points where the complex L-function has a trivial zero, predicting the order of vanishing and relating leading coefficients to arithmetic invariants. Formulated by Barry Mazur, John Tate, and Jerrold B. T. Teitelbaum in the late 20th century, it connects ideas from Iwasawa theory, Hida family, and Kolyvagin's work to refined versions of the Birch and Swinnerton-Dyer conjecture and the theory of p-adic Hodge theory. The conjecture influenced developments by Andrew Wiles, Richard Taylor, Karl Rubin, and Cornelius Greither in understanding special values and exceptional zero phenomena.

Background and statement of the conjecture

The conjecture arose against a backdrop of progress on the Birch and Swinnerton-Dyer conjecture for elliptic curves over Q and the construction of p-adic L-functions by Kubota–Leopoldt, Manin, and Amice–Vélu, situating it within Iwasawa theory and the study of Selmer groups. Mazur, Tate, and Teitelbaum formulated a precise prediction for the behavior of the p-adic L-function attached to an ordinary newform or ordinary elliptic curve at a point corresponding to weight one, relating the derivative at the exceptional zero to a regulator-like factor and a Tate period when the Euler factor vanishes. The statement involves the p-adic logarithm, the Néron model of an abelian variety, and arithmetic invariants such as the Tate–Shafarevich group and local Galois representation data at a prime p.

p-adic L-functions and interpolation

Constructions of p-adic L-functions for Dirichlet characters and modular forms by Kubota–Leopoldt, Mazur–Swinnerton-Dyer, Perrin-Riou, Manin and Amice–Vélu use p-adic measures and p-adic interpolation techniques to match critical values of complex L-functions, echoing the work of Hecke, Atkin–Lehner, and Deligne on algebraicity. The interpolation property ties values at algebraic points to special values studied by Shimura, Rankin–Selberg, and Waldspurger, while the Euler factor at p introduces potential zeros leading to the exceptional zero phenomenon. For ordinary p-adic Hodge theory situations, the Hida family framework of Haruzo Hida and the Coleman family approach of Robert Coleman provide p-adic analytic families whose specialized Galois representations govern the local factors that the conjecture addresses.

Exceptional zero phenomenon and Mazur–Tate–Teitelbaum formula

When the local Euler factor at p vanishes, an exceptional zero can occur for the p-adic L-function, a phenomenon first noticed in studies of Kubota–Leopoldt and clarified by Mazur, Tate, and Teitelbaum; their formula predicts that the leading derivative equals a product of a canonical ℓ-invariant and algebraic periods, paralleling earlier observations by Ferrero–Greenberg in the context of Dirichlet L-series. The ℓ-invariant appearing in their formula is related to Coleman's and Greenberg's invariants, and can be interpreted in terms of extension classes in Galois cohomology measured by the p-adic logarithm on the Tate module of an elliptic curve, connecting to the work of Bloch–Kato on Tamagawa numbers and regulators. The Mazur–Tate–Teitelbaum prescription thus replaces a vanishing value by a derivative expressing subtle local and global arithmetic information tied to the Néron–Ogg–Shafarevich criterion and the behavior of reduction at p.

Evidence, proofs, and generalizations

Evidence for the conjecture came from calculations for Dirichlet characters by Ferrero–Greenberg and theoretical advances by Greenberg–Stevens who proved cases for certain modular forms using p-adic modular symbols and Iwasawa theory techniques, while Mazur–Tate–Teitelbaum's insights inspired proofs in the ordinary case by Venerucci and extensions by Kato via Euler systems. Generalizations to non-ordinary settings and higher-rank automorphic representations have been pursued by Perrin-Riou, Bellaïche, Skinner–Urban, Wan, and Loeffler–Zerbes, incorporating (phi,Gamma)-modules, overconvergent modular forms, and Eigenvariety methods. Work by Colmez connected ℓ-invariants to p-adic local Langlands correspondences, and developments by Emerton and Kisin relate to completed cohomology and deformation rings underpinning broader conjectural frameworks.

Applications and consequences in arithmetic geometry

The formula has consequences for refined versions of the Birch and Swinnerton-Dyer conjecture, the structure of Selmer groups in Iwasawa theory, and explicit computation of Tate–Shafarevich group orders in compatible settings, influencing algorithms in computational arithmetic used by Cremona and Stein in databases of elliptic curves. It informs the study of congruences between modular forms, the behavior of Hecke algebra actions in Hida theory, and the evaluation of regulators in the sense of Beilinson and Bloch. Broader implications touch on reciprocity laws envisioned by Langlands, the analytic continuation of L-function families in the work of Piatetski-Shapiro and Gelbart, and explicit reciprocity laws exploited in results by Skinner and Wiles toward modularity lifting and finiteness theorems.

Category:Number theory