Mizuno's duality conjecture for modular Nahm quadruples

Let D=diag(d1,,dr)D=\operatorname{diag}(d_1,\dots,d_r) with d1,,drZ>0d_1,\dots,d_r\in\mathbb{Z}_{>0}, let AQr×rA\in\mathbb{Q}^{r\times r} be symmetrizable with symmetrizer DD, meaning that ADAD is symmetric positive definite, let BQrB\in\mathbb{Q}^r, and let CQC\in\mathbb{Q}. If the generalized Nahm sum associated with (A,B,C,D)(A,B,C,D) is modular, call (A,B,C,D)(A,B,C,D) a modular quadruple. Define

A=A1,B=A1B,C=12BT(AD)1BtrD24c,D=D.A^\star=A^{-1},\qquad B^\star=A^{-1}B,\qquad C^\star=\frac{1}{2}B^\mathrm{T}(AD)^{-1}B-\frac{\operatorname{tr}D}{24}-c,\qquad D^\star=D.

Mizuno's duality conjecture. If (A,B,C,D)(A,B,C,D) is a modular quadruple, then (A,B,C,D)(A^\star,B^\star,C^\star,D^\star) is also a modular quadruple.

This generalizes Zagier's proposed duality from Nahm triples to symmetrizable matrices and generalized Nahm sums. The source attributes the conjecture to Mizuno; the supplied material gives no resolution, so its status is recorded as open.

Sources & referencesView supporting material

Primary source

Liuquan Wang, “Counterexamples to Zagier's Duality Conjecture on Nahm Sums”, arXiv:2411.09701 (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.