Derivative of power series attached to \(\Gamma\)-transform of \(p\)-adic measures (Q1038478)

Let \(p\) be a prime and let \(\theta\) denote an even nontrivial character whose conductor \(f_\theta\) is not divisible by \(p^2\) (or by 8, if \(p=2\)). The author studies the Iwasawa power series \(f(T;\theta)\) representing the \(p\)-adic \(L\)-functions \(L_p(s,\chi)\) where \(\theta\) is the ``first factor'' of \(\chi\). This power series has its coefficients in the integer ring \({\mathfrak o}\) of a finite extension of \({\mathbb Q}_p\) containing the values of \(\theta\). We know that \(f(T;\theta)\not\equiv 0 \pmod \pi\), where \(\pi\) is a prime element of \({\mathfrak o}\). Indeed, this is the famous Ferrero--Washington theorem, also proved by \textit{W. Sinnott} [Invent. Math. 75, 273--282 (1984; Zbl 0531.12004)]. More recently, \textit{B. Anglès} [J. Number Theory 122, No. 1, 221--246 (2007; Zbl 1107.11046)] has shown that \(f'(T;\theta)\not\equiv 0 \pmod p\) if \(f_\theta = p > 2\). The present author extends these results by proving that \(Q(D)f(T;\theta)\not\equiv 0 \pmod \pi\), where \(D = T{d\over {dT}}\) and \(Q\) is a polynomial, \(Q(x)\in {\mathfrak o}\) for all \(x\in{\mathbb Z}_p\), such that \(Q(x) \not\equiv 0 \pmod \pi\) for some \(x\in{\mathbb Z}_p\). The proof uses a homological argument based on the work of [\textit{H. Hida}, Elementary theory of \(L\)-functions and Eisenstein series. London Mathematical Society Student Texts. 26. Cambridge: Cambridge University Press (1993; Zbl 0942.11024)] and developed by the author in the previous article [J. Number Theory 127, No. 1, 47--63 (2007; Zbl 1210.11064)]. An important part is also played by a method of Sinnott [op.cit.].