Sulle superficie algebriche le cui curve canoniche possegono una \(g_3^1\). (Q2583897)

\textit{Castelnuovo} (Ist. Lombardo Sci. Lett., Rend., Cl. Sci. mat. natur. (2) 24 (1891), 307-318; F. d. M. 28, 664 (JFM 28.0664.*)) hat bewiesen, daß, falls die allgemeine kanonische Kurve einer algebraischen Fläche eine Linearschar \(g_3^1\) trägt, die charakteristische Schar des kanonischen Kurvensystems der Fläche mit der genannten Linearschar zusammengesetzt ist. In vorliegender Note beweist Verf., daß die algebraischen Flächen mit \(p_g > 3\), deren kanonische Kurven nicht aus den Kurven eines Büschels zusammengesetzt sind, sich birational auf zwei Typen reduzieren lassen, wenn für sie noch gilt: a) das kanonische System besitzt keine Basispunkte, b) die allgemeine kanonische Kurve trägt eine \(g_3^1\), c) die charakteristische Schar des kanonischen Systems, die notwendig mit der \(g_3^1\) zusammengesetzt ist, ist nicht zusammengesetzt aus einer \(g_{3n}^1\), die ihrerseits mit der \(g_3^1\) zusammengesetzt ist. Die Flächen des ersten Typs wurden schon von \textit{B. Segre} (Atti Accad. naz. Lincei, Rend., Cl. Sci. fis. mat. natur. (6) 16 (1932), 316-320; F. d. M. \(58_{\text{II}}\), 1231) untersucht; für sie ist \(p_g = 4\), \(p^{(1)} = 7\), und sie lassen sich birational auf eine dreifache Ebene der Gleichung \(z^3 + 3p_6 z + q_9 =0 \) beziehen, in der \(p_6 = 0\) und \(q_9 = 0\) die Gleichungen zweier ebener algebraischer Kurven der Ordnung 6 bzw. 9 bedeuten, deren erste zwei unendlich benachbarte dreifache Punkte \(O\), \(O_1\) besitzt, während die zweite in \(O\) bzw. in \(O_1\) die Vielfachheit 5 bzw. 4 aufweist. Der zweite Flächentypus hat die Geschlechtszahlen \(p_g = 5\), \(p^{(1)} = 10\) und wird birational auf die dreifache Ebene mit der Gleichung \(z^3 + 3p_8 z + q_{12} = 0\) abgebildet, wo \(p_8 = 0\) und \(q_{12} = 0\) zwei ebene algebraische Kurven der Ordnung 8 bzw. 12 bezeichnen, deren erste einen fünffachen Punkt \(O\) und zwei ihm benachbarte Doppelpunkte \(O_1\), \(O_2\) besitzt, während die zweite in \(O\) die Vielfachheit 8 und in \(O_1\), \(O_2\) je die Vielfachheit 4 aufweist.