Nous avons défini algébriquement plus haut les courbes

(') Dans son Mémoire déjà cité {Math. Annalen, t. VI), M. Nœther étend aux surtaces le théorème relatif aux courbes, mais sa démonstration est entièrement diflérente de celle que nous venons de donner.

THEOREME DE NOETIIER. I9

adjointes. Pour les surfaces, il y a lieu de considérer des adjointes et des sous-adjointes ( ' ).

Nous nous borneroQS pour le moment à la définition des surfaces sous-adjointes à une surface donnée y*(^, y, z) = o.

Nous dirons qu'une surface (p(ji", y, z)=^o est sous-adjointe à la surface / si une section plane arbitraire de /= o a pour adjointe la section plane correspondante de la surface o (section par le même plan). Il résulte de cette définition qu'une surface sous-adjointe passe par les lignes multiples de la surface et, en particulier, si ces lignes multiples sont telles qu'en un point arbitraire les plans tangents sont différents, une surface sous-adjointe aura une ligne multiple d'ordre/? de la surface comme ligne multiple d'ordre p — i. Relativement aux points multiples isolés, les surfaces sous-adjointes ne sont soumises à aucune condition.

17. Le théorème du reste relatif aux courbes s'applique aussi aux surfaces. Soit /(^ jr, -s) — o une surface d'ordre m, et soit ^(^, y^z)^=o une sous-adjointe d'ordre n. Supposons que cette sous-adjointe coupe la surface /, en dehors des lignes multiples, suivant deux groupes de courbes P et Q. Envisageons deux autres sous-adjointes arbitraires d'ordre /^, soient 'i> = o et y = o, la première passant par P et la seconde par Q : elles détacheront respectivement sur la surface /deux nouveaux groupes de courbes Q' et P'; il s'agit de montrer que les courbes V et <^ sont sur une même sous-adjointe d'ordre n.

La démonstration est immédiate. Considérons les trois surfaces ']^X— ^'/— ^? 0 = 0; un plan quelconque, soit g = ^o, coupe ces trois surfaces suivant trois courbes, pour lesquelles on peut appliquer le théorème de Nœther^ on a alors

¥.^'. y, -0) X(^' J, ^0) = a(^, J, z,)f{x, j,Zo)-i- ?(.r,.jK, ^0) o{x,y, Zq),

a et p étant a priori des polynômes entiers en x et y qui peuvent contenir rationnellement ;jo- On montre, comme précédemment, que a et [^ sont bien des polynômes en Zq, et l'on en conclut que la surface '^(x,y^ z)z= o est une surface, en général d'ordre n,

(^) Cette distinction paraît avoir été faite pour la première fois d'une manière S3^stématiquc par M, Enriques.

20 CHAPITRE I. — THEOREME DE NŒTIIER.

passant par P' et Q', et telle que sa section parles plans :; = const. est l'adjointe de la section plane correspondante de la surface/; nous verrons plus tard que s'il en est ainsi, un plan arbitraire coupe encore la surface ^ suivant une adjointe de la section plane correspondante de/, et le théorème est démontré.

Le théorème du reste s'étend aux surfaces dites adjointes : nous le montrerons quand nous aurons défini ces surfaces.

I. — Série linéaire de groupes de points sur une courbe plane. Série complète. Somme de deux séries.

i. Soilf(x^ y) = 0 une courbe plane algébrique irréductible.

Un système linéaire de courbes de dimension r est défini par une relation de la forme

OÙ les ^ sont des fonctions entières de x^ y et les Ji des constantes arbitraires. Nous supposons que les fonctions ^ sont linéairement indépendantes relativement à y, c'est-à-dire qu'il n'existe pas entre elles de relation linéaire identique de la forme

(2) ao'|^o+ «i»!^!^. ••-+-«/• ^/-^ 6/,

G étant un poljnome, et les a des constantes.

Les courbes ^ peuvent d'ailleurs passer par des points fixes de la courbe/', et l'on peut supposer que ces points sont simples.

Cela posé, l'équation (1) définit, sur la courbe /, une série linéaire de groupes de points g^^^. Le nombre n des points est le degré de la série; ;- est sa dimension.

Le plus souvent, n désigne le nombre des points variables d'intersection. Mais on peut leur adjoindre un certain nombre de points fixes.

Dans tous les cas, on a évidemment la relation

11 est évident que par r + i points arbitraires de la courbe f,

(') La théorie géométrique des séries linéaires de groupes de points est due à MM, Brill et Nœttier {Math. Annalen, t. VII). Nous avons utilisé aussi dans notre rédaction un Mémoire de M. Segrc {Annali di Matematica, t. XXII; 1894) et un Mémoire de M. Bertini (même Volume).

on ne peut faire passer une courbe (i), car il existerait alors entre les fonctions 6 une relation identique (2).

2. Avant d'exposer les propriétés principales des séries linéaires de groupes de points, montrons qu'une série linéaire quelconque o;;, définie par le système (i), petit toujours être obtenue par un système linéaire de courbes adjointes cp, à /, d'un ordre convenable ne dépendant que d'un groupe de points de la série, assujetties, s'il est nécessaire, à passer par un certain nombre de points fixes de la courbe /.

Soit G' un certain groupe de ^•;,, déterminé par une courbe ^ du système (i). Par G', faisons passer une adjointe -/, ce qui se toujours possible, si son ordre est suffisamment élevé.

IMS. 4.

ra

Cette courbe d coupera encore/, en dehors des points multiples, en un certain nombre de points, dont l'ensemble Y' forme ce qu'on appelle un résidu. Soit G un second groupe déterminé par une courbe 'h. Envisageons le produit

qui s'annule pour G, G' et Y' et qui passe par sli'itc par l'intersection de /et 'V. On aura donc, en appliquant le théorème de

Nœther,

.Vf'=o'y+0/;

d'où l'on conclut que cp est une adjointe de même ordre que cp' et qui passe par G et T. On aura donc, sur la courbe /,

d'où

et, par suite, le système^-;;, déterminé par (i), est aussi déterminé

par le système linéaire d'adjointes

dans lequel toutes les courbes o passent par T' .

3. On dit qu'une série g';^ est contenue totalement dans une autre g'^^ lorsque, aj^ant le même degré /i, tout groupe G' de la première est un groupe delà seconde.

Une série linéaire est normale ou complète lorsqu'elle n'est pas contenue totalement dans une série de même degré, mais de dimension supéiieure.

Lorsqu'une série n'est pas complète, on désigne sous le nom de défaut de cette série, la différence entre les dimensions de la série complète et de cette série.

Le théorème fondamental relatif aux séries linéaires est le suivant :

Si une série linéaire n'est pas complète, il existe une série linéaire complète et une seule, de même degré, cjui la contient totalement.

En effet, soit G un groupe d'une série ^^^, toute série linéaire contenant totalement G est déterminée par un système linéaire d'adjointes, assujetties à couper/, en dehors des points multiples, en un certain nombre de points fixes, le résidu T considéré plus haut.

(considérons toutes les adjointes indépendantes passant par F, elles formeront un certain système linéaire de dimension r'

|S| aoÇo-H aicpi-^. . .^ a/.'cp,.'=^ o,

et de degré n. Ce système détermine une série linéaire g''^ qui contient nécessairement ^>^^ et toutes les séries qui ont avec g^, un groupe commun, d'où l'on conclut immédiatement le théorème énoncé.

De ce qui précède résulte encore qu'un groupe arbitraire de n points détermine complètement une série complète, et que le système linéaire de toutes les adjointes d'un ordre donné, assujetties ou non à passer par des points fixes de la courbe /, déterminent sur cette courbe une série complète.

vi4 CHAPITRE II.

La démonstration précédente nous indique en même temps le procédé qu'il faudra employer pour reconnaître si une série gj"^ déterminée par un système linéaire donné est complète ou non. Il suffira de la comparer à la série déterminée par le système linéaire des adjointes d'un ordre convenable qui passent par le groupe résiduel F de points fixes défini plus haut.

Faisons encore la remarque que le système linéaire de toutes les courbes d'un ordre donné ne découpe pas nécessairement sur une courl)e donnée une série complète. On s'en rend compte en considérant par exemple la série déterminée sur une courbe par toutes les droites du plan, et appliquant les considérations précédentes.

4. Si une série complète a des points fixes, la série que V on obtient en retranchant ces points fixes en partie ou en totalité est encore complète, car si cette série était contenue totalement dans une autre, en ajoutant à cette deuxième les points retranchés, on obtiendrait une série contenant totalement la série proposée.

La réciproque de cette proposition n'est pas vraie : Si, à une série complète, on ajoute des points fixes, la série nouvelle peut n'être pas complète. Ainsi, soit une courbe d'ordre m sans singularités; toutes les adjointes d'ordre n <^m — \ (qui sont des courbes arbitraires d'ordre n) déterminent une série linéaire com-

plète f^ - . Si, à cette série, on ajoute m points fixes en ligne

//fn4-3)

droite, on obtiendra une série ^ ^ qui ne sera pas complète,

{n 4-lK«-t-31

puisqu'elle est évidemment comprise dans la série ^ ^ , déterminée par toutes les adjointes d'ordre /? -H i <C m.

5. Somme de deux séries complètes. — Soient deux séries complètes g'„\, ^'„; que nous supposerons d'abord telles que deux groupes généraux n'ont pas de points communs (fixes, par conséquent). Pour définir la somme de ces deux séries, on prend un groupe G„^ de la première, un groupe G„., de la seconde : ces 7i,-i-/i2 points forment un groupe G,,^^;^., qui individualise une série complète, gn,+n, q"i est appelée la somme des deux séries. Elle contient évidemment tous les groupes que l'on peut former

en associant un groupe arbitraire de la première à un groupe arbitraire de la seconde. Nous exprimerons souvent cju'une série complète est la somme de deux autres par l'égalité symbolique

Le cas où il y a des points communs est un cas limite facile à traiter.

Soit, par exemple, à additionner (^;^ + ^;;:), tous les groupes des séries^;; et ^;;'- ayant un point commun P nécessairement fixe, • il faudra, pour définir cette somme, employer des adjointes tangentes en P à y.

Dans le même ordre d'idées, une série normale définie par le point P compté r fois et par un groupe de points G, sera déterminée par des adjointes passant par G et rencontrant la courbe en r points confondus en P.

6-. Série contenue partiellement dans une autre. — Soit g'^^ une série linéaire, et G^ un groupe de points {s <i n). Ce groupe sera un groupe partiel de la série, si G^ est contenu dans un groupe G„ de points appartenant à ^J^. Il y aura donc au moins un groupe G„^ appartenant à ^j; et tel que

Il pourra exister une infinité de groupes G//^ : ils formeront une série linéaire résiduelle de G^ par rapport ci g'^^. On l'obtiendra en prenant toutes les courbes du système

définissant ^;^, qui passent par G^. Cette série sera complète si la première est complète ; son degré sera égal k n — 5 et sa dimension sera /' — p, en désignant par p le nomljre de conditions auxquelles doit satisfaire une courbe du système (a) pour passer par les s points du groupe G^.

7. Étant données deux séries complètes g'^^ et g';^, (n' < n), si le groupe général G„' de la deuxième est un groupe partiel de la première, on dira que la série g'^. est contenue partiellement dans la série g'^^ .

Soil G/i' lin groupe de ^^'i; considérons la série résiduelle de G,/par rapport à g^^^. Nous allons montrer que cette série résiduelle gn-n' est indépendante de G„', d est-à-dire qiûelle est la même, quel que soit le groupe On' de g'^,î< dont on est parti. Cette proposition est une conséquence du tliéorème du reste. Considérons un groupe de ^J"^

formé de Q,i' et d'un groupe de gn-n''

Par G,i, faisons passer une adjointe qui coupera encore / en un groupe résiduel F. La série ^'^ sera définie par tontes les adjointes passant j)ar F- la série ^^' sera définie par toutes les adjointes passant par F et par (jn-n''-, ^'^ série gn-n' sera définie par toutes les adjointes passant par F et (ja'- Désignons par H/^ un autre groupe de g'n, et par G)j„. un groupe arbitraire de gn-n'' »Il suffira de démontrer que les groupes F, G,',„. et H„' sont sur une même adjointe. Or, F, (j,i^n' et Çx,i' sont sur une même adjointe \ il en est de même de F, (jn-n' et H,^', et de F, G^„, et Çfn'\ donc F, Gij„'et H/^' sont aussi sur une même adjointe.

II. — Degré et dimension d'une série complète; séries spéciales et non spéciales.

8. Nous nous occuperons en premier lieu du degré et de la dimension des séries complètes déterminées par toutes les adjointes d'un ordre donné et qui, par ailleurs, ne sont assujetties à aucune autre condition.

Soit une courbe / d'ordre m (avec d points doubles) : nous remarquerons d'abord que la dimension du système linéaire des adjointes d'ordre v est égale ou supérieure à

suivant que les conditions auxquelles la courbe générale du système doit satisfaire pour passer par les points doubles, sont ou ne sont pas indépendantes.

Dans le cas de l'égalité, le système est dit régulier.