Hector Pasten,Joseph H. Silverman
Abstract:Let $X/K$ be a smooth projective variety defined over a number field, and let $f:X\to{X}$ be a morphism defined over $K$. We formulate a number of statements of varying strengths asserting, roughly, that if there is at least one point $P_0\in{X(K)}$ whose $f$-orbit $\mathcal{O}_f(P_0):=\bigl\{f^n(P):n\in\mathbb{N}\bigr\}$ is Zariski dense, then there are many such points. For example, a weak conclusion would be that $X(K)$ is not the union of finitely many (grand) $f$-orbits, while a strong conclusion would be that any set of representatives for the Zariski dense grand $f$-orbits is Zariski dense. We prove statements of this sort for various classes of varieties and maps, including projective spaces, abelian varieties, and surfaces.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is about the propagation of Zariski - dense orbits. Specifically, the author explores the situation where, given a smooth projective variety \(X/K\) and an endomorphism \(f:X\rightarrow X\) defined on it, if there exists a point \(P_0\in X(K)\) whose \(f\)-orbit \(O_f(P_0)\) is Zariski - dense in \(X\), then after replacing \(K\) with a finite extension, whether \(X(K)\) contains a large number of widely - distributed orbits.
### Specific description of the problem
1. **Background settings**:
- \(K\) is a number field.
- \(X/K\) is a smooth projective variety.
- \(f:X\rightarrow X\) is an endomorphism defined on \(K\).
- The \(f\)-orbit \(O_f(P_0)=\{f^n(P_0):n\in\mathbb{N}\}\) of \(P_0\in X(K)\) is Zariski - dense.
2. **Core problem**:
- If there exists a point \(P_0\in X(K)\) whose \(f\)-orbit \(O_f(P_0)\) is Zariski - dense in \(X\), then after appropriately extending \(K\), does \(X(K)\) contain many different and widely - distributed orbits?
3. **Specific objectives**:
- Prove that under certain classes of varieties and mappings, the above hypothesis can lead to the existence of multiple Zariski - dense orbits.
- Explore the relationships between orbit propagation principles of different strengths, and give specific examples and proofs.
### Main contributions of the paper
- **Weak conclusion**: For example, \(X(K)\) is not the union of a finite number of (large) \(f\)-orbits.
- **Strong conclusion**: Any set representing large \(f\)-orbits that are Zariski - dense is itself Zariski - dense.
### Formulas and symbols
- **Orbit definition**:
\[
O_f(P):=\{f^n(P):n\in\mathbb{N}\}
\]
\[
O_f^{\text{grand}}(P):=\{Q\in X:O_f(P)\cap O_f(Q)\neq\emptyset\}
\]
- **Zariski - dense orbit set**:
\[
X_f^{\text{dense}}:=\{P\in X:O_f(P) = X\}
\]
### Conclusion
By studying different types of varieties (such as projective spaces, K3 surfaces, abelian varieties, etc.) and mappings, the paper proves that under certain conditions, the existence of a single Zariski - dense orbit can lead to many such orbits. This provides a new perspective and tool for understanding the orbit distribution in dynamical systems.
Hope this summary can help you understand the core problem of the paper and its importance. If you have more questions or need further explanations, please feel free to let me know!