text:
# Untitled Document

Minimalité des courbes sous-canoniques

0. Introduction.

Soient $`𝐏^3`$ l’espace projectif de dimension 3 sur un corps $`k`$ algébriquement clos et $`R=k[X,Y,Z,T]`$ l’anneau de polynômes associé. Il y a des liens forts entre les faisceaux cohérents (ou les fibrés) sur $`𝐏^3`$, les $`R`$-modules gradués de longueur finie et les courbes localement Cohen-Macaulay de $`𝐏^3`$. Rappelons les propriétés suivantes :

L’équivalence stable est définie sur l’ensemble des fibrés :

Définition 0.1.  Deux fibrés $``$ et $`^{}`$ sur $`𝐏^3`$ sont dits stablement isomorphes s’il existe des fibrés dissociés (c’est-à-dire sommes directes de faisceaux inversibles) $``$ et $`^{}`$ et un isomorphisme $`^{}^{}`$.

Dans \[HMDP\], nous avons défini sur l’ensemble des faisceaux cohérents sur $`𝐏^3`$ la relation d’équivalence de pseudo-isomorphisme :

Définition 0.2.  Soient $`𝒩`$ et $`𝒩^{}`$ des faisceaux cohérents sur $`𝐏^3`$ et soit $`f`$ un morphisme de $`𝒩`$ dans $`𝒩^{}`$. On dit que $`f`$ est un pseudo-isomorphisme (en abrégé un psi) s’il induit : 0) un isomorphisme $`H^0𝒩(n)H^0𝒩^{}(n)`$ pour tout $`n0`$, 1) un isomorphisme $`H_{}^1𝒩H_{}^1𝒩^{}`$ et 2) une injection $`H_{}^2𝒩H_{}^2𝒩^{}`$. Deux faisceaux cohérents seront dits pseudo-isomorphes s’il existe une chaîne de psi qui les joint.

C’est une extension de l’équivalence stable au sens suivant :

Proposition 0.3.  L’application canonique de l’ensemble $`𝒮tab`$ des classes d’isomorphisme stable de fibrés $``$ de $`𝐏^3`$ vérifiant $`H_{}^2=0`$ dans l’ensemble $`𝒫si`$ des classes de pseudo-isomorphisme de faisceaux cohérents de dimension projective $`1`$ est une bijection.

Démonstration. L’injectivité est une conséquence de \[HMDP\]2.11 et 2.8, la surjectivité de \[HMDP\]2.10.

Le lien entre les fibrés et les $`R`$-modules gradués est le suivant :

Proposition 0.4. (Horrocks, cf. \[Ho\]).  Soit $`_f`$ l’ensemble des classes d’isomorphisme de $`R`$-modules gradués de longueur finie. L’application qui à un tel module associe le faisceau associé à son deuxième module de syzygies induit une bijection de $`_f`$ dans $`𝒮tab`$, la bijection réciproque étant induite par l’application qui envoie un fibré $``$ sur le module $`H_{}^1`$.

On en déduit que l’application qui envoie un faisceau $`𝒩`$ de dimension projective $`1`$ sur le module $`H_{}^1𝒩`$ induit une bijection de $`𝒫si`$ sur $`_f`$.

Passons maintenant aux courbes :

Proposition 0.5. (Rao, cf. \[R\]).  Soit $`il`$ l’ensemble des classes de biliaison de courbes (localement Cohen-Macaulay) de $`𝐏^3`$. L’application qui à une courbe $`C`$ associe son module de Rao $`H_{}^1𝒥_C`$ induit une bijection de $`il`$ sur le quotient de $`_f`$ par l’action de décalage des degrés.

Corollaire 0.6.  L’application qui à une courbe $`C`$ associe son faisceau d’idéaux $`𝒥_C`$ induit une bijection de $`il`$ sur le quotient de $`𝒫si`$ par l’action de tensorisation par une puissance du faisceau $`𝒪_𝐏(1)`$.

Il y a deux manières particulières de construire la bijection réciproque ; en effet dans chaque classe de $`𝒫si`$, il y a des fibrés d’après 0.3, et des faisceaux réflexifs de rang 2 (cf. \[MDP2\]) :

– soit $``$ un fibré ; il existe un faisceau dissocié $`𝒫`$, un entier $`h`$, une courbe $`C`$ et une suite exacte $`0𝒫𝒥_C(h)0`$. On associe à la classe de $``$ la classe de biliaison de $`C`$ ;

– soit $`𝒩`$ un faisceau réflexif de rang 2 ; on lui associe la classe de biliaison d’une courbe obtenue comme schéma des zéros d’une section non nulle de $`𝒩(n)`$ pour un entier $`n`$ bien choisi (en particulier si $`H^0𝒩(n1)=0`$ et $`H^0𝒩(n)0`$, toute section non nulle de $`𝒩(n)`$ convient).

Dans chaque classe de biliaison, il y a des courbes minimales, qui réalisent le plus petit décalage \[cf. Mi\], et qui permettent de décrire toutes les courbes de la classe (cf. \[MDP1\] V, \[BBM\]).

Dans chaque classe de $`𝒫si`$, il y a, parmi les faisceaux réflexifs de rang 2, des faisceaux réflexifs minimaux, dont la troisième classe de Chern est minimale (cf. \[B\]).

Il est naturel de se demander s’il y a une relation entre les courbes minimales et les faisceaux réflexifs minimaux (à décalage près), ce qui conduit à la question suivante :

Question I.  Dans une classe de biliaison, la courbe minimale est-elle section d’un faisceau réflexif ?

