Analytic and rational sections of relative semi-abelian varieties

The hyperbolicity statements for subvarieties and complement of hypersurfaces in abelian varieties admit arithmetic analogues, due to Faltings, Ann. Math. 133 (1991) (and for the semi-abelian case, Vojta, Invent. Math. 126 (1996); Amer. J. Math. 121 (1999)). In Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 29 (2018) by the second author, an analogy between the analytic and arithmetic theories was shown to hold also at proof level, namely in a proof of Raynaud’s theorem (Manin–Mumford Conjecture). The first aim of this paper is to extend to the relative setting the above mentioned hyperbolicity results. We shall be concerned with analytic sections of a relative (semi-)abelian scheme A → B over an affine algebraic curve B. These sections form a group; while the group of the rational sections (the Mordell–Weil group) has been widely studied, little investigation has been pursued so far on the group of the analytic sections. We take the opportunity of developing some basic structure of this apparently new theory, defining a notion of height or order functions for the analytic sections, by means of Nevanlinna theory