Duke Mathematical Journal

The dynamical André–Oort conjecture: Unicritical polynomials

Abstract

We establish equidistribution with respect to the bifurcation measure of postcritically finite (PCF) maps in any one-dimensional algebraic family of unicritical polynomials. Using this equidistribution result, together with a combinatorial analysis of certain algebraic correspondences on the complement of the Mandelbrot set $\mathcal{M}_{2}$ (or generalized Mandelbrot set $\mathcal{M}_{d}$ for degree $d\gt 2$), we classify all curves $C\subset{\mathbb{A}}^{2}$ defined over ${\mathbb{C}}$ with Zariski-dense subsets of points $(a,b)\in C$, such that both $z^{d}+a$ and $z^{d}+b$ are simultaneously PCF for a fixed degree $d\geq2$. Our result is analogous to the famous result of André regarding plane curves which contain infinitely many points with both coordinates being complex multiplication parameters in the moduli space of elliptic curves and is the first complete case of the dynamical André–Oort phenomenon studied by Baker and DeMarco.

Article information

Source
Duke Math. J., Volume 166, Number 1 (2017), 1-25.

Dates
Revised: 5 February 2016
First available in Project Euclid: 30 September 2016

https://projecteuclid.org/euclid.dmj/1475266423

Digital Object Identifier
doi:10.1215/00127094-3673996

Mathematical Reviews number (MathSciNet)
MR3592687

Zentralblatt MATH identifier
06686500

Citation

Ghioca, D.; Krieger, H.; Nguyen, K. D.; Ye, H. The dynamical André–Oort conjecture: Unicritical polynomials. Duke Math. J. 166 (2017), no. 1, 1--25. doi:10.1215/00127094-3673996. https://projecteuclid.org/euclid.dmj/1475266423

References

• [1] Y. André, Finitude des couples d’invariants modulaires singuliers sur une courbe algébrique plane non modulaire, J. Reine Angew. Math. 505 (1998), 203–208.
• [2] M. Baker and L. DeMarco, Preperiodic points and unlikely intersections, Duke Math. J. 159 (2011), 1–29.
• [3] M. Baker and L. DeMarco, Special curves and post-critically-finite polynomials, Forum Math. Pi 1 (2013), e3.
• [4] M. Baker and R. Rumely, Equidistribution of small points, rational dynamics, and potential theory, Ann. Inst. Fourier (Grenoble) 56 (2006), 625–688.
• [5] H. Bruin, A. Kaffl, and D. Schleicher, Existence of quadratic Hubbard trees, Fund. Math. 202 (2009), 251–279.
• [6] G. Call and J. Silverman, Canonical heights on varieties with morphisms, Compos. Math. 89 (1993), 163–205.
• [7] A. Chambert-Loir, Mesures etéquidistribution sur les espaces de Berkovich, J. Reine Angew. Math. 595 (2006), 215–235.
• [8] L. DeMarco, Dynamics of rational maps: A current on the bifurcation locus, Math. Res. Lett. 8 (2001), 57–66.
• [9] L. DeMarco, Dynamics of rational maps: Lyapunov exponents, bifurcations, and capacity, Math. Ann. 326 (2003), 43–73.
• [10] L. DeMarco, Bifurcations, intersections, and heights, preprint, arXiv:1412.2708v3 [math.DS].
• [11] A. Douady and J. H. Hubbard, Étude dynamique des polynômes complexes: Partie I, Publ. Math. Orsay 84, Université de Paris-Sud, Orsay, 1984. Partie II, Publ. Math. Orsay 85, Université de Paris-Sud, Orsay, 1985.
• [12] R. Dujardin and C. Favre, Distribution of rational maps with a preperiodic critical point, Amer. J. Math. 130 (2008), 979–1032.
• [13] D. Eberlein, S. Mukherjee, and S. Schleicher, Rational parameter rays of the Multibrot sets, preprint, arXiv:1410.6729v2 [math.DS].
• [14] C. Favre and J. Rivera-Letelier, Équidistribution quantitative des points de petite hauteur sur la droite projective, Math. Ann. 355 (2006), 311–361.
• [15] D. Ghioca, L.-C. Hsia, and T. J. Tucker, Preperiodic points for families of polynomials, Algebra Number Theory 7 (2012), 701–732.
• [16] D. Ghioca, L.-C. Hsia, and T. J. Tucker, Preperiodic points for families of rational maps, Proc. Lond. Math. Soc. 110 (2015), 395–427.
• [17] D. Ghioca, H. Krieger, and K. Nguyen, A case of the dynamical André-Oort conjecture, Int. Math. Res. Not. IMRN 2016, 738–758.
• [18] R. Jones, “Galois representations from pre-image trees: An arboreal survey” in Actes de Conférence Théorie de Nombres et Applications, Publ. Math. Besançon Algèbra Théorie Nr., Presses Univ. Franche-Comté, Besançon, 2013, 107–136.
• [19] V. Kauko, Trees of visible components in the Mandelbrot set, Fund. Math. 164 (2000), 41–60.
• [20] R. Mañé, P. Sad, and D. Sullivan, On the dynamics of rational maps, Ann. Sci. Éc. Norm. Sup. 16 (1983), 193–217.
• [21] D. Masser and U. Zannier, Torsion anomalous points and families of elliptic curves, Amer. J. Math. 132 (2010), 1677–1691.
• [22] D. Masser and U. Zannier, Torsion points on families of squares of elliptic curves, Math. Ann. 352 (2012), 453–484.
• [23] C. McMullen, Complex Dynamics and Renormalization, Princeton Univ. Press, Princeton, 1994.
• [24] R. Pink, Profinite iterated monodromy groups arising from quadratic morphisms with infinite postcritical orbits, preprint, arXiv:1309.5804v1 [math.GR].
• [25] R. Pink, Profinite iterated monodromy groups arising from quadratic polynmials, preprint, arXiv:1307.5678v3 [math.GR].
• [26] R. Pink, Finiteness and liftability of postcritically finite quadratic morphisms in arbitrary characteristic, preprint, arXiv:1305.2841v3 [math.AG].
• [27] D. Schleicher, “On fibers and local connectivity of Mandelbrot and multibrot sets” in Fractal Geometry and Applications: A Jubilee of Benoît Mandelbrot, Proc. Sympos. Pure Math. 72, Part 1, Amer. Math. Soc., Providence, 2004, 477–507.
• [28] X. Yuan, Big line bundles over arithmetic varieties, Invent. Math. 173 (2008), 603–649.
• [29] U. Zannier, Some Problems of Unlikely Intersections in Arithmetic and Geometry, Ann. of Math. Stud. 181, Princeton Univ. Press, Princeton 2012.
• [30] S. Zhang, Positive line bundles on arithmetic varieties, J. Amer. Math. Soc. 8 (1995), 187–221.
• [31] S. Zhang, Small points and adelic metrics, J. Algebra Geom. 4 (1995), 281–300.