\(p\)-adic interpolation of the coefficients of Hurwitz series attached to height one formal groups (Q1801941)

Let \(F\) be a formal group over the ring of integers of a finite extension of \(\mathbb{Q}_ p\), \(\varepsilon(t)\) the formal exponential function of \(F\), and \(f\) a formal power series with coefficients in the ring of integers of \(\mathbb{C}_ p\). Then \(f(\varepsilon (t))= \sum_{k=0}^ \infty c_ k {{t^ k} \over {k!}}\) is called a Hurwitz series attached to \(F\). The author has shown in [Rocky Mt. J. Math. 15, 1-11 (1985; Zbl 0578.14041)] that its coefficients \(c_ k\) satisfy Kummer congruences. In the present paper he shows that if \(F\) is of height one, certain ``twisted'' versions \(\widetilde{c}_ k^*\) of the coefficients \(c_ k\) can be \(p\)-adically interpolated by a continuous function \(c(s)\) on \(\mathbb{Z}_ p\) which moreover turns out to be an element of the Iwasawa algebra. Therefore the Kummer congruences for the \(c_ k\) can be deduced from \textit{J.-P. Serre's} characterization of the Iwasawa algebra [Modular functions of one variable III, Springer Lect. Notes Math. 350, 191-268 (1973; Zbl 0277.12014)].