Arithmetic dynamics
Arithmetic dynamics
Main page
A

Arithmetic dynamics

logo
Community Hub0 subscribers
Read side by side
Arithmetic dynamics
View on Wikipedia
from Wikipedia

Arithmetic dynamics[1] is a field that amalgamates two areas of mathematics, dynamical systems and number theory. Part of the inspiration comes from complex dynamics, the study of the iteration of self-maps of the complex plane or other complex algebraic varieties. Arithmetic dynamics is the study of the number-theoretic properties of integer, rational, p-adic, or algebraic points under repeated application of a polynomial or rational function. A fundamental goal is to describe arithmetic properties in terms of underlying geometric structures.

Global arithmetic dynamics is the study of analogues of classical diophantine geometry in the setting of discrete dynamical systems, while local arithmetic dynamics, also called p-adic or nonarchimedean dynamics, is an analogue of complex dynamics in which one replaces the complex numbers C by a p-adic field such as Qp or Cp and studies chaotic behavior and the Fatou and Julia sets.

The following table describes a rough correspondence between Diophantine equations, especially abelian varieties, and dynamical systems:

Diophantine equations Dynamical systems
Rational and integer points on a variety Rational and integer points in an orbit
Points of finite order on an abelian variety Preperiodic points of a rational function

Definitions and notation from discrete dynamics

[edit]

Let S be a set and let F : S → S be a map from S to itself. The iterate of F with itself n times is denoted

A point P ∈ S is periodic if F(n)(P) = P for some n ≥ 1.

The point is preperiodic if F(k)(P) is periodic for some k ≥ 1.

The (forward) orbit of P is the set

Thus P is preperiodic if and only if its orbit OF(P) is finite.

Number theoretic properties of preperiodic points

[edit]
See also: Uniform boundedness conjecture for torsion points and Uniform boundedness conjecture for rational points

Let F(x) be a rational function of degree at least two with coefficients in Q. A theorem of Douglas Northcott[2] says that F has only finitely many Q-rational preperiodic points, i.e., F has only finitely many preperiodic points in P1(Q). The uniform boundedness conjecture for preperiodic points[3] of Patrick Morton and Joseph Silverman says that the number of preperiodic points of F in P1(Q) is bounded by a constant that depends only on the degree of F.

More generally, let F : PN → PN be a morphism of degree at least two defined over a number field K. Northcott's theorem says that F has only finitely many preperiodic points in PN(K), and the general Uniform Boundedness Conjecture says that the number of preperiodic points in PN(K) may be bounded solely in terms of N, the degree of F, and the degree of K over Q.

The Uniform Boundedness Conjecture is not known even for quadratic polynomials Fc(x) = x2 + c over the rational numbers Q. It is known in this case that Fc(x) cannot have periodic points of period four,[4] five,[5] or six,[6] although the result for period six is contingent on the validity of the conjecture of Birch and Swinnerton-Dyer. Bjorn Poonen has conjectured that Fc(x) cannot have rational periodic points of any period strictly larger than three.[7]

Integer points in orbits

[edit]

The orbit of a rational map may contain infinitely many integers. For example, if F(x) is a polynomial with integer coefficients and if a is an integer, then it is clear that the entire orbit OF(a) consists of integers. Similarly, if F(x) is a rational map and some iterate F(n)(x) is a polynomial with integer coefficients, then every n-th entry in the orbit is an integer. An example of this phenomenon is the map F(x) = x−d, whose second iterate is a polynomial. It turns out that this is the only way that an orbit can contain infinitely many integers.

Theorem.[8] Let F(x) ∈ Q(x) be a rational function of degree at least two, and assume that no iterate[9] of F is a polynomial. Let a ∈ Q. Then the orbit OF(a) contains only finitely many integers.

Dynamically defined points lying on subvarieties

[edit]

There are general conjectures due to Shouwu Zhang[10] and others concerning subvarieties that contain infinitely many periodic points or that intersect an orbit in infinitely many points. These are dynamical analogues of, respectively, the Manin–Mumford conjecture, proven by Michel Raynaud, and the Mordell–Lang conjecture, proven by Gerd Faltings. The following conjectures illustrate the general theory in the case that the subvariety is a curve.

Conjecture. Let F : PN → PN be a morphism and let C ⊂ PN be an irreducible algebraic curve. Suppose that there is a point P ∈ PN such that C contains infinitely many points in the orbit OF(P). Then C is periodic for F in the sense that there is some iterate F(k) of F that maps C to itself.

p-adic dynamics

[edit]

The field of p-adic (or nonarchimedean) dynamics is the study of classical dynamical questions over a field K that is complete with respect to a nonarchimedean absolute value. Examples of such fields are the field of p-adic rationals Qp and the completion of its algebraic closure Cp. The metric on K and the standard definition of equicontinuity leads to the usual definition of the Fatou and Julia sets of a rational map F(x) ∈ K(x). There are many similarities between the complex and the nonarchimedean theories, but also many differences. A striking difference is that in the nonarchimedean setting, the Fatou set is always nonempty, but the Julia set may be empty. This is the reverse of what is true over the complex numbers. Nonarchimedean dynamics has been extended to Berkovich space,[11] which is a compact connected space that contains the totally disconnected non-locally compact field Cp.

Generalizations

[edit]

There are natural generalizations of arithmetic dynamics in which Q and Qp are replaced by number fields and their p-adic completions. Another natural generalization is to replace self-maps of P1 or PN with self-maps (morphisms) V → V of other affine or projective varieties.

Other areas in which number theory and dynamics interact

[edit]

There are many other problems of a number theoretic nature that appear in the setting of dynamical systems, including:

The Arithmetic Dynamics Reference List gives an extensive list of articles and books covering a wide range of arithmetical dynamical topics.

See also

[edit]

Notes and references

[edit]

Further reading

[edit]
[edit]
Revisions and contributorsEdit on WikipediaRead on Wikipedia

Arithmetic dynamics

View on Grokipedia
from Grokipedia
Arithmetic dynamics is a branch of mathematics that studies the number-theoretic properties of dynamical systems, particularly the behavior of orbits under iterations of rational maps defined over number fields, finite fields, or p-adic fields.[1] It focuses on key objects such as periodic points—points where the orbit eventually cycles—and preperiodic points, which map to periodic points after finitely many iterations—drawing analogies to torsion and rational points in arithmetic geometry.[2] The field emerged in the mid-1980s with work by R.W.K. Odoni on Galois groups of iterated polynomials over the rationals, and was further developed by Joseph H. Silverman in the 1990s through dynamical analogues of classical Diophantine problems.[1][3] Central to arithmetic dynamics is the use of canonical heights, which measure the arithmetic complexity of points in orbits, analogous to the Weil height in Diophantine geometry; for a rational map ff of degree d≥2d \geq 2, the canonical height h^f(P)\hat{h}_f(P) satisfies h^f(f(P))=d⋅h^f(P)\hat{h}_f(f(P)) = d \cdot \hat{h}_f(P) and vanishes precisely on preperiodic points.[2] Over the projective line P1\mathbb{P}^1, for a number field KK, Northcott's theorem (1950) implies that there are only finitely many preperiodic points in P1(K)\mathbb{P}^1(K) for any such map, mirroring finiteness results for points of bounded height in arithmetic geometry.[2] The field also examines reduction properties modulo primes, including good reduction where the map behaves like a morphism over finite fields, and p-adic dynamics, which leverages the ultrametric topology to study local behavior.[1][4] Notable conjectures include the uniform boundedness conjecture of Morton and Silverman (1994), which posits that for maps of degree d≥2d \geq 2 over Q\mathbb{Q}, the number of rational preperiodic points is bounded by a constant depending only on dd, independent of the specific map.[2] Arithmetic dynamics connects deeply to other areas, such as the dynamical Mordell-Lang conjecture, which generalizes the classical Mordell-Lang theorem to orbits intersecting subvarieties, and applications to cryptography via finite field dynamics, where polynomial iterations over Fpn\mathbb{F}_{p^n} relate to pseudorandom number generation.[1] Over finite fields, the structure of orbits can be visualized as directed graphs, highlighting periodic cycles and trees of preperiodic points, with implications for zeta functions and the Weil conjectures. These interconnections underscore arithmetic dynamics' role in bridging complex dynamics, algebraic geometry, and number theory.[3]

Fundamentals

Definitions and Notation from Discrete Dynamics

