Quand on est petit, on apprend que les nombres ne se baladent jamais tout seuls. On ne dit pas “3”, on dit “3 pommes”, “3 mètres”, “3 verres”. La quantité “1” nue n’a pas vraiment de sens à six ans; ce qui en a, c’est une pomme, une ardoise, une bille. Cette discipline de l’unité est si tôt intégrée qu’on finit par l’oublier, mais elle structure profondément la manière dont l’enfant entre dans les nombres.

Vient l’addition. Deux pommes plus trois pommes, ça fait cinq pommes. On ajoute des objets de même nature, on obtient un objet de même nature - on apprend même que cela n’a aucun sens d’ajouter des objets de natures différentes. On se convainc alors assez vite que l’ordre n’a pas d’importance, l’addition est commutative.

Puis arrive la multiplication : on apprend alors que $2 \mathrm{m} + 2 \mathrm{m} + 2 \mathrm{m} = 6 \mathrm{m}$ s’écrit de façon plus simple $3 \cdot 2 \mathrm{m} = 6 \mathrm{m}$. Mais dans ce cas, quelle est l’unité du “3” dans cette expression? Et en plus, on sait bien que $3 \mathrm{m} \cdot 2 \mathrm{m} = 6 \mathrm{m}^2$, ce qui n’est pas la même chose que $3 \cdot 2 \mathrm{m}$. La quantité “3” qui apparaît est sans unité. Encore tout petit, je ne m’étais jamais posé la question, je l’ai accepté mais je viens de faire un bond conceptuel important : les nombres peuvent exister tout seuls, en dehors de toute chose à compter. C’est un premier niveau d’abstraction, et elle est complètement silencieuse. Certains passent cette marche sans broncher, voire même sans s’en rendre compte. D’autres butent - et nous, qui avons fini par naturaliser l’existence de quantités sans unités, nous n’arrivons plus très bien à comprendre pourquoi.

Vient rapidement le deuxième bond conceptuel : $3 \cdot 2 \mathrm{m} = 2 \cdot 3 \mathrm{m}$ ! Si on reprend la définition itérée, la première écriture suggère que $2$ est itéré $3$ fois, tandis que dans la seconde, c’est l’inverse. Le rôle des deux nombres est asymétrique, et pourtant les deux résultats coïncident. Comme beaucoup, j’ai accepté. Mais une dissonance cognitive s’est créée au creux de plus d’un esprit : deux rôles asymétriques agissant de concert pour obtenir le même résultat, c’est un peu comme changer l’ordre des lettres d’un mot en espérant que le résultat fasse toujours sens.

Itération et action

Je pense qu’il vaut la peine de prendre au sérieux le malaise précédent, plutôt que de le balayer par habitude. L’écriture $3 \times 2 \mathrm{m}$ suggère une instruction : c’est $3$ donne l’action, le mouvement de répéter la quantité $2 \mathrm{m}$ qui subit. Les deux facteurs ne vivent pas dans le même monde.

Pour le dire plus proprement : l’ensemble des longueurs forment un ensemble $E$, sur lequel les entiers naturels agissent. À chaque entier $n$ et à chaque longueur $\ell$, on associe une nouvelle longueur $n \cdot \ell = \ell + \ldots + \ell$ ($n$ fois). Cette opération a les bonnes propriétés d’une action, à savoir

ce qui en fait précisément ce qu’on appelle, en algèbre, une action de monoïde de $(\mathbb{N}, +)$ sur $E$ : $\mathbb{N} \times E \rightarrow E$. Cette structure est à rapprocher de la multiplication d’un vecteur par un scalaire en algèbre linéaire : un objet d’un type (le scalaire, l’entier) agit sur un objet d’un autre type (le vecteur, la longueur). Et pourtant, dans cette image, on n’attend pas de l’expression $v \cdot \lambda$ qu’elle ait un réel sens immédiat. L’assimilation de cette action comme une multiplication, donc une opération commutative, donne d’ailleurs lieu à une autre difficulté standard des étudiants : l’écriture $v \cdot \lambda$ n’a pas de sens. L’ordre n’est pas symétrique, car les rôles ne le sont pas. C’est exactement la même situation avec $3 \cdot 2 \mathrm{m}$ et $2 \mathrm{m} \cdot 3$.

