Local to global principles for homomorphisms of abelian schemes

Let $A$ and $B$ be abelian varieties defined over the function field $k(S)$ of a smooth algebraic variety $S/k.$ We establish criteria, in terms of restriction maps to subvarieties of $S,$ for existence of various important classes of $k(S)$-homomorphisms from $A$ to $B,$ e.g., for existence of $k(S)$-isogenies. Our main tools consist of Hilbertianity methods, Tate conjecture as proven by Tate, Zarhin and Faltings, and of the minuscule weights conjecture of Zarhin in the case, when the base field is finite