Arithmetic dynamics studies the iteration of rational maps defined over number fields, building on concepts from discrete dynamical systems. A dynamical system in this context consists of a rational map $ f: \mathbb{P}^1 \to \mathbb{P}^1 $ over a field $ K $, where $ \mathbb{P}^1 $ denotes the projective line, and the dynamics arise from iterating $ f $. The forward orbit of a point $ P \in \mathbb{P}^1(K) $ under $ f $ is the sequence $ O_f(P) = { P, f(P), f^2(P), \dots } $, where $ f^n $ denotes the $ n $-th iterate of $ f $. Points in the orbit are classified based on their behavior: a point $ P $ is periodic if $ f^n(P) = P $ for some positive integer $ n $, the smallest such $ n $ being the period; it is preperiodic if some iterate $ f^k(P) $ is periodic for $ k \geq 1 $; otherwise, it is wandering, meaning the orbit is infinite and contains no periodic points.[2] The degree $ d = \deg f $ of the rational map $ f $ is the maximum of the degrees of its numerator and denominator polynomials when expressed in homogeneous coordinates, assuming $ f $ is in lowest terms. Critical points of $ f $ are the points $ c $ where the derivative $ f'(c) = 0 $ in affine coordinates, or more generally, points where the local mapping degree exceeds 1 in the projective sense, and the post-critical set is the forward orbit of the critical values $ f(c) $. In the arithmetic setting, $ K $ is a number field, with $ \mathcal{O}_K $ its ring of integers, the integral closure of $ \mathbb{Z} $ in $ K $. Points in $ \mathbb{P}^1(K) $ are equipped with the absolute logarithmic Weil height $ h $, defined for $ P = [x:y] \in \mathbb{P}^1(K) $ (with $ x, y \in K $, not both zero) as
h(P)=1[K:Q]∑v∈MKlog⁡max⁡{∣x∣v,∣y∣v}, h(P) = \frac{1}{[K:\mathbb{Q}]} \sum_{v \in M_K} \log \max \{ |x|_v, |y|_v \},
where $ M_K $ is the set of places of $ K $, $ |\cdot|_v $ are the normalized absolute values, and the sum is over all archimedean and non-archimedean places. This height measures the arithmetic complexity of points and is invariant under Galois action.[3][5] A canonical example is the family of quadratic maps $ f(z) = z^2 + c $ with $ c \in \mathbb{Q} $, studied over $ K = \mathbb{Q} $ or extensions. In the complex dynamics analog over $ \mathbb{C} $, the Julia set $ J(f) $ consists of points with chaotic orbits, while the Fatou set $ F(f) $ contains points with more regular behavior, such as basins of attraction; arithmetic dynamics explores analogous notions through height growth and integrality conditions on orbits rather than topological properties.[2][3]

Canonical Heights and Dynamical Heights

In arithmetic dynamics, the canonical height associated to a rational map f:PN⇢PNf: \mathbb{P}^N \dashrightarrow \mathbb{P}^N of degree d≥2d \geq 2 defined over a number field KK provides a measure of the arithmetic complexity of points under iteration of ff. For a point P∈PN(K‾)P \in \mathbb{P}^N(\overline{K}), the canonical height is defined as
h^f(P)=lim⁡n→∞d−nh(fn(P)), \hat{h}_f(P) = \lim_{n \to \infty} d^{-n} h(f^n(P)),
where hh denotes the absolute logarithmic Weil height on PN(K‾)\mathbb{P}^N(\overline{K}).[2][6] This limit exists and is finite due to the fundamental property that h(f(Q))=d⋅h(Q)+O(1)h(f(Q)) = d \cdot h(Q) + O(1) for all Q∈PN(K‾)Q \in \mathbb{P}^N(\overline{K}), which follows from the homogeneity of the height function under projective transformations.[2] The existence of h^f\hat{h}_f can be established by showing that the sequence d−nh(fn(P))d^{-n} h(f^n(P)) is Cauchy: for m>nm > n, the difference ∣d−mh(fm(P))−d−nh(fn(P))∣|d^{-m} h(f^m(P)) - d^{-n} h(f^n(P))| is bounded by a constant independent of nn and mm, using the O(1)O(1) error term iteratively.[2] The canonical height satisfies key properties that make it indispensable for studying orbit growth: h^f(f(P))=d⋅h^f(P)\hat{h}_f(f(P)) = d \cdot \hat{h}_f(P), h^f(P)≥0\hat{h}_f(P) \geq 0, and h^f(P)=0\hat{h}_f(P) = 0 if and only if PP is preperiodic for ff.[6] Moreover, h^f(P)=h(P)+O(1)\hat{h}_f(P) = h(P) + O(1), ensuring it approximates the classical Weil height while correcting for dynamical expansion.[2] In the complex (archimedean) setting, the canonical height relates to dynamical Green's functions, which measure the escape rate from the filled Julia set Kf={z∈C:sup⁡n∣fn(z)∣<∞}K_f = \{ z \in \mathbb{C} : \sup_n |f^n(z)| < \infty \}. The local canonical height at the infinite place is given by λ^f,∞(z)=lim⁡n→∞d−nlog⁡+∣fn(z)∣\hat{\lambda}_{f,\infty}(z) = \lim_{n \to \infty} d^{-n} \log^+ |f^n(z)|, where log⁡+t=max⁡(log⁡t,0)\log^+ t = \max(\log t, 0), and this coincides with the Green's function Gf(z)=lim⁡n→∞d−nlog⁡+∣fn(z)∣G_f(z) = \lim_{n \to \infty} d^{-n} \log^+ |f^n(z)| associated to KfK_f.[2] Arithmetically, the full canonical height decomposes as a sum h^f(P)=∑vλ^f,v(P)\hat{h}_f(P) = \sum_v \hat{\lambda}_{f,v}(P), where the non-archimedean local heights λ^f,v\hat{\lambda}_{f,v} are defined analogously using completions at finite places vv, extending the complex analogy to a global arithmetic framework.[6] The Call-Silverman specialization theorem addresses how canonical heights behave in families of dynamical systems. Consider a morphism Φ:V→V×S\Phi: V \to V \times S over a base SS, such as a smooth projective curve (e.g., S=PK1S = \mathbb{P}^1_K), where VV is a variety over KK and fibers VsV_s carry morphisms ϕs\phi_s. For a section σ:S→V\sigma: S \to V defined over KK, the theorem asserts that the canonical height h^ϕs(σ(s))\hat{h}_{\phi_s}(\sigma(s)) on the generic fiber specializes to a Weil height function on S(K‾)S(\overline{K}), continuous in the sense that h^ϕs(σ(s))=hS(σ(s))+O(1)\hat{h}_{\phi_s}(\sigma(s)) = h_S(\sigma(s)) + O(1) for specializations s∈S(K‾)s \in S(\overline{K}), with the error bounded independently of ss outside a thin set.[6] This allows lifting arithmetic properties from special fibers to the generic one, facilitating uniform bounds in parameter spaces.[2] A concrete example illustrates these concepts for the map f(z)=z2f(z) = z^2 on P1\mathbb{P}^1 over Q\mathbb{Q}. Here, d=2d=2, and the canonical height is exactly h^f(z)=h(z)\hat{h}_f(z) = h(z), the absolute logarithmic Weil height. Preperiodic points like z=−1,0,1z = -1, 0, 1 have h^f(z)=0\hat{h}_f(z) = 0, while for z=2z = 2, h^f(2)=log⁡2>0\hat{h}_f(2) = \log 2 > 0, and the orbit {2,4,16,… }\{2, 4, 16, \dots\} has heights growing as 2nlog⁡22^n \log 2, consistent with the functional equation h^f(f(z))=2h^f(z)\hat{h}_f(f(z)) = 2 \hat{h}_f(z).[2] Canonical heights also underpin the dynamical analogue of Northcott's theorem: for a map ff of degree d≥2d \geq 2 over Q\mathbb{Q}, there are only finitely many preperiodic points in PN(Q‾)\mathbb{P}^N(\overline{\mathbb{Q}}), since h^f(P)=0\hat{h}_f(P) = 0 if and only if PP is preperiodic. Over a fixed number field [K](/page/K)[K](/page/K), the set {P∈PN([K](/page/K)):h^f(P)≤B}\{P \in \mathbb{P}^N([K](/page/K)) : \hat{h}_f(P) \leq B\} is finite for any B≥0B \geq 0, inheriting finiteness from the classical Northcott theorem via the approximation h^f(P)=h(P)+O(1)\hat{h}_f(P) = h(P) + O(1).[2][6]

Preperiodic Points

Number Theoretic Properties

