Inspired by work of Szymik and Wahl on the homology of Higman–Thompson groups, we establish a general connection between ample groupoids, topological full groups, algebraic K-theory spectra and infinite loop spaces, based on the construction of small permutative categories of compact open bisections. This allows us to analyse homological invariants of topological full groups in terms of homology for ample groupoids.

Applications include complete rational computations, general vanishing and acyclicity results for group homology of topological full groups as well as a proof of Matui’s AH-conjecture for all minimal, ample groupoids with comparison.

Given a full right-Hilbert $\mathrm {C}^{*}$-module $\mathbf {X}$ over a $\mathrm {C}^{*}$-algebra A, the set $\mathbb {K}_{A}(\mathbf {X})$ of A-compact operators on $\mathbf {X}$ is the (up to isomorphism) unique $\mathrm {C}^{*}$-algebra that is strongly Morita equivalent to the coefficient algebra A via $\mathbf {X}$. As a bimodule, $\mathbb {K}_{A}(\mathbf {X})$ can also be thought of as the balanced tensor product $\mathbf {X}\otimes _{A} \mathbf {X}^{\mathrm {op}}$, and so the latter naturally becomes a $\mathrm {C}^{*}$-algebra. We generalize both of these facts to the world of Fell bundles over groupoids: Suppose $\mathscr {B}$ is a Fell bundle over a groupoid $\mathcal {H}$ and $\mathscr {M}$ is an upper semi-continuous Banach bundle over a principal $\mathcal {H}$-space X. If $\mathscr {M}$ carries a right-action of $\mathscr {B}$ and a sufficiently nice $\mathscr {B}$-valued inner product, then its imprimitivity Fell bundle $\mathbb {K}_{\mathscr {B}}(\mathscr {M})=\mathscr {M}\otimes _{\mathscr {B}} \mathscr {M}^{\mathrm {op}}$ is a Fell bundle over the imprimitivity groupoid of X, and it is the unique Fell bundle that is equivalent to $\mathscr {B}$ via $\mathscr {M}$. We show that $\mathbb {K}_{\mathscr {B}}(\mathscr {M})$ generalizes the “higher order” compact operators of Abadie–Ferraro in the case of saturated bundles over groups, and that the theorem recovers results such as Kumjian’s Stabilization trick.

Given a Polish group G, let $E(G)$ be the right coset equivalence relation $G^\omega /c(G)$, where $c(G)$ is the group of all convergent sequences in G. We first established two results:

1. (1) Let $G,H$ be two Polish groups. If H is TSI but G is not, then $E(G)\not \le _BE(H)$.

2. (2) Let G be a Polish group. Then the following are equivalent: (a) G is TSI non-archimedean; (b)$E(G)\leq _B E_0^\omega $; and (c) $E(G)\leq _B {\mathbb {R}}^\omega /c_0$. In particular, $E(G)\sim _B E_0^\omega $ iff G is TSI uncountable non-archimedean.

A critical theorem presented in this article is as follows: Let G be a TSI Polish group, and let H be a closed subgroup of the product of a sequence of TSI strongly NSS Polish groups. If $E(G)\le _BE(H)$, then there exists a continuous homomorphism $S:G_0\rightarrow H$ such that $\ker (S)$ is non-archimedean, where $G_0$ is the connected component of the identity of G. The converse holds if G is connected, $S(G)$ is closed in H, and the interval $[0,1]$ can be embedded into H.

As its applications, we prove several Rigid theorems for TSI Lie groups, locally compact Polish groups, separable Banach spaces, and separable Fréchet spaces, respectively.

Consider a possibly unsaturated Fell bundle $\mathcal {A}\to G$ over a locally compact, possibly non-Hausdorff, groupoid G. We list four notions of continuity of representations of $\mathit {C_c}(G;\mathcal {A})$ on a Hilbert space and prove their equivalence. This allows us to define the full $\mathit {C}^*$-algebra of the Fell bundle in different ways.

For a space X let $\mathcal {K}(X)$ be the set of compact subsets of X ordered by inclusion. A map $\phi :\mathcal {K}(X) \to \mathcal {K}(Y)$ is a relative Tukey quotient if it carries compact covers to compact covers. When there is such a Tukey quotient write $(X,\mathcal {K}(X)) \ge _T (Y,\mathcal {K}(Y))$, and write $(X,\mathcal {K}(X)) =_T (Y,\mathcal {K}(Y))$ if $(X,\mathcal {K}(X)) \ge _T (Y,\mathcal {K}(Y))$ and vice versa.

We investigate the initial structure of pairs $(X,\mathcal {K}(X))$ under the relative Tukey order, focussing on the case of separable metrizable spaces. Connections are made to Menger spaces.

