Pith. sign in

REVIEW 4 major objections 5 minor 33 references

Equivariant periodic cyclic homology for ample groupoids

T0 review · 4 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read This paper defines bivariant equivariant periodic cyclic homology for actions of ample groupoids and proves homotopy invariance, stability, and excision in both variables, together with a Green-Julg isomorphism for proper groupoids.

desk verdict This is the first equivariant periodic cyclic homology for ample groupoids; the construction is new and largely credible, but excision and the periodic tensor algebra step rest on unproved assertions that should be supplied before the headline claims are accepted. read the letter →

arxiv 2506.06503 v2 pith:O5JGG3ME submitted 2025-06-06 math.KT

Francesco Pagliuca , Christian Voigt This is my paper
classification math.KT MSC 19D5516E4022A22
keywords equivariantperiodiccyclichomologyamplegroupoidsbivarianttheoryGreen-Julgtheoremexcisionhomotopyinvariancestabilityanti-Yetter-Drinfeldmodules
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

Bivariant equivariant periodic cyclic homology is constructed for actions of an ample Hausdorff groupoid $G$ on complex algebras: for pro-$G$-algebras $A$ and $B$ the paper defines groups $HP^G_*(A,B)$ from the equivariant $X$-complex of the stabilised periodic tensor algebra. It establishes that $HP^G_*$ is homotopy invariant under smooth $G$-equivariant homotopies, stable under tensoring with algebras of finite-rank operators on $G$-modules with invariant pairings, and excisive in both variables, matching the formal behaviour of the discrete-group theory. In the proper case, with $G/G^{(0)}$ paracompact, it proves a Green-Julg isomorphism comparing the theory with the periodic cyclic homology of the crossed product. The motivation is to produce a computable invariant for the $K$-theory of ample groupoids in the direction of the HK-conjecture.

What carries the argument

The central object is the equivariant $X$-complex $X_G(A)$, a two-term pro-paracomplex of $G$-anti-Yetter-Drinfeld modules — $G$-modules with a compatible action of the algebra of functions on the loop groupoid — whose differential squares to $\mathrm{id}-T$, where $T$ is the canonical automorphism coming from the adjoint action. Because the square is not zero, one must pass to Hom-complexes or mapping complexes to get honest chain complexes; this is why the paper defines bivariant periodic cyclic homology rather than ordinary cyclic homology. The argument is carried by the periodic tensor algebra $TA$ and the Hodge tower $\theta\Omega_G(A)$, together with the assertion that $X_G(TA)$ is homotopy equivalent to $\theta\Omega_G(A)$, which lets paracomplex homotopy equivalences become isomorphisms in $HP^G_*$. Stability is proved through twisted traces from $G$-equivariant pairings, excision through a key homotopy equivalence between $X_G(TK)$ and the kernel of $X_G(TE)\to X_G(TQ)$, and the Green-Julg theorem through localisation at orbits and an averaging map that reduces to finite stabilisers.

What would settle it

Take a proper ample groupoid with a nontrivial finite stabiliser, for instance a finite group acting on a Cantor set, and compute both sides of the Green-Julg isomorphism of Theorem 6.1 for $A=C^\infty_c(G^{(0)})$: if the equivariant periodic cyclic homology of $A$ and the periodic cyclic homology of $A\rtimes G$ differ in degree 0 or 1, the theorem is false.

Watch

Extended reading notes

Core claim

On the paper's own terms, for every ample Hausdorff groupoid $G$ and every pair of pro-$G$-algebras $(A,B)$, the groups $HP^G_*(A,B)$ are defined by taking the Hom-complex of the equivariant $X$-complexes of the stabilised periodic tensor algebras, and the main claim is that this is a bivariant homology theory. Smooth $G$-equivariant homotopies induce the same map in degree zero; tensoring with a $G$-module $E$ with a $G$-equivariant pairing gives an invertible class; and every admissible extension of pro-$G$-algebras yields six-term exact sequences in both variables. For proper $G$ with $G/G^{(0)}$ paracompact, the Green-Julg isomorphism $HP^G_*(C^\infty_c(G^{(0)}),A) \cong HP^{C^\infty_c(G/G^{(0)})}_*(C^\infty_c(G/G^{(0)}), A\rtimes G)$ holds. When the unit space is a point, the construction reduces to the earlier group-equivariant periodic cyclic homology.

Load-bearing premise

The load-bearing premise is that the two technical equivalences that make the definition and excision work in the discrete-group case still work for every ample groupoid; the paper states them without giving the groupoid proofs.

