pith. sign in

arxiv: 2607.00577 · v1 · pith:BDMDFFBTnew · submitted 2026-07-01 · 🧮 math.OA

HK and GL

Hiroki Matui This is my paper

Pith reviewed 2026-07-02 02:06 UTC · model grok-4.3

classification 🧮 math.OA
keywords HK conjecturegap-labellingpoly-Z groupstransformation groupoidsPimsner-Voiculescu sequencegroupoid homologyCantor setsK-theory
0
0 comments X

The pith

For free actions of poly-Z groups on Cantor sets, comparison of homology and cohomology sequences with the Pimsner-Voiculescu sequence proves the HK conjecture for groups of small Hirsch length and establishes gap-labelling up to a factor o

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

The paper examines the HK conjecture and gap-labelling problem for transformation groupoids arising from free actions of poly-Z groups on Cantor sets. It introduces cohomology comparison maps linked to K-theory classes and combines them with Poincaré duality to handle higher terms in the conjecture. This method recovers the full HK conjecture and gap-labelling for actions by Z, Z squared, and the Klein bottle group. For groups of Hirsch length three and four, it either proves the conjecture or gives explicit sequences for the K-groups in terms of homology and cohomology, while gap-labelling holds up to a factor of two in many cases including all length three and some length four groups like Z to the fourth.

Core claim

Using comparisons between long exact sequences in groupoid homology and cohomology and the Pimsner-Voiculescu exact sequence for crossed products by Z, along with newly introduced cohomology comparison maps and Poincaré duality, the HK conjecture is established for free actions of Z, Z^2, and the Klein bottle group, explicit sequences are obtained for several classes of Hirsch length three and four groups, and gap-labelling holds up to a factor of two for all free actions of poly-Z groups of Hirsch length three and certain ones of length four including Z^4.

What carries the argument

Cohomology comparison maps associated with suitable K-theory classes of the acting group, which together with Poincaré duality detect the higher homology terms in the HK conjecture.

If this is right

  • For actions of Z, Z^2, and the Klein bottle group, both the HK conjecture and gap-labelling are recovered.
  • Explicit exact sequences describe the K-groups in terms of groupoid homology and cohomology for several classes of Hirsch length three and four groups.
  • Gap-labelling holds up to a factor of two for all free actions of poly-Z groups of Hirsch length three.
  • Gap-labelling holds up to a factor of two for certain groups of Hirsch length four, including Z^4.
  • Gap-labelling is recovered for Z^3-actions and holds up to a factor of two for Z^5-actions via cohomology comparison maps for mapping tori.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The method of comparing exact sequences may allow proving the HK conjecture for poly-Z groups of higher Hirsch length if suitable comparison maps can be constructed.
  • Gap-labelling results could extend to other amenable groups acting freely on Cantor sets if similar trace and determinant techniques apply.
  • These exact sequences might help compute K-theory for crossed products by more general polycyclic groups.

Load-bearing premise

The newly introduced cohomology comparison maps together with Poincaré duality detect all the higher homology terms appearing in the HK conjecture for the poly-Z groups under consideration.

What would settle it

A specific free action of a Hirsch length three poly-Z group on a Cantor set where the K-theory of the groupoid C*-algebra does not match the predicted groupoid homology groups or where the gap-labelling constant deviates by more than a factor of two.

read the original abstract