La réponse est négative, comme on le voit facilement sur un contre-exemple (cf. \[B\]). Si $`M`$ est un module de Koszul de type $`(n_1,n_2,n_3,n_4)`$, c’est-à-dire un quotient de $`R`$ par une suite régulière $`(f_1,f_2,f_3,f_4)`$$`f_i`$ est de degré $`n_i`$ avec $`n_1n_2<n_3n_4`$, la courbe minimale associée au module $`MM`$ n’est pas une section d’un faisceau réflexif minimal.

Dans une classe de $`𝒫si`$, il n’y a pas toujours de fibré de rang 2. Lorsqu’il y en a, ce sont les éléments minimaux. Les schéma des zéros des sections de ces fibrés, lorsqu’ils sont de dimension 1, sont des courbes sous-canoniques. On peut alors poser la question suivante :

Question II.  Si une classe de biliaison contient des courbes sous-canoniques, la courbe minimale est-elle aussi sous-canonique ?

Par exemple, dans la classe de biliaison associée à un module de Kozsul de type $`(n_1,n_2,n_3,n_4)`$ avec $`n_1n_2n_3n_4`$ et $`n_1+n_4=n_2+n_3`$, la courbe minimale est sous-canonique.

Comme le montre A. Buraggina (cf. \[B\] 5), cette question est équivalente à la question suivante, qui nous a été posée par Hartshorne et Ellia :

Question III.  Soit $``$ un fibré de rang 2 sur $`𝐏^3`$, $`n`$ un entier relatif tel que $`H^0(n1)=0`$ et $`H^0(n)0`$, soit $`C`$ une courbe schéma des zéros d’une section non nulle de $`(n)`$. Est-elle minimale dans sa classe de biliaison ?

Dans cet article, nous donnons une réponse positive aux questions II et III (théorème 2.5).

Dans le premier paragraphe, nous étudions, pour toute courbe $`C`$ tracée sur une surface $`Q`$, le faisceau $`om_{𝒪_Q}(𝒥_{C/Q},𝒪_Q)`$ dont les sections globales sont liées aux biliaisons élémentaires que l’on peut faire à partir de la courbe (cf. 1.2) et à ses propriétés de minimalité. En particulier nous caractérisons les homomorphismes non nuls et non injectifs de $`𝒥_{C/Q}`$ dans $`𝒪_Q(h)`$ (cf. 1.8).

Le deuxième paragraphe est consacré à la preuve du résultat. La méthode est la suivante : si $`C`$ est une courbe sous-canonique minimale pour un fibré pour laquelle on peut faire une biliaison élémentaire descendante, il existe un entier $`n<0`$ et une section non nulle de $`𝒪_C(n)`$. L’étude de la courbe contenue dans $`C`$ sur laquelle cette section s’annule conduit à une contradiction.

Notations. On désigne par $`k`$ un corps algébriquement clos et par $`R`$ l’anneau de polynômes $`k[X,Y,Z,T]`$. L’espace projectif $`𝐏_k^3`$ sera noté simplement $`𝐏^3`$ et son faisceau structural $`𝒪_𝐏`$. Si $``$ est un $`𝒪_𝐏`$-module nous noterons $`h^i`$ la dimension de l’espace vectoriel $`H^i`$, et $`H_{}^i`$ le $`R`$-module gradué $`_{n𝐙}H^i(n)`$.

Une courbe $`C`$ de $`𝐏^3`$ est un sous-schéma fermé purement de dimension 1, localement Cohen-Macaulay, défini par un faisceau d’idéaux $`𝒥_C`$. Son faisceau dualisant est le faisceau $`\omega _C=\mathrm{𝑥𝑡}_{𝒪_P}^2(𝒪_C,\omega _P)=\mathrm{𝑥𝑡}_P^2(𝒪_C,𝒪_𝐏)(4)`$.

On note

$$e(C)=sup\{n𝐙h^1𝒪_C(n)0\},$$

$$s_0(C)=inf\{n𝐙h^0𝒥_C(n)0\}.$$

Le module de Rao de $`C`$ : $`M_C=H_{}^1𝒥_C`$ est un $`R`$-module gradué de longueur finie qui joue un rôle important dans la classification des courbes gauches.

1. Etude du dual de l’idéal d’une courbe tracée sur une surface.

Dans tout ce paragraphe, on désignera par $`Q`$ une surface de degré $`s`$, non nécessairement intègre, de $`𝐏^3`$ et par $`q`$ son équation. Pour toute courbe $`C`$ tracée sur $`Q`$, définie par un faisceau d’idéaux $`𝒥_C`$, on va étudier le faisceau de $`𝒪_Q`$-modules $`om_{𝒪_Q}(𝒥_{C/Q},𝒪_Q)`$. Les sections globales de ce faisceau sont liées aux propriétés de minimalité de la courbe, comme nous le rappelons ci-dessous.

Définition 1.1.  Une courbe $`C`$ est minimale dans sa classe de biliaison si son module de Rao a le décalage minimum, c’est-à-dire si pour toute courbe $`C^{}`$ de la classe de biliaison de $`C`$ on a $`M_C^{}M_C(h)`$ avec $`h0`$.

Dans la description des classes de biliaison, on utilise l’opération de biliaison élémentaire, qui s’obtient en pratiquant deux liaisons successives, l’une des surfaces liantes étant commune aux deux liaisons. Plus précisément, on a le résultat suivant :