Editorial extensions

If this is right

  • Admissible extensions of pro-$G$-algebras produce six-term exact sequences in both variables, so $HP^G_*$ can be used as a two-variable homological invariant in the same way as bivariant $K$-theory.
  • For proper ample groupoids with paracompact quotient, $HP^G_*(C^\infty_c(G^{(0)}),A)$ is computable from the crossed product $A\rtimes G$, a substantial simplification for concrete examples.
  • Stability means finite-rank perturbations and smoothing operators can be introduced without changing the theory, provided the $G$-module carries an admissible invariant pairing.
  • For discrete groupoids the theory decomposes as a direct sum over orbits of stabiliser-equivariant periodic cyclic homology, reducing computations to smaller groups.
  • The theory carries a module structure over the conjugation-invariant functions on the loop groupoid, and localising at an ideal isolates contributions from individual conjugacy classes, which is useful for Chern character calculations.

Reading between the lines

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

  • Inference: if the two omitted groupoid versions of the group-case equivalences (Theorem 4.12 and Theorem 5.11) hold as stated, the same construction should extend to bornological vector spaces almost unchanged, giving analytic versions for etale groupoids; the paper notes this but does not develop it.
  • Inference: a bivariant Chern character combined with the Green-Julg isomorphism could yield a new comparison between $HP^G_*$ and groupoid homology in the direction of the HK-conjecture; this connection is not drawn in the paper.
  • Inference: a concrete next test is to compute $HP^G_*$ for a minimal non-discrete ample groupoid such as the transformation groupoid of a full shift and compare the result with groupoid homology; agreement would support, and disagreement constrain, the conjectural link.
  • Inference: the authors' suggestion that Hausdorff covers of non-Hausdorff groupoids might repair the failure of locally constant functions to multiply indicates a plausible route to extending $HP^G_*$ beyond Hausdorff groupoids, but no construction is given.
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

4 major / 5 minor

Summary. This paper constructs a bivariant equivariant periodic cyclic homology theory HP^G_* for actions of ample Hausdorff groupoids on complex algebras, following the Cuntz–Quillen approach and Voigt's earlier group-equivariant theory. The authors introduce G-modules, G-algebras, G-anti-Yetter-Drinfeld modules, equivariant differential forms, the equivariant X-complex, and then state the main structural properties: homotopy invariance, stability, excision in both variables, and a Green–Julg type isomorphism for proper groupoids with paracompact quotient. The paper contains substantial new formalism for groupoids, especially the comodule description of G-modules and the monoidal tensor product. However, two results that carry much of the theory are not proved: Theorem 4.12, the homotopy equivalence between the X-complex of the periodic tensor algebra and the Hodge tower, is dismissed as a direct translation of [30, Theorem 8.6], and Theorem 5.11, the key step in excision, is stated without proof or proof sketch. The paper is therefore conditional in its present form.

Significance. If the main results hold, this is a valuable contribution: it provides a bivariant periodic cyclic homology for groupoid actions with the same formal properties as the group-equivariant theory, and a Green–Julg theorem that could be relevant to the Baum–Connes approach to Matui's HK conjecture. The paper gives detailed, self-contained arguments for several foundational pieces, including the equivalence between G-modules and C_c^∞(G)-comodules (Proposition 3.6), the monoidal structure (Proposition 3.8), the paracomplex identities (Lemma 4.4), and the stability theorem (Theorem 5.5). These are genuine assets. The main weakness is not the overall strategy but the number of load-bearing assertions that are currently left unproved; the advertised theory and its headline properties are not yet fully supported as written.

