Semigroups in Möbius and Lorentzian geometry (Q1386688)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Semigroups in Möbius and Lorentzian geometry
scientific article

    Statements

    Semigroups in Möbius and Lorentzian geometry (English)
    0 references
    29 December 1998
    0 references
    If \(E\) is a real Hilbert space, then a Möbius semigroup is a subsemigroup of the Möbius group \(M(\widetilde E)\) (the group generated by isometries and inversions in spheres) of \(E\) mapping a fixed Möbius ball (an open ball or an open half space) into itself. The paper under review contains a detailed analysis of the structure of Möbius semigroups. In particular it is shown that Möbius semigroups are maximal semigroups (there is no proper subsemigroup containing it). The main tool in this analysis is the Lorentz representation realizing a Möbius semigroup as a group of linear operators mapping one half of a Lorentzian cone into itself (we call this the standard Lorentz semigroup \(S^+\)). This is done by using the natural isomorphism of the Möbius group \(M(\widetilde E)\) with the Lorentz group \(O(E \oplus \mathbb R,1)\) and then identifying the image of the semigroup in the Lorentz group. The advantage of this picture is that it realizes Möbius transformations on \(E\) as linear operators on the Hilbert space \(E \oplus \mathbb R^2\). The unit group \(H\) of \(S^+\) is isomorphic to the Lorentz group \(O(E,1)\), and it is shown that \(S^+\) has a polar decomposition in the sense that \(S^+ = H \exp(C)\), where \(C\) is an explicitly described convex cone, and the map \(H \times C \to S^+, (h,X) \mapsto h \exp X\) is a homeomorphism (Theorem 9.1). In this sense \(S^+\) belongs to the class of Ol'shanskiĭ semigroups, a class of semigroups that shows up in many different contexts such as geometry, representation theory and complex analysis. The paper concludes with some uniqueness assertions on subsemigroups of \(S^+\). Furthermore it is shown how these uniqueness assertions are related to an old classification problem of C. Loewner.
    0 references
    Möbius geometry
    0 references
    Lorentz group
    0 references
    Lie semigroup
    0 references
    maximal semigroup
    0 references
    Möbius semigroup
    0 references
    Möbius group
    0 references
    Lorentz semigroup
    0 references
    Ol'shanskiĭ semigroups
    0 references
    0 references

    Identifiers

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