On the Kantor group of a set of points in a plane. (Q2606917)

Die Arbeit stellt eine Erweiterung und Vertiefung früherer Untersuchungen des Verf. dar Proc. London math. Soc. (2) 35 (1933), 23-74; F. d. M. \(59_{\text{I}}\), 624). Es wird dem linearen, vollständigen System von Kurven der Ordnung \(m\), die in \(\varepsilon\) ausgewählten Punkten der Ebene Multiplizitäten \(i_\alpha\) (\(\alpha = 1,\dots, \varepsilon\)) haben, ein Vektor \((m, i_1, \dots, i_\varepsilon\)) im \(R_{\varepsilon + 1}\) zugeordnet. Da die Kurven zweier Systeme \((n, i_\alpha)\) und \((m, j_\alpha)\) über denselben Fundamentalpunkten sich in \(mn \sum\limits_{\alpha = 1}^\varepsilon i_\alpha j_\alpha \) variablen Punkten schneiden, ergibt sich naturgemäß eine \textit{Minkowski}sche Metrik im \(R_{\varepsilon+1}\), für die die quadratische Form \(m^2 - \Sigma i_\alpha^2\) fundamental ist. Es wird noch der ``Umgebung'' jedes der \(\varepsilon\) Grundpunkte ein \(R_{\varepsilon -1}\)-Vektor \((0, \delta_i)\) zugeordnet und gezeigt, daß die Ausführung einer \textit{Cremona}transformation, deren Basispunkte auf die \(A_i\) fallen, im \(R_{\varepsilon +1}\) eine lineare Transformation bedeutet, die die Metrik unverändert läßt. Die Gesamtheit aller derartigen \textit{Cremona}transformationen bildet ein Gruppe \(\varGamma (\varepsilon, 2)\), die hier untersucht wird. Besonders ausgezeichnet ist dabei der Vektor \((3, 1, \dots, 1)\) (mit \(\varepsilon\) Einsen), der bei allen Transformationen der Gruppe invariant bleibt, und da mit auch das Büschel paralleler Hyperebenen \(3m - \Sigma i_\alpha = \sigma\). Es genügt daher, die Gruppe in einer dieser Hyperebenen zu untersuchen. Dort sind die Metriken Minkowskisch, Euklidisch oder ausgeartet, je nachdem \(\varepsilon \gtreqqless 9\) ist. Die Untersuchung der Gruppen \(\varGamma (\varepsilon, 1)\) führt dann weiter zu der wichtigen Erkenntnis, daß sie sich durch Spiegelungen erzeugen lassen. Hiermit ist der Anschluß an Untersuchungen von \textit{Coxeter} gegeben, der aus Spiegelungen erzeugte Gruppen des \(R_n\) allgemein untersucht hat (vgl. etwa \textit{Coxeter}, Ann. Math., Princeton, (2) 35 (1934), 588-621; Proc. London math. Soc. (2) 38 (1934), 327-339; F. d. M. \(60_{\text{II}}\), 898). Es wird angegeben, welchen der \textit{Coxeter}schen Typen bzw. Verallgemeinerungen derselben die Gruppen \(\varGamma (\varepsilon, 2)\) angehören. Weiterhin wird dann untersucht, wie im einzelnen die Besonderheiten der ebenen Kurvennetze über den \(\varepsilon\) Grundpunkten, die Ausnahmekurven, rationalen Büschel usw. sowie spezielle Eigenschaften der \textit{Cremona}transformationen sich in besonderen Eigenschaften der der Gruppe nach \textit{Coxeter} zugeordneten Polytope widerspiegeln.