format: text

text:
# Table des matières

## Introduction

Dans cet article, nous appelons surface réglée toute surface de $`^3`$ recouverte par une famille de dimension $`1`$ de droites de l’espace, ce sont les génératrices de la surface. Cette définition correpond à la notion historique de surface réglée. Une telle surface est définie par une courbe tracée sur la grassmannienne $`𝔾`$ des droites de $`^3`$. La surface est rationnelle si la courbe de $`𝔾`$ l’est. Le lieu singulier de la surface est l’ensemble des points d’intersection de deux génératrices.

Dans \[P1\], nous avons constaté que dans le cas des surfaces quintiques rationnelles réglées, le lieu singulier de la surface détermine complètement la surface. Nous nous proposons dans cet article d’étudier le problème suivant :

Problème : Toute surface rationelle réglée est-elle déterminée par son lieu singulier ?

Nous étudierons ce problème pour les surface rationnelles réglées paramétrées. L’ensemble de ces surfaces est représenté par le schéma $`\mathrm{Mor}_d(^1,𝔾)`$ des morphismes de degré $`d`$ de $`^1`$ dans $`𝔾`$ (voir \[GR\]). Pour tout morphisme $`f`$, la surface correspondante est définie par la courbe $`f(^1)`$ et le morphisme nous donne un paramétrage de cette courbe par $`^1`$. La variété $`\mathrm{Mor}_d(^1,𝔾)`$ est irréductible et lisse de dimension $`4d+4`$ (voir \[P2\]). Elle est munie d’actions de $`PGL_2`$ et de $`PO(q)`$$`q`$ est la forme quadratique définissant $`𝔾`$ dans $`^5`$. Nous identifierons $`PGL_4`$ à $`PSO(q)`$. Le lieu singulier abstrait d’une surface rationnelle paramétrée $`f\mathrm{Mor}_d(^1,𝔾)`$ est défini par :

Définition : Le lieu singulier abstrait de la surface $`f`$ est l’ensemble des paires de génératrices qui se coupent, on le note $`𝚿(f)`$.

C’est en général une courbe de degré $`d2`$ de $`S^2^1`$. Une surface rationelle réglée de degré inférieur à $`2`$ générale est lisse. Nous supposerons donc que $`d3`$. De plus, si la surface $`f`$ ou sa duale est un cône, alors son lieu singulier abstrait est $`S^2^1`$ tout entier. Notons $`𝐑_d`$ l’ouvert de $`\mathrm{Mor}_d(^1,𝔾)`$ des morphismes $`f`$ tels que l’image $`f(^1)`$ n’est pas contenue dans un plan totalement isotrope pour la forme quadratique $`q`$. Pour un morphisme $`f`$ du fermé complémentaire, la courbe $`f(^1)`$ est contenue dans un $`(\alpha )`$-plan ou un $`(\beta )`$-plan de $`𝔾`$, la surface ou sa duale est alors un cône et son lieu singulier abstrait n’est plus une courbe de $`(S_2)`$. Nous verrons que pour tout élément $`f`$ de $`𝐑_d`$, le lieu singulier abstrait $`𝚿(f)`$ est une courbe de $`S^2^1`$. La variété $`𝐑_d`$ est munie d’action de $`PGL_2`$ et $`PO(q)`$. L’action induite de $`PGL_4`$ identifié à $`PSO(q)`$ est l’action du groupe des automorphismes de $`^3`$ sur les surfaces.

Nous étudions le morphisme $`𝚿`$ qui a un élément de $`𝐑_d`$ associe son lieu singulier abstrait et montrons le théorème suivant qui répond au problème pour le lieu singulier abstrait :

Théorème : (ı) Pour $`d3`$, le morphisme $`𝚿`$ est génériquement injectif modulo isomophisme et dualité : la fibre générale de $`𝚿`$ est une orbite sous $`PO(q)`$. Pour $`d5`$ la fibre générale est isomorphe à $`PO(q)PGL_4\{\pm 1\}`$.

(ıı) La variété $`𝐑_d`$ est irréductible de dimension $`4d+4`$. Le morphisme $`𝚿`$ est dominant pour $`d`$ compris entre $`3`$ et $`5`$. Pour $`d6`$, son image est rationelle, normale de dimension $`4d11`$ régulière en codimension $`d5`$ et de degré :

$$\underset{k=0}{\overset{d6}{}}\frac{\left(\genfrac{}{}{0pt}{}{d+1+k}{d5k}\right)}{\left(\genfrac{}{}{0pt}{}{2k+1}{k}\right)}$$

Pour montrer ce résultat, nous utilisons l’isomorphisme exceptionnel entre $`PSO(q)`$ et $`PGL_4`$ qui nous permet d’avoir deux points de vue sur $`𝔾`$. Nous définissons ainsi deux morphismes naturels $`𝚿`$ et $`\mathrm{\Phi }`$ de la variété de $`𝐑_d`$ dans l’espace projectif des courbes de degré $`d2`$ du plan. Nous montrerons que ces morphismes sont égaux.

Plus précisement, nous décrirons une stratification de la variété $`𝐑_d`$ et montrerons que $`\mathrm{\Phi }`$ et $`𝚿`$ coïncident sur la plus petite strate. Nous montrerons que la variété $`𝐑_d`$ est plongée dans un espace projectif et que $`\mathrm{\Phi }`$ et $`𝚿`$ sont alors linéaires pour ce plongement. La strate minimale engendrant cet espace, nous concluons à l’égalité des morphismes. Le morphisme $`\mathrm{\Phi }`$ nous permettra de montrer l’injectivité générique et de vérifier que l’image, qui pourra être vue comme variété déterminantielle, est normale de lieu singulier en codimension $`d4`$ et du degré annoncé. Nous donnerons au dernier paragraphe une paramétrisation birationnelle de l’image de $`𝚿`$ ce qui nous permettra d’affirmer que cette variété est normale.

Par ailleurs, nous montrerons l’existence d’un “espace de modules des surfaces rationnelles réglées paramétrés ” $`(d)`$ comme bon quotient de $`𝐑_d`$ par $`PGL_4`$. Nous étudierons quelques sous-variétés remarquables de $`𝐑_d`$ ainsi que leurs images par $`𝚿`$. Nous donnerons également une compactification de $`𝐑_d`$ et nous décrirons l’image du bord. Enfin, nous étudierons le cas des surfaces de degré $`5`$ et retrouverons des résultats de \[P1\] sur la position relative d’une cubique et d’une conique.

Remerciements : Je tiens ici à remercier mon directeur de thèse Laurent Gruson pour toute l’aide qu’il m’a apportée durant la préparation de ce travail.

Notations : (ı) Notons $`S_n`$ la representation irréductible de dimension $`n+1`$ de $`SL_2`$. Nous identifierons $`S_n`$ et $`\stackrel{ˇ}{S}_n`$ grâce à la forme bilinéaire $`SL_2`$-invariante sur $`S_n`$ (pour plus de détails sur les représentation de $`SL_2`$, voir \[SP\]). Le plan $`(S_2)`$ contient une conique canonique $`C_0`$ qui est l’image du plongement de Veronese de $`(S_1)`$. Si $`X`$ est une courbe de degré $`n`$ de $`(S_2)`$, on appelera polygône de Poncelet associé à $`X`$ tout polygône complet dont les côtés sont tangents à $`C_0`$ et dont les sommets sont sur $`X`$. La courbe $`X`$ sera dite en relation de Poncelet avec $`C_0`$ si elle possède au moins un polygône de Poncelet à $`n+1`$ côtés associé. On note $`𝔓_n`$ l’ensemble de ces courbes. On note $`K_a`$ le fibré de Schwarzenberger conoyau de l’injection suivante : $`S_{a2}𝒪_{(S_2)}(1)S_a𝒪_{(S_2)}`$.

(ıı) Nous noterons $`G_a`$ le groupe $`\mathrm{Aut}(𝒪_^1(a)𝒪_^1(da))/^{}`$ des automorphismes modulo homothéties du faisceau $`𝒪_^1(a)𝒪_^1(da)`$.

(ııı) Notons $`V`$ l’espace vectoriel $`H^0𝒪_^3(1)`$. La forme quadratique $`q`$ définissant $`𝔾`$ est donnée par le produit extérieur sur $`\mathrm{\Lambda }^2V`$. Nous identifierons $`\mathrm{\Lambda }^2V`$ et $`\mathrm{\Lambda }^2\stackrel{ˇ}{V}`$ grâce à $`q`$. Notons $`K`$ (resp. $`Q`$) le sous-fibré (resp. quotient) tautologique de $`𝔾`$, on a la suite exacte suivante :

$$0K\stackrel{i}{}V𝒪_𝔾\stackrel{\pi }{}Q0$$

###### Remarque 1

. (ı) Le lieu singulier abstrait $`𝚿(S)`$ d’une surface $`S`$ donne des informations sur la géométrie du lieu singulier de $`S`$ : les points pinces de la surface sont exactement les points de $`𝚿(S)C_0`$. Les points triples de $`S`$ ou de sa duale correspondent aux triangles de Poncelet associés à $`𝚿(S)`$. Plus généralement les polygônes de Poncelets à $`n`$ côtés associés à $`𝚿(S)`$ correspondent aux points $`n`$-uples de $`S`$ ou de sa duale (ceux-ci peuvent être définis grâce aux techniques de \[ACGH\] et aux incidences points/diviseurs sur $`^1`$). Enfin, la surface $`S`$ est développable si et seulement si $`𝚿(S)`$ contient la conique $`C_0`$.

(ıı) Un élément $`f\mathrm{Mor}_d(^1,𝔾)`$ définit une surface de $`(V)`$ de la façon suivante : la variété d’incidence points/droites $`𝕀`$ entre $`(V)`$ et $`𝔾`$ est définie au dessus de $`𝔾`$ par $`_𝔾(Q)`$ ($`Q`$ est le fibré quotient tautologique). Ainsi, le pull-back par $`f`$ de $`Q`$ définit un morphisme de la surface réglée $`_^1(f^{}Q)`$ dans $`𝕀`$. Par projection, on obtient une surface rationnelle $`S`$ de degré $`d`$ de $`(V)`$. Si on effectue cette construction pour le fibré $`\stackrel{ˇ}{K}`$ on obtient alors une surface rationnelle $`\stackrel{ˇ}{S}`$ de degré $`d`$ de $`(\stackrel{ˇ}{V})`$ qui est la surface duale de $`S`$. Nous dirons qu’une surface $`S`$ est autoduale si il existe un isomorphisme entre $`(V)`$ et $`(\stackrel{ˇ}{V})`$ qui identifie $`S`$ et $`\stackrel{ˇ}{S}`$.

(ııı) L’action de $`PGL(V)`$ préserve les fibrés tautologiques $`K`$ et $`Q`$ de la grassmannienne. Par contre, l’action de $`PO(q)`$ échange $`Q`$ et $`\stackrel{ˇ}{K}`$. Nous pouvons ainsi caractériser les surfaces autoduales comme étant définies par des morphismes $`f\mathrm{Mor}_d(^1,𝔾)`$ tels que l’orbite de $`f`$ sous $`PO(q)`$ est la même que celle sous $`PSO(q)`$. Nous verrons (proposition 4) que ceci est équivalent à dire, pour une surface assez générale, que la courbe correspondante sur $`𝔾`$ est tracée sur un hyperplan de $`(\mathrm{\Lambda }^2V)`$ non tangent à $`𝔾`$.

## 1 Comparaison de deux morphismes

### 1.1 Une stratification de $`𝐑_d`$

Soit $`f\mathrm{Mor}_d(^1,𝔾)`$, le faisceau $`f^{}Q`$ est localement libre de rang $`2`$ et de degré $`d`$ sur $`^1`$. C’est par définition un quotient de $`V𝒪_^1`$ (grâce à la flèche $`f^{}\pi `$) et il est décomposé. Nous avons donc une identification $`f^{}Q𝒪_^1(a)𝒪_^1(da)`$ avec $`0ad`$. Ceci nous amène à donner la définition suivante :

###### Définition 1

. Un élément $`f\mathrm{Mor}_d(^1,𝔾)`$ est dit de type $`a`$ (avec $`0a[\frac{d}{2}]`$) si $`f^{}Q`$ est isomorphe à $`𝒪_^1(a)𝒪_^1(da)`$. Cette définition est $`PSO(q)`$ et $`PGL_2`$ invariante. Notons $`𝐑_{d,a}`$ (resp. $`𝐑_{d,b}^{}`$) l’ensemble des surfaces paramétrées de type $`a`$ (resp. dont la duale est de type $`b`$).

###### Remarque 2

. (ı) Le type de la duale est déterminé par la décomposition de $`\stackrel{ˇ}{K}`$ (et donc par celle de $`K`$). Cette notion n’est donc pas invariante par dualité.

(ıı) Une surface de $`𝐑_{d\mathrm{,0}}`$ est un cône de degré $`d`$. Les variétés $`𝐑_{d\mathrm{,0}}`$ et $`𝐑_{d\mathrm{,0}}^{}`$ ne sont donc pas contenues dans $`𝐑_d`$ mais adhérentes à $`𝐑_d`$. Ceci nous permet d’affirmer que pour tout élément $`f𝐑_d`$, l’application linéaire $`VH^0(f^{}Q)`$ est injective (sinon la duale est de type nul).

###### Proposition 1

. Dans $`\mathrm{Mor}_d(^1,𝔾)`$, les variétés $`𝐑_{d,a}`$ (resp. $`𝐑_{d,a}^{}`$) sont déterminantielles, de codimension $`d2a1`$ si $`a<\frac{d}{2}`$ et nulle si $`a=\frac{d}{2}`$. Elles forment une stratification. Les deux stratifications sont indépendantes : l’intersection $`𝐑_{d,a}𝐑_{d,b}^{}`$ est de codimension $`2d2(a+b)2`$.

Démonstration: Soit $`f_u`$ le morphisme universel de $`^1\times \mathrm{Mor}_d(^1,𝔾)`$ dans $`𝔾\times \mathrm{Mor}_d(^1,𝔾)`$ (on note $`p`$ et $`q`$ les projections du premier produit et $`p^{}`$ et $`q^{}`$ celles du second), la variété $`𝐑_{d,a}`$ est donnée par le lieu où la flèche de fibrés vectoriels :

$$R^1p_{}(f_u^{}p_{}^{}{}_{}{}^{}Kp^{}𝒪_^1([\frac{d}{2}]1))R^1p_{}(f_u^{}p_{}^{}{}_{}{}^{}Vp^{}𝒪_^1([\frac{d}{2}]1))$$

a un conoyau de dimension $`[\frac{d}{2}]a1`$. Ceci permet de voir que ces variétés forment une stratification de $`\mathrm{Mor}_d(^1,𝔾)`$. De la même façon on a une stratification par le type de la duale. On peut également voir les surfaces de type $`a`$ comme le lieu où la flèche de fibrés vectoriels :

$$R^1p_{}(f_u^{}p_{}^{}{}_{}{}^{}Kp^{}𝒪_^1(a2))R^1p_{}(f_u^{}p_{}^{}{}_{}{}^{}Vp^{}𝒪_^1(a2))$$

a un conoyau de dimension un. Dans ce cas la variété $`𝐑_{d,a}`$ a la codimension attendue comme variété déterminantielle (voir la remarque 3 pour la dimension de $`𝐑_{d,a}`$).

Pour déterminer l’intersection de deux strates de chacune des stratifications, on cherche les points $`f\mathrm{Mor}_d(^1,𝔾)`$ qui correspondent à des surfaces de type $`a`$ dont la duale est de type $`b`$. Ceci revient à dire que l’on a les identifications suivantes : $`f^{}K𝒪_^1(b)𝒪_^1(bd)`$ et $`f^{}Q𝒪_^1(a)𝒪_^1(da)`$. Le “pull-back” de la suite exacte tautologique de $`𝔾`$ à $`^1`$ nous permet de voir $`V𝒪_^1`$ comme un élément de $`\mathrm{Ext}^1(𝒪_^1(a)𝒪_^1(da),𝒪_^1(b)𝒪_^1(bd))`$.

