Pith. sign in

REVIEW 1 major objections 4 minor 22 references

Cohomology of ample groupoids

T0 review · 1 major / 4 minor · reviewed 2026-08-10 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For ample groupoids, module-based cohomology matches continuous cocycle cohomology, degree by degree.

desk verdict A clean, explicitly derivative translation of groupoid sheaf cohomology into module language with useful examples; the central theorem holds, but the novelty is modest and Remark 2.4 contains a harmless typo. read the letter →

arxiv 2501.00166 v3 pith:37W2EBPK submitted 2024-12-30 math.OA math.AT

Valentin Deaconu , Marius Ionescu This is my paper · ORCID
classification math.OAmath.AT MSC 22A2246L0555N91
keywords amplegroupoidétalecohomologycontinuouscocyclebarresolutionG-modulesG-sheavesMoritaequivalence
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper builds one cochain complex that computes the cohomology of an ample groupoid — an étale groupoid with totally disconnected unit space — with coefficients in any $G$-module. The complex is the dual of the bar resolution used in groupoid homology, obtained by applying $\operatorname{Hom}_G(-, M)$ placewise. The authors prove the resulting groups $H^n(G,M)$ are isomorphic, for every $n$, to the continuous cocycle cohomology $H^n_c(G,M)$ developed for groupoid $C^*$-algebras, and in fact the isomorphism is implemented by explicit local formulas. Since cocycle cohomology is known to be Morita invariant, the module-based version inherits that invariance, and it also produces a long exact sequence for skew products by a $\mathbb Z$-valued cocycle. A sympathetic reader would care because this gives a computable, algebraic route into a cohomology theory that is usually defined through sheaves and continuous cocycles.

What carries the argument

The engine is the bar resolution $\cdots \to \mathbb Z[G(n+1)] \to \mathbb Z[G(n)] \to \cdots \to \mathbb Z[G(1)] \to \mathbb Z[G(0)] \to 0$ of the $G$-module $\mathbb Z[G(0)]$, whose coinvariants recover the homology chain complex via the face maps. The paper dualizes it with $\operatorname{Hom}_G(-, M)$ to define $H^n(G,M)$. The bridge to continuous cocycle cohomology is the theorem identifying non-degenerate $G$-modules with $G$-sheaves for ample groupoids: it identifies $\operatorname{Hom}_G(\mathbb Z[G(n+1)], M)$ with the space $C^n(G,M)$ of continuous functions $f : G(n) \to \mathcal M$ with $f(g_1,\ldots,g_n) \in \mathcal M_{r(g_1)}$, and the map $\theta_n$ is the explicit composite of the sheaf-section identification, the Hom-space identification, and the sheaf-level cocycle identification of the small-category formalism. This machinery is what makes the cohomology computable in examples and gives the naturality needed for Morita invariance.

What would settle it

Compute the degree-one cohomology of the UHF($p^\infty$) groupoid $F_p$ directly from continuous cocycles; the paper predicts $H^1(F_p) \cong \varprojlim^1(C(X,\mathbb Z), \sigma_*)$, an uncountable group, so any direct computation producing a smaller group would falsify Theorem 3.12.

Watch

Extended reading notes

Core claim

The central claim is Theorem 3.12: for each $n \geq 0$ there is an isomorphism $\theta_n : \operatorname{Hom}_G(\mathbb Z[G(n+1)], M) \to C^n(G,M)$, determined by evaluation on local sections $\langle r(g_1), g_1, \ldots, g_n\rangle_V$, that commutes with the coboundary maps and therefore induces an isomorphism $H^n(G,M) \cong H^n_c(G,M)$. The construction runs through three identifications: the $G$-module $\mathbb Z[G(n)]$ with the sections of the $G$-sheaf $\mathbb Z[G(n)]_s$ (Lemma 3.4), the Hom-space in the module complex with $G$-sheaf morphisms (Proposition 3.10), and the latter with continuous $n$-cochains. As a consequence, the cohomology is invariant under Morita equivalence (Corollary 3.13), and the same module-sheaf dictionary yields a dual long exact sequence for the cohomology of skew products $G \times_c \mathbb Z$ by a continuous cocycle $c : G \to \mathbb Z$ (Theorem 4.2).

Load-bearing premise

The comparison of the two cohomology theories rests entirely on the theorem that for ample groupoids the categories of $G$-modules and $G$-sheaves are equivalent; if that equivalence fails in the Hausdorff setting, the isomorphism $H^n(G,M) \cong H^n_c(G,M)$ has no basis.

Editorial extensions

