On the connected part of the covariant Tate p-divisible group and the \(\zeta\)-function of the family of hyperelliptic curves \(y^ 2=1+\mu x^ N\) modulo various primes (Q910452)

Let C be the hyperelliptic curve defined by the equation \(y^ 2=1+\mu x^ N\) over the ring W(k) of Witt vectors of a finite field k (where \(\mu\) is a unit in W(k) and \(N>2\) is prime to \(p=char(k)\neq 2)\). To investigate the formal completion of the Jacobian \(J_ p\) of the reduction \(C_ p\) of C mod pW(k), the authors introduce the ``structural cycles'' \(\gamma_ t,\quad t\in \{1,...,[(N-1)/2]\},\) defined by elementary arithmetic properties of N and p. For each structural cycle \(\gamma\) they define a W(k)-module \(TR_{\gamma}\) (with actions of Frobenius F and Verschiebung V) by means of the p-adic gamma function. The main result is that \(TR:=\oplus_{\gamma}TR_{\gamma} \) is isomorphic as an W(k)[F,V]-module to the connected component of the dual of the Dieudonné-module of \(J_ p\). The isogeny type of \(TR_{\gamma}\) is also determined, as well as the characteristic polynomial of the Frobenius action on \(TR_{\gamma}\) and on the p- divisible group associated to \(J_ p\). This last formula uses the work of \textit{B. H. Gross} and \textit{N. Koblitz} [Ann. Math., II. Ser. 109, 569- 581 (1979; Zbl 0406.12010)]. The paper generalizes results that were obtained by \textit{T. Honda} [Osaka J. Math. 3, 131-133 (1976; Zbl 0345.12101)].