Über Flächen mit zweigliedriger nichteuklidischer Bewegungsgruppe. (Q2606853)

Es handelt sich um Flächen im indefiniten nicht-euklidischen (\textit{Cayley}schen) Raum mit der Maßfläche \(x_0x_3 - x_1x_2= 0\), und zwar im wesentlichen um zwei Klassen von Regelflächen aus parabolischen Tangentennetzen der Maßfläche. Diese besitzt längs jeder Erzeugenden ein parabolisches Tangentennetz, das auch die zweite Erzeugendenschar enthält. Es gestattet eine stetige Gruppe \(\mathfrak G_5\) von projektiven Transformationen der Maßfläche in sich. Darunter ist eine invariante eingliedrige Untergruppe \(\mathfrak P\) von ``parabolischen Schiebungen'' enthalten, aus denjenigen Transformationen bestehend, die die Raumpunkte geradlinig auf den Netzstrahlen verschieben. Daher bleibt eine Gruppe \(\mathfrak G_4 = ( \mathfrak G_5 : \mathfrak P)\) von solchen Automorphismen, die die Netzstrahlen vertauschen. Jede eingliedrige stetige Untergruppe von \(\mathfrak G_4\) (es gibt davon zwei Klassen) zergliedert das parabolische Netz in invariante Regelflächen. Diese gestatten eine zweigliedrige stetige transitive Gruppe von nicht-euklidischen Bewegungen in sich. (Algebraische Beispiele: Fläche dritter Ordnung von \textit{Cayley}, Flächen vierter Ordnung von \textit{Voß } und \textit{Mohrmann}.)