Calculus on arithmetic surfaces

In [A2] and [A3], Arakelov introduces an intersection calculus for arithmetic surfaces, that is, for stable models of curves over a number field. In this paper we intend to show that his intersection product has a lot of useful properties. More precisely, we show that the following properties from the theory of algebraic surfaces have an analogue in our situation: