Topological embeddings into transformation monoids

TL;DR

This paper characterizes which topological semigroups can be embedded into transformation monoids like $ abla$ and $I_ abla$, providing new examples and conditions related to their topological and algebraic structures.

Contribution

It offers a comprehensive characterization of topological semigroups embeddable into transformation monoids, addressing open problems and establishing new conditions for metrizability and continuity.

Findings

Characterized embeddability of various classes of semigroups into $ abla$ and $I_ abla$

Constructed examples of countable Polish semigroups not embeddable into $ abla$

Provided conditions for metrizability and automatic continuity in Clifford semigroups.

Abstract

In this paper we consider the questions of which topological semigroups embed topologically into the full transformation monoid $\mathbb{N} ^ \mathbb{N}$ or the symmetric inverse monoid $I_{\mathbb{N}}$ with their respective canonical Polish semigroup topologies. We characterise those topological semigroups that embed topologically into $\mathbb{N} ^ \mathbb{N}$ and belong to any of the following classes: commutative semigroups; compact semigroups; groups; and certain Clifford semigroups. We prove analogous characterisations for topological inverse semigroups and $I_{\mathbb{N}}$. We construct several examples of countable Polish topological semigroups that do not embed into $\mathbb{N} ^ \mathbb{N}$, which answer, in the negative, a recent open problem of Elliott et al. Additionally, we obtain two sufficient conditions for a topological Clifford semigroup to be metrizable, and prove that inversion is automatically continuous in every Clifford subsemigroup of $\mathbb{N}^\mathbb{N}$. The former complements recent works of Banakh et al.