If this is right

  • The two existing definitions of cohomology for Hausdorff ample groupoids — one from the dual bar resolution, one from continuous cocycles — coincide, so results proved in either language transfer freely.
  • Morita invariance of $H^n(G,M)$ follows directly, giving a module-theoretic path to an invariance property important for $C^*$-algebra invariants.
  • For a skew product $G \times_c \mathbb Z$, cohomology fits into a long exact sequence with maps $\operatorname{id} - c_*^{(n)}$, so degree-$n$ computations reduce to kernels and cokernels of these maps.
  • For AF-groupoids, $H^0(G,\mathbb Z)$ is a projective limit of $C(X_n,\mathbb Z)$ and $H^1(G,\mathbb Z)$ is the derived limit $\varprojlim^1$, with higher groups vanishing; for the UHF($p^\infty$) groupoid this yields an uncountable $H^1$.
  • For transformation groupoids $\Gamma \ltimes X$, cohomology with $G$-module coefficients reduces to the ordinary group cohomology $H^n(\Gamma, C(X,M))$, and for $\Gamma = \mathbb Z$ gives $H^0 \cong M$ and $H^1 \cong C(X,M)/\{f - f \circ \varphi^{-1}\}$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The explicit local formulas for $\theta_n$ suggest a direct way to define cup products on the module-based complex, which could connect this cohomology to recent work on cup and cap products for ample groupoids.
  • Because the module-sheaf equivalence is stated for not necessarily Hausdorff groupoids, the same dualization may work without the Hausdorff hypothesis; testing the isomorphism on a non-Hausdorff example would show whether the paper's restriction is essential.
  • The appearance of $\varprojlim^1$ for AF-groupoids indicates that derived projective limits are the right language for cohomology of directed unions of groupoids; one could test this on other inductive limits, such as those arising from self-similar actions.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

1 major / 4 minor

Summary. The manuscript defines cohomology groups H^n(G,M) for Hausdorff ample groupoids by applying Hom_G(−,M) to the bar resolution of G-modules, and proves in Theorem 3.12 that this cochain complex is isomorphic to the continuous cocycle cohomology H^n_c(G,M) studied by Renault, via Steinberg's equivalence between G-sheaves and G-modules. Corollaries include Morita invariance and a pullback map for étale groupoid homomorphisms. Theorem 4.2 establishes a long exact sequence for the cohomology of skew products G ×_c Z by a Z-valued cocycle. The final section gives applications to trivial groupoids, AF groupoids, the UHF(p^∞) groupoid, and transformation groupoids.

Significance. The main theorem is a useful and clearly formulated bridge between the module-theoretic bar resolution used in groupoid homology and the classical cocycle cohomology; the explicit maps θ_n and ρ_n are valuable for concrete computations. The paper is transparent about its debt to [7] and [20], and the examples illustrate the machinery well. If the proofs are completed, the Morita invariance statement and the skew-product exact sequence are solid applications. The contribution is not a fundamentally new invariant, but rather a convenient cochain model with explicit formulas, which is a legitimate and useful contribution to the field.

major comments (1)
  1. [Theorem 4.2, proof] The surjectivity of id − ĉ^(n) is asserted with the sole justification that ĉ_1 has no fixed points. This implication is not automatic for Hom groups, and the step is load-bearing in the short exact sequence that produces the long exact sequence. Please expand the proof: using the isomorphism θ_n from Theorem 3.12, identify Hom_{G×_c Z}(Z[(G×_c Z)(n+1)], π*M) with C^n(G×_c Z, π*M), note that (G×_c Z)^(n) ≅ G^(n) × Z and that π*M is constant on the Z-fibers, and prove surjectivity by solving the difference equation λ(g, ·) − λ(g, ·−1) = μ(g, ·) fiberwise. The current one-sentence argument is insufficient for a main theorem.
minor comments (4)
  1. [Remark 2.4] The augmentation b_0 should be r_*, not s_*, for the stated left G-module structures: with b_0 = s_* the map is not G-equivariant, and the displayed chain homotopy h_n(g_0,...,g_{n-1}) = (r(g_0),g_0,...,g_{n-1}) does not witness exactness. This does not affect Theorem 3.12 because b_0 is not used in the dual cochain complex, but the remark should be corrected.
  2. [Theorem 4.2 statement] The notation for the maps in the exact sequence alternates between c_*(n), ĉ^(n), and c^(n); please unify the notation throughout the statement and proof.
  3. [Theorem 3.12, proof] The verification that θ_n is compatible with the boundary maps is summarized as 'a routine computation'. The displayed proof should explicitly cite Lemma 2.3 for the equality g_0 · φ(⟨r(g_1),g_1,...,g_n⟩_V)(r(g_1)) = φ(⟨g_0,g_1,...,g_n⟩_W)(r(g_0)), since this is the key equivariance step.
  4. [Example 5.3] The identification H^0(F_p) ≅ lim←(C(X,Z), σ^*) is stated with the justification that only constant functions survive; a short argument using local constancy and eventual equality of sequences would make the computation more convincing.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main isomorphism is proved by explicit comparison with external results by Steinberg and by Gillaspy–Kumjian; the only self-citation is a peripheral pointer.

