Coefficient-Enlarged Habiro Ring

• Coefficient-enlarged Habiro ring is an extension of the classical Habiro ring that replaces integral coefficients with larger algebras and cohomological systems.
• It applies cyclotomic completions, Frobenius-twisted gluing, and étale arithmetic to yield unique expansions at roots of unity.
• The theory has broad implications for skein theory, motivic enrichments, and derived q-de Rham complexes in arithmetic and quantum topology.

Coefficient-enlarged Habiro ring denotes a family of Habiro-type cyclotomic completions and root-of-unity gluing objects in which the classical integral coefficients are replaced by larger coefficient algebras, modules, or cohomological systems. The expression does not have a single universally fixed definition in the literature: depending on context, enlargement may mean scalar extension from $\mathbb Z[q]$ to $\mathbb Z[q^{\pm1/4}]$, passage to étale $\mathbb Z[t^{\pm1}]$-algebras with Frobenius-twisted gluing, construction over number fields, or replacement of scalar coefficients by de Rham or $q$-Hodge data (Garoufalidis et al., 2023, Garoufalidis et al., 2 Mar 2026, Garoufalidis et al., 2024, Garoufalidis et al., 26 May 2025, Wagner, 6 Oct 2025). In all of these settings, the classical model is Habiro’s cyclotomic completion, characterized by expansions in cyclotomic factors, evaluation at roots of unity, and strong interpolation properties.

1. Classical model and cyclotomic structure

The classical Habiro ring is the cyclotomic completion of a one-variable polynomial or Laurent polynomial ring. In $q$-notation it is written

$$\widehat{\mathbb Z[q]}=\varprojlim_n \mathbb Z[q]/((q;q)_n),\qquad (q;q)_n=(1-q)(1-q^2)\cdots(1-q^n),$$

while in Laurent notation the same pattern appears as

$$\widehat{\mathbb Z[x]}_{\mathrm{Hab}}=\varprojlim_n \frac{\mathbb Z[x,x^{-1}]}{[n!]_x},\qquad [n!]_x=(x^n-1)(x^{n-1}-1)\cdots(x-1).$$

The $x$-presentation is emphasized as the geometric-axis analogue of the profinite completion $\widehat{\mathbb Z}$, and later arithmetic variants keep this inverse-limit or cyclotomic-gluing template even when coefficients are changed (Bruyn, 2013, Garoufalidis et al., 2024).

A basic structural fact is that elements admit unique cyclotomic expansions. In the Laurent formulation one has

$$\sum_{n=0}^{\infty} a_n(x)[n!]_x,\qquad \deg a_n(x)<n,$$

and this uniqueness underlies evaluation at roots of unity. Because sufficiently high cyclotomic factors vanish at a given root of unity, Habiro elements can be evaluated at every root of unity, and values on sufficiently non-discrete Habiro-topological subsets determine the element uniquely (Bruyn, 2013). The same source also records more general completions

$\mathbb Z[q^{\pm1/4}]$0

together with the intersection formula

$\mathbb Z[q^{\pm1/4}]$1

for saturated $\mathbb Z[q^{\pm1/4}]$2. This already shows that Habiro theory is not tied to one completion ideal alone: even before coefficients are enlarged, the completion datum can be varied.

The Habiro topology gives the geometric language for these completions. Two roots of unity are adjacent when their quotient has pure prime-power order, and the resulting topology refines the cofinite topology on cyclotomic points. In the $\mathbb Z[q^{\pm1/4}]$3- and $\mathbb Z[q^{\pm1/4}]$4-ring interpretation, this adjacency reflects the non-comaximality of cyclotomic ideals and the presence of non-split extensions between the corresponding modules (Bruyn, 2013). Later coefficient-enlarged theories retain this emphasis on local expansions around all roots of unity and on compatibility across prime-power towers.

2. Early enlargement mechanisms

One elementary enlargement mechanism is ordinary scalar extension. In skein theory, the Kauffman bracket relations naturally use $\mathbb Z[q^{\pm1/4}]$5, so the target cannot remain inside $\mathbb Z[q^{\pm1/4}]$6. The resulting enlargement is

