A proof of Thurston's topological characterization of rational functions (Q1336313): Difference between revisions

From authors' introduction: ``The criterion proved in this paper was stated by Thurston in November 1982. Thurston lectured on its proof on several occasions, notably at the NSF summer conference in Duluth, 1983, where one of the authors (JHH) was present. Using the notes of various attendants at these lectures, we have reconstructed a proof that we have made as precise as we could. Since this required a certain amount of work on our part, we thought it might be of some use to present this proof to the reader.'' Now, let us consider an orientation-preserving branched covering map \(f: S^ 2\to S^ 2\). The critical set of \(f\), post-critical set of \(f\) and the notion of the orbifold, multi-curve, Thurston linear transformation are defined in section 1, which are needed to formulate Thurston's criterion, i.e., \(f\) is equivalent to a rational function iff a largest eigenvalue of Thurston's linear transformation is less than 1. To prove the theorem, the basic construction is a mapping \(\sigma_ f\) of an appropriate Teichmüller space \({\mathfrak T}_ f\) to itself. The space \({\mathfrak T}_ f\) is the space of smooth almost-complex structures on \(S^ 2\). The paper is well written and organized.