On the \(\mu\)-invariant of anticyclotomic \(p\)-adic \(L\)-functions for CM fields (Q2450172)

The purpose of this paper is to study the vanishing of the Iwasawa \(\mu\)-invariant of anticyclotomic \(p\)-adic Hecke \(L\)-functions for CM-fields. Let \(p>2\) be an odd prime. Let \({\mathcal F}\) be a totally real field of degree \(d\) over \({\mathbb Q}\) and \({\mathcal K}\) be a totally imaginary quadratic extension of \({\mathcal F}\). Let \(D_{\mathcal F}\) be the discriminant of \({\mathcal F}\). Let \(c\) denote complex conjugation. It is assumed that any \(p\)-prime of \({\mathcal F}\) splits in \({\mathcal K}\). Fix an ordinary CM-type \(\Sigma\). Let \(\chi\) be a Hecke character of infinite type \(k\Sigma\) with \(k\geq 1\). Let \({\mathfrak C}\) be the prime-to-\(p\) conductor of \(\chi\) and decompose \({\mathfrak C}={\mathfrak C}^+{\mathfrak C}^-\) where \({\mathfrak C}^+\) (resp. \({\mathfrak C}^-\)) is a product of split prime factors (resp. ramified or inert prime factors) over \({\mathcal F}\). Let \(Z({\mathfrak C})\) be the ray class group of \({\mathcal K}\) modulo \({\mathfrak C} p^{\infty}\). Let \({\mathcal L}^-_{\chi, \Sigma}\) be the anticyclotomic \(p\)-adic \(L\)-function with the branch character \(\chi\). Let \(\mu^-_{\chi, \Sigma}:=\mu({\mathcal L}^-_{\chi,\Sigma})\) be the \(\mu\)-invariant of \({\mathcal L}^-_{\chi,\Sigma}\). One of the main results of the paper under review is to give an exact formula for \(\mu^-_{\chi, \Sigma}\) when the Hecke character \(\chi\) is self dual in terms of the local invariants \(\mu_p(\chi_v)\) attached to \(\chi\). The results obtained are: \noindent { Theorem A:} If \(p\nmid D_{\mathcal F}\) and \(\chi\) is a self dual Hecke character of \({\mathcal K}^{\ast}\) such that the global root number \(W(\chi^{\ast})=1\) where \(\chi^{\ast}=\chi|\cdot |^{-1/2}_{{\mathbb A}_{ \mathcal K}}\), then \(\mu^-_{\chi,\Sigma}=\sum_{v\mid {\mathfrak C}^-} \mu_p(\chi_v)\). \noindent { Theorem B:} Suppose \(p\nmid D_{\mathcal F}\), \(\mu_p(\chi_v)=0\) for every \(v | {\mathfrak C}^-\) and \(\chi\) is not residually self-dual, namely \(\hat{\chi}_+\not\equiv \tau_{{\mathcal K}/{\mathcal F}} w_{\mathcal F} \pmod {\mathfrak m}\). Then \(\mu^-_{\chi,\Sigma}=0\). These results verify a conjecture of \textit{R. Gillard} [Sémin. Théor. Nombres Bordx., Sér. II 3, No. 1, 13--26 (1991; Zbl 0732.11060)] when \(p\nmid D_{\mathcal F}\). For \({\mathcal K}\) an imaginary quadratic field Theorem A was proved by \textit{T. Finis} [J. Reine Angew. Math. 596, 131--152 (2006; Zbl 1111.11048)]. Both results were proved when \({\mathfrak C}^-=(1)\) by \textit{H. Hida} [Ann. Math. (2) 172, No. 1, 41--137 (2010; Zbl 1223.11131)]. In this paper the results are proved without the assumption \({\mathfrak C}^-=(1)\) by constructing a new family of toric Eisenstein series \(\{{\mathcal E}_a\}_{a\in \mathbf{D}}\) for which the Fourier coefficients can be computed with the help of representation theory and rewriting \({\mathcal E}\) as a linear combination of these \({\mathcal E}_a\).