$\mathbb Z[q^{\pm1/4}]$7

and for every closed oriented integer homology $\mathbb Z[q^{\pm1/4}]$8-sphere $\mathbb Z[q^{\pm1/4}]$9 there is a $\mathbb Z[t^{\pm1}]$0-module map

$\mathbb Z[t^{\pm1}]$1

whose image is a finite-rank $\mathbb Z[t^{\pm1}]$2-module. On the even skein submodule, the quarter-powers disappear and the map lands in the classical Habiro ring itself (Garoufalidis et al., 2023). This is the simplest explicit example of a coefficient-enlarged Habiro target: the completion stays classical, while the scalar ring is enlarged.

A more structural enlargement replaces $\mathbb Z[t^{\pm1}]$3 by motivic coefficients. The Habiro-Grothendieck ring is defined by

$\mathbb Z[t^{\pm1}]$4

where $\mathbb Z[t^{\pm1}]$5. Its Tate part is the Habiro completion

$\mathbb Z[t^{\pm1}]$6

and the theory is further enlarged by adjoining rational powers $\mathbb Z[t^{\pm1}]$7, $\mathbb Z[t^{\pm1}]$8, yielding a completed ring $\mathbb Z[t^{\pm1}]$9 identified with the direct-limit enlargement $q$0 (Lo et al., 2013). In this motivic setting, coefficient enlargement is inseparable from the appearance of Tate motives, roots of Tate motives, and Habiro-valued counting functions of ind-varieties.

3. Étale coefficients and Frobenius-twisted gluing

A decisive modern step is the replacement of the ordinary Habiro ring by a Habiro ring attached to an étale $q$1-algebra. For such an algebra $q$2, the relevant object is not defined naively as $q$3, but as a family of expansions at all roots of unity: $q$4 for all $q$5 and primes $q$6, where the Frobenius lift acts on coefficients by $q$7 (Garoufalidis et al., 2 Mar 2026). The coefficient enlargement is therefore twofold: the scalar ring is enlarged from $q$8 to an étale algebra, and the gluing between local expansions is twisted by Frobenius on the coefficient variable. The same paper proves that if the Frobenius lifts are isomorphisms onto their image for all $q$9, then this glued object agrees with the naive cyclotomic completion; in particular,

$q$0

for the Frobenius $q$1. By contrast, for localized étale algebras such as $q$2, the theory is genuinely subtler.

The knot-theoretic application is the lift of the full colored Jones sequence. For a knot $q$3 with Alexander polynomial $q$4, the coefficient ring is

$q$5

and the main theorem produces

$q$6

such that

$q$7

The appearance of $q$8 is forced by the $q$9 specialization

$$\widehat{\mathbb Z[q]}=\varprojlim_n \mathbb Z[q]/((q;q)_n),\qquad (q;q)_n=(1-q)(1-q^2)\cdots(1-q^n),$$0

so the ordinary coefficient ring $$\widehat{\mathbb Z[q]}=\varprojlim_n \mathbb Z[q]/((q;q)_n),\qquad (q;q)_n=(1-q)(1-q^2)\cdots(1-q^n),$$1 is too small (Garoufalidis et al., 2 Mar 2026). The same construction yields loop expansions at every root of unity, proves Habiro’s conjectured root-of-unity loop expansions, and induces a unique cyclotomic expansion

$$\widehat{\mathbb Z[q]}=\varprojlim_n \mathbb Z[q]/((q;q)_n),\qquad (q;q)_n=(1-q)(1-q^2)\cdots(1-q^n),$$2

from which Habiro’s cyclotomic expansion of the colored Jones polynomial is recovered. Injective maps to $$\widehat{\mathbb Z[q]}=\varprojlim_n \mathbb Z[q]/((q;q)_n),\qquad (q;q)_n=(1-q)(1-q^2)\cdots(1-q^n),$$3 and to the product of evaluations at all roots of unity show that these enlarged elements retain the interpolation strength of the classical Habiro ring (Garoufalidis et al., 2 Mar 2026).

4. Arithmetic Habiro rings over number fields

