we will discuss lefschetz theorems on the homotopy groups of hyperplane sections in the arithmetic setting, i.e. for a divisor, ample in the arakelov sense, over a projective scheme defined over the ring of integers in a number field. an interesting corollary is that the integral model of a generic complete intersection curve of big height, is a simply connected arithmetic surface. joint work with michael mcquillan.