Strongly semistable sheaves and the Mordell–Lang conjecture over function fields

We give a new proof of the Mordell–Lang conjecture in positive characteristic, in the situation where the variety under scrutiny is a smooth subvariety of an abelian variety. Our proof is based on the theory of semistable sheaves in positive characteristic, in particular on Langer’s theorem that the...