Bloch groups, algebraic K-theory, units, and Nahm's Conjecture

TL;DR

This paper constructs explicit units in cyclotomic extensions from elements of the Bloch group, linking algebraic K-theory, quantum dilogarithms, and Nahm's conjecture, with implications for knot invariants and modularity of q-series.

Contribution

It provides an explicit construction of units in cyclotomic fields from Bloch group elements using quantum dilogarithms, connecting K-theory, Nahm sums, and Nahm's conjecture.

Findings

Constructed units in $F_n$ from Bloch group elements.

Connected units to quantum modularity conjecture for knot invariants.

Proved Nahm's conjecture relating modularity to Bloch group vanishing.

Abstract

Given an element of the Bloch group of a number field~$F$ and a natural number~$n$, we construct an explicit unit in the field $F_n=F(e^{2 \pi i/n})$, well-defined up to $\nn$-th powers of nonzero elements of~$F_n$. The construction uses the cyclic quantum dilogarithm, and under the identification of the Bloch group of~$F$ with the $K$-group $K_3(F)$ gives \changed{(up to an unidentified invertible scalar)} a \changed{formula} for a certain abstract Chern class from~$K_3(F)$. The units we define are conjectured to coincide with numbers appearing in the quantum modularity conjecture for the Kashaev invariant of knots (which was the original motivation for our investigation), and also appear in the radial asymptotics of Nahm sums near roots of unity. This latter connection is used to prove Nahm's conjecture relating the modularity of certain $q$-hypergeometric series to the vanishing of the associated elements in the Bloch group of~$\overline{\mathbb Q}$.