1-1-46. H. Poincaré to Gösta Mittag-Leffler

Paris 20/1 1885¹¹ 1 Paris-20 janvier — Stockholm-23 janvier. Cette lettre est publiée en partie dans les Acta mathematica 38, p. 158-160.

Mon cher ami,

Voici la solution de la question²² 2 La question posée par Mittag-Leffler doit concerner le premier mémoire de Poincaré sur les groupes fuchsiens (1882, 1916, 108–168). Poincaré a ramené le problème de leur détermination à celui de “subdiviser d’une façon régulière le plan, ou une partie du plan, en une infinité de régions toutes congruentes entre elles”, autrement dit de déterminer les pavages hyperboliques (voir note 4). Il appelle “domaine fondamental” d’une telle subdivision le polygone hyperbolique élémentaire qui engendre le pavage. On passe d’un pavé à un autre par les éléments du groupe fuchsien. Deux côtés du polygone élémentaire sont dits “conjugués” s’ils sont liés par une des substitutions du groupe (voir note 5). Poincaré montre que les substitutions d’un groupe fuchsien sont engendrées par un système fini d’entre elles, celles qui associent deux côtés conjugués d’un domaine fondamental. Par contre, il ne montre pas directement que ce système est minimal ce qui est l’objet de la question de Mittag-Leffler. En effet, un groupe discontinu est décrit par un ensemble de générateurs et un ensemble de relations. Poincaré établit que son système générateur est minimal, donc fondamental, en montrant que l’on peut obtenir toutes les relations : Puisqu’on trouve ainsi toutes les relations [… ], les substitutions sont généralement indépendantes et par conséquent forment un système de substitutions fondamentales du groupe envisagé. (1916, 122) dont vous m’aviez parlé.³³ 3 Mittag-Leffler était avec son épouse à Paris durant le mois de janvier.

Soient $a_{1},\,a_{2},\,\ldots\,a_{n}$ , n des côtés du polygone $R_{0}$ ⁴⁴ 4 Poincaré associe à chaque élément du groupe fuchsien, une région du plan. La région $R_{0}$ correspond à $f_{0}$ , l’identité et la région $R_{i}$ à $f_{i}$ . [… ] nous réserverons le nom de groupes fuchsiens aux groupes discontinus formés de substitutions réelles.
Si le groupe G est discontinu, il est clair qu’on pourra diviser le plan, ou une partie du plan, en une infinité de régions jouissant des propriétés suivantes : Chacunes d’elles correspondra à la substitution $\left({z,f_{i}(z)}\right)$ s’appelera la région $R_{i}$ , et, par conséquent, celle qui correspondra à la substitution $\left({z,f_{0}(z)}\right)$ ou $\left({z,z}\right)$ s’appelera $R_{0}$ . (Poincaré 1916, 117–118) , $a^{\prime}_{1},\,a^{\prime}_{2},\,\ldots\,a^{\prime}_{n}$ leurs conjugués.⁵⁵ 5 La fonction $f_{\rho}$ associe $R_{0}$ et $R_{\rho}$ . En supposant $R_{0}$ et $R_{p}$ limitrophes, si z un point appartenant au côté commun $\lambda_{\rho}$ de $R_{0}$ et $R_{p}$ , $f_{p}^{-1}\left(z\right)$ sera un point d’un des côtés $\lambda^{\prime}_{p}$ de $R_{0}$ . Les côtés $\lambda_{p}$ et $\lambda^{\prime}_{p}$ sont dits conjugués (1916, 119). $S_{i}$ la substitution qui change $a_{i}$ en $a^{\prime}_{i}$ . Je dis que $S_{1},S_{2},\cdots,S_{n}$ sont fondamentales ;⁶⁶ 6 Un système est fondamental s’il est générateur et minimal (1916, 117–118). du moins en général et sauf une exception dont je parlerai plus loin. Je dis que $S_{n}$ ne peut pas être une combinaison de $S_{1},S_{2},\cdots,S_{n-1}$ . Sans cela une combinaison des n substitutions $S_{1},S_{2},\cdots,S_{n}$ où $S_{n}$ n’entrerait qu’une seule fois se réduirait à la substitution unité. Ou / en d’autres termes, on pourrait construire un contour fermé C franchissant une seule fois un côté homologue à $a_{n}$ . Je dis que cela est impossible.

