Mod $\ell$ non-vanishing of self-dual Hecke $L$-values over CM fields and applications

Abstract

Let $\hat{I}»$ be a self-dual Hecke character over a CM field $K$. Let $\mathfrak{p}$ be a degree one prime of the maximal totally real subfield $F$ of $K$ and $\hat{I}{“}_{\mathfrak{p}}$ the Galois group of the anticyclotomic ${\mathbb{Z}}_p$-extension of $K$ unramified outside $\mathfrak{p}$. We prove that $$L(1,\hat{I}»\hat{I}½)\ne 0$$ for all but finitely many finite order characters $\hat{I}½$ of $\hat{I}{“}_{\mathfrak{p}}$ such that $\epsilon (\hat{I}»\hat{I}½)=+1$. For an ordinary prime $\ell$ with respect to the CM quadratic extension $K/F$, we also determine the $\ell$-adic valuation of the normalised Hecke $L$-values $L^{alg}(1,\hat{I}»\hat{I}½)$. As an application, we complete Hsieh's proof of Eisenstein congruence divisibility towards the CM Iwasawa main conjecture over $K$. Our approach and results complement the prior work initiated by Hida's ideas on the arithmetic of Hilbert modular Eisenstein series, studied via mod $\ell$ analogue of the André--Oort conjecture. The previous results established the non-vanishing only for infinitely many characters $\hat{I}½$. Our approach is based on the arithmetic of a CM modular form on a Shimura set, studied via arithmetic of the CM field and Ratner's ergodicity of unipotent flows.