On the integrality of the Taylor coefficients of mirror maps. II (Q846259)

This paper continues to study the integrality property of the Taylor coefficients of the series \(q(z) =z \exp (G(z)/F(z))\), where \(F(z)\) and \(G(z) + \log(z) F(z)\) are specific solutions of certain hypergeometric differential equations with maximal unipotent monodromy at \(z = 0\). The authors' investigation on this problem has begun in the first part [Duke Math. J. 151, No. 2, 175--218 (2010; Zbl 1267.11077)]. The explicit question addressed in this second paper is to finding the largest integer \(v\) such that the Taylor coefficients of \((z^{-1} q(z))^{1/v}\) are still integers. In particular, the Dwork-Kontsevich sequence \((u_N)_{N\geq 1}\) is determined. Here \(u_N\) is the largest integer such that \(q_N (z)^{1/u_N}\) is a series with integer coefficients; \(q_N (z) = \exp (G_N (z)/F_N (z))\), \(F_N (z) =\sum_{m=0}^\infty (N m)!z^m /m!^N\) and \(G_N (z) =\sum_{m=1}^\infty (H_{N m} - H_m )(N m)!z^m /m!^N\), with \(H_n\) denoting the \(n\)-th harmonic number. This result is obtained assuming the conjecture on \(H_n\) that there are no prime number \(p\) and integer \(N\) such that the \(p\)-adic value of \(H_N - 1\) is greater than 3.