Alexander Carney, Wade Hindes and Thomas J. Tucker
Vol. 17 (2023), No. 9, 1573–1594
DOI: 10.2140/ant.2023.17.1573
Abstract
We prove a characteristic
version of a theorem of Silverman on integral points in orbits over number fields and
establish a primitive prime divisor theorem for polynomials in this setting. In
characteristic ,
the Thue–Siegel–Dyson–Roth theorem is false, so the proof requires new
techniques from those used by Silverman. The problem is largely that
isotriviality can arise in subtle ways, and we define and compare three different
definitions of isotriviality for maps, sets, and curves. Using results of
Favre and Rivera-Letelier on the structure of Julia sets, we prove that if
is a nonisotrivial rational
function and
is not
exceptional for
, then
is a nonisotrivial set for
all sufficiently large
;
we then apply diophantine results of Voloch and Wang that apply for all nonisotrivial sets. When
is a polynomial, we use
the nonisotriviality of
for large
along
with a partial converse to a result of Grothendieck in descent theory to deduce the nonisotriviality
of the curve
for large
and
small primes
whenever
is not postcritical; this enables us to prove stronger results on Zsigmondy sets. We
provide some applications of these results, including a finite index theorem for
arboreal representations coming from quadratic polynomials over function fields of
odd characteristic.
Keywords
arithmetic dynamics, integral points, arboreal
representations, Zsigmondy sets