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.