Explicit bounds for the solutions of superelliptic equations over number fields

Let f be a polynomial with coefficients in the ring O-S of S-integers of a number field K, b a non-zero S-integer, and m an integer >= 2. We consider the following equation (*): f (x) = by(m) in x, y is an element of O-S. Under the well-known LeVeque condition, we give fully explicit upper bounds in terms of K, S, f, m and the S-norm of b for the heights of the solutions x of equation (*). Further, we give an explicit bound C in terms of K, S, f and the S-norm of b such that if m > C equation (*) has only solutions with y = 0 or a root of unity. Our results are more detailed versions of work of Trelina, Brindza, Shorey and Tijdeman, Voutier and Bugeaud, and extend earlier results of Berczes, Evertse, and Gyory to polynomials with multiple roots. In contrast with the previous results, our bounds depend on the S-norm of b instead of its height.