Proposition 1.2.  Soient $`C`$ et $`C^{}`$ deux courbes tracées sur $`Q`$ et soit $`h𝐙`$. Les conditions suivantes sont équivalentes : 1) $`C^{}`$ est obtenue à partir de $`C`$ par une double liaison par des surfaces $`(Q,S)`$ et $`(Q,S^{})`$ avec $`\mathrm{deg}S^{}\mathrm{deg}S=h`$. 2) Il existe un homomorphisme injectif $`u:𝒥_{C/Q}(h)𝒪_Q`$ d’image $`𝒥_{C^{}/Q}`$. On a alors $`M_CM_C^{}(h)`$. On dit que $`C^{}`$ est obtenue à partir de $`C`$ par une biliaison élémentaire de hauteur $`h`$ sur $`Q`$, ascendante (resp. descendante) si $`h>0`$ (resp. $`h<0`$).

Démonstration. Voir \[MDP1\] III.2.3.

Proposition 1.3. Le diagramme fondamental.  Soient $`C`$ une courbe tracée sur $`Q`$, $`h𝐙`$ et $`u:𝒥_{C/Q}(h)𝒪_Q`$ un homomorphisme. On a un diagramme commutatif de suites exactes de $`𝒪_Q`$-modules :

$$\begin{array}{ccccccccc}0& & 𝒥_{C/Q}(h)& j& 𝒪_Q(h)& & 𝒪_C(h)& & 0\\ & & u& & u^{}& & \theta & & \\ 0& & 𝒪_Q& j^{}& om_{𝒪_Q}(𝒥_{C/Q},𝒪_Q)& & \omega _C(4s)& & 0\end{array}$$

$`j:𝒥_{C/Q}𝒪_Q`$ est l’injection canonique.

Démonstration. Partant de la suite exacte :

$$0𝒥_{C/Q}j𝒪_Q𝒪_C0$$

on obtient la première ligne en la tensorisant par $`𝒪_Q(h)`$ et la deuxième ligne en lui appliquant le foncteur $`om_{𝒪_Q}(\text{.},𝒪_Q)`$. En effet, on a $`om_{𝒪_Q}(𝒪_C,𝒪_Q)=0`$ et $`\omega _C=xt_{𝒪_Q}^1(𝒪_C,\omega _Q)=xt_{𝒪_Q}^1(𝒪_C,𝒪_Q)(s4)`$.

L’égalité $`u^{}j=j^{}u`$, qui entraîne l’existence de $`\theta `$, est une conséquence du lemme facile d’algèbre suivant :

Lemme 1.4.  Soit $`A`$ un anneau commutatif, $`J`$ un idéal de $`A`$, $`j`$ l’injection canonique de $`J`$ dans $`A`$ et $`u`$ un homomorphisme $`A`$-linéaire de $`J`$ dans $`A`$. Alors on a $`u^{}j=j^{}u`$.

Démonstration. Soient $`\alpha `$ et $`\beta `$ deux éléments de $`J`$. On a :

$`u^{}j(\alpha )(\beta )=j(\alpha )u(\beta )=\alpha u(\beta )=u(\alpha \beta )`$, $`j^{}u(\alpha )(\beta )=u(\alpha )j(\beta )=\beta u(\alpha )=u(\alpha \beta )`$.

Gardant les notations de 1.3, on en déduit les deux résultats suivants, qui seront utiles dans la suite :

Corollaire 1.5.  Pour tout entier négatif $`h`$, on a un isomorphisme $`Hom(𝒥_{C/Q},𝒪_Q(h))H^0\omega _C(4s+h)`$ qui à $`u`$ associe $`\theta `$.

Démonstration. Cela résulte de la suite exacte :

$$0H^0𝒪_Q(h)Hom(𝒥_{C/Q},𝒪_Q(h))H^0\omega _C(4s+h)0$$

Corollaire 1.6.  Soit $`C^{}`$ une courbe contenue dans $`C`$. Alors $`u`$ se prolonge à $`𝒥_{C^{}/Q}(h)`$ si et seulement si $`\theta `$ se factorise à travers la projection $`𝒪_C(h)𝒪_C^{}(h)`$.

Démonstration. Soient $`j^{}:𝒥_{C^{}/Q}𝒪_Q`$ et $`i:𝒥_{C/Q}𝒥_{C^{}/Q}`$ les injections canoniques. Supposons que $`u`$ se prolonge en $`u^{}:𝒥_{C^{}/Q}(h)𝒪_Q`$. On a un diagramme commutatif de suites exactes :

$$\begin{array}{ccccccccc}0& & 𝒥_{C/Q}(h)& j& 𝒪_Q(h)& & 𝒪_C(h)& & 0\\ & & i& & & & & & \\ 0& & 𝒥_{C^{}/Q}(h)& j^{}& 𝒪_Q(h)& & 𝒪_C^{}(h)& & 0\\ & & u^{}& & u^{{}_{}{}^{}}& & \theta ^{}& & \\ 0& & 𝒪_Q& j^{{}_{}{}^{}}& om_{𝒪_Q}(𝒥_{C^{}/Q},𝒪_Q)& & \omega _C^{}(4s)& & 0\\ & & & & i^{}& & & & \\ 0& & 𝒪_Q& j^{}& om_{𝒪_Q}(𝒥_{C/Q},𝒪_Q)& & \omega _C(4s)& & 0\end{array}$$

L’égalité $`i^{}u^{{}_{}{}^{}}=u^{}`$ montre que la composée des trois flèches verticales de droite n’est autre que $`\theta `$, qui se factorise comme annoncé.

Inversement, si $`\theta `$ se factorise à travers la projection $`𝒪_C(h)𝒪_C^{}(h)`$, le diagramme précédent dans lequel on supprime la troisième ligne nous donne l’existence de la flèche $`u^{}`$.

