Construction de surfaces projectivement canoniques. I, II. (Q2592452)

\textbf{I.} Verf. nennt ``projektiv-kanonisch'' eine Fläche, deren hyperebene Schnitte die kanonischen Kurven sind. Gewöhnlich werden solche Flächen einfach als ``kanonisch'' bezeichnet. Verf. zieht aber die obige Benennung vor, da auch die Flächen des kanonischen Systems einer dreidimensionalen Mannigfaltigkeit als kanonische Flächen zu bezeichnen sind. Es ist für die Klassifikation der algebraischen Flächen wichtig, zahlreiche Beispiele von projektiv-kanonischen Flächen zu konstruieren: eine normale projektiv-kanonische Fläche der Ordnung \(n\) in einem \(S_r\) beweist ja die Existenz einer Fläche mit \(p^{(1)} = n + 1\) und \(p_g=r+1\). Verf. bringt nun zwei Beispiele von projektiv-kanonischen Flächen. (1) In einem Raume \(S_6\) wird der dreidimensionale Kegel betrachtet, der eine Veronesesche Fläche \(\varPhi\) eines \(S_5\) aus einem allgemeinem Punkt \(O\) projiziert. Dieser Kegel enthält den zweidimensionalen Kegel, der durch die Projektion eines Kegelschnittes von \(\varPhi\) aus \(O\) entsteht. Eine Hyperfläche vierter Ordnung des \(S_6\), die den zweidimensionalen Kegel enthält, schneidet den dreidimensionalen Kegel noch in einer projektiv-kanonischen Fläche der Ordnung 14 mit \(p^{(1)} = 15\), \(p_g = 7\). (2) In einem \(S_t\) mit \(t = \frac{1}{2} (n + 1) \,(n+ 2)\) \((n > 2)\) wird der dreidimensionale Kegel betrachtet, der eine rationale Fläche \(\varPhi\) eines \(S_{t-1}\) (die durch das vollständige System der ebenen Kurven der Ordnung \(n\) abgebildet wird) aus einem allgemeinen Punkt \(O\) projiziert. Dieser Kegel enthält den zweidimensionalen Kegel, der durch Projektion einer Kurve der Ordnung \(n (n-3)\) von \(\varPhi\) von \(O\) aus (die in eine ebene Kurve der Ordnung \(n - 3\) abgebildet wird) entsteht. Eine Hyperfläche dritter Ordnung des \(S_t\), die den zweidimensionalen Kegel enthält, schneidet den dreidimensionalen Kegel noch in einer projektiv-kanonischen Fläche der Ordnung \(n(2n + 3)\) mit \(p^{(1)} = (n + 1) \,(2n + 1)\), \(p_g = \frac{1}{2}(n + 1) \,(n + 2) + 1\). Verf. beweist, daß die so konstruierten Flächen nicht nur projektiv-kanonisch, sondern auch normal und regulär sind. \textbf{II.} Hier wird diese Konstruktion näher diskutiert, und manche Einzelheiten werden hinzugefügt: so werden für die Flächen des ersten Typus und für jene des zweiten Typus mit \(n = 3\) einige projektive Eigenschaften bewiesen und die kartesischen Gleichungen bestimmt; weiter wird für diese Flächen ein birationales Bild mit einfachen Singularitäten im Raume \(S_3\) konstruiert.