pith. sign in

arxiv: 2512.01325 · v2 · submitted 2025-12-01 · 🧮 math.DS · math.OA

Ample groupoids that are neither almost finite nor purely infinite

Xiaolei Wu , Mengfei Zhao , Xin Ma This is my paper

Pith reviewed 2026-05-17 03:22 UTC · model grok-4.3

classification 🧮 math.DS math.OA
keywords ample groupoidsminimal groupoidsalmost finitepurely infinitetransformation groupoidstwisted topological groupoidsessentially principal
0
0 comments X

The pith

There exist minimal ample groupoids that are neither almost finite nor purely infinite.

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

This paper examines a question posed by Matui on minimal ample groupoids. It establishes that effective minimal ample transformation groupoids exist which are neither almost finite nor purely infinite, and some of these can be made amenable. Using the twisted topological groupoid construction, the authors also produce essentially principal ample groupoids with these properties that do not arise from transformation groupoids. Sympathetic readers would care as this shows that the dichotomy between almost finite and purely infinite does not cover all minimal ample groupoids.

Core claim

We first observe that there are already effective minimal ample transformation groupoids that are neither almost finite nor purely infinite. These groupoids can even be chosen to be amenable. Then we construct essentially principal ample groupoids that are neither almost finite nor purely infinite. These are based on the recent twisted topological groupoid construction of Palmer and Wu. In particular our new examples do not arise from transformation groupoids.

What carries the argument

The twisted topological groupoid construction of Palmer and Wu used to produce minimal essentially principal ample groupoids that are neither almost finite nor purely infinite.

Load-bearing premise

The twisted topological groupoid constructions of Palmer and Wu can be arranged to produce minimal, ample, essentially principal groupoids that avoid both almost finite and purely infinite properties while remaining outside the class of transformation groupoids.

What would settle it

Showing that the constructed groupoids are in fact almost finite or purely infinite, or proving that all minimal ample groupoids must be one or the other.

read the original abstract

We study a question of Matui and varations of it on minimal ample groupoids that are neither almost finite nor purely infinite. We first observe that there are already effective minimal ample transformation groupoids that are neither almost finite nor purely infinite. These groupoids can even be chosen to be amenable. Then we construct essentially principle ample groupoids that are neither almost finite nor purely infinite. These are based on the recent twisted topological groupoid construction of Palmer and Wu. In particular our new examples do not arise from transformation groupoids.

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.

Referee Report

2 major / 3 minor

Summary. The manuscript addresses a question of Matui on minimal ample groupoids that are neither almost finite nor purely infinite. It observes that effective minimal ample transformation groupoids (which can be chosen amenable) already provide such examples. It then constructs essentially principal ample groupoids with the same properties via the twisted topological groupoid method of Palmer and Wu, showing in particular that these examples do not arise from transformation groupoids.

Significance. If the constructions are correct, the paper supplies explicit counterexamples to Matui-type questions in two distinct classes: amenable effective minimal ample transformation groupoids and essentially principal ample groupoids outside the transformation-groupoid class. The use of the recent Palmer-Wu construction and the amenability statement broaden the known landscape of ample groupoids in topological dynamics and C*-algebra classification.

