Pith. sign in

REVIEW 3 major objections 6 minor 2 cited by

The Habiro ring of a number field

T0 review · 3 major / 6 minor · reviewed 2026-08-11 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read The paper constructs a Habiro ring for every number field and places perturbative quantum invariants of knots and 3-manifolds into modules over it labelled by the algebraic K-group $K_3(K)$.

desk verdict A genuinely new arithmetic home for perturbative quantum invariants, with a real but addressable gap in the multi-variable proofs. read the letter →

arxiv 2412.04241 v2 pith:DWEIYN7C submitted 2024-12-05 math.NT hep-thmath.GT

Stavros Garoufalidis , Peter Scholze , Campbell Wheeler , Don Zagier This is my paper · ORCID
classification math.NThep-thmath.GT MSC 11R7019F2733D15
keywords HabiroringnumberfieldsalgebraicK-theoryBlochgroupp-adicdilogarithmadmissibleseriesinfinitePochhammersymbolperturbativeChern-Simonsinvariants
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper builds a new arithmetic home for perturbative quantum invariants: a Habiro ring attached to a number field $K$, together with modules over it labelled by the algebraic K-group $K_3(K)$. An element of the ring is a compatible collection of power series around every complex root of unity that glue $p$-adically after a Frobenius twist; the modules are the same collections with constant terms twisted by an $m$-th root of a K-theoretic unit $\varepsilon_m(\xi)$. The main theorem states that the perturbative Chern$-$Simons series $f_{A,z}(q)$, defined for a symmetric integer matrix $A$ and a non-degenerate solution $z$ of the Nahm equations with associated Bloch-group class $\xi$, lies in the Habiro module $H_{R[\delta^{-1/2}],\xi}$ restricted to roots of unity of order prime to $\Delta$. If correct, the asymptotic expansions of quantum invariants of knots and 3-manifolds have a precise arithmetic meaning, and Donaldson$-$Thomas invariants acquire an arithmetic one.

What carries the argument

The central object is the Habiro ring $H_R$ of a number field: the set of collections $(f_m(x))_{m\ge 1}$ with $f_m(x)\in R[\zeta_m][\![x]\!]$, $R=O_K[1/\Delta]$, satisfying the Frobenius-twisted gluing condition $f_m(x+\zeta_{pm}-\zeta_m)=(\varphi_p f_{pm})(x)$ after $p$-adic completion. The modules $H_{R,\xi}$ are the same collections with leading term $\varepsilon_m(\xi)^{1/m}$ and with a logarithmic condition that places the $p$-adic dilogarithm $D_p(\xi)$ in the polar part. The engine of the explicit construction is the infinite Pochhammer symbol $(t;q)_\infty=\prod_{n\ge 0}(1-q^n t)$: its two complementary expansions and the associated Dwork-type difference identity are what turn analytic series into $p$-adically integral and Frobenius-glued ones. The matching of the two sources of series is carried by the $q$-holonomic system whose classical limit is the $t$-deformed Nahm equations.

What would settle it

Take the Nahm data for the $5_2$ knot, whose field is the cubic field of discriminant $-23$, and compute the level-5 series $f_{A,z,5}(x)$ to, say, 200 terms by formal Gaussian integration. Divide by the explicit Pochhammer generator formed from the order-24 root of unity described in the paper's Example 4.3; membership in the module requires every coefficient to be 5-integral, with no negative power of 5 in the denominator. A single coefficient with negative 5-adic valuation would refute the claimed inclusion.

Watch

Extended reading notes

Core claim

