We revisit the proposed equality between discrete Fourier transforms of -adic –values and -adic –derivatives for odd characters modulo a prime . The clean identity is false in general. Building on Coleman reciprocity and the Gross–Koblitz formula, we prove an exact two-term decomposition: for each odd, nontrivial Dirichlet character , with constants and depending only on and the fixed branch of , but independent of . Subtracting the –block yields a \emph{renormalized} local input uniformly in odd, nontrivial . Plumbing these renormalized locals at every finite place into the Weil explicit formula (with the standard Li kernel at ) reproduces exactly the classical Li coefficients. We also record a short, reproducible verification protocol; a tiny table for illustrates the –independence of .

生成讲解博客的中文版本

生成AI智能校验的中文版本