In short, I need to prove whether I have preperiodic orbits or wandering orbits for some dynamical systems.
Not as short: Let $\phi$ be a rational map. Suppose we want to know if 0 is preperiodic under $\phi$. Of course if it were, were could iterate endlessly until finding some $i,j$ with $i\neq j$ and $\phi^i(0) = \phi^j(0)$, however if 0 is not preperiodic, we must find some way to detect this. There are height bounds, but they're very large (and I don't know if anyone's actually computed them yet, beyond just proving their existence..) so it would be nice to avoid that.
One method my supervisor and I have talked about, is reducing modulo some good prime $p$. Specifically, let $p$ be a prime of good reduction for $\phi$, and consider the reduced map $\tilde{\phi}$. If 0 is preperiodic under $\phi$, then it is not hard to see that it must also be preperiodic under $\tilde{\phi}$, so we can determine integers k',n' such that \tilde{\phi}^{k' + n'}(0) = \tilde{\phi}^{k'}(0). Moreover, it can be shown that n' divides the period of 0 under $\phi$, and k' \leq k. My supervisor suggests there is a way that we can use this to show that 0 is either preperiodic or not, under $\phi$, but I don't see this.
My problem is, if 0 is preperiodic under $\phi$, there exists integers $k,n$ such that $\phi^{k+n} = \phi^k$, so summing everything up in this notation, we have
-$\tilde{\phi}^{k+n} = \tilde{\phi}^k$
-$\tilde{\phi}^{k'+n'} = \tilde{\phi}^{k'}$
-$n'|n$
-$k'\leq k$
where n' and k' are easy to compute (I will be dealing with small primes unless a magnificently horrible example arises, but I doubt this..) but I simply do not see any way of getting $k$ from this information. If I were to have a map $\phi$ such that it takes 100 000 iterations of 0 to get to a periodic point, yet the reduced map is periodic right away, the situation seems undetectable.
Any ideas? I feel like I must be missing something simple..
Filling in a few more details, if we have a periodic point $P$, there are results that say the period of $P$ under $\phi$ is a multiple of the period under $\tilde{\phi}$, so if we use a couple well chosen primes for reduction, our list of possible periods for $P$ will be small, and easy to check with a computer. Hence why we are attempting this approach. (Also, this comes from a question in arithmetic dynamics, if anyone feels the need for such a tag to be created.)
Thanks!