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

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Lee, Jungin, Nam, GyeongHyeon
Format: Preprint
Published: 2025
Subjects:
Online Access:
Tags: Add Tag
No Tags, Be the first to tag this record!
_version_ 1866912641983709184
author Lee, Jungin
Nam, GyeongHyeon
author_facet Lee, Jungin
Nam, GyeongHyeon
contents 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)$.
format Preprint
id arxiv_https___arxiv_org_abs_2509_15079
institution arXiv
publishDate 2025
record_format arxiv
spellingShingle On simultaneously preperiodic points for one-parameter families of polynomials in characteristic $p$
Lee, Jungin
Nam, GyeongHyeon
Number Theory
Dynamical Systems
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)$.
title On simultaneously preperiodic points for one-parameter families of polynomials in characteristic $p$
topic Number Theory
Dynamical Systems
url https://arxiv.org/abs/2509.15079