On a subsemigroup of the universal covering of Lie semigroups
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}\).
- Free groups of semigroups in semi-simple Lie groups.
- Semigroups in the universal covering group of \(SL(2)\)
- Homotopy path spaces for families of admissible paths
- Lie semigroups, homotopy, and global extensions of local homomorphisms
- On the fundamental group of a Lie semigroup
- A new eigenspace characterization of split-quaternion involutions
- Universal coverings of Steinberg Lie algebras of small characteristic
This page was built for publication: On a subsemigroup of the universal covering of Lie semigroups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2340378)
