The Coleman-Mazur eigencurve is proper at integral weights (Q1005862)

The eigencurve \({\mathcal C}\) (the Coleman-Mazur eigencurve) is a rigid analytic space parameterizing overconvergent -- and hence classical -- modular eigenforms of finite slope. \textit{R. Coleman} and \textit{B. Mazur} [London Math. Soc. Lecture Note Ser. 254, 1--113 (1998; Zbl 0932.11030)] raised the following question: does there exist a \(p\)-adic family of finite slope overconvergent eigenforms over a punctured disc, and converging, at the puncture, to an overconvergent eigenform of infinite slope? In \textit{K. Buzzard} and \textit{F. Calegari} [Doc. Math., Extra Vol., 211--232 (2006; Zbl 1138.11015)], this was proved in the affirmative for the particular case of tame level \(N=1\) and \(p=2\). In this paper the author proves that \({\mathcal C}\) is proper (over the weight space) at the integral weights in the center of weight space. He works with general \(p\) and arbitrary tame level, although the result only applies at certain arithmetic weights.