Hecke $L$-values, definite Shimura sets and Mod $\ell$ non-vanishing
Ashay A. Burungale, Wei He, Shinichi Kobayashi, Kazuto Ota
TL;DR
This work develops an automorphic, CM-driven framework to establish mod $\ell$ non-vanishing of central Hecke $L$-values for self-dual characters over imaginary quadratic fields, connecting CM periods with automorphic periods on definite Shimura sets via explicit Waldspurger formulas. A key innovation is the construction of $\ell$-optimal test vectors for supercuspidal representations and an $\ell$-integral comparison of quaternionic and CM periods, enabling precise control of $\ell$-adic valuations across split and inert primes. The authors apply these results to Rubin’s $p$-adic $L$-function, proving $\mu$-invariant vanishing in the anticyclotomic CM setting and deriving consequences for CM Iwasawa theory at inert primes and for CM Selmer groups. The paper also provides a novel perspective on Rubin’s theory by linking automorphic and $p$-adic constructions, with potential extensions to CM fields and broader self-dual families. Overall, it advances the understanding of mod $\ell$ phenomena in CM and anticyclotomic Iwasawa theory through a robust automorphic–Shimura set approach.
Abstract
Let $λ$ be a self-dual Hecke character over an imaginary quadratic field $K$ of infinity type $(1,0)$. Let $\ell$ and $p$ be primes which are coprime to $6N_{K/\mathbb{Q}}({\mathrm cond}(λ))$. We determine the $\ell$-adic valuation of Hecke $L$-values $L(1,λχ)/Ω_K$ as $χ$ varies over $p$-power order anticyclotomic characters over $K$. As an application, for $p$ inert in $K$, we prove the vanishing of the $μ$-invariant of Rubin's $p$-adic $L$-function, leading to the first results on the $μ$-invariant of imaginary quadratic fields at non-split primes. Our approach and results complement the work of Hida and Finis. The approach is rooted in the arithmetic of a CM form on a definite Shimura set.The application to Rubin's $p$-adic $L$-function also relies on the proof of his conjecture. Along the way, we present an automorphic view on Rubin's theory.
