Arithmetic dynamics: Difference between revisions

Content deleted Content added

Inline

Revision as of 06:40, 6 December 2015

Arithmetic dynamics^[1] is a field that amalgamates two areas of mathematics, dynamical systems and number theory. Classically, discrete dynamics refers to the study of the iteration of self-maps of the complex plane or real line. Arithmetic dynamics is the study of the number-theoretic properties of integer, rational, $p$ -adic, and/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 refers to 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 classical dynamics in which one replaces the complex numbers $C$ by a $p$ -adic field such as $Q p$ or $C p$ 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

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

F^{(n)}=F\circ F\circ \cdots \circ F.

A point $P \in 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 \geq 1$ .

The (forward) orbit of $P$ is the set

O_{F}(P)=\left\{P,F(P),F^{(2)}(P),F^{(3)}(P),\cdots \right\}.

Thus $P$ is preperiodic if and only if its orbit $O F (P)$ is finite.

Number theoretic properties of preperiodic points

Let $F (x)$ be a rational function of degree at least two with coefficients in $Q$ . A theorem of Northcott^[2] says that $F$ has only finitely many $Q$ -rational preperiodic points, i.e., $F$ has only finitely many preperiodic points in $P 1 (Q)$ . The Uniform Boundedness Conjecture^[3] of Morton and Silverman says that the number of preperiodic points of $F$ in $P 1 (Q)$ is bounded by a constant that depends only on the degree of $F$ .

