rational points on curves (Dimitrov et al., Uniformity in Mordell–Lang for Curves, Preprint
(2020), arXiv: 2001.10276). Another application is to answer a question of André, Corvaja
and Zannier and improve a result of Voisin. We also systematically study its link with the
relative Manin–Mumford conjecture, reducing the latter to a simpler conjecture. Our tools are
functional transcendence and unlikely intersections for mixed Shimura varieties.