On its own terms, the paper claims that the combinatorial data of an integral symmetric matrix $A$ and a non-degenerate solution $z$ of the Nahm equations produces a collection of power series $f_{A,z,m}(x)$ at each $m$-th root of unity that is an element of the rank-one Habiro module $H_{R[\delta^{-1/2}],\xi}$, with $\xi=\sum_j [z_j]$ in the Bloch group and $\Delta$ a fixed multiple of the discriminant. The constant term of the series at $\zeta_m$ is $\varepsilon_m(\xi)^{1/m}$ times an integral element, where $\varepsilon_m$ is the Chern-class map $K_3(K)\to K(\zeta_m)^\times/(K(\zeta_m)^\times)^m$. A second theorem identifies two independent constructions of these series: the $q$-hypergeometric Nahm sums of Kontsevich$-$Soibelman admissible series agree with the formal Gaussian integration series of perturbative Chern$-$Simons theory. Put together, the theorems say that perturbative quantum invariants of knots and 3-manifolds are not merely $p$-adically integral but live in a module whose gluing is governed by the Frobenius endomorphism of the number field.

Load-bearing premise

The proof of the main theorem imports the result that the constant term of each level-$m$ series is $\varepsilon_m(\xi)^{1/m}$ times an integral element from an external theorem about Bloch groups and units; if that theorem fails for some $m$ prime to $\Delta$, or if the omitted $N>1$ case of the argument is not actually analogous, the element $f_{A,z}$ need not lie in $H_{R[\delta^{-1/2}],\xi}|_\Delta$.

Editorial extensions

If this is right

  • The constant term of $f_{A,z}(q)$ at any $m$-th root of unity with $m$ prime to $\Delta$ lies in $R[\zeta_m]$ (Corollary 1.10).
  • The symmetrised series $f_{A,z}(q)f_{A,z}(q^{-1})$ lies in the Habiro ring $H_R$, and if the Bloch-group class $\xi$ is torsion of order $r$, then $f_{A,z}(q)^r$ lies in $H_{R[\delta^{-1/2}]}$ (Corollary 1.11).
  • Because $H_R$ is a finite projective module of rank $[K:\mathbb{Q}]$ over $H_{\mathbb{Z}[1/\Delta]}$, the explicit series give concrete spanning families for Habiro rings of number fields.
  • The identity between admissible series and formal Gaussian integration transfers arithmetic properties from Donaldson$-$Thomas theory to perturbative Chern$-$Simons invariants, so the two subjects share integrality phenomena.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • If the restriction to $m$ prime to $\Delta$ is later removed, the Habiro ring would cease to be a product of integral domains, and the Frobenius gluing would then determine the series at bad primes from the good ones; checking whether the series at roots of unity sharing primes with $\Delta$ are forced in this way is a concrete test of how far the definition can be strengthened.
  • The module membership suggests a stronger congruence statement than the paper proves: the ratios of $f_{A,z}$ by explicit Pochhammer generators should be integral at all primes, not only in the computed examples, and this can be verified numerically for the $5_2$ knot series at $p=5$.
  • The same construction has a conjectural higher-weight analogue indexed by odd $K$-groups; if it exists, it would place descendants and higher-loop perturbative invariants in analogous modules.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 6 minor

Summary. The paper introduces, for a number field K with ring of integers O_K and an integer Δ, a 'Habiro ring' H_R consisting of Galois-invariant collections of power series at roots of unity that satisfy a Frobenius-twisted gluing condition, together with rank-one modules H_{R,ξ} indexed by elements ξ of K_3(K). The main results identify the collection of power series coming from admissible Nahm sums with the collection defined by formal Gaussian integration (Theorem 3), establish Dwork-type congruences for these series (Theorem 4), and show that, after specializing t=1 to a non-degenerate solution of the Nahm equations, the resulting perturbative series f_{A,z}(q) belongs to the Habiro module H_{R[δ^{-1/2}],ξ}|_Δ (Theorem 5). The paper also gives an explicit congruence-theoretic description of H_R in Section 5, constructs local sections using infinite Pochhammer symbols and p-adic dilogarithms, and reports extensive numerical verifications for the knots 4_1, 5_2, and (−2,3,7).