major comments (4)
  1. [§4.5, Theorem 4.12] Theorem 4.12 states that X_G(TA) and the Hodge tower θΩ_G(A) are homotopy equivalent as pro-paracomplexes of G-anti-Yetter-Drinfeld modules, but the proof is omitted with the comment that it is a direct translation of [30, Theorem 8.6]. This is not satisfactory in the present setting: the groupoid case changes the category of coefficient modules, the operator T, and the definitions of b_G and B_G, so it is not formally the same statement as in the group case. The authors should either give the full proof or, at minimum, indicate precisely which arguments of [30, §8] survive without change and which require groupoid-specific verification. As written, this central structural result is unsupported.
  2. [§5.3, Theorem 5.11] Theorem 5.11 is introduced as 'the key step in the proof of the excision theorem' and asserts that ρ : X_G(TK) → X_G(TE:TQ) is a homotopy equivalence, but no proof or proof sketch is provided. Since Theorems 5.12 and the advertised excision property in both variables are direct consequences of this single assertion, the paper's central claim about excision is currently unproved. The authors need to supply the full argument or a detailed reduction to the group-equivariant case that accounts for the groupoid-specific X-complex and AYD module structure.
  3. [§5.3, proof of Theorem 5.12] Even assuming Theorem 5.11, the reduction from an extension that is admissible only over C_c^∞(G^(0)) to one satisfying the G-equivariant splitting hypothesis of Theorem 5.11 is not demonstrated. The text says that tensoring with K_G and 'the same argument as in the proof of Lemma 5.6' gives the required G-equivariant pro-linear splitting, but this is not explained. Lemma 5.6 concerns the construction of a G-linear isomorphism from a C_c^∞(G^(0))-linear isomorphism; it does not by itself produce a G-equivariant splitting of an algebra extension with the required properties. This gap is load-bearing for the excision theorem.
  4. [§6, proof of Theorem 6.6] The proof of the Green–Julg theorem relies on several unverified localisation identifications, and in particular on the assertion that the map HH_*(γ_G) 'agrees up to a nonzero scalar' with the known isomorphism from the finite-group Green–Julg theorem. Since Green–Julg is one of the headline results, these identifications should be spelled out in enough detail to be checked, or the relevant statements should be isolated as explicit lemmas with proofs. As written, the argument is too schematic at exactly the point where the groupoid case is reduced to the group case.
minor comments (5)
  1. [§1, page 3] There is a typo in 'This s convenient when it comes to discussing quasifreeness'; it should read 'This is convenient'.
  2. [§3.3, after Proposition 3.6] The text refers to 'Theorem 3.6' in 'Theorem 3.6 can be phrased as saying...', but the statement is Proposition 3.6; the cross-reference should be corrected.
  3. [§4.1, page 24] The term 'G-lonilcur' is used without definition. If it is an abbreviation for 'locally nilpotent curvature', it should be introduced explicitly before first use.
  4. [§5.2, proof of Theorem 5.8] The notation E^∞ and C_c^∞(G^(0))^∞ is introduced informally; the direct sum pairing on these modules and the sense in which the isometric isomorphism is induced by Lemma 5.7 should be stated more explicitly.
  5. [§4.6, Definition 4.13] The Hom-complex in the definition is written as Hom_{A(G)}, but the crossed product A(G)=O_G ⋊ G is only described verbally in §3.4; it would improve readability to restate this identification at the point of definition.

Circularity Check

0 steps flagged · score 0.0 of 10

No circular derivation found: the groupoid HP^G theory is a genuine translation of prior group-equivariant work; heavy self-citation and omitted proofs are proof obligations, not circular reductions.

full rationale

The construction of HP^G_* (Definition 4.13) is explicit: it is the homology of Hom_{A(G)}(X_G(T(A tensor K_G)), X_G(T(B tensor K_G))), with K_G defined from the Steinberg algebra. No parameter is fitted and no normalization is imposed. The homotopy invariance, stability and excision theorems are proved by explicit maps and homotopies (Lemmas 5.1-5.2, Theorem 5.3, Theorem 5.5, Theorem 5.8), and the Green-Julg theorem is reduced to the finite-group case through localisation and explicit chain maps gamma_G. The paper does rely pervasively on Voigt's earlier group-equivariant theory [29] and [30]: Theorem 4.12 is called a direct translation of [30, Theorem 8.6], Theorem 4.7 extends [30, Theorem 6.5], Theorem 5.11, the key excision step, is asserted without proof after saying the argument follows closely [30], and the identification in Theorem 6.6 is said to agree up to a nonzero scalar with the group isomorphism, compare the proof of [29, Theorem 4.3]. The acknowledgment that Julian Kranz found a gap in the stability argument further indicates substantive proof work. These are real gaps in the written proof and correctness risks, but they are not circularity: the groupoid statements are not assumed as inputs, and the cited group-equivariant results concern discrete groups, not the ample groupoids under study. No equation in the paper equals its own target by definition, and no fitted quantity is renamed as a prediction. Under the rule that only an exhibited reduction counts as circularity, the appropriate finding is no significant circularity.

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

No free parameters exist in this pure mathematics paper. The central claim assumes the standard background of Cuntz-Quillen bivariant cyclic homology and Voigt's group-equivariant theory, plus the paper's own unproved 'direct translation' statements in Theorems 4.12 and 5.11. All groupoids are assumed Hausdorff and ample, and only algebraic tensor products are used.