Pour pouvoir comparer ces deux quantités, il faut une étape supplémentaire passée sous silence. Il faut en fait identifier la longueur avec le nombre qu’il représente. Cette identification revient à choisir un générateur $1 \mathrm{m} \in E$ et ensuite, on établit une bijection $E \rightarrow \mathbb{N}$ - cette identification revient à dire que le scalaire $3$ et la longueur $3 \mathrm{m}$ deviennent le “même objet” et alors, on peut reformuler le problème de la commutativité par

On a transformé le problème d’un entier qui agit sur les longueurs à la multiplication de deux entiers que l’on peut comparer. Cette identification est tellement spontanée qu’on l’a oublié, mais elle permet de passer d’une action à une opération binaire interne à $\mathbb{N}$ (qui elle peut être commutative ou non). C’est seulement après ce passage que la question de la commutativité commence à avoir un sens. Si cette mise en vocabulaire semble excessive par rapport à la familiarité de la situation, c’est vivre l’adage prêté à Von Neumann : “En mathématiques, on ne comprend pas les choses, on s’y habitue.” L’enfant qui apprend, lui, n’a pas encore eu le temps de s’y habituer; c’est pour cela qu’il a sans doute raison de trouver tout ceci mystérieux.

Itération et commutativité

Reprenons : la multiplication est vue comme l’itération de l’opération commutative qui est l’addition. Sa commutativité a un caractère spécial, voire exceptionnel. Si on monte un cran et qu’on regarde l’exponentiation comme une multiplication itérée, alors la commutativité disparaît : $3^2 = 3 \times 3 \neq 2 \times 2 \times 2 = 2^3$. L’itération d’une opération commutative ne donne donc pas, en général, une opération commutative. La commutativité de la multiplication n’est donc pas un héritage automatique de celle de l’addition; c’est un fait nouveau qu’il faut justifier. Finalement, l’enfant a sans doute raison de se méfier de la commutativité de la multiplication.

Il s’en méfie tellement d’ailleurs que, dans l’apprentissage des tables de multiplication, $6 \times 8$ et $8 \times 6$ sont retenus comme deux faits distincts - l’un dans la table de 6, l’autre dans la table de 8. Le double d’information à retenir, c’est, pour certains, une vraie barrière à l’apprentissage.

Reste à comprendre pourquoi.

Une première preuve, presque mécanique, consiste à raisonner par récurrence sur $a$ à $b$ fixé. Pour $a=1$, $1 \times b = b$ et $b \times 1 = 1 + \ldots + 1 = b$ par définition de l’itération. Reste l’hérédité : si $a \times b = b \times a$, alors

la dernière égalité utilisant la distributivité de la multiplication sur l’addition à droite - qui, elle aussi, se prouve par récurrence. Mais on a seulement vérifié la commutativité sans avoir l’impression de l’avoir vraiment comprise. La récurrence est un bon outil pour s’assurer qu’un énoncé est vrai; ce n’est pas toujours un bon outil pour comprendre pourquoi il l’est.

Il y a une autre voie, qui change complètement l’angle d’attaque. Au lieu de définir $a \times b$ comme une itération, on peut le définir comme le cardinal du produit cartésien $A \times B$, où $A$ et $B$ sont deux ensembles à $a$ et $b$ éléments. Cette définition est plus symétrique, car on a une bijection $(i,j) \in A \times B \mapsto (j,i) \in B \times A$, et la commutativité retombe gratuitement, sans récurrence ni calcul.

Cette manière de voir n’est pas tout à fait nouvelle. C’est exactement la version algébrique de l’argument du rectangle, que l’on apprend parfois en classe - celui que l’on retrouve par exemple dans la méthode de Singapour, où l’on dispose les jetons en grille pour voir d’un seul coup d’oeil que $3 \times 2$ et $2 \times 3$ comptent les mêmes objets. La rotation du rectangle est exactement la même opération que la bijection $(i,j) \mapsto (j,i)$ simplement vue géométriquement plutôt que combinatoirement.

Remarquons cependant qu’aucune des deux présentations “simples” de la commutativité - celle de l’école, par itération, et celle de l’aire du rectangle - n’est vraiment propre. Toutes les deux dissimulent un saut conceptuel différent.

L’itération introduit une asymétrie de rôles : $a$ est un opérateur qui agit sur $b$. Ces deux objets ne vivent pas dans le même monde, et la commutativité affirme qu’ils sont identifiés - ce passage d’une action à une opération binaire interne que l’on a discuté au paragraphe précédent. La faille ici est dans la nature des objets.

