Diophantine geometry, modular forms and profinite group theory