A different enlargement replaces the integral coefficient ring by the arithmetic ring of a number field. Let $$\widehat{\mathbb Z[q]}=\varprojlim_n \mathbb Z[q]/((q;q)_n),\qquad (q;q)_n=(1-q)(1-q^2)\cdots(1-q^n),$$4 be a number field, let $$\widehat{\mathbb Z[q]}=\varprojlim_n \mathbb Z[q]/((q;q)_n),\qquad (q;q)_n=(1-q)(1-q^2)\cdots(1-q^n),$$5 be divisible by its discriminant, and write

$$\widehat{\mathbb Z[q]}=\varprojlim_n \mathbb Z[q]/((q;q)_n),\qquad (q;q)_n=(1-q)(1-q^2)\cdots(1-q^n),$$6

The ambient space of local expansions is

$$\widehat{\mathbb Z[q]}=\varprojlim_n \mathbb Z[q]/((q;q)_n),\qquad (q;q)_n=(1-q)(1-q^2)\cdots(1-q^n),$$7

and the Habiro ring of $$\widehat{\mathbb Z[q]}=\varprojlim_n \mathbb Z[q]/((q;q)_n),\qquad (q;q)_n=(1-q)(1-q^2)\cdots(1-q^n),$$8 is the subset

$$\widehat{\mathbb Z[q]}=\varprojlim_n \mathbb Z[q]/((q;q)_n),\qquad (q;q)_n=(1-q)(1-q^2)\cdots(1-q^n),$$9

consisting of those $$\widehat{\mathbb Z[x]}_{\mathrm{Hab}}=\varprojlim_n \frac{\mathbb Z[x,x^{-1}]}{[n!]_x},\qquad [n!]_x=(x^n-1)(x^{n-1}-1)\cdots(x-1).$$0 satisfying

$$\widehat{\mathbb Z[x]}_{\mathrm{Hab}}=\varprojlim_n \frac{\mathbb Z[x,x^{-1}]}{[n!]_x},\qquad [n!]_x=(x^n-1)(x^{n-1}-1)\cdots(x-1).$$1

in $$\widehat{\mathbb Z[x]}_{\mathrm{Hab}}=\varprojlim_n \frac{\mathbb Z[x,x^{-1}]}{[n!]_x},\qquad [n!]_x=(x^n-1)(x^{n-1}-1)\cdots(x-1).$$2 for all primes $$\widehat{\mathbb Z[x]}_{\mathrm{Hab}}=\varprojlim_n \frac{\mathbb Z[x,x^{-1}]}{[n!]_x},\qquad [n!]_x=(x^n-1)(x^{n-1}-1)\cdots(x-1).$$3 and positive integers $$\widehat{\mathbb Z[x]}_{\mathrm{Hab}}=\varprojlim_n \frac{\mathbb Z[x,x^{-1}]}{[n!]_x},\qquad [n!]_x=(x^n-1)(x^{n-1}-1)\cdots(x-1).$$4 (Garoufalidis et al., 2024). This is explicitly distinguished from the naive scalar extension

$$\widehat{\mathbb Z[x]}_{\mathrm{Hab}}=\varprojlim_n \frac{\mathbb Z[x,x^{-1}]}{[n!]_x},\qquad [n!]_x=(x^n-1)(x^{n-1}-1)\cdots(x-1).$$5

The new ring is characterized by Frobenius-twisted $$\widehat{\mathbb Z[x]}_{\mathrm{Hab}}=\varprojlim_n \frac{\mathbb Z[x,x^{-1}]}{[n!]_x},\qquad [n!]_x=(x^n-1)(x^{n-1}-1)\cdots(x-1).$$6-adic gluing, not merely by changing coefficients in a cyclotomic inverse limit. It is also proved to be a finitely generated projective $$\widehat{\mathbb Z[x]}_{\mathrm{Hab}}=\varprojlim_n \frac{\mathbb Z[x,x^{-1}]}{[n!]_x},\qquad [n!]_x=(x^n-1)(x^{n-1}-1)\cdots(x-1).$$7-module of rank $$\widehat{\mathbb Z[x]}_{\mathrm{Hab}}=\varprojlim_n \frac{\mathbb Z[x,x^{-1}]}{[n!]_x},\qquad [n!]_x=(x^n-1)(x^{n-1}-1)\cdots(x-1).$$8 (Garoufalidis et al., 2024).

