Surfaces rationelles non-spéciales dans \({\mathbb{P}}^ 4\). (Non special rational surfaces in \({\mathbb{P}}^ 4)\) (Q914780)

Pour une surface rationnelle X dans \({\mathbb{P}}_ k^ n\), on a \(h^ 2(X,{\mathcal O}_ X(1))=0\). On appelle spécialité de X dans \({\mathbb{P}}_ k^ n\) l'entier \(q=h^ 1(X,{\mathcal O}_ X(1))\). On dit que X est \textit{spéciale} si \(q>0\) et que X est \textit{non-spéciale} si \(q=0\). Nous désignons par \(K=K_ X\) le diviseur canonique sur une surface X. C. Okonek est parvenu à une classification quasiment complète des surfaces de degré \(d\leq 8\) dans \({\mathbb{P}}_ k^ 4\) en caractéristique zéro. Il ne restait que la question de l'existence de surface rationnelles non-spéciales de degré \(d=8\). Dans le \(th\acute eor\grave eme\quad (1)\) nous montrons que pour \(3\leq d\leq 9\), une surface rationnelle non-spéciale linéairement normale X de \(\deg r\acute e\quad d\) dans \({\mathbb{P}}_ k^ 4\) (k de caractéristique zéro) est essentiellement unique. Nous donnons ci-dessous un énoncé d'existence \((th\acute eor\grave eme\quad (2))\) pour les surfaces rationnelles non- spéciales linéairement normales dans \({\mathbb{P}}^ 4\).