Le rectangle, lui, introduit un saut dimensionnel. Il représente le produit de deux longueurs (ou de deux quantités linéaires) par une aire - précisément la situation $3 \mathrm{m} \times 2 \mathrm{m} = 6 \mathrm{m}^2$ que l’on signalait au début du billet, et qui n’avait alors rien d’innocent. L’argument fonctionne parce que l’on s’autorise tacitement à monter dans la dimension supérieure le temps de la preuve, puis redescendre. La faille ici est dans les unités.

L’argument du produit cartésien ne fait ni l’un, ni l’autre et certainement la plus “propre” des trois. Mais il a un coût : l’abstraction - il a fallu sortir des longueurs, des paquets, du concret, pour aller dans le formalisme des ensembles finis et de leurs cardinaux. C’est une autre forme de saut, simplement plus tardif dans la pensée.

N’est-ce pas intéressant d’observer que quelle que soit la manière de voir la commutativité de la multiplication, on finit par payer un prix conceptuel quelque part : l’asymétrie des rôles, le saut dimensionnel, ou l’abstraction ensembliste. Il n’y a pas de présentation gratuite ou intuitive automatique. Et c’est peut-être pour cela que la commutativité, qui paraît si évidente une fois acquise, demande tant de temps à être comprise : on ne peut pas l’éclairer sans déplacer le problème ailleurs.

Bien sûr, on n’a pas démontré tout à fait la même chose par les deux voies algébriques. La récurrence prouve la commutativité d’une opération définie comme itération de l’addition. L’argument par couples prouve la commutativité d’une opération définie comme cardinal d’un produit cartésien. Pour que les deux preuves portent sur le même objet, il faut un théorème supplémentaire qui relie les deux définitions. Ce théorème est généralement passé sous silence, parce qu’il semble être une évidence. C’en est une, en un sens. Mais c’est cette trivialité là qui contient toute la substance du miracle.

Cela explique en passant la non-commutativité de l’exponentiation. La quantité $a^b$ ne compte pas des couples, mais le nombre de fonctions entre un ensemble $B$ à $b$ éléments et un ensemble $A$ à $a$ éléments. Là, la source et le but jouent des rôles essentiellement distincts. Aucune symétrie naturelle disponible, aucune commutativité.

Il y a une question naturelle qu’on peut se poser pour finir, et qui a une réponse précise qui éclaircit sans doute les observations précédentes. On cherche quelles sont les opérations associatives et commutatives $\oplus$ sur $\mathbb{N}^*$ telles que l’itérée

soit elle-même commutative ? La réponse est élégamment rigide : la seule opération $\oplus$ qui convient est l’addition. En effet, si $\otimes$ est commutative, on a en particulier $a = a \otimes 1 = 1 \otimes a$, ce qui s’écrit

Tout entier est forcé d’être l’itéré de $1$ un certain nombre de fois. Mais alors, pour $a,b$ quelconque, on a par associativité et commutativité de $\oplus$ :

Donc, $\oplus$ est en fait l’addition. On voit alors que la commutativité est réellement un phénomène exceptionnel et rare : aucune autre opération associative et commutative sur $\mathbb{N}^*$ ne donne lieu à une itérée commutative.

Poser la multiplication : un obscurcissement supplémentaire de la commutativité

Il y a un dernier épisode dans cette histoire, qui me paraît assez frappant et que j’ai longtemps accepté sans le voir. L’algorithme de la multiplication posée - celui qu’on apprend à l’école pour calculer à la main, par exemple $123 \times 236$ - privilégie ostensiblement un des deux facteurs. Quand on pose le calcul, chaque chiffre du facteur du dessous “itère” chaque chiffre du facteur du dessus. La disposition est asymétrique de bout en bout.

On l’observe clairement en posant les deux calculs $123 \times 236$ et $236 \times 123$ qui ne font pas apparaître les mêmes produits partiels. Et pourtant, le résultat final est rigoureusement identique. Pour l’enfant attentif, c’est un nouveau petit miracle local après avoir intégré (ou pas) que les tables de multiplication étaient symétriques.

Avec un peu de recul, le phénomène qui apparaît est assez joli. L’algorithme calcule en réalité la somme

où les $a_i$ et $b_j$ sont les chiffres respectifs des deux nombres en base $10$. Cette somme est manifestement symétrique en $a$ et $b$. Là où la disposition introduit une asymétrie, c’est seulement dans l’ordre du calcul: on peut calculer cette somme en commençant par sommer $j$, puis sur $i$ ou inversement, mais la somme globale reste la même. Ainsi, l’asymétrie apparente de l’algorithme n’est qu’un choix d’ordre de sommation, pas un fait mathématique. C’est derrière cette asymétrie apparente qu’a été construit un des problèmes de l’ETEAM 2026.

