Certain types of involutorial space transformations. (Q5909298)

Der einzige Typus involutorischer Raumtransformationen, der bisher systematisch erforscht ist, ist der ``monoidale'' (1, 1). Hier wird eine algebraische (2, 1) Korrespondenz zwischen zwei Räumen \((x)\) und \((x')\) verfolgt. Einem Punkte \(P_1\) in \((x)\) entspricht ein einziger Punkt \(P'\) in \((x'),\) aber umgekehrt entsprechen \(P'\) zwei Punkte \(P_1\) und \(P_2.\) Ist \(P_1\) oder \(P_2\) gegeben, so ist der andere Punkt eindeutig bestimmt, und diese Punktepaare in \((x)\) bestimmen eine involutorische Transformation \(I\) im Raume \((x).\) Bei dieser Methode lassen sich die verschiedenen Typen von Involutionen und gewisse ihnen gemeinsame Eigenschaften diskutieren. Man gehe aus von den Gleichungen \[ (1)\quad \sum a_i x_i' =0,\;\sum b_i x_i' =0, \;\sum c_i x_i' =0, \] wo die \(a_1, b_1, c_1\) Polynome in den \(x\) von den Graden \(n_1, n_2, n_3\) bedeuten. Das Bild einer Ebene \(\sum \lambda_i x_i' =0\) ist eine Fläche der Ordnung \(n_1 +n_2 + n_3 = n;\) alle Flächen dieses Netzes haben gemeinsame Basiskurven \(\beta\) und können auch isolierte Basispunkte besitzen. Irgend zwei Flächen des Netzes schneiden sich in einer variabeln Kurve \(c_k'\) fester Ordnung \(n' ; c_n'\) ist das Bild einer Geraden in \((x').\) Das Bild einer Ebene \(s_1 : \sum k_i x_i = 0\) in \((x)\) ist eine Fläche \(s_{n'}'\) der Ordnung \(n'.\) Der Ort von Punkten in \((x')\) mit zwei zusammenfallenden Bildern in \((x)\) ist die Verzweigungsfläche \(L'(x')\) und deren Bild die Koinzidenzfläche \(K(x),\) doppelt gezählt. Das Bild der Fläche \(s_n'\) in \((x)\) besteht aus der Ebene \(s_1\) und einer Restfläche \(s_p:\) diese Flächenpaare bilden eine Involution \(I.\) Die notwendige und hinreichende Bedingung, daß\ das Bild in \((x)\) eines Ortes in \((x')\) zusammengesetzt ist, ist, daß\ der gegebene Ort die Fläche \(L'(x')\) überall berührt. Als einfachstes Beispiel bietet sich der Fall dar, wenn die \(a_i, b_i;\) in (1) linear in \((x)\) sind und die \(c_i\) quadratisch. Sodann wird der Fall von Flächen zweiter Ordnung behandelt, die durch einen festen Kegelschnitt \(\gamma_2\) gehen. Man gelangt so zu einer Rauminvolution der Ordnung 28, deren Basiskurven bestehen aus \(\gamma_2,\) mit der Vielfachheit 11, einer Kurve \(\beta\) mit der Vielfachheit 6, und aus 35 einfachen Geraden, die \(\gamma_2\) und \(\beta\) (dreimal) treffen, endlich aus 10 Doppelkegelschnitten, die \(\gamma_2\) zweimal und \(\beta\) sechsmal treffen. Von Interesse ist auch der besondere Fall von Flächen, die sich in zwei windschiefen Geraden schneiden. Weiter werden Büschel von Flächen zweiter Ordnung in \((x),\) sowie von Ebenen untersucht. Es werden die Fälle unterschieden, wo die Basiskurve von gerader oder von ungerader Ordnung ist.