Download Modular curves, Arakelov theory, algorithmic applications