{"id":"arxiv/2604.06238","url":"https://arxiv.org/abs/2604.06238","tags":["math.NT"],"score":0,"title":"Order drop, Hecke descent, and a mod $p^4$ supercongruence for symmetric-cube hypergeometric coefficients","domain":"math.NT","source":"arxiv","authors":["Alex Shvets"],"reviews":0,"subject":"math.NT","summary":"We prove that the symmetric-cube coefficients $A_n=(-27)^n[z^n]\\,_2F_1(1/3,1/3;1;z)^3$ satisfy the supercongruence $A(mp)\\equiv A(m) \\bmod p^4$ for every prime $p\\geq 5$ and every $m\\geq 1$. The proof rests on three ingredients: (i) the modular identification $F(t(τ))=η(τ)^9/η(3τ)^3$ with $t(τ)=η(3τ)^{12}/η(τ)^{12}$, whose logarithmic derivative is the weight-5 Eisenstein series $C(q)=3E_5(χ_0,χ_3)$ on $Γ_0(3)$; (ii) exact congruences $c_{mp^r}\\equiv c_{mp^{r-1}} \\bmod p^{4r}$ for the coefficients of $C$, combined with a Lagrange-Burmann extraction; and (iii) a Hecke descent on weakly…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-04-05","reactions":{}}