Plane involutions of order four. (Q1463480)

Eine involutorische Punktkorrespondenz \((1, 4)\) zwischen zwei (verschiedenen, oder auch zusammenfallenden) Ebenen liegt vor, wenn einem Punkte der ersten Ebene vier Punkte der zweiten entsprechen, und umgekehrt wieder jedem der vier Punkte der Ausgangspunkt. Die auf eine solche Involution angewendeten algebraischen Methoden werden so gruppiert, daß jeweils solche Involutionen, die aufeinander durch birationale Transformationen zurückführbar sind, nur als eine einzige gelten; die allgemeinste unter ihnen heißt dann ein ``Typus'' der Involution. Die Methode ist derart elastisch, daß die Ordnung vier der Korrespondenz bereits als Vertreter einer beliebig hohen Ordnung angesehen werden kann. Ein Typus ist bestimmt durch zwei algebraische Gleichungen in den \(x\) und \(x'\): \[ x_1'u_1+x_2'u_2+x_3'u_3=0, \qquad x_1'v_1+x_2'v_2+x_3'v_3=0, \tag{1} \] wo die Kurven \(u_i=0\) bzw. \(v_i=0\) der \((x)\)-Ebene vier variable Punkte gemein haben. Einem Punkte \(P'(x')\) entsprechen vier Punkte \(P_1,\ldots,P_4\) in \((x)\), und rückwärts wieder jedem dieser Punkte \(P\) der Punkt \(P'\). Im besonderen können die einem \(P'\) entsprechenden \(x\)-Kurven sich einoder zweimal berühren. Der Ort solcher \(P'\) heißt die ``Verzweigungskurve \(L'\)'' und der Ort der Berührpunkte die ``Koinzidenzkurve \(K\)''. Fallen zwei Bildpunkte auf \(K\) zusammen, so liegen die beiden andern auf einer ``Restkurve \(\varGamma\)''. Das volle Bild von \(K\) ist \(L'\), das von \(L'\) ist \(K_2^2\varGamma\), das von \(\varGamma\) endlich \(L^{\prime2}\). Die Kurven \(L'\) und \(K\) stehen in \((1, 1)\)-Korrespondenz, \(L'\) und \(\varGamma\) dagegen in \((1, 2)\)-Korrespondenz. Die Durchführung im einzelnen auf Grund dieser Begriffe zeigt, daß im ganzen zehn verschiedene Typen zu unterscheiden sind, die dann einzeln näher untersucht werden.