SYSTKJIK ADJOINT A UN SYSTEME LINEAIRE DE COURBES

Le système

|2G„— 2G — ^:so|

esl donc un système parfaitement déterminé. C'est à ce système que M. Enriques a donné le nom de système bicanonique. Le nombre P des courbes bicanoniques linéairement indépendantes est évidemment un invariant et s'appelle le bigenre de la surface. On pose P ::!:: o SI Ic Système [aC] n'est pas contenu dans |'iG,,I, et P = I , si le système résiduel I^C^ — ^ aCj se compose d'une seule courbe ou si le système 'xQ^a coïncide avec le système aC.

43. Relativement à la série de groupes de points qu'une courbe bicanonique découpe sur la courbe générale d'un système irréductible, on a l'énoncé suivant :

Une courbe bicanonique arbitraire découpe sur la courbe générale d'un système irréductible |Cj un groupe de points qui, ajouté à deux groupes de la série caractéristique de |C| et aux pointsbases de jC| comptés avec le double de leur degré de multiplicité, constituent un groupe de la série g\T.^\^ tz étant le genre d'une courbe C.

44. Proposons-nous maintenant de construire le système bicanonique sur une surface, s'il existe. Bornons-nous au cas d'une surface qui n'aurait que des singularités ordinaires, courbe double avec points triples, ou plus généralement une courbe multiple ordinaire d'ordre /, sans points isolés, en sorte que les systèmes des surfaces adjointes et sous-adjointes coïncident. Soit |C| le système des sections planes d'une pareille surface. Cherchons quel est le système de surfaces adjointes qui déterminera le système bicanonique. Or, chaque courbe bicanonique coupe une courbe C en 47: — 4 — 2/i points, comme il résulte de la remarque précédente (n°43). Ce dernier nombre peut s'écrire sous la forme

4 ~ — 4 — 2/1 = 2- — 2 -i- 2 Tï — 2 2 n = 2 - — 1 ^ ii{n — J ) — i{i — 1 ),

d'où l'on conclut que le système bicanonique est découpé par des surfaces adjointes d'ordre n — 3 -f- /? — 5 = 2/i — 8, mais non par le système total de ces surfaces. I! faut envisager seulement celles qui, le long de la ligne multiple d'ordre /, ont un comportement tel que les sections, par un plan général, de la surface

l48 CHAPITRE M.

