Abstract:In [GTZ08, GTZ12], the following result was established: given polynomials $f,g\in\mathbb{C}[x]$ of degrees larger than $1$, if there exist $\alpha,\beta\in\mathbb{C}$ such that their corresponding orbits $\mathcal{O}_f(\alpha)$ and $\mathcal{O}_g(\beta)$ (under the action of $f$, respectively of $g$) intersect in infinitely many points, then $f$ and $g$ must share a common iterate, i.e., $f^m=g^n$ for some $m,n\in\mathbb{N}$. If one replaces $\mathbb{C}$ with a field $K$ of characteristic $p$, then the conclusion fails; we provide numerous examples showing the complexity of the problem over a field of positive characteristic. We advance a modified conjecture regarding polynomials $f$ and $g$ which admit two orbits with infinite intersection over a field of characteristic $p$. Then we present various partial results, along with connections with another deep conjecture in the area, the dynamical Mordell-Lang conjecture.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the orbit intersection problem of polynomials in positive characteristic fields. Specifically, given two polynomials \( f, g\in K[x] \) (where \( K \) is a field of positive characteristic \( p \)), if there exist \( \alpha, \beta\in K \) such that their corresponding orbits \( O_f(\alpha) \) and \( O_g(\beta) \) intersect at infinitely many points, then can it be concluded that \( f \) and \( g \) have a common iterative form \( f^m = g^n \).
### Background and Motivation
In the complex field \( \mathbb{C} \) of characteristic 0, existing results show that: if the orbits \( O_f(\alpha) \) and \( O_g(\beta) \) of two polynomials \( f, g\in \mathbb{C}[x] \) have infinitely many intersection points, then \( f \) and \( g \) must have a common iterative form \( f^m = g^n \) (see [GTZ08, GTZ12]). However, in positive characteristic fields, this conclusion no longer holds, and the paper provides many examples to show the complexity of the problem.
### Main Contributions of the Paper
1. **Proposing a Modified Conjecture**:
- For polynomials \( f \) and \( g \) in positive characteristic fields, if their orbits have infinitely many intersection points, then at least one of the following conditions is satisfied:
1. There exist \( m, n\in \mathbb{N} \) such that \( f^m = g^n \).
2. There exist linear polynomials \( \lambda, \mu\in K[x] \) and additive polynomials \( \tilde{f}, \tilde{g}\in K[x] \) such that \( f=\lambda^{-1}\circ \tilde{f}\circ \lambda \) and \( g = \mu^{-1}\circ \tilde{g}\circ \mu \), and there exists \( m\in \mathbb{N} \) such that \( \tilde{f}^m\circ \tilde{g}^m=\tilde{g}^m\circ \tilde{f}^m \).
2. **Partial Results and Connections**:
- The paper proves that when the degrees of \( f \) and \( g \) are different and do not satisfy \( d^r = e^s \), their orbit intersection must be finite.
- It provides multiple examples to illustrate that in positive characteristic fields, even if \( f \) and \( g \) do not have a common iterative form, their orbits may still have infinitely many intersection points.
- It connects the problem with the dynamical Mordell - Lang conjecture and further explores the problems of dynamical systems in positive characteristic fields.
### Conclusion
By providing counterexamples and partial results, the paper shows the complexity of the polynomial orbit intersection problem in positive characteristic fields and proposes a modified conjecture, aiming to promote in - depth research on this problem.