The study of number-theoretic properties of dynamical systems defined by iterating algebraic self-maps (polynomial or rational maps) on algebraic varieties over global or local fields, focusing on heights, distribution of periodic and preperiodic points, orbit arithmetic, and reduction modulo primes.

Principle

Combine dynamical iteration with Diophantine tools: height functions measure arithmetic complexity of orbits, canonical heights linearize growth under iteration, and reduction modulo primes plus equidistribution principles connect local and global orbit behaviour.

Demonstration

Consider the quadratic polynomial f(x)=x^2+c defined over Q: study Q-rational periodic points (solutions of f^n(x)=x), use canonical height to show Northcott-type finiteness of points of bounded height, and analyze reduction modulo primes to detect periodicity patterns and equidistribution of Galois orbits.

Misapplication

Importing intuition from complex dynamical systems (e.g., Julia sets, complex bifurcations) without accounting for arithmetic invariants or height growth, or applying equidistribution heuristics where the necessary ergodic or adelic hypotheses fail, leading to incorrect conclusions about rational or integral points.

Consequence

Proper arithmetic-dynamical analysis yields finiteness results for preperiodic points, uniform bounds in families, canonical heights encoding arithmetic growth rates, and equidistribution statements that relate the statistical behavior of orbits to measures coming from potential theory or adelic metrics.

Reversal

Viewing number-theoretic statements as static Diophantine problems (e.g., sets of values attained by iterates) rather than dynamical processes loses the iterative structure; conversely, treating dynamical systems purely topologically discards arithmetic constraints encoded by heights and reduction.

Boundary

Concerns algebraic self-maps on varieties over number fields, function fields, or local fields and combines arithmetic invariants with iteration; excludes purely analytic dynamical systems over R or C that lack arithmetic structure, and excludes arbitrary random maps without algebraic definition.

Semantic Tension

Tension arises between dynamicists' emphasis on orbit structure and complex-analytic phenomena and number theorists' focus on arithmetic invariants and finiteness; furthermore, there is tension between probabilistic heuristics about typical orbit behaviour and exact Diophantine constraints for specific maps.

Synthesis

Arithmetic dynamics fuses iteration of algebraic maps with Diophantine methods: canonical heights, reduction mod primes, and equidistribution link orbit growth and distribution to arithmetic structure, producing finiteness, distributional and uniformity results about rational and integral points under iteration.