Applications are given demonstrating the diversity of free topological groups, and related free objects, over separable metrizable spaces. It is shown a topological group G has the countable chain condition if it is either $\sigma $-pseudocompact or for some separable metrizable M, we have $\mathcal {K}(M) \ge _T (G,\mathcal {K}(G))$.

We consider the homology theory of étale groupoids introduced by Crainic and Moerdijk [A homology theory for étale groupoids. J. Reine Angew. Math. 521 (2000), 25–46], with particular interest to groupoids arising from topological dynamical systems. We prove a Künneth formula for products of groupoids and a Poincaré-duality type result for principal groupoids whose orbits are copies of an Euclidean space. We conclude with a few example computations for systems associated to nilpotent groups such as self-similar actions, and we generalize previous homological calculations by Burke and Putnam for systems which are analogues of solenoids arising from algebraic numbers. For the latter systems, we prove the HK conjecture, even when the resulting groupoid is not ample.

We extend the Becker–Kechris topological realization and change-of-topology theorems for Polish group actions in several directions. For Polish group actions, we prove a single result that implies the original Becker–Kechris theorems, as well as Sami’s and Hjorth’s sharpenings adapted levelwise to the Borel hierarchy; automatic continuity of Borel actions via homeomorphisms and the equivalence of ‘potentially open’ versus ‘orbitwise open’ Borel sets. We also characterize ‘potentially open’ n-ary relations, thus yielding a topological realization theorem for invariant Borel first-order structures. We then generalize to groupoid actions and prove a result subsuming Lupini’s Becker–Kechris-type theorems for open Polish groupoids, newly adapted to the Borel hierarchy, as well as topological realizations of actions on fiberwise topological bundles and bundles of first-order structures.

Our proof method is new even in the classical case of Polish groups and is based entirely on formal algebraic properties of category quantifiers; in particular, we make no use of either metrizability or the strong Choquet game. Consequently, our proofs work equally well in the non-Hausdorff context, for open quasi-Polish groupoids and more generally in the point-free context, for open localic groupoids.

Carlsen [‘$\ast $-isomorphism of Leavitt path algebras over $\Bbb Z$’, Adv. Math. 324 (2018), 326–335] showed that any $\ast $-homomorphism between Leavitt path algebras over $\mathbb Z$ is automatically diagonal preserving and hence induces an isomorphism of boundary path groupoids. His result works over conjugation-closed subrings of $\mathbb C$ enjoying certain properties. In this paper, we characterise the rings considered by Carlsen as precisely those rings for which every $\ast $-homomorphism of algebras of Hausdorff ample groupoids is automatically diagonal preserving. Moreover, the more general groupoid result has a simpler proof.

In this article, we introduce a hierarchy on the class of non-archimedean Polish groups that admit a compatible complete left-invariant metric. We denote this hierarchy by $\alpha $-CLI and L-$\alpha $-CLI where $\alpha $ is a countable ordinal. We establish three results:

1. (1) G is $0$-CLI iff $G=\{1_G\}$;

2. (2) G is $1$-CLI iff G admits a compatible complete two-sided invariant metric; and

3. (3) G is L-$\alpha $-CLI iff G is locally $\alpha $-CLI, i.e., G contains an open subgroup that is $\alpha $-CLI.

Subsequently, we show this hierarchy is proper by constructing non-archimedean CLI Polish groups $G_\alpha $ and $H_\alpha $ for $\alpha <\omega _1$, such that:

1. (1) $H_\alpha $ is $\alpha $-CLI but not L-$\beta $-CLI for $\beta <\alpha $; and

2. (2) $G_\alpha $ is $(\alpha +1)$-CLI but not L-$\alpha $-CLI.

The complex algebra of an inverse semigroup with finitely many idempotents in each $\mathcal D$-class is stably finite by a result of Munn. This can be proved fairly easily using $C^{*}$-algebras for inverse semigroups satisfying this condition that have a Hausdorff universal groupoid, or more generally for direct limits of inverse semigroups satisfying this condition and having Hausdorff universal groupoids. It is not difficult to see that a finitely presented inverse semigroup with a non-Hausdorff universal groupoid cannot be a direct limit of inverse semigroups with Hausdorff universal groupoids. We construct here countably many nonisomorphic finitely presented inverse semigroups with finitely many idempotents in each $\mathcal D$-class and non-Hausdorff universal groupoids. At this time, there is not a clear $C^{*}$-algebraic technique to prove these inverse semigroups have stably finite complex algebras.

The endomorphism monoid of a model-theoretic structure carries two interesting topologies: on the one hand, the topology of pointwise convergence induced externally by the action of the endomorphisms on the domain via evaluation; on the other hand, the Zariski topology induced within the monoid by (non-)solutions to equations. For all concrete endomorphism monoids of $\omega $-categorical structures on which the Zariski topology has been analysed thus far, the two topologies were shown to coincide, in turn yielding that the pointwise topology is the coarsest Hausdorff semigroup topology on those endomorphism monoids.

