Preperiodic Points and Unlikely Intersections joint work with Laura DeMarco Matthew Baker Georgia Institute of Technology AMS Southeastern Section Meeting November 6-7, 2010 Preperiodic points • Let f(z) be a polynomial with complex coefficients. • A complex number z0 is called preperiodic for f if the orbit {z0, f(z0), f(2)(z0),…} is finite. Iteration of z2 + c • Given a complex number a, let Sa be the set of complex parameters c such that a is preperiodic for z2 + c. • When a=0, the points of S0 belong to the Mandelbrot set M and the closure of S0 contains the entire boundary of M. The Mandelbrot Set QuickTime™ and a decompressor are needed to see this picture. Unlikely intersections Lemma: Sa is always a (countably) infinite set. • Now fix two complex numbers a and b. • What can we say about the set Sa Sb? In other words, for how many parameters c can a and b be simultaneously preperiodic? • Note that if a2 = b2 then Sa = Sb so Sa Sb is infinite. Are a and b preperiodic? Quic kTime™ and a dec ompres sor are needed to s ee this pic tur e. How about now? QuickTime™ and a decompressor are needed to see this picture. Main theorem Theorem (B., DeMarco): If a2 ≠ b2 then Sa Sb is finite. Although the statement is purely about complex dynamics, the proof uses ideas from number theory and involves (generalizations of) p-adic numbers. History of the problem At an AIM workshop in January 2008, Umberto Zannier (motivated by questions of David Masser) asked if S0 S1 is finite. Our theorem shows that the answer is yes… though we don’t know what S0 S1 is! Some experimental data z 2: 0 --> 0, 1 --> 1 z2 - 1: 0 --> -1 --> 0, 1 --> 0 --> -1 --> 0 z2 - 2: 0 --> -2 --> 2 --> 2, 1 --> -1 --> -1 Conjecture (B., Connelly): S0 S1 = {0,-1,-2}. The theorem of Masser & Zannier Theorem (Masser-Zannier): The set of complex numbers such that both A() and B() are torsion in the Legendre curve is finite. Here we take An illustration of the MasserZannier theorem QuickTime™ and a decompressor are needed to see this picture. The “local-global principle” Lemma: If f is a polynomial with rational coefficients, then a rational number z0 is preperiodic for f if and only if the orbit {z0, f(z0), f(2)(z0),…} is bounded in the real numbers and also in the p-adic numbers for all prime numbers p. Example: For f(z) = z2 - 1/2, the orbit of 0 is {0, -1/2, -1/4, -7/16,…} which is bounded in the usual topology on the rationals but not in the 2-adic topology. Boundedness loci Given a complex number a, let Ma be the set of complex parameters c such that a stays bounded under iteration of z2 + c. We call Ma the generalized Mandelbrot set associated to a. a=0 a=1 M0 and M1 superimposed QuickTime™ and a decompressor are needed to see this picture. Complex potential theory • Given a compact subset E of the complex plane and a probability measure supported on E, define the energy of to be • If there is a probability measure of finite energy supported on E, then there is a unique such measure E having minimal energy, called the equilibrium measure for E. Capacity The capacity of E is defined to be (or zero if there is no probability measure of finite energy supported on E.) Lemma: Proof of the main theorem: algebraic case Sketch of the proof: Assume a,b are algebraic and that Sa Sb = {c1,c2,c3,…} is infinite. Easy lemma: All cn’s must be algebraic. Let n be the discrete probability measure on the complex plane supported equally on all Galois conjugates of cn. Proof of the main theorem: algebraic case (cont’d) • Using the fact that the cn’s belong to Sa, a suitable arithmetic equidistribution theorem shows that the sequence {n} converges weakly to the equilibrium measure a for Ma. • By symmetry, {n} also converges to b. Hence a = b. • This implies (taking supports and ‘filling in’) that Ma = Mb. • An argument from univalent function theory now shows that a2 = b2. What if a and b are transcendental? • If a is transcendental, then so is b and a,b, and all cn’s belong to the algebraic closure of • We think of k as the function field of an algebraic curve. • Can we mimic the above proof with algebraic numbers replaced by algebraic functions? The product formula • The proof of the ‘suitable equidistribution theorem’ uses the product formula for algebraic numbers, which for a nonzero rational number just says that • There is also a product formula for algebraic functions, which says that a rational function on the projective line has the same number of zeros as poles, counting multiplicities. The product formula for algebraic functions • Let k be the field of rational functions over some algebraically closed constant field. • The “places” (equivalence classes of absolute values) of k are in 1-1 correspondence with points of the projective line over k. • If a place v corresponds to a point p of P1(k), we define |f|_v = exp(-ord_p(f)) for any nonzero rational function f in k. Then Absolute values on fields • In the algebraic function case, all absolute values appearing in the product formula are non-Archimedean. • So in order to mimic our proof from the algebraic case, we need to use some sort of non-Archimedean potential theory. • Luckily, such a theory exists! But one needs to use Berkovich’s theory of nonArchimedean analytic spaces. The Berkovich affine line • Let K be a complete and algebraically closed non-Archimedean field. • The Berkovich affine line over K is a locally compact and path-connected space containing K (which is not locally compact and is totally disconnected) as a dense subspace. The Berkovich affine line The Berkovich affine line over K has the structure of an infinitely branched real tree: Definition of • As a set, the Berkovich affine line consists of all real-valued multiplicative semi-norms on K[T] which extend the usual absolute value on K. It is endowed with the weakest topology making the absolute value of a polynomial f in K[T] continuous. • Each element of K gives a semi-norm (by evaluation), but there are lots of other seminorms, e.g. the supremum of |f(x)| as x ranges over some closed disk D in K. (This is multiplicative by `Gauss’ Lemma’.) Potential theory on the Berkovich line The extra points allow one to `connect up’ the totally disconnected space K in a natural way. The tree structure on the Berkovich line allows one to do potential theory. As in the complex case, for compact subsets of the Berkovich line one can define capacities, equilibrium measures, Green’s functions, etc. (B.-Rumely “Potential Theory and Dynamics on the Berkovich Projective Line”, see also Thuillier, Favre-Jonsson) Proof of the main theorem (transcendental case) Sketch of the proof: Assume a,b are transcendental and that Sa Sb = {c1,c2,c3,…} is infinite. Fix a place v of Let n be the discrete probability measure on the v-adic Berkovich affine line which is supported equally on all conjugates of cn. Conclusion of the proof • By equidistribution, the v-adic generalized Mandelbrot sets Ma,v and Mb,v coincide for all places v of k. • By a local-global principle for function fields due to Benedetto (2005), it follows that a is preperiodic for z2+c iff b is, i.e. Sa=Sb. • By Montel’s theorem, Sa (resp. Sb) determines Ma (resp. Mb) inside • Hence Ma = Mb and we conclude as in the algebraic case! Variant of the main theorem Similar methods allow us to prove the following result: Theorem (B.,DeMarco): If f,g are rational functions with complex coefficients then Preper(f) Preper(g) is infinite iff Preper(f) = Preper(g). Remark: This was recently proved independently (and generalized to higher dimensions) by X. Yuan and S. Zhang. When f and g have algebraic coefficients, our result follows from a theorem of A. Mimar.

Download
# Powerpoint