arxiv: 2605.01175 · v1 · submitted 2026-05-02 · 🧮 math.OA

Recognition: unknown

A homological characterization of AF groupoids

Benjamin Steinberg

Pith reviewed 2026-05-10 15:59 UTC · model grok-4.3

classification 🧮 math.OA

keywords ample groupoidsAF groupoidshomological dimensiongroupoid homologyoperator algebrasC*-algebras

0 comments

The pith

An ample groupoid is AF if and only if its homological dimension is zero.

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

The paper proves that an ample groupoid—one equipped with a basis of compact open bisections—is AF exactly when it has homological dimension zero. An AF groupoid is defined as a directed union of compact open principal subgroupoids. A reader would care because the result replaces the need to construct explicit unions with a check on vanishing of homology groups, which can be carried out algebraically. The equivalence is shown to hold over an arbitrary unital ring R, and the paper gives a broader characterization of all groupoids (ample or not) that have homological dimension zero over R.

Core claim

An ample groupoid is AF if and only if it has homological dimension zero. The paper proves this equivalence and, more generally, characterizes groupoids of homological dimension zero over any fixed unital ring R.

What carries the argument

homological dimension of the groupoid, which vanishes precisely when the groupoid admits a directed union decomposition into compact open principal subgroupoids

If this is right

Verification of the AF property for ample groupoids reduces to computing homology rather than exhibiting the union decomposition.
The AF condition becomes available over any unital ring R via the vanishing of higher homology.
Groupoids of homological dimension zero admit a structural description that the paper derives from the homology condition.

Where Pith is reading between the lines

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

The equivalence may let researchers import techniques from homological algebra to classify AF groupoids arising in C*-algebras.
It raises the question of whether similar homological tests exist for other structural properties of groupoids, such as being principal or étale.
One could compute homology explicitly for concrete examples, such as groupoids coming from Cantor minimal systems, to generate new instances where the AF property holds.

Load-bearing premise

The groupoid must be ample and the definitions of AF and homological dimension must match the standard ones in the groupoid literature.

What would settle it

An explicit ample groupoid that can be written as a directed union of compact open principal subgroupoids yet has positive homological dimension over some unital ring R.

read the original abstract

An ample groupoid is said to be AF if it is a directed union of compact open principal subgroupoids. In this paper, we provide a complete homological characterization of these groupoids. Specifically, we prove that an ample groupoid is AF if and only if it has homological dimension zero. More generally, we characterize groupoids of homological dimension zero over a unital ring $R$.

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.

Desk Editor's Note private letter to a colleague

Steinberg proves that ample groupoids are AF exactly when their homological dimension over any unital ring is zero, and the argument holds up with explicit constructions both ways.

read the letter

The core result is a clean if-and-only-if: an ample groupoid is AF precisely when its homological dimension is zero, and this extends to homology over an arbitrary unital ring R. The forward direction shows that a directed union of compact open principal subgroupoids forces higher homology to vanish. The converse uses the vanishing to construct the directed system of principal subgroupoids via the ample basis and standard exact sequences for groupoid homology. Both directions are direct and avoid extra assumptions beyond the usual definitions in the literature.

Referee Report

0 major / 2 minor

Summary. The paper proves that an ample groupoid is AF (defined as a directed union of compact open principal subgroupoids) if and only if it has homological dimension zero over a unital ring R. It also gives a general characterization of groupoids with homological dimension zero.

Significance. If the result holds, this provides a concrete homological criterion for the AF property in ample groupoids, which is relevant to the structure theory of associated C*-algebras. The bidirectional proofs via explicit constructions (vanishing of homology from directed unions, and reconstruction of the directed system from homology vanishing using the ample basis and exact sequences) are a strength, as they avoid non-constructive arguments.

minor comments (2)