Conclusion

Nous avons vu comme la commutativité de la multiplication est un résultat à part entière. Chaque manière de la voir paie son prix conceptuel quelque part et le “miracle” est déplacé avec chaque point de vue différent que l’on prend. Ce que l’on appelle la commutativité de la multiplication est un petit théorème modeste, mais authentique, non pas parce qu’il est faux ou difficile, mais parce que sa formulation même demande qu’on ait préalablement accepté quelque chose que l’on ne voit plus : le besoin et l’exigence d’une preuve.

L’enfant qui apprend ses tables de multiplication dans les deux sens, ou qui s’étonne en silence devant la multiplication posée, est sans doute en train, sans le savoir, de prendre au sérieux ce que les habitudes ont fini par faire oublier. Et qu’aucune des preuves disponibles, pas même la plus géométrique, ne vient sans son propre petit saut conceptuel silencieux. Mais l’enseignement, c’est peut-être ça, au fond : pas tant la transmission d’idées formelles que la recherche du point de vue qui fait comprendre - ou simplement accepter - une propriété un peu spéciale que tout le monde trouve évidente. Du moins, c’est ainsi que je le vois.

Quand on joue do-mi-sol au piano, on entend un accord. Si on joue sol-do-mi - exactement les mêmes touches, mais dans un ordre différent - on entend un accord harmoniquement identique, appelé renversement en musique. L’ordre n’a pas d’importance en harmonie : un accord est un ensemble de notes, pas une liste ordonnée. Cette remarque qui semble anodine a une conséquence géométrique surprenante.

Du cercle chromatique au cercle continu

Sur un piano, les notes forment une suite discrète : douze demi-tons par octave qui se referment sur eux-mêmes (le do de l’octave suivante “rejoint” celui de départ). C’est le cercle chromatique des musicologues - un objet à douze cases.

Faisons un bond d’abstraction : oublions les douze notes discrètes et imaginons un continuum de fréquences sur un cercle (typiquement ce qui se passe sur un violon), comme si l’on pouvait glisser sans s’arrêter d’une note à l’autre. Le cercle $\mathbb{S}^1$ représente alors l’espace géométrique de toutes les notes (à octave près), chaque point de cet espace géométrique correspond à une unique note (à octave près). Un accord à $n$ notes devient alors un ensemble (non ordonné) de $n$ points sur $\mathbb{S}^1$, éventuellement avec répétition. Pour le modéliser, partons d’abord de l’espace des $n$-uplets ordonnés de notes :

C’est le $n$-tore, un objet géométrique relativement simple : un produit de cercles. Mais un accord ne dépend pas de l’ordre des notes : il faut donc identifier les $n$-uplets qui ne diffèrent que par une permutation. On prend le quotient

où $\mathfrak{S}_n$ est le groupe symétrique qui agit sur le produit $\mathbb{S}^1 \times \ldots \times \mathbb{S}^1$ par permutation des coordonnées. Cet espace géométrique s’appelle le $n$-ième espace de configuration, ou le $n$-ième produit symétrique en topologie algébrique - c’est l’espace de tous les accords possibles, dont chaque point représente un accord. Contrairement au $n$-tore $(\mathbb{S}^1)^n$ qui est très simple, le quotient $\mathrm{Conf}_n(\mathbb{S}^1)$ a une géométrie plus subtile. Voyons ce qu’on obtient pour les premières valeurs de $n$.

Le cas $n=2$ : deux notes et le ruban de Möbius

Commençons par le cas le plus simple pour illustrer : un accord à deux notes. Commençons par l’espace des configurations ordonnées à $2$ points, il s’agit de l’espace $\mathbb{S}^1 \times \mathbb{S}^1$ : c’est le tore, que l’on visualise classiquement comme un carré dont on identifie les bords. Pour passer aux configurations non ordonnées, il faut identifier par l’action de $\mathfrak{S}_2$ qui échange les deux coordonnées le long de la diagonale $\theta_1 = \theta_2$ (panneau 1).

Un domaine fondamental pour cette action est obtenu en gardant la moitié du carré où $\theta_1 \leqslant \theta_2$ (panneau 2). Reste à comprendre comment réidentifier les deux bords bleus. En suivant la construction décrite ci-dessous, on obtient un ruban de Möbius, dont la diagonale devient le bord - le cercle des unissons.

