In this article we prove a general bounded height result for specializations in finitely generated subgroups varying in families which complements and sharpens the toric Mordell–Lang theorem by replacing finiteness with emptiness, for the intersection of varieties and subgroups, all moving in a pencil, except for bounded height values of the parameters (and excluding identical relations). More precisely, an instance of the result is as follows. Consider the torus scheme over a curve defined over , and let be a subgroup scheme generated by finitely many sections (satisfying some necessary conditions). Further, let be any subscheme. Then there is a bound for the height of the points such that, for some which does not generically lie in , lies in the fiber . We further offer some direct Diophantine applications, to illustrate once again that the results implicitly contain information absent from the previous bounds in this context.
"Bounded height in pencils of finitely generated subgroups." Duke Math. J. 166 (13) 2599 - 2642, 15 September 2017. https://doi.org/10.1215/00127094-2017-0009