Integrality properties of Böttcher coordinates for one-dimensional superattracting germs

Abstract

Let $R$ be a ring of characteristic $0$ with field of fractions $K$, and let $m\ge2$. The Böttcher coordinate of a power series $φ(x)\in x^m + x^{m+1}R[\![x]\!]$ is the unique power series $f_φ(x)\in x+x^2K[\![x]\!]$ satisfying $φ\circ f_φ(x) = f_φ(x^m)$. In this paper we study the integrality properties of the coefficients of $f_φ(x)$, partly for their intrinsic interest and partly for potential applications to $p$-adic dynamics. Results include: (1) If $p$ is prime and $R=\mathbb Z_p$ and $φ(x)\in x^p + px^{p+1}R[\![x]\!]$, then $f_φ(x)\in R[\![x]\!]$. (2) If $φ(x)\in x^m + mx^{m+1}R[\![x]\!]$, then $f_φ(x)=x\sum_{k=0}^\infty a_kx^k/k!$ with all $a_k\in R$. (3) In (2), if $m=p^2$, then $a_k\equiv-1\pmod{p}$ for all $k$ that are powers of $p$.