Le cas $n=3$ : trois notes et le Toblerone twisté

Le pas suivant - trois notes - est plus délicat à visualiser, mais reste à portée d’imagination. L’espace des configurations ordonnées à $3$ points est le $3$-tore $(\mathbb{S}^1)^3$, il ne se plonge pas dans l’espace à $3$ dimensions. Cependant, on peut reprendre l’analogie du carré avec les bords identifiés mais avec une dimension supplémentaire pour avoir le $3$-tore : il s’agit d’un cube $[0,2\pi]^3$ dont les faces opposées sont identifiées (panneau 1). L’action de $\mathfrak{S}_3$ sur ce cube a six éléments - les permutations des trois coordonnées $(\theta_1, \theta_2, \theta_3)$ -, et un domaine fondamental s’obtient en imposant un ordre. Le choix le plus naturel est $0 \leqslant \theta_1 \leqslant \theta_2 \leqslant \theta_3 \leqslant 2 \pi$ qui découpe dans le cube un tétraèdre représentant $\frac{1}{6}$ du volume du cube (panneau 2).

À ce stade, la situation est plus claire après un changement de variables. Au lieu des coordonnées brutes $(\theta_1, \theta_2, \theta_3)$, paramétrons le tétraèdre par la position globale $\theta_1 \in [0,2 \pi]$ et les deux écarts $\delta_1 = \theta_2 - \theta_1$, $\delta_2 = \theta_3 - \theta_2$. Posons aussi $\delta_3 = 2 \pi - \delta_1 - \delta_2$. Les trois écarts vérifient

et décrivent donc un triangle équilatéral plein $\Delta$. Le tétraèdre du panneau 2, vu dans ces nouvelles coordonnées, devient un prisme droit (ou toblerone) $\Delta \times [0,2 \pi]$ : à chaque hauteur $\theta_1$, on lit le triangle des écarts (panneau 3).

Reste à comprendre comment refermer le prisme. Il faut identifier la face supérieure $\theta_1 = 2 \pi$ avec la face inférieure $\theta_1 = 0$, mais comment ?

Voici la subtilité : sur le $3$-tore, les coordonnées sont définies modulo $2 \pi$. Quand on suit un point dans le domaine fondamental et que l’on fait varier $\theta_1$ continûment de $0$ jusqu’à $2 \pi$, les autres coordonnées $\theta_2$ et $\theta_3$ avancent en parallèle et finissent par dépasser $2 \pi$. En les ramenant dans l’intervalle $[0,2\pi]$ et en réordonnant, on s’aperçoit que le rôle des trois sommets s’est décalé. Sur le triangle des écarts, cela se traduit par une rotation cyclique des sommets - autrement dit, une rotation de 120°.

Pour refermer le prisme, il ne faut donc pas identifier la face du haut avec celle du bas, mais après une rotation de $120°$. Le résultat est le toblerone twisté (panneau 4). Comme pour le ruban de Möbius, on peut lire les accords à $3$ notes sur cet objet :

• l’intérieur du toblerone correspond aux accords où les trois notes sont distinctes;
• les trois faces correspondent aux accords où deux notes coïncident;
• l’arête centrale spiralée correspond aux accords où toutes les notes coïncident.

L’image suivante de l’espace $\mathrm{Conf}_3(\mathbb{S}^1)$ comme toblerone twisté a été produite par un graphiste. Une sculpture similaire existe à Stony Brook University, appelée Umbilic torus, mais la section du prisme est un triangle hyperbolique (deltoïde).

Le cas général : Théorème de Morton