Significance. If Theorem 5 is fully established, the paper provides a precise arithmetic home for perturbative complex Chern–Simons invariants and ties Donaldson–Thomas/admissible series to algebraic K-theory and Frobenius-twisted integrality. The framework is novel and the auxiliary results are substantial: the explicit sections Ψ_{[ζ],p}, the Dwork-type lemma (Lemma 3.4), the identification in Theorem 8, and the determinant/congruence analysis in Section 5 are concrete and likely to be reused. The construction is not circular: the modules H_{R,ξ} are defined before the series are introduced, and the main work is verifying the defining conditions. However, two load-bearing inputs are not established in the submitted text: the multi-variable uniqueness argument for the q-difference systems used in Theorem 8 and in the proof of Theorem 5 is omitted, and the applicability of the external theorem [10, Thm. 1.6] to the constant terms of the Gaussian-integral series is asserted without a full statement of its hypotheses or a deduction. The significance is therefore conditional on these points being supplied.

major comments (3)
  1. [Section 2.7, proof of Theorem 8; Section 3.3, proof of Theorem 5, Eq. (213)] The uniqueness argument for the q-difference system is written only for N=1. In Section 2.7 the proof says 'The proof in the general case is identical using equation (137), and is omitted,' and in Section 3.3 the corresponding statement says 'We again omit the case when N > 1, since it is completely analogous.' This is load-bearing because Theorem 5 is applied in Section 4 to N=2 (the 4_1 knot) and N=3 (the 5_2 and (−2,3,7)-pretzel knots). The scalar recursion in Eq. (213) uses a one-dimensional induction on the power of t and the invertibility of factors such as (q^{k+1−m};q)_m; for N>1 the shifts act componentwise and the corresponding coefficient system must be shown to have a unique formal solution in Q[ζ]( (x) )[[t]] by a multi-index induction. This is plausible but is not automatic, and the reader cannot verify the claimed uniqueness from the displayed text. Please supply the N>1 argument or reduce it explicitly to the scalar case.
  2. [Section 3.3, first paragraph of the proof of Theorem 5; Remark 1.9] The proof asserts that, for m prime to Δ, the constant term of f_{A,z,m}(x) is ε_m(ξ)^{1/m} times an integral element, citing [10, Thm. 1.6] and Hutchinson [31]. The hypotheses of [10, Thm. 1.6] are not stated, and the identification of the constant term of the formal Gaussian integral with the K-theoretic unit ε_m(ξ) is not demonstrated in this paper. Remark 1.9 explicitly notes that the unrestricted statement would follow only if [10, Thm. 1.6] holds for all m, so the validity for the restricted set of m prime to Δ is genuinely load-bearing. The cited theorem is published and hence not circular, but the paper must state the exact hypotheses and explain why they are satisfied in the present setting, including which primes are excluded and why they are covered by the factor Δ in Eq. (42).
  3. [Section 1.4, Definition 1.1; Section 3.3, proof of Theorem 5] The integer Δ is not specified precisely enough for the statement of Theorem 5. Definition 1.1 only requires Δ to be divisible by the discriminant (and usually by 6), while the proof of Theorem 5 says that Δ 'includes the primes 2 and 3 and finitely many other primes that depend only on the number field K.' Since the notation H_R|_Δ and H_{R,ξ}|_Δ restricts to roots of unity of order prime to Δ, the truth of (42) depends on which additional primes are included. If those primes are not explicitly determined, the theorem's statement is ambiguous and Corollary 1.10 and the computations in Section 4 cannot be checked against a fixed theorem. The authors should either make Δ a precise function of K (or of A and z) or state the theorem with an explicit hypothesis on the primes excluded by Δ.
