I. — Première définition des intégrales de seconde espèce
1. On sait combien, dans la ihéorie des fonctions algébriques, la dislinclion des intégrales abéliennes en ti'ois espèces joue un rôle important. Dans un grand nombre de cjuestions, les intégrales de première et de seconde espèce sont particulièrement intéressantes à considérer. Il est naturel de cliercher à faire pour les intégrales doubles attachées à une surface algébrique, c'està-dire pour les intégrales doubles
R(^, j, z)dx dy [/(■r,7, - ) = o]
(où R est rationnelle en .r, y et ::), une classification plus ou moins analogue. Nous avons vu, dans le cours de cet Ouvrage, Timportance des intégrales doubles de première espèce attachées à une surface.
Nous nous proposons, dans ce chapitre, de poser les bases d'une théorie des intégrales doubles de seconde espèce dans la théorie des surfaces algébric[ues, et de montrer comment la notion d'intégrale de seconde espèce conduit à un nombre invariant, qui paraît distinct de ceux qui ont été considérés jusqu'ici.
Considérons une surface algébricpie
( ' ) E. Picard, Sur les intégrales doubles de seconde espèce ( Comptes rendus, G décembre 1897 ^t 24 janvier 1898; Journal de Mathématiques, 1899; Comptes rendus, 10 octobre 1899).
l6o CHAPITRE VII.
el soil une intégrale double relative à cette surface
(I) JjK{x,y,z)dxdy,
R étant rationnelle en x^ y et z. Nous allons tout d'abord définir ce que nous entendons par intégrale double de seconde espèce. Prenons sur la surface un point arbitraire A, que l'on peut toujours, par une transformation préalable, supposer à dislance finie. Si le point A est un point simple, nous dirons que l'intégrale (i) présente le caractère d'une intégrale de seconde espèce, si l'on peut trouver deux fonctions rationnelles U et V de :r, j', ^, telles que, après avoir formé l'intégrale double
la différence des intégrales (i) et (2) reste finie au voisinage de A (on considère, bien entendu, z comme fonction de x et y quand on prend les dérivées partielles de U et V par rapport à x et j^). Si le point A est un point multiple de/", on sait que l'on peut partager le voisinage de A en un certain nombre de régions, telles que chacune d'elles corresponde birationnellement à une région R située sur une surface F, et ne comprenant que des points simples de F; l'intégrale (i) présentera en A le caractère d'une intégrale de seconde espèce, si ses transformées, par chacune des substitutions birationnelles à employer, présentent, en tous les points de la région correspondante R. de la surface correspondante F, le caractère d'une intégrale de seconde espèce. Si, en tout point A de la surface/" (à distance finie ou à l'infini), l'intégrale (i) présente le caractère d'une intégrale de seconde espèce, celte intégrale sera dite une intégrale double de seconde espèce. Il est clair que les fonctions rationnelles U et V à employer pourront varier avec le point A.
2. Il importe tout d'abord de remarquer que la forme des expressions (2) est de nature invariante relativement aux transformations birationnelles. On s'en assure de la manière suivante. Envisageons d'abord l'intégrale
(3) /-/•"'''•Q'^.rfK.
SUR Li:S INTEGRALES DOUBLES DE SECONDE ESPECE. iGl
, D(P,0) , , ,, . r ■ III r
OU T^ ^ represcnle le déterminant lonctionncl des deux tonc-
lions P et Q de .2; t;t )^; si Ton remplace les variables x et v par de nouvelles variables x' et >'', l'intégrale devient évidemment
et garde par suite la même forme. Or, l'intégrale (o) rentre manilestement dans le tvpe (2), puisqu'on peut l'écrire
Ceci posé, on peut donner à (2) la forme suivante :
en faisant un changement de variables, on aura
et, d'après ce que nous venons de dire, chaque terme de celte somme et, par suite, la somme se mettent sous la forme
JJ
Ox ày
L'intégrale (a) a donc conservé la même forme quand on a remplacé les variables x ei y par les variables x' et y'; c'est l'invdriance que nous voulions établir.
3. Ptemarquons, avant de continuer, qu'une définition analogue à celle que nous venons de donner pour les intégrales doubles de seconde espèce peut être adoptée pour les intégrales simples de seconde espèce dans la théorie des courbes algébriques. Si l'on a la courbe
les intégrales abéliennes de seconde espèce
/^ I R( x,y) dx.
l62 CHAPITRE VII.
relatives à celle courbe sont telles que, pour tout point A de la courbe, on peut trouver une fonction rationnelle \](x,y), telle que la différence
reste finie dans le voisinage de A
4. On sait que, pour une courbe algébrique, il n'existe qu'un nombre limité d'intégrales abéliennes distinctes de seconde espèce, c'est-à-dire qu'il existe un nombre limité d'intégrales abéliennes J de seconde espèce, dont aucune combinaison linéaire n'est de la forme
(U étant rationnelle en x et r), et telles cfue toute autre intégrale de seconde espèce est une combinaison linéaire des intégrales J, à un terme additif près de la forme (a).
Nous devons nous demander s'il en est de même dans la théorie des surfaces algébriques. Nous allons montrer, pour répondre à cette question, qu'iV existe un nombre limité o cV intégrales J de seconde espèce, dont aucune combinaison linéaire n^ est de la forme
(P et Q étant rationnelles en x^y et -3), et telles que toute autre intégrale de seconde espèce est une combinaison linéaire des intégrales J, à un terme additif près de la forme ([3). La démonstration de ce résultat sera la conséquence d'une longue suite de transformations de calculs qui vont faire l'objet des sections suivantes. Nous aurons ensuite à montrer qu'une intégrale double de seconde espèce relative à une surface / se change, quand on transforme birationnellement f en une surface F, en une intégrale de seconde espèce de la surface F. Ce fait ne résulte pas seulement du calcul du n° !2 et demandera quelques explications complémentaires.
