Redirecting to Arakelov theory