Sulla curva doppia della proiezione di una superficie generale dell' \(S_4\), da un punto generico su un \(S_3\). (Q2583889)

Es ist wohlbekannt, daß jede algebraische Fläche in eine singularitätenfreie Fläche des fünfdimensionalen Raumes durch eine geeignete birationale Transformation verwandelt werden kann; eine weitere Projektion der so gewonnenen Fläche aus einer Geraden allgemeiner Lage auf einen Raum \(S_3\) liefert eine Fläche \(F^\prime\) des dreidimensionalen Raumes, welche eine gewöhnliche Doppellinie \(D\) besitzt; diese Kurve \(D\) kann eine gewisse endliche Anzahl von Spitzen und auch eine endliche Anzahl von dreifachen Punkten besitzen; diese letzten sind für \(F^\prime\) dreifach und triplanar. Als Zwischenstück dieser Konstruktion hat man eine Fläche \(F\) des vierdimensionalen Raumes, die eine endliche Anzahl uneigentlicher Doppelpunkte besitzt. Es wird hier bewiesen, daß die Doppellinie \(D\) \textit{irreduzibel} ist, mit der einzigen Ausnahme des Falles, daß \(F^\prime\) eine Steinersche Fläche ist. Der Beweis wird auf eine Betrachtung der Kurve \(\varDelta\) der Zwischenfläche \(F\) gestützt, die vom Projektionszentrum \(P\) allgemeiner Lage des vierdimensionalen Raumes in die Kurve \(D\) doppelt projiziert wird. In großen Zügen läuft der Beweis rein synthetisch folgendermaßen. Die Kurven \(\varDelta\), die den verschiedenen Lagen von \(P\) entsprechen, sind miteinander linear äquivalent; sie gehören also einem Linearsystem \(|\varDelta |\) an; \(|\varDelta |\) ist mit keinem Büschel zusammengesetzt; wären alle \(\varDelta\) zerfallend, so könnte man für einen beliebigen \(P\) zwei Bestandteile \(C_1\), \(C_2\) von \(\varDelta\) finden, die einen \textit{beweglichen} Punkt \(A\) gemein haben; die Gerade \(PA\) müßte dann die Fläche \(F\) entweder in zwei Punkten \(A\), \(B\) oder in drei Punkten \(A\), \(B\), \(C\) schneiden, die für \(\varDelta\) \textit{Doppelpunkte} wären; und das ist unmöglich. Ziemlich fein sind die Betrachtungen, die zur Behauptung führen, daß \(A\), \(B\) oder \(A\), \(B\), \(C\) getrennt liegen.