Abstract:Let F : V --> V be a self-morphism of a quasiprojective variety defined over a number field K and let P be a point in V(K) with infinite orbit under iteration of F. For each prime ideal p of good reduction, let m_p(F,P) be the size of the F-orbit of the reduction of P modulo p. Fix any e > 0. We show that for almost all primes p, in the sense of analytic density, the orbit size m_p(F,P) is larger than (log(N(p)))^(1-e), where N(p) is the norm of the ideal p.

What problem does this paper attempt to address?

The problem that this paper attempts to solve is about the periodic change problem of orbits modulo \(p\) in arithmetic dynamical systems. Specifically, the author studied the reduced orbit length \(m_p(\phi, P)\) of an endomorphism \(\phi: V \to V\) over a finite field, where \(V\) is a quasi - projective variety defined over a number field \(K\), and \(P\in V(K)\) is a point with an infinite forward orbit. ### Main problems 1. **Size estimation of orbits modulo \(p\)**: For almost all prime numbers \(p\), how to estimate the size \(m_p(\phi, P)\) of orbits modulo \(p\)? 2. **Density results**: For a given \(\gamma < 1\), how many prime numbers \(p\) satisfy \(m_p(\phi, P)\geq(\log Np)^{\gamma}\)? Here \(Np\) represents the norm of \(p\). 3. **More refined estimates**: Do there exist a constant \(C\) and an arbitrarily small \(\epsilon> 0\) such that for almost all prime numbers \(p\), the size \(m_p(\phi, P)\) of orbits modulo \(p\) satisfies \(m_p(\phi, P)\geq\epsilon\log Np\)? ### Main contributions of the paper - **Theorem 1**: It is proved that for all \(\gamma < 1\), the log - analytic density of prime numbers \(p\) satisfying \(m_p(\phi, P)\geq(\log Np)^{\gamma}\) is 1. - **Theorem 3**: Generalizes the result of Theorem 1, which is applicable to any quasi - projective variety \(V\) defined over a number field \(K\) and its endomorphism \(\phi\). ### Formula summary - **Lower bound of orbit size**: \[ m_p(\phi, P)\geq C\log\log Np \] where \(C\) is a constant depending on \(K\), \(V\), \(\phi\), \(P\). - **Log - analytic density**: \[ \delta\left\{p\in\text{Spec}(R_K):m_p(\phi, P)\geq(\log Np)^{\gamma}\right\}=1 \] for all \(\gamma < 1\). - **More refined estimates**: \[ \delta\left\{p\in\text{Spec}(R_K):m_p(\phi, P)\geq\epsilon\log Np\right\}\geq1 - C\epsilon \] where \(C\) is a constant depending on \(K\), \(V\), \(\phi\), \(P\). Through these results, the paper provides a profound understanding of the periodic change of orbits modulo \(p\) and lays the foundation for further research.

Variation of Periods Modulo p in Arithmetic Dynamics

On boundedness of periods of self maps of algebraic varieties

On the Structure of Periodic Eigenvalues of the Vectorial $p$-Laplacian

Periods modulo $p$ of integer sequences associated with division polynomials of genus $2$ curves

Square patterns in dynamical orbits

Preperiodic points of polynomial dynamical systems over finite fields

Linear relations of p-adic periods of 1-motives (thesis)

Cyclicity and exponent of elliptic curves modulo $p$ in arithmetic progressions

Nilpotent orbit theorem in $p$-adic Hodge theory

Asymptotic Variation of Elementary Abelian p-Extensions over $P^1$

On the $p$-adic limit of class numbers along a pro-$p$-extension

Dynamics on P1: preperiodic points and pairwise stability

The automorphisms of certain Kummer surfaces act on the points mod $p$ by the alternating group

Dynamics of (Pseudo) Automorphisms of 3-space: Periodicity versus positive entropy

On the Periodicity of Some Farhi Arithmetical Functions

Periods of elliptic surfaces with $p_g=q=1$

On the acyclicity of reductions of elliptic curves modulo primes in arithmetic progressions

On the $\mathbb{Z}_p$-extensions of a totally $p$-adic imaginary quadratic field -- With an appendix by Jean-François Jaulent

P-adic generalizations of hyper-elliptic functions

Arithmetic Restrictions on Geometric Monodromy

The geometry of preperiodic points in families of maps on $\mathbb{P}^N$