Amenability and comparison for \'etale groupoids with polynomial growth
Pith reviewed 2026-05-19 18:51 UTC · model grok-4.3
The pith
Second-countable étale groupoids with polynomial growth are topologically amenable.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We show that any second-countable étale groupoid with polynomial growth is topologically amenable. If its unit space is compact and metrizable, we show that the groupoid has weak m-comparison. Thus if the groupoid is also ample and minimal, it satisfies Matui's AH conjecture.
What carries the argument
Polynomial growth condition on the étale groupoid, used to construct sequences that witness topological amenability and weak m-comparison.
If this is right
- Such groupoids are topologically amenable.
- Compact metrizable unit space yields weak m-comparison.
- Ample minimal examples satisfy Matui's AH conjecture.
- The growth condition replaces stronger assumptions previously used for these conclusions.
Where Pith is reading between the lines
- The result may extend amenability proofs to broader classes of groupoids arising from dynamical systems.
- It suggests that polynomial growth could serve as a verifiable criterion for checking Matui's conjecture in concrete examples.
- Comparison properties obtained this way might help classify the reduced C*-algebras of these groupoids.
Load-bearing premise
Polynomial growth together with second-countability and the étale property is enough to produce the sequences needed for amenability and comparison without extra structural assumptions.
What would settle it
An explicit second-countable étale groupoid that has polynomial growth yet fails to be topologically amenable.
read the original abstract
We show that any second-countable \'etale groupoid with polynomial growth is topologically amenable. If its unit space is compact and metrizable, we show that the groupoid has weak $m$-comparison. Thus if the groupoid is also ample and minimal, it satisfies Matui's AH conjecture.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves that any second-countable étale groupoid with polynomial growth is topologically amenable. If the unit space is compact and metrizable, the groupoid has weak m-comparison. Thus, if the groupoid is also ample and minimal, it satisfies Matui's AH conjecture.
Significance. If the proofs hold, this result generalizes polynomial growth conditions from groups to étale groupoids and directly yields topological amenability, a property central to the C*-algebra theory of groupoids. The further implications for weak m-comparison and Matui's AH conjecture under standard additional hypotheses provide a clean application that enlarges the class of groupoids for which these structural results are known. The argument relies on constructing suitable approximating sequences from the growth assumption and then invoking existing implications in the literature.
minor comments (3)
- [§2] §2: The definition of polynomial growth for the groupoid (likely Definition 2.4 or 2.5) should explicitly state whether the bound is required to be uniform with respect to the unit space or if it holds fiberwise; this affects how the Følner sequences are constructed in the amenability proof.
- [§4] §4: In the proof that polynomial growth implies topological amenability, the passage from the growth bound to the existence of continuous compactly supported functions satisfying the amenability condition could be expanded with an explicit estimate showing how the degree of the polynomial controls the size of the supports.
- [§5] §5: The application to Matui's AH conjecture via weak m-comparison would be clearer if a brief sentence recalled the precise theorem from the literature that converts weak m-comparison plus ampleness and minimality into the AH property.
Simulated Author's Rebuttal
We thank the referee for the positive report and recommendation of minor revision. The summary correctly identifies the main results: second-countable étale groupoids with polynomial growth are topologically amenable, and under the additional hypotheses of compact metrizable unit space they satisfy weak m-comparison, hence Matui's AH conjecture when also ample and minimal. We will incorporate any minor suggestions into the revised manuscript.
Circularity Check
No significant circularity detected
full rationale
The derivation proceeds from the polynomial growth assumption together with second-countability and the étale property to construct sequences of continuous compactly supported functions that witness topological amenability. Once amenability is obtained, the claims of weak m-comparison (under compactness and metrizability of the unit space) and satisfaction of Matui's AH conjecture (under ampleness and minimality) follow by standard implications already present in the groupoid literature. No equation or step reduces by construction to a fitted parameter, a self-referential definition, or a load-bearing self-citation whose content is itself unverified; the central results remain independent of the paper's own inputs.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We show that any second-countable étale groupoid with polynomial growth is topologically amenable... If its unit space is compact and metrizable, we show that the groupoid has weak m-comparison.
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem A... polynomial growth implies topological amenability via Borel amenability of G/Iso(G) and group bundles.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
- [1]
-
[2]
Fiberwise amenability of ample \'
Xin Ma , year=. Fiberwise amenability of ample \'. 2110.11548 , archivePrefix=
-
[3]
Williams, Dana P. , title =. 2019 , publisher =. doi:10.1090/surv/241 , keywords =
- [4]
-
[5]
On a class of singular measures satisfying a strong annular decay condition , JOURNAL =
Arroyo, \'Angel and Llorente, Jos\'e. On a class of singular measures satisfying a strong annular decay condition , JOURNAL =. 2019 , NUMBER =
work page 2019
- [6]
-
[7]
Candido, Leandro and C\'uth, Marek and Doucha, Michal , TITLE =. J. Funct. Anal. , FJOURNAL =. 2019 , NUMBER =
work page 2019
- [8]
-
[9]
Austad, Are and Ortega, Eduard and Palmstrøm, Mathias , TITLE =. J. Noncommut. Geom. , FJOURNAL =. 2025 , NUMBER =
work page 2025
-
[10]
K-theory invariance of L^p -operator algebras associated with
Austad, Are and Ortega, Eduard and Palmstr. K-theory invariance of L^p -operator algebras associated with. Documenta Mathematica , year=
-
[11]
Are Austad and Eduard Ortega and Mathias Palmstrøm , Title =. 2024 , Eprint =
work page 2024
-
[12]
Ara, Pere and B\"onicke, Christian and Bosa, Joan and Li, Kang , TITLE =. Ergodic Theory Dynam. Systems , FJOURNAL =. 2023 , NUMBER =
work page 2023
-
[13]
Bernshteyn, Anton and Yu, Jing , TITLE =. Adv. Math. , FJOURNAL =. 2025 , PAGES =
work page 2025
-
[14]
Downarowicz, Tomasz and Zhang, Guohua , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2023 , NUMBER =
work page 2023
- [15]
- [16]
-
[17]
Hilsum, Michel and Skandalis, Georges , TITLE =. Ann. Sci. \'Ecole Norm. Sup. (4) , FJOURNAL =. 1987 , NUMBER =
work page 1987
- [18]
- [19]
- [20]
-
[21]
Nekrashevych, Volodymyr , title =. Int. J. Algebra Comput. , issn =. 2016 , language =. doi:10.1142/S0218196716500156 , keywords =
-
[22]
Hou, Cheng Jun , title =. Acta Math. Sin., Engl. Ser. , issn =. 2017 , language =. doi:10.1007/s10114-016-6264-y , keywords =
-
[23]
Naryshkin, Petr , TITLE =. Adv. Math. , FJOURNAL =. 2022 , PAGES =
work page 2022
- [24]
- [25]
-
[26]
Renault, Jean , TITLE =. Math. Scand. , FJOURNAL =. 2015 , NUMBER =
work page 2015
-
[27]
Samei, Ebrahim and Wiersma, Matthew , TITLE =. Adv. Math. , FJOURNAL =. 2020 , PAGES =
work page 2020
-
[28]
Seifter, Norbert and Woess, Wolfgang , TITLE =. Glasg. Math. J. , FJOURNAL =. 2000 , NUMBER =
work page 2000
- [29]
-
[30]
Sims, Aidan and Szab\'o, G\'abor and Williams, Dana , TITLE =. [2020] 2020 , PAGES =
work page 2020
-
[31]
Tessera, Romain , TITLE =. Bull. Soc. Math. France , FJOURNAL =. 2007 , NUMBER =
work page 2007
-
[32]
Tessera, Romain , TITLE =. Comment. Math. Helv. , FJOURNAL =. 2011 , NUMBER =
work page 2011
-
[33]
Anantharaman-Delaroche, C. and Renault, J. , title =. 2000 , publisher =
work page 2000
- [34]
-
[35]
Kleiner, Bruce , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2010 , NUMBER =
work page 2010
-
[36]
Austad, Are and Thiel, Hannes , TITLE =. J. Funct. Anal. , FJOURNAL =. 2025 , NUMBER =
work page 2025
- [37]
- [38]
- [39]
- [40]
-
[41]
Gromov, Mikhael , TITLE =. Inst. Hautes \'Etudes Sci. Publ. Math. , FJOURNAL =. 1981 , PAGES =
work page 1981
-
[42]
Willett, Rufus , TITLE =. M\"unster J. Math. , FJOURNAL =. 2015 , NUMBER =
work page 2015
-
[43]
Alekseev, Vadim and Finn-Sell, Martin , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2018 , NUMBER =
work page 2018
-
[44]
Matui, Hiroki , TITLE =. Adv. Math. , FJOURNAL =. 2016 , PAGES =
work page 2016
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.