full rationale

The paper's central claim, Theorem 3.12, is not circular. The cohomology H^n(G,M) is defined independently as the cohomology of the dual bar resolution (Definition 3.1), while H^n_c(G,M) is defined separately by continuous cocycles (Definition 3.9). The isomorphism between them is established by concrete maps θ_n and ρ_n, and the proof explicitly invokes external theorems: Steinberg's G-module/G-sheaf equivalence [20, Theorem 3.5] and Gillaspy–Kumjian's sheaf-theoretic isomorphism [7, Proposition 3.14]. Neither of these is authored by the present writers, and neither assumes the target result. The paper even states that many facts 'are just a reinterpretation of results in [7]', which is an admission of dependence on prior work, not a circular reduction. The only self-citation is the pointer 'see also Example 4.3 in [4]' in Remark 5.2; that citation is not load-bearing for Theorem 3.12 or for the skew-product exact sequence. There is an internal technical flaw in Remark 2.4: with the left G-module structure defined in Section 2, the augmentation b_0 should be r_*, not s_*, and the stated chain homotopy is designed for r_*. However, this affects only the motivational presentation of the bar resolution: the differentials used in Definition 3.1 begin with b_1, so the proof of Theorem 3.12 does not depend on b_0 = s_*. This is a correctness issue, not a circularity issue.

Assumptions & free parameters 0 free parameters · 4 assumptions · 0 invented entities

The paper introduces no free parameters and no speculative entities. Its central claim rests on established theorems: exactness of the bar resolution from the ample groupoid literature and Steinberg's module-sheaf equivalence. The Hausdorff ample assumption is stated upfront and used throughout.

assumptions (4)
  • domain assumption The bar resolution (2.6) is exact and each Z[G(n)] is flat (projective when the unit space is σ-compact), so it computes Tor^G_*(Z[G(0)], M).
    Invoked in Remark 2.4 and Section 3 to define homology and to pass to the dual complex; exactness is witnessed by a chain homotopy, but flatness/projectivity is cited from [1], [13], [14].
  • domain assumption The category of (nondegenerate) G-modules is equivalent to the category of G-sheaves for ample groupoids (Steinberg [20, Theorem 3.5]).
    Used throughout Section 3 (Remark 3.2, Proposition 3.10) to identify Hom_G(Z[G(n)], M) with C^n(G, M); this is the backbone of Theorem 3.12.
  • standard math Mittag-Leffler condition and lim←^1 exact sequence results (Weibel [22, Theorem 3.5.8]) apply to the towers of cochain complexes.
    Used in Examples 5.2 and 5.3 to compute cohomology of AF-groupoids via inverse limits.
  • domain assumption Skew product groupoid definitions and the homology exact sequence of Ortega [15, Lemma 1.3], whose cohomological dual is proven in Theorem 4.2.
    Background for Section 4; the paper proves the cohomology version but assumes the setup.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Cohomology of ample groupoids." pith.science (2026). https://pith.science/paper/37W2EBPK

@misc{pith2026250100166,
  author       = {Pith},
  title        = {Pith review of: Cohomology of ample groupoids},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/37W2EBPK}},
  note         = {Machine review of arXiv:2501.00166}
}
abstract

We introduce a cochain complex for ample groupoids $\mathcal G$ using a flat resolution defining their homology with coefficients in $\mathbb Z$. We prove that the cohomology of this cochain complex with values in a $\mathcal G$-module $M$ coincides with the previously introduced continuous cocycle cohomology of $\mathcal G$. In particular, this groupoid cohomology is invariant under Morita equivalence. We derive an exact sequence for the cohomology of skew products by a $\mathbb Z$-valued cocycle. We indicate how to compute the cohomology with coefficients in a $\mathcal G$-module $M$ for $AF$-groupoids and for certain action groupoids.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