In arithmetic dynamics, preperiodic points for a monic polynomial map f∈Z[z]f \in \mathbb{Z}[z] of degree at least 2 are algebraic integers. This follows from the fact that such points satisfy the dynatomic polynomials Φf,m,n(z)\Phi_{f,m,n}(z), which are monic with coefficients in Z\mathbb{Z} for m≥0m \geq 0 and n>0n > 0, defining points with preperiod mm and period nn.[2] The set of preperiodic points over Q‾\overline{\mathbb{Q}} is invariant under the action of the absolute Galois group Gal(Q‾/Q)\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}). If PP is preperiodic for ff, then for any σ∈Gal(Q‾/Q)\sigma \in \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}), the conjugate σ(P)\sigma(P) is also preperiodic, as the dynamical relations fk(P)=fl(P)f^k(P) = f^l(P) for some k>l≥0k > l \geq 0 are preserved under Galois action. This induces a Galois representation on the preperiodic set, with the decomposition group at a prime acting on orbits and potentially causing ramification in the fixed fields of periodic cycles.[7][8] For the quadratic map f(z)=z2−1f(z) = z^2 - 1 over Q\mathbb{Q}, the rational preperiodic points are −1-1, 00, and 11, each forming a trivial Galois orbit since they lie in Q\mathbb{Q}. Here, 11 maps to 00, and {0,−1}\{0, -1\} forms a period-2 cycle, illustrating how Galois orbits can be singletons for rational points while larger orbits arise for irrational preperiodics like ±2\pm \sqrt{2}.[2] Torsion preperiodic points arise prominently in maps uniformized by elliptic curves, such as Lattès maps constructed from endomorphisms of an elliptic curve EE. Under the quotient map from EE to P1\mathbb{P}^1, torsion points on EE map to preperiodic points on P1\mathbb{P}^1, establishing a direct correspondence between elliptic curve torsion subgroups and dynamical preperiodics. This uniformization links the bounded torsion on elliptic curves over number fields to constraints on preperiodic structures in the induced dynamics.[9] Primitive preperiodic points—those with minimal preperiod m≥1m \geq 1 and primitive period nn (the smallest positive integer such that fn(Q)=Qf^n(Q) = Q, where Q=fm(P)Q = f^m(P))—exhibit scarcity in number fields of bounded degree. Over Q\mathbb{Q}, such points for quadratic maps are limited, with their occurrence tied to specific field extensions, reflecting the rarity of primitive cycles in rational dynamics. In higher-degree number fields, the density of fields admitting primitive preperiodics decreases, often requiring extensions of degree proportional to the dynamical parameters.[10][11] Bilinear forms on preperiodic points can be induced by canonical heights in settings where preperiodics generate a module, such as under Lattès uniformization from abelian varieties. The dynamical canonical height h^f\hat{h}_f, which vanishes on preperiodics, extends to a Néron-Tate-style pairing ⟨P,Q⟩f=h^f(P+Q)−h^f(P)−h^f(Q)\langle P, Q \rangle_f = \hat{h}_f(P + Q) - \hat{h}_f(P) - \hat{h}_f(Q) on the rational points, degenerating to zero on preperiodic pairs and measuring their algebraic relations.[12]

Finiteness and Northcott Theorems

In arithmetic dynamics, a key finiteness result analogous to Northcott's theorem on points of bounded height states that for a morphism f:PQ‾N→PQ‾Nf: \mathbb{P}^N_{\overline{\mathbb{Q}}} \to \mathbb{P}^N_{\overline{\mathbb{Q}}} of degree d≥2d \geq 2, the set of preperiodic points defined over a fixed number field KK is finite.[2] This holds because all preperiodic points PP satisfy h^f(P)=0\hat{h}_f(P) = 0, where h^f\hat{h}_f is the canonical height associated to ff, and the canonical height inherits the Northcott finiteness property from the standard Weil height: there are only finitely many points in PN(K)\mathbb{P}^N(K) with h^f(P)≤B\hat{h}_f(P) \leq B for any fixed B≥0B \geq 0.[6] The canonical height h^f\hat{h}_f is defined by
h^f(P)=lim⁡n→∞1dnh(fn(P)), \hat{h}_f(P) = \lim_{n \to \infty} \frac{1}{d^n} h(f^n(P)),
where hh denotes the absolute logarithmic Weil height on PN\mathbb{P}^N. This limit exists and satisfies h^f(f(P))=d⋅h^f(P)\hat{h}_f(f(P)) = d \cdot \hat{h}_f(P), h^f(P)=h(P)+O(1)\hat{h}_f(P) = h(P) + O(1), and h^f(P)≥0\hat{h}_f(P) \geq 0, with equality to zero if and only if PP is preperiodic.[2] For preperiodic PP, the forward orbit {fn(P)∣n≥0}\{f^n(P) \mid n \geq 0\} is finite, so the heights h(fn(P))h(f^n(P)) are bounded, implying h^f(P)=0\hat{h}_f(P) = 0. Conversely, if h^f(P)=0\hat{h}_f(P) = 0, the orbit heights grow slower than the expected exponential rate dnd^n, forcing the orbit to be finite by properties of the Weil height. Over Q‾\overline{\mathbb{Q}}, preperiodic points have bounded Weil height h(P)≤Cfh(P) \leq C_f for a constant CfC_f depending only on ff, but their degrees [K(P):K][K(P):K] tend to infinity, yielding infinitely many such points overall.[2] This result generalizes to morphisms ϕ:V→V\phi: V \to V on a projective variety VV over KK, assuming VV is absolutely irreducible and ϕ\phi amplifies an ample divisor class η\eta via ϕ∗η=aη\phi^*\eta = a\eta with integer a>1a > 1; then V(K)V(K) has finitely many preperiodic points for ϕ\phi, again characterized by vanishing of the canonical height h^V,η,ϕ=0\hat{h}_{V,\eta,\phi} = 0.[6] The proof relies on the canonical height approximating the Weil height relative to η\eta and satisfying the algebraic stability condition for amplification, ensuring bounded heights for preperiodics translate to finiteness via the standard Northcott theorem on V(K)V(K). Exceptions occur for morphisms of degree 1, which are isomorphisms and do not amplify ample classes sufficiently to bound heights; in such cases, infinite preperiodic points can arise, as seen for translations on elliptic curves.[2] Quantitative versions provide effective bounds on the number of preperiodic points over KK, derived from explicit estimates on the constant CfC_f and quantitative Northcott theorems; for example, on PQ1\mathbb{P}^1_{\mathbb{Q}}, the number of rational points of height at most BB (bounding the preperiodics) is O(B2+ϵ)O(B^{2 + \epsilon}) for any ϵ>0\epsilon > 0.[2] A notable example arises with Lattès maps, rational self-maps of P1\mathbb{P}^1 constructed from endomorphisms of elliptic curves via quotient by the group law. For a Lattès map ff associated to an elliptic curve EE and isogeny ψ:E→E\psi: E \to E, the preperiodic points of ff are in bijection with the torsion points of EE, which form a finite set by the finiteness of the torsion subgroup of E(K)E(K).[9] This illustrates how dynamical finiteness intertwines with arithmetic finiteness on abelian varieties.

Orbits and Integer Points

Integer Points in Orbits

In arithmetic dynamics over a number field KK, integer points in orbits refer to elements of the forward orbit Of(P)={fn(P):n≥0}O_f(P) = \{f^n(P) : n \geq 0\} that lie in the ring of integers OK\mathcal{O}_K, where f:PK1→PK1f: \mathbb{P}^1_K \to \mathbb{P}^1_K is a rational map defined over KK and P∈KP \in K. A key focus is the existence and characterization of starting points P∈OKP \in \mathcal{O}_K such that the entire orbit remains in OK\mathcal{O}_K, known as integral orbits. For polynomials ff with coefficients in OK\mathcal{O}_K, every P∈OKP \in \mathcal{O}_K generates an integral orbit, yielding infinitely many such points. However, for general rational maps, integral orbits are exceptional and often finite in number under suitable conditions.[2] For quadratic rational maps f(z)=(az2+bz+c)/(dz2+ez+f)f(z) = (az^2 + bz + c)/(dz^2 + ez + f) over Q\mathbb{Q}, the existence of infinite integral orbits requires specific structural properties, such as the second iterate f2f^2 being a polynomial. This occurs if the pole of ff maps to infinity under ff, which can be characterized using the resultant of the numerator and denominator polynomials or the discriminant of the associated quadratic form; vanishing of these quantities indicates pole cancellation in the iterate, allowing affine behavior akin to polynomials. If f2f^2 is not a polynomial, no infinite integral orbits exist, as denominators grow unboundedly.[2][13] A dynamical analog of Siegel's theorem establishes finiteness of integer points on orbits under irreducibility-like conditions. Specifically, for a rational map f∈Q(z)f \in \mathbb{Q}(z) where neither ff nor f2f^2 is a polynomial, any forward orbit Of(α)O_f(\alpha) for α∈Q\alpha \in \mathbb{Q} contains only finitely many integers; this follows from Diophantine approximation properties ensuring denominator growth. Over general number fields KK, similar finiteness holds for SS-integral points (with SS a finite set of places) when ff has good reduction outside SS and is not a polynomial. Preperiodic points form a subset of such integral orbits, as their orbits are finite by definition.[2][14] For power maps f(z)=zdf(z) = z^d with d≥2d \geq 2, which are monic polynomials, all starting points P∈OKP \in \mathcal{O}_K yield integral orbits $P, P^d, P^{d^2}, \dots $, which are infinite unless PP is a root of unity. However, the only bounded integral orbits consist of units in OK×\mathcal{O}_K^\times, such as ±1\pm 1 over Q\mathbb{Q}, where the orbit is periodic and remains within the unit group; non-unit integers produce unbounded growth in absolute value. Over quadratic fields, similar restrictions apply, with integral orbits of non-units diverging rapidly.[15][2] The analysis of SS-integral points in orbits connects to SS-unit equations via the denominators of orbit points, which are SS-units for maps with integral coefficients outside SS. In dynamical settings, equations like u+v=1u + v = 1 with u,v∈OK,S×u, v \in \mathcal{O}_{K,S}^\times (the SS-unit group) arise when resolving preperiodic relations, and finiteness of solutions implies bounded SS-integral points in orbits. For quadratic maps, dynamical units—units generated by periodic points—provide explicit SS-unit solutions, but non-polynomial cases limit such structures.[14][10] Computational methods for low-degree maps over Q\mathbb{Q} enable enumeration of all integral preperiodic points, which are finite integral orbits terminating in cycles. Algorithms typically compute dynatomic curves (moduli spaces of periodic points) via resultant ideals to solve fn(P)=Qf^n(P) = Q for small nn, then check integrality; for quadratic maps like fc(z)=z2+cf_c(z) = z^2 + c with c∈Qc \in \mathbb{Q}, explicit searches up to height bounds classify all such points for periods up to 6, yielding finitely many examples like c=−2c = -2 with preperiodic orbit {0,−2,2}\{0, -2, 2\}. These approaches rely on effective Northcott-type theorems to bound search spaces.[13][2]

