A milestone in the geometric understanding of algebraization theorems that also provides an introduction to Arakelov geometry