On the Eisenstein ideal for imaginary quadratic fields
AbstractFor certain algebraic Hecke charactersχof an imaginary quadratic fieldFwe define an Eisenstein ideal in ap-adic Hecke algebra acting on cuspidal automorphic forms of GL2/F. By finding congruences between Eisenstein cohomology classes (in the sense of G. Harder) and cuspidal classes we prove a lower bound for the index of the Eisenstein ideal in the Hecke algebra in terms of the specialL-valueL(0,χ). We further prove that its index is bounded from above by thep-valuation of the order of the Selmer group of thep-adic Galois character associated toχ−1. This uses the work of R. Tayloret al. on attaching Galois representations to cuspforms of GL2/F. Together these results imply a lower bound for the size of the Selmer group in terms ofL(0,χ), coinciding with the value given by the Bloch–Kato conjecture.