Abstract:In this paper, we give an elementary proof on the existence of an effective uniform upper bound on the size of integral periodic orbits of a single endomorphism in an affine space, dependent solely on its dimension. In fact, we derive a formula relating the primitive period to the local primitive period obtained through reduction modulo prime number. In particular, we prove that the size of any integral periodic orbit in the affine plane does not exceed 24.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is whether there exists an effective uniform upper bound for the size of integer periodic orbits in affine spaces that depends only on the dimension of the space. Specifically, the author focuses on dynamical systems of polynomial mappings with integer coefficients and explores whether there is a computable upper limit for the period lengths of periodic points in these systems.
### Specific description of the problem
1. **Background and motivation**:
- The paper studies dynamical systems generated by polynomial mappings with integer coefficients.
- For an endomorphism \( f: \mathbb{A}^N \to \mathbb{A}^N \) on an affine space \( \mathbb{A}^N \), the size of a periodic orbit defined on an integer point \( P \in \mathbb{A}^N(\mathbb{Z}) \) is a finite set \( O_f(P)=\{ f^k(P):k \geq 0\} \), and its primitive period \( n \) is the smallest positive integer \( n \) such that \( f^n(P) = P \).
2. **Core problem**:
- Does there exist an effectively computable constant \( C(N) \) that depends only on \( N \) such that the size of any integer periodic orbit does not exceed \( C(N) \)?
- In particular, for the two - dimensional affine space \( \mathbb{A}^2 \), prove that the size of any integer periodic orbit does not exceed 24.
### Main results
- **Theorem 1.1**: Let \( f: \mathbb{A}^N \to \mathbb{A}^N \) be an endomorphism defined on \( \mathbb{Z} \), \( p \) be a prime number, and \( \tilde{f} \) be the reduction map of \( f \) modulo \( p \). If \( P \in \mathbb{A}^N(\mathbb{Z}) \) is a periodic point of \( f \) with primitive period \( n \), then \( n \) can be expressed as:
\[
n = mdp^e
\]
where \( m \) is the primitive period of \( \tilde{P} \) in \( \mathbb{A}^N(\mathbb{F}_p) \), \( d \) is a positive integer less than or equal to \( p^{N - 1} \), and \( e \) is a non - negative integer.
- **Theorem 1.2**: The size of any integer periodic orbit on the two - dimensional affine space \( \mathbb{A}^2 \) does not exceed 24.
### Methods and techniques
- **Local period analysis**: By studying the reduction map \( \tilde{f} \) modulo a prime number \( p \), the relationship between the local period \( m \) and the global period \( n \) is studied.
- **Matrix theory and eigenvalue analysis**: The powers of matrices and eigenvalues are used to derive the upper bound of the period.
- **Cayley - Hamilton theorem**: It is used to simplify the calculation of matrix powers.
### Conclusion
The paper proves, through the above methods, that for an affine space of any dimension \( N \), there exists an effective upper bound \( C(N) \) that depends only on \( N \) such that the size of any integer periodic orbit does not exceed \( C(N) \). In particular, for the two - dimensional affine space \( \mathbb{A}^2 \), this upper bound is determined to be 24. This result provides an important theoretical basis for understanding dynamical systems in high - dimensional affine spaces.