Hulek–Verrill supercongruence conjecture

For the Hulek–Verrill family 1tg(x)=01-tg(\boldsymbol{x})=0, define

g=(1+x1+x2+x3+x4)(1+1/x1+1/x2+1/x3+1/x4)g=(1+x_1+x_2+x_3+x_4)(1+1/x_1+1/x_2+1/x_3+1/x_4)

and

hvk=m1+m2+m3+m4+m5=k(k!m1!m2!m3!m4!m5!)2.\operatorname{hv}_k=\sum_{m_1+m_2+m_3+m_4+m_5=k}\left(\frac{k!}{m_1!m_2!m_3!m_4!m_5!}\right)^2.

Let apa_p be the coefficient of qpq^p in the weight 44 cusp form of level 1414 beginning q2q2+8q3+q-2q^2+8q^3+\cdots. Hulek–Verrill supercongruence conjecture. For every prime p7p\ne7,

k=0p1hvk(1/7)kap(modp2).\sum_{k=0}^{p-1}\operatorname{hv}_k(-1/7)^k\equiv a_p\pmod{p^2}.

The conjecture concerns the attractor point t0=1/7t_0=-1/7, where the local zeta-function experimentally factors with a weight-44 modular form component. No resolution is supplied in the source.

Sources & referencesView supporting material

Primary source

Frits Beukers, “Supercongruences using modular forms”, arXiv:2403.03301 (2025).

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.