minor comments (6)
  1. [Front matter, after the abstract] The sentence 'Added subsection 1.1 explaining what the paper is about and subsection 1.8 explaining the relation to perturbative complex Chern-Simons theory' appears in the manuscript and should be removed before publication; it is a revision note rather than part of the paper.
  2. [Section 2.5, Lemma 2.12] The statement 'mN mU FGI_m(t)2m ∈ S(m)' appears garbled; presumably it should read something like 'm^N U_m^{FGI}(t)^{2m} ∈ S(m)' or 'm^N m U_m^{FGI}(t)^{2m} ∈ S(m)'. Please correct the notation.
  3. [Section 1.6, first sentence] There is a typo: 'as q appraoches roots of unity' should read 'as q approaches roots of unity.'
  4. [Section 5.1, paragraph after Proposition 5.1] There is a typo: 'Since the nuymber D(N)' should read 'Since the number D(N).'
  5. [References [23] and [24]] References [23] and [24] appear to be duplicates: both list Garoufalidis and Zagier, 'Asymptotics of Nahm sums at roots of unity', Ramanujan J. 55 (2021), 219–238. If a different article was intended for one of these citations, please correct it.
  6. [Section 5.4, Example 5.9] The sentence 'If this is true, then 7 f_P belongs to HZ[1/3] and its image under ι to HZ[1/3]' is missing a verb; it should say 'and its image under ι belongs to HZ[1/3]' (or 'to H_{Z[1/3]}' if that is what is meant).

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: Theorem 5 verifies the independently defined series fA,z(q) satisfies the defining conditions of the Habiro module HR,ξ; the cited theorem [10] is independent support, not an input that forces the conclusion.

full rationale

The derivation chain is not circular. The modules HR,ξ are defined abstractly using units ε_m(ξ) coming from the Chern class map, and the series fA,z(q) is defined independently from q-hypergeometric sums, admissible series, and formal Gaussian integration. Theorem 5 is a substantive verification that this independent series satisfies the integrality and gluing conditions of the module; the definition of HR,ξ does not fix fA,z(q) by construction. The use of [10, Thm.1.6] to identify the constant term with ε_m(ξ)^{1/m} is a citation to published, externally checkable work whose stated content is about Bloch groups, algebraic K-theory, and units, not about membership in the newly defined Habiro modules; it is therefore independent support rather than a self-citation chain that reduces the conclusion to its own assumptions. The omitted multi-variable case in the uniqueness proof of the q-difference equations is a completeness or correctness risk, not circularity, because it does not make the target result an input. No equation is shown to equal its own input, and no fitted parameter is renamed as a prediction.

Assumptions & free parameters 0 free parameters · 6 assumptions · 2 invented entities

The central construction uses no fitted parameters. It relies on standard results in algebraic K-theory, Coleman's p-adic dilogarithm, and a technical restriction to p > 3 with 2,3 dividing Δ. The new objects HR and HR,ξ are defined explicitly and verified in examples, giving some independent evidence, though additional numerical data or code would strengthen reproducibility.

assumptions (6)
  • standard math Coleman's p-adic dilogarithm Dp exists and is compatible with the p-adic regulator (Besser-de Jeu [7]).
    Invoked in Definition 1.3 and Section 3.1; not proved in the paper.
  • standard math K3(Kp; Zp) is free and generated by classes [ζ] of roots of unity for unramified p > 3 (Theorem 9, citing [46, Thm. 7.4]).
    Used to construct generators Ψ[ζ],p in Section 3.2.
  • standard math The units εm(ξ) from the étale Chern character satisfy the stated χ^{-1}-equivariance and integrality (Thm 1.6 of [10]).
    Used for the constant terms of the series; cited externally.
  • standard math The Bloch group of a number field is isomorphic to K3(K) away from manageable torsion (Suslin, [52]).
    Used throughout for the interpretation of ξ as a sum of symbols.
  • domain assumption The paper restricts to primes p > 3 and assumes 2,3 divide Δ, with Δ divisible by the discriminant.
    The theory is developed only for such primes and the paper does not cover bad primes (Remark 1.8).
  • domain assumption For knots with at most 14 crossings, an ideal triangulation with unimodular B exists.
    Section 1.8: applying Theorem 5 to knots requires a Neumann-Zagier datum with invertible B; verified via SnapPy for these knots.
