ICI - |Mi-g;-20^I

|Mi| = |G-f-G'i-i-SO^i.

Or, nous avons vu (n° 29) que le système défini par

est un système complet partiel de sous-adjointes à |G|, mais qu'il n'est pas, en général, le système total si le système |G| a des courbes fondamentales.

On donne le nom de système adjoint à jGj à ce système partiel. Il est donc défini symboliquement par

|Gial = IMi«-G;-SO^-M.

Pour que le système adjoint à |G| existe, il faut donc, d'après cette définition, que le système |M<«} contienne partiellement |G'J.

Il faut, en outre, pour que cette définition ait un sens précis, montrer qu'elle est indépendante du système particulier |Mi| pris comme point de départ. Soit donc [Mo] un second système pur non singulier, tel que l'on ait

IM2I = I G 4- g; 4- 2 0)^-1 1.

Formons le système-somme

l4o CHAPITRE VI.

On a

lMaI-lM,a--M,! -IM,-M2«|

et, par suite,

Mais, par hypothèse, le système \M^a\ contient partiellement ]C', j : on peut donc, de cette relation, conclure (Ghap. V, n« 26)

;M,a-G;-SO>>-iI -lM,«-G^-SO>-i|.

Parla se trouve bien justifiée la définition du système adjoint \Ca\ à un système |C irréductible quelconque.

34. Nous arrivons maintenant au tliéorème fondamental de M. Enriques que nous avons déjà énoncé (n° 9) :

