Title: The Eigencurve is Proper
Description: Coleman and Mazur constructed a rigid analytic curve Cp,N, called the eigencurve, whose points correspond to all finite slope overconvergent p-adic eigenforms. We prove the conjecture that the eigencurve Cp,N is proper over the weight space for any prime p and tame level N.