Avant d’énoncer le résultat général, introduisons le vocabulaire géométrique qui permet de le formuler simplement. Les simplexes sont les généralisations en dimension supérieure des segments (1D), des triangles (2D) et des tétraèdres (3D). Le $n$-simplexe standard se décrit, à homéomorphisme près, de deux manières équivalentes : comme l’ensemble des coordonnées barycentriques $\Delta^n = \lbrace (a_0, \ldots, a_n) \in \mathbb{R}^{n+1}, \; a_0 + \ldots + a_n = 1, \; a_k \geqslant 0 \rbrace$ : c’est un espace de dimension $n$, naturellement plongé dans $\mathbb{R}^{n+1}$; ou comme l’ensemble des suites croissantes $\Delta^n = \lbrace (t_1, \ldots, t_n) \in \mathbb{R}^{n}, \; 0 \leqslant t_1 \leqslant \ldots \leqslant t_n \leqslant 1 \rbrace$. Cette dernière description montre d’ailleurs que $\Delta^n = \mathrm{Conf}_n(\lbrack 0,1 \rbrack)$. Ainsi, $\Delta^1$ est un segment, $\Delta^2$ est un triangle plein et $\Delta^3$ est un tétraèdre plein. Les résultats précédents montrent que les espaces $\mathrm{Conf}_2(\mathbb{S}^1)$ (resp. $\mathrm{Conf}_3(\mathbb{S}^1)$) sont obtenus avec un simplexe $\Delta^1$ (resp. $\Delta^2$) que l’on a fait “tourner” autour d’un cercle $\mathbb{S}^1$. La seule subtilité est que ce simplexe ne revient pas forcément sur lui-même sans modification : il peut revenir avec un twist. Dans l’article Symmetric product of the circle (1967), H. Morton généralise cette observation et montre le résultat suivant :

Théorème (Morton, 1967). Pour tout $n \geqslant 1$, l’espace $\mathrm{Conf}_n(\mathbb{S}^1)$ est un fibré sur $\mathbb{S}^1$ dont les fibres sont des simplexes de dimension $n-1$. Ce fibré est de plus orientable si, et seulement si, $n$ est impair.

Démonstration (niveau avancé). On voit $\mathbb{S}^1$ comme le groupe multiplicatif des nombres complexes de module $1$ et on considère l’application de multiplication

L’application est bien définie sur le quotient car le produit est commutatif.

Étape 1 - Identifier la fibre. Fixons $w \in \mathbb{S}^1$, on note $\theta \in \mathbb{R}$ un argument de $w$. La fibre $\mu^{-1}(w)$ est l’ensemble des classes $\lbrack z_1, \ldots, z_n \rbrack$ telles que $z_1 \ldots z_n = w$. En prenant les arguments $z_k = e^{i \theta_k}$, la condition devient

Pour paramétrer cette fibre, il faut briser la symétrie de l’accord en choisissant un point de “référence”. Choisissons dans le représentant $(\theta_1, \ldots, \theta_n)$ tel que $\frac{\theta}{n} - \frac{2 \pi}{n} < \theta_1 \leqslant \frac{\theta}{n}$.

On note $\delta_k = \theta_{k+1} - \theta_k$ avec la convention $\theta_{n+1} = \theta_1 + 2 \pi$. Ces écarts vérifient

et l’application $\lbrack z_1, \ldots, z_n \rbrack \longmapsto (\delta_1, \ldots, \delta_n)$ réalise un homéomorphisme entre la fibre $\mu^{-1}(w)$ et un simplexe $\Delta^{n-1}$ de dimension $n-1$. Le bord du simplexe (où certains $\delta_k$ s’annulent) correspond exactement aux accords où plusieurs notes coïncident.

Étape 2 - $\mu$ est un fibré localement trivial. Sur tout arc ouvert $U \subset \mathbb{S}^1$, on a une détermination continue du logarithme complexe, l’association $w \mapsto \theta$ est continue et la construction précédente donne un homéomorphisme

L’application $\mu$ est donc un fibré localement trivial au sens topologique. En revanche, on ne peut pas étendre l’argument continu à tout $\mathbb{S}^1$ - cela revient à dire qu’il n’existe pas de logarithme continu défini sur le cercle unité tout entier - c’est cette obstruction qui crée le twist que l’on peut observer dans le cas du ruban de Möbius. C’est ce qu’on va maintenant quantifier.

Étape 3 - La monodromie est le $n$-cycle. Suivons une fibre quand on parcourt $\mathbb{S}^1$ : l’argument $\theta$ augmente continûment de $2 \pi$, l’ancien sommet $z_2$ devient le nouveau sommet de référence. Plus généralement, chaque sommet $z_{k+1}$ vient prendre la place de l’ancien $z_{k}$. Sur la fibre paramétrée par les écarts $(\delta_1, \ldots, \delta_n)$, cette transformation se lit par une permutation cyclique

Le $n$-cycle $(1, 2, \ldots, n)$, vu comme transformation linéaire de $\mathbb{R}^n$ permutant les coordonnées, a pour déterminant sa signature.

• Si $n$ est impair, ce $n$-cycle est de signature $+1$ : la monodromie préserve l’orientation du simplexe et le fibré $\mu$ est orientable.

