Habiro–Hodge Complex Overview

• The Habiro–Hodge Complex is a q-deformed Hodge-theoretic construction that refines q-de Rham cohomology by incorporating simultaneous cyclotomic completions.
• It bridges classical Hodge filtrations and q-de Rham–Witt theory through a descending q-Hodge filtration and controlled (q-1)-adic and (q^m-1)-adic refinements.
• Its homotopy-theoretic realization via cyclonic THH provides deep insights into arithmetic structures and genuine equivariant topology.

The Habiro–Hodge complex is a specific $q$-deformed Hodge-theoretic object built from derived $q$-de Rham cohomology and refined from the $(q-1)$-adic setting to the Habiro setting, where all cyclotomic loci $q^m-1$ are treated simultaneously. In current usage, it is the $\mathbb H$-linear or $\mathcal H$-valued object associated to a $q$-Hodge filtration on $q$-de Rham cohomology, characterized by the fact that its $(q-1)$-adic completion recovers the $q$-Hodge complex; after inverting the Bott element, it admits a homotopy-theoretic description in terms of genuine equivariant structure on $q$0 (Wagner, 7 Oct 2025, Wagner, 6 Oct 2025).

1. Classical origin and $q$1-deformation

The immediate antecedent of the Habiro–Hodge complex is the relation between Hodge-filtered derived de Rham cohomology and negative cyclic homology. For an ordinary ring $q$2, Hodge-filtered derived de Rham cohomology can be recovered, up to shift and completion, from the graded pieces of the even filtration on $q$3. The $q$4-deformed version replaces $q$5 by $q$6: under suitable quasi-syntomic and liftability hypotheses on $q$7 over $q$8, there is a filtration $q$9 such that

$(q-1)$0

In this deformation, the element $(q-1)$1 is identified with the same $(q-1)$2 that appears in $(q-1)$3-de Rham theory; if $(q-1)$4 is the Bott element and $(q-1)$5 is a complex orientation with $(q-1)$6, then $(q-1)$7 is identified with the filtered ring $(q-1)$8 (Wagner, 7 Oct 2025).

This places the Habiro–Hodge complex in a deformation picture with three layers. The classical Hodge filtration is read off from an even filtration on $(q-1)$9; the $q^m-1$0-Hodge filtration is read off from an even filtration on $q^m-1$1 over $q^m-1$2; and the Habiro refinement upgrades the $q^m-1$3-adic viewpoint to a simultaneous cyclotomic one. A plausible implication is that the Habiro–Hodge complex should be regarded not as a separate cohomology theory unrelated to $q^m-1$4-de Rham cohomology, but as the cyclotomic completion of its $q^m-1$5-Hodge enhancement.

2. Definition from $q^m-1$6-Hodge filtrations

A $q^m-1$7-Hodge filtration is a descending filtration on $q^m-1$8 that deforms the ordinary Hodge filtration and is compatible, after rationalization and prime-by-prime completion, with the combined Hodge and $q^m-1$9-adic filtration. In the formulation over a perfectly covered $\mathbb H$0-ring $\mathbb H$1, one requires in particular that $\mathbb H$2, that reduction modulo $\mathbb H$3 recovers the Hodge filtration on $\mathbb H$4, and that the resulting filtered object agrees after completion with $\mathbb H$5 together with its tensor-product filtration (Wagner, 6 Oct 2025).

From such a filtration one forms the $\mathbb H$6-Hodge complex by forcing division by successive powers of $\mathbb H$7: $\mathbb H$8 The Habiro ring is written as $\mathbb H$9 in one paper and $\mathcal H$0 in the other: $\mathcal H$1 The Habiro–Hodge complex $\mathcal H$2 is then the $\mathcal H$3-linear object whose $\mathcal H$4-adic completion recovers $\mathcal H$5: $\mathcal H$6 Very roughly, this refines the $\mathcal H$7-Hodge complex by incorporating Taylor expansions at all roots of unity simultaneously rather than only the expansion at $\mathcal H$8 (Wagner, 7 Oct 2025).

In coordinates, when $\mathcal H$9 is smooth and equipped with an étale framing, the associated $q$0-Hodge complex is the usual coordinate $q$1-de Rham complex with all differentials multiplied by $q$2. This is the coordinate-level model already isolated in the $q$3-Witt framework, where its cohomology modulo $q$4 is controlled by $q$5-de Rham–Witt theory (Wagner, 2024).

3. Descent to the Habiro ring and relation to $q$6-de Rham–Witt theory

The central descent statement is that the functor sending a $q$7-Hodge filtered algebra to its $q$8-Hodge complex factors through the Habiro-complete derived category. Equivalently, the $q$9-Hodge complex is not merely $q$0-complete; it comes from an object already defined over the Habiro ring. This descended object is the Habiro–Hodge complex $q$1, and the factorization is symmetric monoidal (Wagner, 6 Oct 2025).

Its construction proceeds through the tower of twisted $q$2-de Rham complexes $q$3, one for each $q$4. Each $q$5 is $q$6-complete and reduces modulo $q$7 to the derived $q$8-truncated $q$9-de Rham–Witt complex. The original $(q-1)$0-Hodge filtration induces a compatible $(q-1)$1-Hodge filtration on $(q-1)$2, and from this one forms levelwise Habiro–Hodge complexes $(q-1)$3. Compatibility under divisibility $(q-1)$4 allows one to pass to the inverse limit over $(q-1)$5, thereby obtaining the global Habiro–Hodge complex over $(q-1)$6 (Wagner, 6 Oct 2025).

The root-of-unity specializations of $(q-1)$7 recover $(q-1)$8-de Rham–Witt theory. There is a natural ascending filtration on $(q-1)$9 whose associated graded is

