Il résulte de là que les résidas de l'intégrale double
P(a7, X, -s) dx dy
'Tl '
relatifs à la courbe à l'infini, ne sont pas en nombre supérieur à 2/? — r. Ces résidus sont en effet égaux aux valeurs des intégrales
/ ^'i{y)dy et / 'Kk{y)dy
prises autour du point à l'infini, et il ne peut y en avoir manifestement plus de ip — r distinctes.
Il faut montrer maintenant que l'on peut choisir le polynôme P(:r, y, z) (passant bien entendu parla courbe double) figurant dans (6), de manière que ces ^p — /- résidus aient telles valeurs C[ue l'on veut. Il sera par cela même établi cjue le nombre des conditions, exprimant cjue U intégrale double (10) est de seconde espèce, est précisément ip — r.
17. Nous n'avons qu'à raisonner à peu près comme à la page 828 (t. II) quand nous avons démontré ce théorème pour 7^== o. Prenons une intégrale (10) déterminée d'ailleurs arbitrairement, et soient, autour de jk = Q^? les développements
w," = af r'^4-a/-ir'^-i-i-...-i--^4--V-}-...-|- -V^--'- (
' y y y'' \ ip — r
Pour k pris assez grand, les ip — r expressions linéaires
(u) aicqf'^ -^ a^aj^''^-^^ -\'. . .-^ a/c'y.j^ (i = i, 2, . . ., '2p ■— r)
Hosted by
^\06 CHAPIÏRK XII.
aux indéterminées
sont linéairement indépendantes; car si, pour toute valeur de A, ces expressions linéaires n'étaient pas indépendantes, tous les déterminants d'ordre 2p — /• formés avec les y.J^^ seraient nuls, el l'on pourrait former une combinaison linéaire des co/ se réduisant à un poljnome, ce qui est impossible. Le nombre k étant pris donc de manière que les expressions (i i) soient distinctes, envisageons
1 intégrale double
r r o(y)V(.t, y,z) r/xdy
où l'on pose
les a étant des indéterminées. Les 2p — r résidus de cette intégrale double sont, au facteur '27:1 près, les expressions (i i).
D'après ce qui précède, on peut choisir les indéterminées a de manière que ces expressions aient telles valeurs que l'on veut. Le théorème énoncé est donc établi, c'est-à-dire cjue :
Le nombre des conditions exprimant qu'une ijitégrale double de la forme (10) est de seconde espèce y est exactement égal à 2p — /'.
Si nous revenons au nombre /?, relatif à la connexion linéaire
de la surface, on a
r=pi — i
et le nombre des conditions est 2p — (y;, — i). Ce résultat va nous être très utile pour obtenir le nombre Oq des intégrales doubles distinctes de seconde espèce quand p^ est supérieur à un.
Calcul général du nombre po des intégrales doubles distinctes.
18. De tout ce qui précède, il résulte que la formule fondamentale
(12) po^ N — ,1/^ — (/?z — 1) — (p — [),
Hosted by
établie (t. Il, p. S^S), sauf pour ceiiains cas réservés, est toujours applicable quand la connexion Umkiire est égale à V unité.
Il nous reste à examiner le cas où la connexion linéaire est supérieure à un, c'est-à-dire quand il j a un nombre r d'intégrales de seconde espèce (/•>o). La question sera facile, avec les résultats des sections précédentes.
Les deux points essentiels dans rétablissement de la formule cidessus ont été les suivants : en premier lieu, l'expression
N — 'ip — \in — I )
du nombre des périodes (au sens où nous entendons ce mot) de l'intégrale double du type toujours considéré
V {x, y, z) dx dy
et, en second lieu, le nombre des conditions exprimant que l'intégrale double considérée est de seconde espèce, nombre égal à
La différence de ces deux nombres donne le nombre po^ ^^ l'expression près p — T, dont l'origine n'a rien à voir avec la connexion linéaire.
Ces deux nombres doivent être modifiés comme nous l'avons vu dans les numéros précédents; le premier est à remplacer (n" 13)
par
et le second doit être remplacé (n*' 17) par
'ip — /".
En faisant la différence de ces deux nombres, nous trouvons
N — L\p — {m — i) -H '2 /', et, par suite, la formule (12) doit être remplacée par la suivante :
Po = N — 4/? — (7?z — r)-l-2r— (p — 1).
Nous pouvons donc énoncer le résultat fondamental suivant : Le nombre Oq des intégrales doubles distinctes de seconde
Hosted by
4o8 CHAPITRE XII.
espèce est donné par la formule
po = N — 4/? — (/??. — i) -{- ir — (p — i).
Je rappelle la sigiiifîcalion des lettres autres que r figurant dans cette formule : N est la classe de la surface, p le genre d'une section plane arbitraire, m le degré de la surface; quant à p, c'est le nombre relatif à la surface, tel qu'il est défini par le théorème fondamental sur les intégrales de différentielles totales de troisième espèce et dont je rappelle la définition : On peut tracer sur la surface p courbes algébricjues irréductibles G, telles qu'il n'y ait pas d'intégrale de différentielle totale de troisième espèce n'ayant d'autres courbes logarithmiques que la totalité ou une partie des courbes G, mais telles que, si on leur adjoint une autre courbe algébricjue irréductible c[uelconque de la surface, il y ait une intégrale de troisième espèce n'ayant comme courbes logarithmiques que cette dernière courbe et la totalité ou une partie des courbes G.
19. Dans toutes ces études, il a été supposé cjue la surface n'avait que les singularités dites ordinaires, c'est-à-dire une courbe double avec points triples sur cette courbe qui ne présente d'ailleurs aucune particularité exceptionnelle. G'est dans ces conditions c{u'ont été établies toutes les formules des pages précédentes.
Si, outre ces singularités, la surface possédait des points doubles coniques isolés, la complication ainsi introduite ne serait pas grande ; nous allons examiner ce cas.
Il nous faut revenir aux singularités de l'équation (E), que nous avons discutées dans le Tome 1 (p. gS et suivantes). La surface étant rapportée à des axes placés arbitrairement, les points singuliers correspondaient aux valeurs h telles que le plan y ^=^h fût tangent à la surface. Maintenant, aux véritables plans tangents parallèles au plan des xz^ c'est-à-dire aux plans tangents en des points simples de la surface, il faut ajouter les plans parallèles au plan des xz passant par les points doubles isolés. Un tel plan, que nous désignerons par jk = c^ correspond bien à un point singulier de réc[uation (E) ; pour j^ voisin de c, la courbe entre x et z
f{oo,y,z) = o
a deux points de ramification voisins, qui se confondent avec le
Hosted by
point double isolé de la surface. Les circonstances seront donc les mêmes que pour le planjK = ^- Les points c sont, pour l'équation (E), des points singuliers logaritlimiques de même nature que les points b [^), Donc, en désignant toujours par N la classe de la surface et d le nombre des points doubles isolés, le nombre total des points singuliers de (E) sera
On se rappelle d'ailleurs que l'intégrale double
' Q(-^5 y,z)d.v dy
ir
restera finie à distance finie, pourvu c|ue le polynôme Q s'annule sur la courbe double; aucune condition n'est relative aux points doubles isolés (points coniques), comme on l'a vu (t. I, p. i84). Il résulte de là que, dans tous les calculs et tous les raisonnements faits dans ce Chapitre et les précédents, N doit seulement être remplacé par N -f- 6/. Nous aurons donc, au lieu de la formule donnée au nP 18, la formule plus générale, relative au cas où la surface a, outre la ligne double^ d points doubles isolés
po = JV H- rt?— 4y:> — (m — l) H- 27'— (p — l).
Telle est l'expression générale du nombre po des intégrales doubles distinctes de seconde espèce. Quant au nombre des périodes telles que nous les envisageons, de Vintégrale double
' Q(^,7, z)dxdy
où le polynôme Q est assujetti seulement à passer par la courbe double, il est égal à
N -1- <^ — ip — {m — i) -f- /%
qui est le nombre du n^ 13, en remplaçant N par N + t/.
(1) Il y a seulement la difFérence suivante par rapport à ce que nous avons vu (t. I,p. 97) : Pour un point 6, nous avions une certaine intégrale holomorphe qui a été désignée plus tard par ^, et toute période de l'intégrale envisagée se reproduisait, après une circulation autour de b, à un multiple prés de ^ ; ce multiple pouvait être de parité quelconque (il pouvait être notamment égal à ^ ). Pour un pointe, le multiple sera toujours pair; mais cela n'a aucune importance pour toutes les déductions relatives au nombre p^.
Hosted by
4rO CHAPITRE Xlf.
Sur certaines expressions invariantes.
20. Le nombre po? dont nous venons de donner ici l'expression générale, est un in\>ariant absolu de la surface, comme il a été vu précédemment. Si donc l'on considère deux surfaces /' elf se correspondant point par point, et ayant seulement chacune comme singularités une ligne double avec points triples, et, en outre, des points doubles isolés, on aura, en marquant par un accent les lettres relatives à bi surface /'^
?o — Po?
et, par suite, puisque évidemment r ^= /'^
N 4- c/— 4/> — {m — \) — p — N'-j- d' — 4/)'— {jn' — \) — p'. Cette formule appelle plusieurs remarques intéressantes.
21. Supposons que, dans la substitution qui transforme /en /\ il y ait F points fondamentaux A (points simples ou points doubles isolés) sur/, et F^ points fondamentaux A' (points simples ou points doubles isolés) sur/^ Nous allons facilement obtenir une relation entre p, p^, F et F^
D'après la définition de p, on peut tracer, sur/, p courbes algébricjues irréductibles G (qu'on peut supposer ne j^as passer par les points A) telles cju'il n'y ait pas d'intégrales de troisième espèce n'ayant d'autres courbes logarithmic[ues que la totalité ou une j)artie des courbes G, mais telles que, si on leur adjoint une autre courbe algébrique irréductible quelconcjue de la surface, il y ait une intégrale de troisième espèce n'ayant comme courbes logaritlimiques c}ue cette dernière courbe et la totalité ou une partie des courbes G.
Geci posé, envisageons sur/^ les courbes
correspondant à
G|, G2, • • -, Gp Cl, G2, . . . , Op.
Hosted by
INTÉGRALES DOUBLES DISTINCTES DE SKCONDE ESPÈCE. ^{1 f
Alix points A de / correspondront sur /' des courbes ^' en nombre F, et aux points A/ de /' correspondront sur / des courbes <ï> en nombre F^ On peut former, pour la surface/, F^ intégrales de troisième espèce K^, K-o? --^^ K.p correspondant aux courbes C et à chacune des courbes <ï>. Ces intégrales, sur la surface f\ ont en totalité ou en partie, comme lignes logarithmiques, les courbes G et $' (qui sont en nombre p +F). Désignons-les,
sur la surface /^, par
K;, K',, ..., Kp.
Il n'est pas possi])le que
car alors on pourrait former (en annulant les périodes logarithmiques) une combinaison linéaire
A,K'i-f- A2K',-h...-f-ApKp,
où les A ne seraient pas tous nuls, et cjui n'aurait pas de courbes logarithmiques sur /^, tandis qu'elle en aurait sur f. Concevons maintenant que l'on forme le tableau des périodes logarithmicjues de
K'i, K2, ..., Kir,
pour les courbes
G\, G^r .,., Gp <p\, <!>;, ..., cj,;,,
en mettant sur une même ligne horizontale les périodes correspondant à une même courbe. Il n'est pas possible, pour la même raison que plus haut, que tous les déterminants d'ordre F^ formés avec F^ lignes de ce tableau soient nuls. Soient donc, parmi lesC^ et les ^P' ^ des courbes que nous appellerons T en nombre F^, pour lesquelles le déterminant correspondant n'est pas nul.
Nous allons montrer aisément que, si des C^ et ^^ on supprime
les r, on a
courbes F^, pouvant être prises pour les p^ courbes de /' répondant sur cette surface au théorème fondamental sur les intégrales de différentielles totales de troisième espèce, de sorte que l'on aura
p' = p-hF — F'.
Hosted by
4 12 GHAPITRJi: XII.
En effet, tout d'abord il n^j aura pas d'intégrale de troisième espèce correspondant aux courbes F^, car, en revenant à /, l'on voit qu'une telle intégrale serait nécessairement de la forme
Al K'i -i-. . .-H Af'Kf' (les A non tous nuls),
et, par suite, le déterminant des périodes logarithmiques formées avec les courbes F serait nul.
D'autre part, soit une courbe L' quelconque de /^, on peut former une intégrale de troisième espèce n'ayant d'autres courbes logarithmiques que L^ et la totalité ou une partie des courbes F^ Si l'on revient, en effet, à /, on pourra former une intégrale correspondant à la transformée L de U et aux courbes C; en revenant ensuite à f'^ on a une intégrale J^, ayant comme courbes logarithmiques L' et la totalité ou une partie des courbes G et <ï>'. Formons alors la combinaison
J' + Al K'j -+- . . . -F Af' Kf.' ;
on peut choisir Tes A de manière à faire disparaître dans cette combinaison, comme lignes logarithmiques, les courbes F (le déterminant relatif aux F n'étant pas nul), et il reste seulement les courbes T\ comme nous voulions le montrer.
Nous avons donc la relation suivante, importante pour Jiotre
objet,
22. Revenons maintenant à la relation du n" 20; elle pourra s'écrire
(i3) N H- 6/ — 4/? — (m — i) H- F = N'-h d'—^p' —(^jn'— i) H- F'.
C^est une relation dHnvar lance relative dUuie forme remarquable entre deux surfaces se correspondant point par point; il y figure, comme l'on voit, les nombres des points fondamentaux de la correspondance sur l'une et l'autre surface.
On vient de voir l'importance de la combinaison
dans la théorie des intégrales doubles de seconde espèce. Or cette combinaison s'est déjà présentée dans la théorie géométrique des
Hosted by
INTÉGRALES DOUBLES DISTINCTES DE SECONDE ESPfîCE. 4 1 '^
surfaces algébi^iques. Dans le Mémoire de M. ^oûier [Ziw Théorie des eindeaiigea Entsprechens algehraischer Gebllde {^Math. Amialen, t. VIII)] on trouve (nolamment jd. 007) la combinaison (^)
Avec nos notations, on a
ce c|ai donne
On trouve, à la page citée dn Mémoire de M. Nother, la formule relative à deux surfaces / et f^ se correspondant point par point,
(i4) 7i' — 2a-}-3i^-f-SfjL = n';i — 2^1-1-3 /ii-H2|ai.
Dans cette formule, Sjj. désigne la somme des multiplicités de tous les points fondamentaux de /*, augmentée de la somme des multiplicités des points multiples de / qui ne sont pas points fondamentaux (tous les points multiples envisagés étant des points isolés), et pareillement pour Sp.^ relativement à /^ .
Notre formule (i3) coïncide avec la formule (i4) de M. Nother, sauf que, dans le cas de M. Nother, peuvent se trouver des points multiples isolés d'ordre supérieur à deux y cas que nous n'avons pas examiné dans notre théorie (-).
11 est bien remarquable de voir ainsi établi un lien entre deux points de vue si différents, celui de MM. Zeuthen et Nother et des géomètres qui les ont suivis dans l'étude géométrique des surfaces, et le point de vue transcendant auquel se rapportent nos recherches sur les périodes des intégrales doubles dans la théorie des fonctions algébriques de deux variables.
(1) M. Zeuthen {Math. Annalen, t. IV, p. 87) avait déjà formé un invariant relatif analogue, qui a été aussi étudié par M. Segre. Beaucoup plus récemment, MM. Castelnuovo et Enriques ont aussi rencontré la même combinaison {Annali di Matematica, 1901) dans une étude remarquable sur les systèmes linéaires de courbes d'une surface.
(2) Il serait intéressant et sans difficultés réelles de combler cette lacune, mais ceci demanderait quelques développements. Il nous suffit, dans l'exposé de la théorie générale, de considérer les singularités ordinaires.
Hosted by
23. Nous terminerons ce Chapitre en faisant une application de la formule générale établie ci-clessus. On peut tout d'abord se demander quelle est la valeur de p^ pour la surface la plus générale de degré m. Pour répondre à cette question, il faut avoir la valeur de p pour cette surface. On peut montrer que pour cette surface, quand m est au moins égal à quatre^ on a
Ce résultat peut se déduire d'un théorème donné par M. Notlier dans son célèbre Mémoire relatif aux courbes gauches algébriques [Mémoires de V Académie de Berlin, 1882, n"*^ 11 et 12), à savoir que, sur la surface la plus générale de degré m(mZ4)-) toute courbe cdgéhricjue est V intei'section complète d.e la surface cwec une autre sur face algébrique (^). En effet, soit une courbe Ci de la surface, intersection de celle-ci avec la surface de degré m^
Fi(^', y, z) = 0.
Prenons une autre courbe cjuelconque Co ; celle-ci sera l'intersection de la surface avec une autre surface de degré 7?22,
11 suffît de prendre
pour avoir une intégrale de différentielle totale n'ajant d'autres courbes logarithmiques que Cj et Co ; donc p = i . En appliquant la formule
Po = N-4^--(/7i — 0 — (p — I), on trouve, puisque l'on a
N :^ m{?n — 1)2, p =z ^ Ll .%
(1) A la vérité, la démonsLraLion de M. Nother fondée sur une énumération de constantes ne peut être regardée que comme rendant le théorème très vraisemblable, et il 3^ aurait lieu de revenir sur la question. On conclut encore de ce théorème que, pour la surface la plus générale de degré în{ni'>^f\), toute intégrale de différentielle totale est une combinaison algébrico-logarithniique {voir une Noie de M. Picard publiée dans les Comptes rendus, 22 février 1904, où sont d'ailleurs indiquées diverses applications particulières sur lesquelles nous reviendrons au Chapitre XIV).
Hosted by
le résultat suivant
Pq = (??i — i) ( /?z2 — 3 m -T- 3 )
comme nombre Oq pour la surface généi'ale cle degré ]n(^ni^/[).
24. Ps'ous avons déjà insisté (voif^ par exemple, t. lï, p. 323) sur^ la dépendance entre p et la nature arithmétique des coefficients de la surface. Aussi ne faudrait-il pas conclure de ce qui précède que l'on a p == I pour toute surface de degré ni sans points multiples. Ainsi nous avons montré (t. 11, p. aS^y) que, pour la surface
où P(j^) est un polynôme arbitraire de degré />?, on a
ce qui donne
po — ( m — i) {7?i — 'if.
25. Prenons encore quelques surfaces particulières. Soit la surface unicursale /définie en coordonnées homogènes parles équations
f\ ) fil /;i et fj^ étant des polynômes homogènes de degré n en a, [:> et V. On suppose que les courbes
aient a points simples communs ne répondant d'ailleurs à aucune disposition particulière.
On a manifestement pour la surface
Cherchons la valeur de p. Aux a points fondamentaux du plan (a, [3, y) que nous désignerons par f^ correspondent sur la surface f des courbes distinctes
de plus, il n'y aura pas sur / de points fondamentaux. Appliquons
la formule du n" 21
4l6 CHAP. XII. — INTÉGRALES DOUBLES DISTINCTES DE SECONDE ESPÈCK.
on a
F = o, p' == i? F' = a. Par suite
Il ne reste plus qu'à calculer la classe N de la surface; ceci est élémentaire. Les axes ayant une disposition quelconque par rapport à la surface, il suffira de chercher, la surface étant représentée par
fk fk fk
les points de la surface où le plan tangent est parallèle au plan des yz. Ils sont donnés par les deux équations
àfi àf, dj\
dcL d^ dy
d% d'^ âo
dont les solutions communes sont en nombre 3(/i — i)-; on a
donc
La formule donne alors
po = o,
ce qui devait êlrCj puisque la surface est unicursale et n'a pas par suite d'intégrale double de seconde espèce qui ne se ramène à la forme
ff
h -r- dx dy,
ôx dy I -^
Uet V étant rationnelles en x.^y et z.
Hosted by
