The Igusa-function formula conjecture for the middle symplectic local zeta function

For a positive integer nn, let qq be the residue-field cardinality and let ss be a complex variable. Let Zn,n,oC(s)\mathcal{Z}_{n,n,\mathfrak{o}}^{\mathsf{C}}(s) denote the symplectic local zeta function at the middle parameter =n\ell=n, and let

In(Y;X1,,Xn)=I[n](nI)YiIXi1Xi\operatorname{I}_n(Y;X_1,\dots,X_n)=\sum_{I\subseteq[n]}\binom{n}{I}_Y\prod_{i\in I}\frac{X_i}{1-X_i}

be the Igusa function of degree nn. The Igusa-function formula conjecture. One has

Zn,n,oC(s)=11q(n+12)nsIn(q1;(q(n+12)(i2)ns)i[n]).\mathcal{Z}_{n,n,\mathfrak{o}}^{\mathsf{C}}(s)=\frac{1}{1-q^{\binom{n+1}{2}-ns}}\operatorname{I}_n\left(q^{-1};\left(q^{\binom{n+1}{2}-\binom{i}{2}-ns}\right)_{i\in[n]}\right).

This is motivated by the corresponding established formula for =0\ell=0 and by computations for n13n\leqslant 13; the claimed identity for the middle value =n\ell=n remains conjectural in the supplied text.

Sources & referencesView supporting material

Primary source

Claudia Alfes, Joshua Maglione and Christopher Voll, “Symplectic Hecke eigenbases from Ehrhart polynomials”, arXiv:2507.11728 (2025).

Additional references

2 papers in this index state this conjecture (2017–2025). The statement above is taken from the most recent of them; the others are arXiv:1709.02717.

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.