[Introduction] The introduction would benefit from a short self-contained recall of the definition of groupoid homology (with respect to a unital ring R) to improve accessibility for readers in operator algebras.
Ensure consistent use of notation for principal subgroupoids and the ample basis throughout the proofs.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript, accurate summary of the main results, and recommendation to accept. We are pleased that the homological characterization is viewed as providing a concrete criterion relevant to the structure theory of associated C*-algebras.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper defines an AF groupoid independently as a directed union of compact open principal subgroupoids and defines homological dimension zero via the standard homology functor for ample groupoids over a unital ring R. The claimed equivalence is established by two explicit constructions: the forward direction uses the directed-union property to exhibit vanishing of higher homology groups via principal subgroupoids and standard exact sequences, while the converse extracts a directed system of compact open principal subgroupoids directly from the vanishing condition using the ample basis. No load-bearing step reduces by definition, by fitting, or by self-citation to its own input; the argument is self-contained against external benchmarks in groupoid homology.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Ledger inferred from abstract only; no explicit free parameters, invented entities, or ad-hoc axioms are stated.

axioms (2)

domain assumption Definition of ample groupoid as a topological groupoid with a basis of compact open bisections.
Standard background assumption in the theory of étale groupoids and their C*-algebras.
standard math Homological dimension of a groupoid is defined via the projective dimension of its associated modules over the groupoid ring.
Standard construction from homological algebra applied to groupoids.

pith-pipeline@v0.9.0 · 5339 in / 1241 out tokens · 112547 ms · 2026-05-10T15:59:47.986463+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

17 extracted references · 1 canonical work pages

[1]

Antunes, J

C. Antunes, J. Ko, and R. Meyer. The bicategory of groupoid correspondences.New York J. Math., 28:1329–1364, 2022

2022
[2]

Bourbaki.General topology

N. Bourbaki.General topology. Chapters 1–4. Elements of Mathematics (Berlin). Springer-Verlag, Berlin, 1998. Translated from the French, Reprint of the 1989 Eng- lish translation

1998
[3]

Bourbaki.General topology

N. Bourbaki.General topology. Chapters 5–10. Elements of Mathematics (Berlin). Springer-Verlag, Berlin, 1998. Translated from the French, Reprint of the 1989 English translation

1998
[4]

L. O. Clark, A. an Huef, R. P. Lima, and C. F. Sehnem. Equivalence of definitions of AF groupoid.Proc. Amer. Math. Soc., 153(3):1313–1324, 2025

2025
[5]

Crainic and I

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

2000
[6]

V. Deaconu. On groupoids andC ∗-algebras from self-similar actions.New York J. Math., 27:923–942, 2021

2021
[7]

Giordano, I

T. Giordano, I. Putnam, and C. Skau. Affable equivalence relations and orbit struc- ture of Cantor dynamical systems.Ergodic Theory Dynam. Systems, 24(2):441–475, 2004

2004
[8]

T. Y. Lam.Lectures on modules and rings, volume 189 ofGraduate Texts in Mathe- matics. Springer-Verlag, New York, 1999

1999
[9]

M. V. Lawson.Inverse semigroups. World Scientific Publishing Co. Inc., River Edge, NJ, 1998. The theory of partial symmetries

1998
[10]

X. Li. Ample groupoids, topological full groups, algebraic K-theory spectra and infi- nite loop spaces.Forum Math. Pi, 13:Paper No. e9, 56, 2025

2025
[11]

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

2012
[12]

A. Miller. Ample groupoid homology and ´ etale correspondences.J. Noncommut. Geom., 19(2):657–677, 2025

2025
[13]

Miller, B

A. Miller and B. Steinberg. Homology and K-theory for self-similar actions of groups and groupoids.arXiv e-prints, page arXiv:2409.02359, Sept. 2024

work page arXiv 2024
[14]

J. Renault. AF equivalence relations and their cocycles. InOperator algebras and mathematical physics (Constant ¸a, 2001), pages 365–377. Theta, Bucharest, 2003

2001
[15]

J. J. Rotman.An introduction to homological algebra. Universitext. Springer, New York, second edition, 2009

2009
[16]

Steinberg

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

2010
[17]

Steinberg and D

B. Steinberg and D. W. van Wyk. On von Neumann regularity of ample groupoid algebras.Journal of Algebra, 696:278–314, 2026. 16 BENJAMIN STEINBERG (B. Steinberg)Department of Mathematics, City College of New York, Mar- shak Science Building, Room 529, 160 Convent A venue, New York, New York 10031, USA Email address:bsteinberg@ccny.cuny.edu

2026