Effective Bounds and Diophantine Approximation

In arithmetic dynamics, effective bounds on the heights of points in orbits under rational maps provide quantitative control over the arithmetic complexity of iterates. For a dominant rational map $ f: \mathbb{P}^N \dashrightarrow \mathbb{P}^N $ of degree $ d \geq 2 $ defined over a number field $ K $, the naive height $ h(f(P)) $ satisfies $ h(f(P)) \leq d \cdot h(P) + C $, where $ C $ is an effectively computable constant depending only on $ f $ and the choice of height function on $ \mathbb{P}^N $. Iterating this inequality yields a growth estimate for the orbit: $ h(f^n(P)) \leq C d^n h(P) + O\left( \frac{d^n - 1}{d-1} \right) $, with the implied constant effective in terms of $ f $ and $ K $. This upper bound captures the exponential growth in height along generic orbits and aligns asymptotically with the canonical height $ \hat{h}f(P) = \lim{n \to \infty} d^{-n} h(f^n(P)) $, which measures the leading term of this expansion. For orbits containing integer points, these height bounds enable effective finiteness results via Diophantine approximation. An effective version of the Northcott theorem for integral orbits asserts that, for a fixed map $ f $ over $ \mathbb{Q} $ and a starting point $ P \in \mathbb{Z} $, there are only finitely many $ n $ such that $ f^n(P) $ is integral, with an explicit height threshold bounding the size of such points. Specifically, for unicritical polynomials $ f_c(z) = z^d + c $ with $ c \in \mathbb{Z} $ and $ d \geq 2 $, where the critical orbit starting at 0 is not preperiodic, the number of $ S $-integral points in the forward orbit of 0 is at most $ C_3 $, where $ C_3 $ depends effectively on $ d $ and the finite set $ S $ of places. This bound follows from height comparisons and equidistribution arguments, ensuring that heights grow sufficiently fast to escape integrality after a controlled number of steps. Baker-type bounds play a crucial role in refining these estimates for orbits governed by linear recurrences, such as those arising from monomial maps or linear dynamical systems. For a semigroup $ G = \langle f_1, \dots, f_s \rangle $ generated by monomials $ f_i(z) = a_i z^{d_i} $ with $ |d_i| \geq 2 $ and $ a_i \in \overline{\mathbb{Q}}^\times $, the orbit points satisfy a linear recurrence in their logarithmic heights. Applying lower bounds on linear forms in logarithms from Baker's theory yields an effective constant $ C_4 > 0 $, depending on $ G $, $ S $, and a degree bound $ D $ on field extensions, such that the number of $ S $-integral preperiodic points relative to a non-preperiodic starting point $ \beta $ with $ [\mathbb{Q}(\beta):\mathbb{Q}] \leq D $ is at most $ C_4 $. These bounds quantify how rapidly the orbit deviates from integrality, using explicit estimates like $ \log |\Lambda|_v > -c_1(n, [K:\mathbb{Q}]) N(v) \log N(v) \Theta \log B $ for linear forms $ \Lambda $ in logarithms. The subspace theorem further applies to limit points of orbits, providing Diophantine control over how closely orbit points can approximate algebraic subspaces. For orbits under a rational map $ f: \mathbb{P}^N \dashrightarrow \mathbb{P}^N $, Schmidt's subspace theorem implies bounds on the relative sizes of coordinates of points in the orbit, ensuring that integral points cannot accumulate near hyperplanes without violating approximation exponents. In particular, for a wandering point $ P $, the theorem yields an effective constant such that if $ Q = f^n(P) $ is quasi-integral (with coordinates differing by $ S $-units), then $ \min_\sigma \log |\sigma(Q_0) - Q_i|_v > -C (h(Q) + 1) \log [K(Q):K] $ for coordinates $ Q = [Q_0 : \dots : Q_N] $, where $ C $ depends on $ f $ and $ v $. This restricts the density of integral points in the orbit and applies to limit sets by controlling approximations to algebraic points. A concrete example illustrates these techniques for the Chebyshev polynomial $ f(z) = 2z^2 - 1 $, which models the double-angle formula for cosine and generates orbits related to multiple-angle values. Integral points in the orbit of an algebraic starting point $ \beta $ correspond to cases where $ \cos(2^n \theta) $ is integral for $ \theta = \arccos(\beta) $, and bounds on orbit sizes derive from lower estimates on logarithmic forms. Specifically, for a semigroup generated by Chebyshev polynomials $ T_i $, the number of $ S $-integral preperiodic points relative to a non-preperiodic $ \beta $ is finite and effectively bounded, with preperiodic points explicitly of the form $ \zeta + \zeta^{-1} $ for roots of unity $ \zeta $. This finiteness relies on Baker-type inequalities to bound deviations from these forms, limiting the length of integral segments in the orbit. Connections to Roth's theorem enhance these bounds by controlling approximations of algebraic numbers by orbit points. Roth's theorem implies that algebraic irrationals cannot be approximated too well by rationals from the orbit, providing a lower bound on $ |f^n(P) - \alpha| $ for algebraic $ \alpha $ outside the orbit. For instance, in wandering orbits over $ \mathbb{Q} $, this yields $ |f^n(a) - \alpha| \gg H(f^n(a))^{-2+\epsilon} $ for integer $ a $ and algebraic $ \alpha $, ensuring that integral approximations cease after heights exceed an effective threshold depending on $ \epsilon $ and the degree of $ \alpha $. This Diophantine rigidity prevents infinite integral suborbits and complements height growth estimates in proving effective integrality.

Geometric and Varietal Aspects

Dynamically Defined Points on Subvarieties