• Si $n$ est pair, ce $n$-cycle est de signature $-1$ : la monodromie renverse l’orientation et le fibré $\mu$ n’est pas orientable.

Ceci achève la démonstration. $\blacksquare$

Le théorème de Morton donne une description très explicite de $\mathrm{Conf}_n(\mathbb{S}^1)$ : un fibré sur le cercle, dont la fibre est un simplexe $\Delta^{n-1}$, avec une monodromie cyclique. Mais en général, la description géométrique complète des espaces de configuration $\mathrm{Conf}_n(M)$ est difficile. On sait calculer certains invariants, et il existe même des résultats généraux très puissants, mais ils ne donnent pas toujours une image géométrique aussi concrète que le ruban de Möbius ou le toblerone twisté.

Un résultat fondamental est le théorème de Dold-Thom. Si l’on fixe un point de base dans $M$, on peut former l’espace de configuration infini en prenant la limite inductive $\mathrm{Conf}_{\infty}(M) = \mathrm{colim} \mathrm{Conf}_n(M)$. Le théorème de Dold-Thom relie alors l’homotopie de cet espace limite à l’homologie (réduite) de $M$ :

C’est un résultat très profond, mais il concerne la limite des espaces de configuration, pas nécessairement chaque étage fini $\mathrm{Conf}_n(M)$ pris séparément.

Des résultats sur l’homologie des espaces de configurations existent aussi, par exemple dans The Homology of Symmetric Products de R.J. Milgram (1969). Mais ces résultats donnent plutôt des descriptions algébriques des invariants homologiques; ils ne fournissent pas toujours une image géométrique simple de l’espace lui-même. Quelques cas particuliers restent néanmoins très beaux.

Au-delà du cercle : un coup d’oeil à la sphère

C’est le cas de la sphère $M = \mathbb{S}^2 \cong \mathbb{CP}^1$. Dans ce cas, on a une description topologique remarquable :

En effet, à l’aide de la projection stéréographique, on peut identifier $\mathbb{S}^2$ avec $\mathbb{CP}^1 = \mathbb{C} \cup \lbrace \infty \rbrace$. À travers cette identification, un $n$-uplet non ordonné de points de la sphère $\mathbb{S}^2$, avec multiplicités, peut être vu comme l’ensemble des racines (avec multiplicité) d’un polynôme complexe de degré au plus $n$, défini à multiplication près. Les coefficients de ce polynôme donnent alors des coordonnées projectives de $\mathbb{CP}^n$.

Attention toutefois: l’espace $\mathbb{CP}^n$ est naturellement une variété lisse (d’où l’idée d’identification topologique). Afin de poursuivre l’identification des singularités, il faut pouvoir identifier les singularités de $\mathrm{Conf}_n(\mathbb{S}^2)$ à travers l’identification précédente. Reconnaître ces singularités revient à détecter les racines multiples d’un polynôme à partir de ses coefficients. Algébriquement, cela se lit à travers le discriminant, ou plus finement à travers les diviseurs communs entre le polynôme et ses dérivées. On peut s’en faire une idée avec quelques petites valeurs de $n$.

Pour $n=2$, l’image est encore familière : un polynôme $aX^2 + bX + c \in \mathbb{C} \lbrack X \rbrack$ (correspondant à des coordonnées homogènes $\lbrack a : b : c \rbrack \in \mathbb{CP}^2$) a une racine multiple si, et seulement si, son discriminant $b^2 - 4ac = 0$. Ainsi, les singularités de $\mathrm{Conf}_2(\mathbb{S}^2)$ correspondent à la conique projective dans $\mathbb{CP}^2$ qui a pour équation $b^2 - 4ac = 0$.

Le cas $n=3$ est plus intéressant, car il existe désormais deux types de collisions : deux points peuvent coïncider, ou bien les trois points peuvent coïncider. La notion de discriminant s’étend pour les polynômes de degré supérieur et en particulier, les points singuliers de $\mathrm{Conf}_3(\mathbb{S}^2)$ dans $\mathbb{CP}^3$ correspondent à la surface donnée $\Delta(a,b,c,d)=0$, où $\Delta(a,b,c,d)$ est le discriminant de $aX^3 + bX^2 + cX + d$. Parmi ces points singuliers, les points correspondant à une collision triple correspondent aux polynômes $(\alpha X + \beta)^3$, ces polynômes décrivent dans $\mathbb{CP}^3$ la courbe cubique gauche décrite par $\lbrack \alpha : \beta \rbrack \mapsto \lbrack \alpha^3 : 3\alpha^2 \beta : 3 \alpha \beta^2 : \beta^3 \rbrack$. Cette stratification naturelle selon la nature des collisions affine la notion de points singuliers : certains points sont “plus singuliers” que d’autres.

