A topological correspondence between partial actions of groups and inverse semigroup actions (Q2121535)

In this paper, it is shown that any unital premorphism \(\theta:G\to S\) where \(G\) is a group and \(S\) is an inverse monoid, can be extended to a semigroup homomorphism \(\theta^*:T\to S\), for any inverse semgroup \(T\) with \(\mathcal{S}(G)\subseteq T\subseteq P^*(G)\times G\), where \(\mathcal{S}(G)\) is an Exel inverse monoid and \(P^*(G)\) is the semigroup of all nonempty subsets of \(G\), such that \(E(S)\) satisfies some lattice-theoretical conditions. The exposition consists of four sections, described as below. Section 1 is introductory. Section 2 contains some preliminary material and notations. In Section 3, it is shown that the collection of idempotents \(E(\Gamma(X))\) constructed over the topological space \(X\) is homeomorphic to the space of closed subsets of \(X\) endowed with the Fell topology. Finally, Section 4 is devoted to establishing the main result of the paper: \textbf{Theorem.} Let \(\theta:G\to S\) be a unital premorphism between a group \(G\) and an inverse semigroup \(S\). Consider an intermediate extension \(T\) of \({\tilde {G}}_R\) and suppose that \(T\) is inverse. Then, the following are equivalent: (i) The semilattice \(E(S)\) is (Supp\((T),\theta)\)-meet complete (ii) \(\theta\) has a meet-preserving extension \(\theta^*:T\to S\). Moreover, if any of these statements holds, then \(\kappa\le \theta^*\) for any homomorphism \(\kappa:T\to S\) extending \(\theta\), and \(\kappa=\theta^*\) iff \(\kappa\) is meet-preserving. Further aspects occasioned by these developments are also being discussed.