Table of Contents
Fetching ...

On Hausdorff covers for non-Hausdorff groupoids

Kevin Aguyar Brix, Julian Gonzales, Jeremy B. Hume, Xin Li

TL;DR

The paper develops a Hausdorff-cover approach to non-Hausdorff étale groupoids, enabling a systematic reduction to the Hausdorff setting via the Hausdorff cover $ ilde{G}$. It provides complete characterisations for the vanishing of singular ideals in Steinberg algebras over arbitrary rings and conditions for the $C^*$-algebraic singular ideal to have trivial intersection with the non-Hausdorff analogue of $C_c(G)$, with finiteness hypotheses yielding further equivalences. By transferring questions to the Hausdorff cover, the work reduces complications around simplicity, the ideal intersection property, amenability and nuclearity to the well-understood Hausdorff case, and it offers decomposability criteria that describe the images of the natural embeddings. The results are illustrated through diverse examples—group bundles, Thompson groups, and self-similar groups—highlighting when singular ideals vanish and how the Hausdorff-cover perspective clarifies known phenomena and enables partial resolutions of CEPSS-type questions.

Abstract

We develop a new approach to non-Hausdorff étale groupoids and their algebras based on Timmermann's construction of Hausdorff covers. As an application, we completely characterise when singular ideals vanish in Steinberg algebras over arbitrary rings. We also completely characterise when $C^*$-algebraic singular ideals have trivial intersection with the non-Hausdorff analogue of subalgebras of continuous, compactly supported functions. This leads to a characterisation when $C^*$-algebraic singular ideals vanish for groupoids satisfying a finiteness condition. Moreover, our approach leads to further sufficient vanishing criteria for singular ideals and reduces questions about simplicity, the ideal intersection property, amenability and nuclearity for non-Hausdorff étale groupoids to the Hausdorff case.

On Hausdorff covers for non-Hausdorff groupoids

TL;DR

The paper develops a Hausdorff-cover approach to non-Hausdorff étale groupoids, enabling a systematic reduction to the Hausdorff setting via the Hausdorff cover . It provides complete characterisations for the vanishing of singular ideals in Steinberg algebras over arbitrary rings and conditions for the -algebraic singular ideal to have trivial intersection with the non-Hausdorff analogue of , with finiteness hypotheses yielding further equivalences. By transferring questions to the Hausdorff cover, the work reduces complications around simplicity, the ideal intersection property, amenability and nuclearity to the well-understood Hausdorff case, and it offers decomposability criteria that describe the images of the natural embeddings. The results are illustrated through diverse examples—group bundles, Thompson groups, and self-similar groups—highlighting when singular ideals vanish and how the Hausdorff-cover perspective clarifies known phenomena and enables partial resolutions of CEPSS-type questions.

Abstract

We develop a new approach to non-Hausdorff étale groupoids and their algebras based on Timmermann's construction of Hausdorff covers. As an application, we completely characterise when singular ideals vanish in Steinberg algebras over arbitrary rings. We also completely characterise when -algebraic singular ideals have trivial intersection with the non-Hausdorff analogue of subalgebras of continuous, compactly supported functions. This leads to a characterisation when -algebraic singular ideals vanish for groupoids satisfying a finiteness condition. Moreover, our approach leads to further sufficient vanishing criteria for singular ideals and reduces questions about simplicity, the ideal intersection property, amenability and nuclearity for non-Hausdorff étale groupoids to the Hausdorff case.

Paper Structure

This paper contains 12 sections, 48 theorems, 37 equations, 4 figures.

Key Result

Theorem 1

Let $G$ be a non-Hausdorff étale groupoid.

Figures (4)

  • Figure 1: Arrow in Moore diagram
  • Figure 2: Moore diagram for the Grigorchuk group
  • Figure 3: Moore diagram for the Grigorchuk-Erschler group
  • Figure 4: Schematic Moore diagram for examples from StSz23

Theorems & Definitions (112)

  • Theorem 1: see Theorem \ref{['thm:CharSingIdVanish']}
  • Corollary 2
  • Theorem 3: see Theorem \ref{['thm:JCc=0vsJ=0']} and Corollary \ref{['cor:JCc=0vsJ=0']}
  • Theorem 4: see Theorem \ref{['thm:CharCinC']}
  • Theorem 5: See Theorem \ref{['thm:IIPNonHd']}
  • Theorem 6: See Theorems \ref{['thm:amenGvstiG']}, \ref{['thm:nuc=>CtiG-amen']} and \ref{['thm:nuc<=CtiG-amen']}
  • Lemma 2.1
  • proof
  • Remark 2.2
  • Definition 3.1
  • ...and 102 more