2103ef34c49f7c4b.tex
1: \begin{abstract}
2: 	For the polynomial $\phi_c(z) := z^2 + c$ with rational $c$,
3: 	Vivaldi and Hatjispyros demonstrated that a subgroup
4: 	of the Galois group of the $N$-th dynatomic polynomial $\Phi_N$
5: 	mimics the action of $\phi_c$ on periodic points of exact period
6: 	$N$ whenever $\Phi_N$ is irreducible in $\Q[z]$.
7: 	However, the polynomial $\Phi_N$ is known to be reducible
8: 	for infinite families of $c$ and $N$ and it is not known whether
9: 	$\Phi_N$ is typically irreducible in $\Q[z]$.
10: 	
11: 	We introduce a general property capturing this relation
12: 	for the general unicritical polynomial $\phi_{d, c}(z) := z^d + c$
13: 	with $d \geq 2$ and rational $c$,
14: 	and show that it is always satisfied for all periods $N$ if
15: 	$c$ is not contained in a thin set of the affine line over the
16: 	rationals.
17: 	For the dynatomic modular curve $C_0(N)$ and any quadratic number
18: 	field $K$, this implies the equality $C_0(N)(K) = C_0(N)(\Q)$
19: 	of the set of $K$-rational points of $C_0(N)$ and the set of
20: 	$\Q$-rational points of $C_0(N)$ for almost
21: 	all rational values of $c$ in the sense of height density. 
22: 	Furthermore, if $N$ is odd then any periodic point of exact period
23: 	$N$ contained in $K$ must actually be rational for such $c$.
24: \end{abstract}