Note on rational double planes. (Q2622465)

Die Rationalität der Doppelebene, deren Verzweigungskurve von vierter Ordnung ist, wird auf folgende Weise gezeigt: Ist \(f_4(x, y, z)=0\) die Verzweigungskurve, so läßt sich die Doppelebene auffassen als Projektion der Fläche \(F_4\) mit der Gleichung \[ t^2z^2=f_4(x,y,z) \] vom Punkt \(T(0, 0, 0, 1)\). \(F_4\) wird in eine Fläche \(F^8\) im [6] transformiert, die als Schnitt einer Quadrik mit der Mannigfaltigkeit \(V_3^4\) \[ X_0:X_1:X_2:X_3:X_4:X_5:X_6=tz:x^2:y^2:z^2:yz:zx:xy \] definiert ist. \(V_3^4\) ist ein Punktkegel vierter Ordnung mit der Spitze \(O (1, 0, 0, 0, 0, 0, 0)\). Dann wird gezeigt, daß \(F^8\) rational ist, weil die Projektion von einer der 56 Kegelschnittebenen eine kubische Fläche ist. Durch Projekt ion von dem [3], der eine der \(\infty ^2\) elliptischen Quartiken von \(F^8\) enthält, erhält man die ursprüngliche Doppelebene; die Projektion von einer der \(\infty ^2\) Tangentialebenen liefert einen doppelten Kegel zweiter Ordnung, der längs einer Kurve sechster Ordnung vom Geschlecht 4 verzweigt ist und durch eine weitere Projektion in eine Doppelebene übergeführt werden kann. die längs einer Kurve sechster Ordnung mit zwei unendlich benachbarten dreifachen Punkten verzweigt ist. Zuletzt werden die behandelten Transformationen auf Doppelebenen verallgemeinert mit einer Verzweigungskurve der Ordnung \(2n\).