Arithmetic and Geometry pp 107-137 | Cite as

# Infinite Descent on Elliptic Curves with Complex Multiplication

## Abstract

It is a pleasure to dedicate this paper to I. R. Safarevic, in recognition of his important work on the arithmetic of elliptic curves. As anyone who has worked on the arithmetic of elliptic curves is acutely aware, it is still dominated today, despite its long and rich history, by a wealth of tantilizing conjectures, which are convincingly supported by numerical evidence. The most important amongst these conjectures, at least from the point of view of diophantine equations, is the conjecture of Birch and Swinnerton-Dyer, which grew out of the attempt to apply to elliptic curves the quantitative local to global principles employed by Siegel in his celebrated work on quadratic forms. This conjecture is so well known that there is no need to repeat its precise statement here. However, we do wish to point out that no-one has yet found a direct and natural link between the existence of rational points of infinite order on an elliptic curve defined over a number field and the behaviour of its Hasse-Weil *L*-Series at the point *s* = 1 in the complex plane, as is predicted by the conjecture of Birch and Swinnerton-Dyer. Guided by Artin and Tate’s [15] success with the geometric analogue, most recent work has attempted to establish such a connexion indirectly by *p*-adic techniques which combine the classical infinite descent of Mordell and Weil with ideas from Iwasawa’s theory of Z_{ p }-extensions of number fields. The first results in this direction were found by Mazur [10], who studied descent theory on abelian varieties over an arbitrary Z_{ p }-extension of the base field, assuming only that the abelian variety has good ordinary reduction at every ramified prime for the Z_{ p }-extension (we shall describe this by simply saying that the abelian variety is *ordinary* for the Z_{ p }-extension). The present paper, which was motivated by earlier work of Wiles and myself [3], pursues the study of this descent theory in a very special case, which nevertheless contains important families of elliptic curves, whose arithmetic properties are presumably typical of all elliptic curves. Namely, we consider elliptic curves with complex multiplication, and a certain non-cyclotomic Z_{ p }-extension of the base field, whose existence is closely associated with the hypothesis of complex multiplication, and for which the elliptic curve is ordinary (sec §2 for the precise definition). Much of the material in this article is not recent work and was presented in the Hermann Weyl Lectures at the Institute for Advanced Study, Princeton, in 1979, and will eventually form part of a more detailed set of notes on these lectures. However, the crucial results of §3, which are due to Bernadette Perrin-Riou [12], were only proven after these lectures took place. Finally, there have been two important recent developments on the problems discussed in this paper. Firstly, P. Schneider (see [13], [14], and a manuscript in preparation) has now established the equality of the analytic height and algebraic height for arbitrary abelian varieties and Z_{ p }-extensions of the base field, for which the abelian variety is ordinary. Secondly, Mazur and Tate (see their article in this volume) have found some striking new descriptions of the analytic height attached to an elliptic curve over a Z_{ p }-extension, subject always to the hypothesis that the elliptic curve is ordinary for the Z_{ p }-extension.

## Keywords

Exact Sequence Elliptic Curve Elliptic Curf Galois Group Abelian Variety## Preview

Unable to display preview. Download preview PDF.

## References

- [1]Cassels, J., Arithmetic on curves of genus 1 (VIII), Crelle 217 (1965), 180–199.MathSciNetzbMATHGoogle Scholar
- [2]Coates, J., Arithmetic on elliptic curves with complex multiplication, Hermann Weyl Lectures, I.A.S. Princeton, 1979, to appear.Google Scholar
- [3]Coates, J., Wiles, A., On the conjecture of Birch and SwinnertonDyer, Invent. Math., 39 (1977), 223–251.MathSciNetzbMATHGoogle Scholar
- [4]Coates, J., Wiles, A., On p-adic L-functions and elliptic units, J. Australian Math. Soc., 26 (1978), 1–25.MathSciNetzbMATHCrossRefGoogle Scholar
- [5]Coates, J., Goldstein, C., Some remarks on the main conjecture for elliptic curves with complex multiplication, to appear in American J. Math.Google Scholar
- [6]Greenberg, R., On the structure of certain Galois groups, Invent. Math., 47 (1978), 85–99.zbMATHGoogle Scholar
- [7]Greenberg, R., On the Conjecture Birch and Swinnerton-Dyer, to appear in Invent. Math.Google Scholar
- [8]Gross, B., On the conjecture of Birch and Swinnerton-Dyer for elliptic curves with complex multiplication, Progress in Math. 26 (Birkhäuser), 219–236.Google Scholar
- [9]Iwasawa, K., On Zi-extensions of algebraic number fields, Ann. of Math., 98 (1973), 246–326.MathSciNetzbMATHCrossRefGoogle Scholar
- [10]Mazur, B., Rational points of ahelian varieties with values in towers of number fields, Invent. Math., 18 (1972), 183–266.MathSciNetzbMATHGoogle Scholar
- [11]Perrin-Riou, B., Groupe de Selmer d’une courbe elliptique à multiplication complexe, Compositio Math., 43 (1981), 387–417.MathSciNetzbMATHGoogle Scholar
- [12]Perrin-Riou, B., Descente infinie et hauteur p-adique sur les courbes elliptiques à multiplication complexe, Invent. Math., 70 (1983), 369–398.MathSciNetzbMATHGoogle Scholar
- [13]Schneider, P., Iwasawa L-functions of varieties over algebraic number fields. A first approach., to appear in Invent. Math.Google Scholar
- [14]Schneider, P., p-adic height pairings I, Invent. Math., 69 (1982), 401–409.zbMATHGoogle Scholar
- [15]Tate, J., On the conjecture of Birch and Swinnerton-Dyer and a geometric analogue, Séminaire Bourbaki, No. 306, Février, 1966.Google Scholar