The Atkin Operator On Spaces Of Overconvergent Modular Forms And Arithmetic Applications