Counterexamples to Zagier's Duality Conjecture on Nahm Sums

Liuquan Wang
2024-11-15
Abstract:Given any positive integer $r$, Nahm's problem is to determine all rational $r\times r$ positive definite matrix $A$, $r$-dimensional rational vector $B$ and rational scalar $C$ such that the rank $r$ Nahm sum associated with $(A,B,C)$ is modular. Around 2007, Zagier conjectured that if the rank $r$ Nahm sum for $(A,B,C)$ is modular, then so is the dual Nahm sum associated with $(A^{-1},A^{-1}B,B^\mathrm{T} A^{-1}B/2-{r}/{24}-C)$. We construct some explicit rank four Nahm sums wherein the original Nahm sum is modular while its dual is not modular. This provides counterexamples to Zagier's conjecture.
Number Theory,Combinatorics
What problem does this paper attempt to address?
The problem that this paper attempts to solve is the construction of counterexamples to Zagier's duality conjecture. Specifically, the core problems of the paper can be summarized as follows: 1. **Nahm Sums and Modular Forms**: The Nahm problem aims to determine all \(r\times r\) rational positive definite matrices \(A\), \(r\)-dimensional rational vectors \(B\) and rational scalars \(C\) such that Nahm sums become modular forms. The Nahm sum is defined as follows: \[ f_{A,B,C}(q):=\sum_{n = (n_1,\dots,n_r)^T\in\mathbb{N}^r}q^{\frac{1}{2}n^TAn + n^TB + C}\prod_{i = 1}^r\frac{1}{(q;q)_{n_i}} \] where \((a;q)_n=\prod_{k = 0}^{n - 1}(1 - aq^k)\) is the standard \(q\)-series notation. 2. **Zagier's Duality Conjecture**: In 2007, Zagier proposed a conjecture that if \((A, B, C)\) is a modular triple of rank \(r\), then its dual Nahm sum \((A^\star, B^\star, C^\star)=(A^{-1},A^{-1}B,\frac{1}{2}B^TA^{-1}B-\frac{r}{24}-C)\) should also be a modular triple. 3. **Construction of Counterexamples**: The main contribution of this paper is to construct some explicit Nahm sums of rank 4. These sums are modular forms, but their dual sums are not modular forms. This provides counterexamples to Zagier's duality conjecture. Through these counterexamples, the author shows that Zagier's duality conjecture does not hold in some cases, thus promoting more in - depth research on Nahm sums and their modular properties.