A note on a global version of the Coleman embedding (Q1087581)

Let \(\ell\) be an odd prime number, \((\zeta_ n)\) a system of \(\ell^ n\)-th roots of unity satisfying \(\zeta^{\ell}_{n+1}=\zeta_ n\), and \(\Omega_{\ell}\) the maximal abelian pro-\(\ell\) extension of \({\mathbb{Q}}(\mu_{\ell^{\infty}})\) unramified outside \(\ell\). Assuming the conjecture that the \(\ell\)-adic L-functions \(L_{\ell}(m,\omega^{1-m})\neq 0\) for any odd integer \(m\geq 3\), the author studies a global extension \(\psi: Gal(\Omega^- _{\ell}/{\mathbb{Q}}(\mu_{\ell^{\infty}}))\to {\mathbb{Q}}_{\ell}[[ T]]^*\) of the Coleman embedding \(U\to {\mathbb{Z}}_{\ell}[[ T]]^*\) (with respect to the system \((\zeta_ n))\), where U is the \(\ell\)- inertia group in \(Gal(\Omega^- _{\ell}/{\mathbb{Q}}(\mu_{\ell^{\infty}}))\). To be more precise, it is shown that \(\psi^{-1}({\mathbb{Z}}_{\ell}[[ T]]^*)=U\cdot \ker \psi\) if \(L_{\ell}(m,\omega^{1- m})\neq 0\) for m as above. Moreover, again assuming the conjecture that \(L_{\ell}(m,\omega^{1-m})\neq 0\) (for m as above), the author gives a necessary and sufficient condition for the field corresponding to ker \(\psi\) to be \(\Omega^-_{\ell}\).