Sulla riducibilità di alcune particolari corrispondenze algebriche. (Q567700)

Zweck der vorliegenden Abhandlung ist, die Korrespondenz \(\Gamma \) zu untersuchen, welche auf einer beliebigen Kurve \(C\) des \(r\)-dimensionalen Raumes \(S_r\) entsteht, wenn man einem beliebigen Punkt \(P\) von \(C\) diejenigen Punkte \(P^\prime \) entsprechen läßt, in denen \(C\) durch die Hyperebene geschnitten wird, welche \(C\) in \(P\) oskuliert. Die Hauptaufgabe, welche sich Verf. gestellt hat, ist, die Kurven \(C\) zu bestimmen, für die die Korrespondenz \(\Gamma \) zerfällt. Ist \(C\) eine ebene rationale Kurve, so hat man nur zwei Möglichkeiten: 1) die Parabel \(y=x^4\), 2) die besondere Konchoide von \textit{Nikomedes}, bei der zwischen der Entfernung \(a\) vom Pol zur Basis und dem Intervall \(l\) die Beziehung \(l^2=2a^2\) gilt; daneben die projektiven Transformationen derselben. In der Ebene zerfällt \(\Gamma \), wenn sie sine untergeordnete Homographie inthält, in mehrere Teile, von denen jeder dieselbe Eigenschaft besitzt. In diesem Falle ist \(C\) iene algebraische \textit{Klein}sche \(W\)-kurve. Im gewöhnlichen Raum hat man außer den algebraischen \(W\)-Kurven andere Lösingen der gestellten Aufgabe; man fingdet dieselben unter den algebraischen Asymptotenlinien einer algebraischen Regelfläche, welche in einer allgemeinen linearen Kongruenz enthalten ist. Um dasselbe Problem im \(S_4\) zu lösen, muß man sich an folgendes erinnern: Auf einer Fläche im \(S_4\) nennt man \textit{fast-asymptotisch} eine ihrer Kurven, welche die Eigenschaft bexitzt, daß die oskulierende Hyperebene in einem ihrer Punkte die entsprechende Tangentialebene der Fläche enthält. Dies vorausgesetzt, kann man mit dem Verf. sagen: Die gesuchten Kurven des \(S_4\) sind die fast-asymptotischen algebraischen Kurven der algebraischen Regelflächen, deren Erzeugende eine Gerade \(a\) und eine Ebene \(\sigma \) treffen (\(a\) und \(\sigma \) windschief vorausgesetzt), wenn sie durch eine zyklische Homographie dritter Ordnung in sich tranformiert werden, für die alle Punkte von \(a\) und \(\sigma \) Doppelpunkte sind.