A note on \(p\)-adic \(q\)-\(\zeta\)-functions. II (Q902142)

For a fixed real number \(0 < q < 1\), let \(f_q ( x) = (q-x - 1)/(1 - q)\) and define, for \(\mathrm{Re}( s) > 1\), the \(q- \zeta\) function \(\zeta q ( s) = \sum^\infty_1 q^{-n} fq ( n)^{-s}\), which can be analytically continued to \(\mathbb C\), except for a simple pole at \(s = 1\), and which satisfies, for any integer \(k \geq 1, \zeta_q (1 - k) = \frac {(-1)^{ k-1}}{k} B_k (q)\), where \(B_k (q)\) is the \(q\)-Bernoulli number defined by \(B_0 (q) =\frac{q - 1}{ \log q}\) and \((qB_{k - 1} ( q) + 1)^k - B_k (q) =1\) if \(k = 1\), and \(0\) if \(k > 1\). For an odd prime number \(p\) and (to simplify) a fixed rational number \(q\) such that \(0 < q < 1\) and \(|1 - q|{}_ p < 1\), it has been shown by \textit{N. Koblitz} [J. Number Theory 14, 332--339 (1982; Zbl 0501.12020)], and by the author [J. Number Theory 64, No. 1, 100--103, Art. No. NT972107 (1997; Zbl 0876.11055)], that there exists a locally analytic function \(\zeta_{ p,q} (s)\) on \(\mathbb Z_p\) such that for any positive integer \(m \equiv 0 \mod (p - 1)\) one has \(\zeta_{ p,q} (1 - m) \equiv (1 - p^{m-1})\frac{B_m (q)}{m}\). Here the author reproves this by using a unified approach due to \textit{K. Shiratani} and \textit{T. Imada} [Mem. Fac. Sci., Kyushu Univ., Ser. A 46, No. 2, 351--365 (1992; Zbl 0777.11050)], who introduced the numbers \(B_n (F, h)\) defined by \[ \frac {Xh' (e_F (X))}{\lambda'_F(e_F (X))h(e_F (X))}=\sum^\infty_0 \frac {B_n(F,h)}{n!} X^n, \] and constructed a \(p\)-adic interpolation function \(\zeta_p ( s, F, h )\); here \(F(X, Y) \in \mathbb Z_p [[X, Y]]\) is any Lubin-Tate formal group, and \(\lambda_F (X)\) and \(e_F (X)\) denote the logarithmic series and the exponential series of \(F(X, Y)\) with \(\lambda'{}_F (0) = e '{}_F (0) = 1\); also, \(h(X)\) denotes any meromorphic series with coefficients in the ring of integers of \(\mathbb C_p\), with some unit as the leading term. If \(F ( X, Y) = ( X + 1)( Y + 1) - 1\) and \(h(X) = X\), one obtains \(B_n ( F, h ) =\) the usual Bernoulli number \(B_n\) and \(\zeta_p ( s, F, h )\) coincides with the Kubota-Leopoldt \(p\)-adic zeta function. A suitable choice of \(F ( X, Y)\) and \(h(X)\) gives the \(p\)-adic zeta function associated with a CM elliptic curve with good ordinary reduction at \(p\). And here, the function \(\zeta_{p,q} (s)\) can be obtained by taking \(F( X, Y) = ( X + 1)( Y + 1) - 1\) and a suitable \(h(X)\).