D’après 1.2, l’étude de la minimalité d’une courbe tracée sur $`Q`$ est liée à l’existence d’homomorphismes injectifs (et non surjectifs) de $`𝒥_{C/Q}`$ dans $`𝒪_Q(h)`$ avec $`h`$ négatif. D’après 1.5, l’existence d’homomorphismes non nuls de $`𝒥_{C/Q}`$ dans $`𝒪_Q(h)`$ est équivalente à l’existence de sections non nulles du faisceau $`\omega _C(4s+h)`$, donc, puisqu’on a $`H^0\omega _C(4s+h)=H^1𝒪_C(s4h)`$, à l’inégalité $`hs4e(C)`$ ; il sera possible d’en obtenir avec $`h<0`$ si et seulement si $`s_0(C)s<e(C)+4`$. Il faut ensuite étudier quels sont les homomorphismes non nuls et non injectifs, qui ne peuvent exister que si $`Q`$ n’est pas intègre.

Remarque 1.7. Si $`Q`$ n’est pas intègre, posons $`q=q_1q_2`$ et soient $`Q_1`$ et $`Q_2`$ les surfaces correspondantes, $`s_1`$ et $`s_2`$ leurs degrés. Pour tout $`(i,j)\{(1,2),(2,1)\}`$ on a une suite exacte :

$$0𝒪_{Q_i}(s_j)\lambda _j𝒪_Qp_j𝒪_{Q_j}0$$

$`\lambda _jp_i`$ est égal à la multiplication par $`q_j:𝒪_Q(s_j)𝒪_Q`$.

Proposition 1.8.  Soient $`C`$ une courbe tracée sur $`Q`$, $`h𝐙`$, $`u:𝒥_{C/Q}(h)𝒪_Q`$ un homomorphisme non nul et $`\theta `$ la section de $`\omega _C(4s+h)`$ qui lui correspond. Les conditions suivantes sont équivalentes : i) $`u`$ n’est pas injectif, ii) il existe une décomposition $`q=q_1q_2`$, où $`q_1`$ et $`q_2`$ ne sont pas constants, telle que $`q_1u=0`$, iii) il existe une décomposition $`q=q_1q_2`$, où $`q_1`$ et $`q_2`$ ne sont pas constants, telle que, avec les notations de la remarque 1.6, $`u`$ se factorise par $`\lambda _2:𝒪_{Q_1}(s_2)𝒪_Q`$. De plus, si $`h<0`$, elles sont encore équivalentes à : iv) il existe une décomposition $`q=q_1q_2`$, où $`q_1`$ et $`q_2`$ ne sont pas constants, telle que $`q_1\theta =0`$.

Démonstration.$`iii`$ : si $`u`$ n’est pas injectif, il en est de même de l’homomorphisme de modules $`:I_C/(q)(h)R/(q)`$ associé, qu’on désignera encore par $`u`$. Soient $`g`$ un élément de $`I_C`$ dont l’image $`\overline{g}`$ est un élément non nul du noyau de $`u`$ et $`q_1`$ le pgcd de $`q`$ et $`g`$, de sorte qu’on a $`q=q_1q_2`$ et $`g=q_1g^{}`$, où $`q_2`$ et $`g^{}`$ sont premiers entre eux. Puisque $`\overline{g}`$ n’est pas nul, $`q_1`$ est un diviseur strict de $`q`$, et $`q_2`$ n’est pas une constante. Pour tout $`f`$ dans $`I_C`$ on a $`gu(\overline{f})=fu(\overline{g})=0`$ ; on en déduit que si $`f^{}`$ relève $`u(\overline{f})`$, $`q=q_1q_2`$ divise $`gf^{}=q_1g^{}f^{}`$, donc $`q_2`$ divise $`g^{}f^{}`$, $`q_2`$ divise $`f^{}`$, et $`q`$ divise $`q_1f^{}`$. On a donc montré que $`q_1u=0`$. Puisque $`u`$ n’est pas nul, ceci prouve aussi que $`q_1`$ n’est pas une constante.

$`iiiii`$ : puisque $`\lambda _1`$ est injectif, $`q_1u=\lambda _1p_2u`$ est nul si et seulement si $`p_2u`$ est nul, ce qui équivaut au fait que $`u`$ se factorise par $`\lambda _2`$.

$`iiii`$ : un homomorphisme $`𝒥_{C/Q}(h)𝒪_{Q_1}(s_2)`$ ne peut pas être injectif, car le support schématique de $`𝒥_{C/Q}`$ contient strictement celui de $`𝒪_{Q_1}`$.

$`ivii`$ si $`h<0`$ : si $`q_1\theta =0`$, $`q_1u:𝒥_{C/Q}(h)𝒪_Q𝒪_Q(s_1)`$ se prolonge à $`𝒪_Q(h)`$, autrement dit il existe $`v:𝒪_Q(h)𝒪_Q(s_1)`$ tel qu’on ait $`q_1u=vj`$. On a alors $`p_2vj=0`$, donc $`p_2v`$ se factorise par la projection $`𝒪_Q(h)𝒪_C(h)`$ composée avec un homomorphisme $`𝒪_C(h)𝒪_Q`$ qui est nul pour des raisons de profondeur. Alors $`v`$ se factorise également par $`\lambda _1:𝒪_{Q_2}𝒪_Q(s_1)`$, donc il existe $`w:𝒪_Q(h)𝒪_{Q_2}`$ tel qu’on ait $`v=\lambda _1w`$. Puisque $`h`$ est négatif, $`w`$ est nul d’où le résultat.

Remarques 1.9.

1) Si on ne suppose plus que $`u`$ n’est pas nul, les conditions ii) iii) et iv) restent valables, à condition de supposer seulement que $`q_2`$ n’est pas constant, c’est-à -dire que $`q_1`$ est un diviseur strict de $`q`$.

