HEXAGONbeta

A Note on Laminar Presentations and Finite Chain Models for Ample Groupoid Homology

Primarily human-written textHuman understanding: all partsmath.KT — K-Theory and Homologymath.AT — Algebraic Topology

Contributed by Luciano Melodia ↗

Version 1 / Oct 14, 2026 / CC BY 4.0

Abstract

A finite free chain model for the homology of a Hausdorff ample groupoid GG is cut out of the Matui complex by a finite clopen partition of each nerve space. We ask what such a model must supply and isolate three requirements: a single model that is a quasi-isomorphism, a chain of models that is a complete system with ranks and transition maps read off the presenting data, and a bound on the number of atoms in terms of the presenting cover. An nn-Helly axiom on the presenting covers supplies none of them, being satisfied by every finite atomization for every nn, and a 11-Helly family of NN compact open sets can have 2N−12^{N}-1 atoms. We show that a laminar presentation, a laminar basis of compact open sets in each nerve degree, supplies the third, and the second as soon as it is countable: the atoms of a finite laminar family are exactly its nonempty nodes, so a subordinate model has rank at most the number of members presenting it, the subordinate models of finite height form a complete system containing, for a countable presentation, a chain that is itself complete, and the transition maps are the least-ancestor maps of the presenting subfamilies. Every second countable Hausdorff ample groupoid admits one, and the choice is made in each nerve degree separately, laminarity not being stable under products. The first requirement is a restriction on GG: the homology of a model is finitely generated over a Noetherian ring, whereas H0H_0 over Z\mathbb Z is not for the unit groupoid on a Cantor set or for the CAR groupoid, and a truncated model carries free homology of arbitrary rank in arbitrarily high odd degree where the groupoid has none. The chain-level statements are accompanied by a Lean 4 formalization.

Provenance statement

This paper summarises the negative results of the investigation into the HK conjecture using a concept of \(n\)-Helly homology that incorporates the Helly intersection principles.

References

  1. Bauer, Ulrich; Kerber, Michael; Roll, Fabian; Rolle, Alexander. A Unified View on the Functorial Nerve Theorem and Its Variations. Expositiones Mathematicae, vol. 41, no. 4, pp. 125503. 2023DOI
  2. Danzer, Ludwig; Grünbaum, Branko; Klee, Victor. Helly's theorem and its relatives. Convexity, vol. 7, pp. 101–180. 1963DOI
  3. Deeley, Robin J. A counterexample to the HK-conjecture that is principal. Ergodic Theory and Dynamical Systems, vol. 43, no. 6, pp. 1829–1846. 2023DOI
  4. Helly, Eduard. Über Mengen konvexer Körper mit gemeinschaftlichen Punkten. Jahresbericht der Deutschen Mathematiker-Vereinigung, vol. 32, pp. 175–176. 1923
  5. Matui, Hiroki. Homology and topological full groups of étale groupoids on totally disconnected spaces. Proceedings of the London Mathematical Society, vol. 104, no. 1, pp. 27–56. 2012DOI
  6. Matui, Hiroki. Étale groupoids arising from products of shifts of finite type. Advances in Mathematics, vol. 303, pp. 502–548. 2016DOI
  7. Nyland, Petter; Ortega, Eduard. Matui's AH conjecture for graph groupoids. Documenta Mathematica, vol. 26, pp. 1679–1727. 2021DOI
  8. Scarparo, Eduardo. Homology of odometers. Ergodic Theory and Dynamical Systems, vol. 40, no. 9, pp. 2541–2551. 2020DOI
  9. Weibel, Charles A. An Introduction to Homological Algebra. Cambridge University Press, vol. 38. 1994DOI

Version history

  1. v1Submitted by Luciano MelodiaInitial depositCurrentOct 13, 2026