More generally, let $F : P N \to P N$ 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 $P N (K)$ , and the general Uniform Boundedness Conjecture says that the number of preperiodic points in $P N (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 $F c (x) = x 2 + c$ over the rational numbers $Q$ . It is known in this case that $F c (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. Poonen has conjectured that $F c (x)$ cannot have rational periodic points of any period strictly larger than three.^[7]

Integer points in orbits

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 $O F (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) \in Q (x)

be a rational function of degree at least two, and assume that no iterate^[9] of

F

is a polynomial. Let

a \in Q

. Then the orbit

O F (a)

contains only finitely many integers.

Dynamically defined points lying on subvarieties

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 Raynaud, and the Mordell–Lang conjecture, proven by Faltings. The following conjectures illustrate the general theory in the case that the subvariety is a curve.

Conjecture. Let

F : P N \to P N

be a morphism and let

C \subset P N

be an irreducible algebraic curve. Suppose that either of the following is true:

(a)

C

contains infinitely many points that are periodic points of

F

.

(b) There is a point

P \in P N

such that

C

contains infinitely many points in the orbit

O F (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

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 $Q p$ and the completion of its algebraic closure $C p$ . 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 {{math|F'Template:Z'(''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 $C$ p.

Generalizations

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

Other areas in which number theory and dynamics interact

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

dynamics over finite fields.
dynamics over function fields such as $C (x)$ .
iteration of formal and $p$ -adic power series.
dynamics on Lie groups.
arithmetic properties of dynamically defined moduli spaces.
equidistribution^[12] and invariant measures, especially on $p$ -adic spaces.
dynamics on Drinfeld modules.
number-theoretic iteration problems that are not described by rational maps on varieties, for example, the Collatz problem.
symbolic codings of dynamical systems based on explicit arithmetic expansions of real numbers.^[13]

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

Notes and references

^ J.H. Silverman (2007). The Arithmetic of Dynamical Systems. Springer. ISBN 978-0-387-69903-5.
^ Northcott, Douglas Geoffrey (1950). "Periodic points on an algebraic variety". Ann. of Math. 51 (1): 167–177. doi:10.2307/1969504. MR 0034607.
^ Morton, Patrick; Silverman, Joseph H. (1994). "Rational periodic points of rational functions". Internat. Math. Res. Notices (2): 97–110. doi:10.1155/S1073792894000127. MR 1264933.{{cite journal}}: CS1 maint: unflagged free DOI (link)
^ Morton, Patrick (1992). "Arithmetic properties of periodic points of quadratic maps". Acta Arith. 62 (4): 343–372. MR 1199627.
^ Flynn, Eugene V.; Poonen, Bjorn; Schaefer, Edward F. (1997). "Cycles of quadratic polynomials and rational points on a genus-2 curve". Duke Math. J. 90 (3): 435–463. doi:10.1215/S0012-7094-97-09011-6. MR 1480542.
^ Stoll, Michael (2008). "Rational 6-cycles under iteration of quadratic polynomials". LMS J. Comput. Math. 11: 367–380. arXiv:803.2836. doi:10.1112/S1461157000000644. MR 2465796. {{cite journal}}: Check |arxiv= value (help)
^ Poonen, Bjorn (1998). "The classification of rational preperiodic points of quadratic polynomials over $Q$ : a refined conjecture". Math. Z. 228 (1): 11–29. doi:10.1007/PL00004405. MR 1617987.
^ Silverman, Joseph H. (1993). "Integer points, Diophantine approximation, and iteration of rational maps". Duke Math. J. 71 (3): 793–829. doi:10.1215/S0012-7094-93-07129-3. MR 1240603.
^ An elementary theorem says that if $F (x) \in C (x)$ and if some iterate of $F$ is a polynomial, then already the second iterate is a polynomial.
^ Zhang, Shou-Wu (2006). "Distributions in algebraic dynamics". In Yau, Shing Tung (ed.). Differential Geometry: A Tribute to Professor S.-S. Chern. Surveys in Differential Geometry. Vol. 10. Somerville, MA: International Press. pp. 381–430. doi:10.4310/SDG.2005.v10.n1.a9. ISBN 978-1-57146-116-2. MR 2408228.
^ Rumely, Robert; Baker, Matthew (2010). Potential theory and dynamics on the Berkovich projective line. Mathematical Surveys and Monographs. Vol. 159. Providence, RI: American Mathematical Society. arXiv:math/0407433. doi:10.1090/surv/159. ISBN 978-0-8218-4924-8. MR 2599526.
^ Granville, Andrew; Rudnick, Zeév, eds. (2007). Equidistribution in number theory, an introduction. NATO Science Series II: Mathematics, Physics and Chemistry. Vol. 237. Dordrecht: Springer Netherlands. doi:10.1007/978-1-4020-5404-4. ISBN 978-1-4020-5403-7.
^ Sidorov, Nikita (2003). "Arithmetic dynamics". In Bezuglyi, Sergey; Kolyada, Sergiy (eds.). Topics in dynamics and ergodic theory. Survey papers and mini-courses presented at the international conference and US-Ukrainian workshop on dynamical systems and ergodic theory, Katsiveli, Ukraine, August 21–30, 2000. Lond. Math. Soc. Lect. Note Ser. Vol. 310. Cambridge: Cambridge University Press. pp. 145–189. ISBN 0-521-53365-1. Zbl 1051.37007.

External links

The Arithmetic of Dynamical Systems home page
Arithmetic dynamics bibliography
Analysis and dynamics on the Berkovich projective line
Book review of Joseph H. Silverman's "The Arithmetic of Dynamical Systems", reviewed by Robert L. Benedetto

[1] J.H. Silverman (2007). The Arithmetic of Dynamical Systems. Springer. ISBN 978-0-387-69903-5.

[2] Northcott, Douglas Geoffrey (1950). "Periodic points on an algebraic variety". Ann. of Math. 51 (1): 167–177. doi:10.2307/1969504. MR 0034607.

[3] Morton, Patrick; Silverman, Joseph H. (1994). "Rational periodic points of rational functions". Internat. Math. Res. Notices (2): 97–110. doi:10.1155/S1073792894000127. MR 1264933.{{cite journal}}: CS1 maint: unflagged free DOI (link)

[4] Morton, Patrick (1992). "Arithmetic properties of periodic points of quadratic maps". Acta Arith. 62 (4): 343–372. MR 1199627.

[5] Flynn, Eugene V.; Poonen, Bjorn; Schaefer, Edward F. (1997). "Cycles of quadratic polynomials and rational points on a genus-2 curve". Duke Math. J. 90 (3): 435–463. doi:10.1215/S0012-7094-97-09011-6. MR 1480542.

[6] Stoll, Michael (2008). "Rational 6-cycles under iteration of quadratic polynomials". LMS J. Comput. Math. 11: 367–380. arXiv:803.2836. doi:10.1112/S1461157000000644. MR 2465796. {{cite journal}}: Check |arxiv= value (help)

[7] Poonen, Bjorn (1998). "The classification of rational preperiodic points of quadratic polynomials over $Q$ : a refined conjecture". Math. Z. 228 (1): 11–29. doi:10.1007/PL00004405. MR 1617987.

[8] Silverman, Joseph H. (1993). "Integer points, Diophantine approximation, and iteration of rational maps". Duke Math. J. 71 (3): 793–829. doi:10.1215/S0012-7094-93-07129-3. MR 1240603.

[9] An elementary theorem says that if $F (x) \in C (x)$ and if some iterate of $F$ is a polynomial, then already the second iterate is a polynomial.

[10] Zhang, Shou-Wu (2006). "Distributions in algebraic dynamics". In Yau, Shing Tung (ed.). Differential Geometry: A Tribute to Professor S.-S. Chern. Surveys in Differential Geometry. Vol. 10. Somerville, MA: International Press. pp. 381–430. doi:10.4310/SDG.2005.v10.n1.a9. ISBN 978-1-57146-116-2. MR 2408228.

[11] Rumely, Robert; Baker, Matthew (2010). Potential theory and dynamics on the Berkovich projective line. Mathematical Surveys and Monographs. Vol. 159. Providence, RI: American Mathematical Society. arXiv:math/0407433. doi:10.1090/surv/159. ISBN 978-0-8218-4924-8. MR 2599526.

[12] Granville, Andrew; Rudnick, Zeév, eds. (2007). Equidistribution in number theory, an introduction. NATO Science Series II: Mathematics, Physics and Chemistry. Vol. 237. Dordrecht: Springer Netherlands. doi:10.1007/978-1-4020-5404-4. ISBN 978-1-4020-5403-7.

[13] Sidorov, Nikita (2003). "Arithmetic dynamics". In Bezuglyi, Sergey; Kolyada, Sergiy (eds.). Topics in dynamics and ergodic theory. Survey papers and mini-courses presented at the international conference and US-Ukrainian workshop on dynamical systems and ergodic theory, Katsiveli, Ukraine, August 21–30, 2000. Lond. Math. Soc. Lect. Note Ser. Vol. 310. Cambridge: Cambridge University Press. pp. 145–189. ISBN 0-521-53365-1. Zbl 1051.37007.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

@@ Line 32: / Line 32: @@
 ==Number theoretic properties of preperiodic points==
-Let {{math|''F''(''x'')}} be a rational function of degree at least two with coefficients in {{math|'''Q'''}}. A theorem of Northcott<ref>D. G. Northcott. Periodic points on an algebraic variety. ''Ann. of Math. (2)'', 51:167--177, 1950.</ref> says that {{mvar|F}} has only finitely many {{math|'''Q'''}}-rational preperiodic points, i.e., {{mvar|F}} has only finitely many preperiodic points in {{math|'''P'''<sup>1</sup>('''Q''')}}. The Uniform Boundedness Conjecture<ref> P. Morton and J. H. Silverman. Rational periodic points of rational functions. ''Internat. Math. Res. Notices'', (2):97--110, 1994.</ref> of [[Patrick Morton|Morton]] and [[Joseph Silverman|Silverman]] says that the number of preperiodic points of {{mvar|F}} in {{math|'''P'''<sup>1</sup>('''Q''')}} is bounded by a constant that depends only on the degree of {{mvar|F}}.
+Let {{math|''F''(''x'')}} be a rational function of degree at least two with coefficients in {{math|'''Q'''}}. A theorem of Northcott<ref>{{cite journal | first=Douglas Geoffrey | last=Northcott | title=Periodic points on an algebraic variety | journal=[[Ann. of Math.]] | volume=51 | pages=167-177 | doi=10.2307/1969504 | year=1950 | mr=0034607 | issue=1}}</ref> says that {{mvar|F}} has only finitely many {{math|'''Q'''}}-rational preperiodic points, i.e., {{mvar|F}} has only finitely many preperiodic points in {{math|'''P'''<sup>1</sup>('''Q''')}}. The Uniform Boundedness Conjecture<ref>{{cite journal | first1=Patrick | last1=Morton | first2=Joseph H. | last2=Silverman | title=Rational periodic points of rational functions | journal=Internat. Math. Res. Notices | pages=97-110 | year=1994 | mr=1264933 | issue=2 | doi=10.1155/S1073792894000127 | mr=1264933}}</ref> of [[Patrick Morton|Morton]] and [[Joseph Silverman|Silverman]] says that the number of preperiodic points of {{mvar|F}} in {{math|'''P'''<sup>1</sup>('''Q''')}} is bounded by a constant that depends only on the degree of {{mvar|F}}.
 More generally, let {{math|''F'' : '''P'''<sup>''N''</sup> → '''P'''<sup>''N''</sup>}} be a morphism of degree at least two defined over a number field {{mvar|K}}. Northcott's theorem says that {{mvar|F}} has only finitely many preperiodic points in
@@ Line 38: / Line 38: @@
 {{math|'''P'''<sup>''N''</sup>(''K'')}} may be bounded solely in terms of {{mvar|N}}, the degree of {{mvar|F}}, and the degree of {{mvar|K}} over {{math|'''Q'''}}.
-The Uniform Boundedness Conjecture is not known even for quadratic polynomials {{math|''F<sub>c</sub>''(''x'') {{=}} ''x''<sup>2</sup> + ''c''}} over the rational numbers {{math|'''Q'''}}. It is known in this case that {{math|''F<sub>c</sub>''(''x'')}} cannot have periodic points of period four,<ref> P. Morton. Arithmetic properties of periodic points of quadratic maps. ''Acta Arith.'', 62(4):343--372, 1992.</ref> five,<ref>E. V. Flynn, B. Poonen, and E. F. Schaefer. Cycles of quadratic polynomials and rational points on a genus-2 curve. ''Duke Math. J.'', 90(3):435--463, 1997.</ref> or six,<ref> M. Stoll, [http://arxiv.org/abs/0803.2836 Rational 6-cycles under iteration of quadratic polynomials], 2008.</ref> although the result for period six is contingent on the validity of the [[Birch Swinnerton-Dyer Conjecture|conjecture of Birch and Swinnerton-Dyer]]. [[Bjorn Poonen|Poonen]] has conjectured that {{math|''F<sub>c</sub>''(''x'')}} cannot have rational periodic points of any period strictly larger than three.<ref> B. Poonen. The classification of rational preperiodic points of quadratic  polynomials over {{math|'''Q'''}}: a refined conjecture. ''Math. Z.'', 228(1):11--29, 1998.</ref>
+The Uniform Boundedness Conjecture is not known even for quadratic polynomials {{math|''F<sub>c</sub>''(''x'') {{=}} ''x''<sup>2</sup> + ''c''}} over the rational numbers {{math|'''Q'''}}. It is known in this case that {{math|''F<sub>c</sub>''(''x'')}} cannot have periodic points of period four,<ref>{{cite journal | first=Patrick | last=Morton | title=Arithmetic properties of periodic points of quadratic maps | journal=[[Acta Arith.]] | volume=62 | issue=4 | pages=343-372 | year=1992 | mr=1199627}}</ref> five,<ref>{{cite journal | first1=Eugene V. | last1=Flynn | first2=Bjorn | last2=Poonen | first3=Edward F. | last3=Schaefer | title=Cycles of quadratic polynomials and rational points on a genus-2 curve | journal=[[Duke Math. J.]] | volume=90 | issue=3 | pages=435-463 | year=1997 | mr=1480542 | doi=10.1215/S0012-7094-97-09011-6}}</ref> or six,<ref>{{cite journal | first=Michael | last=Stoll | arxiv=803.2836 | title=Rational 6-cycles under iteration of quadratic polynomials | year=2008 | journal= LMS J. Comput. Math. | volume=11 | doi=10.1112/S1461157000000644 | mr=2465796 | pages=367-380}}</ref> although the result for period six is contingent on the validity of the [[Birch Swinnerton-Dyer Conjecture|conjecture of Birch and Swinnerton-Dyer]]. [[Bjorn Poonen|Poonen]] has conjectured that {{math|''F<sub>c</sub>''(''x'')}} cannot have rational periodic points of any period strictly larger than three.<ref>{{cite journal | first=Bjorn | last=Poonen | title=The classification of rational preperiodic points of quadratic  polynomials over {{math|'''Q'''}}: a refined conjecture | journal=[[Math. Z.]] | volume=228 | issue=1 | pages=11-29 | year=1998 | mr=1617987 | doi=10.1007/PL00004405}}</ref>
 ==Integer points in orbits==
 The orbit of a rational map may contain infinitely many integers. For example, if {{math|''F''(''x'')}} is a polynomial with integer coefficients and if {{mvar|a}} is an integer, then it is clear that the entire orbit {{math|''O''<sub>''F''</sub>(''a'')}} consists of integers. Similarly, if {{math|''F''(''x'')}} is a rational map and some iterate {{math|''F''<sup>(''n'')</sup>(''x'')}} is a polynomial with integer coefficients, then every {{mvar|n}}-th entry in the orbit is an integer. An example of this phenomenon is the map {{math|''F''(''x'') {{=}} ''x<sup>−d</sup>''}}, whose second iterate is a polynomial. It turns out that this is the only way that an orbit can contain infinitely many integers.
-:'''Theorem.'''<ref> J. H. Silverman. Integer points, Diophantine approximation, and iteration of rational maps. ''Duke Math. J.'', 71(3):793-829, 1993.</ref> Let {{math|''F''(''x'') ∈ '''Q'''(''x'')}} be a rational function of degree at least two, and assume that no iterate<ref> An elementary theorem says that if {{math|''F''(''x'') ∈ '''C'''(''x'')}} and if some iterate of {{mvar|F}} is a polynomial, then already the second iterate is a polynomial.</ref> of {{mvar|F}} is a polynomial. Let {{math|''a'' ∈ '''Q'''}}. Then the orbit {{math|''O''<sub>''F''</sub>(''a'')}} contains only finitely many integers.
+:'''Theorem.'''<ref>{{cite journal | first=Joseph H. | last=Silverman | title=Integer points, Diophantine approximation, and iteration of rational maps | journal=[[Duke Math. J.]] | volume=71 | issue=3 | pages=793-829 | year=1993 | mr=1240603 | doi=10.1215/S0012-7094-93-07129-3}}</ref> Let {{math|''F''(''x'') ∈ '''Q'''(''x'')}} be a rational function of degree at least two, and assume that no iterate<ref>An elementary theorem says that if {{math|''F''(''x'') ∈ '''C'''(''x'')}} and if some iterate of {{mvar|F}} is a polynomial, then already the second iterate is a polynomial.</ref> of {{mvar|F}} is a polynomial. Let {{math|''a'' ∈ '''Q'''}}. Then the orbit {{math|''O''<sub>''F''</sub>(''a'')}} contains only finitely many integers.
 ==Dynamically defined points lying on subvarieties==
-There are general conjectures due to [[Shouwu Zhang]]<ref> S.-W. Zhang, Distributions in algebraic dynamics, ''Differential Geometry: A Tribute to Professor S.-S. Chern'', ''Surv. Differ. Geom.'', Vol. X, Int. Press, Boston, MA, 2006, pages 381&ndash;430.</ref>
+There are general conjectures due to [[Shouwu Zhang]]<ref>{{cite encyclopedia | first=Shou-Wu | last=Zhang | chapter=Distributions in algebraic dynamics | title=Differential Geometry: A Tribute to Professor S.-S. Chern | series=Surveys in Differential Geometry | volume=10 | publisher=International Press | location=Somerville, MA | year=2006 | pages=381-430 | mr=2408228 | doi=10.4310/SDG.2005.v10.n1.a9 | isbn=978-1-57146-116-2 | editor-first=Shing Tung | editor-last=Yau}}</ref>
 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|Manin&ndash;Mumford conjecture]], proven by Raynaud,
 and the [[Faltings' theorem|Mordell&ndash;Lang conjecture]], proven by [[Gerd Faltings|Faltings]]. The following conjectures illustrate the general theory in the case that the subvariety is a curve.
@@ Line 56: / Line 56: @@
 ==''p''-adic dynamics==
-The field of [[p-adic dynamics|{{mvar|p}}-adic (or nonarchimedean) dynamics]] is the study of classical dynamical questions over a field {{mvar|K}} that is complete with respect to a nonarchimedean absolute value. Examples of such fields are the field of {{mvar|p}}-adic rationals {{math|'''Q'''<sub>''p''</sub>}} and the completion of its algebraic closure {{math|'''C'''<sub>''p''</sub>}}. The metric on {{mvar|K}} and the standard definition of equicontinuity leads to the usual definition of the [[Fatou set|Fatou]] and [[Julia set]]s of a rational map {{math|''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]],<ref>[[Robert Rumely|R. Rumely]] and M. Baker, [http://arxiv.org/pdf/math/0407433 Analysis and dynamics on the Berkovich projective line], ArXiv preprint, 150 pages.</ref> which is a compact connected space that contains the totally disconnected non-locally compact field {{math|'''C'''<sub>''p''</sub>}}.
+The field of [[p-adic dynamics|{{mvar|p}}-adic (or nonarchimedean) dynamics]] is the study of classical dynamical questions over a field {{mvar|K}} that is complete with respect to a nonarchimedean absolute value. Examples of such fields are the field of {{mvar|p}}-adic rationals {{math|'''Q'''<sub>''p''</sub>}} and the completion of its algebraic closure {{math|'''C'''<sub>''p''</sub>}}. The metric on {{mvar|K}} and the standard definition of equicontinuity leads to the usual definition of the [[Fatou set|Fatou]] and [[Julia set]]s of a rational map {{math|''F'{{z'(''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]],<ref>{{cite book | first1=Robert | last1=Rumely | first2=Matthew | last2=Baker | arxiv=math/0407433 | title=Potential theory and dynamics on the Berkovich projective line | year=2010 | series=Mathematical Surveys and Monographs | volume=159 | publisher=American Mathematical Society | location=Providence, RI | isbn=978-0-8218-4924-8 | doi=10.1090/surv/159 | mr=2599526}}</ref> which is a compact connected space that contains the totally disconnected non-locally compact field {{math|'''C'''<sub>''p''</sub>}}.
 ==Generalizations==
@@ Line 69: / Line 69: @@
 * dynamics on [[Lie group]]s.
 * arithmetic properties of dynamically defined [[moduli space]]s.
-* [[equidistribution]]<ref>[http://books.google.com/books?id=a4XE8QWc1GUC Equidistribution in number theory, an introduction], Andrew Granville, Zeév Rudnick Springer, 2007, ISBN 978-1-4020-5403-7</ref> and invariant [[Measure (mathematics)|measures]], especially on {{mvar|p}}-adic spaces.
+* [[equidistribution]]<ref>{{cite encyclopedia | title=Equidistribution in number theory, an introduction | editor1-first=Andrew | editor1-last=Granville | editor2-first=Zeév | editor2-last=Rudnick | publisher=Springer Netherlands | location=Dordrecht | year=2007 | isbn=978-1-4020-5403-7 | series=NATO Science Series II: Mathematics, Physics and Chemistry | volume=237 | doi=10.1007/978-1-4020-5404-4}}</ref> and invariant [[Measure (mathematics)|measures]], especially on {{mvar|p}}-adic spaces.
 * dynamics on [[Drinfeld module]]s.
 * number-theoretic iteration problems that are not described by rational maps on varieties, for example, the [[Collatz problem]].

v t e Number theory
Fields	Algebraic number theory (class field theory, non-abelian class field theory, Iwasawa theory, Iwasawa–Tate theory, Kummer theory) Analytic number theory (analytic theory of L-functions, probabilistic number theory, sieve theory) Geometric number theory Computational number theory Transcendental number theory Diophantine geometry (Arakelov theory, Hodge–Arakelov theory) Arithmetic combinatorics (additive number theory) Arithmetic geometry (anabelian geometry, P-adic Hodge theory) Arithmetic topology Arithmetic dynamics
Key concepts	Numbers 0 Natural numbers Unity Prime numbers Composite numbers Rational numbers Irrational numbers Algebraic numbers Transcendental numbers P-adic numbers (P-adic analysis) Arithmetic Modular arithmetic Chinese remainder theorem Arithmetic functions
Advanced concepts	Quadratic forms Modular forms L-functions Diophantine equations Diophantine approximation Continued fractions
Category List of topics List of recreational topics Wikibook Wikiversity