The eigencurve is proper

Abstract

We prove in this article that, for any prime $p$ and tame level $N$, the projection from the eigencurve to the weight space satisfies a rigid analytic version of the valuative criterion for properness introduced by Buzzard and Calegari. This gives a negative answer to a question of Coleman and Mazur.