On (2, 3) compound involutions. (Q1463479)

Es handelt sich um die Diskussion und Klassifikation der involutorischen Punktkorrespondenzen \((2, 3)\) zwischen zwei Ebenen. Ist \(P(x)\) ein Punkt der doppelten, \(P'(x')\) ein Punkt der dreifachen Ebene, so entsprechen einem \(P'\) drei Punkte \(P_1\), \(P_2\), \(P_3\), und umgekehrt diesen wieder der Ausgangspunkt \(P'\), nebst einem Restpunkte \(P_0'\). Bisher hatte man sich mit der Untersuchung von \((2, 2)\)-Involutionen begnügt. Man gehe zunächst aus von einer involutorischen \((1, 2)\)-Korrespondenz zwischen zwei Ebenen \((x')\) und \((y')\), so daß einem \(P'(y')\) zwei Punkte \(P_1'\), \(P_2'\) von \((x')\) entsprechen, und sowohl \(P_1'\) wie \(P_2'\) rückwärts wieder der eine Punkt \(P'(y')\). Mithin gehen Gerade durch \(P_1'\) oder \(P_2'\) über in rationale Kurven in \((y')\) durch \(P'\). Andererseits bestehe eine \((1,3)\)-Korrespondenz zwischen den Ebenen \((x)\) und \((y)\). Einem \(P\) von \((y)\) entsprechen drei Punkte \(P_1\), \(P_2\), \(P_3\) von \((x)\), und wieder rückwärts. Gerade durch \(P_1\) oder \(P_2\) oder \(P_3\) gehen über in rationale Kurven von \((y)\) durch \(P\). Die beiden Ebenen \((y)\) und \((y')\) enthalten Netze rationaler Kurven durch die \(P\) bzw. \(P'\), sind also birational gleichwertig, d. h. zwischen den \(P\) und \(P'\) besteht eine \((1, 1)\)-Korrespondenz. Man stelle nun die Kette her: den beiden Punkten \(P_1'\), \(P_2'\) in \((x')\) entspricht \(P'\) in \((y')\), diesem wieder \(P\) in \((y)\), und letzterem \(P_1\), \(P_2\), \(P_3\) in \((x)\), und vice versa. Damit ist eine \((2,3)\)-Korrespondenz zwischen den Ebenen \((x)\) und \((x')\) konstruiert. Solche Korrespondenzen lassen sich zwar noch auf andere Weisen herstellen, aber es läßt sich zeigen, daß alle unabhängigen Typen solcher auf obige Art erhalten werden können. Die Kurven beider Ebenen gehen ineinander über durch drei Transformationen, zwei rationale und eine irrationale. Fallen zwei Bilder \(P_1'\), \(P_2'\) von \(P\) zusammen, so liegt \(P\) auf der ``Verzweigungskurve'' \(L(x)\). Der Ort der entsprechenden Koinzidenzen ist die ``Koinzidenzkurve'' \(K'(x')\); diese ist die Jacobiana des Bildkurvennetzes in \((y')\), ihr Bild ist \(L(x)\). Umgekehrt ist die sechsfach zu zählende Kurve \(K'(x')\) das Bild von \(L(x)\). Die Koinzidenzkurve \(K(x)\) ist entsprechend die Jacobiana des Bildkurvennetzes in \((x)\). Einem Punkte \(P'\) auf \(L'(x')\) entsprechen zwei zusammenfallende auf \(K(x)\) und ein weiterer auf einer ``Restkurve'' \(T(x)\). Es gibt eine endliche Anzahl von Punkten \((x')\), deren drei Bilder in \((x)\) zusammenfallen, nämlich die Spitzen von \(L'(x')\). Auf Grund dieser Begriffe und einiger verwandter werden die verschiedenen Typen von \((2, 3)\)-Korrespondenzen bestimmt. Zunächst gibt es drei unabhängige Typen von \((1,2)\)-Involutionskorrespondenzen und fünf solcher von \((1, 3)\)-Korrespondenzen. Durch Kombinierung entstehen damit fünfzehn Typen von \((2, 3)\)-Involutionen, die sich in drei Klassen zerlegen. Diese 15 Typen werden nunmehr im einzelnen genauer diskutiert, unter Angabe ihrer Normalgleichungen und Haupteigenschaften. Hieraus lassen sich die notwendigen und hinreichenden Bedingungen dafür entnehmen, unter denen eine \((2,3)\)-Korrespondenz eine zusammengesetzte Involution ist: die Bildkurven in jeder der beiden Ebenen müssen ein Netz bilden; notwendig ist, daß die beiden Komponenten des Kurvensystems der Bildpunkte aus Büscheln bestehen.