Hermitian vector bundles and extension groups on arithmetic schemes. I. Geometry of numbers

We define and investigate extension groups in the context of Arakelov geometry. The 'arithmetic extension groups' we introduce are extensions by groups of analytic types of the usual extension groups attached to $\O_X$-modules over an arithmetic scheme $X$. In this paper, we focus on the first arithmetic extension group - the elements of which may be described in terms of admissible short exact sequences of hermitian vector bundles over $X$ - and we especially consider the case when $X$ is an 'arithmetic curve', namely the spectrum $\Spec \O_K$ of the ring of integers in some number field $K$. Then the study of arithmetic extensions over $X$ is related to old and new problems concerning lattices and the geometry of numbers.