III. — De l'addition des systèmes complets

18. Définissons ce qu'on entend par système normal somme de deux systèmes donnés, en supposant toujours que ces deux systèmes soient irréductibles .

Soient deux systèmes | C^ | et IC2I irréductibles et complets définis respectivement par les deux systèmes de surfaces

aoPo +

■ «1 Pi

■piQ,

système

définit un système irréductible qui contient totalement toutes les courbes composées Ci + Co, mais qui peut ne pas être complet. Envisageons alors le système complet | C | défini par une courbe

Hosted by

DES SYSTÈMES LINÉAIRES DE COURBES SUR LES SURFACES. 1 o5

I G| .= ! Gi+G, I.

Il est complètement déterminé par une courbe C^ et par une courbe G2 et, en plus, par les points bases des deux systèmes et le comportement spécifié en ces points.

19. On définit de même un système somme de plusieurs systèmes donnés. Soient | C^ ], | C2 1, | G3 1 trois systèmes. Leur somme sera désignée par le symbole

! G! == |Gi+G,4-G3|,

et il résulte de la définition même qu'on peut, pour la former, effectuer d'abord la somme de | Gi | et de ] G2 1 et ajouter IG3I, qu'on peut intervertir l'ordre des opérations, et remplacer un des systèmes par la somme des systèmes qui peuvent le composer.

Un système double d'un autre | G |, qu'on désigne par la notation I 2 G I est le système | G + G |.

Un système multiple d'ordre A^ de | G |, soit | kC |, est la somme de k systèmes égaux à [ G [.

20. Evaluons le degré du système | G | : ce sera celui du système (i), c'est-à-dire le nombre des points d'intersection variables de deux courbes composées telles que G^ + G2. Si /2^ et 112 sont les degrés respectifs de | Gj | et IG2I, et si i est le nombre des points variables de rencontre d'une courbe C^ et d'une courbe Go, on aura évidemment pour le degré n cherché de | G |