$q$0

If $q$1 is smooth over $q$2, then

$q$3

with differential given by the Bockstein differential for $q$4. This makes precise the earlier $q$5-Witt heuristic that the $q$6-Hodge complex should be the $q$7-completion of an object living over a Habiro-type ring and simultaneously controlling all cyclotomic quotients (Wagner, 6 Oct 2025, Wagner, 2024).

4. Genuine equivariant realization through cyclonic $q$8

The homotopy-theoretic description of the Habiro–Hodge complex is built from the genuine equivariant structure on $q$9. The relevant framework is that of cyclonic spectra, in which one retains compatible genuine fixed-point data for all finite cyclic subgroups $q$00. For each $q$01, one considers

$q$02

a cyclonic analogue of a TR-level equipped with a residual homotopy fixed-point construction. An even filtration on these objects is assembled from the perfect even filtrations on the geometric fixed points together with filtered homotopy fixed-point and Tate constructions; the genuine-from-geometric formula is the technical mechanism that recovers genuine fixed points from geometric fixed-point data while preserving explicit control of the $q$03- and $q$04-variables (Wagner, 7 Oct 2025).

Under the global hypotheses stated in the paper—quasi-lci, spherical lifts, a perfect $q$05-base, $q$06, and the existence of a cyclonic map $q$07—the main identification is

$q$08

For each $q$09, the degree-$q$10 graded piece is identified with the completed twisted $q$11-Hodge filtration on the twisted $q$12-de Rham complex $q$13; passing to $q$14, inverting $q$15, and taking the projective limit over $q$16 recovers the full Habiro–Hodge complex (Wagner, 7 Oct 2025).

This gives the Habiro–Hodge complex a precise status inside unstable-to-stable $q$17-Hodge deformation theory: it is the degree-$q$18, Habiro-completed shadow of a system of genuine $q$19-equivariant even filtrations on cyclonic $q$20. The construction is therefore not merely analogous to topological cyclic methods; it is extracted from them.

5. Étale and arithmetic special cases

In the étale case, the Habiro–Hodge complex becomes especially concrete. If $q$21 is étale over $q$22, then the descended Habiro–Hodge complex is equal to the relative Habiro ring $q$23. Thus the Habiro–Hodge formalism extends the classical Habiro ring from a ring of functions to a cohomological object and, in degree $q$24, specializes back to that ring (Wagner, 6 Oct 2025).

For number fields this yields a direct arithmetic application. Let $q$25 be a number field with ring of integers $q$26, and let $q$27 be divisible by $q$28 and by the discriminant of $q$29. If $q$30 denotes the unique étale extension of $q$31 lifting $q$32, then the Habiro ring of Garoufalidis–Scholze–Wheeler–Zagier is canonically recovered as

$q$33

This identifies the Habiro ring of a number field as $q$34 of a limit of cyclonic fixed-point constructions, thereby giving a homotopy-theoretic construction of that ring (Wagner, 7 Oct 2025).

A related arithmetic interpretation appears in the Habiro descent paper: the Habiro ring itself can be described as a compatible system of Taylor expansions at all roots of unity, glued by Frobenius congruences. This suggests that the Habiro–Hodge complex is best viewed as a cohomological object whose local models are the cyclotomic expansions of $q$35-de Rham theory and whose global ring of scalars already remembers all roots of unity at once (Wagner, 6 Oct 2025).

6. Existence, scope, and terminological boundaries

The main limitation is that a $q$36-Hodge filtration does not exist functorially on all rings. The forgetful functor from $q$37-Hodge filtered animated algebras to animated algebras has no global section, so there is no canonical $q$38-Hodge filtration in complete generality. Nevertheless, canonical filtrations are proved to exist in two broad classes. First, for a smooth scheme $q$39, a canonical $q$40-Hodge filtration exists as soon as one inverts all primes $q$41. Second, for certain quasi-regular quotient rings, filtrations exist under the hypotheses spelled out in the paper, including cases of the form $q$42 with $q$43 étale over a perfect $q$44-ring and $q$45 generated either by higher powers of a Koszul-regular sequence or by rings admitting an $q$46-$q$47-adic ring spectrum lift (Wagner, 6 Oct 2025).

This restricted existence theory is substantial rather than accidental. The Habiro–Hodge complex depends on compatibility among ordinary Hodge filtration, $q$48-adic completion, prime-by-prime $q$49-adic comparisons, and all cyclotomic completions $q$50. The resulting object is therefore much more rigid than an arbitrary filtered deformation of de Rham cohomology. A plausible implication is that the Habiro–Hodge complex should be expected only when $q$51-de Rham theory already has strong comparison isomorphisms.

The term also has a narrow meaning. It does not denote the general “Hodge package” of combinatorial Hodge theory. The matroidal and combinatorial-projective-bundle literatures develop structures centered on Poincaré duality, Hard Lefschetz, and Hodge–Riemann bilinear relations, and explicitly do not use the term “Habiro–Hodge complex”; current usage of that term is tied instead to $q$52-de Rham cohomology, Habiro descent, $q$53-de Rham–Witt complexes, and the $q$54 program (Adiprasito et al., 2015, Larson et al., 23 Apr 2026).

In this sense, the Habiro–Hodge complex names a highly specific object at the intersection of derived $q$55-de Rham theory, cyclotomic and Habiro completions, and genuine equivariant $q$56. Its defining features are the recovery of the $q$57-Hodge complex after $q$58-completion, the recovery of $q$59-de Rham–Witt complexes after specialization to roots of unity, and the homotopy-theoretic realization via cyclonic fixed-point filtrations on $q$60 (Wagner, 7 Oct 2025, Wagner, 6 Oct 2025).