2) Si $`h<0`$ et si on a $`q=q_1q_2`$, où $`q_1`$ et $`q_2`$ ne sont pas constants et si la surface $`Q_1`$ d’équation $`q_1`$ contient $`C`$, $`q_1`$ annule $`H^0\omega _C(4s+h)`$ donc il n’existe pas d’homomorphisme injectif $`u:𝒥_{C/Q}(h)𝒪_Q`$.

Corollaire 1.10.  Soient $`C`$ et $`C^{}`$ deux courbes tracées sur $`Q`$ telles que $`C^{}`$ soit contenue dans $`C`$, $`h𝐙`$. Soit $`u^{}:𝒥_{C^{}/Q}(h)𝒪_Q`$ et $`u:𝒥_{C/Q}(h)𝒪_Q`$ sa restriction. Alors 1) si $`u^{}`$ n’est pas nul, il en est de même de $`u`$ ; 2) si $`u`$ est injectif, il en est de même de $`u^{}`$.

Démonstration. Si $`u`$ est nul, $`u^{}`$ se factorise par par la projection $`𝒥_C^{}(h)𝒥_C^{}/𝒥_C(h)`$ composée avec un homomorphisme $`𝒥_C^{}/𝒥_C(h)𝒪_Q`$ qui est nul pour des raisons de profondeur, d’où 1).

Si $`u^{}`$ n’est pas injectif, d’après 1.7, il existe une décomposition $`q=q_1q_2`$, où $`q_1`$ et $`q_2`$ ne sont pas constants, telle que $`q_1u^{}=0`$, mais alors on a aussi par restriction $`q_1u=0`$, donc $`u`$ n’est pas injectif.

Corollaire 1.11.  Soit $`C`$ une courbe. On ne peut pas faire à partir de $`C`$ de biliaison élémentaire de hauteur négative si et seulement si pour tout $`ss_0(C)`$, pour tout $`h<0`$, pour toute surface $`Q`$ de degré $`s`$ d’équation $`q`$ contenant $`C`$, il existe un diviseur strict $`q_1`$ de $`q`$ qui annule $`H^0\omega _C(4s+h)`$.

Démonstration. D’après 1.8, il suffit de voir que si toute section de $`\omega _C(4s+h)`$ est annulée par un diviseur strict de $`q`$, il en existe un qui les annule toutes. Cela provient du fait que si un espace vectoriel est réunion d’un nombre fini de sous-espaces vectoriels, il est égal à l’un d’entre eux.

Exemple 1.12. Considérons un module de Koszul, c’est-à-dire un module quotient de $`R`$ par une suite régulière $`(f_1,f_2,f_3,f_4)`$$`f_i`$ est de degré $`n_i`$ avec $`n_1n_2n_3n_4`$. On pose $`\mu =sup(n_1+n_4,n_2+n_3)`$. Toute courbe minimale associée a son idéal gradué engendré par des polynômes (rangés par degrés croissants) $`ff_1^2`$, $`f_1f_2`$, $`gf_2^2`$, $`ff_1f_4+gf_2f_3`$, où $`f`$ et $`g`$ sont des polynômes homogènes de degrés respectifs $`\mu n_1n_4`$ et $`\mu n_2n_3`$, non nuls et tels que $`f`$, $`g,`$ et les $`f_i`$ soient deux à deux sans facteur commun (cf. \[MDP1\] IV 6).

On a $`s_0(C)=\mu +n_1n_4`$ et $`e(C)=2\mu n_3n_44`$. Les valeurs de $`s`$ et $`h`$ à considérer sont celles qui vérifient $`s_0(C)se(C)+4+h`$, ou encore $`\mu +n_1n_4s2\mu n_3n_4+h`$. Quand il en existe (c’est-à-dire si on n’a pas à la fois $`n_1=n_2`$, $`n_3=n_4`$), les équations des surfaces $`Q`$ correspondantes sont dans l’idéal $`(ff_1^2,f_1f_2)`$, donc sont toutes divisibles strictement par $`f_1`$, et on vérifie que les sections de $`\omega _C(4s+h)`$ sont annulées par $`f_1`$.

2. Minimalité des courbes sous-canoniques.

Définition 2.1.  Une courbe est dite sous-canonique s’il existe un fibré $``$ de rang 2 sur $`𝐏^3`$, un entier relatif $`n`$ et une section non nulle de $`(n)`$ dont le schéma des zéros est $`C`$. On a alors $`\omega _C𝒪_C(2n+c_14)`$, où $`c_1`$ est la première classe de Chern de $``$. Une telle courbe est dite minimale pour $``$ si $`(n1)`$ n’a pas de section globale non nulle.

