I . pa< — i

En ce cas, il suffit d'évaluer l'invariant de Zeutlien-Segre à l'aide du faisceau des courbes K, en tenant compte de Tirrationalité de celui-ci (*); on en déduit (|ue le genre des K est o et, par suite (n° 21), que la surface peut être rame»j|ée à une réglée (-).

Donc : Toute sur/ace de genres p^r =zo, pa<^ — ^ /^6'«^ être transformée en une réglée,

Ce cas est beaucoup plus difficile.

(') Gastp:lnuovo et Enhiques, toc. cit., n" G, Oss.

(-) Kniuques, Sulle superficie algebriche di génère geonietrico zéro {Rendic, del Circolo Matern. di Palermo, t. \X, 5 marzo).

RÉSULTATS NOUVEAUX DANS LA THÉORIE DES SURFACES ALGÉBRIQUES. 5l5

En supposant que les K aient le genre •Tt>o, on peut envisager sur la surface la série non linéaire des courbes K'', secondes adjointes aux courbes K.

L'examen de certaines courbes K'', qui se décomposent en une courbe K et en une courbe résiduelle elliptique, conduit à construire sur la surface un faisceau rationnel de courbes elliptiques, qui découpent les K en /i > I points. On remarquera que ce second faisceau existe même lorsque tt = o, car alors la surface se ramène à une réglée elliptique: seulement on peut avoir ici /i = i.

Maintenant on peut représenter les surfaces de genres /?^ = o, yy« =— I, sur des cylindres elliptiques multiples, de façon qu'à un point du cjlindre correspondent n points de la surface.

Par l'étude de cette correspondance la construction de toutes les surfaces de genres p^ =: o, /?«— — i se trouve ramenée à une transformation de déterminant d'ordre n des fonctions elliptiques.

Dans le cas où n est un nombre premier, on peut transformer birationnellement la surface en une surface

où X, Y, Z s'expriment à l'aide de deux paramètres w, v par des formules de la forme suivante :

Z = p, Y = p'(wl w, w'),

hi<.n^ \ Ai = o (modAi),

V = ce, G, I

p^(w) = p(w I /zco, w'), Wv=to pour v = oc,

j)^(w) = p(t^ I co — vw', o)'), wv=w' pour v = o, [, -2, . . . , /i — i

Si l'on envisage maintenant les plurigenres des surfaces que nous venons de construire, on trouve que

P4>o, ou P6>o, ou bien

Pj= o (t = I, 2, 3, 4, 5, 6, ...),

ce dernier cas correspondant à l'hypothèse ir = o et conduisant par conséquent aux réglées elliptiques.

P. KT s., II. V,

5l6 NOTE V.

