On the non-critical exceptional zeros of Katz \(p\)-adic \(L\)-functions for CM fields (Q2161281)

Let \(p\) be an odd prime, \(k\) a CM-field, \(k(p^{\infty})\) the compositum of the \(\mathbb Z_p\)-extensions of \(k\), and \(\Gamma_{\infty}\) the Galois group of \(k(p_{\infty})/k\). Let \(\chi: \mathrm{Gal}(\overline{k}/k)\to \overline{\mathbb Q}^{\times}\) be a non-trivial character of order prime to \(p\). Assume that \(p\) is unramified in \(k\) and that \(\chi\) is unramified at the primes above \(p\). Moreover, assume that the primes above \(p\) split in \(k/k^+\). Fix a subset \(\Sigma\) of the places of \(k\) above \(p\) such that the disjoint union of \(\Sigma\) and \(\Sigma^c\) (the complex conjugates of the places in \(\Sigma\)) equals the set of places above \(p\). Let \(e\) be the number of places \(v\in \Sigma^c\) such that \(\chi\) is trivial when restricted to the local Galois group at \(v\). Let \(\Gamma\) be the Galois group of a \(\mathbb Z_p\)-extension of \(k\) in which no prime above \(p\) splits completely and let \(L_{p, \Sigma}^{\chi}|_{\Gamma} \in \mathbb Z_p^{\mathrm{ur}}[[\Gamma]]\) be the restriction of the \(p\)-adic \(L\)-function of \textit{N. Katz} [Invent. Math., 49, 3, 199--297 (1978; Zbl 0417.12003)] to \(\Gamma\). Then \(L_{p, \Sigma}^{\chi}|_{\Gamma} \in \mathcal{A}_{\Gamma}^e\), where \(\mathcal{A}_{\Gamma}=\mathrm{Ker}(\mathbb Z_p^{\mathrm{ur}}[[\Gamma]]\to \mathbb Z_p^{\mathrm{ur}})\). The main result of the article is a formula for the leading term of \(L_{p, \Sigma}^{\chi}|_{\Gamma} \in \mathcal{A}_{\Gamma}^e/\mathcal{A}_{\Gamma}^{e+1}\) under the assumption of various standard conjectures, all of which hold when \(k\) is imaginary quadratic. This leading term is nonzero under the assumption of these conjectures.