(a) 71 ~ ni -\- n^-{- 1 i.

21. Une autre relation importante est celle qui lie entre eux les genres des systèmes | Gi | et | G2I et du système somme | G |. On l'obtient de la manière suivante :

Hosted by

f06 CHAPITRE V.

Soient TTj et TTo les genres respectifs des deux sjstèmes | G^ | et I Go |, q\ le degré d'une courbe G^ et ^^ le degré d'une courbe G2 sur la surface/; soient en outre \^ et Xo les ordres respectifs d'un même point-base pour les deux sjstèmes.

Effectuons la perspective de deux courbes Gi et Go et d'une courbe G sur un plan arbitraire. On aura pour la perspective delà courbe Gi

hx étant la part provenant des points multiples situés sur les lignes multiples de la surface y, et k\ le nombre des points doubles apparents.

On aura de même pour la courbe Go

La courbe G, étant déterminée par une surface appartenant au système de surfaces adjointes dont l'une détermine la courbe composée Gi + Go; son degré sera égal k q^ -^ q^] elle aura comme points multiples provenant des lignes multiples un nombre de points équivalent à h^ -\- ho points doubles, et ceux provenant des points-bases seront d'ordre "k^ + X2 5 qaiant aux points doubles apparents, leur nombre sera égal à Ar^ + /fo + H, en désignant par H le nombre des points doubles apparents provenant des droites qui, passant par le point de vue, rencontrent à la fois Gi et Go. Par suite, on aura

(Xi-f-X2)()M-!-X2-0.

D'ailleurs, si l'on désigne par / le nombre des points mobiles de rencontre d'une Gi et d'une G2, on a évidemment

qiq^-

Hosted by

Des relations précédentes, on déduit de suite

C'est la relation c[ae nous avions en vue (^),

22. Les définitions que nons avons données précédemment de système complet et de système somme, et les formules qui s'y rapportent, sont relatives à des systèmes irréductibles bien déterminés, dont la dimension, par conséquent, est au moins égale à un, sans tenir compte de la partie û^e qui se trouve appartenir alors à la courbe résiduelle que nous avons désignée par F. Il y a lieu de voir comment les définitions précédentes devront être modifiées lorscpie les systèmes envisagés ne peuvent plus être considérés comme irréductibles.

Tout d'abord, s'il s'agit des systèmes réductibles, sans partie û^e^ c'est-à-dire composés des courbes d'un faisceau, on peut; comme pour les systèmes irréductibles, définir un système complet. La notion de système complet somme de deux autres s'ensuit immédiatement, si les deux systèmes ne sont pas relatifs au même faisceau, c'est-^-dire difi'érents. Le système défini par l'équation (i) du n" 18 est alors irréductible, et il existe un système irréductible normal |Cj-hC2|, somme des systèmes donnés, et dont le degré est égal à 2 ^, i étant toujours le nombre des points de rencontre variables d'une courbe G| et d'une courbe C2. Si, au contraire, les systèmes | Ci | et | Co] sont tous les deux composés des courbes d'un même faisceau, le système (i) est réductible, et le système somme peut n'être plus irréductible.

IV. — Addition d'un système complet à une courbe fLx.Q ou à un point.

23. Supposons maintenant qu'il s'agisse d'un système irréductible avec partie fixe, qu'on peut représenter par la notation

Go-f-l Cil,

(^) Cette relation est identique à celle que Ton rencontre dans la théorie des systèmes linéaires de courbes planes. Elle a été étendue aux courbes sur les surfaces par M. Enriques qui a fait usage à cet effet de considérations assez délicates sur la connexion des surfaces de Riemann; la vérification directe est immédiate, comme le montre le calcul qu'on vient de lire.

Hosted by

dans laquelle Co désigne la partie fixe et | G, | l'ensemble des courbes irréductibles.

Par système complet contenant totalement le système précédent, nous entendrons le système le plus ample ayant la courbe composée Co4-Ci comme courbe totale, et comme points-bases les points-bases de | G^ |, sans rien spécifier relativement à la courbe Go- Pour construire ce système, il suffît par Go^-G^ de faire passer une adjointe ^ d'ordre v suffisamment élevé; soit F la courbe résiduelle en dehors de Go^-G^; l'ensemble des adjointes d'ordre v passant par Pet ayant, avec la surface /, aux points-bases de | G^ |, le comportement voulu, déterminera ce système d'une manière unique. On peut le représenter par | Go-h Gi |, Go étant supposé un système de dimension zéro, sans points-bases. Tl est évident que dans ce cas le degré du système complet n'est pas le même en général que celui du système proposé.

Le système |Go-i- Gi | peut d'ailleurs être réductible ou irréductible. G'est ainsi que le système de toutes les surfaces adjointes d'ordre m — 4? q^^i passent toujours par les courbes exceptionnelles de la surface/, détermine un système complet qui sera réductible si ces courbes existent.

La définition du système somme s'étend d'elle-même. | Gi | et | G2 1 étant deux systèmes quelconques réductibles 3u non, la somme |G^-f-G2| est le système complet le plus ample ayant comme points-bases les points-bases des parties variables de | G^ | et de I G2 1 avec leur comportement.

Remarquons enfin que les formules (a) et ([3), qui donnent le degré et le genre d'un système somme, dans le cas où les systèmes composants sont irréductibles, ne peuvent pas en génél^al être appliquées sans modifications.

24. Donnons encore quelques explications relativement à l'opération qui consiste à ajouter un point à un système linéaire de courbes. Gette locution est fréquemment employée dans les Mémoires de M. Enriques; toutefois, l'éminent géomètre ne nous paraît pas avoir explicitement donné la véritable origine de cette opération.

Envisageons sur la surface / un système linéaire irréductible simple et complet | G | défini par le système de surfaces aoLo + aJ^i — . . .4- a^.L;, = o,

Hosted by

les surfaces L/ étant des surfaces générales du système, ce que l'on peut toujours supposer. Soit O un point simple de f qui soit un point-base d'ordre A du système | C |, et pour simplifier nous admettrons que ce point-base soit unique. Effectuons la transformation birationnelle

LiQ -1^0 LiQ

qui admettra le point O comme point fondamental. A la surface y d'ordre m va correspondre une surface f^ d'ordre n, si n est le degré du système |G|; au système |G| va correspondre le système I G'I des sections planes de/*^, qui n'aura pas de points-bases; au point O correspondra, comme on le voit facilement, une courbe unicursale 0 d'ordre \^ qui n'aura pas, en général, de points multiples. Cela posé, par une courbe C^ et par Q faisons passer une surface adjointe ^' d'ordre v', qui coupe la surface/^ suivant une courbe résiduelle F^, et envisageons le système de toutes les adjointes d'ordre v' passant par F^; elles déterminent un système complet I G'H- Q [ de courbes dont le genre t\! se détermine par la formule (j3) : si n est le genre des courbes G et G^, comme la courbe 0 est de genre zéro^ on aura

De plus, la courbe générale de ce système coupe une courbe G^ en n -\-l. points, et le sj'Stème ] G^ | est déterminé par celles des adjointes ^' qui contiennent ù.

Au système | G^-j- Q | correspond sur/* un système complet que l'on désigne par la notation symbolique

et qu'il est facile de définir. Remarquons d'abord que les courbes G sont des courbes particulières quelconques de ce système, bien qu'elles ne soient pas des courbes générales. De plus, ce système ne peut pas avoir d'autres points-bases, s'il en a, que le point O, puisque, sur/^, le système | G^H- 0 | n'a pas de points bases; sa courbe générale doit couper une courbe G en n-^\ points variables, et son genre doit être égal à tc + X — i . Gela posé, par une courbe G faisons passer une adjointe ^ d'ordre v, et soit F la

Hosted by

courbe résiduelle. Le système j C -H 0 | sera défini par l'ensemJole des adjointes <ï> d'ordre v passant par T et qui se comportent au point 0 de telle sorte que la courbe générale d'intersection coupe une courbe G en n-}-^ points variables, ce qui exige que le point 0 soit pour cette courbe générale dUntersection un point multiple d^ ordre A — ■ \ et non moindre^ puisque, s'il était d'ordre X — 2, il j aurait 72 + 2X points d'intersection variables. Le genre de cette courbe est d'ailleurs bien égal à ?: -h X — i , et ce système contient les courbes C comme courbes particulières.

Il résulte de là que le système [ C + O |, sur /", est le système des courbes de môme ordre que les courbes G, et ayant comme points-bases les points-bases de | C |j mais as>ec un degré de multiplicité inférieur cVune unité. Si donc le point O est de multiplicité un pour I G |, il ne sera pas point-base pour | G -f- O |.

Revenant au système | G'-j- 0 | sur/^, on en conclut encore que ce système coupe 0 en X — 1 points au moins.

Pour évaluer le degré n^ du système | G + O |, on remarquera que le nombre total des points d'intersection de deux courbes G est égal au nombre totalàe?> points d'intersection de deux courbes I G -t- O I ; on aura donc

n -i-- A- = /i 1 -F ( X ~ i )^^ d'où

ni=z 11 — I -j- 2X.

Gette valeur est celle que l'on déduirait de la relation (a) en attribuant au point O ou à la courbe 0 un degré égal à — i.

25. De la définition précédente, on conclut celle du système qu'on représente symboliquement par

|G-hOP| (p^X).

On en déduit que le système |G + Op|, sur/", est le système des courbes de même ordre que les courbes G, ayant comme pointsbases les points-bases de | G |, mais avec un degré de multiplicité é£:al hi\ — 0.

Le degré et le genre du système |G-i-OP| se déterminent de

suite. On a

jicj = n -1- 2X0 — p2, et

o(p-Hi) ' ' 'À.

Pour p = )^, ces deux formules donnent

V. — Soustraction des systèmes complets ; systèmes résiduels.

26. Nous avons défini précédemment ce cjiie l'on devait entendre par système contenu totalement dans un système donné. Nous allons définir maintenant ce que l'on entend par système contenu partiellement dans un système donné.

Soit d'abord un système | C| irréductiljle et complet défini par des adjointes <ï> qui passent par une courbe résiduelle F et ont, en outre, avec ]a surface /des comportements convenables en certains points. Une courbe C^ qui n'est pas une courbe totale de système | G |, mais par laquelle on peut faire passer au moins une surface <ï>, sera dite une courbe partielle du système; il existe alors au moins une courbe résiduelle C2 de | G | par rapport à Gi , telle que la courbe composée Go+Gj soit une courbe G; l'ensemble des courbes Go forme un système cjui est le résiduel de G^ par rapport à \G\^ ce que Ton exprime par la notation symbolique

Envisageons maintenant deux systèmes irréductibles et complets |G| et |G, I telles que la courbe générale de |G< | soit une courbe partielle de 1 G |, on dira c|ue le système | C\ \ est contenu partiellement dans |G|. Quelques explications sont nécessaires pour bien préciser cette définition. Nous avons défini ce c[ue l'on entend par système somme | G | de deux systèmes donnés | Gj | et | G2 1

I G I = ! Cl -f- C2 I et il résulte de cette définition que chacun des systèmes | G^ | et | C2

Hosted by

est contenu partiellement dans | G | et que chacun d'eux est le résiduel d'une courbe arbitraire de l'autre par rapport à [ G |. Nous avons défini aussi ce que l'on devait entendre par système

|Gi = |Gj+Op|, (pSl),

O étant un point-base d'ordre X pour | Gi | : dans ce cas, bien que la courbe G^ soit une courbe totale de | G |, le système | G, | sera dit contenu partiellement dans | G |, parce que la courbe générale de I G, I n'est pas une courbe générale de | G |, et | G^ j sera dit le système résiduel de Op par rapport à | G |.

Dans le premier de ces deux cas, le système | G^ | n'a pas d'autres points-bases que ceux de |G|, et avec une multiplicité au plus égale ; dans le second, il a un point-base avec une multiplicité supérieure. D'une manière générale le système | Ci | peut avoir des points-bases qui ne soient pas bases pour | G |, ou des pointsbases communs avec multijDlicité différente, et la courbe générale de I Gj I peut être une courbe totale de |G|. De ces explications, il résulte que de l'égalité

on ne peut pas, en général, déduire

|Gi -|Gi+G,|,

mais que, réciproquement, si la seconde égalité peut être posée, on peut, comme conséquence, écrire la première, ce qui a lieu dans les deux cas spécifiés plus haut. Nous verrons tout à l'heure comment on peut modifier cette représentation symbolique de manière à comprendre tous les cas.

27. Démontrons maintenant, relativement aux systèmes linéaires irréductibles contenus partiellement dans un autre, un théorème complètement analogue au théorème démontré au Ghap. II, n° 7, relatif aux séries linéaires de groupes de points sur une courbe.

Soit un système linéaire irréductible | G | défini par

où les cp sont des adjointes d'un certain ordre passant par une courbe

Hosted by

DES SYSTÈMES LINÉAIRES DE COURBES SUR LES SURFACES. Il 3

résiduelle F, et par des points-bases avec, en ces points, le comportement convenable. Soit |G, | un second système complet irréductible contenu partiellement dans | G |. Il existe, par conséquent, des surfaces du système (cp) qui passent par une courbe donnée de |C| |, soit G',, et par les points-bases de ce système avec le comportement voulu. Toutes ces surfaces déterminent un système linéaire complet | G^ |, résiduel de G', par rapport à |G|. Nous allons démontrer que ce système résiduel | G!, j est indépendant de la courbe G' de \CA choisie.

Soit I Go I le système résiduel d'une seconde courbe G'J de | G, | par rapport à | G |.

11 suffît évidemment de montrer que F, G', et une courbe G^ sont sur une même adjointe du système (cp). Or, le système |G| est déterminé par les adjointes cp passant par F et une courbe G^. Les trois groupes de courbes ci-dessous sont donc respectivement, par définition, sur une même adjointe cp,