We study the HK conjecture and the gap-labelling problem for transformation groupoids associated with free actions of poly-$\Z$ groups on Cantor sets. The main tool is a comparison of the long exact sequences in groupoid homology and cohomology with the Pimsner--Voiculescu exact sequence for crossed products by $\Z$. In addition to the canonical homology comparison maps $\mu_0$ and $\mu_1$, we introduce cohomology comparison maps associated with suitable $K$-theory classes of the acting group. Together with Poincar\'e duality, these maps detect the higher homology terms occurring in the HK conjecture. We apply this method to free actions of poly-$\Z$ groups of small Hirsch length. For actions of $\Z$, $\Z^2$, and the Klein bottle group, we recover HK and gap-labelling. For several classes of groups of Hirsch length three and four, we either prove HK or obtain explicit exact sequences describing the $K$-groups in terms of groupoid homology and cohomology. For gap-labelling, we combine the de la Harpe--Skandalis determinant, the trace formula for the Pimsner--Voiculescu boundary map, and transposition decompositions in topological full groups. This gives gap-labelling up to a factor of two for all free actions of poly-$\Z$ groups of Hirsch length three and for certain groups of Hirsch length four, including $\Z^4$. We also recover gap-labelling for $\Z^3$-actions and prove gap-labelling up to a factor of two for $\Z^5$-actions by using cohomology comparison maps for mapping tori.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The manuscript develops a method to study the HK conjecture and gap-labelling problem for transformation groupoids arising from free actions of poly-ℤ groups on Cantor sets. The approach compares long exact sequences in groupoid homology and cohomology with the Pimsner–Voiculescu sequence for ℤ-actions; in addition to the canonical maps μ₀ and μ₁, new cohomology comparison maps associated to suitable K-theory classes of the acting group are introduced. Together with Poincaré duality these maps are asserted to detect all higher homology terms in the HK conjecture. The method is applied to free actions of groups of Hirsch length at most four: HK and gap-labelling are recovered for ℤ, ℤ² and the Klein bottle group; for several classes of Hirsch-length-three and -four groups either HK is proved or explicit exact sequences relating K-groups to groupoid homology/cohomology are obtained; gap-labelling up to a factor of two is established for all free actions of Hirsch-length-three poly-ℤ groups and for certain Hirsch-length-four groups including ℤ⁴, with further results for ℤ³ and ℤ⁵ via mapping tori.

Significance. If the detection property of the new cohomology comparison maps holds, the work supplies concrete computational tools for the K-theory of crossed products by poly-ℤ groups of small Hirsch length, recovering known low-dimensional cases and furnishing explicit sequences or proofs in several higher-dimensional cases. The combination of standard exact-sequence techniques with the newly defined maps and the de la Harpe–Skandalis determinant plus transposition decompositions yields partial but explicit progress on both the HK conjecture and gap-labelling.

major comments (2)
  1. [Abstract (main tool paragraph)] Abstract (paragraph on main tool and applications): the assertion that the newly introduced cohomology comparison maps, together with Poincaré duality, detect all higher homology terms appearing in the HK conjecture for the poly-ℤ groups of Hirsch length three and four is load-bearing for every application in that range. The manuscript must supply explicit verification that these maps are surjective onto the relevant homology groups and that they commute appropriately with the boundary maps of the Pimsner–Voiculescu sequences; without such verification the claimed exact sequences relating K_*(C(X) ⋊ G) to groupoid homology/cohomology remain incomplete.
  2. [Gap-labelling applications] Gap-labelling section (transposition decompositions): the factor-of-two gap-labelling result for all free actions of Hirsch-length-three poly-ℤ groups and for ℤ⁴ relies on transposition decompositions in the topological full groups. The paper should state precisely which groups admit such decompositions and whether the factor of two is an artefact of the method or is known to be sharp.
minor comments (2)
  1. The notation for the new cohomology comparison maps is introduced only in the abstract; an early dedicated subsection with explicit formulas and functoriality statements would improve readability.
  2. A short table summarising which groups receive a full proof of HK, which receive an exact sequence, and which receive only gap-labelling would help the reader navigate the applications.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading, the positive assessment of the work's significance, and the recommendation for major revision. The two major comments identify points where additional explicitness will strengthen the manuscript. We address each below and will incorporate the necessary clarifications and verifications in the revised version.

