1: \begin{abstract}

2:   We consider the action of mapping class groups, by pre- and

3:   post-composition, on branched coverings, and encode them

4:   algebraically as \emph{mapping class bisets}.  We show how the

5:   mapping class biset of maps preserving a multicurve decomposes into

6:   mapping class bisets of smaller complexity, called \emph{small

7:     mapping class bisets}.

8: 

9:   We phrase the decision problem of \emph{Thurston equivalence}

10:   between branched self-coverings of the sphere in terms of the

11:   conjugacy and centralizer problems in a mapping class biset, and use

12:   our decomposition results on mapping class bisets to reduce these

13:   decision problems to small mapping class bisets.

14: 

15:   This is the main step in our proof of decidability of Thurston

16:   equivalence, since decidability of conjugacy and centralizer

17:   problems in the small mapping class bisets are well understood in

18:   terms of linear algebra, group theory and complex analysis.

19: 

20:   Branched coverings themselves are also encoded into bisets, with

21:   actions of the fundamental groups. We characterize those bisets that

22:   arise from branched coverings between topological spheres, and

23:   extend this correspondence to maps between spheres with multicurves,

24:   whose algebraic counterparts are \emph{sphere trees of bisets}.

25: 

26:   A concrete outcome of our investigations is the construction of a

27:   Thurston map with infinitely generated centralizer --- while

28:   centralizers of homeomorphisms are always finitely generated.

29: \end{abstract}

30: