Abstract:We classify the finite orbits of the mapping class group action on the character variety of Deroin--Tholozan representations of punctured spheres. In particular, we prove that the action has no finite orbits if the underlying sphere has 7 punctures or more. When the sphere has six punctures, we show that there is a unique 1-parameter family of finite orbits. Our methods also recover Tykhyy's classification of finite orbits for 5-punctured spheres. The proof is inductive and uses Lisovyy--Tykhyy's classification of finite mapping class group orbits for 4-punctured spheres as the base case for the induction.
Our results on Deroin--Tholozan representations cover the last missing cases to complete the proof of Tykhyy's Conjecture on finite mapping class group orbits for $\mathrm{SL}_2\mathbb{C}$ representations of punctured spheres, after the recent work by Lam--Landesman--Litt.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the classification problem of finite mapping class group orbits, especially the finite mapping class group orbits of the conjugacy classes of representations of the fundamental group of a sphere with three or more punctures into SL(2, ℂ). Specifically, the paper focuses on Deroin - Tholozan (DT) representations, which is a special type of representation with values in PSL(2, ℝ) and can be parameterized by hyperbolic triangle chains. The main objectives of the paper are as follows:
1. **For a sphere with 7 or more punctures**: Prove that all mapping class group orbits of the conjugacy classes of DT representations are infinite. This is achieved through Theorem A (Theorem 5.9).
2. **For a sphere with 6 punctures**: Show that there exists a unique 1 - parameter family of finite orbits. These orbits are generated by DT representations that map all six peripheral loops to the same elliptic conjugacy class in PSL(2, ℝ). This is achieved through Theorem B (Theorems 6.1 & 6.2).
3. **For a sphere with 5 punctures**: Recover Tykhyy's classification of finite mapping class group orbits. These results are achieved through Theorem 6.4.
4. **Complete the proof of Tykhyy's conjecture**: The paper finally proves Tykhyy's conjecture, that is, if the sphere Σ has 7 or more punctures, then the conjugacy class of a Zariski - dense representation ρ can have a finite mapping class group orbit only when ρ maps all but at most 6 peripheral loops to plus or minus the identity matrix. This is achieved through Theorem C (Theorem 7.9).
### Main contributions
- **Theorem A**: Proved that for a sphere with 7 or more punctures, all mapping class group orbits of the conjugacy classes of DT representations are infinite.
- **Theorem B**: For a sphere with 6 punctures, the only existing finite orbits are the "joker hat" orbits, which are generated by specific DT representations.
- **Theorem C**: Completed the proof of Tykhyy's conjecture, confirming that for a sphere with 7 or more punctures, a finite mapping class group orbit exists only under specific conditions.
### Method overview
- **Induction method**: Use Lisovyy - Tykhyy's classification of finite mapping class group orbits for a sphere with 4 punctures as the basis of induction and gradually extend to cases with more punctures.
- **Triangle chain model**: Utilize the triangle chain model of DT representations to transform the problem into a computational problem in hyperbolic geometry.
- **Dehn twist**: Use Dehn twist generators to describe the action of the mapping class group and calculate orbit points through algorithms.
### Conclusion
Through detailed mathematical proofs and geometric methods, the paper successfully classifies the finite mapping class group orbits on spheres with different numbers of punctures and finally completes the proof of Tykhyy's conjecture. These results not only enrich the research on mapping class group dynamics but also provide an important foundation for further research in related fields.