Proposition 2.2.  Soit $`C`$ une courbe sous-canonique, et $`C^{}`$ une courbe contenue dans $`C`$ distincte de $`C`$. Alors il existe une courbe $`C^{\prime \prime }`$ contenue dans $`C`$ et des isomorphismes : $`𝒥_C^{}/𝒥_C\omega _{C^{\prime \prime }}(\alpha )`$, $`𝒥_{C^{\prime \prime }}/𝒥_C\omega _C^{}(\alpha )`$$`\alpha `$ est l’entier qui vérifie $`\omega _C𝒪_C(\alpha )`$. De plus, $`𝒥_{C^{\prime \prime }}`$ (resp. $`𝒥_C^{}`$) est l’annulateur de $`𝒥_C^{}/𝒥_C`$ (resp. $`𝒥_{C^{\prime \prime }}/𝒥_C)`$.

Démonstration. On considère la suite exacte $`0𝒥_C^{}/𝒥_C𝒪_C𝒪_C^{}0`$ et on lui applique le foncteur $`om_{𝒪_𝐏}(\text{.},𝒪_𝐏)`$. Le support de $`𝒥_C^{}/𝒥_C`$ étant de dimension 1, le faisceau $`xt^1(𝒥_C^{}/𝒥_C,𝒪_𝐏)`$ est nul. On obtient la suite exacte :

$$0xt^2(𝒪_C^{},𝒪_𝐏)xt^2(𝒪_C,𝒪_𝐏)xt^2(𝒥_C^{}/𝒥_C,𝒪_𝐏)0$$

Sachant qu’on a des isomorphismes : $`xt^2(𝒪_C^{},𝒪_𝐏)\omega _C^{}(4)`$, $`xt^2(𝒪_C,𝒪_𝐏)\omega _C(4)𝒪_C(\alpha +4)`$, on en déduit un isomorphisme : $`xt^2(𝒥_C^{}/𝒥_C,𝒪_𝐏)𝒪_{C^{\prime \prime }}(\alpha +4)`$$`C^{\prime \prime }`$ est un sous-schéma fermé de $`C`$ qui vérifie donc $`𝒥_{C^{\prime \prime }}/𝒥_C\omega _C^{}(\alpha )`$.

D’autre part, en appliquant de nouveau le foncteur $`om_{𝒪_𝐏}(\text{.},𝒪_𝐏)`$ à la suite exacte obtenue :

$$0\omega _C^{}(4)\omega _C(4)𝒪_{C^{\prime \prime }}(\alpha +4)0$$

et en tenant compte des isomorphismes canoniques $`xt^2(\omega _C(4),𝒪_𝐏)𝒪_C`$ et $`xt^2(\omega _C^{}(4),𝒪_𝐏)𝒪_C^{}`$ on obtient la suite exacte :

$$0xt^2(𝒪_{C^{\prime \prime }}(\alpha +4),𝒪_𝐏)𝒪_C𝒪_C^{}xt^3(𝒪_{C^{\prime \prime }}(\alpha +4),𝒪_𝐏)0$$

ce qui prouve que $`C^{\prime \prime }`$ n’est pas vide, que $`xt^3(𝒪_{C^{\prime \prime }},𝒪_𝐏)=0`$, donc que $`C^{\prime \prime }`$ est une courbe (localement Cohen-Macaulay) et que $`xt^2(𝒪_{C^{\prime \prime }}(\alpha +4)\omega _{C^{\prime \prime }}(\alpha )𝒥_C^{}/𝒥_C`$.

La deuxième assertion résulte du fait que l’annulateur de $`\omega _C^{}`$ (resp. $`\omega _{C^{\prime \prime }})`$ n’est autre que $`𝒥_C^{}`$ (resp. $`𝒥_{C^{\prime \prime }}`$).

Corollaire 2.3.  Soient $`C`$ une courbe sous-canonique, $`Q`$ une surface de degré $`s`$ contenant $`C`$, $`h`$ un entier, $`u:𝒥_{C/Q}(h)𝒪_Q`$ un homomorphisme non nul et $`\theta `$ la section de $`\omega _C(4+hs)=𝒪_C(\alpha +4+hs)`$ correspondante. Il existe deux courbes $`C^{}`$ et $`C^{\prime \prime }`$ contenues dans $`C`$, une suite exacte $`0\omega _C^{}(\alpha )𝒪_C𝒪_{C^{\prime \prime }}0`$ telles que $`C^{\prime \prime }`$ soit la plus grande courbe (éventuellement vide) contenue dans le support du conoyau de $`\theta `$, que $`𝒥_C^{}/𝒥_C`$ soit le noyau de $`\theta `$, que $`u`$ se prolonge à $`𝒥_{C^{}/Q}(h)`$ et que $`𝒥_{C^{\prime \prime }}`$ soit l’annulateur de $`𝒥_C^{}/𝒥_C`$. Si $`h<(s\alpha 4`$, $`C^{\prime \prime }`$ n’est pas vide.

Démonstration. L’image de $`\theta :𝒪_C\omega _C(4+hs)=𝒪_C(\alpha +4+hs)`$ est un quotient de $`𝒪_C`$, autrement dit $`\theta `$ peut se factoriser de la manière suivante : $`\theta =ϵp`$, où $`p`$ est la projection de $`𝒪_C`$ sur un quotient $`𝒪_C^{}`$ et $`ϵ`$ est une injection $`𝒪_C^{}𝒪_C(\alpha +4+hs)`$. Ceci entraîne en particulier que tous les associés de $`𝒪_C^{}`$ sont de dimension 1, donc que $`C^{}`$ est une courbe (non vide car $`\theta 0`$).

Le conoyau de $`\theta `$ est de la forme $`𝒪_Z(\alpha +4+hs)`$$`Z`$ est un sous-schéma fermé de $`C`$. Soit $`C^{\prime \prime }`$ la plus grande courbe contenue dans $`Z`$, qui est égale à $`Z`$ en dehors d’un nombre fini de points. D’après 2.2, si $`C^{\prime \prime }`$ n’est pas vide, il existe une courbe $`C_1^{}`$ et une suite exacte $`0\omega _{C_1^{}}(\alpha )𝒪_C𝒪_{C^{\prime \prime }}0`$, et $`ϵ`$ se factorise par une injection $`𝒪_C^{}\omega _{C_1^{}}(4+hs)`$ qui est un isomorphisme en-dehors d’un nombre fini de points. On en déduit que $`C^{}`$ et $`C_1^{}`$ sont égales.

Le fait que $`u`$ se prolonge à $`𝒥_{C^{}/Q}(h)`$ résulte de 1.6.

On vérifie que l’assertion est encore vraie (mais sans intérêt) si $`C^{\prime \prime }`$ est vide, ce qui correspond au cas où $`\theta `$ est injective.

Si $`h<(s\alpha 4`$, $`\alpha +4+hs`$ est strictement négatif donc $`\theta `$ n’est pas injective (sinon son conoyau serait de longueur finie et aurait une caractéristique de Hilbert strictement négative).

Proposition 2.4.  Soient $``$ un fibré de rang 2 sur $`𝐏^3`$, $`C`$ une courbe sous-canonique minimale pour $``$, $`Q`$ une surface de degré $`s`$ contenant $`C`$ et $`h`$ un entier négatif. On ne peut pas faire à partir de $`C`$ de biliaison élémentaire de hauteur $`h`$ sur $`Q`$.

Démonstration. Quitte à tensoriser $``$ par un faisceau inversible, on peut supposer qu’on a une suite exacte :

$$0𝒪_𝐏(a)𝒥_C0$$

et qu’on a $`H^0(a1)=0`$, puisque $`C`$ est minimale pour $``$. Remarquons qu’on a aussi $`H^0𝒥_C(a1)=0`$, donc $`sa`$ et $`a+hs`$ est strictement négatif.

On a aussi $`\omega _C𝒪_C(a4)`$.

Supposons qu’il existe un homomorphisme injectif $`u_1:𝒥_{C/Q}(h)𝒪_Q`$. D’après 1.5 il correspond à un élément non nul $`\theta _1`$ de $`H^0\omega _C(4+hs)=H^0𝒪_C(a+hs)`$.

Soit $`n_0=inf\{n𝐙h^0𝒪_C(n)0\}`$. D’après ce qui précède, on a $`n_0a+hs<0`$ et $`sa+n_0h<0`$.

Soit $`\theta _2`$ un élément non nul de $`H^0𝒪_C(n_0)=H^0\omega _C(4a+n_0)`$ qui correspond d’après 1.5 à un homomorphisme non nul $`u_2:𝒥_{C/Q}𝒪_Q(sa+n_0)`$.

Pour $`i\{1,2\}`$ soient $`C_i^{}`$ et $`C_i^{\prime \prime }`$ les courbes associées à $`\theta _i`$ comme on les a construites en 2.3. Alors $`\theta _i=ϵ_ip_i`$, où $`p_i`$ est la projection de $`𝒪_C`$ sur un quotient $`𝒪_{C_i^{}}`$ et $`ϵ_1`$ (resp. $`ϵ_2`$) est une injection de $`𝒪_{C_1^{}}`$ dans $`𝒪_C(a+hs)`$ (resp. de $`𝒪_{C_2^{}}`$ dans $`𝒪_C(n_0)`$) et $`u_i`$ se prolonge à $`𝒥_{C_i^{}/Q}`$. De plus, $`𝒥_{C_i^{\prime \prime }}`$ est l’annulateur de $`𝒥_{C_i^{}}/𝒥_C`$.

Le produit $`\theta _2\theta _1`$ est une section de $`𝒪_C(a+hs+n_0)`$ et il est nul par définition de $`n_0`$. On a donc $`ϵ_2p_2ϵ_1p_1=0`$ (en fait il faudrait plutôt l’écrire $`ϵ_2p_2ϵ_1(n_0)p_1(n_0)=0`$, mais on omettra les décalages), et $`p_2ϵ_1=0`$ puisque $`p_1`$ est surjectif et $`ϵ_2`$ injectif. On en déduit que $`C_2^{}`$ est contenu dans le support du conoyau de $`ϵ_1`$, qui est est aussi le conoyau de $`\theta _1`$, donc dans la plus grande courbe contenue dans ce support, c’est-à-dire $`C_1^{\prime \prime }`$. On a donc des inclusions $`𝒥_C𝒥_{C_1^{\prime \prime }}𝒥_{C_2^{}}`$, et puisque $`u_2`$ se prolonge à $`𝒥_{C_2^{}/Q}`$, il se prolonge également à $`𝒥_{C_1^{\prime \prime }/Q}`$.

D’après 1.10, puisque $`u_1`$ est injectif, il en est de même de son prolongement à $`𝒥_{C_1^{}/Q}`$. On définit ainsi une biliaison élémentaire descendante, de hauteur $`h`$ sur $`Q`$, qui associe $`\mathrm{\Gamma }`$ à $`C`$ et $`\mathrm{\Gamma }_1^{}`$ à $`C_1^{}`$. On a donc un diagramme commutatif de suites exactes :

$$\begin{array}{ccccccccc}0& & 𝒥_{C/Q}(h)& & 𝒥_{C_1^{}/Q}(h)& & 𝒥_{C_1^{}}/𝒥_C(h)& & 0\\ & & & & & & & & \\ 0& & 𝒥_{\mathrm{\Gamma }/Q}& & 𝒥_{\mathrm{\Gamma }_1^{}/Q}& & 𝒥_{\mathrm{\Gamma }_1^{}}/𝒥_\mathrm{\Gamma }& & 0\end{array}$$

dans lequel les deux flèches verticales sont des isomorphismes induits par $`u_1`$. On en déduit que $`𝒥_{\mathrm{\Gamma }_1^{}}/𝒥_\mathrm{\Gamma }`$ est isomorphe à $`𝒥_{C_1^{}}/𝒥_C(h)`$ donc que l’annulateur de $`𝒥_{\mathrm{\Gamma }_1^{}}/𝒥_\mathrm{\Gamma }`$ est égal à $`𝒥_{C_1^{\prime \prime }}`$. Cet annulateur contient évidemment $`𝒥_\mathrm{\Gamma }`$, donc $`𝒥_\mathrm{\Gamma }`$ est contenu dans $`𝒥_{C_1^{\prime \prime }}`$.

D’autre part, $`u_2`$ se prolonge en un homomorphisme non nul $`𝒥_{C_1^{\prime \prime }/Q}𝒪_Q(sa+n_0)`$. Par composition, on obtient un homomorphisme non nul (cf. 1.9) :

$$𝒥_{C/Q}(h)𝒥_{\mathrm{\Gamma }/Q}𝒪_Q(sa+n_0)$$

donc par 1.5 un élément non nul de $`H^0𝒪_C(n_0+h)`$ ce qui donne une contradiction.

Théorème 2.5.  Soit $`C`$ une courbe sous-canonique minimale pour un fibré $``$ de rang 2 sur $`𝐏^3`$. Alors $`C`$ est minimale dans sa classe de biliaison.

Démonstration. Soit $`H_{\gamma ,M}`$ le schéma de Hilbert des courbes à cohomologie et module de Rao constants contenant $`C`$, qui est irréductible (cf. \[MDP1\] V et VI). Nous aurons besoin des résultats des deux lemmes suivants :

Lemme 2.6.  L’ensemble des courbes sous-canoniques de $`H_{\gamma ,M}`$, minimales pour un fibré, est un ouvert.

Démonstration. On a un isomorphisme $`\omega _C𝒪_C(\alpha )`$. Une courbe $`C^{}`$ de $`H_{\gamma ,M}`$ est sous-canonique si et seulement si il existe un entier $`\alpha ^{}`$ et un isomorphisme $`\omega _C^{}𝒪_C^{}(\alpha ^{})`$. Mais puisque $`C`$ et $`C^{}`$ ont même cohomologie, on a alors $`\alpha =\alpha ^{}`$. L’isomorphisme $`\omega _C𝒪_C(\alpha )`$ correspond à une section de $`\omega _C(\alpha )`$ qui se prolonge sur un voisinage $`U`$ de $`C`$ dans $`H_{\gamma ,M}`$ (cf. \[MDP1\] VII 2.3 et 2.5). Pour toute courbe $`C^{}`$ de $`U`$, il existe un homomorphisme injectif (quitte à restreindre $`U`$) $`𝒪_C^{}\omega _C^{}(\alpha )`$ qui est un isomorphisme car les deux faisceaux ont même polynôme de Hilbert.

Soit $`C^{}`$ une courbe sous-canonique de $`H_{\gamma ,M}`$. On voit facilement que $`C^{}`$ est minimale pour le fibré auquel elle correspond si et seulement si $`H^0𝒥_C^{}(\alpha +3)`$ est nul et l’ensemble des courbes $`C^{}`$ de $`H_{\gamma ,M}`$ vérifiant $`H^0𝒥_C^{}(\alpha +3)=0`$ est soit vide, soit égal à $`H_{\gamma ,M}`$.

Lemme 2.7.  L’ensemble des courbes de $`H_{\gamma ,M}`$ pour lesquelles on peut faire une biliaison $`(s,h)`$ est un ouvert.

Démonstration. C’est une conséquence de \[MDP1\] VII 4.7.

Fin de la démonstration du Théorème 2.5. Si $`C`$ n’est pas minimale dans sa classe de biliaison, il existe un entier $`m1`$, une suite de courbes $`C_0,C_1,\mathrm{},C_m`$ telle que $`C_{i+1}`$ s’obtienne à partir de $`C_i`$ par une biliaison élémentaire de hauteur strictement positive, et $`C`$ à partir de $`C_m`$ par une déformation à cohomologie et module de Rao constants (cf \[MDP1\] IV 5). Soit $`s`$ le degré de la surface sur laquelle on fait la biliaison élémentaire qui fait passer de $`C_{m1}`$ à $`C_m`$ et $`h`$ sa hauteur. L’ouvert des courbes de $`H_{\gamma ,M}`$ pour lesquelles on peut faire une biliaison $`(s,h)`$ est donc non vide. Puisque $`H_{\gamma ,M}`$ est irréductible, cet ouvert rencontre l’ouvert des courbes sous-canoniques minimales pour un fibré, et la proposition 2.4 donne une contradiction.

Références bibliographiques.

\[BBM\] Ballico E., Bolondi G. Migliore J., The Lazarsfeld-Rao problem for liaison classes of two-codimensional subschemes of $`𝐏^n`$. Amer. J. Math. 113, 117–128 (1991).

\[B\] Buraggina A., Biliaison classes of reflexive sheaves, Math. Nachr. 201, 53–76, 1999.

\[Ho\] Horrocks G., Vector bundles on the punctured spectrum of a local ring, Proc. Lond. Math. Soc., 14, 689-713 (1964).

\[HMDP\] Hartshorne R., Martin-Deschamps M. et Perrin D., Un théorème de Rao pour les familles de courbes gauches, Journal of Pure and Applied Algebra Algebra 155, 53-76 (2001).

\[MDP1\] Martin-Deschamps M. et Perrin D., Sur la classification des courbes gauches I, Astérisque, Vol. 184-185, 1990.

\[MDP2\] Martin-Deschamps M. et Perrin D., Quand un morphisme de fibrés dégénère-t-il le long d’une courbe lisse ? Lecture Notes in Pure and Applied Mathematics Series/200. Marcel Dekker, Inc. july 1998.

\[Mi\] Migliore J., Geometric Invariants of Liaison, J. Algebra 99, 548-572 (1986).

\[R\] Rao A. P., Liaison among curves in $`𝐏^3`$, Invent. Math., Vol. 50, 205.217 (1979).