major comments (2)
  1. [§3] §3 (transformation-groupoid examples): the observation that effective minimal ample amenable transformation groupoids are neither almost finite nor purely infinite is stated without an explicit reference to the precise definitions of 'almost finite' and 'purely infinite' used in this paper; a short paragraph recalling the relevant clauses from the literature (or from the authors' prior work) would make the claim self-contained.
  2. [§4] §4 (twisted construction): the argument that the Palmer-Wu twisted topological groupoids can be arranged to be minimal, ample, essentially principal, and simultaneously avoid both almost-finite and purely-infinite properties relies on a sequence of verifications (minimality, ampleness, essential principality, and the two infiniteness properties). Each verification should be given its own numbered lemma or proposition so that the reader can check the transfer of properties from the base groupoid to the twisted one.
minor comments (3)
  1. [Abstract] The abstract contains the typo 'varations' (should be 'variations').
  2. [Introduction] In the introduction, the phrase 'do not arise from transformation groupoids' would benefit from a one-sentence clarification of what 'arise from' means in this context (e.g., not isomorphic to any transformation groupoid).
  3. Ensure that the citation to Palmer and Wu includes the precise arXiv number or journal reference in the bibliography.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and the constructive suggestions. We address each major comment below.

read point-by-point responses

  1. Referee: [§3] §3 (transformation-groupoid examples): the observation that effective minimal ample amenable transformation groupoids are neither almost finite nor purely infinite is stated without an explicit reference to the precise definitions of 'almost finite' and 'purely infinite' used in this paper; a short paragraph recalling the relevant clauses from the literature (or from the authors' prior work) would make the claim self-contained.

    Authors: We agree that the claim would benefit from greater self-containment. We will insert a short paragraph in §3 that recalls the relevant definitions of almost finite and purely infinite from the literature. revision: yes

  2. Referee: [§4] §4 (twisted construction): the argument that the Palmer-Wu twisted topological groupoids can be arranged to be minimal, ample, essentially principal, and simultaneously avoid both almost-finite and purely-infinite properties relies on a sequence of verifications (minimality, ampleness, essential principality, and the two infiniteness properties). Each verification should be given its own numbered lemma or proposition so that the reader can check the transfer of properties from the base groupoid to the twisted one.

    Authors: We accept the recommendation to improve readability. We will reorganize the material in §4 so that the verifications of minimality, ampleness, essential principality, and the two infiniteness properties each appear as a separate numbered lemma or proposition, thereby making the inheritance of properties from the base groupoid explicit. revision: yes

Circularity Check

1 steps flagged

Minor self-citation to Palmer-Wu construction; central claims remain independent

specific steps
  1. self citation load bearing [Abstract]
    "Then we construct essentially principle ample groupoids that are neither almost finite nor purely infinite. These are based on the recent twisted topological groupoid construction of Palmer and Wu. In particular our new examples do not arise from transformation groupoids."

    The existence of the new essentially principal examples is justified by direct appeal to a construction method from a prior paper whose authors overlap with the current paper (Wu). While the adaptation is claimed to produce the required properties, the load-bearing step for producing objects outside the transformation-groupoid class reduces to this self-citation rather than an independent verification internal to the present manuscript.

full rationale

The paper's primary observation—that effective minimal ample amenable transformation groupoids furnish counterexamples—is presented as an existing fact in the literature without internal derivation or fitting. The new examples rely on adapting the twisted topological groupoid construction from Palmer and Wu (where Wu overlaps as coauthor). This constitutes a self-citation but is not load-bearing: the paper asserts specific adaptations to ensure minimality, ampleness, essential principality, and avoidance of both almost finite and purely infinite properties, with the claim that these do not arise from transformation groupoids. No equations reduce by construction to inputs, no parameters are fitted and relabeled as predictions, and no uniqueness theorems or ansatzes are smuggled via self-reference. The derivation chain is self-contained against external groupoid-theoretic benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Only the abstract is available, so a complete audit is impossible. The work relies on standard definitions and axioms of topological groupoids, ampleness, minimality, and the external twisted construction of Palmer and Wu without introducing new free parameters or invented entities visible at this level.

axioms (1)
  • standard math Standard axioms and definitions of topological groupoids, ample groupoids, minimality, effectiveness, and principality from prior literature
    Invoked implicitly when stating that the constructed objects satisfy the required properties.

pith-pipeline@v0.9.0 · 5378 in / 1331 out tokens · 39198 ms · 2026-05-17T03:22:45.901502+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

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

9 extracted references · 9 canonical work pages

  1. [1]

    Springer Monographs in Mathematics

    [CSC23] Tullio Ceccherini-Silberstein and Michel Coornaert.Cellular automata and groups. Springer Monographs in Mathematics. Springer, Cham, [2023]©2023. Second edition. [Ehr59] Charles Ehresmann. Cat´ egories topologiques et cat´ egories diff´ erentiables. InColloque G´ eom. Diff. Globale (Brux- elles, 1958), pages 137–150. Librairie Universitaire, Louvain,

    work page 2023

  2. [2]

    Complexes of groups and orbihedra

    [Hae91] Andr´ e Haefliger. Complexes of groups and orbihedra. InGroup theory from a geometrical viewpoint (Trieste, 1990), pages 504–540. World Sci. Publ., River Edge, NJ,

    work page 1990

  3. [3]

    Hirshberg and J

    [HW] Ilan Hirshberg and jianchao Wu. Long thin covers and nuclear dimension. ArXiv:2308.12504. 11 [JM13] Kate Juschenko and Nicolas Monod. Cantor systems, piecewise translations and simple amenable groups.Ann. of Math. (2), 178(2):775–787,

    work page arXiv

  4. [4]

    Purely infinite locally compact hausdorff ´ etale groupoids and theirc ∗-algebras.Int

    [Ma22] Xin Ma. Purely infinite locally compact hausdorff ´ etale groupoids and theirc ∗-algebras.Int. Math. Math. Not.(IMRN), 2022(11):8420–8471,

    work page 2022

  5. [5]

    Topological full groups of ´ etale groupoids

    [Mat17] Hiroki Matui. Topological full groups of ´ etale groupoids. InOperator algebras and applications—the Abel Sym- posium 2015, volume 12 ofAbel Symp., pages 203–230. Springer,

    work page 2015

  6. [6]

    Almost elementariness and fiberwise amenability for ´ etale groupoids.arXiv: 2011.01182,

    [MW20] Xin Ma and Jianchao Wu. Almost elementariness and fiberwise amenability for ´ etale groupoids.arXiv: 2011.01182,

    work page arXiv 2011

  7. [7]

    Ma and J

    [MW24] Xin Ma and Jianchao Wu. Almost elementary groupoid models forc ∗-algebras.arXiv: 2407.05251,

    work page arXiv

  8. [8]

    Embedding groups into acyclic groups

    [PW] Martin Palmer and Xiaolei Wu. Embedding groups into acyclic groups. ArXiv:2510.16879. [Ren80] Jean Renault.A groupoid approach toC ∗-algebras, volume 793 ofLecture Notes in Mathematics. Springer, Berlin,

    work page arXiv

  9. [9]

    Twisted topological groupoids and their full groups

    [WZ] Xiaolei Wu and Mengfei Zhao. Twisted topological groupoids and their full groups. In preparation. Shanghai Center for Mathematical Sciences, Jiangwan Campus, Fudan University, No.2005 Songhu Road, Shanghai, 200438, P.R. China Email address:xiaoleiwu@fudan.edu.cn Shanghai Center for Mathematical Sciences, Jiangwan Campus, Fudan University, No.2005 Son...

    work page 2005