Formule de Riemann-Hurwitz

Un article de Wikipédia, l'encyclopédie libre.

En mathématiques, la formule de Riemann-Hurwitz, nommée en l'honneur des mathématiciens Bernhard Riemann et Adolf Hurwitz, décrit la relation entre les caractéristiques d'Euler de deux surfaces lorsque l'une est un revêtement ramifié de l'autre. Ceci permet de relier la ramification avec la topologie algébrique dans ce cas. C'est la source de nombreux autres résultats, et est souvent appliqué dans la théorie des surfaces de Riemann (qui est son origine) et des courbes algébriques.

Énoncé dans le cas d'un revêtement non ramifié[modifier | modifier le code]

Pour une surface orientable , la caractéristique d'Euler est égale à , où est le genre de (informellement, son nombre de trous), puisque les nombres de Betti d'une surface connexe orientable fermée de genre sont et .

Dans le cas d'un revêtement non ramifié de surfaces à feuillets, nous avons

En effet, chaque simplexe de doit être couvert par exactement simplexes dans — au moins si nous utilisons une triangulation suffisamment fine de , comme nous avons le droit de le faire puisque la caractéristique d'Euler est un invariant topologique.

Énoncé général[modifier | modifier le code]

La formule de Riemann-Hurwitz ajoute une correction à cette formule, qui tient compte de la ramification (feuilles se rejoignant). On suppose maintenant que et sont deux surfaces de Riemann. Le revêtement est dit ramifié en un point si en coordonnées locales autour de et de , peut être exprimé sous la forme pour un certain entier . Cet entier est appelé multiplicité de en et est noté , ou parfois simplement . On dira alors que l'image de est un point de branchement de pour . Intuitivement, on aura donc copies en moins de au dessus de par rapport aux points non branchés de . Dès lors, si l'on choisit deux triangulations de et , la triangulation de aura le même nombre d'arêtes et de faces que celle de , mais le nombre de sommets sera corrigé par les multiplicités de ses points de ramification. On obtient alors la formule suivante.

Formule de Riemann-Hurwitz — 

la somme étant prise sur tous les points dans (seul un nombre fini de points ont une multiplicité , donc la somme est finie).

Exemples d'utilisations[modifier | modifier le code]

La fonction de Weierstrass vue comme une fonction méromorphe à valeurs dans la sphère de Riemann induit un revêtement à deux feuillets d'une courbe elliptique (genre 1) sur la droite projective (genre 0). Les points de ramification sont nécessairement de multiplicité égale à . La caractéristique d'Euler de la droite projective est et celle d'une courbe elliptique est . La formule de Riemann-Hurwitz implique donc que le nombre de points de ramification vaut ici .

La formule peut aussi être utilisée pour montrer que le genre d'une courbes hyperelliptiques définie par un polynôme de degré est égal à .

Un autre exemple est la sphère de Riemann, qui s'applique sur elle-même par la fonction , d'indice de ramification en , pour tout entier . Le seul autre point de ramification possible est le point à l'infini. Son indice de ramification vérifie

donc l'indice de ramification en l'infini doit être lui aussi égal à .

Quelques applications[modifier | modifier le code]

La formule de Riemann-Hurwitz montre immédiatement qu'une courbe de genre ne possède pas de revêtement avec feuillets qui soit non ramifié partout, puisque cela donnerait lieu à une caractéristique d'Euler strictement supérieure à .

On appelle diviseur principal d'une surface de Riemann de genre le diviseur de n'importe quelle -forme méromorphe sur . En appliquant la formule de Riemann-Hurwitz à une fonction méromorphe (vue comme un revêtement ramifié de ), on conclue que le degré du diviseur principal de est égal à .

Combinée avec le théorème de Bézout, la formule de Riemann-Hurwitz permet de démontrer la formule de Plücker sur le genre d'une courbe projective complexe non-singulière.

Généralisations[modifier | modifier le code]

Pour une correspondance de courbes, il existe une formule plus générale, le théorème de Zeuthen, qui donne une correction de la première approximation de la ramification en énonçant que les caractéristiques d'Euler sont en rapport inverse des degrés des correspondances.

Références[modifier | modifier le code]