Prime ideal divisors of parametric recurrence sequences

We prove new arithmetic results for parametric linear recurrence sequences specialized at roots of unity, denoted by $(U_n(\zeta))_{n\geq 0}$. In particular, we obtain exponential lower bounds for the largest prime ideal divisor and norm of the radical of the principal ideal generated by $U_n(\zeta)$. We further derive an effective upper bound for the $S$-part of $U_n(\zeta)$, showing that it is strictly smaller than a fixed power of its absolute norm for sufficiently large $n$. Finally, we establish an effective finiteness result for Diophantine equations of the form $U_n(\zeta)=w_1+\cdots+w_r,$ with $S$-unit variables.