22 extracted references · 22 canonical work pages

  1. [7]

    Gillaspy, A

    E. Gillaspy, A. Kumjian, Cohomology for small categories: k-graphs and groupoids, Banach J. Math. Anal. 12(2018), no. 3, 572–599

    work page 2018

  2. [20]

    Steinberg, Modules over ´ etale groupoid algebras and sheaves , J

    B. Steinberg, Modules over ´ etale groupoid algebras and sheaves , J. Aust. Math. Soc. 97(2014), 418–429

    work page 2014

  3. [1]

    B¨ onicke, C

    C. B¨ onicke, C. Dell’Aiera, J. Gabe and R. Willett, Dynamic asymptotic dimension and Matui’s HK conjecture , Proc. London Math Soc (3) 2023 no. 4, 1182–1253

    work page 2023

  4. [2]

    K. S. Brown, Cohomology of groups, Graduate Texts in Mathematics, 87, Springer-Verlag, New York, 1994

    work page 1994

  5. [3]

    Crainic and I

    M. Crainic and I. Moerdijk, A homology theory for ´ etale groupoids, J. Reine Angew. Math. 521 (2000), 25–46

    work page 2000

  6. [4]

    Deaconu, A

    V. Deaconu, A. Kumjian and P. Muhly, Cohomology of topological graphs and Cuntz-Pimsner algebras , J. Operator Theory 46(2001), 251–264

    work page 2001

  7. [5]

    Farsi, A

    C. Farsi, A. Kumjian, D. Pask and A. Sims, Ample groupoids: equivalence, homology, and Matui’s HK conjecture , M¨ unster J. Math. 12 (2019), no. 2, 411–451

    work page 2019

  8. [6]

    Forrest and J

    A. Forrest and J. Hunton, The cohomology and K-theory of commuting homeomorphisms of the Cantor set , Ergod. Th. & Dynam. Sys. 19(1999), 611–625

    work page 1999

Show all 22 references
  1. [8]

    Haefliger, Differential cohomology, Differential topology (Varenna, 1976), pp

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

    1976

  2. [9]

    Kumjian, On equivariant sheaf cohomology and elementary C ∗-bundles, J

    A. Kumjian, On equivariant sheaf cohomology and elementary C ∗-bundles, J. Operator Theory 20(1988), 207–240

    1988

  3. [10]

    Li, Ample Groupoids, Topological Full groups, AlgebraicK- theory Spectra and Infinite Loop Spaces, Forum of Mathematics, Pi (2025), Vol

    X. Li, Ample Groupoids, Topological Full groups, AlgebraicK- theory Spectra and Infinite Loop Spaces, Forum of Mathematics, Pi (2025), Vol. 13: e9 1–56

    2025

  4. [11]

    Matui, Homology and topological full groups of ´ etale groupoids on totally disconnected spaces, Proc

    H. Matui, Homology and topological full groups of ´ etale groupoids on totally disconnected spaces, Proc. London Math. Soc. (3) 104 (2012), 27–56. Cohomology of ample groupoids 23

    2012

  5. [12]

    Matui and T

    H. Matui and T. Mori, Cup and cap products for cohomology and homology groups of ample groupoids , arXiv: 2411.14906v1

    arXiv

  6. [13]

    Miller, K-theory for ´ etale groupoid C ∗-algebras via groupoid correspon- dences and spectral sequences, thesis

    A. Miller, K-theory for ´ etale groupoid C ∗-algebras via groupoid correspon- dences and spectral sequences, thesis

  7. [14]

    Miller, Ample groupoid homology and ´ etale correspondences , arXiv:2304.13473v3, J

    A. Miller, Ample groupoid homology and ´ etale correspondences , arXiv:2304.13473v3, J. of Noncommutative Geometry 2024

    2024 arXiv

  8. [15]

    Ortega, The homology of the Katsura-Exel-Pardo groupoid , J

    E. Ortega, The homology of the Katsura-Exel-Pardo groupoid , J. Noncom- mut. Geom. 14(2020), 913–935

    2020

  9. [16]

    Proietti and M

    V. Proietti and M. Yamashita, Homology and K-theory of dynamical systems I. Torsion-free ample groupoids, Ergod. Th. & Dynam. Sys. 42 (2022) 2630– 2660

    2022

  10. [17]

    Proietti and M

    V. Proietti and M. Yamashita, Homology and K-theory of dynamical systems II. Smale spaces with totally disconnected transversal, J. Noncommut. Geom. 17(2023), 957–998

    2023

  11. [18]

    Renault, A groupoid approach to C ∗-algebras, Lecture Notes in Math

    J. Renault, A groupoid approach to C ∗-algebras, Lecture Notes in Math. 793, Springer, Berlin, 1980

    1980

  12. [19]

    Sanchez, On the relation between homology and K-theory of ´ etale groupoids, PhD Thesis 2022

    A. Sanchez, On the relation between homology and K-theory of ´ etale groupoids, PhD Thesis 2022

    2022

  13. [21]

    Tu, Groupoid cohomology and extensions , Trans

    J-L. Tu, Groupoid cohomology and extensions , Trans. Amer. Math. Soc. 358(2006), no. 11, 4721–4747

    2006

  14. [22]

    C. A. Weibel, An introduction to homological algebra, Cambridge University Press 1994. Valentin Deaconu Department of Mathematics (084) University of Nevada Reno NV 89557-0084 USA e-mail: vdeaconu@unr.edu Marius Ionescu United States Naval Academy Annapolis MD 21402-5002 USA e...

    1994

Pith tools

Reviewed August 10, 2026 · model on record in the stance chip above.