Abstract:We analyze finite orbits of the natural braid group action on the character variety of the $n$ times punctured sphere. Building on recent results relating middle convolution and finite complex reflection groups, our work implements Katz's middle convolution to explicitly classify finite orbits in the $SL_2(\C)$-character variety of the punctured sphere. We provide theoretical results on the existence of finite orbits arising from the imprimitive finite complex reflection groups and formulas for constructing such examples when they exist. In the primitive finite complex reflection groups, we perform an exhaustive search and provide computational results. Our contributions also include Magma computer code for middle convolution and for computing the orbit under this action when it is known to be finite.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to study the finite orbits of the action of the finite braid group on the SL2(C)-character variety of the punctured sphere. Specifically, the author classifies the representations of the finite complex reflection groups by implementing Katz's middle convolution operation, in order to explicitly identify these finite orbits. The main objectives of the paper include:
1. **Classifying finite orbits**: Based on the recent research results on middle convolution and finite complex reflection groups, the author uses Katz's middle convolution method to classify the finite orbits on the SL2(C)-character variety generated by the finite complex reflection groups.
2. **Providing theoretical results**: The author provides theoretical results on the existence of finite orbits generated from irreducible finite complex reflection groups, and gives formulas for constructing these examples.
3. **Calculation and verification**: The author conducts an exhaustive search and provides calculation results, especially in the original finite complex reflection groups. In addition, the author also provides Magma computer code for middle convolution and calculating the action under known finite orbits.
### Main contributions
1. **Classification of irreducible finite complex reflection groups**:
- For irreducible finite complex reflection groups, the author classifies all the finite orbits generated from these groups through middle convolution.
- Specifically, for irreducible finite complex reflection groups of rank 3 and 4, the author lists in detail all possible finite orbits and provides specific representatives of these orbits.
2. **Classification of reducible finite complex reflection groups**:
- For reducible finite complex reflection groups, the author proves that there are no nice n - tuples with rank greater than or equal to 5.
- For reducible finite complex reflection groups of rank 3 and 4, the author provides infinite families of nice n - tuples and gives specific conditions.
3. **Implementation of middle convolution**:
- The author implements Magma code for calculating middle convolution and makes this code public so that other researchers can further apply this operation.
### Research background
- **Dynamics research**: The dynamics of the natural action of the braid group on the character variety has been studied for more than a century. In recent years, the classification of the finite orbits of this action has attracted increasing interest, leading to the emergence of many new techniques and examples.
- **Middle convolution**: Katz initially introduced middle convolution in the category of sheaves. Dettweiler and Reiter later carried out an algebraic reconstruction so that it can be applied to the calculation of matrix tuples.
- **Finite complex reflection groups**: Shephard and Todd classified all finite irreducible complex reflection groups in 1954. These groups can be divided into an infinite family G(m, p, n) and 34 exceptional cases G3 to G37.
### Method overview
1. **Defining nice tuples**:
- A T - tuple A = [A1, A2,..., AT] is called nice if it satisfies the following conditions:
1. All Ai are reflections in the group W.
2. W = ⟨A1, A2,..., AT⟩.
3. (A1A2...AT)^(-1) has a non - trivial eigenvalue λ ≠ 1, and its multiplicity is T - 2.
2. **Application of middle convolution**:
- By performing middle convolution on the first T matrices to obtain 2x2 matrices, and then by taking the (T + 1) - th matrix as the inverse product of the first T matrices, a representation on SL2(C) is induced.
- Since middle convolution is equivariant with the braid group action, the resulting T + 1 - tuple is necessarily MCG - finite.
3. **Calculating braid group orbits**:
- By calculating the orbit of the induced tuple in the character variety, its finiteness is verified. The author uses Magma code to implement this algorithm.
### Conclusion
- The author successfully classifies all the finite orbits generated from the finite complex reflection groups through middle convolution.
- Detailed theoretical results and calculation methods are provided, which lay the foundation for future research.
### Related work
- **Historical background**: MCG - finite representations correspond to algebraic solutions of certain nonlinear differential equations (such as the Painlevé VI equation), which has inspired a lot of research on finite orbits.
- **Previous work**: Hitchin, Dubrovin - Mazzocco, Boalch, Kitae