Semigroups in the simply connected covering of \(SL(2)\) (Q1207709)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Semigroups in the simply connected covering of \(SL(2)\)
scientific article

    Statements

    Semigroups in the simply connected covering of \(SL(2)\) (English)
    0 references
    0 references
    16 May 1993
    0 references
    This article contributes to the investigation of subsemigroups of the simply connected covering group \(G=\text{Sl}(2,\mathbb{R})\tilde{ }\) of \(\text{Sl}(2,\mathbb{R})\) which are Lie semigroups, i.e., closed and topologically generated by one-parameter semigroups. In the Lie algebra \({\mathfrak {sl}}(2)\) there exists a one-parameter family \(W_ r\), \(r>0\) of Lorentzian cones which are invariant under the adjoint action of SO(2). In [Semigroup Forum 43, No. 1, 33-43 (1991; Zbl 0736.22005)] the reviewer proved that \(\exp W_ r\) generates the whole group \(G\) if and only if \(r>1\). Later \textit{J. Hilgert} showed [in Math. Z. 209, 463-466 (1992)] that these results can be derived from rather general arguments which are derived from those ideas which led Gödel to his non-causal cosmological model. In this article the author uses the Pontrjagin Maximum Principle to exhibit smooth causal loops for \(r>1\) (the non-causal case) and he also derives an explicit description of the semigroups \(S_ r:=\langle\exp W_ r\rangle\) for \(r\leq 1\). His method also leads to a more explicit description of the exponential function of \(G\).
    0 references
    reachable sets
    0 references
    controllability
    0 references
    left-invariant Lorentzian metric
    0 references
    geodesics
    0 references
    simply connected covering group
    0 references
    \(\text{Sl}(2,\mathbb{R})\)
    0 references
    Lie semigroups
    0 references
    one-parameter semigroups
    0 references
    Lie algebra
    0 references
    Lorentzian cones
    0 references
    adjoint action
    0 references
    Pontrjagin Maximum Principle
    0 references
    smooth causal loops
    0 references
    exponential function
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references