Recurrent critical points and typical limit sets of rational maps (Q4226345)

Let \(f\) be a rational map of the Riemann sphere \(\overline{\mathbb{C}}\) and \(\mu\) normalized Lebesgue measure. It is known that for \(f\) either the limit set of \(\mu\)-a.e. point in the Julia set, \(J(f)\), is contained in the postcritical set, or \(J(f)\) is the entire sphere and \(f\) is conservative, ergodic and exact. In this paper, the authors replace in the above condition `the postcritical set' with the union of limit sets of all recurrent critical points. The main theorem is as follows. Let \(C\) be the set of all recurrent critical points of \(f\) and \(A_f= \bigcup_{c\in C}\omega(c)\). Then exactly one of the following holds: (1) \(\mu(J(f))= 0\), and for \(\mu\)-a.e. point \(z\) on the sphere, \(\omega(z)\) is either a simple closed curve or an attractive or parabolic periodic orbit, (2) \(\mu(J(f))>0\), and \(\omega(z)\subset A_F\) for \(\mu\)-a.e. \(z\in J(f)\), or (3) the set of points \(z\in J(f)\) such that \(\omega(z)\not\subset A_f\) has positive \(\mu\)-measure, \(f\) is exact, ergodic and conservative, and \(\omega(z)= \overline{\mathbb{C}}= J(f)\) for \(\mu\)-a.e. \(z\in\overline{\mathbb{C}}\).