assumptions (5)
  • standard math Cuntz-Quillen bivariant periodic cyclic homology and excision for general algebras
    Foundational; cited in Sections 4 and 5 (refs [13], [14], [15], [20]).
  • standard math Voigt's group-equivariant periodic cyclic homology satisfies homotopy invariance, stability, excision, and Green-Julg for finite groups
    The groupoid theory is constructed as a direct generalization; key proofs are presented as direct translations or reductions to [29] and [30].
  • domain assumption All groupoids are Hausdorff ample groupoids and tensor products are algebraic over C
    Explicitly stated in the introduction; this removes non-Hausdorff groupoids and bornological or analytic structure from the scope of the theory.
  • ad hoc to paper Theorem 4.12: X_G(TA) is homotopy equivalent to the Hodge tower θΩ_G(A) by direct translation of [30, Theorem 8.6]
    Stated without proof in Section 4.5; it is central to the well-definedness of HP^G_*.
  • ad hoc to paper Theorem 5.11: the map ρ : X_G(TK) to X_G(TE : TQ) is a homotopy equivalence
    Asserted without proof in Section 5.3 as the key step in excision; Theorem 5.12 depends on it.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Equivariant periodic cyclic homology for ample groupoids." pith.science (2026). https://pith.science/paper/O5JGG3ME

@misc{pith2026250606503,
  author       = {Pith},
  title        = {Pith review of: Equivariant periodic cyclic homology for ample groupoids},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/O5JGG3ME}},
  note         = {Machine review of arXiv:2506.06503}
}
read the original abstract

We define and study bivariant equivariant periodic cyclic homology for actions of ample groupoids. In analogy to the group case, we show that the theory satisfies homotopy invariance, stability, and excision in both variables. We also prove an analogue of the Green-Julg theorem for actions of proper groupoids.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

33 extracted references · 29 canonical work pages

  1. [1]

    Homology of Steinberg algebras

    Guido Arnone, Guillermo Cortinas, and Devarshi Mukherjee. Homology of Steinberg algebras. arXiv:2412.15112, 2024

    arXiv 2024

  2. [2]

    M. F. Atiyah and I. G. Macdonald.Introduction to commutative algebra. Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1969

    1969

  3. [3]

    A categorical approach to the Baum-Connes conjec- ture for ´ etale groupoids.J

    Christian B¨ onicke and Valerio Proietti. A categorical approach to the Baum-Connes conjec- ture for ´ etale groupoids.J. Inst. Math. Jussieu, 23(5):2319–2364, 2024

    work page 2024

  4. [4]

    General topology

    Nicolas Bourbaki.Elements of mathematics. General topology. Part 1. Hermann, Paris; Addison-Wesley Publishing Co., Reading, Mass.-London-Don Mills, Ont., 1966

    1966

  5. [5]

    On Hausdorff covers for non-Hausdorff groupoids.arXiv:2503.23203v1, 2025

    Kevin Aguyar Brix, Julian Gonzales, Jeremy Hume, and Xin Li. On Hausdorff covers for non-Hausdorff groupoids.arXiv:2503.23203v1, 2025

    arXiv 2025

  6. [6]

    Algebras associated with group actions and their homology.Brown Uni- versity preprint, 1986

    Jean-Luc Brylinksi. Algebras associated with group actions and their homology.Brown Uni- versity preprint, 1986

    work page 1986

  7. [7]

    M. Bues. Equivariant differential forms and crossed products.PhD thesis, Harvard University, 1996

    work page 1996

  8. [8]

    Holkar, and Ralf Meyer

    Alcides Buss, Rohit D. Holkar, and Ralf Meyer. A universal property for groupoid C ∗- algebras. I.Proc. Lond. Math. Soc. (3), 117(2):345–375, 2018

    work page 2018

