Mordell--Lang plus Geometric Bogomolov

We prove a geometric version of Poonen’s “Mordell–Lang plus Bogomolov” theorem for semi-abelian varieties in characteristic zero. This is a generalization of the Mordell–Lang conjecture and the geometric Bogomolov conjecture.