The arithmetic theory does not stop with the ring itself. For every $$\widehat{\mathbb Z[x]}_{\mathrm{Hab}}=\varprojlim_n \frac{\mathbb Z[x,x^{-1}]}{[n!]_x},\qquad [n!]_x=(x^n-1)(x^{n-1}-1)\cdots(x-1).$$9 there is an invertible $x$0-module $x$1, and these satisfy

$x$2

Accordingly, there is a homomorphism

$x$3

so the coefficient-enlarged Habiro theory over a number field is naturally graded by $x$4 (Garoufalidis et al., 2024). Perturbative Chern-Simons series attached to Nahm-type data lie in these modules, and their symmetrizations lie in the ring itself: $x$5 This arithmetic form of coefficient enlargement is therefore simultaneously cyclotomic, Frobenius-theoretic, and $x$6-theoretic.

5. Cohomological and derived coefficient systems

Coefficient enlargement can also mean replacing scalar coefficients by cohomological ones. For a smooth proper morphism

$x$7

with $x$8 an étale $x$9-algebra, one sets

$\widehat{\mathbb Z}$0

The corresponding Habiro ring consists of collections

$\widehat{\mathbb Z}$1

satisfying the Frobenius-gluing condition after $\widehat{\mathbb Z}$2-adic completion, and for an $\widehat{\mathbb Z}$3-module $\widehat{\mathbb Z}$4 with compatible Frobenius automorphisms one obtains a module-valued Habiro object $\widehat{\mathbb Z}$5 (Garoufalidis et al., 26 May 2025). The central definition is

$\widehat{\mathbb Z}$6

Here the coefficient system has been enlarged from scalars to relative algebraic de Rham cohomology. The same paper constructs explicit classes in this Habiro cohomology either from hypergeometric Picard-Fuchs systems or by push-forward from scalar Habiro rings, with examples including the Legendre family, the $\widehat{\mathbb Z}$7-polynomial curve of the figure-eight knot, and the quintic threefold (Garoufalidis et al., 26 May 2025).

A further enlargement occurs in derived $\widehat{\mathbb Z}$8-de Rham theory. The Habiro ring is fixed as

$\widehat{\mathbb Z}$9

and the relevant target is the Habiro-complete derived category

$$\sum_{n=0}^{\infty} a_n(x)[n!]_x,\qquad \deg a_n(x)<n,$$0

Given a $$\sum_{n=0}^{\infty} a_n(x)[n!]_x,\qquad \deg a_n(x)<n,$$1-Hodge filtration on $$\sum_{n=0}^{\infty} a_n(x)[n!]_x,\qquad \deg a_n(x)<n,$$2, one forms a modified $$\sum_{n=0}^{\infty} a_n(x)[n!]_x,\qquad \deg a_n(x)<n,$$3-Hodge complex $$\sum_{n=0}^{\infty} a_n(x)[n!]_x,\qquad \deg a_n(x)<n,$$4, and the main descent theorem states that it canonically factors through a Habiro-complete object

$$\sum_{n=0}^{\infty} a_n(x)[n!]_x,\qquad \deg a_n(x)<n,$$5

Moreover, for every $$\sum_{n=0}^{\infty} a_n(x)[n!]_x,\qquad \deg a_n(x)<n,$$6,

$$\sum_{n=0}^{\infty} a_n(x)[n!]_x,\qquad \deg a_n(x)<n,$$7

carries an exhaustive filtration whose associated graded is

$$\sum_{n=0}^{\infty} a_n(x)[n!]_x,\qquad \deg a_n(x)<n,$$8