In arithmetic dynamics, dynamically defined points on subvarieties refer to points in the forward orbit or preperiodic set of a rational map f:PN→PNf: \mathbb{P}^N \to \mathbb{P}^N defined over a number field KK that lie on a fixed algebraic subvariety V⊂PNV \subset \mathbb{P}^N. These points arise from the intersection of dynamical orbits with VV, and their study involves analyzing how the dynamics restricts to VV or induces special behavior at these intersections. The distribution of such points is governed by height functions and intersection theory, providing insights into the arithmetic geometry of the system.[16] A key aspect is the dynamical analogue of the Manin-Mumford conjecture, which posits that the set of preperiodic points lying on VV is finite unless VV itself is preperiodic, meaning the orbit of VV under ff is finite. This conjecture, first formulated by Zhang, predicts that non-preperiodic subvarieties intersect the preperiodic set in only finitely many points, mirroring the finiteness of torsion points on subvarieties of abelian varieties. Counterexamples to the original statement have been identified for certain polarized endomorphisms, leading to reformulations that incorporate conditions on the dynamical degree or the structure of VV. For instance, in the case of endomorphisms of P1×P1\mathbb{P}^1 \times \mathbb{P}^1, the conjecture holds under specialization arguments when the component maps share common periodic points. These analogs highlight the role of unlikely intersections in controlling the accumulation of dynamically special points on VV.[16][17] Height bounds for these intersection points are derived using arithmetic intersection theory on the product space PN×PN\mathbb{P}^N \times \mathbb{P}^N, where the graph of ff intersects with V×VV \times V. Specifically, canonical heights h^f\hat{h}_f associated to ff provide effective bounds on the Weil height of points P∈VP \in V such that fk(P)∈Vf^k(P) \in V for some kk, ensuring finiteness when VV is not dynamically anomalous. For polarized endomorphisms, the anomalous locus—subvarieties containing infinitely many periodic points—is Zariski closed, and heights on these intersections remain bounded, analogous to Bombieri-Masser-Zannier results for unlikely intersections. These bounds rely on the non-negativity and quadratic properties of canonical heights, limiting the arithmetic complexity of the points.[18][19] Representative examples include preperiodic points on curves within P2\mathbb{P}^2 for quadratic maps, such as f(x,y)=(x2−2,y2)f(x,y) = (x^2 - 2, y^2), where intersections with lines like x=yx = y yield finitely many preperiodics unless the line is invariant. Another case is the map f(z)=z2f(z) = z^2 on P1\mathbb{P}^1 embedded in higher dimensions, with subvarieties like conics over Q\mathbb{Q} containing only bounded-degree preperiodics, illustrating the unit circle's arithmetic analogue through bounded canonical height. In such settings, the preperiodic points on VV are Zariski dense if VV is preperiodic, as shown for projective varieties.[16][20] A bilinear pairing on these intersection points can be defined using Néron-Tate-style canonical heights when the ambient variety admits such a structure, extended via arithmetic intersection theory to ⟨P,Q⟩V=h^f(P+Q)−h^f(P)−h^f(Q)\langle P, Q \rangle_V = \hat{h}_f(P + Q) - \hat{h}_f(P) - \hat{h}_f(Q), where positivity implies orthogonality conditions for non-special loci. This pairing quantifies the arithmetic relations among points on VV, aiding in the classification of infinite intersections. For dynamical loci—the Zariski closures of preperiodic sets—computational geometry tools, such as Gröbner bases and resultant computations, enable explicit determination of these varieties over number fields, facilitating the identification of anomalous components in low dimensions.[21][22]

Mordell-Lang Conjecture in Dynamics

The dynamical Mordell-Lang conjecture in the context of arithmetic dynamics addresses the structure of intersections between sets of preperiodic points and subgroups within abelian varieties. Specifically, let AA be an abelian variety defined over a field kk of characteristic zero, and let f:A→Af: A \to A be an endomorphism. The set PrePer(f)\mathrm{PrePer}(f) consists of all preperiodic points for ff, i.e., points P∈A(k)P \in A(k) such that fm(P)f^m(P) is periodic for some m≥0m \geq 0. For a finitely generated subgroup Γ⊆A(k)\Gamma \subseteq A(k), the conjecture asserts that PrePer(f)∩Γ\mathrm{PrePer}(f) \cap \Gamma is a finite union of cosets of subgroups of Γ\Gamma, unless PrePer(f)\mathrm{PrePer}(f) is Zariski dense in the Zariski closure of Γ\Gamma.[23] This formulation replaces the finitely generated subgroup of the classical Mordell-Lang conjecture with the typically Zariski sparse set of preperiodic points, providing a dynamical analog that captures the "unlikely" nature of such intersections.[24] This conjecture is closely related to the Pink conjectures and the broader framework of unlikely intersections in arithmetic geometry and dynamics. In the dynamical setting, it posits that preperiodic points, which are "special" due to their bounded orbit lengths, cannot accumulate in subgroups beyond a structured finite union of cosets without the entire preperiodic set being dense in a positive-dimensional component. The Pink conjectures generalize this to intersections of special subvarieties (like torsion cosets or periodic varieties) in mixed Shimura varieties, with the dynamical Mordell-Lang serving as a key instance where orbits replace torsion points.[25] Proofs in special cases have been established, particularly for semi-abelian varieties. For instance, when ff is an étale endomorphism of a semi-abelian variety, the conjecture holds, showing that intersections with finitely generated subgroups are finite unions of cosets or imply density.[23] Similarly, for endomorphisms with rich endomorphism rings, such as multiplication-by-integer maps on abelian varieties, the result follows from classical tools like the Skolem-Mahler-Lech theorem applied to linear recurrences governing the dynamics.[24] A representative example arises in elliptic curve dynamics. Consider an elliptic curve EE over kk and the endomorphism f=[m]f = [m], multiplication by an integer m≥2m \geq 2. Here, PrePer(f)\mathrm{PrePer}(f) coincides with the mm-torsion subgroup E[m](k)E[m](k), which is finite. For any finitely generated subgroup Γ⊆E(k)\Gamma \subseteq E(k), the intersection E[m](k)∩ΓE[m](k) \cap \Gamma consists of torsion cosets within Γ\Gamma, aligning with the conjecture's finite coset structure since the torsion set is not dense unless Γ\Gamma is itself torsion.[23] This case illustrates how preperiodic points in elliptic dynamics reduce to torsion structures, mirroring the classical Mordell-Lang for torsion intersections. Arithmetic strengthenings of the conjecture incorporate heights and Galois representations to quantify the intersections over number fields. Preperiodic points satisfy h^f(P)=[0](/page/0)\hat{h}_f(P) = [0](/page/0), where h^f\hat{h}_f is the canonical height associated to ff, allowing bounds on the height of points in PrePer(f)∩Γ\mathrm{PrePer}(f) \cap \Gamma via Northcott-type theorems. Furthermore, Galois representations on the Tate module of AA can be restricted to the Galois orbits of these intersection points, providing effective finiteness results and density estimates under Chebotarev conditions.[23] Recent progress post-2010 has advanced the conjecture, particularly through uniform and effective versions. For semi-abelian varieties over number fields, Ghioca and Tucker established the full conjecture in 2009, with extensions to étale maps by Bell, Ghioca, and Tucker in 2010 confirming the coset structure without density exceptions in many cases. In positive characteristic, Xie and Yang proved a weak form for bounded-degree maps on projective varieties in 2024, showing intersections are unions of progressions plus density-zero sets.[26] While Dimitrov, Gao, and Habegger's 2021 work on uniformity in the classical Mordell-Lang for curves provides tools for effective bounds, dynamical applications include Xie's 2017 resolution for endomorphisms of A2\mathbb{A}^2, yielding explicit coset decompositions for preperiodic intersections with linear subgroups.[25][23]

Non-Archimedean Dynamics

p-adic Dynamics