read point-by-point responses

  1. Referee: [Abstract (main tool paragraph)] Abstract (paragraph on main tool and applications): the assertion that the newly introduced cohomology comparison maps, together with Poincaré duality, detect all higher homology terms appearing in the HK conjecture for the poly-ℤ groups of Hirsch length three and four is load-bearing for every application in that range. The manuscript must supply explicit verification that these maps are surjective onto the relevant homology groups and that they commute appropriately with the boundary maps of the Pimsner–Voiculescu sequences; without such verification the claimed exact sequences relating K_*(C(X) ⋊ G) to groupoid homology/cohomology remain incomplete.

    Authors: We agree that the detection property is central and that explicit verification improves clarity. In the manuscript the surjectivity of the cohomology comparison maps onto the relevant homology groups is established case-by-case for Hirsch-length-three and -four groups via direct computation with the classifying spaces and the Poincaré duality isomorphisms (see the proofs of Theorems 4.3, 5.2, 5.4 and 6.1). Commutativity with the Pimsner–Voiculescu boundary maps follows from the naturality of the comparison maps with respect to the long exact sequences in homology and cohomology. To make this verification fully self-contained and prominent, we will add a dedicated proposition (placed before the applications) that isolates the surjectivity and commutativity statements for the groups under consideration. This will render the claimed exact sequences complete without altering the existing arguments. revision: yes

  2. Referee: [Gap-labelling applications] Gap-labelling section (transposition decompositions): the factor-of-two gap-labelling result for all free actions of Hirsch-length-three poly-ℤ groups and for ℤ⁴ relies on transposition decompositions in the topological full groups. The paper should state precisely which groups admit such decompositions and whether the factor of two is an artefact of the method or is known to be sharp.

    Authors: We thank the referee for this observation. The transposition decompositions are invoked precisely for the free actions of all Hirsch-length-three poly-ℤ groups (where existence follows from known results on topological full groups of such actions) and for ℤ⁴. We will insert a short clarifying paragraph in the gap-labelling section that lists exactly these groups and cites the relevant background results on the decompositions. The factor of two is an artefact of the method: it arises from the combination of the de la Harpe–Skandalis determinant with the transposition decomposition and the trace formula for the Pimsner–Voiculescu boundary; we will state explicitly that sharpness is not known in general. For ℤ³-actions we recover the full (factor-one) gap-labelling, which we will also highlight. revision: yes

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The abstract and provided context describe the introduction of new cohomology comparison maps (beyond the canonical μ0, μ1) as an independent main tool, used together with Poincaré duality to detect higher homology terms in the HK conjecture for poly-Z groups. Applications recover known cases for Hirsch length ≤2 and give explicit sequences or proofs for length 3/4, relying on the standard Pimsner-Voiculescu sequence and de la Harpe-Skandalis determinant as external inputs rather than self-defining the target results. No quoted steps reduce the central claims (HK proofs or exact sequences) to fitted parameters, self-citations, or ansatzes by construction; the derivation chain remains self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard background results in K-theory and groupoid homology plus the effectiveness of the new comparison maps; no free parameters or invented entities are visible in the abstract.

axioms (2)
  • standard math Long exact sequences in groupoid homology and cohomology compare with the Pimsner-Voiculescu exact sequence for crossed products by Z
    Invoked as the main tool in the abstract
  • domain assumption Poincaré duality holds for the transformation groupoids under consideration
    Used together with the new cohomology maps to detect higher homology terms

pith-pipeline@v0.9.1-grok · 5814 in / 1403 out tokens · 37016 ms · 2026-07-02T02:06:27.918515+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

