Nahm's conjecture on modular triples and Bloch-group torsion

Let A=(aij)A=(a_{ij}) be a positive definite symmetric r×rr\times r matrix with rational entries. Consider the system

xi=j=1r(1xj)aij,i=1,,r.x_i=\prod_{j=1}^{r}(1-x_j)^{a_{ij}},\qquad i=1,\ldots,r.

For a solution x=(x1,,xr)\mathbf{x}=(x_1,\ldots,x_r) in a number field FF, let ξx=[x1]++[xr]\xi_{\mathbf{x}}=[x_1]+\cdots+[x_r] be the associated element of the Bloch group B(F)\mathcal{B}(F). A triple (A,B,C)(A,B,C) is called a modular triple if BB is a rational vector of length rr, CC is rational, and

fA,B,C(z)=n(Z0)rq12ntAn+Btn+C(q)n1(q)nr,q=e2πiz,f_{A,B,C}(z)=\sum_{n\in(\mathbb{Z}_{\geq 0})^r}\frac{q^{\frac12 n^tAn+B^tn+C}}{(q)_{n_1}\cdots(q)_{n_r}},\qquad q=e^{2\pi i z},

is a modular function, where (q)n=(1q)(1qn)(q)_n=(1-q)\cdots(1-q^n). Nahm's conjecture. The following are equivalent: (i) for any solution x\mathbf{x} of the system, the element ξxB(F)\xi_{\mathbf{x}}\in\mathcal{B}(F) is a torsion element of B(F)\mathcal{B}(F); (ii) there exists a modular triple (A,B,C)(A,B,C).

Sources & referencesView supporting material

Primary source

Chul-hee Lee, “Nahm's conjecture and Y-systems”, arXiv:1109.3667 (2013).

Additional references

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

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.