Soient \Ci \ et ICo] deux systèmes linéaires de courbes sur une surface, le système |C,«| adjoint au premier^ additionné au second, donne un système [G, «-h Go] qui est contenu dans le système |G«1 adjoint à \C\ - [G, -+- G^l et cjui en dijj'ère seulement en ce que tout point-hase d^ ordre Xo pour jGol et non hase pour jG<| est d'ordre 1^ pour |G,a-4-GJ| et d'ordre À.— i pour jGrt|.

Ge théorème est une conclusion immédiate des définitions précédentes. Il suffit d'effectuer les opérations de l'adjonction sur les systèmes définis par les égalités symboliques

1M,1 ^iGi-^G'i-i-SOl-!,

|M2j-|G2-f-G;-i-EOVl,

1M| = Mi-i-Mal - iG-i-G\-i-G'2-f-20V-^SO"^'|.

On en conclut

lGa!= iG,a^-G2+^02| = |G2«+G,+ 20,', ce qui est l'expression du théorème énoncé.

35. De ce théorème on conclut, comme aux n"* 10 et 11, que si IG2I est le système résiduel d'un système |G| par rapport à un

SYSTÈME ADJOINT A UN SYSTÈME LINÉAIRE DE COURBES. l4l

système |G,1 qui y est contenu partiellement, en sorte que l'on a

le système adjoint |G«| de |G| se déduit du système |C,«| adjoint à |Ci| par l'opération

A désignant les points-bases de iC,| non bases pour |C|, et B les points-bases de |G| non bases pour jG,! et, par conséquent, bases pour|G2|.

36. Remarquons encore que, des développements précédents, il résulte que dès que l'on connaît le système adjoint à un système donné, on peut, par de simples opérations d'addition et de soustraction efïectnées sur la surface, en déduire le système adjoint à un système arbitrairement donné.

37. Au point où nous en sommes, il ne sera pas inutile de mettre de nouveau en évidence les différences qui existent entre les deux méthodes qui nous ont servi à définir le système adjoint.

Dans la première, nous plaçant au point de vue transcendant, nous avons commencé par définir les surfaces canoniques et les surfaces adjointes. Puis, supposant qu'il existe un système canonique^ c'est-à-dire que/?o^>o, et partant de la propriété d'invariance de ce système, déduite de l'étude des intégrales doubles de première espèce, nous avons défini alors le système adjoint; nous nous sommes placés dans cette première méthode à un tout autre point de vue que M. Enriques.

Dans la seconde méthode, au contraire, laissant absolument de côté le point de vue transcendant, et n'employant que des opérations purement algébriques et géométriques, nous avons d'abord, avec M. Enriques, étudié les propriétés des systèmes sous-adjoints et nous en avons conclu une définition des systèmes adjoints, sans faire jusquà présent aucune hypothèse sur r existence ou la non-existence du système canonique qui n'est pas encore défini, et nous sommes ainsi arrivés au théorème fondamental.

Avant d'aborder la question du genre numérique des surfaces de genre géométrique nul, il y a évidemment lieu de voir com-

l^l CHAPITRE VI.

ment, ayant défini le système adjoint par ce dernier procédé, on arrive ensuite à la notion du système canonique et si ce système est le même que celui aucpiel nous avons donne ce nom en nous appuyant sur des considérations de nature transcendante. En d'autres termes, il s'agit de voir si les deux définitions du genre géométrique auxquelles on arrive par des procédés différents sont bien les mêmes.

Puis il nous restera encore à définir les surfaces adjointes.

38. La définition du système canonique, au point de vue algébrique, est une conséquence du théorème fondamental. De l'égalité

d'où la conclusion suivante, qui est la réciproque d'une proposition énoncée (n" 8) :

Si, sur une surface, un système irréductible est contenu dans son système adjoint, tout autre système irréductible est aussi contenu dans son adjoint. Chaque système sur la suif ace a donc, par rapport à son adjoint, un système résiduel qui, à des points-bases près, est indépendant du système choisi pour le construire.

Ce système résiduel est, par définition, le système canonique de la surface, et sa dimension augmentée d'une unité est le genre géométrique de la surface.

On a donc, pour définir ce système, |C| étant un système arbitraire et O ses points-bases, l'égalité

iKl=.iG«-G-SO!.

SYSTÈME ADJOINT A UN SYSTÈME LINÉAIRE DE COURBES. r43

adjoint |M«|

|K[-|Ma-Ml.

Or, par définition (n° 32), le système adjoint à un système pur non singulier est le système total de ses sous-adjointes. Soit n le degré du système |M|, qui est l'ordre de la surface transformée/"'. Sur la surface/'', le système adjoint |M^| est défini par le système des surfaces sous-adjointes d'ordre n — 3, et par conséquent le système |K| est défini par le système des surfaces sous-adjointes d'ordre n — l\.

D'autre part, d'après ce que nous avons dit (Chap. IV, n° 20 et n° 19 de ce Chap.), ces surfaces sous-adjointes, puisque la surface/' n'a que des singularités ordinaires, ne sont autres que les surfaces adjointes du même ordre définies par voie transcendante. De là on conclut, sans qu'il soit besoin d'insister, que le système canonique |K| défini par voie transcendante est bien le même que le système canonique défini par voie algébrique, que les dimensions de ces deux systèmes sont aussi les mêmes, et cette seconde méthode établit comme la première l'invariance du genre géométrique/?^..

39. Au point de vue algébrique et géométrique où nous nous sommes placés dans cette section, il nous reste encore à définir les surfaces adjointes à une surface ayant des singularités quelconcjues. Lorsque la surface n'a que des singularités ordinaires les surfaces adjointes sont par définition les surfaces sous-adjointes.

Soit |G| le système des sections planes d'une surface /d'ordre m et |G^| son système adjoint. Ce système est découpé sur /par un système particulier de surfaces sous-adjointes d'ordre m — 3, auxquelles on donne le nom de surfaces adjointes d'ordre m — 3 à /. Elles diffèrent des sous-adjointes par leur comportement aux points multiples isolés de/

De cette définition on conclut à celle des surfaces adjointes d'ordre m — 3 4-r(r^o) : ce sont les surfaces sous-adjointes de même ordre qui se comportent comme les surfaces adjointes d'ordre m — 3 le long des lignes multiples et aux points multiples isolés de / Elles jouissent de la propriété de découper sur / le système adjoint au système |('/' -H i)G|. En effet, on a, en vertu du théorème

fondamental,

|[(/---i)G]aj-|Ca-+-/-Gi:

or, une courbe C^-r- 'C étant déterminée par une surface adjointe d'ordre m — 3 et par une surface arbitraire d'ordre /•, le système tout entier sera évidemment défini par le système des surfaces adjointes d'ordre m — 3 -f- r. C'est le raisonnement que nous avons déjà fait (n° 14).

Partant de cette définition des surfaces adjointes, M. Enriques montre que les surfaces adjointes d'ordre m — 4 ne sont autre chose que les surfaces canoniques de Nœther, c'est-à-dire celles que nous avons définies tout d'abord. Les considérations qu'il emploie, dans lesquelles les courbes fondamentales jouent un rôle important, sont délicates; comme la question est pour nous évidente d'après notre première méthode, nous renvoyons pour ce point le lecteur aux mémoires originaux de l'auteur.

VI. — Du genre numérique des surfaces dont le genre géométrique est nul.

40. Revenons maintenant à la question qui nous intéresse, c'est-à-dire à la démonstration de l'invariance du genre numérique/'/i, quand le genre géométrique est nu], pg^:^ o. Il nous reste peu de chose à dire, du moment que la propriété du système adjoint est établie.

En désignant toujours par ô((^) le défaut de la série canonique déterminée par |C«| sur la courbe générale de IGj, de sorte que la dimension de cette série est ,

on voit d'abord que, dans le cas où /?^=rzo, ce nombre est aussi la dimension de |C^|. En efiet, la dimension de \Ca\ est, comme pour le cas de p^^o, celle du système des surfaces adjointes d'ordre n — ^ 3 à la surface /', image de /, dont le système des sections planes est l'image du système |C|. Mais, dans le cas actuel, il n'existe pas de surface adjointe d'ordre n — 3 passant par 71 — 5(G) points pris arbitrairement sur une courbe plane C image de C. Donc la dimension de ce système de surfaces, et par

SYSTÈME ADJOINT A UN SYSTÈME LINÉAIRE DE COURBES. l45

suite la dimension de IC^I, est bien égale à