Abstract:Let $K$ be a number field, let $v$ be a finite place of $K$, let $f\in K[z]$ be a degree $d\geqslant2$ polynomial with $v|d$, and let $a\in K$. We show that if $f$ is postcritically bounded and has potential good reduction with respect to $v$, then the arboreal representation associated to the pair $(f,a)$ is either finite or infinitely wildly ramified above $v$.
What problem does this paper attempt to address?
### What problem does this paper attempt to solve?
This paper mainly explores the infinite wild ramification phenomenon of the arboreal representation generated by the polynomial \( f \) and the point \( a \) over the number field \( K \) under specific conditions. Specifically, the author studies that when the polynomial \( f \) is post - critically bounded and has potentially good reduction at a certain finite place \( v \), the tree representation associated with \( (f, a) \) is either finite or infinitely wildly ramified at \( v \).
#### Main problem description
1. **Background setting**:
- \( K \) is a number field.
- \( v \) is a finite place of \( K \).
- \( f\in K[z] \) is a polynomial of degree \( d\geq2 \), and \( v\mid d \).
- \( a\in K \) is a point.
2. **Core assumptions**:
- \( f \) is post - critically bounded and has potentially good reduction at \( v \).
- \( p \) is the unique rational prime number lying below \( v \).
3. **Objective**:
- Prove that if \( f \) satisfies the above conditions, then the tree representation \( K_\infty/K \) associated with \( (f, a) \) is infinitely wildly ramified at \( p \).
#### Specific contributions
- **Theorem 1**: Let \( K \) be a number field, and \( v \) be a finite place of \( K \) lying over the rational prime number \( p \). Suppose \( f\in K[z] \) is a polynomial of degree \( d \), post - critically bounded at \( v \) and has potentially good reduction, and \( p\mid d \). Let \( a\in K \) such that \( \#T_\infty(f, a)=\infty \), then \( K_\infty/K \) is infinitely wildly ramified at \( p \).
- **Theorem 2**: Let \((K, v)\) be a local field of characteristic 0 with the residue field of characteristic \( p \). Suppose \( f\in O_K[z] \) is a monochromatic post - critically bounded polynomial fixing 0, of degree \( d \), and \( p\mid d \). Let \( a\in O_K \) not in the post - critical set of \( f \). Then \( K_\infty/K \) is infinitely wildly ramified.
Through these results, the author has solved the problem regarding the infinitely wild ramification property of the tree representation under the conditions of post - critical boundedness and potential good reduction of polynomials. This not only deepens the understanding of such polynomial dynamical systems but also provides a theoretical basis for subsequent research.