We establish two systematic reasons for the two topologies to agree, formulated in terms of the model-complete core of the structure. Further, we give an example of an $\omega $-categorical structure on whose endomorphism monoid the topology of pointwise convergence and the Zariski topology differ, answering a question of Elliott, Jonušas, Mitchell, Péresse, and Pinsker.

Given a continuous and isometric action of a Polish group G on an adequate Polish topometric space $(X,\tau ,\rho )$ and $x \in X$, we find a necessary and sufficient condition for $\overline {Gx}^{\rho }$ to be co-meagre; we also obtain a criterion that characterizes when such a point exists. This work completes a criterion established in earlier work of the authors.

For a given inverse semigroup action on a topological space, one can associate an étale groupoid. We prove that there exists a correspondence between the certain subsemigroups and the open wide subgroupoids in case that the action is strongly tight. Combining with the recent result of Brown et al., we obtain a correspondence between the certain subsemigroups of an inverse semigroup and the Cartan intermediate subalgebras of a groupoid C*-algebra.

Hardin and Taylor proved that any function on the reals—even a nowhere continuous one—can be correctly predicted, based solely on its past behavior, at almost every point in time. They showed that one could even arrange for the predictors to be robust with respect to simple time shifts, and asked whether they could be robust with respect to other, more complicated time distortions. This question was partially answered by Bajpai and Velleman, who provided upper and lower frontiers (in the subgroup lattice of $\mathrm{Homeo}^+(\mathbb {R})$) on how robust a predictor can possibly be. We improve both frontiers, some of which reduce ultimately to consequences of Hölder’s Theorem (that every Archimedean group is abelian).

We introduce and prove the consistency of a new set theoretic axiom we call the Invariant Ideal Axiom. The axiom enables us to provide (consistently) a full topological classification of countable sequential groups, as well as fully characterize the behavior of their finite products.

We also construct examples that demonstrate the optimality of the conditions in IIA and list a number of open questions.

Scarparo has constructed counterexamples to Matui’s HK-conjecture. These counterexamples and other known counterexamples are essentially principal but not principal. In the present paper, a counterexample to the HK-conjecture that is principal is given. Like Scarparo’s original counterexample, our counterexample is the transformation groupoid associated to a particular odometer. However, the relevant group is the fundamental group of a flat manifold (and hence is torsion-free) and the associated odometer action is free. The examples discussed here do satisfy the rational version of the HK-conjecture.

We examine a semigroup analogue of the Kumjian–Renault representation of C*-algebras with Cartan subalgebras on twisted groupoids. Specifically, we represent semigroups with distinguished normal subsemigroups as ‘slice-sections’ of groupoid bundles.

We prove that a minimal second countable ample groupoid has dynamical comparison if and only if its type semigroup is almost unperforated. Moreover, we investigate to what extent a not necessarily minimal almost finite groupoid has an almost unperforated type semigroup. Finally, we build a bridge between coarse geometry and topological dynamics by characterizing almost finiteness of the coarse groupoid in terms of a new coarsely invariant property for metric spaces, which might be of independent interest in coarse geometry. As a consequence, we are able to construct new examples of almost finite principal groupoids lacking other desirable properties, such as amenability or even a-T-menability. This behaviour is in stark contrast to the case of principal transformation groupoids associated to group actions.

We consider groupoids constructed from a finite number of commuting local homeomorphisms acting on a compact metric space and study generalized Ruelle operators and $ C^{\ast } $ -algebras associated to these groupoids. We provide a new characterization of $ 1 $ -cocycles on these groupoids taking values in a locally compact abelian group, given in terms of $ k $ -tuples of continuous functions on the unit space satisfying certain canonical identities. Using this, we develop an extended Ruelle–Perron–Frobenius theory for dynamical systems of several commuting operators ( $ k $ -Ruelle triples and commuting Ruelle operators). Results on KMS states on $ C^{\ast } $ -algebras constructed from these groupoids are derived. When the groupoids being studied come from higher-rank graphs, our results recover existence and uniqueness results for KMS states associated to the graphs.

Twisted étale groupoid algebras have recently been studied in the algebraic setting by several authors in connection with an abstract theory of Cartan pairs of rings. In this paper we show that extensions of ample groupoids correspond in a precise manner to extensions of Boolean inverse semigroups. In particular, discrete twists over ample groupoids correspond to certain abelian extensions of Boolean inverse semigroups, and we show that they are classified by Lausch’s second cohomology group of an inverse semigroup. The cohomology group structure corresponds to the Baer sum operation on twists.

We also define a novel notion of inverse semigroup crossed product, generalizing skew inverse semigroup rings, and prove that twisted Steinberg algebras of Hausdorff ample groupoids are instances of inverse semigroup crossed products. The cocycle defining the crossed product is the same cocycle that classifies the twist in Lausch cohomology.