Local Factorization of p-adic Gamma Sums
Fuente:
arXiv
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866915441326161920 |
|---|---|
| author | Reid, Samuel |
| author_facet | Reid, Samuel |
| contents | We revisit the proposed equality between discrete Fourier transforms of $p$-adic $Γ_p$--values and $p$-adic $L$--derivatives for odd characters modulo a prime $p$. 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 $χ\pmod p$, \[ Φ_p (χ):=\sum_{a=1}^{p-1}χ(a)\,\log_p Γ_p \!\left(\frac{a}{p-1}\right) = U_{1,p}\,L'_p(0,χ)\;+\;U_{2,p}\,L(0,χ), \] with constants $U_{1,p}\in\mathbb{Q}_p(μ_{p-1})^\times$ and $U_{2,p}\in\mathbb{Q}_p(μ_{p-1})$ depending only on $p$ and the fixed branch of $\log_p$, but independent of $χ$. Subtracting the $L(0,χ)$--block yields a \emph{renormalized} local input \[ Φ^{ren}_p(χ):=Φ_p(χ)-U_{2,p}L(0,χ)=U_{1,p}\,L'_p(0,χ), \] uniformly in odd, nontrivial $χ$. Plumbing these renormalized locals at every finite place into the Weil explicit formula (with the standard Li kernel at $\infty$) reproduces exactly the classical Li coefficients. We also record a short, reproducible verification protocol; a tiny table for $p=5,7$ illustrates the $χ$--independence of $(U_{1,p},U_{2,p})$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2508_08407 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Local Factorization of p-adic Gamma Sums Reid, Samuel Number Theory 11M06, 11M26, 11R23, 11R18, 11S80 We revisit the proposed equality between discrete Fourier transforms of $p$-adic $Γ_p$--values and $p$-adic $L$--derivatives for odd characters modulo a prime $p$. 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 $χ\pmod p$, \[ Φ_p (χ):=\sum_{a=1}^{p-1}χ(a)\,\log_p Γ_p \!\left(\frac{a}{p-1}\right) = U_{1,p}\,L'_p(0,χ)\;+\;U_{2,p}\,L(0,χ), \] with constants $U_{1,p}\in\mathbb{Q}_p(μ_{p-1})^\times$ and $U_{2,p}\in\mathbb{Q}_p(μ_{p-1})$ depending only on $p$ and the fixed branch of $\log_p$, but independent of $χ$. Subtracting the $L(0,χ)$--block yields a \emph{renormalized} local input \[ Φ^{ren}_p(χ):=Φ_p(χ)-U_{2,p}L(0,χ)=U_{1,p}\,L'_p(0,χ), \] uniformly in odd, nontrivial $χ$. Plumbing these renormalized locals at every finite place into the Weil explicit formula (with the standard Li kernel at $\infty$) reproduces exactly the classical Li coefficients. We also record a short, reproducible verification protocol; a tiny table for $p=5,7$ illustrates the $χ$--independence of $(U_{1,p},U_{2,p})$. |
| title | Local Factorization of p-adic Gamma Sums |
| topic | Number Theory 11M06, 11M26, 11R23, 11R18, 11S80 |
| url | https://arxiv.org/abs/2508.08407 |