Abstract:We consider certain q-series depending on parameters (A,B,C), where A is a positive definite r times r matrix, B is an r-vector and C is a scalar, and ask when these q-series are modular forms. Werner Nahm conjectured a criterion for which A's can occur, in terms of torsion in the Bloch group. The conjecture was proved by Don Zagier and Michael Terhoeven for r=1. We develop their approach for r>1 and find several new examples of modular forms as well as some counterexamples to Nahm's conjecture.
What problem does this paper attempt to address?
The core problem that this paper attempts to solve is to verify and extend the Nahm conjecture, especially for specific combinations of matrix \(A\), vector \(B\) and scalar \(C\) such that the series \(F_{A,B,C}(q)\) becomes a modular form. Specifically:
1. **Problem Background**:
- The paper focuses on a problem proposed by Werner Nahm: Describe all \(A\), \(B\), and \(C\) such that \(F_{A,B,C}(q)\) becomes a modular form, where \(A\) is a positive definite symmetric matrix, \(B\) is a vector, and \(C\) is a scalar.
- For \(r = 1\), this problem has been solved by Michael Terhoeven and Don Zagier, and 7 qualifying triples \((A, B, C)\in\mathbb{Q}^+\times\mathbb{Q}\times\mathbb{Q}\) have been found.
2. **Research Objectives**:
- This article aims to generalize this method to the case where \(r>1\) and look for new examples of modular functions.
- At the same time, the article also explores a conjectural condition on matrix \(A\) given by Nahm (i.e., the solutions of the system of equations \(1 - Q_i=\prod_{j = 1}^rQ_j^{A_{ij}}\)), and provides several counterexamples to show that this condition may not be sufficient.
3. **Main Contributions**:
- Some new examples of modular functions have been discovered, especially for the case where \(r = 2\).
- Counterexamples to the Nahm conjecture have been provided, indicating that even if some \(A\) do not satisfy Nahm's condition, there may still be corresponding modular functions.
- The relationship between these results and the Bloch group has been explored, and further research directions have been proposed.
In summary, the main purpose of this paper is to verify and extend the Nahm conjecture, especially to find new modular functions in high - dimensional cases, and to show the limitations of the existing conjecture through counterexamples.