invented entities (2)
  • Habiro ring of a number field HR independent evidence
    purpose: A ring of collections of power series at roots of unity with Frobenius-twisted gluing, intended as a home for quantum invariants.
    Explicit computations in Section 4 (figure-eight, 5_2, pretzel knots) verify membership and gluing in examples, providing independent evidence for the construction.
  • Habiro module HR,ξ independent evidence
    purpose: Rank-one module over HR indexed by K3(K) that contains the unsymmetrised perturbative series fA,z(q).
    Section 4.6 exhibits two knot series in the same module and the operation is shown to match the Bloch group structure; these computations give independent evidence.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Habiro ring of a number field." pith.science (2026). https://pith.science/paper/DWEIYN7C

@misc{pith2026241204241,
  author       = {Pith},
  title        = {Pith review of: The Habiro ring of a number field},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DWEIYN7C}},
  note         = {Machine review of arXiv:2412.04241}
}
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. The main theorems of this paper concern number fields, their algebraic $K$-theory and its regulator maps (Borel, $p$-adic and \'etale), whereas the explicit collections of series are defined by a careful algebraic analysis of the infinite Pochhammer symbol at roots of unity. The origin of the above mentioned power series comes from perturbative Chern--Simons theory and by expansions of the admissible series of Kontsevich--Soibelman, both ultimately related to the infinite Pochhammer symbol. This link suggests that some Donaldson-Thomas invariants have arithmetic meaning and that some elements of the Habiro ring of a number field have enumerative meaning. Added subsection 1.1 explaining what the paper is about and subsection 1.8 explaining the relation to perturbative complex Chern-Simons theory.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Explicit classes in Habiro cohomology

    math.AG 2025-05 conditional novelty 7.0 of 10

    Explicit 'naive' Habiro cohomology classes are built from q-hypergeometric deformations and push-forwards, producing canonical q-deformations of Picard-Fuchs equations for Legendre, figure-eight A-polynomial, and quin...

  2. Two-dimensional topological quantum field theories of rank two over Dedekind domains

    math-ph 2025-02 accept novelty 6.0 of 10

    Rank-two commutative Frobenius algebras over Dedekind domains can be projective but not free, realized as A = O ⊕ µX with µ² = (z), for example over Z[√-5].

Reference graph

Works this paper leans on

52 extracted references · 48 canonical work pages · cited by 2 Pith papers

  1. [10]

    Bloch groups, algebraic K-theory, units, and Nahm’s conjecture

    Frank Calegari, Stavros Garoufalidis, and Don Zagier. Bloch groups, algebraic K-theory, units, and Nahm’s conjecture. Ann. Sci. ´Ec. Norm. Sup´ er. (4), 56(2):383–426, 2023

    work page 2023

  2. [31]

    The Chern class for K3 and the cyclic quantum dilogarithm

    Kevin Hutchinson. The Chern class for K3 and the cyclic quantum dilogarithm. J. Algebra, 649:433–443, 2024

    work page 2024

  3. [1]

    Algebraic aspects of holomorphic quantum modular forms

    Ni An, Stavros Garoufalidis, and Shana Yunsheng Li. Algebraic aspects of holomorphic quantum mod- ular forms. Preprint 2023, arXiv:2403.02880 to appear in Res. Math. Sciences

    work page Pith review arXiv 2023

  4. [2]

    The Teichm¨ uller TQFT

    Jørgen Ellegaard Andersen and Rinat Kashaev. The Teichm¨ uller TQFT. InProceedings of the Interna- tional Congress of Mathematicians—Rio de Janeiro 2018. Vol. III. Invited lectures , pages 2541–2565. World Sci. Publ., Hackensack, NJ, 2018

    work page 2018

  5. [3]

    A TQFT from Quantum Teichm¨ uller theory

    Jørgen Ellegaard Andersen and Rinat Kashaev. A TQFT from Quantum Teichm¨ uller theory. Comm. Math. Phys. , 330(3):887–934, 2014

    work page 2014

  6. [4]

    The ˚Arhus integral of ra- tional homology 3-spheres

    Dror Bar-Natan, Stavros Garoufalidis, Lev Rozansky, and Dylan Thurston. The ˚Arhus integral of ra- tional homology 3-spheres. II. Invariance and universality. Selecta Math. (N.S.) , 8(3):341–371, 2002

    work page 2002

  7. [5]

    Advanced mathematical methods for scientists and engineers

    Carl Bender and Steven Orszag. Advanced mathematical methods for scientists and engineers . Interna- tional Series in Pure and Applied Mathematics. McGraw-Hill Book Co., New York, 1978

    work page 1978

  8. [6]

    Finite and p-adic polylogarithms

    Amnon Besser. Finite and p-adic polylogarithms. Compositio Math., 130(2):215–223, 2002

    work page 2002

Show all 52 references
  1. [7]

    The syntomic regulator for the K-theory of fields

    Amnon Besser and Rob de Jeu. The syntomic regulator for the K-theory of fields. Ann. Sci. ´Ecole Norm. Sup. (4) , 36(6):867–924 (2004), 2003

    2004

  2. [8]

    Li (p)-service? An algorithm for computing p-adic polylogarithms

    Amnon Besser and Rob de Jeu. Li (p)-service? An algorithm for computing p-adic polylogarithms. Math. Comp., 77(262):1105–1134, 2008

    2008

  3. [9]

    Higher regulators, algebraic K-theory, and zeta functions of elliptic curves , volume 11 of CRM Monograph Series

    Spencer Bloch. Higher regulators, algebraic K-theory, and zeta functions of elliptic curves , volume 11 of CRM Monograph Series . American Mathematical Society, Providence, RI, 2000

    2000

  4. [11]

    Dilogarithms, regulators and p-adic L-functions

    Robert Coleman. Dilogarithms, regulators and p-adic L-functions. Invent. Math. , 69(2):171–208, 1982

    1982

  5. [12]

    Perturbative and nonperturbative aspects of complex Chern-Simons theory

    Tudor Dimofte. Perturbative and nonperturbative aspects of complex Chern-Simons theory. J. Phys. A, 50(44):443009, 25, 2017

    2017

  6. [13]

    The quantum content of the gluing equations

    Tudor Dimofte and Stavros Garoufalidis. The quantum content of the gluing equations. Geom. Topol., 17(3):1253–1315, 2013

    2013

  7. [14]

    Quantum modularity and complex Chern-Simons theory.Com- mun

    Tudor Dimofte and Stavros Garoufalidis. Quantum modularity and complex Chern-Simons theory.Com- mun. Number Theory Phys. , 12(1):1–52, 2018

    2018

  8. [15]

    Exact results for perturbative Chern- Simons theory with complex gauge group

    Tudor Dimofte, Sergei Gukov, Jonatan Lenells, and Don Zagier. Exact results for perturbative Chern- Simons theory with complex gauge group. Commun. Number Theory Phys. , 3(2):363–443, 2009. 72 STA VROS GAROUF ALIDIS, PETER SCHOLZE, CAMPBELL WHEELER, AND DON ZAGIER

    2009

  9. [16]

    Cohomological Hall algebra of a symmetric quiver

    Alexander Efimov. Cohomological Hall algebra of a symmetric quiver. Compos. Math. , 148(4):1133– 1146, 2012

    2012

  10. [17]

    On poly(ana)logs

    Philippe Elbaz-Vincent and Herbert Gangl. On poly(ana)logs. I. Compositio Math. , 130(2):161–210, 2002

    2002

  11. [18]

    Discrete Heisenberg-Weyl group and modular group

    Ludwig Faddeev. Discrete Heisenberg-Weyl group and modular group. Lett. Math. Phys., 34(3):249–254, 1995

    1995

  12. [19]

    Asymptotics of q-difference equations

    Stavros Garoufalidis and Jeffrey Geronimo. Asymptotics of q-difference equations. In Primes and knots , volume 416 of Contemp. Math. , pages 83–114. Amer. Math. Soc., Providence, RI, 2006

    2006

  13. [20]

    Evaluation of state integrals at rational points

    Stavros Garoufalidis and Rinat Kashaev. Evaluation of state integrals at rational points. Commun. Number Theory Phys. , 9(3):549–582, 2015

    2015

  14. [21]

    Stavros Garoufalidis and Thang T.Q. Lˆ e. From 3-dimensional skein theory to functions nearQ. Preprint 2023, arXiv:2307.09135

    2023 arXiv

  15. [22]

    Perturbative invariants of cusped hy- perbolic 3-manifolds

    Stavros Garoufalidis, Matthias Storzer, and Campbell Wheeler. Perturbative invariants of cusped hy- perbolic 3-manifolds. Preprint 2023, arXiv:2305.14884

    2023 arXiv

  16. [24]

    Asymptotics of Nahm sums at roots of unity

    Stavros Garoufalidis and Don Zagier. Asymptotics of Nahm sums at roots of unity. Ramanujan J. , 55(1):219–238, 2021

    2021

  17. [25]

    Knots and their related q-series

    Stavros Garoufalidis and Don Zagier. Knots and their related q-series. SIGMA Symmetry Integrability Geom. Methods Appl. , 19:Paper No. 082, 2023

    2023

  18. [26]

    Knots, perturbative series and quantum modularity

    Stavros Garoufalidis and Don Zagier. Knots, perturbative series and quantum modularity. SIGMA Symmetry Integrability Geom. Methods Appl. , 20:Paper No. 055, 2024

    2024

  19. [27]

    Cyclotomic completions of polynomial rings

    Kazuo Habiro. Cyclotomic completions of polynomial rings. Publ. Res. Inst. Math. Sci. , 40(4):1127– 1146, 2004

    2004

  20. [28]

    A unified Witten-Reshetikhin-Turaev invariant for integral homology spheres

    Kazuo Habiro. A unified Witten-Reshetikhin-Turaev invariant for integral homology spheres. Invent. Math., 171(1):1–81, 2008

    2008

  21. [29]

    Generalized volume conjecture and the A-polynomials: the Neumann-Zagier potential function as a classical limit of the partition function

    Kazuhiro Hikami. Generalized volume conjecture and the A-polynomials: the Neumann-Zagier potential function as a classical limit of the partition function. J. Geom. Phys. , 57(9):1895–1940, 2007

    1940

  22. [30]

    A p-adic analogue of the Borel regulator and the Bloch-Kato expo- nential map

    Annette Huber and Guido Kings. A p-adic analogue of the Borel regulator and the Bloch-Kato expo- nential map. J. Inst. Math. Jussieu , 10(1):149–190, 2011

    2011

  23. [32]

    Vu Huynh and Thang T.Q. Lˆ e. The colored Jones polynomial and the Kashaev invariant. Fundam. Prikl. Mat. , 11(5):57–78, 2005

    2005

  24. [33]

    Quantum dilogarithm as a 6 j-symbol

    Rinat Kashaev. Quantum dilogarithm as a 6 j-symbol. Modern Phys. Lett. A , 9(40):3757–3768, 1994

    1994

  25. [34]

    Star-square and tetrahedron equations in the Baxter-Bazhanov model

    Rinat Kashaev, Vladimir Mangazeev, and Yuri Stroganov. Star-square and tetrahedron equations in the Baxter-Bazhanov model. Internat. J. Modern Phys. A , 8(8):1399–1409, 1993

    1993

  26. [35]

    p-adic numbers, p-adic analysis, and zeta-functions

    Neal Koblitz. p-adic numbers, p-adic analysis, and zeta-functions . Graduate Texts in Mathematics, Vol

  27. [36]

    Cohomological Hall algebra, exponential Hodge structures and motivic Donaldson-Thomas invariants

    Maxim Kontsevich and Yan Soibelman. Cohomological Hall algebra, exponential Hodge structures and motivic Donaldson-Thomas invariants. Commun. Number Theory Phys. , 5(2):231–352, 2011

    2011

  28. [37]

    Conformal field theory and torsion elements of the Bloch group

    Werner Nahm. Conformal field theory and torsion elements of the Bloch group. In Frontiers in number theory, physics, and geometry. II , pages 67–132. Springer, Berlin, 2007

    2007

  29. [38]

    Volumes of hyperbolic three-manifolds.Topology, 24(3):307–332, 1985

    Walter Neumann and Don Zagier. Volumes of hyperbolic three-manifolds.Topology, 24(3):307–332, 1985

    1985

  30. [39]

    A polynomial invariant of integral homology 3-spheres

    Tomotada Ohtsuki. A polynomial invariant of integral homology 3-spheres. Math. Proc. Cambridge Philos. Soc., 117(1):83–112, 1995

    1995

  31. [40]

    Dedekind sums

    Hans Rademacher and Emil Grosswald. Dedekind sums. The Carus Mathematical Monographs, No. 16. Mathematical Association of America, Washington, DC, 1972

    1972

  32. [41]

    Ribbon graphs and their invariants derived from quantum groups

    Nikolai Reshetikhin and Vladimir Turaev. Ribbon graphs and their invariants derived from quantum groups. Comm. Math. Phys. , 127(1):1–26, 1990. THE HABIRO RING OF A NUMBER FIELD 73

    1990

  33. [42]

    A refinement of the A-polynomial of quivers

    Fernando Rodriguez Villegas. A refinement of the A-polynomial of quivers. Preprint 2011, arXiv:1102.5308

    2011 arXiv

  34. [43]

    Canonical q-deformations in arithmetic geometry

    Peter Scholze. Canonical q-deformations in arithmetic geometry. Ann. Fac. Sci. Toulouse Math. (6) , 26(5):1163–1192, 2017

    2017

  35. [44]

    Quantum invariants of knots and 3-manifolds , volume 18 of de Gruyter Studies in Mathematics

    Vladimir Turaev. Quantum invariants of knots and 3-manifolds , volume 18 of de Gruyter Studies in Mathematics. Walter de Gruyter & Co., Berlin, 1994

    1994

  36. [45]

    Algebraic K-theory of rings of integers in local and global fields

    Charles Weibel. Algebraic K-theory of rings of integers in local and global fields. In Handbook of K- theory. Vol. 1, 2 , pages 139–190. Springer, Berlin, 2005

    2005

  37. [46]

    The K-book, volume 145 of Graduate Studies in Mathematics

    Charles Weibel. The K-book, volume 145 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2013. An introduction to algebraic K-theory

    2013

  38. [47]

    Quantum field theory and the Jones polynomial

    Edward Witten. Quantum field theory and the Jones polynomial. Comm. Math. Phys. , 121(3):351–399, 1989

    1989

  39. [48]

    Quantization of Chern-Simons gauge theory with complex gauge group

    Edward Witten. Quantization of Chern-Simons gauge theory with complex gauge group. Comm. Math. Phys., 137(1):29–66, 1991

    1991

  40. [49]

    Vassiliev invariants and a strange identity related to the Dedekind eta-function

    Don Zagier. Vassiliev invariants and a strange identity related to the Dedekind eta-function. Topology, 40(5):945–960, 2001

    2001

  41. [50]

    The dilogarithm function

    Don Zagier. The dilogarithm function. In Frontiers in number theory, physics, and geometry. II , pages 3–65. Springer, Berlin, 2007

    2007

  42. [51]

    The arithmetic and topology of differential equations

    Don Zagier. The arithmetic and topology of differential equations. InEuropean Congress of Mathematics, pages 717–776. Eur. Math. Soc., Z¨ urich, 2018

    2018

  43. [52]

    The extended Bloch group and algebraic K-theory

    Christian Zickert. The extended Bloch group and algebraic K-theory. J. Reine Angew. Math., 704:21–54, 2015. International Center for Mathematics, Department of Mathematics, Southern Univer- sity of Science and Technology, Shenzhen, China http://people.mpim-bonn.mpg.de/stavros ...

    2015

  44. [58]

    Springer-Verlag, New York-Heidelberg, 1977

    1977

Pith tools

Reviewed August 11, 2026 · model on record in the stance chip above.