Unlikely intersections between isogeny orbits and curves

Fix an abelian variety A0 and a non-isotrivial abelian scheme over a smooth irreducible curve, both defined over the algebraic numbers. Consider the union of all images of translates of a fixed finite-rank subgroup of A0, also defined over the algebraic numbers, by abelian subvarieties of A0 of codimension at least k under all isogenies between A0 and some fiber of the abelian scheme. We characterize the curves inside the abelian scheme which are defined over the algebraic numbers, dominate the base curve and potentially intersect this set in infinitely many points. Our proof follows the Pila-Zannier strategy.