Kalinin's polynomial congruence conjecture for Gaussian integers

From papers

Let p>3p>3 be a prime, and define

gp(x):=1m,np1pm2+n2(x(m+ni)).g_p(x):=\prod_{1\leqslant m,n\leqslant p-1\atop p\nmid m^2+n^2}(x-(m+ni)).

Kalinin's conjecture. If p1(mod4)p\equiv1\pmod 4, then

gp(x)1+k=1p3ckxk(p1)(modp)g_p(x)\equiv 1+\sum_{k=1}^{p-3}c_kx^{k(p-1)}\pmod p

for some c1,,cp3Zc_1,\ldots,c_{p-3}\in\mathbb Z with cp3=1c_{p-3}=1. If p3(mod4)p\equiv3\pmod 4, then

gp(x)1+x2(p1)+x4(p1)++x(p1)2=1xp211x2(p1)(modp).g_p(x)\equiv 1+x^{2(p-1)}+x^{4(p-1)}+\dots+x^{(p-1)^2}=\frac{1-x^{p^2-1}}{1-x^{2(p-1)}}\pmod p.

The conjecture extends Wolstenholme-type congruences from the integers to Gaussian integers. The paper presents it as a conjecture of N. Kalinin; the supplied text does not establish whether it has since been resolved.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Bo Jiang and Zhi-Wei Sun, “On p-adic congruences involving d”, arXiv:2504.12242 (2025).

Solutions 0

No solutions have been posted yet.