Prime ideal divisors of parametric recurrence sequences

Abstract

We prove new arithmetic results for parametric linear recurrence sequences specialized at roots of unity, denoted by $(U_n(ζ))_{n\geq 0}$. In particular, we obtain effective lower bounds for the largest prime ideal divisor and norm of the radical of the principal ideal generated by $U_n(ζ)$. We further derive an effective upper bound for the $S$-part of $U_n(ζ)$, showing that it is strictly smaller than a fixed power of its absolute norm for sufficiently large $n$.