linking Habiro descent to $$\sum_{n=0}^{\infty} a_n(x)[n!]_x,\qquad \deg a_n(x)<n,$$9-de Rham--Witt theory (Wagner, 6 Oct 2025). In the étale case, this recovers the relative Habiro ring and hence the number-field Habiro ring of Garoufalidis–Scholze–Wheeler–Zagier. For smooth schemes over $\mathbb Z[q^{\pm1/4}]$00, canonical $\mathbb Z[q^{\pm1/4}]$01-Hodge filtrations exist after inverting all primes $\mathbb Z[q^{\pm1/4}]$02 (Wagner, 6 Oct 2025). This derived version enlarges coefficients not merely from one ring to another, but from rings to Habiro-complete complexes.

6. Structural themes, applications, and conceptual limits

Across these constructions, coefficient enlargement is rarely a trivial tensor product. The characteristic operations are adjoining $\mathbb Z[q^{\pm1/4}]$03 or $\mathbb Z[q^{\pm1/4}]$04, adjoining roots of unity $\mathbb Z[q^{\pm1/4}]$05, imposing Frobenius-twisted identities between the $\mathbb Z[q^{\pm1/4}]$06-th and $\mathbb Z[q^{\pm1/4}]$07-th expansions, and allowing coefficients in modules such as $\mathbb Z[q^{\pm1/4}]$08 rather than only in rings. For this reason, several papers explicitly distinguish the resulting object from the naive completion $\mathbb Z[q^{\pm1/4}]$09 (Garoufalidis et al., 2 Mar 2026, Garoufalidis et al., 2024, Garoufalidis et al., 26 May 2025). The payoff is substantial: the enlarged theory accommodates the global colored Jones invariant, loop expansions at every root of unity, Ohtsuki-type invariants for $\mathbb Z[q^{\pm1/4}]$10-manifolds with $\mathbb Z[q^{\pm1/4}]$11, finite-rank skein-theoretic modules, perturbative Chern-Simons series over number fields, and $\mathbb Z[q^{\pm1/4}]$12-Picard-Fuchs classes in quantum $\mathbb Z[q^{\pm1/4}]$13-theory and complex Chern-Simons geometry (Garoufalidis et al., 2 Mar 2026, Garoufalidis et al., 2023, Garoufalidis et al., 2024, Garoufalidis et al., 26 May 2025).

At the same time, the notion has clear conceptual limits. The $\mathbb Z[q^{\pm1/4}]$14- and $\mathbb Z[q^{\pm1/4}]$15-ring discussion of the Habiro ring, Habiro topology, and cyclotomic completions provides a conceptual blueprint for coefficient enlargement, but it does not define a formal theory of $\mathbb Z[q^{\pm1/4}]$16 for general $\mathbb Z[q^{\pm1/4}]$17 (Bruyn, 2013). A different refinement appears in the analytic/Berkovich direction, where the analytic Habiro stack is treated as a realization target arising from a ring stack with an absolute value, not from an explicit cyclotomic inverse limit (Aoki, 2 Mar 2026). Yet another variant is the algebra $\mathbb Z[q^{\pm1/4}]$18 of inverted Habiro series over $\mathbb Z[q^{\pm1/4}]$19, generated by inverse cyclotomic factors and controlled by a lower bound condition; this shows that coefficient enlargement can also proceed by changing the cyclotomic basis itself (Svoboda, 26 Sep 2025).

A broader analytic reading is suggested by work on coefficient asymptotics and resurgence. In that literature, Habiro elements remain integral on the cyclotomic side, but their expansions are governed by periodic functions, Bernoulli polynomials, values $\mathbb Z[q^{\pm1/4}]$20, partial theta series, and resurgent Borel transforms (Goswami et al., 2022, Crew et al., 2023). This suggests that “coefficient enlargement” can refer not only to a larger ambient completion ring, but also to the arithmetic or analytic coefficient data controlling expansions at $\mathbb Z[q^{\pm1/4}]$21 and at other roots of unity. In this sense, the coefficient-enlarged Habiro ring is best understood not as one object but as a research program: the extension of Habiro’s cyclotomic function theory from integral coefficients to étale, arithmetic, motivic, cohomological, and derived coefficient systems while preserving the defining local-global principle of compatible expansions at roots of unity.