Edited by J. Coates
Edited by M. J. Taylor
Publisher: Cambridge University Press
Print Publication Year: 1991
Online Publication Date:December 2009
Chapter DOI: http://dx.doi.org/10.1017/CBO9780511526053.015
Subjects: Number Theory
In a forthcoming paper  we will present a proof of the one- and two-variable “main conjectures” of Iwasawa theory for imaginary quadratic fields. This proof uses the marvelous recent methods of Kolyvagin , combined with ideas from  and  and a great deal of technical Iwasawa theory. Because it deals with the two-variable situation, with primes of degree two as well as those of degree one, and with all imaginary quadratic fields, the proof in  will necessarily be quite complicated and, at least at first glance, rather unintelligible.
The purpose of this paper is to present a proof of the one-variable main conjecture in the simplest setting (see §1 for the precise statement). That is, we consider only imaginary quadratic fields K of class number one, elliptic curves E defined over K with complex multiplication by K, and only primes of good reduction which split in K. This is the setting in which Coates and Wiles worked in  and . These restrictions make it possible to simplify the proof considerably. However, the important ideas of the general proof do appear here, and even with these restrictions there are powerful applications (see Theorem 1.2).