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}