The Habiro ring of a number field

Stavros Garoufalidis,Peter Scholze,Campbell Wheeler,Don Zagier

2024-12-05

Abstract:We introduce the Habiro ring of a number field $\mathbb{K}$ and modules over it graded by $K_3(\mathbb{K})$. Elements of these modules are collections of power series at each complex root of unity that arithmetically glue with each other after applying a Frobenius endomorphism, and after dividing at each prime by a collection of series that depends solely on an element of the Bloch group. We prove that the perturbative Chern-Simons invariants of knots and 3-manifolds are elements of these modules and identify these elements with expansions of certain admissible series of Kontsevich-Soibelman at roots of unity, suggesting that some Donaldson-Thomas invariants have arithmetic meaning and that some elements of the Habiro ring of a number field have enumerative meaning.

Number Theory,High Energy Physics - Theory,Geometric Topology

What problem does this paper attempt to address?

### What problems does this paper attempt to solve?

The main purpose of this paper is to introduce and study the Habiro ring of the number field \(K\) and the modules over it, and to explore the relationships between these modules and quantum invariants (especially the perturbative invariants in Chern - Simons theory). Specifically, this paper attempts to solve the following key problems:

1. **Definition and properties of the Habiro ring**:
- Introduce the Habiro ring over the number field \(K\) and describe its structure and properties in detail.
- Define the modules over the Habiro ring indexed by elements in \(K_3(K)\) and discuss the properties of these modules.

2. **Arithmetic gluing property of quantum invariants**:
- Study how the set of power series at complex roots of unity are arithmetically glued via the Frobenius endomorphism.
- Prove that the perturbative invariants in Chern - Simons theory are elements of these modules and relate them to the expansions at roots of unity of certain admissible series of Kontsevich - Soibelman.

3. **Arithmetic meaning of Donaldson - Thomas invariants**:
- Propose the view that some Donaldson - Thomas invariants have arithmetic meaning, implying that some elements in the Habiro ring of the number field \(K\) have counting meaning.
- Explore the question of whether \(q\)-de Rham cohomology can be defined on the Habiro ring.

4. **Explanation of experimental phenomena**:
- Explain the phenomena observed in earlier experiments, that is, the functions near the roots of unity exhibit unexpected integrality and gluing properties.
- These phenomena provided the initial motivation for the introduction of the Habiro ring.

5. **Connection between K - theory and algebraic geometry**:
- Reveal the profound connection between these sets of power series and algebraic K - theory (especially the Bloch group).
- Explore the relationship between these modules and enumerative algebraic geometry (such as Donaldson - Thomas theory).

### Formula display

To ensure the correctness and readability of the formulas, the following are some of the key formulas involved in the paper:

- Definition of the Habiro ring:
\[
H := \varprojlim_n \mathbb{Z}[q]/(q;q)_n\mathbb{Z}[q]
\]
where \((q;q)_n=(1 - q)(1 - q^2)\cdots(1 - q^n)\) is the \(q\)-Pochhammer symbol.

- Element form of the Habiro ring:
\[
f(q)=\sum_{n = 1}^\infty P_n(q)\frac{(q;q)_{n - 1}}{(q;q)_n}, \quad P_n(q)\in\mathbb{Z}[q]
\]

- Ring homomorphism of the Habiro ring:
\[
\iota_m:H\to\mathbb{Z}[\zeta_m][[x]], \quad \iota(f)=(f_m(x))_{m\geq1}, \quad f_m(x):=f(\zeta_m + x)
\]

- Gluing property:
\[
f_m(x+\zeta_p^m-\zeta_m)=(\phi_p f_{pm})(x)\in R_p^\wedge[\zeta_{pm}]\llbracket x\rrbracket
\]
where \(\phi_p\) is the Frobenius endomorphism on \(R_p^\wedge\).

Through the study of these problems, the paper reveals the profound connections between quantum invariants, algebraic K - theory and arithmetic properties, and provides a new framework for the Habiro ring and its modules.