Arxiv:1201.1944V2 [Math.DS] 13 Oct 2014 Line As Initiated by Juan Rivera-Letelier in His Thesis [Riv03a] and Subsequently Studied by Him and Others
Total Page:16
File Type:pdf, Size:1020Kb
DYNAMICS ON BERKOVICH SPACES IN LOW DIMENSIONS MATTIAS JONSSON Resum´ e.´ These are expanded lecture notes for the summer school on Berko- vich spaces that took place at the Institut de Math´ematiquesde Jussieu, Paris, during June 28{July 9, 2010. They serve to illustrate some techniques and re- sults from the dynamics on low-dimensional Berkovich spaces and to exhibit the structure of these spaces. Table des matieres` 1. Introduction 1 2. Tree structures 14 3. The Berkovich affine and projective lines 27 4. Action by polynomial and rational maps 40 5. Dynamics of rational maps in one variable 53 6. The Berkovich affine plane over a trivially valued field 64 7. The valuative tree at a point 75 8. Local plane polynomial dynamics 100 9. The valuative tree at infinity 106 10. Plane polynomial dynamics at infinity 119 R´ef´erences 126 1. Introduction The goal of these notes is twofold. First, I'd like to describe how Berkovich spaces enters naturally in certain instances of discrete dynamical systems. In particular, I will try to show how my own work with Charles Favre [FJ07, FJ11] on valuative dynamics relates to the dynamics of rational maps on the Berkovich projective arXiv:1201.1944v2 [math.DS] 13 Oct 2014 line as initiated by Juan Rivera-Letelier in his thesis [Riv03a] and subsequently studied by him and others. In order to keep the exposition somewhat focused, I have chosen three sample problems (Theorems A, B and C below) for which I will present reasonably complete proofs. The second objective is to show some of the simplest Berkovich spaces \in ac- tion". While not necessarily representative of the general situation, they have a structure that is very rich, yet can be described in detail. In particular, they are trees, or cones over trees. For the purposes of this introduction, the dynamical problems that we shall be interested in all arise from polynomial mappings f : An An; ! 1 2 MATTIAS JONSSON where An denotes affine n-space over a valued field, that is, a field K complete with respect a norm . Studying the dynamics of f means, in rather vague terms, studying the asymptoticj · j behavior of the iterates of f : f m = f f f ◦ ◦ · · · ◦ (the composition is taken m times) as m . For example, one may try to identify regular as opposed to chaotic behavior.! One 1 is also interested in invariant objects such as fixed points, invariant measures, etc. When K is the field of complex numbers, polynomial mappings can exhibit very interesting dynamics both in one and higher dimensions. We shall discuss this a little further in 1.1 below. As references we point to [CG93, Mil06] for the one- dimensional casex and [Sib99] for higher dimensions. Here we shall instead focus on the case when the norm on K is non-Archimedean in the sense that the strong triangle inequality a + b max a ; b holds. Inter- j j ≤ fj j j jg esting examples of such fields include the p-adic numbers Qp, the field of Laurent series C((t)), or any field K equipped with the trivial norm. One motivation for investigating the dynamics of polynomial mappings over non-Archimedean fields is simply to see to what extent the known results over the complex (or real) numbers continue to hold. However, non-Archimedean dynamics sometimes plays a role even when the original dynamical system is defined over the complex numbers. We shall see some instances of this phenomenon in these notes ; other examples are provided by the work of Kiwi [Kiw06], Baker and De- Marco [BdM09], and Ghioca, Tucker and Zieve [GTZ08]. Over the complex numbers, many of the most powerful tools for studying dyna- mics are either topological or analytical in nature : distortion estimates, potential theory, quasiconformal mappings etc. These methods do not directly carry over to the non-Archimedean setting since K is totally disconnected. On the other hand, a polynomial mapping f automatically induces a selfmap f : An An Berk ! Berk n n n of the corresponding Berkovich space ABerk. By definition, ABerk = ABerk(K) is the set of multiplicative seminorms on the coordinate ring R K[z1; : : : ; zn] of An that extend the given norm on K. It carries a natural topology' in which it it locally compact and arcwise connected. It also contains a copy of An : a point n n x A is identified with the seminorm φ φ(x) . The action of f on ABerk is given2 as follows. A seminorm is mapped7! by j f toj the seminorm whose value on a polynomial φ R is given byj · jf ∗φ . 2 j j n The idea is now to study the dynamics on ABerk. At this level of generality, not very much seems to be known at the time of writing (although the time may be ripe to start looking at this). Instead, the most interesting results have appeared n in situations when the structure of the space ABerk is better understood, namely in sufficiently low dimensions. We shall focus on two such situations : (1) f : A1 A1 is a polynomial mapping of the affine line over a general valued field K ; ! (2) f : A2 A2 is a polynomial mapping of the affine plane over a field K equipped! with the trivial norm. In both cases we shall mainly treat the case when K is algebraically closed. DYNAMICS ON BERKOVICH SPACES IN LOW DIMENSIONS 3 1 In (1), one makes essential use of the fact that the Berkovich affine line ABerk is a tree. 1 This tree structure was pointed out already by Berkovich in his original work [Ber90] and is described in great detail in the book [BR10] by Baker and Rumely. It has been exploited by several authors and a very nice picture of the global dynamics on this Berkovich space has taken shape. It is beyond the scope of these notes to give an account of all the results that are known. Instead, we shall focus on one specific problem : equidistribution of preimages of points. This problem, which will be discussed in further detail in 1.1, clearly shows the advantage of working on the Berkovich space as opposed tox the \classical" affine line. 2 As for (2), the Berkovich affine plane ABerk is already quite a beast, but it is possible to get a handle on its structure. We shall be concerned not with the global dynamics of f, but the local dynamics either at a fixed point 0 = f(0) A2, or at 2 2 infinity. There are natural subspaces of ABerk consisting of seminorms that \live" at 0 or at infinity, respectively, in a sense that can be made precise. These two spaces are cones over a tree and hence reasonably tractable. While it is of general interest to study the dynamics in (2) for a general field K, there are surprising applications to complex dynamics when using K = C equipped with the trivial norm. We shall discuss this in 1.2 and 1.3 below. x x 1.1. Polynomial dynamics in one variable. Our first situation is that of a polynomial mapping f : A1 A1 ! of degree d > 1 over a complete valued field K, that we here shall furthermore assume to be algebraically closed and, for simplicity, of characteristic zero. When K is equal to the (archimedean) field C, there is a beautiful theory descri- bing the polynomial dynamics. The foundation of this theory was built in the 1920's by Fatou and Julia, who realized that Montel's theorem could be used to divide the phase space A1 = A1(C) into a region where the dynamics is tame (the Fatou set) and a region where it is chaotic (the Julia set). In the 1980's and beyond, the theory was very significantly advanced, in part because of computer technology allowing people to visualize Julia sets as fractal objects, but more importantly because of the introduction of new tools, in particular quasiconformal mappings. For further information on this we refer the reader to the books [CG93, Mil06]. In between, however, a remarkable result by Hans Brolin [Bro65] appeared in the 1960's. His result seems to have gone largely unnoticed at the time, but has been of great importance for more recent developments, especially in higher dimen- sions. Brolin used potential theoretic methods to study the asymptotic distribution of preimages of points. To state his result, let us introduce some terminology. Gi- ven a polynomial mapping f as above, one can consider the filled Julia set of f, consisting of all points x A1 whose orbit is bounded. This is a compact set. Let 2 ρf be harmonic measure on the filled Julia set, in the sense of potential theory. Now, given a point x A1 we can look at the distribution of preimages of x under f n. There are dn2preimages of x, counted with multiplicity, and we write n∗ P −n n∗ f δx = f ny=x δy, where the sum is taken over these preimages. Thus d f δx is a probability measure on A1. Brolin's theorem now states 1. For a precise definition of what we mean by \tree", see 2. x 4 MATTIAS JONSSON Theorem. For all points x A1, with at most one exception, we have 2 −n n∗ lim d f δx ρf : n!1 ! Furthermore, a point x A1 is exceptional iff there exists a global coordinate z on A1 vanishing at x such2 that f is given by the polynomial z zd. In this case, −n n∗ 7! d f δx = δx for all n.