Maybe prepare a talk about this?
Paugam: Global analytic geometry
See also Arakelov theory
nLab page on Prime at infinity