Réciproquement, pour qu’une telle extension convienne, il faut et il suffit que le faisceau $``$ obtenu soit trivial. Ceci se traduit par les égalités $`h^0(1)=h^1(1)=0`$ ou encore par le fait que le morphisme $`S_{a1}S_{da1}S_{b1}S_{db1}`$ obtenu est un isomorphisme. Ceci est le cas pour un ouvert $`U`$ de nos extensions. Regardons alors $`U\times PGL_4`$, nous avons un morphisme de ce produit vers $`𝐑_d`$ : le faisceau $``$ est trivial, un élément de $`PGL_4`$ nous permet d’identifier le faisceau $`𝒪_^1(a)𝒪_^1(da)`$ quotient de $``$ à un quotient de $`V𝒪_^1`$ ce qui nous définit un morphisme $`f`$ de $`^1`$ dans $`𝔾`$. Par définition, le “pull-back” par $`f^{}`$ de la suite exacte tautologique de $`𝔾`$ à $`^1`$ est l’extention de départ. La surface ainsi obtenue est de type $`a`$ et sa duale est de type $`b`$. La fibre de ce morphisme est exactement donné par les orbites sous $`G_a\times G_b`$. Ceci vient du choix d’une identification de $`f^{}K`$ avec $`𝒪_^1(b)𝒪_^1(bd)`$ et de $`f^{}Q`$ avec $`𝒪_^1(a)𝒪_^1(da)`$. Il est facile de vérifier que l’action de $`G_a\times G_b`$ est libre. La codimension de l’image, qui est $`𝐑_{d,a}𝐑_{d,b}^{}`$, est donc $`2d2(a+b)2`$.

Paramétrisation des surfaces de type $`a`$.

Si on a un élément $`f\mathrm{Mor}_d(^1,𝔾)`$ de type $`a`$, alors on peut considérer la flèche sur les sections $`H^0(f^{}\pi ):VH^0(f^{}Q)`$ qui est, après identification de $`H^0(f^{}Q)`$ avec $`S_aS_{da}`$, une application linéaire de $`V`$ dans $`S_aS_{da}`$ (injective si $`f`$ est dans $`𝐑_d`$ d’après la remarque 2). Réciproquement, pour se donner une surface de type $`a`$, il suffit de se donner une application linéaire injective de $`V`$ dans $`S_aS_{da}`$ telle que la flèche $`V𝒪_^1𝒪_^1(a)𝒪_^1(da)`$ soit surjective.

Il est donc naturel de considérer l’ouvert $`𝐅_a`$ de $`\mathrm{Hom}(V,S_aS_{da})`$ des applications linéaires injectives telles que la flèche induite $`V𝒪_^1𝒪_^1(a)𝒪_^1(da)`$ sur les faisceaux soit surjective. L’ensemble des orbites de $`𝐅_a`$ sous $`PGL(V)`$ forme un ouvert $`𝔾r_a`$ de la grassmannienne $`𝔾(4,S_aS_{da})`$. Le groupe $`G_a`$ agit sur $`𝐅_a`$ et sur $`𝔾r_a`$. Un élément de $`𝐅_a`$ définit un quotient localement libre de rang $`2`$ et de degré $`d`$ de $`V𝒪_^1`$ qui correpond à un morphisme de $`^1`$ dans $`𝔾`$. Ceci définit un morphisme $`\mathrm{\Pi }_a`$ de $`𝐅_a`$ dans $`\mathrm{Mor}_d(^1,𝔾)`$.

###### Remarque 3

. (ı) L’image du morphisme $`\mathrm{\Pi }_a`$ est exactement $`𝐑_{d,a}`$. Les fibres de $`\mathrm{\Pi }_a`$ sont les orbites sous l’action de $`G_a`$ : il s’agit du choix de l’identification entre $`f^{}Q`$ et $`𝒪_^1(a)𝒪_^1(da)`$. Il est facile de vérifier que l’action de $`G_a`$ sur $`𝐅_a`$ est libre. La variété $`𝐑_{d,a}`$ est donc irréductible de dimension $`3d+2a+5`$ si $`a<\frac{d}{2}`$ et $`4d+4`$ si $`a=\frac{d}{2}`$. De plus, on peut vérifier que l’action est propre et donc libre, ainsi les variétés $`𝐑_{d,a}`$ et $`𝐑_{d,b}^{}`$ sont lisses (voir \[KO\]).

(ıı) Si on a un morphisme $`u`$ de $`𝐑_d`$ (ou même de $`𝐑_{d,a}`$) vers un schéma $`X`$ tel que $`u`$ est $`PGL(V)`$-invariant alors on a un morphisme $`u_a`$ de $`𝔾r_a`$ dans $`X`$ qui se factorise par $`u`$.

### 1.2 L’espace des modules des surfaces

L’injection canonique de $`𝔾`$ dans $`(\mathrm{\Lambda }^2V)`$ définit par composition une immersion du schéma $`\mathrm{Mor}_d(^1,𝔾)`$ dans $`\mathrm{Mor}_d(^1,(\mathrm{\Lambda }^2V))`$. Ce dernier schéma est l’ouvert des élément $`\psi `$ de l’espace projectif $`(\mathrm{Hom}(\mathrm{\Lambda }^2V,S_d))`$ tels que la flèche $`\stackrel{~}{\psi }:\mathrm{\Lambda }^2V𝒪_^1\stackrel{\psi }{}S_d𝒪_^1𝒪_^1(d)`$ est surjective. Ainsi la variété $`𝐑_d`$ est le localement fermé de $`(\mathrm{Hom}(\mathrm{\Lambda }^2V,S_d))`$ défini par la condition précédente et le fait que le morphisme de $`^1`$ dans $`(\mathrm{\Lambda }^2V)`$ correspondant se factorise par $`𝔾`$.

Nous étudions dans ce paragraphe l’action du groupe $`PGL(V)`$ sur $`(\mathrm{Hom}(\mathrm{\Lambda }^2V,S_d))`$. Nous identifions les points stables et semi-stables pour cette action et montrons qu’il existe un bon quotient de $`𝐑_d`$ par $`PGL(V)`$. Nous l’appelerons “espace des modules des surfaces” et le noterons $`(d)`$. Remarquons que les points stables et semi-stables de $`(\mathrm{Hom}(\mathrm{\Lambda }^2V,S_d))`$ pour l’action de $`PO(q)`$ sont les mêmes que ceux pour l’action de $`PGL(V)`$, le premier étant une extension de degré $`2`$ du second.

###### Proposition 2

. (ı) Un point $`\psi `$ de $`(\mathrm{Hom}(\mathrm{\Lambda }^2V,S_d))`$ est instable si et seulement si il existe un vecteur $`vV`$ ou $`\stackrel{ˇ}{v}\stackrel{ˇ}{V}`$ tels que $`\mathrm{Im}^t\psi `$ est contenu dans $`vV`$ ou dans $`\mathrm{Ker}(\mathrm{\Lambda }^2V\stackrel{\stackrel{~}{v}}{}V)`$$`\stackrel{~}{v}=\stackrel{ˇ}{v}\mathrm{Id}_\mathrm{V}\mathrm{Id}_\mathrm{V}\stackrel{ˇ}{v}`$.

(ıı) Un point $`\psi `$ de $`(\mathrm{Hom}(\mathrm{\Lambda }^2V,S_d))`$ est non stable si et seulement si il existe un vecteur $`z=vw\mathrm{\Lambda }^2V`$ tel que $`\mathrm{Im}^t\psi `$ est contenu dans $`z^{}`$ l’orthogonal de $`z`$ pour la forme quadratique $`q`$.

Démonstration: Considérons une base $`(e_i)_{i[\mathrm{1,4}]}`$ de $`V`$ et un sous-groupe a un paramètre de $`SL(V)`$ diagonalisé dans cette base de telle sorte qu’il agisse avec un poids $`\alpha _i`$ sur $`e_i`$ et que l’on ait $`\alpha _1\alpha _2\alpha _3\alpha _4`$ avec $`\alpha _1+\alpha _2+\alpha _3+\alpha _4=0`$.

Nous pouvons alors vérifier qu’un élément $`x=_{i<j}a_{i,j}e_ie_j`$ avec $`a_{i,j}S_d`$ est instable pour ce sous-groupe si et seulement si $`a_{\mathrm{1,4}}=a_{\mathrm{2,4}}=a_{\mathrm{3,4}}=0`$ ou $`a_{\mathrm{2,3}}=a_{\mathrm{2,4}}=a_{\mathrm{3,4}}=0`$. Ceci est équivalent à dire que $`x`$ est dans $`\mathrm{Ker}(\mathrm{\Lambda }^2V\stackrel{\stackrel{~}{e_4}}{}V)`$ ou dans $`e_1V`$.

De même, l’élément $`x`$ est non stable pour ce sous-groupe si et seulement si $`a_{\mathrm{3,4}}=0`$ ce qui signifie que $`x`$ est dans l’orthogonal de $`e_1e_2`$ pour la forme quadratique $`q`$.

###### Remarque 4

. Nous pouvons traduire géométriquement la proposition précédente. Soit $`f`$ un élément de $`\mathrm{Mor}_d(^1,(\mathrm{\Lambda }^2V))`$, il est instable si et seulement si $`f(^1)`$ est contenu dans un plan isotrope pour $`q`$. Il est non stable si et seulement si $`f(^1)`$ est contenu dans un hyperplan tangent à la grassmannienne.

###### Corollaire 1

. Il existe un bon quotient, noté $`(d)`$, de la variété $`𝐑_d`$. C’est l’espace des modules des surfaces rationnelles réglées paramétrées.

Démonstration: Il suffit de montrer que tous les points de $`𝐑_d`$ sont semi-stables. Mais la remarque précédente nous permet de dire qu’un point $`f𝐑_d`$ est semi-stable si et seulement si la courbe $`f(^1)`$ n’est pas contenue dans un $`(\alpha )`$-plan ou un $`(\beta )`$-plan de $`𝔾`$ ce qui signifie exactement que la surface et sa duale ne sont pas des cônes.

###### Remarque 5

. L’espace des modules $`(d)`$ est normal comme bon quotient d’une variété lisse (voir \[MFK\]). De plus sur l’ouvert des points stables, l’action de $`PGL(V)`$ est libre (voir proposition 4 pour l’étude des orbites) et fermée (\[MFK\] proposition 2.4) donc (\[MFK\] proposition 0.9) la variété $`(d)`$ est lisse sur l’image de l’ouvert des points stables. Elle est donc régulière en codimension $`2d8`$ (voir proposition 4 pour la dimension de l’image des points semi-stables).

### 1.3 Le morphisme vers le lieu singulier

Le lieu singulier d’une surface rationnelle réglée est l’ensemble des points de la surface qui sont sur deux génératrices. Nous définissons maintenant schématiquement le lieu singulier abstrait d’une surface rationnelle réglée paramétrée. Nous utilisons pour ceci les techniques de \[ACGH\] et l’incidence point/diviseur sur $`^1`$. Nous vérifions que c’est une courbe de $`S^2^1`$ sauf si la surface ou sa duale est un cône.

Soit $`f`$ un élément de $`\mathrm{Mor}_d(^1,𝔾)`$, alors $`f^{}\pi `$ est une sujection de $`V𝒪_^1`$ dans $`f^{}Q`$ qui est un faisceau localement libre de rang $`2`$ et de degré $`d`$. Notons $`q`$ et $`p`$ les projections de la variété d’incidence de $`S^2^1\times ^1`$ sur le premier et le second facteur, nous pouvons construire la composée suivante : $`V𝒪_{(S_2)}Vq_{}p^{}𝒪_^1q_{}p^{}(f^{}Q)`$. Soit $`R`$ le conoyau de cette flèche.

###### Définition 2

