On a theorem of Castelnuovo, and the equations defining space curves (Q1058565): Difference between revisions

Si \(X\subseteq {\mathbb{P}}^ r\) est une courbe intègre, non dégénérée (et non projectivement normale), on définit son index de complétude, c(X), par \(c(X)=Max\{n| h^ 1({\mathcal T}_ X(n))\neq 0\}\) où \({\mathcal T}_ X\subseteq {\mathcal O}_{{\mathbb{P}}^ r}\) est le faisceau d'idéaux définissant X. - Un problème fondamental de la théorie est de majorer c(X) en fonction du degré, d, de X (ceci permet, entre autres choses, de borner les degrés des éléments d'un système minimal de générateurs de l'idéal homogène de X). Dans ce très bel article, les AA. prouvent: c(X)\(\leq d-r\) et \(c(X)=d-r\) si et seulement si X est rationnelle, lisse, \(d=r+1\) ou \(d>r+1\) et X a une droite \((d+2-r)\)-sécante. Ceci améliore un résultat classique de Castelnuovo (c\(\leq d-3)\). La méthode consiste à résoudre le faisceau \({\mathcal T}_ X\) (ou un faisceau approchant) par un complexe adéquat (ayant éventuellement de l'homologie sur X). Ainsi, dans la première partie, une construction du type Beilinson conduit à un complexe du type Eagon-Northcott faisant intervenir le fibré \(M_ X=p^*\Omega_{{\mathbb{P}}^ r}(1)\) (où p: \(\tilde X\to {\mathbb{P}}^ r\) est la composée de la normalisation \(\tilde X\to X\) et de l'immersion \(X\hookrightarrow {\mathbb{P}}^ r)\). On obtient alors \(c\leq d+1-r\) pour toute courbe. En fait, les résultats de ce paragraphe ne servent que pour le cas rationnel. - En effet, dans le second paragraphe, les auteurs prouvent, par un argument différent, \(c\leq d-r-1\) si X n'est pas rationnelle. La démonstration, d'un simplicité surprenante, ne fait intervenir que le complexe d'Eagon-Northcott et quelques faits élémentaires d'algèbre homologique. - Dans le troisième paragraphe, les AA. complètent leurs résultats en classifiant les courbes pour lesquelles \(c=d-r\). Pour cela, ils reviennent à l'approche initiale qui fait intervenir le fibré \(M_ X\). - Finalement, le dernier paragraphe contient une discussion et des conjectures sur des généralisations possibles des résulats obtenus.