Abstract:In this paper we explore the extent to which the algebraic structure of a monoid $M$ determines the topologies on $M$ that are compatible with its multiplication. Specifically we study the notions of automatic continuity; minimal Hausdorff or Polish semigroup topologies; and we formulate a notion of the Zariski topology for monoids. If $M$ is a topological monoid such that every homomorphism from $M$ to a second countable topological monoid $N$ is continuous, then we say that $M$ has \emph{automatic continuity}. We show that many well-known monoids have automatic continuity with respect to a natural semigroup topology, namely: the full transformation monoid $\mathbb{N}^\mathbb{N}$; the full binary relation monoid $B_{\mathbb{N}}$; the partial transformation monoid $P_{\mathbb{N}}$; the symmetric inverse monoid $I_{\mathbb{N}}$; the monoid Inj$(\mathbb{N})$ consisting of the injective functions on $\mathbb{N}$; and the monoid $C(2^{\mathbb{N}})$ of continuous functions on the Cantor set. We show that the pointwise topology on $\mathbb{N}^\mathbb{N}$, and its analogue on $P_{\mathbb{N}}$, are the unique Polish semigroup topologies on these monoids. The compact-open topology is the unique Polish semigroup topology on $C(2^\mathbb{N})$ and $C([0, 1]^\mathbb{N})$. There are at least 3 Polish semigroup topologies on $I_{\mathbb{N}}$, but a unique Polish inverse semigroup topology. There are no Polish semigroup topologies $B_{\mathbb{N}}$ nor on the partitions monoids. At the other extreme, Inj$(\mathbb{N})$ and the monoid Surj$(\mathbb{N})$ of all surjective functions on $\mathbb{N}$ each have infinitely many distinct Polish semigroup topologies. We prove that the Zariski topologies on $\mathbb{N}^\mathbb{N}$, $P_{\mathbb{N}}$, and Inj$(\mathbb{N})$ coincide with the pointwise topology; and we characterise the Zariski topology on $B_{\mathbb{N}}$. In Section 7: clones.

Classifying the Polish semigroup topologies on the symmetric inverse monoid

Topological embeddings into transformation monoids

The semigroup of increasing functions on the rational numbers has a unique Polish topology

On semitopological simple inverse $ω$-semigroups with compact maximal subgroups

A Class of Infinite Matrix Topological Algebras

Automatic continuity, unique Polish topologies, and Zariski topologies on monoids and clones

On non-topologizable semigroups

On the Polishness of the inverse semigroup $Γ(X)$ on a compact metric space $X$

On locally compact topological graph inverse semigroups

On topologization of the bicyclic monoid

Polish topologies on groups of non-singular transformations

Classification Strength of Polish Groups I: Involving $S_\infty$

Symmetric inverse topological semigroups of finite rank $\leqslant n$

Topological Graph Inverse Semigroups

Pettis property for Polish inverse semigroups

On some generalization of the bicyclic semigroup: the topological version

Pseudocompact primitive topological inverse semigroups

Every Polish group has a non-trivial topological group automorphism

Closed subsets of compact-like topological spaces

Group topologies on groups of bi-absolutely continuous homeomorphisms