Conservative exact rational maps of the sphere (Q1283024)

Let \(T\) be an endomorphism of a Lebesgue probability space \((X,{\mathcal B}, \mu)\) and let \(\mu\)-almost every point has at most a countable number of preimages under \(T\). \(T\) is called \(d\)-to-1 endomorphism if it is both forward and backward nonsingular and there exists a partition of the phase space \(X\) into \(d\) elements \(\{X_i\}_{i=1}^d\) such that \(TX_i=X\) and the restriction \(T| X_i\) is 1-to-1 for each \(i\). The main results of the paper deal with sufficient conditions for conservativity and exactness of \(d\)-to-1 endomorphisms. It is shown also that all rational maps of degree greater than 1 are either conservative and exact with respect to normalized Lebesgue measure on the sphere, or have an attracting property inside the Julia set. Some new examples of conservative and exact rational maps are discussed as well.