considérée et de l'une de ces surfaces adjointes aient, aux points de rencontre avec la ligne multiple, i[i — i) points de rencontre condensés en plus des i{i — i) points qui s'y trouvent déjà, en vertu de la définition des surfaces adjointes. C'est donc un total de 2f(/ — i) points, qui se réduit, pour ?= 2, à 4- Donc, dans le cas d'une surface n'ayant ciu une courbe double avec points triples, le système bicanonicjue est déterminé par celles des surfaces adjointes d'ordre 2/? — 8 qui admettent la courbe double comme ligne double. Le nombre de ces surfaces biadjointes, linéairement indépendantes et ne contenant pas la surface f^ est égal au bigenre (').

4o. Donnons quelques exemples de surfaces ayant le genre géométrique nul et un bigenre P > o.

Considérons d'abord, avec M. Enriques, une surface du sixième ordre ayant pour lignes doubles les six arêtes d'un tétraèdre, et par suite les quatre sommets comme points triples. Une telle surface a une équation de la forme

fi^X.X^X-^, XiXzX'^, X1X.2X:,, XjXoXz) -^ :ria^2-ï"3^i?2(-2"l. Xî, X3, Xi) = o,

où /a et Oo sont des formes quadratiques : la première des produits X2X3XJ,, ... la seconde des -variables ^,, ^To, x^, x.-,, les faces du tétraèdre ayant pour é(|ualions :r, = .To = x-^ = .r^ = o. Cette surface n'a pas de points multiples isolés, et sa section par un plan arbitraire, même passant par un des sommets, est une courbe de genre constant égal à 4- Les surfaces adjointes à une pareille surface doivent passer simplement par les six arêtes du tétraèdre. Il n'existe pas de surface adjointe du second degré, c'est-à-dire de surface canonique, donc/>o^= o.

D'autre part, le nombre des conditions pour qu'une surface de degré n contienne les six arêtes du tétraèdre est égal à Cm — 2 ; le

(') L'imporlance du bigenre P ressortira suffisamiiicnt il'un théorème extrêmement remarquable dû à iM. Castelnuovo, que nous ne pouvons malheureuse- | ment qu'énoncer ici : La condition nécessaire et suffisante pour qu'une sur- \ face soit unicursale est que l'on aitp^=o,P = o (Castelnuovo, Menioria \ premiata dalla Società Jtaliana dette Scienze, 1896). Il est bien curieux que l'égalité à zéro de deux nombres invariants relatifs à la surface suffise pour qu'elle soit unicursale.

SYSTÈMI:: ADJOINT \ UN SYSTEME LINEAIRE DE COLUBES. l îi)

genre numérique de la surface est donc égal à

Pn = ■ jT b.-2—-2 = 0.

Il existe, au contraire, une surface adjointe d'ordre 2/? — 8 = 4 passant deux fois par chaque arête du tétraèdre, c'est le système des quatre faces de ce tétraèdre, donc

46. Voici un second exemple dû à M. Castelnuovo : une surface du septième ordre ayant une droite triple, une conique double ne coupant pas la droite, et trois tacnodes dont les plans tacnodaux passent par la droite, a les caractères pg = p,^^= o, et P= 2. De plus les courbes bicanoniques variables sont des quartiques elliptiques sur des plans passant par la droite triple.

Voyons d'abord comment on peut construire une pareille surface. Sur une surface cubique générale /s = o, fixons une droite r et une conique A" n'ayant pas de points communs avec la droite. Par r, comme on le voit facilement, passent cinq plans qui sont tangents à fs en des points extérieurs à /•. Soient a = o, ^ = 0, Y:= o trois de ces plans, A, B, C leurs points de contact, et 0 = o un plan arbitraire passant par /•. La surface

est bien une surface du septième ordre satisfaisant à l'énoncé.

Une deuxième s'obtient en considérant une surface du quatrième ordre /■, = o, passant doublement par la conique A", touchant les plans a, [i, y, en A, B, C, et à laquelle on adjoint les trois plans aSy = o, soit

La surface générale du faisceau

est une surface indécomposable du septième ordre satisfaisant h l'énoncé.

Les surfaces adjointes à une pareille surface sont d'ordre .J. elles doivent passer simplement par la conique A, doublement par

l5o CHAPITRE VI.

la droite ;•; chacune de ces surfaces doit donc déjà se décomposer en le plan de la conique k et en deux plans passant par r. Mais la surface possédant trois tacnodes A, B, C, les surfaces adjointes doivent passer par ces points, c'est-à-dire que les deux plans passant par /• devraient les contenir, ce qui n'a pas lieu généi^alement. Donc il n'existe pas de surface du troisième ordre adjointe à F-, et l'on a par suite

Calculons p,i. Une surface du troisième degré dépend de vingt coefficients. Le nombre des conditions pour qu'une pareille surface ait comme courbe double une droite donnée est égal à lo, pour qu'elle passe par la conique k est égal à 7, et pour qu'elle passe par les points A, B, G égal à 3; soit 20 conditions simples, donc

Pn = O.

Une surface biadjointe sera de l'ordre (i, devra passer deux fois par la conique /•• et par la droite /•, de manière que le nombre des points de rencontre des sections planes correspondantes de cette surface et de la surface F7, condensés au point de rencontre de la droite et du plan, soit de 21(1 — i) = 12 (?' = 3) : ce qui exige que la surface biadjointe passe trois fois par la droite /' et ait, en outre, [ en chaque point de cette droite, les mêmes trois plans tangents que la surface F7. Elle doit, en outre, loucher les plans a, [j, y aux points A, B, C.

Ces conditions exigent que la surface biadjointe se décompose en le plan de /: et en une surface du cinquième ordre '^g passant ti'ois fois par /• avec les mêmes plans tangents que F^ en chaque point de cette droite, une fols par A, et tangente aux plans a, [3,, y en A, B, C. Or un plan arbitraire passant par ;• touche F7 en quatre points variables avec le plan puisque la surface F^ n'a pas, comme on le voit facilement, de points quadruples sur /■. Donc ce plan doit toucher aux mêmes quatre points la surface 05 qui passe trois fois par /'. Cela exige que cette surface passe non seulement trois fois mais quatre fois par /■, et par suite, en tenant compte des autres conditions, elle devra se décomposer en le plan de A' et en quatre plans passant par /-, à savoir les trois plans a, j3, y, et un quatrième plan variable qui détermine sur F7 la partie va-

SYSTÈME ADJOINT A LX SYSTEME LINEAIRE DE COURBES. IJl

Viable de la courbe bicanonique générale. On a donc bien

el la courbe liicanonique est une quartique avec deux points doubles.

47. De la notion de système bicanonique on passe naturellement, ainsi que l'a montré M. iMiriques, à la notion des systèmes i fois canoniques, et qui sont définis de la maniè-re suivante : partant toujours de la relation fondamentale

en supposant pour plus de simplicité que les systèmes [Ci | et [Col n'ont pas de points-bases, on tire

I iCi,/ — i'Ci I — [ iC-2a — f C2 1 ~ I Ki|.

si le système U'Ci„| contient le système [/C| [, et ce système jouit de la propriété d'invariance. 11 se jjeut que le système jC„j ne contienne pas |C{, ni le système laC^I le système jaG], mais qu'on puisse déterminer l'entier i de manière que le système |fCrt| contienne \iC\. Le système i fois canonique ainsi défini fournira alors de nouveaux caractères invariants de la surface, en particulier le nombre P/ des courbes i fois canoniques qui sont linéairement indépendantes, le genre de ces courbes, etc.

11 peut arriver que le système [lx^| n'existe pas, quel que soit i. On le vérifie de suite pour le plan, pour une surface réglée quelconque et, en général, pour toute surface contenant un système |C| de genre -, dont deux courbes ont plus de 2- — 2 intersections variables.

Quelques remarques relatives aux surfaces réglées ( ' ).

48. Nous avons laissé de coté, dans la section précédente, les surfaces réglées et plus généralement les surfaces sur lesquelles existent un système linéaire de courbes | G | et un faisceau de courbes j D |, linéaire ou non, tels que la courbe générale du premier ne soit coupée qu'en un point par la courbe générale du se-

(') Voir à ce sujet difTt-ients passages de Vlntroduzione de M. Enriques, particulièrement les n"' 21 el 24.

oond D, qui est alors forcémenl unicursale. De pareilles surfaces ont d'ailleurs évidemment pour images des surfaces réglées sur lesquelles les courbes correspondant au système | C | sont des directrices.

Nous avons déjà vu (t. I, p. 194) q^e pour ces surfaces, sur lesquelles il existe un faisceau de courbes unicursales, le genre géométrique pçr était nul, et nous avons trouvé, pour les surfaces réglées (t. 1, p. 241), une valeur de />« égale à — tt, 7: étant le genre d'une section plane quelconque de la surface.

Pénétrons un peu plus avant dans l'étude de ces surfaces, et demandons-nous si les différents théorèmes qui nous ont servi, dans ce Chapitre, pour établir l'invariance de /?« sont applicables aux surfaces réglées. En d'autres termes, l'égalité fondamentale

est-elle applicable aux surfaces réglées?

Pour l'établir nous sommes partis de ce fait, à savoir que sur une surface y de degré m, dont j G | est le système des sections planes, le système adjoint au système |(/"4- i)C | était déterminé par les surfaces adjointes d'ordre m — ■ 3 -}- /-(Chap. \ I, n°^ 11 et 39). Si cette propriété s'applique aux surfaces réglées, on verra facilement, sans qu'il soit besoin d'insister, comment on peut conclure à l'invariance de o(rC) et aux autres formules fondamentales, qui y sont relatives.

Nous nous proposons donc de démontrer que :

Sur une surface réglée cV ordre m, les courbes adjointes au système \{r -\- \)Q,\, |Cj étant le système des sections planes, sont les intersections de cette surface, en dehors des courbes multiples, avec les surfaces adjointes d' ordre m — Z -\- r.

49. V^oici d'abord un premier lemme relatif aux surfaces qui possèdent un faisceau de courbes unicursales D. Ce faisceau peui ne pas être linéaire, mais il est évident qu'on peut former avec ses courbes un faisceau linéaire de courbes dont chacune sera composée d'un certain nombre s suffisamment grand de courbes D: soit

(1) aoMo-f-aiMi = o,

le système de surfaces, qui détermine ce faisceau.

SYSTÈME ADJOINT A IN SYSTEME LINÉAIRE DE COURBES. l53

Soit alors sur la surface un système linéaire irréductible | C | de courbes, dont la courbe générale coupe une courbe D en o >» i points variables, et soit

(2) aol-o^ ^1 I>i" X2L2 -+-...= o,

le système de surfaces qui le détermine, et dont nous ne considérerons qu'un réseau. Au moyen des deux systèmes précédents, on peut, comme nous l'ayons yu (t. I, p. 202), obtenir une image F de la surface qui soit telle que les courbes du faisceau (i) correspondent aux sections planes faites sur la surface F par un faisceau de plans passant par une droite « et que les courbes du système |C| soient représentées par les sections planes d'un réseau de plans passant par un point O pris en dehors de a.

La droite a pourra d'ailleurs être une droite multiple de la surface F; soit i' son degré de multiplicité. Un plan quelconque passant par a coupera la surface suivant s courbes D, et un plan passant par O coupera une courbe D en p points, de sorte que chacune de ces courbes est, sur la surface F, d'ordre 0, el l'ordre m de la surface est par suite égal à

De plus, la surface F n'est pas réglée. Le système des courbes adjointes à | C | sera donc compris dans le système des courbes sous-adjointes déterminées par des surfaces sous-adjointes ^'ffî:t à F, lesquelles ont la droite a comme courbe multiple d'ordre i — I . Une surface ^',„3 coupera donc un plan arbitraire passant par a suivant une courbe d'ordre ni — ^2 — / qui devra être adjointe à la courbe plane correspondante de la surface F, composée de s courbes D. Or une pareille adjointe appartient, comme nous l'avons vu, au système somme de s — i courbes D et d'une adjointe d'ordre m — 2 — i — l^s — -1)0 = 0 — 2 à la çieme courbc D situéc dans le plan considéré. De plus, deux courbes D, qui n'ont aucun point yariable d'intersection, ont en commun leurs points multiples, qui appartiennent aux lignes multiples de F, et dont le nombre, puisque la courbe D est unicur-

sale, est équivalent à — — points doubles.

Le nombre des points d'intersection yariables d'une pareille

adjointe avec une courbe D sera donc égal à

D où renoncé du lemme que nous avions en vue :

Si/r une surface possédant un faisceau de courbes rationnelles!)^ les courbes adjointes à un système linéaire irréductible I C I dont la courbe générale est coupée en p points variables par une courbeT), coupent cette courbe D en p — 2 points au plus.

Nous disons au plus puisque nous avons considéré le système des surfaces sous-adjointes.

50. Comme première conséquence de ce lemme nous vojons que si 0 = i (c'est le cas des surfaces réglées), le système \ C | n'admettra pas de courbes adj ointes . Si, en effet, le système | C| admettait un système adjoint | C^ | le système j aC j aurait pour système adjoint | C -h C^ |, dont la courbe générale couperait la courbe D en un point au moins, ce qui est impossible puisqu'une coui'be 2C coupe une courbe D en deux points et qu'une courbe adjointe à | 2C | ne peut couper cette courbe D qu'en p — 2=0 points au plus.

Par suite encore une surface réglée d'ordre m ne possède pas de surface adjointe d'ordre m — 3.

51. Ce dernier résultai peut d'ailleurs se déduire immédiatement d'une remarque générale relative au nombre des points de rencontre d'une surface adjointe ^m-^+r à F, si elle existe, avec une génératrice de F. Un plan passant par une génératrice a coupe en outre la surface F suivant une courbe C d'ordre m — i, qui coupe la génératrice, en dehors des courbes multiples, en un seul point variable avec le plan, de sorte que le nombre des points de rencontre de la génératrice avec les courbes multiples est équivalent km — 2.

D'autre part, la section par ce plan d'une surface adjointe ^TO 3a./- est une courbe d'ordre m — 3 + /■ qui passe parles points multiples fixes de C sur la droite a, et s'y comporte comme cette courbe; donc elle eoupe a en /■ ^ i points, et, par conséquent :

SYSTEMK ADJOINT A UN SYSTEME LINEAIRE DE COURBES. l'jti

Les surfaces ^,n v,j^r adjointes à une surface réglée F d'ordre m coupent les génératrices, en dehors des courbes multiples, en r — i points variables.

52. Ces préliminaires étant posés, nous sommes en mesure de démontrer la proposition énoncée au n" 48. Soit G'^j^' une courbe adjointe au système |(/'H-i)C|, c'est-à-dire au système découpé par les surfaces d'ordre ;■ + i . On verrait d'abord facilement qu'elle coupe la section plane générale C en un groupe de points qui appartiennent à une adjointe plane d'ordre jn — ?)-\-r. Reprenons alors la proposition démontrée précédemment (n° 20 de ce Chapitre); en vertu de laquelle toute courbe qui jouit de la propriété de couper un plan arbitraire suivant un groupe de la série g-2Tz-i+rm appartient à une surface sous-adjointe d'ordre m — 3 + r, sauf le cas, laissé de côté, où la surface serait réglée. En procédant de la même manière, on voit d'abord que la courbe C'^^' est la section partielle de F, en dehors des courbes multiples, avec une surface adjointe ^w-z+r^oi^-^)^ et qui peut contenir encore une ou plusieurs courbes planes, appartenant à des plans passant par l'axe d du faisceau de plans qui a servi à construire la surface <I>.

Ces courbes, qui rencontrent la droite «'Z aux points où elle coupe la surface F, ne peuvent être, dans le cas actuel, que des génératrices de la surface, et, dans tous les cas, ce sont des courbes qui n'ont aucune intersection variable avec le plan général du faisceau. Les points de rencontre variables de la surface ^m-?,+r+ç 3vec une génératrice arbitraire, en nombre /• -h p — i (n" 51), sont donc les points de rencontre variables de cette génératrice et de la courbe C'^"^'. Or la courbe générale du système !(/■ 4- i)C ] coupe une génératrice en / •+ i points, par suite, en vertu du lemme du n° 49, la courbe C'^^' ne peut couper la génératrice qu'en (/• + i) — Q.=L 1- — i points au plus, ce qui exige p = o, d'où le théorème énoncé (n" 48) et qui complète le théorème du n° 20 :

Sur une surface réglée ou non d'ordre m, les courbes adjointes au système découpé par les surfaces d'' ordre r-\-i (/' >• o) sont les sections de cette surface, en dehors des courbes multiples, par des surfaces adf ointes cV ordre m — 3 + ;•.

l56 CHAPITRE VI.

53. De ce ihéorème résulte, comme nous lavons dit, que les différentes propositions que nous avons énoncées relativement à l'invariance de p,i s'appliquent aux surfaces sur lesquelles existe un système linéaire de courbes dont la courbe générale n'est coupée qu'en un point par la courbe générale d'un faisceau de courbes imicursales. \ous en ferons une application au calcul du genre numérique d'une surface réglée.

Une surface réglée d'ordre ?n a des équations qui peuvent toujours s'écrire sous la forme

X = az -^p, y = bz-^ q,

çi; a, [3) = o,

«, è, /j>, q étant des fonctions rationnelles de a et ^3, et es (a, |j) ^ o étant une courbe algébrique plane dont le genre t: est le genre d'une section plane de la surface.

A cette surface correspond donc birationnellement le cylindre ç/(a, |i) = o, ou plus généralement un cône d'ordre m^ et dont la section plane est de genre -, et dont le genre numérique /?„ sera celui de la surface réglée.

Nous sommes ramenés ainsi à calculer le genre numérique/» ,; d'un cône d'ordre m avec d droites doubles. Or une surface adjointe d'ordre ij. aie sommet comme point multiple d'ordre m — a, soit

conditions. Elle doit contenir, en outre, chacune des d droites

doubles, soit

c? [ ji. -i- 1 — (m — 'i )]

conditions. Donc la dimension au^rmentée de un du svstème des adjointes d'ordre ui est nuinéviqiiement

(a — i)( ;jL — 2)(a-^ 3) mim —\){m — 1) ,, ë 6 rf(:a-o-m),

et par suite le genre numérique />„('jl = /?? — 4) est égal à

mim — \)(m — 1) / . ('" — i)(/»— 2)

résultat que nous avions obtenu par une autre voie ( t. I, p. 241).

svstèmp: adjoint a ln système i.inkaike di: col hues. liy

54. Cherchons quelles sont, pour une surface réglée, les valeurs des défauts o(/-C) et to/;.

De la formule

on conclut, puisqu'une surface réglée n'a ni surface adjointe d'ordre m — /(j ni surface adjointe d'ordre m — 3 (N„2 i =: N,„3 = — i), en faisant /■ = o,

Appliquant ensuite la relation

o[(/'-^-i)C] — o(/-G ) = tO,„,3 H,..

on trouve

et enfin de la relation

Pg— Pn= -WA,

qui se réduit ici à

on conclut et par suite

La valeur maximum de o(/-C) est donc t:, et tous les défauts co/, sont nuls à partir de h^= ni — 2, le premier (:o,„3 ayant une valeur virtuelle égale à t:.

55. Terminons par une remarque relativement au svstème de courbes déterminé sur une surface réglée par les surfaces adjointes d'ordre m — 2. En vertu du théorème démontré (n° 51 ), ces surfaces adjoinles ne peuvent couper la surface que suivant des génératrices, puisque le nombre /■ — 1 des points d'intersection variables est ici égal à zéro {r = i). D'autre part, nous venons de \oir que les surfaces adjointes d'ordre m — 2 coupent un plan arbitraire suivant le système total des adjointes planes de même ordre à la section plane correspondante de la surface réglée (oj,„ o^^t))' Donc le système des surfaces adjointes d'ordre m — 2 détermine sur cette sur/ace un système de dimension

l58 CHAPITRE VI. — SYSTÈME ADJOINT A UN SYSTEME LINÉAIRE DE COURBES.

— — 2 + m dont chaque courbe est composée de i~ — i -t- m génératrices.

Les systèmes de courbes déterminés par les surfaces adjointes d'ordre m — i -^ h s'obtiendront successivement en ajoutant au système précédent le système des sections planes |Cj, le système I 2C 1, .... le système | A C |.

Nous avons dit que sur une surface réglée il n'existait pas de système adjoint au système des sections planes d'ordre m — 3, mais il est possible de construire un système de courbes sousadjointes à ces sections planes, composées chacune d'un nombre convenable de génératrices. Le point à remarquer est qu'un pareil système ne })eut être obtenu comme la section totale, en dehors des courbes multiples, de la surface réglée par un système de surfaces adjointes.