On simultaneously preperiodic points for one-parameter families of polynomials in characteristic $p$

Abstract

For a field $L$ of characteristic $p$, a polynomial $f \in \overline{\mathbb{F}}_p[x]$ and $α, β\in L$, let $\mathrm{Prep}(f;α,β)$ be the set of all $λ\in \overline{L}$ such that both $α$ and $β$ are preperiodic under the action of $f_λ(x) := f(x) + λ$. Ghioca and Hsia proved that for certain families of polynomials, this set is infinite if and only if $f(α)=f(β)$ or $α, β\in \overline{\mathbb{F}}_p$. Building on their work, we determine when $\mathrm{Prep}(f;α,β)$ is infinite for most of the remaining binomial cases that were left open. Specifically, let $f(x)=c_1 x^{d_1} + c_2 x^{d_2} \in \overline{\mathbb{F}}_p[x]$, where $c_i \in \overline{\mathbb{F}}_p^*$, $1 \le d_1 < d_2$ and $d_i=p^{\ell_i}s_i$ with $\ell_i \ge 0$ and $p \nmid s_i$. We prove that if $p^{\ell_2}(s_2-1) < p^{\ell_1}(s_1-1)$, then $\mathrm{Prep}(f;α,β)$ is infinite if and only if $f(α)=f(β)$ or $α, β\in \overline{\mathbb{F}}_p$. The key idea of the proof is to use the parameters $λ_{\overlineα} := \overlineα - f(\overlineα)$ associated to suitable elements $\overlineα \in \overline{L}$ satisfying $f(\overlineα)=f(α)$. As an application, we extend the work of Asgarli and Ghioca on the colliding orbits problem to binomials satisfying $s_2>1$ and $p^{\ell_2}(s_2-1) < p^{\ell_1}(s_1-1)$.