La géométrie harmonique de Tymoczko.

Cette idée de représenter les accords comme des points d’un espace géométrique a été développée systématiquement par Dmitri Tymoczko dans ses travaux sur la géométrie des accords. Dans son approche, un accord est représenté par un point d’un espace géométrique, souvent un orbifold et une progression harmonique devient alors un chemin dans cet espace. Les conduites de voix les plus efficaces - celles où chaque note bouge le moins possible - correspondent à des chemins courts, que l’on peut idéaliser géométriquement comme des géodésiques pour une métrique naturelle sur l’espace des accords héritée du cercle $\mathbb{S}^1$. Autrement dit, la géométrie de l’espace des accords ne sert pas seulement à classer les accords : elle permet aussi de mesurer la proximité entre deux accords et de comprendre pourquoi certaines progressions semblent particulièrement naturelles à l’oreille. Tymoczko formule précisément cette idée dans The Geometry of Musical Chords, où les accords sont modélisés comme des points d’orbifolds et les déplacements entre accords comme des chemins dans cet espace.

Bien au-delà de la musique

L’analogie musicale est jolie, mais elle ne doit pas faire oublier que les espaces de configuration sont des objets fondamentaux, qui réapparaissent dans des contextes mathématiques et scientifiques très variés. En voici quatre, choisis parmi tant d’autres.

En physique des particules indiscernables. Lorsqu’on étudie un système quantique de $n$ particules identiques (par exemple $n$ électrons), l’espace des configurations physiques est exactement $\mathrm{Conf}_n(M)$, où $M$ est l’espace ambiant. La topologie de cet espace contraint les statistiques possibles : en dimension $\geq 3$, on retrouve les bosons et les fermions ; mais en dimension 2, son groupe fondamental — le groupe de tresses — devient bien plus riche, et ouvre la porte aux anyons, des particules aux statistiques fractionnaires aujourd’hui activement étudiées en informatique quantique topologique.

En robotique. Pour planifier le mouvement de $n$ robots dans un environnement $M$ sans qu’ils ne se heurtent, on travaille naturellement dans $\mathrm{Conf}_n(M)$. La topologie de cet espace mesure la complexité intrinsèque du problème de planification de mouvement, une notion formalisée par Michael Farber au début des années 2000. Plus la topologie est riche, plus aucun algorithme de planification ne peut être à la fois global et continu.

En théorie des nœuds et des tresses. L’espace $\mathrm{Conf}_n(\mathbb{R}^2)$ a pour groupe fondamental le groupe de tresses d’Artin $B_n$ sur $n$ brins. Plus précisément, cet espace est un espace d’Eilenberg-MacLane $K(B_n, 1)$, c’est-à-dire un espace classifiant pour le groupe de tresses. À ce titre, il est l’objet géométrique central qui sous-tend la classification des nœuds, des entrelacs et des invariants quantiques associés.

En théorie classique et quantique des champs. Les espaces de configuration apparaissent partout dès qu’il s’agit de décrire des positions de particules ou d’opérateurs ponctuels, et les structures algébriques qui vivent au-dessus de ces espaces — algèbres de Lie, opérades, algèbres de factorisation — encodent leurs interactions. C’est précisément sous cet angle que je les rencontre dans ma propre recherche : voir Recherche.

Une grande partie de la difficulté mathématique vient des diagonales, c’est-à-dire des configurations où plusieurs points coïncident. Dans l’espace de configuration $\mathrm{Conf}_n(M) = M^n/\mathfrak{S}_n$, ces diagonales correspondent aux points fixes de l’action de $\mathfrak{S}_n$, et elles font naturellement de $\mathrm{Conf}_n(M)$ un orbifold. Des espaces plus réguliers peuvent être obtenus en retirant les diagonales avant la prise du quotient afin d’obtenir une action libre de $\mathfrak{S}_n$. Dans ma recherche, je m’intéresse au contraire à des structures qui tiennent compte de ces diagonales : elles ne sont pas seulement des singularités gênantes, elles portent au contraire une partie essentielle de la richesse de la théorie quantique des champs : la renormalisation.