zbMATH — the first resource for mathematics

Geometry Search for the term Geometry in any field. Queries are case-independent.
Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact.
"Topological group" Phrases (multi-words) should be set in "straight quotation marks".
au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted.
Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff.
"Quasi* map*" py: 1989 The resulting documents have publication year 1989.
so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14.
"Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic.
dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles.
py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses).
la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

a & b logic and
a | b logic or
!ab logic not
abc* right wildcard
"ab c" phrase
(ab c) parentheses
any anywhere an internal document identifier
au author, editor ai internal author identifier
ti title la language
so source ab review, abstract
py publication year rv reviewer
cc MSC code ut uncontrolled term
dt document type (j: journal article; b: book; a: book article)
Iwasawa theory of elliptic curves with complex multiplication. $p$-adic $L$ functions. (English) Zbl 0674.12004
Perspectives in Mathematics, Vol. 3. Boston etc.: Academic Press, Inc. (Harcourt Brace Jovanovich, Publishers) ix, 154 p. {$} 19.50 (1987).
From the introduction: $p$-adic $L$ functions are analytical functions of $p$-adic characters that, one way or another, interpolate special values of classical (complex) $L$ functions. The first such examples were the $p$-adic $L$ functions of {\it T. Kubota} and {\it H. W. Leopoldt} [J. Reine Angew. Math. 214-215, 328--339 (1964; Zbl 0186.09103)], interpolating Dirichlet $L$ series. {\it M. M. Vishik} and {\it Yu. I. Manin} [Math. USSR, Sb. 24(1974), 345--371 (1976); translation from Mat. Sb., Nov. Ser. 95(137), 357--383 (1974; Zbl 0329.12016)] and {\it N. M. Katz} [Ann. Math. (2) 104, 459--571 (1976; Zbl 0354.14007)] constructed $p$-adic $L$ functions which interpolate special values of Hecke $L$ series associated with a quadratic imaginary field $K$, in which $p$ splits. (To fix notation write $p={\frak pp}\bar{\ }.)$ The $p$-adic $L$ function of Manin-Vishik and Katz is the first object studied in this work. Our point of view is nevertheless different, and goes back to the two fundamental papers by {\it J. Coates} and {\it A. Wiles} [Invent. Math. 39, 223--251 (1977; Zbl 0359.14009) and J. Aust. Math. Soc., Ser. A 26, 1--25 (1978; Zbl 0442.12007)]. The program may be summarized in two main steps: Fix an abelian extension $F\sb 1$ of $K$, and let $K\sb{\infty}$ be the unique $\Bbb Z_p$ extension of $K$ unramified outside $\frak p$ (one of the two factors of $p$ in $K$). We assume that $F\sb 1$ is the ray class field modulo $\frak{fp}$, where $\frak f$ is an integral ideal relatively prime to $\frak p$. The $p$-adic $L$ function, then, is essentially a $p$-adic integral measure on $\cal G=\text{Gal}(F\sb 1K\sb{\infty}/K)$. Now in the first step we are given a norm-coherent sequence $\beta$ of semilocal units in the completion of the tower $F\sb{\infty}=F\sb 1K\sb{\infty}$ at $\frak p$. Out of each such sequence we construct a certain measure $\mu\sb{\beta}$ on $\cal G$. We describe this construction in chapter I. In the second step, carried out in chapter II, we introduce special global units, the elliptic units. They come in norm coherent sequences, so we can view them inside the local units. When the procedure from chapter I is applied to them we obtain the $p$-adic $L$ function. Other results obtained in chapters I and II include a new proof of Wiles’ explicit reciprocity law, a $p$-adic analogue of Kronecker’s limit formula, and a functional equation for the $p$-adic $L$ function. The immense interest in Katz’ $p$-adic $L$ functions arises from their significance to class field theory (abelian extensions of $K$) and the arithmetic of elliptic curves with complex multiplication. In the last two chapters we give a sample of results in these two directions. Chapter III is mainly concerned with the “Main Conjecture” in the style of cyclotomic Iwasawa theory. The fundamental idea is that the zeros of the $p$-adic $L$ function ought to be those $p$-adic characters of $\cal G$ whose reciprocals appear in the representation of $\cal G$ on a certain free $\Bbb Z_p$-module of finite rank. More precisely, this module $\cal X$ is the Galois group of the maximal abelian $p$-extension of $F\sb{\infty}$ which is unramified outside $\frak p$. We prove that the Iwasawa invariants of $\cal X$ and the Iwasawa invariants of the $p$-adic $L$ function are equal, but we do not go into the recent evidence for this conjecture discovered by K. Rubin, nor do we give Gillard’s proof of the vanishing of the $\mu$-invariant. While elliptic curves are deliberately kept behind the scene in chapter III, their arithmetic, and in particular the conjecture of Birch and Swinnerton-Dyer, is the main topic of chapter IV. First we show how Kummer theory and descent are used to relate the Galois group previously denoted by $\cal X$ to the Selmer group over $F\sb{\infty}$. Then we give a complete proof of two beautiful theorems of Coates-Wiles and of R. Greenberg. These theorems are generalized here to treat elliptic curves with CM by an arbitrary quadratic imaginary field, not necessarily of class number 1.

11S40Zeta functions and $L$-functions of local number fields
11R23Iwasawa theory
11-02Research monographs (number theory)
11G40$L$-functions of varieties over global fields
11G15Complex multiplication and moduli of abelian varieties
11R37Class field theory for global fields