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.

By the Galvin–Mycielski–Solovay theorem, a subset X of the line has Borel’s strong measure zero if and only if $M+X\neq \mathbb {R}$ for each meager set M.

A set $X\subseteq \mathbb {R}$ is meager-additive if $M+X$ is meager for each meager set M. Recently a theorem on meager-additive sets that perfectly parallels the Galvin–Mycielski–Solovay theorem was proven: A set $X\subseteq \mathbb {R}$ is meager-additive if and only if it has sharp measure zero, a notion akin to strong measure zero.

We investigate the validity of this result in Polish groups. We prove, e.g., that a set in a locally compact Polish group admitting an invariant metric is meager-additive if and only if it has sharp measure zero. We derive some consequences and calculate some cardinal invariants.

In finite group theory, chief factors play an important and well-understood role in the structure theory. We here develop a theory of chief factors for Polish groups. In the development of this theory, we prove a version of the Schreier refinement theorem. We also prove a trichotomy for the structure of topologically characteristically simple Polish groups.

The development of the theory of chief factors requires two independently interesting lines of study. First we consider injective, continuous homomorphisms with dense normal image. We show such maps admit a canonical factorisation via a semidirect product, and as a consequence, these maps preserve topological simplicity up to abelian error. We then define two generalisations of direct products and use these to isolate a notion of semisimplicity for Polish groups.

For a given inverse semigroup, one can associate an étale groupoid which is called the universal groupoid. Our motivation is studying the relation between inverse semigroups and associated étale groupoids. In this paper, we focus on congruences of inverse semigroups, which is a fundamental concept for considering quotients of inverse semigroups. We prove that a congruence of an inverse semigroup induces a closed invariant set and a normal subgroupoid of the universal groupoid. Then we show that the universal groupoid associated to a quotient inverse semigroup is described by the restriction and quotient of the original universal groupoid. Finally we compute invariant sets and normal subgroupoids induced by special congruences including abelianization.

The paper gives a simple proof of Graev’s theorem (asserting that the free product of Hausdorff topological groups is Hausdorff) for a particular case which includes the countable case of $k_\omega $ -groups and the countable case of Lindelöf P-groups. For this it is shown that in these particular cases the topology of the free product of Hausdorff topological groups coincides with the $X_0$ -topology in the Mal’cev sense, where X is the disjoint union of the topological groups identifying their units.