Abstract:In this article, we generalize the arithmetic degree and its related theory to dynamical systems defined over an arbitrary field $\mathbf{k}$ of characteristic $0$. We first consider a dynamical system $(X,f)$ over a finitely generated field $K$ over $\mathbb{Q}$, we introduce the arithmetic degrees $\alpha(f,\cdot)$ for $\overline{K}$-points by using Moriwaki heights. We study the arithmetic dynamical degree of $(X,f)$ and establish the relative degree formula. The relative degree formula gives a proof of the fundamental inequality, that is, the upper arithmetic degree $\overline{\alpha}(f,x)$ is less than or equal to the first dynamical degree $\lambda_1(f)$ in this setting. By taking spread-outs, we extend the definition of arithmetic degrees to dynamical systems over the field $\mathbf k$. We demonstrate that our definition is independent of the choice of the spread-out. Moreover, in this setting, we prove certain special cases of the Kawaguchi-Silverman conjecture. A main novelty of this paper is that, we give a characterization of arithmetic degrees of "transcendental points" in the case $\mathbf{k}=\mathbb{C}$, from which we deduce that $\alpha(f,x)=\lambda_1(f)$ for very general $x\in X(\mathbb{C})$ when $f$ is an endomorphism.
What problem does this paper attempt to address?
The main problem that this paper attempts to solve is to generalize the arithmetic degree and its related theories to dynamical systems over arbitrary fields of characteristic zero. Specifically:
1. **Definition and Properties of Arithmetic Degree**:
- The paper first considers the dynamical system \((X, f)\) over a finitely generated field \(K\), where \(K\) is a finitely generated extension of \(\mathbb{Q}\). The author introduces the arithmetic degree \(\alpha(f,\cdot)\) of \(K\)-points, which is defined using the Moriwaki height.
- The arithmetic dynamical degree of the dynamical system is studied, and the relative degree formula is established. The relative degree formula proves the basic inequality, that is, the upper arithmetic degree \(\alpha(f, x)\) is less than or equal to the first dynamical degree \(\lambda_1(f)\).
2. **Extension to Arbitrary Fields of Characteristic Zero**:
- By taking extensions, the author extends the definition of the arithmetic degree to dynamical systems over arbitrary fields \(k\) of characteristic zero. It is proved that this definition is independent of the chosen extension.
- In this setting, the author proves some special cases of the Kawaguchi - Silverman conjecture.
3. **Arithmetic Degree of Transcendental Points**:
- One of the main innovations of the paper is that, in the case of \(k = \mathbb{C}\), a characterization of the arithmetic degree of "transcendental points" is given. From this, the author deduces that for a very general \(x\in X(\mathbb{C})\), when \(f\) is an endomorphism, \(\alpha(f, x)=\lambda_1(f)\).
### Main Contributions
- **Intrinsic Nature of Arithmetic Degree**: It is proved that the arithmetic degree is independent of the choice of the domain of definition and only depends on the dynamical system itself.
- **Proof of the Basic Inequality**: The relative degree formula is established, thereby proving the basic inequality \(\alpha(f, x)\leq\lambda_1(f)\).
- **Study of Transcendental Points**: In the complex field, the arithmetic degree of transcendental points is studied in detail, and the validity of the Kawaguchi - Silverman conjecture in some special cases is proved.
### Conclusion
By introducing the Moriwaki height and the relative degree formula, the paper successfully generalizes the concept of arithmetic degree to dynamical systems over arbitrary fields of characteristic zero, and proves some important results in this new framework, especially regarding the properties of the arithmetic degree of transcendental points. These results provide new tools and perspectives for further research on algebraic dynamical systems.