Considérons les deux extrémités $A_{0}$ et $B_{0}$ de $a_{n}$ . Il peut arriver trois cas :
1° ou bien le cycle⁷⁷ 7 Deux points sont correspondants s’ils sont associés par une fonction du groupe fuchsien, c’est-à-dire s’ils appartiennent à la même orbite. A l’intérieur d’un domaine fondamental, il ne peut y avoir deux points correspondants. D’autre part, un point intérieur à un domaine fondamental “ne peut être non plus correspondant d’un point du périmètre de cette région” (1916, 119). Un cycle est un ensemble de sommets de $R_{0}$ stable par la relation de correspondance (1916, 126). dont fait partie le sommet $A_{0}$ a pour somme de ses angles $2/pi/q\quad q>1$ et le cycle dont fait partie le sommet $B_{0}$ a pour somme de ses angles $2/pi/p\quad p>1$ . (Il peut arriver d’ailleurs que les deux sommets $A_{0}$ et $B_{0}$ font partie d’un même cycle alors $p=q$ mais rien n’est changé). Alors on peut faire passer par $A_{0}$ un côté $A_{0}B_{1}$ homologue à $a_{n}$ et coupant $A_{0}B_{0}$ sous l’angle $2\pi/q$ , puis un côté $B_{1}A_{1}$ homologue à $a_{n}$ et coupant $A_{0}B_{1}$ sous l’angle $2\pi/p$ , puis un côté $A_{1}B_{2}$ homologue à $a_{n}$ et coupant $B_{1}A_{1}$ sous l’angle $2\pi/q$ et ainsi de suite. De même, de l’autre côté, on construira $B_{0}A_{-1}$ homologue à $a_{n}$ et coupant $A_{0}B_{0}$ sous l’angle $2\pi/p$ , et ainsi de suite.

On aura ainsi une ligne brisée formée de côtés homologues à $a_{n}$

\ldots\ldots\;A_{2}B_{2}A_{1}B_{1}A_{0}B_{0}A_{-1}B_{-1}A_{-2}\;\ldots\ldots

Cette ligne brisée sera régulière au point de vue / de la géométrie non euclidienne, tous les sommets $A_{0},\;A_{1},\;A_{2}$ etc. seront sur un même cercle, tous les sommets $B_{0},\;B_{1},\;B_{2}$ , etc. seront sur un autre cercle.

Enfin cette ligne brisée (qui sera généralement indéfinie) partagera le cercle fondamental en deux régions. Il est donc impossible qu’un contour fermé coupe $a_{n}$ en un seul point, sans aller recouper la ligne brisée, c’est-à-dire sans recouper un côté homologue à $a_{n}$ . Donc $S_{n}$ ne peut pas s’exprimer par une combinaison de $S_{1},\;S_{2},\;\ldots\;,S_{n-1}$ .⁸⁸ 8 S’il existait une “combinaison des n substitutions $S_{1},\,S_{2},\,\ldots\,,\,S_{n}$ où $S_{n}$ n’entre qu’une fois” réduite à l’unité, on pourrait construire, en suivant la trajectoire d’un point du disque transformé par cette combinaison de substitutions, construire une courbe fermée qui traverse $a_{n}$ une seule fois sans recouper un côté homologue à $a_{n}$ .

2 ${}^{e}$ cas. Les deux sommets $A_{0}$ et $B_{0}$ font partie d’un même cycle et la somme des angles de ce cycle est $2\pi$ . J’appellerai le sommet $B_{0}=A_{1}$ pour plus de symétrie. Alors on peut construire un côté $A_{1}A_{2}$ homologue à $a_{n}$ , puis d’autres $A_{2}A_{3}$ , $A_{3}A_{4}$ etc., homologues à $a_{n}$ . Nous aurons ainsi une ligne brisée

\ldots\ldots\;A_{-2}A_{-1}A_{0}A_{1}A_{2}A_{2}A_{3}\;\ldots\ldots

régulière au point de vue de la géométrie non euclidienne, tous les angles sont égaux entre eux et tous les sommets sont sur un même cercle. Cette ligne brisée partage encore / le cercle fondamental en deux régions. On est conduit à la même conclusion que dans le cas précédent.

3 ${}^{e}$ cas Les deux sommets $A_{0}$ et $B_{0}$ ne font pas partie d’un même cycle et la somme des angles du cycle dont fait partie $A_{0}$ est égale à $2\pi$ . Il y a alors exception et $S_{n}$ n’est qu’une combinaison de $S_{1},\;S_{2},\;\ldots\;,S_{n-1}$ . Il arrive alors toujours qu’on peut par le procédé du §9⁹⁹ 9 Le paragraphe 9 du mémoire de Poincaré, Théorie des groupes fuchsiens (1882, 1916, 108–168), s’intitule Simplification du polygone générateur. Poincaré souligne “qu’un même groupe fuchsien peut-être engendré par une infinité de polygones générateurs et qu’on peut profiter de cette indétermination pour simplifier ce polygone”. Il montre alors un algorithme simple de simplification. ramener le polygone $R_{0}$ à un autre qui a deux côtés de moins. Soit par exemple un polygone de $4p+2$ côtés dont les côtés opposés sont conjugués, dont les sommets de rang impair forment un cycle dont la somme des angles est $2\pi$ et dont les sommets de rang pair forment un autre cycle. On peut ramener ce polygone à un autre de $4p$ côtés dont tous les sommets forment un seul cycle.

Il ne me reste que la place de vous serrer la main.

Poincaré

ALS 4p. IML 25, Mittag-Leffler Archives, Djursholm.

Time-stamp: "13.08.2014 00:43"

Références

G. Darboux, N. E. Nörlund and E. Lebon (Eds.) (1916) Œuvres d’Henri Poincaré, Volume 2. Gauthier-Villars, Paris. External Links: Link Cited by: footnote 2, footnote 4, footnote 5, footnote 6, footnote 7, footnote 9.
H. Poincaré (1882) Théorie des groupes fuchsiens. Acta mathematica 1, pp. 1–62. External Links: Link Cited by: footnote 2, footnote 9.