A rational function of degree at least with coefficients in an algebraically closed field is postcritically finite (PCF) if and only if all of its critical points have finite forward orbit under iteration. We show that the collection of PCF rational functions is a set of bounded height in the moduli space of rational functions over the complex numbers, once the well-understood family known as flexible Lattès maps is excluded. As a consequence, there are only finitely many conjugacy classes of non-Lattès PCF rational maps of a given degree defined over any given number field. The key ingredient of the proof is a nonarchimedean version of Fatou’s classical result that every attracting cycle of a rational function over attracts a critical point.
"Attracting cycles in -adic dynamics and height bounds for postcritically finite maps." Duke Math. J. 163 (13) 2325 - 2356, 1 October 2014. https://doi.org/10.1215/00127094-2804674