2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/74536For p=2 and tame level N=1 we prove that the map from the (Coleman-Mazur) Eigencurve to weight space satisfies the valuative criterion of properness. More informally, we show that the Eigencurve has no "holes"; given a punctured disc of finite slope overconvergent eigenforms over weight space, the center can be "filled in" with a finite slope overconvergent eigenform.Number TheoryThe 2-adic Eigencurve is Propertext