Let
be a number
field and let
be a
finite set of places of
which contains all the archimedean places. For any
of degree
which is
not a
-th
power in
,
Siegel’s theorem implies that the image set
contains only finitely many
-units. We conjecture that
the number of such
-units is
bounded by a function of
and
(independently of
,
and
). We
prove this conjecture for several classes of rational functions, and show that the full
conjecture follows from the Bombieri–Lang conjecture.