Massima dimensione dei sistemi lineari di superficie algebriche dello spazio, a curva caratteristica di dato genere. (Q2592445)

\textit{G. Jung} und \textit{G. Castelnuovo} (Ann. Mat. pura appl., Milano, (2) 15 (1887), 277-312; 16 (1888), 291-327; F.~d.~M. 20; 601, 604) haben die linearen ebenen Kurvensysteme gegebenen Geschlechts \(\pi\) und höchster Dimension bestimmt. In Weiterführung dieser Aufgabe bestimmt Verf. die linearen Flächensysteme des \(R_3\) mit irreduzibler veranderlicher Schnittkurve vom Geschlechte \(\pi\) und höchstmöglicher Dimension. Das vollstendige System \(|\,\varPhi\,|\) der betrachteten Flächen habe die Dimension \(r\) und den Grad \(n\); da man die Fälle \(\pi = 0, \,1\) bereits kennt, wird \(\pi \geqq 2\) vorausgesetzt. Durch projektive Abbildung der Elemente von \(|\,\varPhi\,|\) auf die Hyperebenen eines \(S_r\) entsteht eine \(V_3^n\), deren Hyperebenenschnittflächen \(F\) Ebenenschnittkurven des Geschlechts \(\pi\) haben. Sind nun zunächst die Schnittkurven von \(|\,\varPhi\,|\) hyperelliptisch, so kann man aus der Kenntnis der Flächen mit hyperelliptischen Ebenenschnitten die Struktur der \(V_3^n\) erschließen. Es ergeben sich fünf verschiedene Typen von Systemen \(|\,\varPhi\,|\) bei beliebigem \(\pi\): 1) \(\qquad \qquad r = 2\pi + 5, \,n = 3\pi + 3, \, \pi = 2q + 1\); a) \(\varPhi\) hat die Ordnung \(q + 2\) und zwei \(q + 1\) - fache Basispunkte; b) \(\varPhi\) hat die Ordnung \(q + 3\) und drei windschiefe Basisgeraden, von denen zwei einfach, eine \(q + 1\) - fach sind; c) \(\varPhi\) hat die Ordnung \(q + 3\), einen \(q + 2\)-fachen Basispunkt \(O\), eine \(q + 1\)-fache, durch \(O\) gehende Basisgerade \(l\) und eine \(l\) treffende einfache Basis-\(C_2\). 2) \(\qquad \qquad r = 3\pi+6 -2q, \,n=4\pi+4 -2q, \,0<q \leqq \dfrac{\pi}{2}\); \(\varPhi\) hat die Ordnung \(m + q\), einen \(m + q - 1\)-fachen Basispunkt \(O\), dem in den aufeinanderfolgenden Umgebungen \(m - 1\) infinitesimale Basisgeraden benachbart sind, und ferner in einer allgemeinen Ebene a) für \(m = \pi - 2q + 3\) einen \(\pi - q + 1\)-fachen Basispunkt \(O'\) und einen doppelten Basispunkt, b) für \(m = 2\pi -4q+2- \mu\), \(\mu \leqq \pi-2q\) einen \(2\pi-3q-\mu\)-fachen Basispunkt \(O'\), dem \(\pi-2q-\mu\), doppelte Basispunkte benachbart sind. Die Gerade \(OO'\) hat für \(\varPhi\) die Vielfachheit \(m + q - 2\). Auf der \(V_3^n\) entspricht \(O\) eine Kurve \(q\)-ter Ordnung, weshalb Verf. diese Flächen als Monoide 2. Art vom Index \(q\) bezeichnet. Sind die Schnittkurven von \(|\,\varPhi\,|\) nicht hyperelliptisch, so muß \(\pi=6\), \(r=17\), \(n=21\) sein; diese sechste Flächenklasse \(\varPhi\) hat die Ordnung 5, einen vierfachen Basispunkt und eine \(C_4\) vom Geschlecht 3 zur Basiskurve.