On a subsemigroup of the universal covering of Lie semigroups (Q2340378)

Let \(S\) be a Lie semigroup, \(\mathbb{L}(S)\) be the corresponding Lie algebra, \(\tilde{S}\) be the simply connected covering semigroup of \(S\) and \(\tilde{S}_L = \overline{\langle \text{Exp} (\mathbb{L}(S)) \rangle}\) be the subsemigroup of \(\tilde{S}\), where \(\text{Exp}: \mathbb{L}(S) \to \tilde{S}\) is the lifting to \(\tilde{S}\) of the exponential mapping \(\text{exp}: \mathbb{L}(S) \to S\). The main result of the paper (Theorem 3.4) states, that the subsemigroup \(\tilde{S}_L\) is simply connected under the assumption that \(S\) is right reversible. A subsemigroup \(S\) is said to be right reversible if \(Sx \cap Sy \neq \emptyset\) for all \(x,y\in S\). Now, a continuous function \(\alpha: [0,1] \to S\) is called a monotonic path in \(S\), if \(\alpha(0)=e\) and \(\alpha (t_2) \in S\alpha(t_1)\) whenever \(t_1 < t_2\). Let \(\text{Mon}(S)\) be the semigroup of monotonic paths in \(S\). The equivalence relation on \(\text{Mon} (S)\) is defined as follows: \(\alpha \simeq_m \beta\) if there exists a monotonic homotopy between the paths. The semigroup \(\Gamma(S)=\text{Mon} / \simeq_m\) is the semigroup of monotonic homotopy of \(S\) and there exists a homomorphism \(\sigma: \Gamma(S) \to \tilde{S}_L\) such that \(\sigma(\Gamma(S))\) is dense in \(\tilde{S}_L\) (Proposition 4.4). Thus the obtained results are interesting from the point of view of identifying the semigroup \(\Gamma(S)\) with certain subsemigroups of the semigroup \(\tilde{S}\).