Dynamical Degrees, Arithmetic Degrees, and Canonical Heights: History, Conjectures, and Future Directions

Joseph H. Silverman

2024-08-03

Abstract:In this note we give an overview of various quantities that are used to measure the complexity of an algebraic dynamical system f:X-->X, including the dynamical degree d(f), which gives a coarse measure of the geometric complexity of the iterates of f, the arithmetic degree a(f,P), which gives a coarse measure of the arithmetic complexity of the orbit of a an algebraic point P in X, and various versions of the canonical height h_f(P) that provide more refined measures of arithmetic complexity. Emphasis is placed on open problems and directions for further exploration.

Number Theory,Dynamical Systems

What problem does this paper attempt to address?

The problems that this paper attempts to solve mainly focus on the measurement and understanding of the complexity of algebraic dynamical systems, especially by introducing and studying concepts such as dynamical degree, arithmetic degree, and canonical height. Specifically:

1. **Dynamical Degree**: It is used to roughly measure the geometric complexity of an algebraic dynamical system \( f: X \to X \). It is defined as:
\[
\delta(f) := \lim_{n \to \infty} (\deg(f^n))^{1/n}
\]
where \(\deg(f^n)\) represents the degree after the map \(f\) is iterated \(n\) times.

2. **Arithmetic Degree**: It is used to roughly measure the arithmetic complexity of the orbit of a point \( P \in X(\mathbb{Q}) \) under \( f \). It is defined as:
\[
\alpha(f, P) := \limsup_{n \to \infty} h_X(f^n(P))^{1/n}
\]
where \( h_X \) is the height function with respect to some ample divisor.

3. **Canonical Height**: It provides a more refined measure of arithmetic complexity. For a polarized dynamical system \((X, f, D)\), the canonical height is defined as:
\[
\hat{h}_{f, D}(P) := \lim_{n \to \infty} \frac{1}{\delta^n} h_D(f^n(P))
\]

### Main Problems
The paper explores the following key problems:

- **The Relationship between Dynamical Degree and Arithmetic Degree**: Study the relationship between the dynamical degree and the arithmetic degree, especially when the orbit is dense in the Zariski topology, whether \(\alpha(f, P)=\delta(f)\) is satisfied.

- **Properties of Dynamical Degree**: For example, the Bellon - Viallet conjecture states that for certain types of varieties and maps, the dynamical degree is an integer; but recent research shows that there are cases where the dynamical degree is a transcendental number.

- **Convergence of Arithmetic Degree**: The Kawaguchi - Silverman conjecture proposes that the limit of the arithmetic degree does exist.

- **Properties of Canonical Height**: Including its behavior under different conditions, such as the Dynamical Lehmer conjecture, which assumes that the canonical height has a positive lower bound.

### Future Directions
The paper also proposes many open problems and directions for future research, for example:
- Algebraic integer properties of the dynamical degree.
- Generalizations of higher - order dynamical degrees and arithmetic degrees.
- The relationship between the critical height and the height of the moduli space.

In conclusion, this paper aims to further understand the structure and behavior of algebraic dynamical systems through the study of these complexity measures, and to propose new conjectures and research directions.