Torsion points on families of abelian surfaces and Pell's equation over polynomial rings

In recent papers we proved a special case of a variant of Pink's Conjecture for a variety inside a semiabelian scheme: namely for any curve inside anything isogenous to a product of two elliptic schemes. Here we go beyond the elliptic situation by settling the crucial case of any simple abelian surface scheme defined over the field of algebraic numbers, thus confirming an earlier conjecture of Shou-Wu Zhang. This is of particular relevance in the topic, also in view of very recent counterexamples by Bertrand. Furthermore there are applications to the study of Pell equations over polynomial rings; for example we deduce that there are at most finitely many complex t for which there exist A,B≠0 in C[X] with A2–DB2=1 for D=X6+X+t. We also consider equations A2–DB2=c′X+c, where the situation is quite different.