En rapprochant ce résultat du précédent {pa<— 0 et de celui du n° 'Ik concernant le cas /?^=o, on obtient enfin le théorème général suivant (^ ) :

Les conditions pour cjiiiine surf ace puisse être transformée birationneUement en une réglée {rationnelle ou irrationnelle) peuvent être exprimées en annulant les deux genres d'ordre 4, 6 :

11 convient de remarquer que ces conditions ne peuvent être simplifiées ultérieurement, car il y a effectivement des surfaces pour lesquelles

^^z=Po=: P3= P4=P5=0, P6=I, 2, (/?«= — !;,

et d'autres pour lesquelles

p^^= ?,= P3=Pg= Po=o, P4 = i, (pa = -i),

27. 11 y a lieu seulement d'ajouter quelques remarques au sujet du cas particulier

Nous avons vu que toute surface de genres Pg= (), Pa<—^

peut être ramenée à une réglée.

Or si, dans la discussion qui précède, on introduit le théorème du n° 9 sous sa forme la plus expressive, on réussit à simplifier le résultat en montrant que la condition /;^,= o est superflue. MM. Castelnuovo (2) et Enriques (^) ont fait en même temps cette remarque, d'après laquelle il résulte que :

Toute surface de genre numérique pa <— i peut être ramenée à une réglée.

Ces conditions peuvent aisément être exprimées d'une façon transcendante. En effet, d'après le n" 8, on voit (\\ïil s'agit de reconnaître que la surface possède p > i intégrales simples de première espèce

(1) Enriques, toc. cit.

(2) Castelnuovo, Rendic. del Circolo Mateni. dl Palermo, t. XX, p. 55 (■^) Enriques, ibid., t. XX, p. 6i.

RÉSULTATS NOUVEAUX DANS LA THÉORIE DES SURFACES ALGÉBRIQUES. 6x7

et qu'elle ne possède aucune intégrale double de première espèce

Sons celte forme (avec la restriction superflue que les p intégrales simples aient ^.p périodes), les conditions énoncées avaient été trouvées antérieurement, c'est-à-dire en 1900 ( ^ ).

28. Le problème général de déterminer les surfaces qui admettent une infinité continue de transformations birationneiles en elles-mêmes a été posé par M. Picard en i885,

Il y a lieu d'abord de distinguer deux, cas, suivant que les transformations données engendrent un groupe d'ordre fini (au sens de Lie), ou qu'elles engendrent par multiplication une série de transformations dépendant d'un nombre infini de paramètres.

L'analyse de M. Picard se rapporte au premier cas. Elle aboutit aux résultats suivants :

Les surfaces qui admettent un groupe continu fini de transformations birationneiles en elles-mêmes se partagent en trois familles :

i** Surfaces hyperelliptiqaes, douées d'un groupe oo^ de transformations échangeables;

2° Surfaces possédant un faisceau de courbes rationnelles ; 3° Surfaces possédant un faisceau de courbes elliptiques.

Le premier cas, à plusieurs égards le plus important, est caractérisé par M. Picard d'une façon complète : les coordonnées d'un point de la surface sont des fonctions quadruplement périodiques de deux variables, ou, si l'on aime mieux, la surface peut être représentée sur la variété des couples de points de la courbe de genre deux (^).

Dans le second cas, M. Painlevé a remarqué que la surface peut être transformée en une réglée, ce qui résulte à présent du théorème général du n° 21.

Dans le troisième cas il y a lieu de pousser plus avant l'analyse des conditions pour lesquelles une surface, qui renferme un faisceau de courbes elliptiques, admet un groupe de transformations dont ces courbes sont les trajectoires.

Cette question délicate a été résolue par M. Painlevé {^). Il résulte

(') ExRiQUKS, Annales de Toulouse, 2" sér., t. III. (2) Voir ce Traité, t. II, Chap. XIV.

(') Leçons sur la théorie analytique des équations différentielles (Paris, Heimann, 1897), p. 285.

5l8 NOTE V.

de ses recherches que si une surface admet un groupe continu de transformations birationnelles, dont les trajectoires sont des courbes elliptiques, les coordonnées des points de la surface peuvent s'exprimer par des fonctions rationnelles de

p( w -h Xw + [j(.cô' I aco 4- èco', cw -f- f/w'), p' et de r, iv liées par une relation algébrique

Les surfaces qui jouissent d'une telle représentation paramétrique ont été appelées surfaces elliptiques; elles sont caractérisées géométriquement par le fait de renfermer : j° un faisceau, rationnel ou irrationnel, de courbes elliptiques ayant le même module; 2^ un autre faisceau elliptique de courbes de genre quelconque, coupant les premières en n:= ad — bc points ( ^ ).

Il y a lieu d'ailleurs de déterminer les différentes classes de surfaces elliptiques par une analyse de l'équation

Parmi ces classes, il faut nommer les surfaces de genres

Ps = o, pa=—i,

dont nous avons donné les types au n° 26.

Nous pouvons maintenant résumer les résultats que nous venons d'exposer, en énonçant le théorème suivant :

Les sur/aces qui admettent un groupe continu de transformations birationnelles en elles-mêmes rentrent dans trois familles :

i** Surfaces Iiyperelliptiques, douées d'un groupe transitif oo^ do transformations échangeables;

2° Surfaces réglées, douées (au moins) d'un groupe de transformations, dont les trajectoires sont des courbes rationnelles;

3° Surfaces elliptiques, admettant un groupe (au moins) de transformations, dont les trajectoires sont des courbes elliptiques.

Parmi ces surfaces, il y a en particulier les surfaces douées d'un groupe transitif de dimension r >2; nous avons remarqué qi\''elles

(•) Enriques, Rendic. del Circolo di Palermo {toc. cit., 5 marzo).

RÉSULTATS NOUVEAUX DANS LA THÉORIE DES SURFACES ALGÉBRIQUES. 5ig

se réduisent aux surfaces rationnelles et aux réglées elliptiques {}').

29. La question se pose maintenant de reconnaître si une surface donnée rentre dans une des familles de surfaces douées d'un groupe, qui sont classifiées dans le numéro précédent.

Nous allons rendre compte brièvement de l'analyse, qui a permis de répondre à cette question par la simple évaluation des caractères invariants de la surface (^).

On remarquera d'abord (avec M. Picard) que les surfaces hyperelliptiques ont

et, ensuite, que les surfaces elliptiques ont

et que leur genre pg est égal au genre du faisceau des trajectoires elliptiques du groupe.

Soit maintenant une surface, dont le genre arithmétique

Pa< o.

Si />a<C — ^1 OH tombe sur la famille des surfaces réglées (n° 27). Envisageons le cas

Il faut distinguer les hypothèses

/^^=o^ /?.->ii Ps=^'

Lorsque /?^,=:o, la surface renferme un faisceau elliptique de courbes^

et un second faisceau rationnel de courbes elliptiques (n°26); elle

est par conséquent une surface elliptique, ce qui résulte d'ailleurs de

sa représentation paramétrique.

Lorsque />^r >» I , puisque

la surface renferme un faisceau irrationnel de genre > i de courbes

(') Castelnuovo et Enrioues, Comptes rendus, juillet i8(j5.

(-) Enriques, Suite superficie algebriche di génère geometrico zéro; Suite superficie algebriche che aininettono un gruppo continua {Rendiconti del Circolo mateniatico di Palernxo, t. XX).

(n» 9), qui sont d'jiilleurs elliptiques. Une analyse approfondie montre que le genre du faisceau est précisément/?^.

Envisageons maintenant les /?^,-l- i intégrales simples de première espèce, qui appartiennent à la surface (n° 8); parmi celles-ci il y en a pg^ correspondant au faisceau nommé, dont les périodes se réduisent à 2/?^; on aura par suite une intégrale avec deu\ périodes distinctes, qui nous fournira sur la surface un second faisceau irrationnel, et précisément elliptique, de courbes. La surface est donc elliptique.

Soit enfin

11 y a deux intégrales simples de première espèce (n° 8), et, s'il n'y a pas de courbe canonique proprement dite, en dehors des courbes exceptionnelles, on sait que la surface est liyperelliptique (^).

Mais il peut se faire qu'il y ait une courbe canonique de genre /?^'>=r:i; en ce cas, on trouve deux intégrales réductibles aux intégrales elliptiques et, par suite, deux faisceaux elliptiques de courbes, dont Tun est composé de courbes elliptiques, l'autre de courbes ayant un genre t^i. La surface admet en ce cas un groupe elliptique oo^ ; elle admet un second groupe analogue, et rentre comme cas particulier dans la famille des surfaces hyperellipticjues, seulement dans le cas - r= I .

Or, comment pourra-t-on distinguer les deux cas des surfaces liyperellipliques et des surfaces elliptiques correspondant aux mêmes valeurs /?^= i, y»„= — i ?

11 suffira, pour cela, d'évaluer le genre d'ordre 4i 1^4 1 on a, en efTet,

dans le premier cas,

dans le second.

On peut résumer les résultats obtenus en énonçant le théorème suivant (2) :

La condition nécessaire et suffisante pour quiine surface non rationnelle admette un groupe continu de transformations birationnelles en elles-mêmes, c'est que le genre arithmétique

Pa < O.

( ') Picard; voir ce Traité, t. Il, Chap. XIV, n° 17. (-) Enriques, voir le second Mémoire cité ci-dessus.

RÉSULTATS NOUVEAUV DANS LA THÉORIE DES SURFACES ALGÉBRIQUES. 5'2 l

On a des surfaces admettant un groupe rationnel {famille de réglées) pour Pa<. — J, et des surfaces elliptiques ou hyperellip^ tiques si

Pa=—i;

le cas hyperelliptique étant déterminé par les valeurs

Et, en rapprochant ce théorème de celui énoncé au n° 26, on peut dresser le Tableau suivant :

Pa= — ^-

réglées de genre — /?«

réglées elliptiques

réglées rationnelles

impossible

surfaces elliptiques admettant un groupe oci

impossible

surfaces hyperelliptiques

30. Il reste enfin à examiner les surfaces admettant une série continue de transformations, qui n'engendrent pas un groupe d'ordre fini.

Il y a lieu de remarquer d'abord qu'on peut construire une telle série sur les surfaces rationnelles et réglées. Or, le théorème du n° 23 nous a permis de démontrer réciproquement que ce cas est le seul possible.

Partons du système | C | des sections planes de la surface/, et transformons-le, en lui appliquant successivement un certain nombre r de transformations arbitraires de la série; nous parvenons ainsi à un nouveau système \Cr\, qui doit avoir nécessairement des points-base multiples, si la série n'est contenue en aucun groupe fini. En faisant abstraction de ces points, on peut calculer le genre virtuel ir^. et le