p-adic dynamics studies the iteration of rational maps defined over the field of p-adic numbers Qp\mathbb{Q}_p, where the p-adic absolute value ∣⋅∣p|\cdot|_p provides a non-archimedean metric that induces an ultrametric topology on Qp\mathbb{Q}_p.[27] Unlike the archimedean real or complex cases, the strong triangle inequality ∣x+y∣p≤max⁡(∣x∣p,∣y∣p)|x + y|_p \leq \max(|x|_p, |y|_p) leads to contraction properties in dynamical orbits, often resulting in finite or stabilizing behavior under iteration.[28] For a rational map f:PQp1→PQp1f: \mathbb{P}^1_{\mathbb{Q}_p} \to \mathbb{P}^1_{\mathbb{Q}_p} of degree d≥2d \geq 2, the dynamics are analyzed on the Berkovich projective line PCp1\mathbb{P}^1_{\mathbb{C}_p}, a non-archimedean analytic space that compactifies PQp1\mathbb{P}^1_{\mathbb{Q}_p} and allows for a rigid analytic structure suitable for potential theory and equidistribution results.[27] This framework, introduced by Berkovich, facilitates the study of invariant measures and Green functions in the p-adic setting.[29] Preperiodic points for maps over Qp\mathbb{Q}_p exhibit finiteness properties tied to p-adic heights. A point P∈QpP \in \mathbb{Q}_p is preperiodic if its forward orbit under ff is finite, and the set of such points can be bounded using local height functions hph_p adapted to the p-adic valuation.[2] Specifically, for polynomials or rational maps with integral coefficients, uniform bounds on the number of preperiodic points in Qp\mathbb{Q}_p arise from the non-expansive nature of the p-adic metric, preventing the proliferation of cycles seen in characteristic zero archimedean dynamics.[30] These bounds are effective and depend on the degree dd and the prime pp, with results showing that the preperiodic set is finite for maps of good reduction.[1] Good reduction occurs when a rational map f∈Qp(z)f \in \mathbb{Q}_p(z) reduces modulo pp to a map f‾∈Fp(z)\overline{f} \in \mathbb{F}_p(z) of the same degree dd, preserving the dynamical structure over the residue field.[30] In this case, the reduction map red:P1(Zp)→P1(Fp)\mathrm{red}: \mathbb{P}^1(\mathbb{Z}_p) \to \mathbb{P}^1(\mathbb{F}_p) is a semi-stable contraction, and orbits in the p-adic integers Zp\mathbb{Z}_p project to orbits modulo pp, allowing lifting of periodic points from characteristic pp to Qp\mathbb{Q}_p.[31] For maps with good reduction, the reduction modulo pp defines a dynamical system over the finite field Fp\mathbb{F}_p, where every orbit is preperiodic due to the finiteness of the set. In the p-adic setting, orbits of points in Zp\mathbb{Z}_p project to these preperiodic orbits modulo pp, but the actual p-adic orbits are generally infinite, approaching the behavior modulo pp ultrametrically, unless the point is preperiodic. This projection is facilitated by the 1-Lipschitz property of the map on Zp\mathbb{Z}_p.[32] For quadratic maps f(z)=z2+cf(z) = z^2 + c with c∈Qpc \in \mathbb{Q}_p, the associated p-adic Julia set J(f)J(f) is defined as the closure of the repelling periodic points and is totally disconnected in the p-adic topology.[28] Unlike complex Julia sets, which can be connected or fractal-like, p-adic Julia sets for such quadratics are Cantor-like sets with no interior points, reflecting the ultrametric rigidity that clusters points into balls without intermediate scales.[33] An example is f(z)=z2−2f(z) = z^2 - 2 over Q3\mathbb{Q}_3, where the Julia set consists of points whose orbits remain bounded away from the attracting fixed point at infinity, forming a totally disconnected compact subset of the 3-adic projective line.[34] p-adic canonical heights h^p(f,P)\hat{h}_p(f, P) for a point P∈QpP \in \mathbb{Q}_p are defined as limits of normalized local heights: h^p(f,P)=lim⁡n→∞d−nhp(fn(P))\hat{h}_p(f, P) = \lim_{n \to \infty} d^{-n} h_p(f^n(P)), where hph_p is the p-adic Weil height incorporating the valuation.[5] These heights satisfy h^p(f,f(P))=d⋅h^p(f,P)\hat{h}_p(f, f(P)) = d \cdot \hat{h}_p(f, P) and vanish precisely on preperiodic points, providing a dynamical analogue to the archimedean case.[29] They extend global canonical heights locally via product formulas over places.[2] Dynamical systems over Qp\mathbb{Q}_p frequently feature attracting fixed points when the multiplier [λ](/page/Lambda)[\lambda](/page/Lambda) at the fixed point satisfies ∣λ∣p<1|\lambda|_p < 1.[35] For instance, in polynomial maps h(z)=z+g(z)h(z) = z + g(z) with gg monic and irreducible over Zp\mathbb{Z}_p, an attracting fixed point γ\gamma draws nearby points into its basin under iteration, as the perturbation gg contracts distances in the p-adic metric.[36] The basin of attraction is an open ball in Qp\mathbb{Q}_p, and the dynamics stabilize rapidly due to the ultrametric property, contrasting with the slower convergence in archimedean settings.[37]

Uniformization and Good Reduction

In arithmetic dynamics, a rational map f:P1→P1f: \mathbb{P}^1 \to \mathbb{P}^1 of degree d≥2d \geq 2 defined over a number field KK has good reduction at a finite prime p\mathfrak{p} of the ring of integers OK\mathcal{O}_K if there exists a model f~\tilde{f} over OK\mathcal{O}_K such that the reduction f~mod  p\tilde{f} \mod \mathfrak{p} has degree dd. Bad reduction occurs when the degree of the reduced map drops below dd. Semistable models of the dynamical system, analogous to those for abelian varieties, feature a special fiber where components are acted upon by the inertia group IpI_\mathfrak{p}; good reduction corresponds to cases where this action is trivial on the generic fiber's components, while bad reduction involves non-trivial inertia effects that can contract components in the Berkovich projective line PBerk,v1\mathbb{P}^1_{\mathrm{Berk},v}.[38] Potentially good reduction is achieved after a finite extension L/KL/K where ff is conjugate to a map with good reduction, with the degree [L:K][L:K] bounded by a function B(p,d)B(p,d) depending on the residue characteristic pp and degree dd; for example, B(p,d)=d+1B(p,d) = d+1 if d=2d=2 or p>dp > d, and this bound is sharp in discretely valued fields. Uniformization in the non-Archimedean setting often employs Tate curves for dynamics arising from elliptic curves over Qp\mathbb{Q}_p. Lattès examples, constructed from endomorphisms of elliptic curves E/QpE/\mathbb{Q}_p, yield rational maps ϕ\phi on P1\mathbb{P}^1 whose preperiodic points correspond to torsion points on E/{±1}E/\{\pm 1\}; in the case of multiplicative reduction for the underlying elliptic curve, torsion preperiodic points lift uniquely to the p-adic setting via the Tate uniformization Eq≅Gm/qZE_q \cong \mathbb{G}_m / q^\mathbb{Z}, preserving dynamical structure. For good reduction, lifting uses the formal group associated to the elliptic curve. Igusa towers provide a p-adic analytic uniformization for formal groups associated to these dynamics, facilitating the study of iterations on the rigid analytic unit disk and lifting properties in the p-adic topology.[38] A key result is that under good reduction at p\mathfrak{p}, preperiodic points of ff lift uniquely to characteristic zero via Hensel's lemma, with the preperiod and period of the lift satisfying n=mn = m, n=mrn = mr, or n=mrpen = mr p^e where mm is the period in characteristic pp, rr divides the ramification index, and e≤1e \leq 1 for projective line maps with p≥3p \geq 3. For the quadratic family fc(z)=z2+cf_c(z) = z^2 + c, reduction modulo pp exhibits good reduction outside primes dividing the discriminant DnD_n of the nth dynatomic polynomial Φn(z,c)\Phi_n(z, c); for instance, the curve Ydyn1(5)Y_{\mathrm{dyn}}^1(5) has bad reduction at p=5p=5 and p=3701p=3701. In supersingular reduction cases, where the associated elliptic curve (for Lattès maps) has supersingular j-invariant modulo pp, the dynamics on the special fiber may collapse to lower-degree maps, complicating orbit lifting but still allowing unique preperiodic lifts under semistable conditions. The arithmetic of reduction ties to the discriminant of ff, which determines primes of bad reduction, and the splitting of primes in preperiodic fields K(P)K(P) generated by a preperiodic point PP, where inert or ramified primes often indicate bad reduction types via inertia actions on Galois representations.

Generalizations and Extensions

Higher-Dimensional Maps