37 extracted references · 1 canonical work pages

  1. [1]

    Schochet,Relating diffraction and spectral data of aperiodic tilings: towards a Bloch theorem, J

    Eric Akkermans, Yaroslav Don, Jonathan Rosenberg, and Claude L. Schochet,Relating diffraction and spectral data of aperiodic tilings: towards a Bloch theorem, J. Geom. Phys.165(2021), Paper No. 104217,

    2021

  2. [2]

    Bellissard, D

    J. Bellissard, D. J. L. Herrmann, and M. Zarrouati,Hulls of aperiodic solids and gap labeling theorems, Directions in mathematical quasicrystals, CRM Monogr. Ser., vol. 13, Amer. Math. Soc., Providence, RI, 2000, pp. 207–258. MR 1798994

    2000

  3. [3]

    Jean Bellissard, Riccardo Benedetti, and Jean-Marc Gambaudo,Spaces of tilings, finite telescopic approxi- mations and gap-labeling, Comm. Math. Phys.261(2006), no. 1, 1–41. MR 2193205

    2006

  4. [4]

    Jean Bellissard, Johannes Kellendonk, and Andr´ e Legrand,Gap-labelling for three-dimensional aperiodic solids, C. R. Acad. Sci. Paris S´ er. I Math.332(2001), no. 6, 521–525. MR 1834062

    2001

  5. [5]

    Bellissard), Operator algebras and mathematical physics (Constant ¸a, 2001), Theta, Bucharest, 2003, pp

    Moulay-Tahar Benameur and Herv´ e Oyono-Oyono,Gap-labelling for quasi-crystals (proving a conjecture by J. Bellissard), Operator algebras and mathematical physics (Constant ¸a, 2001), Theta, Bucharest, 2003, pp. 11–22. MR 2018220

    2001

  6. [6]

    5, Cambridge University Press, Cambridge, 1998

    Bruce Blackadar,K-theory for operator algebras, second ed., Mathematical Sciences Research Institute Pub- lications, vol. 5, Cambridge University Press, Cambridge, 1998. MR 1656031

    1998

  7. [7]

    Christian B¨ onicke, Cl´ ement Dell’Aiera, James Gabe, and Rufus Willett,Dynamic asymptotic dimension and Matui’s HK conjecture, Proc. Lond. Math. Soc. (3)126(2023), no. 4, 1182–1253. MR 4574829

    2023

  8. [8]

    Reine Angew

    Marius Crainic and Ieke Moerdijk,A homology theory for ´ etale groupoids, J. Reine Angew. Math.521(2000), 25–46. MR 1752294

    2000

  9. [9]

    de la Harpe and G

    P. de la Harpe and G. Skandalis,D´ eterminant associ´ e ` a une trace sur une alg´ ebre de Banach, Ann. Inst. Fourier (Grenoble)34(1984), no. 1, 241–260. MR 743629 32 HIROKI MATUI

    1984

  10. [10]

    Deeley,A counterexample to the HK-conjecture that is principal, Ergodic Theory Dynam

    Robin J. Deeley,A counterexample to the HK-conjecture that is principal, Ergodic Theory Dynam. Systems 43(2023), no. 6, 1829–1846. MR 4583796

    2023

  11. [11]

    Math.12(2019), no

    Carla Farsi, Alex Kumjian, David Pask, and Aidan Sims,Ample groupoids: equivalence, homology, and Matui’s HK conjecture, M¨ unster J. Math.12(2019), no. 2, 411–451. MR 4030921

    2019

  12. [12]

    A. H. Forrest and John Hunton,The cohomology andK-theory of commuting homeomorphisms of the Cantor set, Ergodic Theory Dynam. Systems19(1999), no. 3, 611–625. MR 1695911

    1999

  13. [13]

    Franz G¨ ahler, John Hunton, and Johannes Kellendonk,Integral cohomology of rational projection method patterns, Algebr. Geom. Topol.13(2013), no. 3, 1661–1708. MR 3071138

    2013

  14. [14]

    Haefliger,Differential cohomology, Differential topology (Varenna, 1976), Liguori, Naples, 1979, pp

    A. Haefliger,Differential cohomology, Differential topology (Varenna, 1976), Liguori, Naples, 1979, pp. 19–70. MR 660658

    1976

  15. [15]

    Math.224(2021), no

    Masaki Izumi and Hiroki Matui,Poly-Zgroup actions on Kirchberg algebras II, Invent. Math.224(2021), no. 3, 699–766. MR 4258054

    2021

  16. [16]

    J.51(2003), no

    Jerome Kaminker and Ian Putnam,A proof of the gap labeling conjecture, Michigan Math. J.51(2003), no. 3, 537–546. MR 2021006

    2003

  17. [17]

    Math.161(2026), no

    David Kerr and Petr Naryshkin,Elementary amenability and almost finiteness, Compos. Math.161(2026), no. 12, 3321–3337. MR 5062308

    2026

  18. [18]

    Xin Li,A new approach to recent constructions ofC ∗-algebras from modular index theory, J. Funct. Anal. 269(2015), no. 3, 841–864. MR 3350732

    2015

  19. [19]

    Jianlong Liu, Jonathan Rosenberg, and Rodrigo Trevi˜ no,New results on tilings via cup products and Chern characters on tiling spaces, Algebr. Geom. Topol.26(2026), no. 3, 1155–1193. MR 5056667

    2026

  20. [20]

    Hiroki Matui,Homology and topological full groups of ´ etale groupoids on totally disconnected spaces, Proc. Lond. Math. Soc. (3)104(2012), no. 1, 27–56. MR 2876963

    2012

  21. [21]

    Reine Angew

    ,Topological full groups of one-sided shifts of finite type, J. Reine Angew. Math.705(2015), 35–84. MR 3377390

    2015

  22. [22]

    Math.303(2016), 502–548

    , ´Etale groupoids arising from products of shifts of finite type, Adv. Math.303(2016), 502–548. MR 3552533

    2016

  23. [23]

    ,Classifying Stein’s groups, J. Lond. Math. Soc. (2)112(2025), no. 2, Paper No. e70266. MR 4946427

    2025

  24. [24]

    Math.18(2025), no

    Hiroki Matui and Takehiko Mori,Cup and cap products for cohomology and homology groups of ample groupoids, M¨ unster J. Math.18(2025), no. 1, 119–140. MR 4976175

    2025

  25. [25]

    Petr Naryshkin,Group extensions preserve almost finiteness, J. Funct. Anal.286(2024), no. 7, Paper No. 110348, 8. MR 4700192

    2024

  26. [26]

    Noncommut

    Eduard Ortega,The homology of the Katsura-Exel-Pardo groupoid, J. Noncommut. Geom.14(2020), no. 3, 913–935. MR 4170644

    2020

  27. [27]

    Scand.128(2022), no

    Eduard Ortega and Alvaro Sanchez,The homology of the groupoid of the self-similar infinite dihedral group, Math. Scand.128(2022), no. 2, 255–277. MR 4472708

    2022

  28. [28]

    Dyn.17(2023), no

    Eduard Ortega and Eduardo Scarparo,Almost finiteness and homology of certain non-free actions, Groups Geom. Dyn.17(2023), no. 1, 77–90. MR 4563329

    2023

  29. [29]

    Torsion-free ample groupoids, Ergodic Theory Dynam

    Valerio Proietti and Makoto Yamashita,Homology andK-theory of dynamical systems I. Torsion-free ample groupoids, Ergodic Theory Dynam. Systems42(2022), no. 8, 2630–2660. MR 4448401

    2022

  30. [30]

    Smale spaces with totally disconnected transversal, J

    ,Homology andK-theory of dynamical systems II. Smale spaces with totally disconnected transversal, J. Noncommut. Geom.17(2023), no. 3, 957–998. MR 4626307

    2023

  31. [31]

    Valerio Proietti and Makoto Yamashita,Chern character for torsion-free ample groupoids, arXiv e-prints (2025), arXiv:2509.07663

    work page arXiv 2025

  32. [32]

    793, Springer, Berlin,

    Jean Renault,A groupoid approach toC ∗-algebras, Lecture Notes in Mathematics, vol. 793, Springer, Berlin,

  33. [33]

    ,Cartan subalgebras inC ∗-algebras, Irish Math. Soc. Bull. (2008), no. 61, 29–63. MR 2460017

    2008

  34. [34]

    Rørdam,Classification of nuclear, simpleC ∗-algebras, Classification of nuclearC ∗-algebras

    M. Rørdam,Classification of nuclear, simpleC ∗-algebras, Classification of nuclearC ∗-algebras. Entropy in operator algebras, Encyclopaedia Math. Sci., vol. 126, Springer, Berlin, 2002, pp. 1–145. MR 1878882

    2002

  35. [35]

    Systems40(2020), no

    Eduardo Scarparo,Homology of odometers, Ergodic Theory Dynam. Systems40(2020), no. 9, 2541–2551. MR 4130816

    2020

  36. [36]

    Andreas Van Elst,Gap-labelling theorems for Schr¨ odinger operators on the square and cubic lattice, Rev. Math. Phys.6(1994), no. 2, 319–342. MR 1269302

    1994

  37. [37]

    Inhyeop Yi,Homology and Matui’s HK conjecture for groupoids on one-dimensional solenoids, Bull. Aust. Math. Soc.101(2020), no. 1, 105–117. MR 4052913 Graduate School of Mathematical Sciences, The University of Tokyo, Japan Email address:hiroki@ms.u-tokyo.ac.jp

    2020