Homology and AH conjecture for groupoids on one-dimensional solenoids (Q2105656)

\textit{H. Matui} has proposed the so called AH conjecture in [Adv. Math. 303, 502--548 (2016; Zbl 1352.19003)] stating that for essentially principal minimal étale groupoids with totally disconnected unit space, the abelianization of topological full group of the groupoid is an extension of the first homology group tensored with \(\mathbb Z_2\) by the second homology group. For groupoids coming from dynamical systems, the topological full group consists of orbit preserving homeomorphisms, and is a complete invariant for continuous orbit equivalence, whereas the homology groups correspond to K-theory of the crossed product. AH conjecture is already confirmed for AF and SFT groupoids, and transformation groupoids of (higher dimensional) Cantor minimal systems (by Matui himseld), for graph groupoids and Katsura-Exel-Pardo groupoids (by \textit{P. Nyland} and \textit{E. Ortega} [Doc. Math. 26, 1679--1727 (2021; Zbl 07430672); J. Lond. Math. Soc., II. Ser. 104, No. 5, 2240--2259 (2021; Zbl 07652703)]), and for groupoids coming from aperiodic quasicrystals or odometers. The author verifies the AH conjecture for groupoids of Bratteli-Vershik systems embedded in the unstable equivalence relation of one-dimensional solenoids.