In arithmetic dynamics, higher-dimensional maps extend the study of iterates from the projective line P1\mathbb{P}^1 to projective spaces Pn\mathbb{P}^n over number fields KK, where rational maps f:Pn→Pnf: \mathbb{P}^n \to \mathbb{P}^n of degree d≥2d \geq 2 are defined by homogeneous polynomials of degree dd in the homogeneous coordinates. These maps allow for the analysis of orbits of points P∈Pn(K‾)P \in \mathbb{P}^n(\overline{K}) under iteration, using multivariable height functions such as the absolute logarithmic Weil height hPn(P)h_{\mathbb{P}^n}(P), which measures the arithmetic complexity of PP based on its minimal polynomial and embeddings into R\mathbb{R}. Unlike one-dimensional cases, higher-dimensional dynamics introduce greater geometric intricacy, as the space of such maps is larger and the behavior of iterates can involve non-trivial invariant subvarieties.[39] The preperiodic sets for these maps exhibit finiteness properties analogous to Northcott's theorem in Diophantine geometry. Specifically, for a morphism ϕ:PKn→PKn\phi: \mathbb{P}^n_K \to \mathbb{P}^n_K of degree at least 2, the set of K-rational preperiodic points is finite, as preperiodicity implies bounded canonical height, and points of bounded height are finite by Northcott's theorem. This extends the one-dimensional result, where preperiodic points are characterized by zero canonical height, to higher dimensions via the multi-height function, ensuring only finitely many such points for fixed KK. For algebraic points of bounded degree over KK, finiteness also holds by the multivariable Northcott theorem.[39] Product dynamics provide a structured subclass of higher-dimensional systems, particularly on P1×P1\mathbb{P}^1 \times \mathbb{P}^1, where maps can be products f×gf \times g or skew products of the form (x,y)↦(f(x),g(x,y))(x,y) \mapsto (f(x), g(x,y)) with f,gf, g rational maps on P1\mathbb{P}^1. In the skew product case, the dynamics decouple in the first coordinate while coupling in the second, allowing heights to be analyzed separably; for instance, the height of iterates grows according to the dynamical degree of ff in the base. Over number fields, these systems facilitate the study of integral points in orbits, where points with integral coordinates under the product embedding remain bounded in certain components.[40] Representative examples include monomial maps on Pn\mathbb{P}^n, such as f([x0:⋯:xn])=[x0d:x1d:⋯:xnd]f([x_0 : \cdots : x_n]) = [x_0^d : x_1^d : \cdots : x_n^d] over Q\mathbb{Q}, whose orbits preserve monomial structure and allow explicit computation of integral points in higher iterates via height growth proportional to dnd^n. Hénon maps, like the quadratic H(x,y)=(y2+c−ax,x)H(x,y) = (y^2 + c - ax, x) over Q\mathbb{Q}, exhibit chaotic behavior over R\mathbb{R} but finitely many rational periodic points, with integral points in orbits studied through bounded height loci; recent constructions yield Hénon maps of odd degree d≥3d \geq 3 with at least (d−4)2(d-4)^2 integral periodic points. These examples highlight how higher-dimensional maps over Q\mathbb{Q} can have explicitly computable arithmetic orbits despite complex global dynamics.[41][42] Canonical heights in several variables generalize the one-dimensional construction, defined for a dominant rational map f:Pn→Pnf: \mathbb{P}^n \to \mathbb{P}^n with dynamical degree δ(f)=lim⁡m→∞(deg⁡fm)1/m≥2\delta(f) = \lim_{m \to \infty} (\deg f^m)^{1/m} \geq 2 as
h^f,D(P)=lim⁡m→∞1δ(f)mhD(fm(P)), \hat{h}_{f,D}(P) = \lim_{m \to \infty} \frac{1}{\delta(f)^m} h_D(f^m(P)),
where DD is an ample divisor and hDh_D is the corresponding height function; this limit exists and is non-negative, with h^f,D(P)=0\hat{h}_{f,D}(P) = 0 if and only if PP is preperiodic. Positivity holds for non-preperiodic points when DD is ample, providing a quadratic form on the Néron-Severi group that measures orbit divergence, and the height satisfies h^f,D(f(P))=δ(f)h^f,D(P)\hat{h}_{f,D}(f(P)) = \delta(f) \hat{h}_{f,D}(P), enabling equidistribution results for small-height points. These properties underpin Northcott-type finiteness for points with h^f,D(P)≤B\hat{h}_{f,D}(P) \leq B.[43] Challenges in higher-dimensional arithmetic dynamics arise from non-invertibility of rational maps, which complicates backward orbits and invariant measures compared to invertible automorphisms like linear maps on tori, and from critical hypersurfaces, the codimension-1 loci where the differential dfdf has rank less than nn, leading to indeterminate points in iterates and potential collapse of dimensions in forward images. These features obstruct uniform boundedness conjectures for preperiodic points, as critical hypersurfaces can intersect orbits in ways that evade height control, unlike the finite critical points in one dimension.

Families of Dynamical Systems

In arithmetic dynamics, families of dynamical systems arise when the defining map varies with parameters, allowing the study of how arithmetic properties like preperiodic points and heights behave across the parameter space. A central object is the moduli space of degree dd maps on PN\mathbb{P}^N, denoted MNdM_N^d, which classifies conjugacy classes of endomorphisms under the action of PGLN+1\mathrm{PGL}_{N+1}. For monic polynomials of the form fc(z)=zd+cf_c(z) = z^d + c on A1⊂P1\mathbb{A}^1 \subset \mathbb{P}^1, the parameter cc lies in a number field KK, and the Weil height h(c)h(c) measures the arithmetic complexity of the family. This space is often compactified, for example, when N=1N=1 and d=2d=2, M12≅A2M_1^2 \cong \mathbb{A}^2 compactifies to P2\mathbb{P}^2.[2][44] A key example is the family fc(z)=z2+cf_c(z) = z^2 + c over Q(c)\mathbb{Q}(c), where integral values of c∈Zc \in \mathbb{Z} often yield integer preperiodic points. For instance, c=0c=0 gives the fixed point at z=0z=0, while c=−1c=-1 produces a 2-cycle {0,−1}\{0, -1\}, and c=−1c = -1 also yields the preperiodic point z=1z=1 mapping to the 2-cycle {0,−1}\{0, -1\}. These cases illustrate how rational or integral parameters can generate rational preperiodic structures, contrasting with the general uniform boundedness conjecture, which posits that the number of rational preperiodic points is bounded independently of cc.[3][2] The variation of preperiodic points across families exhibits continuity in the complex topology but arithmetic stability over number fields. Preperiodic points may move continuously with cc, yet their rationality is rigid; for quadratic families, the set of c∈Qc \in \mathbb{Q} yielding a rational point of exact period nn is finite for n≥4n \geq 4, as verified computationally and via height bounds. This stability underpins the dynamical uniform boundedness conjecture, proven for periods up to 3 and certain classes of maps.[2][44] Canonical heights extend to the base parameter space, defining dynamical heights h^fc(P)\hat{h}_{f_c}(P) for points PP and parameter heights like h^(c)\hat{h}(c) aggregating orbit complexities. For fc(z)=zd+cf_c(z) = z^d + c, the parameter height satisfies h^(c)≥C⋅h(c)\hat{h}(c) \geq C \cdot h(c) for some constant C>0C > 0 when orbits are non-preperiodic, enabling Northcott-type finiteness results for bounded-height parameters with rational preperiodics. These heights facilitate arithmetic analogs of equidistribution and measure growth in families.[3][2] Arithmetic dynamics also manifests on more structured base spaces, such as Shimura varieties or Siegel moduli spaces, where endomorphisms of abelian varieties induce dynamical systems. On Siegel moduli spaces parameterizing principally polarized abelian varieties, Frobenius lifts define algebraic dynamics, with preperiodic points corresponding to torsion structures whose arithmetic properties align with unlikely intersection conjectures. Shimura varieties similarly host homogeneous flows, where Ratner theorems from dynamics classify invariant measures, linking to arithmetic orbit closures.[45][46] Applications of Faltings' theorem to families yield finiteness for integral points in dynamical settings. For quadratic families fc(z)=z2+cf_c(z) = z^2 + c with c∈Zc \in \mathbb{Z}, the theorem implies only finitely many cc make iterates fcn(z)f_c^n(z) reducible over Q\mathbb{Q} for fixed n≥3n \geq 3, as such parameters define curves of genus greater than 1 with infinitely many integral points otherwise. This controls exceptional parameters where preperiodics exhibit unexpected rationality, complementing dynamical Mordell-Lang conjectures.[47][3]

Interconnections with Number Theory

Arboreal Representations

In arithmetic dynamics, the arboreal representation attached to a rational map f:PQ1→PQ1f: \mathbb{P}^1_{\mathbb{Q}} \to \mathbb{P}^1_{\mathbb{Q}} of degree d≥2d \geq 2 and a rational point t∈Qt \in \mathbb{Q} is defined as the continuous homomorphism ρf:Gal(Q‾/Q)→Aut(T)\rho_f: \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) \to \mathrm{Aut}(T), where TT denotes the infinite dd-ary rooted tree whose vertices consist of all preimages under iterates of ff of the point tt, with edges connecting each preimage to its image under ff. The tree TT models the backward orbit of tt, and the Galois group acts on the coordinates of these preimages, inducing automorphisms of TT that preserve the edge structure. This representation captures the Galois action on the infinite tower of fields KnK_n generated by the level-nn preimages of tt, with K∞=⋃nKnK_\infty = \bigcup_n K_n being a Galois extension of Q\mathbb{Q} whose Galois group is the image of ρf\rho_f. Arboreal representations provide a dynamical approach to the inverse Galois problem, allowing the realization of certain profinite groups as Galois groups over Q\mathbb{Q}. For instance, when ff is quadratic, the automorphism group Aut(T)\mathrm{Aut}(T) of the binary tree can contain subgroups isomorphic to the 2-adic integers Z2\mathbb{Z}_2, and surjective realizations of such groups arise for specific choices of ff and tt. More generally, for monic polynomials f∈Z[z]f \in \mathbb{Z}[z] of degree d≥2d \geq 2, there exist examples where the image of ρf\rho_f equals the full Aut(T)\mathrm{Aut}(T), solving the inverse problem for the profinite completion of the free group on d−1d-1 generators in a dynamical context. Ramification in the fields Kn/QK_n/\mathbb{Q} occurs primarily at primes lying above the critical points of ff, with the inertia groups acting non-trivially on the tree branches corresponding to preimages near those points. For a quadratic polynomial f(z)=z2+cf(z) = z^2 + c over a local field, the inertia subgroup at a prime pp above the critical point 0 can be trivial, cyclic of order pp, or isomorphic to Zp\mathbb{Z}_p, depending on the valuation vp(c)v_p(c). In the global setting, the ramification is controlled by the local behaviors, and the extension K∞/QK_\infty/\mathbb{Q} is often tamely ramified outside a finite set of primes, though wild ramification arises at primes dividing the degree dd. A concrete example is provided by f(z)=z2f(z) = z^2 and t=1t = 1, where the preperiodic tree TT is the binary tree of iterated square roots of 1, starting from ±1\pm 1 at level 1 and adjoining further square roots at each level. The Galois closure of the tower KnK_n generated by these preimages up to level nn yields an arboreal representation whose image embeds into the automorphism group of the 2-adic tree, reflecting the action of Gal(Q‾/Q)\mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q}) on the coordinates via sign changes and root extractions. This construction illustrates how the 2-adic structure emerges from the dynamical backward orbit. Arithmetic properties of arboreal representations include the conductor, which measures the ramification and is finite for representations arising from polynomials with integral coefficients, analogous to the conductor of a motive. These representations also give rise to Artin representations via the action on finite levels of the tree, where the Frobenius elements at unramified primes conjugate according to the dynamical permutation on preimages. Recent results from the 2020s emphasize the ramification structure in arboreal extensions, particularly for postcritically finite polynomials. For example, if f∈Q[z]f \in \mathbb{Q}[z] has degree d>1d > 1 divisible by a prime pp and potential good reduction at pp, with infinite backward orbit, then K∞/QK_\infty/\mathbb{Q} is infinitely wildly ramified at primes above pp. Regarding the density of ramified primes, classical work shows that for quadratic polynomials, the set of primes ramifying in some Kn/QK_n/\mathbb{Q} has natural density zero, a result extended in recent analyses of unicritical cases to confirm bounded ramification outside dynamical orbits.

