Decomposition of postcritically finite rational maps with non-empty Julia sets

A canonical decomposition of postcritically finite rational maps and their maximal expanding quotients

We provide a natural canonical decomposition of postcritically finite rational maps with non-empty fatou sets based on the topological structure of their julia sets.The building blocks of this decomposition are maps where allfatou components are jordan disks with disjoint closures (sierpi\'{n}ski maps), as well as those where any two fatou components can be connected through a countable chain of fatou components with common boundary points (crochet or newton-like maps).We provide several alternative characterizations for our decomposition, as well as an algorithm for its effective computation.We also show that postcritically finite rational maps have dynamically natural quotients in which all crochet maps are collapsed to points, while all all sierpi\'{n}ski maps become small spheres ; the quotient is a maximal expanding cactoid.