V. - Surfaces diverses

63. M. Picard a introduit dans la Science la notion d’intégrale de différentielle totale de première espèce sur une surface algébrique, généralisant ainsi, à un nouveau point de vue, la théorie si féconde d’Abel et de Riemann pour les courbes algébriques. Les surfaces qui ne possèdent pas d’intégrales de cette nature sont comparables, sous plusieurs rapports, aux courbes unicursales : sur l’une d’elles, en effet, les courbes d'un ordre donné peuvent être individuellement découpées par des surfaces formant un système linéaire; de même que, sur une courbe unicursale, les points sont individuellement découpés par des courbes formant un faisceau. L’énoncé plus précis de ce théorème, établi dans le Mémoire 51, est le suivant :

Sur une surface n’ayant pas d’intégrales de différentielles totales de première espèce, les courbes algébriques d'un même ordre se répartissent en une ou plusieurs séries linéaires.

Parmi les corollaires, citons celui-ci ;

Si l'on peut tracer, sur une surface S, une série simplement infinie de courbes unicursales, se coupant deux à deux en un point mobile au moins, et n’ayant pas de point singulier mobile en dehors des lignes multiples de S, la surface est représentable point par point sur le plan.

Les surfaces engendrées par des cubiques gauches, se coupant deux à

detix en un point mobile au moins, sont reprèsentables point par point sur le plan.

Je détermine, dans ce cas particulier, toutes les surfaces considérées.

64. Le Mémoire 49 donne, au sujet des courbes planes, un théorème qui entraîne d’intéressantes conséquences dans la théorie des surfaces; voici l’énoncé de cette proposition, établie en même temps par M. Gastelnuovo, sous une forme un peu moins complète.

On dit qu’une involution, formée de groupes de n points sur une courbe algébrique, est i’ordre n\ elle est A’espèce k si chaque groupe est déterminé pari de ses points choisis arbitrairement; elle

rationnelle ses groupes sont ceux que découpent, sur la proposée, les courbes d’un système linéaire. Cela posé :

Les imolutions non rationnelles, en dehors namrellemeni de celles dont l'espèce égale l'ordre, sont toutes d’espèce un, et il n'en existe pas sur une courbe prise au hasard..

Si une courbe C, de genre p, admet une involution non rationnelle d’espèce un, elle est liée à une courbe e, de genre m (a •^C.p), de telle sorte qu’à un point de C corresponde un point de e, et qu’à un point de e correspondent n points de C : les groupes de n points ainsi définis sur C forment l’imolution.

Si d est k nombre des points doubles de Vinvolution, on a

Je montre aussi qu’il ne peut exister, sur une courbe algébrique, une série continue d’involutions irrationnelles de même ordre.