Show all 33 references
  1. [9]

    Dynamic asymptotic dimension and Matui’s HK conjecture.Proc

    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(4):1182–1253, 2023

    2023

  2. [10]

    Noncommutative differential geometry.Inst

    Alain Connes. Noncommutative differential geometry.Inst. Hautes ´Etudes Sci. Publ. Math., (62):257–360, 1985

    1985

  3. [11]

    Academic Press Inc., San Diego, CA, 1994

    Alain Connes.Noncommutative geometry. Academic Press Inc., San Diego, CA, 1994

    1994

  4. [12]

    A homology theory for ´ etale groupoids.J

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

    2000

  5. [13]

    Algebra extensions and nonsingularity.J

    Joachim Cuntz and Daniel Quillen. Algebra extensions and nonsingularity.J. Amer. Math. Soc., 8(2):251–289, 1995

    1995

  6. [14]

    Cyclic homology and nonsingularity.J

    Joachim Cuntz and Daniel Quillen. Cyclic homology and nonsingularity.J. Amer. Math. Soc., 8(2):373–442, 1995

    1995

  7. [15]

    Excision in bivariant periodic cyclic cohomology.Invent

    Joachim Cuntz and Daniel Quillen. Excision in bivariant periodic cyclic cohomology.Invent. Math., 127(1):67–98, 1997

    1997

  8. [16]

    Ample groupoids: equivalence, homology, and Matui’s HK conjecture.M¨ unster J

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

    2019

  9. [17]

    Every classifiable simple C ∗-algebra has a Cartan subalgebra.Invent

    Xin Li. Every classifiable simple C ∗-algebra has a Cartan subalgebra.Invent. Math., 219(2):653–699, 2020. EQUIV ARIANT PERIODIC CYCLIC HOMOLOGY FOR AMPLE GROUPOIDS 45

    2020

  10. [18]

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

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

    2012

  11. [19]

    ´Etale groupoids arising from products of shifts of finite type.Adv

    Hiroki Matui. ´Etale groupoids arising from products of shifts of finite type.Adv. Math., 303:502–548, 2016

    2016

  12. [20]

    Analytic cyclic homology.PhD Thesis, University of M¨ unster, 1999

    Ralf Meyer. Analytic cyclic homology.PhD Thesis, University of M¨ unster, 1999

    1999

  13. [21]

    Alan L. T. Paterson.Groupoids, inverse semigroups, and their operator algebras, volume 170 ofProgress in Mathematics. Birkh¨ auser Boston, Inc., Boston, MA, 1999

    1999

  14. [22]

    Homology andK-theory of dynamical systems I

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

    2022

  15. [23]

    Springer, Berlin, 1980

    Jean Renault.A groupoid approach toC ∗-algebras, volume 793 ofLecture Notes in Mathe- matics. Springer, Berlin, 1980

    1980

  16. [24]

    A groupoid approach to discrete inverse semigroup algebras.Adv

    Benjamin Steinberg. A groupoid approach to discrete inverse semigroup algebras.Adv. Math., 223(2):689–727, 2010

    2010

  17. [25]

    La conjecture de Baum-Connes pour les feuilletages moyennables.K-Theory, 17(3):215–264, 1999

    Jean-Louis Tu. La conjecture de Baum-Connes pour les feuilletages moyennables.K-Theory, 17(3):215–264, 1999

    1999

  18. [26]

    La conjecture de Novikov pour les feuilletages hyperboliques.K-Theory, 16(2):129–184, 1999

    Jean Louis Tu. La conjecture de Novikov pour les feuilletages hyperboliques.K-Theory, 16(2):129–184, 1999

    1999

  19. [27]

    Non-Hausdorff groupoids, proper actions andK-theory.Doc

    Jean-Louis Tu. Non-Hausdorff groupoids, proper actions andK-theory.Doc. Math., 9:565– 597, 2004

    2004

  20. [28]

    Van Daele

    A. Van Daele. Multiplier Hopf algebras.Trans. Amer. Math. Soc., 342(2):917–932, 1994

    1994

  21. [29]

    Equivariant cyclic homology.PhD thesis, University of M¨ unster, 2003

    Christian Voigt. Equivariant cyclic homology.PhD thesis, University of M¨ unster, 2003

    2003

  22. [30]

    Equivariant periodic cyclic homology.J

    Christian Voigt. Equivariant periodic cyclic homology.J. Inst. Math. Jussieu, 6(4):689–763, 2007

    2007

  23. [31]

    Equivariant cyclic homology for quantum groups

    Christian Voigt. Equivariant cyclic homology for quantum groups. InK-theory and noncom- mutative geometry, EMS Ser. Congr. Rep., pages 151–179. Eur. Math. Soc., Z¨ urich, 2008

    2008

  24. [32]

    Chern character for totally disconnected groups.Math

    Christian Voigt. Chern character for totally disconnected groups.Math. Ann., 343(3):507– 540, 2009

    2009

  25. [33]

    Weibel.An introduction to homological algebra, volume 38 ofCambridge Studies in Advanced Mathematics

    Charles A. Weibel.An introduction to homological algebra, volume 38 ofCambridge Studies in Advanced Mathematics. Cambridge University Press, Cambridge, 1994. School of Mathematics and Statistics, University of Glasgow, University Place, Glasgow G12 8QQ, United Kingdom Email ad...

    1994

Pith tools

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