Applications to Cryptography

Arithmetic dynamics finds practical applications in cryptography through the construction of key exchange protocols and hash functions that leverage the computational hardness of problems in dynamical systems over finite fields. One prominent example is the dynamical analog of the Diffie-Hellman key exchange, where iterations of rational maps replace exponentiation in multiplicative groups. In this setup, parties agree on a starting point and a map, such as a quadratic polynomial, and publicly exchange iterated images of the starting point; the shared secret is derived from further iterations, with security relying on the difficulty of computing discrete logarithms along orbits or recovering preperiodic points. This approach extends classical Diffie-Hellman to non-abelian settings using linguistic dynamical systems, where maps act on sets modeled by graphs of large girth to resist index calculus attacks. Pairing-friendly maps derived from elliptic curves, particularly Lattès maps, enable advanced cryptographic primitives like identity-based encryption by facilitating efficient bilinear pairings on supersingular curves. Lattès maps, which arise as quotients of elliptic curve endomorphisms, provide a dynamical structure on the projective line that preserves torsion and preperiodic points, allowing construction of hash functions with collision resistance based on the hardness of finding preimages under iteration. These maps are integrated into protocols such as the Charles-Goren-Lauter hash, where the orbit of j-invariants under the map yields a pseudorandom output suitable for pairing-based schemes, enhancing security in identity-based encryption by embedding user identities directly into the curve parameters. Index calculus attacks, traditionally used for discrete logarithms in finite fields, extend to dynamical systems by exploiting smooth relations in factor bases derived from orbits of maps like $ z^2 + c $ over $ \mathbb{F}_p $. In arithmetic extensions, these attacks target the discrete logarithm problem along preperiodic tails, where relations between periodic points and smooth elements allow solving for exponents in iterated images; however, maps with large cycle indicators mitigate this by increasing the smoothness bound required. For instance, quadratic maps $ f_c(z) = z^2 + c $ over $ \mathbb{F}_p $ serve as arithmetic analogs for key exchange, with Alice publishing $ f_c^a(g) $ and Bob $ f_c^b(g) $ for a generator-like $ g $, yielding shared key $ f_c^{ab}(g) $, whose security parallels the classical case but incorporates dynamical preperiodicity. As of 2025, dynamical systems offer post-quantum resistance through structures immune to quantum attacks like Shor's algorithm. Multivariate schemes derived from iterations of polynomial maps over finite fields, such as those in Ustimenko's frameworks, resist quantum speedup due to the non-abelian nature of the underlying semigroups, maintaining hardness beyond polynomial time. Similarly, Lattès map-based hashes on supersingular curves align with isogeny-based cryptography, providing quantum-resistant alternatives to lattice or code-based systems while preserving efficiency in pairing computations. These developments position arithmetic dynamics as a viable foundation for quantum-safe key exchange and encryption, with underlying hardness often tied to arboreal Galois representations over finite fields.

References

  1. Current trends and open problems in arithmetic dynamics
  2. [PDF] Lecture Notes on Arithmetic Dynamics - Arizona Winter School
  3. The Arithmetic of Dynamical Systems - SpringerLink
  4. [PDF] Dynamics Over Number Fields - UCSB Mathematics Department
  5. [PDF] An Introduction to Height Functions - MSRI
  6. [PDF] Canonical heights on varieties with morphisms - Numdam
  7. [PDF] common preperiodic points for quadratic polynomials
  8. [PDF] The Galois theory of orbits in arithmetic dynamics
  9. [PDF] An Introduction to Arithmetic Dynamics and Lattès Maps
  10. [PDF] arithmetic dynamics of quadratic polynomials and dynamical units
  11. Primitive divisors in arithmetic dynamics | Mathematical Proceedings ...
  12. [PDF] Canonical Heights on Abelian Varieties Lecture Notes for the ...
  13. [PDF] Number Theory and Dynamical Systems - Brown Math
  14. Integer points in backward orbits - ScienceDirect.com
  15. [PDF] The Arithmetic of Dynamical Systems - Brown Math
  16. [PDF] Distributions in Algebraic Dynamics - Princeton Math
  17. [PDF] THE DYNAMICAL MANIN-MUMFORD CONJECTURE AND THE ...
  18. [PDF] arithmetic dynamics and intersection problems aws 2023
  19. Dynamical Anomalous Subvarieties: Structure and Bounded Height ...
  20. [PDF] Equidistribution and unlikely intersections in arithmetic dynamics
  21. [PDF] Abstract. We construct canonical heights of subvarieties for ...
  22. Summer@ICERM 2019: Computational Arithmetic Dynamics
  23. [PDF] The Dynamical Mordell—Lang Conjecture
  24. [PDF] The dynamical Mordell-Lang conjecture and related problems
  25. https://arxiv.org/pdf/2307.05885.pdf
  26. [PDF] An introduction to Berkovich analytic spaces and non-archimedean ...
  27. [PDF] Fatou Components in p-adic Dynamics
  28. [PDF] heights, algebraic dynamics and berkovich analytic spaces - CUNY
  29. [PDF] Reduction in arithmetic dynamics - MIT Mathematics
  30. [1511.04856] Minimality of p-adic rational maps with good reduction
  31. [PDF] MINIMALITY OF p-ADIC RATIONAL MAPS WITH GOOD REDUCTION
  32. Julia sets using other fields - MathOverflow
  33. [PDF] On the chaotic properties of quadratic maps over non-archimedean ...
  34. Attracting fixed points of polynomial dynamical systems in fields of
  35. Attracting fixed points of polynomial dynamical systems in fields of ...
  36. [PDF] ATTRACTING CYCLES IN p-ADIC DYNAMICS AND HEIGHT ...
  37. Attaining potentially good reduction in arithmetic dynamics - arXiv
  38. None
  39. [PDF] preperiodic points of polynomials over global fields - Amherst College
  40. [PDF] Dynamics of Rational Skew Products - SLMath
  41. [PDF] Number Theoretic Properties of Difference Equations Associated to ...
  42. [2412.01668] Hénon maps with many rational periodic points - arXiv
  43. https://arxiv.org/pdf/2408.01559.pdf
  44. None
  45. [PDF] Algebraic dynamics of the lifts of Frobenius - Semantic Scholar
  46. Flows on Shimura varieties - UCL Discovery
  47. [PDF] newly reducible iterates in families of quadratic polynomials
  48. https://doi.org/10.1007/s10711-006-9113-9
  49. [PDF] Local arboreal representations - MIT Mathematics
  50. https://doi.org/10.1112/jlms/s2-32.1.1
  51. [PDF] arboreal galois representations - ScholarSpace
  52. Local Arboreal Representations - Oxford Academic
  53. Infinitely wildly ramified arboreal representations for postcritically ...
  54. [PDF] Dynamical systems as the main instrument for the constructions of ...
  55. On Dynamical Systems of Large Girth or Cycle Indicator and Their ...
  56. Supersingular Hashing using Lattès Maps - Cryptology ePrint Archive
  57. [PDF] 11.6 Discrete logarithms over finite fields
  58. None
  59. Potential Theory and Arithmetic Dynamics | AGANT
User Avatar
No comments yet.