. Le lieu singulier abstrait de $`f\mathrm{Mor}_d(^1,𝔾)`$ est le $`0^{\mathrm{i}\stackrel{`}{\mathrm{e}}\mathrm{me}}`$ idéal de Fitting du faisceau $`R`$ défini ci-dessus. Ensemblistement, il correspond aux paires de génératrices qui se rencontrent, on le note $`𝚿(f)`$.

###### Lemme 1

. Soit $`f\mathrm{Mor}_d(^1,𝔾)`$, le schéma $`𝚿(f)`$ est une courbe de degré $`d2`$ si et seulement si $`f`$ est dans $`𝐑_d`$. L’application $`𝚿`$ ainsi définie sur $`𝐑_d`$ est $`PO(q)`$-invariante et à valeurs dans $`(S^{d2}S_2)`$, la variété des courbes de degré $`d2`$ de $`(S_2)`$.

Démonstration: Le lieu singulier abstrait est une variété déterminantielle, il est donc vide ou de codimension au plus $`1`$. Il ne peut être vide si le degré de la surface est au moins $`3`$ et si il est de codimension nulle, ceci signifie que toutes les génératrices de la surface se rencontrent. Ceci n’est possible que si la surface ou sa duale est un cône.

Le faisceau $`R`$ admet la résolution suivante :

$$H^0(f^{}Q(2))𝒪_{(S_2)}(1)\stackrel{A}{}(H^0(f^{}Q)/V)𝒪_{(S_2)}R0$$

Ainsi le lieu singulier abstrait est une courbe de degré $`d2`$ sur $`(S_2)`$ pour tout $`f𝐑_d`$ et son équation est donnée par le déterminant de $`A`$.

Pour montrer l’invariance sous $`PO(q)`$ il suffit de prouver l’invariance par dualité et par $`PSO(q)PGL(V)`$. L’invariance sous $`PGL(V)`$ est évidente car le lieu singulier abstrait ne dépend que de l’image de $`V`$ dans $`H^0(f^{}Q)`$. Pour l’invariance par dualité, on dualise la suite exacte précédente :

$$0(H^0(f^{}Q)/V\stackrel{ˇ}{)}𝒪_{(S_2)}(1)H^0(f^{}Q(2)\stackrel{ˇ}{)}𝒪_{(S_2)}\mathrm{𝐄𝐱𝐭}^1(R(1),𝒪_{(S_2)})0$$

En tenant compte des isomorphismes donnés par la dualité de Serre entre $`(H^0(f^{}Q)/V\stackrel{ˇ}{)}`$ et $`H^0(f^{}\stackrel{ˇ}{K}(2))`$ et entre $`H^0(f^{}Q(2)\stackrel{ˇ}{)}`$ et $`H^0(f^{}\stackrel{ˇ}{K})/\stackrel{ˇ}{V}`$, on voit que la flèche définissant le lieu singulier de la duale est la transposée de $`A`$. Ainsi son déterminant est le même. Cette application est donc invariante sous l’action de $`PO(q)`$.

###### Proposition 3

. L’application $`𝚿`$ se factorise par $`𝔾r_a`$ au dessus de $`𝐑_{d,a}`$, le morphisme $`𝚿_a`$ ainsi obtenu est $`PGL_2`$-linéaire pour le plongement de Plücker de $`𝔾r_a`$ dans $`(\mathrm{\Lambda }^4(S_aS_{da}))`$.

Démonstration: Le morphisme $`𝚿`$ est invariant sous $`PGL(V)`$ il se factorise donc par $`𝔾r_a`$ au dessus de $`𝐑_{d,a}`$ (remarque 3). Sur $`𝔾r_a\times (S_2)`$ le morphisme $`𝚿_a`$ est donné par le déterminant de l’application suivante (on note $`𝒱`$ le sous-fibré tautologique et $`\mathrm{pr}_1`$ et $`\mathrm{pr}_2`$ les projections sur le premier et le second facteur) :

$$(S_{a2}S_{da2})\mathrm{pr}_{2}^{}{}_{}{}^{}𝒪_{(S_2)}((S_aS_{da})/\mathrm{pr}_{1}^{}{}_{}{}^{}𝒱)\mathrm{pr}_{2}^{}{}_{}{}^{}𝒪_{(S_2)}(1)$$

il est donc donné par le produit extérieur d’ordre $`d2`$ puis par projection sur $`𝔾r_a`$ par :

$$𝒪_{𝔾r_a}(\mathrm{\Lambda }^4𝒱\stackrel{ˇ}{)}S^{d2}S_2$$

Le morphisme $`𝚿_a`$ est donc bien linéaire car $`(\mathrm{\Lambda }^4𝒱\stackrel{ˇ}{)}`$ est de degré $`1`$ pour le plongement de Plücker.

###### Remarque 6

. Le morphisme $`𝚿`$ se factorise par $`(d)`$. Le morphisme induit de $`(d)`$ vers $`(S^{d2}S_2)`$ est compatible avec l’action de $`PGL_2`$. Nous décrirons géométriquement ses fibres pour les surfaces de degré $`5`$ (voir proposition 14).

### 1.4 Le morphisme $`\mathrm{\Phi }`$

Nous construisons maintenant un second $`PGL_2`$-morphisme $`\mathrm{\Phi }`$ de $`𝐑_d`$ dans $`(S^{d2}S_2)`$ qui sera plus facile à étudier que $`𝚿`$. Nous calculerons ses fibres et le degré de son image. Le morphisme $`\mathrm{\Phi }`$ sera encore invariant sous $`PO(q)`$. Nous montrerons que c’est le bon quotient de $`𝐑_d`$ sous $`PO(q)`$.

Nous définissons le morphisme $`\mathrm{\Phi }`$ sur tout l’espace projectif $`(\mathrm{Hom}(\mathrm{\Lambda }^2V,S_d))`$. Rappelons que l’on a les inclusions $`𝐑_d\mathrm{Mor}_d(^1,(\mathrm{\Lambda }^2V))(\mathrm{Hom}(\mathrm{\Lambda }^2V,S_d))`$. La seconde est donnée de la façon suivante : si on a un élément $`f\mathrm{Mor}_d(^1,(\mathrm{\Lambda }^2V))`$, il se décompose en

* une partie canonique : le plongement de Veronese $`^1(S_d)`$ (défini par $`xx^d`$) et dont l’image est $`C_d`$ la courbe rationnelle normale (invariante sous $`PGL_2`$).
* une projection de $`(S_d)(\mathrm{\Lambda }^2V)`$ qui est donnée par un élément $`\psi (\mathrm{Hom}(\mathrm{\Lambda }^2V,S_d))`$.

L’application linéaire $`\psi `$ est définie par les sections de la surjection $`\stackrel{~}{\psi }:\mathrm{\Lambda }^2V𝒪_^1𝒪_^1(d)`$. Réciproquement un élément de $`(\mathrm{Hom}(\mathrm{\Lambda }^2V,S_d))`$ définit un morphisme de degré $`d`$ de $`^1`$ dans $`𝔾`$ si et seulement si l’application $`\stackrel{~}{\psi }`$ ci-dessus induite sur les faisceaux est surjective.

Notons $`(S^2S_d)`$ l’ensemble des formes quadratiques sur $`S_d`$. Un élément $`\psi `$ de l’espace projectif $`(\mathrm{Hom}(\mathrm{\Lambda }^2V,S_d))`$ définit une projection $`(S_d)(\mathrm{\Lambda }^2V)`$. Si on “remonte” la forme quadratique $`q`$ par cette projection, on obtient une forme quadratique de rang inferieur ou égal à $`6`$ sur $`S_d`$. Nous définissons ainsi le $`PGL_2`$-morphisme suivant :

$$\mathrm{\Phi }:\mathrm{Hom}(\mathrm{\Lambda }^2V,S_d)(S^2S_d)$$

$$\psi \psi q^t\psi $$

L’application $`\mathrm{\Phi }`$ est définie en dehors du fermé de $`\mathrm{Hom}(\mathrm{\Lambda }^2V,S_d)`$ des $`\psi `$ tels que l’image de$`{}_{}{}^{t}\psi `$ est contenue dans un sous-espace totalement isotrope de $`\mathrm{\Lambda }^2V`$. Ainsi $`\mathrm{\Phi }`$ est définie sur l’ouvert des points semi-stables (voir proposition 2) et donc sur $`𝐑_d`$ tout entier.

###### Remarque 7

. (ı) Soit $`f\mathrm{Mor}_d(^1,(\mathrm{\Lambda }^2V))`$. En tant que quadrique, la forme quadratique $`\mathrm{\Phi }(f)`$ contient la courbe rationnelle normale $`C_d`$ si et seulement si la courbe $`f(^1)`$ était tracée sur $`𝔾`$. En effet, l’image de la quadrique $`\mathrm{\Phi }(f)`$ par la projection $`(S_d)(\mathrm{\Lambda }^2V)`$ est exactement $`𝔾`$ alors que celle de $`C_d`$ est $`f(^1)`$.

(ıı) L’image de $`𝐑_d`$ par $`\mathrm{\Phi }`$ est donc contenue dans l’ensemble des quadriques de $`(S_d)`$ contenant la courbe rationnelle normale $`C_d`$, c’est l’espace projectif $`(H^0_{C_d}(2))`$. Mais l’espace vectoriel $`H^0_{C_d}(2)`$ est le noyau de $`H^0𝒪_{(S_d)}(2)H^0𝒪_{C_d}(2)`$ et s’identifie à $`S^2S_{d2}`$. La loi de réciprocité de Hermite (voir \[SP\]) nous permet d’identifier $`S^2S_{d2}`$ à $`S^{d2}S_2`$. Ainsi, le morphisme $`\mathrm{\Phi }`$ défini sur $`𝐑_d`$ est à valeur dans $`(S^{d2}S_2)`$ l’espace des courbes de degré $`d2`$ de $`(S_2)`$.

Nous allons montrer au théorème 1 que ce morphisme est le même que $`𝚿`$. L’égalité de $`𝚿`$ et de $`\mathrm{\Phi }`$ nous permettra de déterminer les fibres de $`𝚿`$ (cf. théorème 2) et le degré de son image ainsi que celui de certaines sous-variétés particulières de cette image (cf. Théorème 4).

Notons $`𝐐_k`$ le localement fermé de $`(S^2S_d)`$ des formes quadratiques de rang exactement $`k`$. Le fermé des formes quadratiques qui contiennent la courbe rationnelle normale $`C_d`$ est une sous-variété linéaire de $`(S^2S_d)`$ isomorphe à $`(S^{d2}S_2)`$ (voir remarque 7), notons $`𝐪_k`$ l’intersection de $`𝐐_k`$ et de ce sous-espace linéaire. Remarquons que $`𝐪_3`$ est fermé car $`\overline{𝐪}_2`$ est vide. En effet, il n’y a pas de forme quadratique de rang au plus $`2`$ contenant $`C_d`$ sinon cette dernière serait contenue dans un hyperplan. Notons enfin $`𝐑_d^k`$ les images réciproques des $`𝐪_k`$.

###### Lemme 2

. L’application $`\mathrm{\Phi }`$ est définie sur les points semi-stables de $`\mathrm{Hom}(\mathrm{\Lambda }^2V,S_d)`$, elle invariante sous l’action de $`PO(q)`$ et son image est $`\overline{𝐐}_6`$.

La restriction de $`\mathrm{\Phi }`$ à $`\overline{𝐑_d}`$ est définie en dehors des fermés $`\overline{𝐑_{d\mathrm{,0}}}`$ et $`\overline{𝐑_{d\mathrm{,0}}^{}}`$ et son image est $`\overline{𝐪}_6`$. On a $`\mathrm{\Phi }^1(\mathrm{\Phi }(\overline{𝐑_d}))=\overline{𝐑_d}`$ ce qui signifie que les fibres de $`\mathrm{\Phi }|_{\overline{R_d}}`$ sont les mêmes que celles de $`\mathrm{\Phi }`$ sur tout l’espace $`\mathrm{Hom}(\mathrm{\Lambda }^2V,S_d)`$.

L’application $`\mathrm{\Phi }`$ se factorise sur $`𝔾r_a`$ en un morphisme linéaire pour le plongement de Plücker.

Démonstration: Nous avons déjà vu que $`\mathrm{\Phi }`$ est définie sur les points semi-stables. Elle est évidement $`PO(q)`$-invariante. L’image de $`(\mathrm{Hom}(\mathrm{\Lambda }^2V,S_d))`$ est contenue dans le fermé des formes quadratiques de rang inférieur ou égal à $`6`$. Réciproquement, si $`w`$ est une telle forme quadratique, son noyau $`\mathrm{Ker}w`$ est de codimension au plus $`6`$. Soit $`N=\stackrel{ˇ}{S}_d/\mathrm{Ker}w`$, c’est un espace vectoriel de dimension au plus 6 muni d’une forme quadratique non dégénérée. Si on se donne une isométrie injective $`i`$ de $`N`$ dans $`\mathrm{\Lambda }^2\stackrel{ˇ}{V}`$, on construit grâce à la composée $`\stackrel{ˇ}{S}_dN\stackrel{i}{}\mathrm{\Lambda }^2\stackrel{ˇ}{V}`$ la transposée d’un élément de la fibre.

Nous nous contentons pour le moment de vérifier que $`\overline{𝐑_{d\mathrm{,0}}}`$ et $`\overline{𝐑_{d\mathrm{,0}}^{}}`$ sont dans le lieu base de $`\mathrm{\Phi }`$. Nous vérifierons au moment de la compactification de $`𝐑_d`$ (remarque 9) que le lieu base de $`\mathrm{\Phi }`$ sur $`\overline{𝐑_d}`$ est exactement donné par $`\overline{𝐑_{d\mathrm{,0}}}\overline{𝐑_{d\mathrm{,0}}^{}}`$. L’application $`\mathrm{\Phi }`$ n’est pas définie sur le lieu des points instables qui contient $`𝐑_{d\mathrm{,0}}𝐑_{d\mathrm{,0}}^{}`$ (voir corollaire 1) et donc son adhérence.

Un élément de $`𝐑_d`$ est donné par une application linéaire $`\psi `$ de $`\mathrm{\Lambda }^2V`$ dans $`S_d`$ telle que le morphisme $`\stackrel{~}{\psi }:\mathrm{\Lambda }^2V𝒪_^1𝒪_^1(d)`$ est surjectif et que la composée

$$𝒪_^1(d)\stackrel{{}_{}{}^{t}\psi }{}\mathrm{\Lambda }^2\stackrel{ˇ}{V}𝒪_^1\stackrel{q}{}\mathrm{\Lambda }^2V𝒪_^1\stackrel{\psi }{}𝒪_^1(d)$$

est nulle. L’adhérence de $`𝐑_d`$ est donc donnée par la seconde condition. Par $`\mathrm{\Phi }`$ on obtient alors le sous-schéma de $`\overline{𝐐}_6`$ des formes quadratiques $`w`$ qui vérifient que la composée

$$𝒪_^1(d)S_d𝒪_^1\stackrel{w}{}S_d𝒪_^1𝒪_^1(d)$$

est nulle. C’est exactement $`\overline{𝐪}_6`$. Les fibres de la restriction de $`\mathrm{\Phi }`$ à $`\overline{𝐑_d}`$ sont les mêmes que celles de $`\mathrm{\Phi }`$. En effet, la condition “la courbe est dans $`𝔾`$” se traduit exactement par le fait que la quadrique image contient $`C_d`$ ce qui se voit sur l’image.

Il nous reste à montrer que l’application induite sur $`𝔾r_a`$ (par invariance sous $`PGL(V)`$) est linéaire pour le plongement de Plücker. Si $`𝒱`$ est le sous-fibré tautologique et $`\psi _u`$ est le morphisme universel de $`\mathrm{\Lambda }^2𝒱`$ dans $`S_d𝒪_{𝔾r_a}`$, le morphisme $`\mathrm{\Phi }`$ est défini de la façon suivante :

$$\mathrm{\Lambda }^4𝒱\stackrel{q}{}S^2(\mathrm{\Lambda }^2𝒱)\stackrel{s^2\psi _u}{}S^2S_d𝒪_{𝔾r_a}$$

qui est bien linéaire pour le plongement de Plücker car $`\mathrm{\Lambda }^4𝒱`$ est de degré $`1`$.

###### Proposition 4

. Les fibres de $`\mathrm{\Phi }`$ sont isomorphes à $`PO(q)`$ au dessus de $`𝐐_6`$ et $`PSO(q)`$ au dessus de $`𝐐_5`$. Dans ces deux cas la fibre est une orbite fermée sous $`PO(q)`$. Au dessus de $`𝐐_4`$, les fibres de $`\mathrm{\Phi }`$ ont deux composantes irréductibles de dimension $`d+11`$ qui se coupent en un fermé de dimension $`14`$ qui est l’unique orbite fermée de cette fibre. Au dessus de $`𝐐_3`$, elles sont irréductibles de dimension $`d+11`$ et contiennent une unique orbite fermée de dimension $`12`$.

L’image de $`𝐑_d`$ est exactement $`\overline{𝐪}_6`$.

Démonstration: Si $`G`$ est un sous-groupe d’un groupe linéaire, on note $`PG`$ le quotient du groupe $`G`$ par les homothéties.

Soit $`w`$ une forme quadratique de $`S_d`$. Si $`\psi \mathrm{\Phi }^1(w)`$, alors $`\mathrm{Ker}^t\psi `$ est inclus dans $`\mathrm{Ker}w`$. Notons $`I(\psi )=^t\psi (\mathrm{Ker}w)`$ qui est un sous-espace vectoriel isotrope de $`\mathrm{\Lambda }^2V`$ et $`N(w)`$ l’espace $`S_d/\mathrm{Ker}(w)`$ (qui est muni d’une forme quadratique non dégénérée induite par $`w`$). La suite exacte :

$$0I(\psi )\mathrm{Im}^t\psi N(w)0$$

impose que $`I(\psi )`$ est exactement le noyau de la restriction de $`q`$ à $`\mathrm{Im}(^t\psi )`$. Ainsi, $`\mathrm{Im}(^t\psi )`$ est nécessairement contenu dans $`I(\psi )^{}`$. Les rangs $`r(w)`$ et $`r(\psi )`$ de $`w`$ et $`\psi `$ et la dimension $`i(\psi )`$ de $`I(\psi )`$ vérifient les deux conditions suivantes :

$$r(\psi )=r(w)+i(\psi )\mathrm{et}r(\psi )6i(\psi )$$

Une fois fixés les entiers $`r(\psi )`$ et $`i(\psi )`$ vérifiant ces conditions, la fibre au dessus de $`w`$ est donnée par les choix suivants : un sous-espace vectoriel $`\mathrm{Ker}^t\psi `$ de $`\mathrm{Ker}w`$ de codimension $`i(\psi )`$ ; un sous-espace $`\mathrm{Im}(^t\psi )`$ de dimension $`r(\psi )`$ de $`\mathrm{\Lambda }^2V\stackrel{ˇ}{}`$ tel que la restriction de la forme quadratique $`q`$ a pour noyau $`I(\psi )`$ un espace de dimension $`i(\psi )`$ ; une isométrie à homothétie près de $`S_d/\mathrm{Ker}(^t\psi )`$ dans $`\mathrm{Im}(^t\psi )`$. Le groupe $`PO(q)`$ agit transitivement sur les couples formés d’objets des deux derniers types.

Les valeurs de $`r(w)`$, $`r(\psi )`$ et $`i(\psi )`$ possibles sont alors (on se contente des cas $`r(w)3`$) :

* si $`r(w)=6`$, alors $`r(\psi )=6`$ et $`i(\psi )=0`$
* si $`r(w)=5`$, alors $`r(\psi )=5`$ et $`i(\psi )=0`$
* si $`r(w)=4`$, alors $`r(\psi )=5`$ et $`i(\psi )=1`$ ou $`r(\psi )=4`$ et $`i(\psi )=0`$
* si $`r(w)=3`$, alors $`r(\psi )=4`$ et $`i(\psi )=1`$ ou $`r(\psi )=3`$ et $`i(\psi )=0`$.

On commence par traiter les cas où $`i(\psi )`$ est nul. Dans ce cas, la fibre est donnée par un sous-espace $`\mathrm{Im}(^t\psi )`$ de $`\mathrm{\Lambda }^2V\stackrel{ˇ}{}`$ de dimension $`r(w)`$ tel que la restriction de la forme quadratique $`q`$ est non dégénérée et une isométrie de $`S_d/\mathrm{Ker}(w)`$ dans $`\mathrm{Im}(^t\psi )`$. Le théorème de Witt nous permet de dire que tous les sous-espaces $`\mathrm{Im}(^t\psi )`$ sont conjugués sous $`PO(q)`$, la fibre est ainsi une orbite sous ce groupe. Elle est toujours fermée. Le stabilisateur est alors $`PO(\mathrm{Im}(^t\psi )^{})`$. Ceci décrit les cas de rang $`5`$ et $`6`$ et les fermés de dimensions $`14`$ et $`12`$ des cas de rang $`4`$ et $`3`$. Dans le cas où la forme quadratique est de rang $`5`$, la fibre est isomorphe à $`PSO(q)`$ est c’est une orbite sous $`PO(q)`$. Les actions de $`PO(q)`$ et de $`PSO(q)`$ pour les points de $`\mathrm{\Phi }^1(𝐐_5)`$ sont les mêmes ce qui signifie que les surfaces de $`𝐑_d^5`$ sont autoduales. Ces courbes sont exactement les courbes tracées sur un hyperplan régulier (non tangent à la quadrique) de $`(\mathrm{\Lambda }^2V)`$. De même sur les deux fermés de dimensions 14 et 12, l’action de $`PSO(q)`$ est la même que celle de $`PO(q)`$ ainsi ces surfaces sont autoduales.

Si $`i(\psi )`$ vaut $`1`$ (dans les cas $`r(w)=4`$ ou $`r(w)=3`$), la fibre est alors donnée par le choix d’un hyperplan de $`\mathrm{Ker}w`$ (c’est $`(\mathrm{Ker}w)`$ qui est de dimension $`d4`$ ou $`d3`$), le choix d’un sous-espace $`W`$ de dimension $`5`$ ou $`4`$ de $`\mathrm{\Lambda }^2V\stackrel{ˇ}{}`$ tel que la restriction de la forme quadratique $`q`$ à $`W`$ a un noyau de dimension $`1`$ (ce choix correspond à $`PO(q)/\mathrm{Stab}(W)`$ qui est de dimension $`4`$ ou $`7`$) et le choix d’une isométrie à homothétie près (c’est $`PO(W)`$ qui est isomorphe à $`PO(4)\times ^{}\times ^4`$ ou $`PO(3)\times ^{}\times ^3`$ et est de dimension $`11`$ ou $`7`$). On peut remarquer qu’une fois le choix de l’élément de $`(\mathrm{Ker}w)`$ réalisé, la fibre est une orbite sous $`PO(q)`$. En effet, pour $`r(w)=4`$, on a $`PO(W)=\mathrm{Stab}(W)`$ donc la fibre est isomorphe à $`(\mathrm{Ker}w)\times PO(q)`$ et a deux composantes connexes de dimension $`d+11`$. Dans le cas $`r(w)=3`$, on a l’égalité $`\mathrm{Stab}(W)=PO(W)\times ^{PO(W)PO(W^{})}PO(W^{})`$$`PO(W^{})=^{}\times \times \{\mathrm{Id},\sigma _H\}`$$`H`$ est un hyperplan contenant $`W`$ et $`PO(W)PO(W^{})=^{}`$. On voit alors que la fibre est isomorphe à $`(\mathrm{Ker}w)\times (PO(q)/\times \{\mathrm{Id},\sigma _H\})`$. Le sous-groupe $`\times \{\mathrm{Id},\sigma _H\}`$ de $`PO(W^{})`$ est formé des éléments dont la restriction à $`I(\psi )`$ est l’identité. On voit ainsi que la fibre est isomorphe à $`(\mathrm{Ker}w)\times PSO(q)/`$ et qu’elle est irréductible de dimension $`d+11`$.

Il reste à vérifier que les parties correspondant à $`i(\psi )`$ nul sont adhérentes à celles où $`i(\psi )=1`$. Pour le voir, on choisit $`w`$ de rang $`4`$ ou $`3`$ et $`\psi \mathrm{\Phi }^1(w)`$ tel que $`i(\psi )=0`$ et on construit une déformation $`\psi _t`$ d’élément tels que $`i(\psi _t)`$ est non nul qui tend vers $`\psi `$ quand $`t`$ tend vers $`0`$. L’application $`\psi `$ est donnée par une injection $`\psi :N(w)\mathrm{\Lambda }^2V`$. Soit $`K`$ un hyperplan de $`\mathrm{Ker}(w)`$ et $`N=S_d/K`$. Soit $`I`$ le noyau de dimension $`1`$ de $`NN(w)`$, $`x`$ un générateur de $`I`$ et $`y`$ un élément isotrope de $`(\psi (N(w)))^{}`$, on définit l’application $`\psi _t`$ sur $`N=IN(w)`$ par $`\psi _t|_{N(w)}=\psi `$ et $`\psi _t(x)=ty`$. Elle convient.

Dans le cas $`r(w)=3`$ et $`i(\psi )=0`$, le noyau $`\mathrm{Ker}(^t\psi )=\mathrm{Ker}w`$ rencontre la courbe rationnelle normale $`C_d`$ en $`d2x`$ points et se projette sur une conique avec multiplicité $`x`$. Ainsi, la courbe image est de degré $`2x`$. On est plus dans $`𝐑_d`$ sauf si $`d`$ est pair et $`x=[\frac{d}{2}]`$. On verra au paragraphe 2.2 que les autres cas sont adhérents à $`𝐑_d`$. Si par contre $`i(\psi )=1`$, alors on peut trouver un élément $`\psi `$ qui nous donne une courbe de degré $`d`$. De même, au dessus des formes quadratiques de rang $`4`$, $`5`$ et $`6`$, on peut trouver des éléments de $`𝐑_d`$. Pour ceci, il suffit de choisir un sous-espace $`\mathrm{Ker}^t\psi `$ de $`\mathrm{Ker}w`$ ne rencontrant pas $`C_d`$. On voit ainsi que $`𝐪_i`$ est l’image de $`𝐑_d^i`$.

###### Remarque 8

. (ı) Les surfaces de $`𝐑_d^5`$ correspondent aux courbes tracées sur un hyperplan non tangent à $`𝔾`$. Les surfaces de $`𝐑_d^4`$ correspondent aux courbes tracées sur un hyperplan tangent à $`𝔾`$ (cas général) ou à celles tracées sur un espace projectif de dimension $`3`$ de $`(\mathrm{\Lambda }^2V)`$ (fermé de codimension $`d3`$). Enfin, les surfaces de $`𝐑_d^3`$ correspondent aux courbes tracées sur un espace projectif de dimension $`3`$ tangent à $`𝔾`$.

(ıı) Les fibres de l’application de $`(d)`$ vers $`(S^2S_d)`$ déduite de $`\mathrm{\Phi }`$ sont formées par deux points au dessus de $`𝐪_6`$, un seul point au dessus de $`\overline{𝐪_5}`$.

###### Proposition 5

. Le morphisme $`\mathrm{\Phi }`$ est le bon quotient de l’ouvert des points semi-stables de $`(\mathrm{Hom}(\mathrm{\Lambda }^2V,S_d))`$ par $`PO(q)`$. En particulier, le morphisme $`\mathrm{\Phi }`$ resteint à $`𝐑_d`$ est un bon quotient pour l’action de $`PO(q)`$.

Démonstration: Les points stables et semi-stables de $`(\mathrm{Hom}(\mathrm{\Lambda }^2V,S_d))`$ pour l’action de $`PO(q)`$ sont les mêmes que ceux pour l’action de $`PGL(V)`$. Ils sont décrits à la proposition 2. Ainsi l’ouvert de définition de $`\mathrm{\Phi }`$ est exactement l’ouvert des points semi-stables. Par ailleurs $`\mathrm{\Phi }`$ est $`PO(q)`$ invariant donc il se factorise par le bon quotient sur cet ouvert. Enfin, l’image de $`\mathrm{\Phi }`$ est $`\overline{𝐐}_6`$ qui est de cohen-macaulay et lisse en dehors de $`\overline{𝐐}_5`$ (voir \[ACGH\]). Elle est donc régulière en codimension $`d5`$ et donc en codimension $`1`$ pour $`d6`$ (pour $`d5`$ elle est lisse). Le critère de Serre nous permet de dire que $`\overline{𝐐}_6`$ est normale. Par ailleurs, la proposition 4 nous dit qu’il y a une unique orbite fermée dans chaque fibre de $`\mathrm{\Phi }`$. Ainsi le morphisme du quotient $`(\mathrm{Hom}(\mathrm{\Lambda }^2V,S_d))^{ss}/PO(q)`$ vers $`\overline{𝐐}_6`$ est une bijection ensembliste. La normalité de $`\overline{𝐐}_6`$ nous permet d’appliquer le théorème principal de Zariski pour affirmer que c’est un isomorphisme.

###### Corollaire 2

. La variété $`\overline{𝐪}_6`$ est normale régulière en codimension $`d5`$.

Démonstration: Nous savons que $`\overline{𝐪}_6`$ est l’image de $`\mathrm{\Phi }`$ par $`𝐑_d`$. C’est donc le bon quotient d’une variété lisse d’où la normalité. Par ailleurs, sur l’ouvert $`𝐑_d^6`$, l’action est propre (les points sont stables) et libre (proposition 4). Ainsi la variété $`𝐪_6`$ est lisse et son complémentaire $`\overline{𝐪}_5`$ qui est donc exactement le lieu singulier de $`\overline{𝐪}_6`$ est en codimension $`d4`$.

### 1.5 Comparaison des deux morphismes

Nous montrons dans ce paragraphe le théorème suivant :

###### Théorème 1

. Les morphismes $`𝚿`$ et $`\mathrm{\Phi }`$ sont égaux.

Le principe de la démonstration est d’étudier les applications linéaires $`\mathrm{\Phi }_a`$ et $`𝚿_a`$ de $`𝔾r_a`$ dans $`(S^{d2}S_2)`$. Elles se prolongent sur le plongement de Plücker en deux applications $`PGL_2`$-linéaires que nous notons encore $`\mathrm{\Phi }_a`$ et $`𝚿_a`$ de $`\mathrm{\Lambda }^4(S_aS_{da})`$ dans $`S^{d2}S_2`$. Il suffit de vérifier qu’elles correspondent au même quotient.

Nous étudions ces morphismes sur la strate minimale (celle des surfaces de type $`1`$) et nous montrons qu’ils coïncident : les deux morphismes se factorisent par $`\mathrm{\Lambda }^2S_{d1}\mathrm{\Lambda }^2S_1`$.

Nous montrons ensuite que si $`𝚿`$ et $`\mathrm{\Phi }`$ coincident sur cette strate alors ils sont égaux. Par par dualité, les morphismes $`\mathrm{\Phi }`$ et $`𝚿`$ sont égaux sur les surfaces dont la duale est de type $`1`$. Par linéarité il suffit de montrer que la strate des surfaces dont la duale est de type $`1`$ engendre tout l’espace vectoriel.

###### Lemme 3

. Les morphismes $`𝚿_1`$ et $`\mathrm{\Phi }_1`$ sont égaux, ils correspondent à la projection canonique de $`\mathrm{\Lambda }^4(S_1S_{d1})`$ vers $`\mathrm{\Lambda }^2S_{d1}\mathrm{\Lambda }^2S_1`$.

Démonstration: Nous commençons par étudier $`𝚿_a`$ : considérons le morphisme :

$$(S_{a2}S_{da2})𝒪_{(S_2)}\stackrel{m}{}(S_aS_{da})𝒪_{(S_2)}(2)$$

produit des deux multiplications. Le morphisme $`𝚿`$ est donné par $`H^0(\mathrm{\Lambda }^{d2}m)`$. Il est donc défini par le produit tensoriel des deux applications $`SL_2`$-linéaires $`\mathrm{\Lambda }^{a1}S_{a2}\mathrm{\Lambda }^{a1}S_aS^{a1}S_2`$ et $`\mathrm{\Lambda }^{da1}S_{da2}\mathrm{\Lambda }^{da1}S_{da}S^{da1}S_2`$ Nous pouvons donc écrire $`𝚿_a`$ comme étant l’application linéaire suivante (en tenant compte des isomorphismes entre $`\mathrm{\Lambda }^{k+1}S_n`$ et $`\mathrm{\Lambda }^{nk}\stackrel{ˇ}{S}_n`$) :

$$\mathrm{\Lambda }^4(S_aS_{da})\mathrm{\Lambda }^2S_a\mathrm{\Lambda }^2S_{da}S^{d2}S_2$$

Étudions maintenant $`\mathrm{\Phi }_a`$ : si on a une application $`\phi `$ de $`V`$ vers $`S_aS_{da}`$ alors la flèche de $`\mathrm{\Lambda }^2V`$ vers $`S_d`$ est donnée par l’application $`\pi :\mathrm{\Lambda }^2(S_aS_{da})S_aS_{da}S_d`$ composée avec $`\mathrm{\Lambda }^2\phi `$. Ainsi, le morphisme$`\mathrm{\Phi }_a`$ est donné par

$$\mathrm{\Lambda }^4(S_aS_{da})\stackrel{{}_{}{}^{t}\alpha }{}S^2(\mathrm{\Lambda }^2(S_aS_{da}))S^2(S_aS_{da})S^2S_d$$

Mais le morphisme $`S^2(S_aS_{da})\mathrm{\Lambda }^4(S_aS_{da})`$ se factorise par $`\mathrm{\Lambda }^2S_a\mathrm{\Lambda }^2S_{da}`$ :

$$\left(\underset{i}{}(x_iy_i)\right).\left(\underset{j}{}(x_j^{}y_j^{})\right)\underset{i,j}{}(x_ix_j^{}\mathrm{,0})(0,y_iy_j^{})$$

Cette flèche de $`\mathrm{\Lambda }^4(S_aS_{da})`$ dans $`\mathrm{\Lambda }^2S_a\mathrm{\Lambda }^2S_{da}`$ est la même que celle de $`𝚿_a`$. Il nous suffit de vérifier que les deux applications $`SL_2`$-linéaires de $`\mathrm{\Lambda }^2S_a\mathrm{\Lambda }^2S_{da}`$ dans $`S^{d2}S_2`$ sont les mêmes.

Mais dans le cas $`a=1`$, le terme $`\mathrm{\Lambda }^2S_{d1}\mathrm{\Lambda }^2S_1`$ est isomorphe à $`S^{d2}S_2`$ et à $`S^2S_{d2}`$. Ainsi dans ce cas les deux morphismes correspondent au quotient $`\mathrm{\Lambda }^4(S_1S_{d1})\mathrm{\Lambda }^2S_1\mathrm{\Lambda }^2S_{d1}`$ et après identification de $`S^{d2}S_2`$ et $`S^2S_{d2}`$ à $`\mathrm{\Lambda }^2S_{d1}`$ on a l’égalité entre $`𝚿_1`$ et $`\mathrm{\Phi }_1`$.

Les morphismes $`𝚿`$ et $`\mathrm{\Phi }`$ étant invariants par dualité nous savons qu’ils coïncident sur le fermé de $`𝔾r_{[\frac{d}{2}]}`$ des surfaces de type général dont la duale est de type $`1`$. Mais $`𝚿_{[\frac{d}{2}]}`$ et $`\mathrm{\Phi }_{[\frac{d}{2}]}`$ sont linéaires pour le plongement de Plücker de $`𝔾r_{[\frac{d}{2}]}`$, il suffit donc de montrer que ce fermé n’est pas contenu dans un hyperplan et est réduit. La proposition suivante nous permet de conclure :

###### Proposition 6

. Les surfaces de type général dont la duale est de type $`1`$ ne sont pas sur un hyperplan du plongement de Plücker de $`𝔾r_{[\frac{d}{2}]}`$ et forment un schéma réduit.

Démonstration: Nous savons que cette sous-variété est déterminantielle (proposition 1). Nous pouvons donc calculer la résolution de son idéal grâce au complexe d’Eagon-Northcott associé. En effet, la variété est donnée par la non surjectivité de la flèche suivante sur $`𝔾r_{[\frac{d}{2}]}`$ (nous avons noté $`𝒱`$ le sous-fibré tautologique de $`𝔾r_{[\frac{d}{2}]}`$) :

$$𝒱S_{d3}(S_{[\frac{d}{2}]+d3}S_{2d[\frac{d}{2}]3})𝒪_{𝔾r_{[\frac{d}{2}]}}$$

Notons $`L`$ (resp. $`M`$) le faisceau de gauche (resp. droite) et $`l`$ (resp. $`m`$) son rang. La résolution son idéal $``$ est donnée par (voir par exemple \[GP\]) :

$$0\mathrm{\Lambda }^m\stackrel{ˇ}{M}\mathrm{\Lambda }^lLS^{lm}(\stackrel{ˇ}{M})\mathrm{}\mathrm{\Lambda }^m\stackrel{ˇ}{M}\mathrm{\Lambda }^mL0$$

Il nous reste à calculer les sections globales de $`(1)`$ donc la cohomologie des termes de ce complexe. Pour voir que $`H^0(1)`$ est nul il nous suffit de montrer que les groupes de cohomologie $`H^{lmp}(\mathrm{\Lambda }^m\stackrel{ˇ}{M}\mathrm{\Lambda }^{lp}LS^{lmp}(\stackrel{ˇ}{M})(1))`$ sont nuls. Or seul le terme $`L`$ est non trivial, il suffit donc de montrer que les groupes $`H^{lmp}(\mathrm{\Lambda }^{lp}L(1))`$ sont nuls. Nous pouvons calculer ce faisceau grâce aux foncteurs de Schur (\[FH\]) :

$$\mathrm{\Lambda }^{lp}L=\underset{\lambda }{}(S_\lambda 𝒱S_\lambda ^{}S_{d3})$$

il reste donc à calculer la cohomologie de $`S_\lambda 𝒱`$ pour les partitions qui apparaissent et on trouve le résultat d’annulation (la cohomologie des foncteurs de Schur des fibrés tautologiques est connue, voir \[DE\]). Ici les $`S_\lambda 𝒱`$ sont à cohomologie complètement nulle.

Nous devons maintenant éliminer le cas où les courbes de type $`1`$ seraient sur un hyperplan épaissi. Ce n’est pas le cas : les surfaces de $`𝔾r_{[\frac{d}{2}]}`$ dont la duale est de type $`1`$ est l’image de l’incidence entre $`𝔾r_1`$ et $`𝔾r_{[\frac{d}{2}]}`$ donnée par la dualité. Elle est donc réduite.

###### Théorème 2

. Le morphisme $`𝚿`$ est génériquement injectif modulo isomorphisme et dualité.

Démonstration: Il suffit de combiner le théorème 1 et la proposition 4.

## 2 Applications

Nous allons maintenant utiliser le résultat du théorème 1 pour étudier l’image de $`𝚿`$ et celle de certaines sous-variétés remarquables de $`𝐑_d`$. Nous étudierons également la compatification de $`𝐑_d`$ dans $`\mathrm{Hom}(\mathrm{\Lambda }^2V,S_d)`$ ainsi que l’image du bord par $`𝚿`$. Nous donnerons enfin quelques applications géométriques, en particulier l’exemple des surfaces de degré $`5`$ nous permettra de décrire les positions d’une cubique plane par rapport à une conique.

### 2.1 Étude des $`𝐑_d^k`$

Nous montrons dans ce paragraphe le théorème suivant :

###### Théorème 3

. Les variétés $`𝐑_d`$ et $`𝐑_d^5`$ sont irréductibles et lisses de dimensions $`4d+4`$ et $`3d+8`$. La variété $`𝐑_d^4`$ a $`d1`$ composantes irréductibles de dimension $`3d+7`$. La variété $`𝐑_d^3`$ a $`[\frac{d}{2}]`$ composantes irréductibles de dimension $`2d+9`$.

###### Proposition 7

. Les variétés $`𝐑_d`$ et $`𝐑_d^5`$ sont irréductibles et lisses de dimensions $`4d+4`$ et $`3d+8`$.

Démonstration: La variété $`𝐑_d`$ est un ouvert du schéma des morphismes de degré $`d`$ de $`^1`$ dans la grassmannienne $`𝔾`$. Les résultats de \[P2\] nous permettent de conclure à la lissité, l’irréductibilité et la dimension de cette variété.

Nous avons un morphisme propre de la variété $`𝐑_d^5`$ vers les hyperplans de $`(\mathrm{\Lambda }^2V)`$ non tangents à $`𝔾`$ : à $`f𝐑_d^5`$ on associe l’hyperplan sur lequel l’image est tracée (il est unique sinon par $`\mathrm{\Phi }`$ on aurait une quadrique de rang au plus $`4`$). La fibre de ce morphisme est le schéma $`\mathrm{Mor}_d(^1,Q_3)`$ des morphismes de degré $`d`$ de $`^1`$ dans $`Q_3`$ “la” quadrique non singulière de $`^4`$ (cette quadrique est la quadrique de rang $`5`$ découpée dans $`𝔾`$ par l’hyperplan, elle est isomorphe à $`Q_3`$). Les résultats de \[P2\] nous permettent d’affirmer que la fibre est irréductible, lisse de dimension constante égale à $`3d+3`$ d’où le résultat.

La variété $`𝐑_d^4`$

Nous allons maintenant décrire les composantes irréductibles de $`𝐑_d^4`$. Nous avons vu à la proposition 4 qu’un ouvert dense $`𝐔_4`$ de $`𝐑_d^4`$ est formé des éléments $`f`$ tels que la courbe $`f(^1)`$ est contenue dans un unique hyperplan tangent à $`𝔾`$ (cas $`i(f)=1`$). Il nous suffit donc de déterminer les composantes irréductibles de l’ouvert $`𝐔_4`$.

Nous avons alors un morphisme propre $`\mathrm{{\rm Y}}_4:𝐔_4𝔾`$ qui a $`f`$ associe le point de contact de l’unique hyperplan tangent à $`𝔾`$ contenant $`f(^1)`$. Il s’agit maintenant d’étudier la fibre de $`\mathrm{{\rm Y}}_4`$. Cette fibre au dessus de $`L_0𝔾`$ est isomorphe à $`\mathrm{Mor}_d(^1,_{L_0})`$$`_{L_0}`$ est le cône de $`𝔾`$ formé par les droites qui rencontrent $`L_0`$.

Notons $`\stackrel{~}{}_{L_0}`$ la variété : $`\{(P,L,H)(V)\times 𝔾\times (\stackrel{ˇ}{V})/PL_0H\mathrm{et}PLH\}`$, c’est l’éclatemement $`\pi `$ de $`_{L_0}`$ au sommet du cône. Nous avons une projection $`p`$ de $`\stackrel{~}{}_{L_0}`$ vers la variété $`Q_{L_0}`$ suivante : $`\{(P,H)(V)\times (\stackrel{ˇ}{V})/PL_0H\}`$. Cette variété est une quadrique isomorphe à $`L_0\times \stackrel{ˇ}{L}_0`$.

Il est facile de vérifier que $`\stackrel{~}{}_{L_0}`$ est la fibration en droites projectives au dessus de $`Q_{L_0}`$ associée au faisceau $`𝒪_{L_0\times \stackrel{ˇ}{L}_0}(\mathrm{1,0})𝒪_{L_0\times \stackrel{ˇ}{L}_0}(\mathrm{0,1})`$. Le groupe de Picard de $`\stackrel{~}{}_{L_0}`$ est donc $`^3`$ (nous prendrons pour base des cycles les degrés sur $`Q_{L_0}`$ et le degré relatif pour $`p`$).

###### Lemme 4

. Pour tout $`\gamma =(a,b,c)^3`$, le schéma $`\mathrm{Mor}_\gamma (^1,\stackrel{~}{}_{L_0})`$ est irréductible et lisse de dimension $`2a+2b+c+3`$.

Démonstration: Le théorème principal de \[P2\] nous permet de dire que le schéma des morphismes $`\mathrm{Mor}_{(a,b)}(^1,Q_{L_0})`$ est irréductible et lisse de dimension $`2(a+b+1)`$. Par ailleurs, la proposition 4 de \[P2\] nous permet de dire que comme le degré relatif est positif, alors $`\mathrm{Mor}_\gamma (^1,\stackrel{~}{}_{L_0})`$ est irréductible et lisse de dimension $`2(a+b+1)+c+1`$.

L’éclatement $`\pi `$ définit un morphisme $`\pi :\mathrm{Mor}_\gamma (^1,\stackrel{~}{}_{L_0})\mathrm{Mor}_{\pi _{}\gamma }(^1,_{L_0})`$. De plus si $`f`$ est un élément de $`\mathrm{Mor}_{(a,b,c)}(^1,\stackrel{~}{}_{L_0})`$ alors $`f(^1)`$ rencontre le diviseur exceptionnel en $`\frac{1}{2}(c(a+b))`$ points, le degré de son image dans $`_{L_0}`$ est donc $`\frac{1}{2}(a+b+c)`$. Ainsi $`\pi (f)`$ est de degré $`d`$ si et seulement si $`c=2d(a+b)`$.

L’image de $`\mathrm{Mor}_{(a,b\mathrm{,2}d(a+b))}(^1,\stackrel{~}{}_{L_0})`$ dans $`\mathrm{Mor}_d(^1,_{L_0})`$ est contenu dans l’ensemble des morphismes dont l’image passe $`d(a+b)`$ fois par le sommet du cône. Si $`d<a+b`$ ceci impose que l’image du morphisme est contenu dans le diviseur exceptionnel, il se contracte donc sur le sommet par $`\pi `$. Nous supposerons desormais que $`da+b`$. Réciproquement, si on a un morphisme de $`^1`$ dans $`_{L_0}`$ qui passe $`d(a+b)`$ fois par le diviseur exceptionnel, sa transformée stricte dans $`\stackrel{~}{}_{L_0}`$ est dans le schéma $`\mathrm{Mor}_{(a,b\mathrm{,2}d(a+b))}(^1,\stackrel{~}{}_{L_0})`$ (ou $`\mathrm{Mor}_{(b,a\mathrm{,2}d(a+b))}(^1,\stackrel{~}{}_{L_0})`$) et on retrouve le morphisme de départ par projection par $`\pi `$. Nous avons donc des immersions $`\pi :\mathrm{Mor}_{(a,b\mathrm{,2}d(a+b))}(^1,\stackrel{~}{}_{L_0})\mathrm{Mor}_d(^1,_{L_0})`$.

###### Proposition 8

. Pour $`a`$ fixé, les variétés $`\pi (\mathrm{Mor}_{(a,b\mathrm{,2}d(a+b))}(^1,\stackrel{~}{}_{L_0}))`$ avec $`d>a+b`$ sont dans l’adhérence de $`\pi (\mathrm{Mor}_{(a,da,d)}(^1,\stackrel{~}{}_{L_0}))`$.

Démonstration: Notons $`W`$ l’espace vectoriel $`H^0𝒪_{L_0}(1)`$, c’est un quotient de rang $`2`$ de $`V`$. Notons $`N_W`$ le noyau de la surjection de $`V`$ dans $`W`$. Si $`f(^1)`$ est dans le cône $`_{L_0}`$, alors l’image de la flèche $`N_W𝒪_^1f^{}Q`$ est de rang 1. De plus le conoyau de cette flèche est de rang $`2`$ aux points de $`^1`$ qui s’envoient sur le sommet du cône et de rang $`1`$ ailleurs.

Considérons donc un morphisme $`f\mathrm{{\rm Y}}_4^1(L_0)`$ tel que le morphisme $`N_W𝒪_^1f^{}Q`$ ait pour conoyau $`𝒪_^1(a)𝒪_D`$$`D`$ est un diviseur de degré $`x`$. L’image de $`N_W𝒪_^1`$ dans $`f^{}Q`$ est donc $`𝒪_^1(d(a+x))`$ et le faisceau $`𝒪_^1(a)𝒪_D`$ est le conoyau de $`𝒪_^1((a+x))\stackrel{r_0}{}W𝒪_^1`$.

En considérant les flèches duales (correspondant à la surface duale), nous avons un morphisme de $`\stackrel{ˇ}{V}𝒪_^1`$ dans $`f^{}\stackrel{ˇ}{K}`$. La flèche $`{}_{}{}^{t}r_{0}^{}`$ de $`\stackrel{ˇ}{W}𝒪_^1`$ dans $`𝒪_^1(a+x)`$ a pour image $`𝒪_^1(a)`$ et conoyau $`𝒪_D`$. Le morphisme $`\stackrel{ˇ}{W}𝒪_^1f^{}\stackrel{ˇ}{K}`$ se factorise par $`𝒪_^1(a+x)`$ et a pour conoyau le faisceau $`𝒪_^1(d(a+x))𝒪_D`$. Ainsi, il suffit de se donner une famille $`r_\lambda `$ de flèches de $`\stackrel{ˇ}{W}𝒪_^1`$ dans $`𝒪_^1(a+x)`$ sujective au point générique et égale à $`{}_{}{}^{t}r_{0}^{}`$ au point spécial pour constuire une famille de morphismes dont l’image ne passe pas par le sommet au point générique et qui vaut $`f`$ au point spécial.

###### Corollaire 3

. Les composantes irréductibles de $`\mathrm{Mor}_d(^1,_{L_0})`$ sont les adhérences des images $`\pi (\mathrm{Mor}_{(a,da,d)}(^1,\stackrel{~}{}_{L_0}))`$ pour $`0ad`$. Elles sont toutes de dimension $`3d+3`$.

Notons $`𝐑_d^4(a)`$ le fermé de $`𝐔_4`$ des morphismes $`f`$ qui sont dans la composante de $`\mathrm{{\rm Y}}_4^1(\mathrm{{\rm Y}}_4(f))`$ contenant $`\pi (\mathrm{Mor}_{(a,da,d)}(^1,\stackrel{~}{}_{\mathrm{{\rm Y}}_4(f)}))`$.

###### Corollaire 4

. Les variétés $`𝐑_d^4(a)`$ pour $`1ad1`$ sont les composantes irréductibles de $`𝐑_d^4`$. Elles sont de dimension $`3d+7`$. Les composantes $`𝐑_d^4(a)`$ et $`𝐑_d^4(da)`$ sont duales l’une de l’autre.

Démonstration: Les variétés $`𝐑_d^4(0)`$ et $`𝐑_d^4(d)`$ ne sont pas dans $`𝐑_d^4`$ (mais dans son adhérence) car dans ce cas la courbe est tracée sur un $`(\beta )`$-plan ou un $`(\alpha )`$-plan respectivement. Elle n’est donc pas dans $`𝐑_d`$. Les variétés $`𝐑_d^4(a)`$ ont pour ouvert dense la famille des $`\pi _L(\mathrm{Mor}_{(a,da,d)}(^1,\stackrel{~}{}_L))`$ au dessus de $`𝔾`$. Celle-ci est irréductible de dimension $`3d+7`$. Les variétés $`𝐑_d^4(a)`$ pour $`1ad1`$ sont toutes distinctes, l’image d’un morphisme général est donné par une courbe tracée sur un hyperplan tangent à $`𝔾`$ qui rencontre un $`(\alpha )`$-plan et un $`(\beta )`$-plan (contenus dans cet hyperplan) en $`a`$ points et en $`da`$ points.

Remarquons que la dualité échange les $`(\alpha )`$-plans et les $`(\beta )`$-plans ce qui montre que les composantes $`𝐑_d^4(a)`$ et $`𝐑_d^4(da)`$ sont duales l’une de l’autre. Remarquons enfin que les strates $`𝐑_{d\mathrm{,1}}`$ et $`𝐑_{d\mathrm{,1}}^{}`$ sont $`𝐑_d^4(1)`$ et $`𝐑_d^4(d1)`$.

La variété $`𝐑_d^3`$

Nous avons vu à la proposition 4 qu’un ouvert dense $`𝐔_3`$ de $`𝐑_d^3`$ est formé des éléments $`f`$ de $`𝐑_d^3`$ tels que la courbe $`f(^1)`$ est contenue dans un unique espace linéaire de codimension $`2`$ tangent à $`𝔾`$ (cas $`i(f)=1`$). Il nous suffit donc de déterminer les composantes irréductibles de l’ouvert $`𝐔_3`$.

Nous avons alors un morphisme propre $`\mathrm{{\rm Y}}_3:𝐔_3\stackrel{ˇ}{T}_𝔾`$ qui a $`f`$ associe l’unique espace linéaire de codimension $`2`$ tangent à $`𝔾`$ et contenant $`f(^1)`$ (l’espace $`\stackrel{ˇ}{T}_𝔾`$ est isomorphes aux couples $`(x,W)`$$`x𝔾`$ et $`W`$ est une sous-variété linéaire de dimension 3 de $`T_x𝔾`$). Il s’agit maintenant d’étudier la fibre de $`\mathrm{{\rm Y}}_3`$. Cette fibre au dessus de $`L_0𝔾`$ est isomorphe à $`\mathrm{Mor}_d(^1,S_{L_0})`$$`S_{L_0}`$ est le cône de $`𝔾`$ découpé par le sous-espace linéaire de codimension 2.

Notons $`\pi :\stackrel{~}{S}_{L_0}S_{L_0}`$ l’éclatemement de $`S_{L_0}`$ au sommet du cône. Nous avons une projection $`p`$ de $`\stackrel{~}{S}_{L_0}`$ vers la droite $`L_0`$. Il est facile de vérifier que $`\stackrel{~}{S}_{L_0}`$ est la fibration en droites projectives au dessus de $`L_0`$ associée au faisceau $`𝒪_^1(1)𝒪_^1(1)`$. Le groupe de Picard de $`\stackrel{~}{S}_{L_0}`$ est donc $`^2`$ (nous prendrons pour base des cycles le degré sur $`L_0`$ et le degré relatif pour $`p`$).

###### Lemme 5

. Pour tout $`\gamma =(a,b)^2`$, si $`b2a`$, le schéma $`\mathrm{Mor}_\gamma (^1,\stackrel{~}{S}_{L_0})`$ est irréductible lisse de dimension $`2a+b+2`$, sinon il est vide.

Démonstration: Le théorème principal de \[P2\] nous permet de dire que le schéma des morphismes $`\mathrm{Mor}_a(^1,^1)`$ est irréductible et lisse de dimension $`2a+1`$. Par ailleurs, la proposition 4 de \[P2\] nous permet de dire que comme le degré relatif est positif, alors si $`b2a`$, le schéma $`\mathrm{Mor}_\gamma (^1,\stackrel{~}{S}_{L_0})`$ est irréductible et lisse de dimension $`2a+1+b+1`$ et qu’il est vide sinon.

L’éclatement $`\pi `$ définit un morphisme $`\pi :\mathrm{Mor}_\gamma (^1,\stackrel{~}{S}_{L_0})\mathrm{Mor}_{\pi _{}\gamma }(^1,L_0)`$. De plus si $`f`$ est un élément de $`\mathrm{Mor}_{(a,b)}(^1,\stackrel{~}{S}_{L_0})`$ alors $`f(^1)`$ rencontre le diviseur exceptionnel en $`\frac{1}{2}ba`$ points, le degré de son image dans $`S_{L_0}`$ est donc $`\frac{1}{2}b+a`$. Ainsi $`\pi (f)`$ est de degré $`d`$ si et seulement si $`b=2(da)`$. Nous supposons maintenant $`b2a`$.

###### Proposition 9

. La variété $`\mathrm{Mor}_d(^1,S_{L_0})`$ a $`[\frac{d}{2}]+1`$ composantes irréductibles toutes de dimension $`2d+2`$ décrites pas les images par $`\pi `$ des $`\mathrm{Mor}_{(a\mathrm{,2}(da))}(^1,\stackrel{~}{S}_{L_0})`$ pour $`0a[\frac{d}{2}]`$.

Démonstration: Comme dans le cas de $`𝐑_d^4`$, les morphismes de $`\mathrm{Mor}_{(a,b)}(^1,\stackrel{~}{S}_{L_0})`$ dans le schéma $`\mathrm{Mor}_d(^1,S_{L_0})`$ sont des immersions dès que $`[\frac{d}{2}]a`$. Par ailleurs $`\mathrm{Mor}_d(^1,S_{L_0})`$ est recouvert par ces images (il suffit de regarder la transformée stricte). Comme toutes ces variétés sont irréductibles de même dimension elles forment les composantes irréductibles de $`\mathrm{Mor}_d(^1,S_{L_0})`$.

Notons $`𝐑_d^3(a)`$ le fermé de $`𝐔_3`$ des morphismes $`f`$ qui sont dans la composante irréductible $`\pi (\mathrm{Mor}_{(a\mathrm{,2}(da))}(^1,\stackrel{~}{S}_{\mathrm{{\rm Y}}_3(f)}))`$ de $`\mathrm{{\rm Y}}_3^1(\mathrm{{\rm Y}}_3(f))`$.

###### Corollaire 5

. Les variétés $`𝐑_d^3(a)`$ pour $`1a[\frac{d}{2}]`$ sont les composantes irréductibles de $`𝐑_d^3`$. Elles sont de dimension $`2d+9`$.

Démonstration: La variété $`𝐑_d^3(0)`$ n’est pas dans $`𝐑_d^3`$ (mais dans son adhérence) car un tel morphisme $`f`$ aurait pour image une droite contenue dans $`𝔾`$, la surface serait alors un cône (et sa duale aussi). Les composantes sont évidement autoduales.

### 2.2 Compactification de $`𝐑_d`$

Nous étudions dans ce paragraphe la fermeture $`\overline{𝐑_d}`$ de $`𝐑_d`$ dans $`\mathrm{Hom}(\mathrm{\Lambda }^2V,S_d)`$.

###### Proposition 10

. Le bord de $`𝐑_d`$ est formé de variétés isomorphes à $`𝐑_d^{}\times (S_{dd^{}})`$ pour tout $`d^{}`$ entier strictement inférieur à $`d`$ et de $`\overline{𝐑_{d\mathrm{,0}}}\overline{𝐑_{d\mathrm{,0}}^{}}`$.

Démonstration: Nous avons vu au lemme 2 qu’un élément de $`𝐑_d`$ est donné par une application linéaire $`\psi `$ de $`\mathrm{\Lambda }^2V`$ dans $`S_d`$ telle que le morphisme $`\stackrel{~}{\psi }:\mathrm{\Lambda }^2V𝒪_^1𝒪_^1(d)`$ est surjectif et que la composée

$$𝒪_^1(d)\stackrel{{}_{}{}^{t}\psi }{}\mathrm{\Lambda }^2\stackrel{ˇ}{V}𝒪_^1\stackrel{q}{}\mathrm{\Lambda }^2V𝒪_^1\stackrel{\psi }{}𝒪_^1(d)$$

est nulle (condition notée $`()`$).

Un élément $`\psi `$ est donc dans le bord de $`𝐑_d`$ si il vérifie la condition $`()`$ (qui est fermée) et si la flèche $`\stackrel{~}{\psi }`$ associée sur les faisceaux n’est plus surjective. L’élément $`\psi `$ étant non nul, l’image de $`\stackrel{~}{\psi }`$ dans $`𝒪_^1(d)`$ est un faisceau sans torsion de rang $`1`$. C’est donc $`𝒪_^1(d^{})`$ avec $`0d^{}<d`$. La donnée de $`\psi `$ est équivalente à celle d’une surjection de $`\mathrm{\Lambda }^2V𝒪_^1𝒪_^1(d^{})`$ et d’une flèche de $`𝒪_^1(d^{})`$ dans $`𝒪_^1(d)`$. Ceci correspond au choix d’un élément de $`𝐑_d^{}`$ (ou de $`𝐑_{d^{}\mathrm{,0}}𝐑_{d^{}\mathrm{,0}}^{}`$) et d’un élément de $`(S_{dd^{}})`$. Le cas de $`𝐑_{d^{}\mathrm{,0}}𝐑_{d^{}\mathrm{,0}}^{}`$ est adhérent à $`𝐑_{d\mathrm{,0}}𝐑_{d\mathrm{,0}}^{}`$ d’où le résultat.

###### Remarque 9

. (ı) Nous pouvons maintenant compléter la preuve du fait (lemme 2) que la restriction du morphisme $`\mathrm{\Phi }`$ à $`\overline{𝐑_d}`$ est définie en dehors de $`\overline{𝐑_{d\mathrm{,0}}}\overline{𝐑_{d\mathrm{,0}}^{}}`$. En effet, nous avons vu que $`\mathrm{\Phi }`$ n’est pas défini sur ce fermé et sur le complémentaire c’est à dire sur $`𝐑_d`$ et sur les composantes $`𝐑_d^{}\times (S_{dd^{}})`$ du bord le morphisme $`\mathrm{\Phi }`$ est défini (voir lemme 6 pour l’image du bord).

(ıı) Notons $`i(d,d^{})`$ l’inclusion de $`𝐑_d^{}\times (S_{dd^{}})`$ dans $`\overline{𝐑_d}`$. Soient $`d^{}`$ et $`d^{\prime \prime }`$ deux entiers tels que $`0d^{\prime \prime }<d^{}<d`$. La composée de $`i(d^{},d^{\prime \prime })\times \mathrm{Id}_{(S_{dd^{}})}`$ et de $`i(d,d^{})`$ qui va de $`𝐑_{d^{\prime \prime }}\times (S_{d^{}d^{\prime \prime }})\times (S_{dd^{}})`$ dans $`\overline{𝐑_d^{}}\times (S_{dd^{}})`$ puis dans $`\overline{𝐑_d}`$ est $`i(d,d^{\prime \prime })`$ où on a identifié $`(S_{d^{}d^{\prime \prime }})\times (S_{dd^{}})`$ avec $`(S_{dd^{\prime \prime }})`$ grâce à la multiplication $`S_{d^{}d^{\prime \prime }}S_{dd^{}}S_{dd^{\prime \prime }}`$.

###### Corollaire 6

. Le bord de $`𝐑_d`$ a trois composantes irréductibles : les deux fermés $`\overline{𝐑_{d\mathrm{,0}}}`$ et $`\overline{𝐑_{d\mathrm{,0}}}`$ et la variété $`\overline{𝐑_{d1}}\times (S_1)`$.

###### Lemme 6

. L’image de $`𝐑_d^{}\times (S_{dd^{}})`$ par $`\mathrm{\Phi }`$ est la variété des quadriques contenant la courbe rationnelle normale $`C_d`$ et dont le noyau (en tant que forme quadratique) rencontre $`C_d`$ selon les $`dd^{}`$ points définis par l’élément de $`(S_{dd^{}})`$.

Démonstration: Soient $`dd^{}`$ points de $`C_d`$ définis par un élément $`\xi `$ de $`(S_{dd^{}})`$. L’espace linéaire $`H_\xi `$ engendré par ces points est donné par le conoyau de $`S_d^{}\stackrel{\xi }{}S_d`$. Soit $`\psi `$ un morphisme de $`\mathrm{\Lambda }^2V`$ dans $`S_d`$, le noyau de la forme quadratique $`\mathrm{\Phi }(\psi )`$ contient le sous-espace linéaire $`N`$ donné par le conoyau de $`\psi `$.

Si le morphisme $`\psi `$ se factorise par un élément $`\xi (S_{dd^{}})`$, alors on a une surjection $`NH_\xi `$ ce qui impose que le noyau de la flèche contient le sous-espace linéaire $`H_\xi `$ et donc que le noyau de $`\mathrm{\Phi }(\psi )`$ rencontre $`C_d`$ selon les $`dd^{}`$ points définis par $`\xi `$.

Réciproquement, si on a une forme quadratique $`w`$ qui contient $`C_d`$ et dont le noyau rencontre $`C_d`$ selon les $`dd^{}`$ points définis par $`\xi (S_{dd^{}})`$, alors l’image de $`C_d`$ par la projection par rapport à $`H_\xi `$ est la courbe rationnelle normale $`C_d^{}`$ de $`(S_d^{})`$. Son image par la projection par rapport à $`\mathrm{Ker}w/H_\xi `$ est alors une courbe rationnelle de degré $`d^{}`$ de $`S_d/\mathrm{Ker}w`$. En prenant une isométrie de $`S_d/\mathrm{Ker}w`$ dans $`\mathrm{\Lambda }^2V`$, on a un élément de $`𝐑_d^{}`$. Ainsi $`w`$ est dans l’image de $`𝐑_d^{}\times (S_{dd^{}})`$.

### 2.3 Degré des images

Nous étudions maintenant les images par $`𝚿`$ des variétés $`𝐑_d^k`$ ainsi que celle du bord de $`𝐑_d`$. Nous donnons notamment le degré de ces variétés et nous décrirons la courbe générale de l’image des composantes de $`𝐑_d^4`$, $`𝐑_d^3`$ et du bord au prochain paragraphe.

Pour calculer le degré de l’image, nous utilisons le théorème 1. Nous savons (proposition 2) que l’image par $`\mathrm{\Phi }`$ et donc par $`𝚿`$ de $`𝐑_d`$ est $`\overline{𝐪}_6`$. Ceci impose que l’image de $`𝐑_d^k`$ est exactement $`𝐪_k`$. Nous vérifions que pour $`3k6`$ les variétés déterminantielles $`𝐪_k`$ ont les dimensions “attendues”. Nous pouvons ainsi grâce aux resultats de \[HT\] calculer leur degré.

###### Proposition 11

. Les variétés $`𝐪_k`$ pour $`3k6`$ sont équidimensionnelles de dimensions respectives $`(k2)d1\frac{1}{2}(k1)(k2)`$.

Démonstration: Nous avons montré que les variétés $`𝐑_d^3`$, $`𝐑_d^4`$, $`𝐑_d^5`$ et $`𝐑_d^6`$ sont équidimensionnelles de dimensions $`2d+9`$, $`3d+7`$, $`3d+8`$ et $`4d+4`$. Les fibres au dessus de $`𝐪_3`$, $`𝐪_4`$, $`𝐪_5`$ et $`𝐪_6`$ étant équidimensionnelles de dimensions $`d+11`$, $`d+11`$, $`15`$ et $`15`$ (proposition 4), les variétés $`𝐪_k`$ pour $`3k6`$ sont donc équidimensionnelles de la dimension voulue.

Nous pouvons maintenant montrer le théorème suivant :

###### Théorème 4

. L’image par $`𝚿`$ de la variété $`𝐑_d`$ (resp. de $`𝐑_d^5`$) est un localement fermé irréductible de dimension $`4d11`$ (resp. $`3d7`$) et de degré $`i(d)`$ (resp. $`j(d)`$) qui est $`PGL_2`$-invariant.

L’image par $`𝚿`$ de la variété $`𝐑_d^4`$ (resp. $`𝐑_d^3`$) est de degré $`k(d)`$ (resp. $`p(d)`$). Elle a $`[\frac{d}{2}]`$ composantes irréductibles qui sont des localement fermés (resp. fermés) de dimension $`2d4`$ (resp. $`d2`$) invariants sous $`PGL_2`$.

Si $`d5`$, l’image du bord de $`𝐑_d`$ privé de $`\overline{𝐑_{d\mathrm{,0}}}`$ et $`\overline{𝐑_{d\mathrm{,0}}^{}}`$ est irréductible de dimension $`4d14`$ et de degré $`2(4d14)i(d1)`$.

Les degrés sont donnés par :

$$i(d)=\underset{k=0}{\overset{d6}{}}\frac{\left(\genfrac{}{}{0pt}{}{d+1+k}{d5k}\right)}{\left(\genfrac{}{}{0pt}{}{2k+1}{k}\right)}j(d)=\underset{k=0}{\overset{d5}{}}\frac{\left(\genfrac{}{}{0pt}{}{d+1+k}{d4k}\right)}{\left(\genfrac{}{}{0pt}{}{2k+1}{k}\right)}k(d)=\underset{k=0}{\overset{d4}{}}\frac{\left(\genfrac{}{}{0pt}{}{d+1+k}{d3k}\right)}{\left(\genfrac{}{}{0pt}{}{2k+1}{k}\right)}p(d)=\underset{k=0}{\overset{d3}{}}\frac{\left(\genfrac{}{}{0pt}{}{d+1+k}{d2k}\right)}{\left(\genfrac{}{}{0pt}{}{2k+1}{k}\right)}$$

Démonstration: Les résultats de J. Harris et L.W. Tu \[HT\], que l’on peut appliquer aux variétés déterminantielles $`𝐪_k`$, nous permettent de calculer les degrés.

Le résultat sur $`𝐑_d`$ et $`𝐑_d^5`$ découle directement de la proposition 7 et de la dimension des fibres (proposition 4).

Les $`d1`$ composantes irréductibles $`𝐑_d^4(a)`$ pour $`1ad1`$ de $`𝐑_d^4`$ sont telles que $`𝐑_d^4(a)`$ et $`𝐑_d^4(da)`$ sont en dualité (corollaire 4). Leurs images sont donc les mêmes ce qui donne $`[\frac{d}{2}]`$ fermés irréductibles de $`𝚿(𝐑_d^4)`$. Nous montrerons à la proposition 12 que ces fermés sont distincts et nous les décrirons.

Nous avons vu que l’image de $`𝐑_d^3`$ est $`𝐪_3`$ qui est fermé (car $`𝐪_2`$ est vide) de dimension $`d2`$ (proposition 11). Chacune des composantes irréductibles de $`𝐑_d^3`$ donnera un fermé irréductible de $`𝐪_3`$. Nous montrerons à la proposition 12 que ces fermés sont distincts et nous les décrirons.

Le bord de $`𝐑_d`$ privé de $`\overline{𝐑_{d\mathrm{,0}}}`$ et $`\overline{𝐑_{d\mathrm{,0}}^{}}`$ est $`\overline{𝐑_{d1}}\times (S_1)`$ (corollaire 6). Il est donc irréductible de dimension $`4d+1`$. D’après la proposition 4, son image est de dimension $`4d14`$. Nous décrirons son image au lemme 7 et nous donnerons son degré.

### 2.4 Description géométrique de quelques images

Nous déterminons géométriquement les courbes de l’image du bord, de $`𝚿(𝐑_d^4)`$ et de $`𝚿(𝐑_d^3)`$.

###### Remarque 10

. Nous pouvons décrire géométriquement la correspondance entre les formes quadratiques de $`S_d`$ contenant $`C_d`$ et les courbes de degré $`d2`$ de $`(S_2)`$. Soit $`Q`$ une forme quadratique de $`S_d`$ contenant $`C_d`$ et définissons la courbe de $`S^2C_d`$ suivante :

$$C(Q)=\{(p,q)S^2C_d/\mathrm{la}\mathrm{droite}(pq)\mathrm{est}\mathrm{isotrope}\mathrm{pour}Q\}$$

La variété $`S^2C_d`$ est canoniquement isomorphe à $`S^2^1`$ et le morphisme :

$$C:(S^2S_{d2})(S^{d2}S_2)$$

$$QC(Q)$$

est la description géométrique de la loi de réciprocité de Hermite. Ainsi si nous considérons $`\mathrm{\Phi }`$ comme à valeur dans $`(S^2S_{d2})`$, nous avons $`𝚿=C\mathrm{\Phi }`$. En effet, soit $`\psi `$ une projection de $`(S_d)`$ dans $`(\mathrm{\Lambda }^2V)`$. Les droites $`L_p`$ et $`L_q`$ correspondant aux images de $`p`$ et $`q`$ se coupent si et seulement si la droite $`(\psi (p)\psi (q))`$ est contenue dans $`𝔾`$ ce qui signifie exactement que $`(pq)`$ est isotrope pour $`Q`$.

###### Lemme 7

. L’image de $`𝐑_d^{}\times (S_{dd^{}})`$ est formée des courbes réunion d’une courbe de degré $`d^{}2`$ de $`𝚿(𝐑_d^{})`$ et des $`dd^{}`$ tangentes à la conique $`C_0`$ définies par l’élément de $`(S_{dd^{}})`$. Elle est de degré $`2^{dd^{}}\left(\genfrac{}{}{0pt}{}{d+3d^{}11}{dd^{}}\right)i(d^{})`$ pour $`d5`$.

Démonstration: Si $`\psi `$ est dans le bord de $`𝐑_d`$, disons que $`\psi =(\psi ^{},\xi )𝐑_d^{}\times (S_{dd^{}})`$, alors $`\psi `$ se factorise par $`\xi `$ ce qui impose (voir le lemme 6) que le noyau de la forme quadratique $`Q=\mathrm{\Phi }(\psi )`$ rencontre $`C_d`$ selon les $`dd^{}`$ points définis par $`\xi `$. Si $`p`$ est un tel point, alors pour tout $`qC_d`$ la droite $`(pq)`$ est isotrope pour $`Q`$. Ainsi les paires $`(p,q)`$ pour tout $`qC_d`$ sont dans $`C(Q)`$. Le lieu singulier abstrait contient donc les tangentes à la conique canonique définies par $`\xi `$. La composante restante est définie par $`\psi ^{}`$ et est un élément de $`𝚿(𝐑_d^{})`$.

Réciproquement, si la courbe $`C(Q)`$ contient les droites tangentes à $`C_0`$ définies par un élément $`\xi (S_{dd^{}})`$, alors pour tout point $`p`$ défini par $`\xi `$, nous savons d’après la remarque précédente que pour tout $`qC_d`$ la droite $`(pq)`$ est isotrope pour $`Q`$. Ceci est équivalent à dire que $`p`$ est dans le noyau de $`Q`$. Il suffit alors de prendre une isométrie de $`S_d/\mathrm{KerQ}`$ dans $`\mathrm{\Lambda }^2V`$ pour trouver un élément de $`𝐑_d^{}\times (S_{dd^{}})`$ qui s’envoie sur la courbe $`C(Q)`$.

La fibre des courbes contenant une droite tangente n’est pas contenue dans le bord de $`𝐑_d`$. Par exemple si $`f`$ est un élément de $`𝐔_4`$ tel que $`f(^1)`$ rencontre le sommet du cône $`_{\mathrm{{\rm Y}}_4(f)}`$ alors son lieu singulier abstrait contient une droite tangente à $`C_0`$.

Pour calculer son degré, il suffit de calculer le nombre de courbes de ce fermé qui passent par $`d+3d^{}11`$ points en position générale. Mais on connait le degré de $`𝚿(𝐑_d^{})`$ dans la variété des courbes de degré $`d^{}2`$, c’est $`i(d^{})`$ (il représente le nombre de courbes de ce type passant par $`4d^{}11`$ points). Pour déterminer une courbe passant par $`3d^{}+d11`$ points il suffit d’en choisir $`dd^{}`$ ($`\left(\genfrac{}{}{0pt}{}{d+3d^{}11}{dd^{}}\right)`$ possibilités) qui nous donnent les tangentes ($`2^{dd^{}}`$ possibilités) et les $`4d^{}11`$ autres nous définissent $`i(d^{})`$ courbes de degré $`d^{}2`$ dans l’ensemble voulu. Le degré recherché est donc $`2^{dd^{}}\left(\genfrac{}{}{0pt}{}{d+3d^{}11}{dd^{}}\right)i(d^{})`$.

Si $`d=4`$, la variété $`𝐑_3`$ ne vérifie plus les conditions précédentes. La dimension du bord de $`𝐑_4`$ est $`18`$, celle de son image est $`3`$ et son degré est $`6`$.

###### Lemme 8

. L’image par $`𝚿`$ de $`𝐑_d^4(a)`$ est contenue dans la variété des courbes réunion d’une courbe de $`𝔓_{a1}`$ et d’une courbe de $`𝔓_{da1}`$.

Démonstration: Il suffit de vérifier ce lemme sur l’ouvert $`𝐔_4`$ de $`𝐑_d^4`$ et même sur l’ouvert de $`𝐑_d^4(a)`$ des courbes ne passant pas par le sommet du cône. Si $`f𝐑_d^4(a)`$, le sommet du cône $`\mathrm{{\rm Y}}(f)`$ est une droite de $`(V)`$. Notons $`W`$ le quotient de dimension $`2`$ de $`V`$ qui la définit et $`N_W`$ le sous-espace de dimension $`2`$ de $`V`$ correpondant.

Le quotient $``$ de la flèche $`N_W𝒪_^1f^{}Q`$ est localement libre de rang $`1`$ si $`f(^1)`$ ne passe pas par le sommet (voir preuve de la proposition 8). Par ailleurs, ce faisceau décrit la trace des génératrices sur la droite $`(W)`$. Son degré est donc donné par le degré de $`f(^1)`$ sur le premier facteur de la quadrique $`Q_{(W)}`$ qui s’identifie à $`(W)\times (\stackrel{ˇ}{N}_W)`$. Ainsi $``$ est isomorphe à $`𝒪_^1(a)`$. Nous avons donc un quotient naturel $`S_a`$ de $`H^0(f^{}Q)`$ (dont le noyau est $`S_{da}`$) tel que l’application linéaire $`VH^0(f^{}Q)S_a`$ se factorise par $`W`$.

Soient $`N`$ le noyau et $`Q`$ le conoyau de la flèche de $`V𝒪_{(S_2)}`$ dans $`K_a`$ (voir notations) déduite de la composée précédente, le faisceau $`R`$ de support le lieu singulier abstrait est donné par la suite exacte :

$$0NK_{da}RQ0$$

Mais l’image de $`V𝒪_{(S_2)}`$ dans $`K_a`$ est $`W𝒪_{(S_2)}`$ donc $`Q`$ est donné par :

$$0W𝒪_{(S_2)}K_aQ0$$

et $`N=N_W𝒪_{(S_2)}`$. Ainsi $`Q`$ a pour support une courbe de $`𝔓_{a1}`$. Enfin, le noyau de l’application de $`R`$ dans $`Q`$ est donné par le conoyau de la flèche $`N_W𝒪_{(S_2)}K_{da}`$ ce qui nous dit que son support est une courbe de $`𝔓_{da1}`$.

Si l’élément $`f`$ de $`𝐑_d^4(a)`$ est tel $`f(^1)`$ passe par le sommet du cône, alors le conoyau de la flèche $`N_a𝒪_^1f^{}Q`$ est un faisceau ayant de la torsion et la courbe de $`𝔓_{da1}`$ se décompose en une courbe de $`𝔓_{d^{}a1}`$ et les $`dd^{}`$ droites tangentes à la conique déterminées par les points de torsion de ce faisceau.

###### Lemme 9

. La variété $`𝔓_n`$ est un fermé irréductible et réduit de dimension $`2n`$ et de degré $`l(n)`$ de $`(S^nS_2)`$.

Démonstration: Les courbes de degré $`n`$ en relation de Poncelet avec la conique canonique sont données par les pinceaux de sections de $`H^0K_{n+1}`$. Elles s’identifient ainsi à $`\mathrm{Grass}(2,S_{n+1})`$ dans $`(\mathrm{\Lambda }^2S_{n+1})=(S^nS_2)`$ et forment donc une variété irréductible et réduite de dimension $`2n`$ et de degré :

$$l(n)=\frac{\left(\genfrac{}{}{0pt}{}{2n+1}{n+1}\right)}{2n+1}=\frac{(2n)!}{n!(n+1)!}.$$

###### Proposition 12

. Les variétés $`𝐑_d^4(a)`$ et $`𝐑_d^4(da)`$ ont la même image par $`𝚿`$, elle est irréductible, réduite et isomorphe à $`𝔓_{a1}\times 𝔓_{da1}`$. Son degré est $`m(a,d)`$ que l’on calculera.

L’image réduite de $`𝐑_d^3(a)`$ est isomorphe à $`𝔓_{a1}\times (S_{d2a})`$ et est formée des courbes réunion de $`d2a`$ tangentes à $`C_0`$ et d’une courbe de $`𝔓_{a1}`$ comptée deux fois. Elle est de degré $`2^{d2a}l(a1)`$.

Démonstration: Les variétés $`𝐑_d^4(a)`$ et $`𝐑_d^4(da)`$ étant irréductibles réduites et échangées par dualité, elles ont la même image par $`𝚿`$ qui est irréductible et réduite. De plus, cette image est de dimension $`2d4`$. On a vu au lemme 8 que cette image est contenue dans $`𝔓_{a1}\times 𝔓_{da1}`$. Le lemme précédent nous permet de conclure à l’égalité.

On peut calculer le degré $`m(a,d)`$ de l’image de $`𝐑_d^4(a)`$ : il suffit de calculer le nombre de courbes réunion d’une courbe de $`𝔓_{a1}`$ et d’une courbe de $`𝔓_{da1}`$ passant par $`2d4`$ points. On choisit $`2a2`$ points ($`(_{2a2}^{2d4})`$ choix) et par ces points il passe $`l(a1)`$ courbes de $`𝔓_{a1}`$, par les $`2d2a2`$ points restant il passe $`l(da1)`$ courbes de $`𝔓_{da1}`$. Le degré est donc $`m(a,d)=(_{2a2}^{2d4})l(a1)l(da1)`$ sauf dans le cas particulier où $`a=\frac{d}{2}`$ car on a compté deux fois chaque situation et $`m(\frac{d}{2},d)=\frac{1}{2}(_{d2}^{2d4})l(\frac{d}{2}1)^2`$.

La construction du lemme 8 est encore valable pour une courbe de $`𝐑_d^3(a)`$. Le conoyau de la flèche de $`W𝒪_{(S_2)}`$ dans $`K_a`$ est le même et donne une courbe $`X𝔓_{a1}`$. La flèche de $`N_W𝒪_{(S_2)}`$ dans $`K_{da}`$ se décompose en $`\stackrel{ˇ}{W}𝒪_{(S_2)}K_aK_{da}`$ ce qui nous donne la courbe $`X`$ une deuxième fois (conoyau de $`\stackrel{ˇ}{W}𝒪_{(S_2)}K_a`$) et $`d2a`$ droites tangentes à $`C_0`$ (conoyau de $`K_aK_{da}`$). On conclue par irréductibilité car l’image de $`𝐑_d^3(a)`$ et la variété $`𝔓_{a1}\times (S_{d2a})`$ ont la même dimension.

###### Remarque 11

. Une surface générale a pour lieu singulier abstrait une courbe non singulière. En effet, l’image de $`𝐑_d^4(1)`$ est $`𝔓_{d2}`$. Or il existe des courbes lisses dans $`𝔓_{d2}`$, par généralisation on a le résultat.

###### Proposition 13

. Une surface est dans $`𝐑_d^4(a)`$ si et seulement si son lieu singulier est réunion d’une droite $`a`$-uple et d’une courbe de degré $`\frac{1}{2}(da1)(d+a2)`$ et celui de sa duale est réunion d’une droite $`(da)`$-uple et d’une courbe de degré $`\frac{1}{2}(a1)(2da2)`$.

Démonstration: Avec les notations ci-dessus la droite $`(\stackrel{ˇ}{N}_W)`$ est multiple pour la duale. La multiplicité de cette droite est le nombre de génératrices de la surface contenues dans le plan correspondant à un point de $`(\stackrel{ˇ}{N}_W)`$. Ceci revient à calculer, pour un sous-espace vectoriel $``$ de dimension $`1`$ de $`N_W`$ donné le nombre de points de $`^1`$ tels que la flèche induite $`𝒪_^1f^{}Q`$ soit nulle. Si $`f`$ est dans $`𝐑_d^4(a)`$, cette flèche se factorise par $`𝒪_^1(da)`$ (car $`N_W𝒪_^1`$ se factorise par ce faisceau) il suffit donc qu’elle s’annule dans $`𝒪_^1(da)`$. On a donc $`da`$ tels points. Ainsi la duale a une droite $`(da)`$-uple.

De plus la duale $`\stackrel{ˇ}{S}`$ d’une surface $`S`$ de $`𝐑_d^4(a)`$ est dans $`𝐑_d^4(da)`$. Nous savons donc que $`(\stackrel{ˇ}{S}\stackrel{ˇ}{)}`$ a une droite $`a`$-uple. Ainsi $`S`$ a une droite $`a`$-uple. Pour calculer le degré de la courbe résiduelle, il suffit d’utiliser les résultats de \[KL\].

Si le lieu singulier abstrait contient une courbe de $`𝔓_n`$ alors les $`n+1`$ points de la conique définissant un polygône associé correspondent à $`n+1`$ génératrices de la surface qui se coupent deux à deux. Ceci n’est possible que si elles sont concourrantes ou coplanaires. On a alors une courbe $`(n+1)`$-uple sur la surface ou sa duale. Si on a une droite $`(n+1)`$-uple sur la surface ou sa duale, le lieu singulier abstrait contient alors une courbe de $`𝔓_n`$.

Réciproquement, si on a une surface dont le lieu singulier vérifie les hypothèses de la proposition, alors son lieu singulier abstrait contient une courbe de $`𝔓_{a1}`$ (droite $`a`$-uple sur la surface) et une courbe de $`𝔓_{da1}`$ (droite $`(da)`$-uple de la duale). Pour une raison de degré, le lieu singulier abstrait est réunion de ces deux courbes. Le lieu singulier de cette surface est donc (proposition 12) contenue dans $`𝚿(𝐑_d^4(a))`$. Cependant, nous savons (proposition 4) que la fibre au dessus d’un point de $`𝚿(𝐑_d^4(a))`$ a deux composantes irréductibles, l’une contenue dans $`𝐑_d^4(a)`$ l’autre dans $`𝐑_d^4(da)`$. Comme la surface contient une droite $`a`$-uple elle est dans $`𝐑_d^4(a)`$.

###### Remarque 12

. Si $`f𝐑_d^4(a)𝐑_d^4(da)`$ alors $`f(^1)`$ est tracée sur une quadrique $`L_1\times L_2`$ de $`𝔾`$ définie par deux droites $`L_1`$ et $`L_2`$ de $`(V)`$ (c’est l’ensemble des droites qui rencontrent les deux droites). La courbe $`f(^1)`$ est de bidegré $`(a,da)`$ sur la quadrique. Elle a donc $`(a1)(da1)`$ points doubles. La surface est alors autoduale et son lieu singulier est réunion de la droite $`a`$-uple $`L_1`$ de la droite $`(da)`$-uple $`L_2`$ et des $`(a1)(da1)`$ génératrices correspondant aux points doubles.

### 2.5 Étude des surfaces de degré $`5`$

Nous décrivons ici les fibres du morphisme $`(d)\stackrel{𝚿}{}(S^{d2}S_2)`$ de façon géométrique dans le cas des surfaces de degré $`5`$. Ceci nous permet de retrouver des résultats de \[P1\] sur la position relative d’une cubique et d’une conique.

Notons $`^s(5)`$ l’image dans $`(5)`$ de l’ouvert des points stable, $`𝚿(^s(5))`$ s’identifie à $`𝐪_6𝐪_5`$.

###### Proposition 14

. La fibre de l’application $`^s(5)\stackrel{𝚿}{}𝐪_6𝐪_5`$ au dessus d’une cubique est donnée par les triangles de Poncelet associés à la cubique.

Démonstration: Les surfaces de $`^s(5)`$ sont de type $`2`$ : les surfaces de type $`1`$ ou dont la duale est de type $`1`$ sont toutes dans $`𝐑_5^4`$ (voir corollaire 4). Le faisceau $`R`$ définissant le lieu singulier abstrait est alors le conoyau du morphisme injectif $`V𝒪_{(S_2)}K_2K_3`$. De plus, le morphisme canonique (invariant sous le groupe $`G_2`$) de $`V`$ dans $`H^0K_2`$ est nécessairement surjectif. Ainsi on a la suite exacte :

$$0NK_3R0()$$

où le faisceau $`N`$ est $`𝒪_{(S_2)}(1)𝒪_{(S_2)}`$ (le faisceau $`V𝒪_{(S_2)}`$ est une extension non triviale de $`K_2`$ par $`N`$). Ceci nous définit une section de $`K_3`$ (c’est l’intersection $`VH^0K_3`$ dans $`K_2K_3`$) qui nous permet d’écrire la suite exacte :

$$0𝒪_{(S_2)}(1)\stackrel{C}{}_Z(2)R0()$$

$`Z`$ est la réunion des sommets d’un triangle dont les côtés sont tangents à $`C_0`$ et $`C`$ est l’équation de la cubique support de $`R`$.

Ainsi, à toute surface $`S`$ de $`^s(5)`$ on associe la cubique $`𝚿(S)`$ et le triangle de Poncelet associé à $`𝚿(S)`$ défini par la section $`VH^0K_3`$ de $`K_3`$ (qui est invariante sous l’action de $`G_2`$).

Réciproquement, si on a une cubique $`C`$ et un triangle de Poncelet associé de sommets $`Z`$, alors la suite exacte $`()`$ permet de retrouver le faisceau $`R`$. Pour retrouver le sous-espace vectoriel $`V`$ de $`H^0(K_2K_3)`$, il suffit de définir un morphisme de $`K_2K_3`$ dans $`R`$ ($`V`$ sera le noyau sur les sections). De tels morphismes prolongeant celui de $`K_3`$ dans $`R`$ défini par $`C`$ et $`Z`$ (suite exacte $`()`$) sont paramétrisés par $`\mathrm{Hom}(K_2,R)`$. Cet espace vectoriel est extension de $`\mathrm{Ext}^1(K_2,𝒪_{(S_2)}(1))=S_0`$ par $`\mathrm{Hom}(K_2,K_3)=S_1`$. Le sous-groupe unipotent de $`G_2`$ est isomorphe à $`S_1`$ et agit transitivement sur $`\mathrm{Hom}(K_2,K_3)`$. Le quotient $`G_2/S_1`$ qui est alors isomorphe à $`^{}`$ agit par homothéties sur $`\mathrm{Ext}^1(K_2,N)`$. Ainsi le groupe $`G_2`$ a deux orbites dans $`\mathrm{Hom}(K_2,R)`$ dont l’une est le vecteur nul. Comme $`V𝒪_{(S_2)}`$ est une extension non triviale de $`K_2`$ par $`N`$, cette orbite ne peut convenir. L’autre orbite sous $`G_2`$ nous défini un élément de la fibre de $`C`$.

###### Corollaire 7

. Il existe exactement deux triangles de Poncelet associés à une cubique générale de $`(S_2)`$. Il existe une hypersurface de degré $`6`$ de $`(S^3S_2)`$ telle que la cubique générale a un unique triangle de Poncelet associé. Il existe trois fermés irréductibles de codimension $`3`$ et de degrés $`5`$, $`30`$ et $`12`$ de $`(S^3S_2)`$ tels que la cubique générale a une infinité de triangles associés.

Démonstration: On sait que la fibre de l’application de $`(5)`$ dans $`(S^3S_2)`$ est donnée par deux points au dessus de $`𝐪_6`$, un seul au dessus de $`𝐪_5`$ et une infinité de points au dessus de $`𝐪_4`$. La proposition précédente permet de trouver les deux premiers cas. De plus l’image de $`𝐑_5^4`$ est formée de deux composantes : $`𝔓_3`$ et les courbes réunion d’un élément de $`𝔓_2`$ et d’une droite. Ces deux types de courbes ont une infinité de triangles associés et forment deux fermés de codimension $`3`$ de degrés $`5`$ et $`30`$. Enfin l’image du bord de $`𝐑_5`$ est formé des courbes réunion d’une conique et d’une droite tangente à $`C_0`$. Il y a une infinité de triangles associés à ces courbes. Cette variété est de degré $`12`$.

### 2.6 Une paramétrisation birationnelle de l’image de $`𝚿`$

Dans ce paragraphe, nous donnons une paramétrisation birationnelle de l’image de $`𝚿`$ qui permet de montrer que l’image est rationnelle. Nous décrivons explicitement cette paramétrisation.

###### Proposition 15

. Si $`d`$ est pair, l’image de $`𝚿`$ est birationnelle à la variété des formes quadratiques de rang $`4`$ de $`S_{d2}`$.

Démonstration: Supposons que $`d`$ vaut $`2n`$. Considérons l’ouvert $`𝐑_{2n,n}𝐑_{2n,n}^{}`$. Si $`f`$ est un élément de cet ouvert alors $`f^{}K`$ et $`f^{}Q`$ s’identifient à $`U𝒪_^1(n)`$ et $`W𝒪_^1(n)`$ (où $`U`$ et $`W`$ sont des espaces vectoriels de dimension $`2`$). La condition de parité est indispensable pour que $`f^{}K`$ et $`f^{}Q`$ aient ces décompositions.

Fixons $`U`$ et $`W`$, nous allons montrer que l’image de $`𝚿`$ est birationnelle au bon quotient de $`\mathrm{Hom}(W\stackrel{ˇ}{U},S_{d2})`$ par $`PGL(U)\times PGL(W)`$. Cet espace projectif est isomorphe à l’espace $`\mathrm{Ext}^1(W𝒪_^1(n),U𝒪_^1(n))`$. Ses points semi-stable pour l’action de $`PGL(U)\times PGL(W)`$ sont définis par la surjectivité des morphismes $`WS_{d2}U`$ et $`\stackrel{ˇ}{U}S_{d2}\stackrel{ˇ}{W}`$.

Un élément de $`\mathrm{Ext}^1(W𝒪_^1(n),U𝒪_^1(n))`$ définit un faisceau $`F`$ de rang $`4`$ sur $`^1`$. Le faisceau $`F`$ est trivial si et seulement si la flèche $`WS_{n1}US_{n1}`$ est un isomorphisme (ce qui décrit un ouvert plus petit que celui des points semi-stables). Nous pouvons appliquer la construction de la définition 2 sur cet ouvert pour construire une courbe $`X`$ de degré $`d2`$ de $`(S_2)`$. En identifiant $`F`$ à $`V𝒪_^1`$, nous constatons que l’élément de $`𝐑_{2n,n}𝐑_{2n,n}^{}`$ ainsi défini a $`X`$ pour image par $`𝚿`$. Nous avons donc construit un morphisme qui a une extension triviale associe la courbe $`X`$ (voir remarque 13 pour une description explicite). Elle est évidement invariante sous $`PGL(U)\times PGL(W)`$, et nous donne une application rationnelle $`\pi `$ du bon quotient de $`\mathrm{Hom}(U\stackrel{ˇ}{W},S_{d2})`$ par $`PGL(U)\times PGL(W)`$ dans l’image de $`𝚿`$.

Réciproquement, la donnée de $`f`$ dans $`𝐑_{2n,n}𝐑_{2n,n}^{}`$ définit la classe modulo l’action de $`PGL(U)\times PGL(W)`$ de l’extension suivante :

$$0U𝒪_^1(n)V𝒪_^1W𝒪_^1(n)0$$

qui est un élément de $`\mathrm{Ext}^1(W𝒪_^1(n),U𝒪_^1(n))`$. Le fait que le terme central est trivial impose que la flèche $`WS_{n1}US_{n1}`$ déduite de l’extension est un isomorphisme. On a donc une extension semi-stable. L’application qui a $`f`$ associe la classe de cette extension modulo $`PGL(U)\times PGL(W)`$ est donc à valeur dans le bon quotient. De plus, elle est évidement invariante sous $`PGL(V)`$ et par dualité (identification entre $`U`$ et $`\stackrel{ˇ}{W}`$). Ainsi elle se factorise par l’image de $`𝚿`$ (au moins sur l’ouvert des points stables). Ceci nous montre que l’application rationnelle $`\pi `$ est génériquement bijective. La normalité de $`𝚿(𝐑_d)`$ permet de conclure ces deux variétés sont birationnelles.

Enfin le quotient précédent est birationnel à la variété des formes quadratiques de rang $`4`$ de $`S_{d2}`$. En effet, notons $`q^{}`$ la forme quadratique de rang $`4`$ sur $`W\stackrel{ˇ}{U}`$ et considérons l’application suivante :

$$\mathrm{Hom}(W\stackrel{ˇ}{U},S_{d2})S^2S_{d2}$$

$$\psi \psi q_{}^{}{}_{}{}^{t}\psi $$

L’image de ce morphisme est la variété des formes quadratiques de rang au plus $`4`$ et la fibre générale du morphisme induit sur les espaces projectifs est $`PGL(U)\times PGL(W)`$. Le quotient est donc birationnel à la variété des formes quadratiques de rang $`4`$.

###### Corollaire 8

. L’image de $`𝚿`$ est rationnelle

###### Remarque 13

. Nous pouvons calculer explicitement le morphisme $`\pi `$ décrit dans la proposition précédente. En effet, soit $`\phi `$ un élément $`\phi `$ de $`\mathrm{Hom}(U\stackrel{ˇ}{W},S_{d2})`$. L’image de $`\pi `$ est donnée par le déterminant de la composée suivante : $`WS_{n2}S_2WS_n\stackrel{\phi }{}US_{n2}`$ vue comme matrice de taille $`2(n1)\times 2(n1)`$ à coefficients dans $`S_2`$.

Considérons $`\phi `$ comme une matrice $`(a_{i,j})_{(i,j)[\mathrm{1,2}]\times [\mathrm{1,2}]}`$ à coefficients dans $`S_{d2}`$ (les polynômes de degré $`d2`$ en deux variables). Si $`Q`$ est un élément de $`S_k`$, notons $`\mathrm{d}_Q`$ l’application $`S_{x+k}S_x`$ définie par $`Q`$ (qui vient de $`S_{x+k}S_kS_x`$). Alors l’image de $`\phi `$ par $`\pi `$ est donnée par le déterminant de la matrice $`2(n1)\times 2(n1)`$ donnée comme une matrice $`2\times 2`$ dont les blocs sont : $`\left((\mathrm{d}_{x^{k+l}y^{2n4(k+l)}}(a_{i,j}))_{(k,l)[0,n2]\times [0,n2]}\right)_{(i,j)[\mathrm{1,2}]\times [\mathrm{1,2}]}`$ pour plus de détails sur les calculs dans les représentations de $`SL_2`$ voir \[SP\].

###### Remarque 14

. Considérons l’espace projectif $`(S^2S_{d2})`$ comme celui des formes quadratiques sur $`S_d`$ qui contiennent la courbe rationnelle normale $`C_d`$ (cf. remarque 7), soit $`Q`$ une telle forme quadratique, supposons que $`C_d`$ ne rencontre pas le lieu singulier de $`Q`$. Notons $`Q_0`$ le lieu lisse de $`Q`$, le fibré tangent $`T_{Q_0}(1)`$ est muni d’une forme quadratique de rang égal à $`\mathrm{rg}(Q)2`$.

Supposons maintenant que $`d`$ est pair, alors un élément général $`Q`$ de $`(S^2S_{d2})`$ vérifie le fait que $`T_{Q_0}(1)|_{C_d}`$ est trivial et on a une identification $`S_{d2}H^0T_{Q_0}(1)|_{C_d}`$. Ce n’est plus vrai si $`d`$ est impair. Ainsi, dans le cas pair nous avons défini une application rationnelle $`p`$ de $`(S^2S_{d2})`$ l’espace des formes quadratiques de $`S_d`$ contenant la courbe rationnelle normale vers $`(S^2S_{d2})`$ l’espace des formes quadratiques de $`S_{d2}`$. De plus, l’image d’une forme quadratique de rang $`k`$ est une forme quadratique de rang $`k2`$.

Remarquons enfin que dans le cas des formes quadratiques de rang $`6`$, l’application rationnelle $`p`$ est la réciproque de l’application rationnelle $`\pi `$ de la proposition 15. Elle est donc birationnelle. De même dans le cas des rang inférieurs à 6, les isomorphismes exceptionnels permettent de montrer que $`p`$ est birationnelle. Je ne sais pas si c’est le cas en général.