Types of (2, 2) point correspondences between two planes. (Q1468760)

Es wird eine Klassifikation der (2, 2)-Punkt-Korrespondenzen zwischen zwei Ebenen angestrebt, einschließlich der wichtigsten Eigenschaften eines jeden Typus. Es mögen zwei algebraische Gleichungen vorliegen, jede homogen in den beiden Reihen von Punktkoordinaten \((x)=(x_1, x_2, x_3)\) und \((x')=(x_1', x_2', x_3')\). Wird \((x)\) festgehalten, so hat man zwei Kurven in der \((x')\)-Ebene mit zwei, zugleich mit \((x)\) variierenden Schnittpunkten, den Bildern von \((x)\). Und entsprechend umgekehrt bei gestgehaltenem \((x')\). Es seien \(P_1', P_2'\) die Bilder von \(P_1\), demnach \(P_1\) und \(P_2\) die Bilder von \(P_1', P_1\) und \(\overline P_2\) die Bilder von \(P_2'\). Dann sind zwei Hauptfälle zu unterscheiden. Sind \(P_2\) und \(\overline P_2\) verschieden -- abgesehen von besonderen Lagen von \(P_1\) -- so liegt der ``allgemeine'' Fall vor. Fallen dagegen \(P_2\) und \(\overline P_2\) für jede Lage von \(P_1\) zusammen, so heißt die Korrespondenz eine ``zusammengesetzte (compound)'' Involution. Im ganzen treten 11 unabhängie Typen von Korrespondenzen auf, 5 im ersten und 6 im zweiten Falle. Jede (2, 2)-Korrespondenzen bekannt waren. Fallen die beiden Bilder von \(P(x)\) zusammen, so beschreibt \(P\) eine Verzweigungskurve \(L(x)\); die Bildkurve \(K'(x')\) ist der eineindeutig zugeordnet. Entsprechend existieren zwei Kurven \(L'(x')\) und \(K(x)\). Das Bild von \(K'(x')\) ist \(L(x)\) nebst einer Restkurve \(R(x)\). Beschreibt jetzt \(P(x)\) eine Kurve \(C\), so beschreiben die Bildpunkte \(P_1, P_2'\) dann und nur dann getrennte Kurven, wenn \(C\) und \(L\) sich überall berühren, und das gleiche gilt von den Kurvenpaaren \(L(x), K(x)\), resp. \(L'(x'), K'(x')\).