Non-affine $n$-valued maps on tori

Cet article construit des applications $n$-valuées non affines sur les tores de dimension $k$ (avec $n,k \geq 2$) en établissant des conditions algébriques nécessaires et suffisantes sur les morphismes induits, ce qui contraste fortement avec le cas des applications univaluées qui sont toujours homotopes à des applications affines.

L'essentiel

🌍 Le Voyage sur le Tore : Quand les cartes ne sont pas "droites"

Imaginez que vous êtes un explorateur sur un tore. Pour ceux qui ne connaissent pas, un tore est simplement une forme de beignet (ou de chambre à air de vélo). En mathématiques, c'est un espace qui se replie sur lui-même : si vous marchez tout droit vers l'est, vous finissez par revenir à votre point de départ.

Dans ce papier, les auteurs (Karel Dekimpe et Lore De Weerdt) s'intéressent à un type de voyage très spécial appelé une application n-valuée.

1. Qu'est-ce qu'une "application n-valuée" ?

Imaginez que vous êtes sur le tore et que vous demandez : "Où dois-je aller ?".

• Dans un voyage normal (une fonction classique), on vous donne une seule direction précise.
• Dans ce voyage spécial (n-valué), on vous donne n choix différents en même temps. Par exemple, si $n=3$, on vous dit : "Tu peux aller au point A, au point B ou au point C".

Le défi est que ces points A, B et C doivent être distincts les uns des autres, et que cette règle doit s'appliquer partout sur le beignet de manière fluide.

2. Le problème des "Chemins Droits" (Affines)

Les mathématiciens adorent les choses simples. Sur un tore, le chemin le plus simple et le plus prévisible est ce qu'ils appellent un chemin affine.

• L'analogie : Imaginez que vous glissez sur une patinoire parfaitement lisse. Si vous poussez votre patin d'un coup sec, vous allez tout droit. C'est un mouvement "affine".
• Dans le cas d'un seul choix ($n=1$), il a été prouvé depuis longtemps que n'importe quel voyage sur un tore peut être déformé (sans déchirer le tissu) pour devenir un simple glissement tout droit. C'est comme si vous pouviez toujours transformer une route sinueuse en ligne droite sans changer la destination finale.

Mais voici le grand secret de ce papier :
Les auteurs montrent que dès que vous avez plusieurs choix ($n \ge 2$) et que le tore a plus d'une dimension (un vrai beignet, pas juste un cercle), cette règle tombe en ruine !

Il existe des voyages "n-valués" qui sont totalement tordus et qu'on ne peut jamais transformer en un simple glissement tout droit, même en étirant ou en tordant le chemin. Ils sont intrinsèquement "non-affines".

3. Comment ont-ils découvert cela ? (La condition de divisibilité)

Pour prouver cela, les auteurs regardent les "règles de l'ombre" qui gouvernent ces voyages. Ils utilisent une sorte de traducteur mathématique (appelé morphisme) qui regarde comment les points se déplacent quand on fait le tour du beignet.

Ils ont découvert une condition de "divisibilité" qui agit comme un test de réalité :

• Imaginez que vous faites un tour complet du beignet. Dans un voyage "droit" (affine), les choix que vous faites (A, B, C) doivent se comporter de manière très prévisible et symétrique.
• Les auteurs ont trouvé que si vos choix se comportent comme un cycle de danse désordonné (par exemple, A devient B, B devient C, et C redevient A d'une manière qui ne "divise" pas bien les nombres), alors votre voyage est condamné à être tordu. Il ne pourra jamais être un simple glissement droit.

4. L'exemple concret : La danse des points

Pour prouver leur théorie, ils ont construit un exemple concret sur un tore à deux dimensions (un vrai beignet).

• Ils ont créé une carte où les points bougent en suivant une fonction trigonométrique (comme des vagues de cosinus et sinus).
• Quand on fait un tour complet du tore, les points ne reviennent pas simplement à leur place. Ils "dansent" entre eux.
• En appliquant leur test mathématique, ils voient que cette danse crée une contradiction : si le voyage était "droit" (affine), les points devraient pouvoir se diviser parfaitement, mais ici, ils restent bloqués dans un cycle impossible à simplifier.

Résultat : Ce voyage est un "monstre" mathématique. Il est réel, il existe, mais il ne ressemble à aucun voyage "droit".

5. Pourquoi est-ce important ?

Jusqu'à présent, les mathématiciens pensaient que sur un tore, tout voyage pouvait être simplifié en un mouvement linéaire. Ce papier brise cette croyance pour les voyages à choix multiples.

C'est comme si on pensait que toutes les routes d'une ville pouvaient être transformées en autoroutes droites. Ce papier nous dit : "Non ! Si vous avez plusieurs itinéraires possibles en même temps, certaines routes sont si complexes et entrelacées qu'elles ne pourront jamais devenir des lignes droites, peu importe comment vous essayez de les redessiner."

En résumé

Ce papier utilise des outils algébriques sophistiqués pour montrer que la complexité naît de la multiplicité. Sur un tore, avoir plusieurs destinations possibles en même temps permet de créer des structures mathématiques si riches et si tordues qu'elles résistent à toute tentative de simplification en un mouvement simple et droit. C'est une victoire de la complexité sur la simplicité !

Résumé technique

Voici un résumé technique détaillé de l'article « Non-affine n-valued maps on tori » (Applications n-valorées non affines sur les tores) par K. Dekimpe et L. De Weerdt.

1. Problématique et Contexte

L'article s'intéresse à l'étude des applications n-valorées (ou multivaluées) $f : X \to D_n(X)$, où $D_n(X)$ est l'espace des configurations non ordonnées de $n$ points distincts dans $X$. Le cas spécifique étudié est celui où $X$ est un tore de dimension $k$, noté $T^k$ (avec $n, k \ge 2$).

Le problème central réside dans la différence fondamentale entre le cas des applications à valeur unique ($n=1$) et le cas $n$-valoré :

• Cas $n=1$ : Sur un tore (et plus généralement sur les infra-nilvariétés), toute application continue est homotope à une application affine (et même linéaire). Les nombres de Reidemeister et de Nielsen sont donc entièrement déterminés par la matrice induite sur le groupe fondamental.
• Cas $n \ge 2$ : Il n'est plus vrai que toute application $n$-valorée sur $T^k$ soit homotope à une application affine.

L'objectif de l'article est de déterminer des conditions algébriques nécessaires et suffisantes sur les morphismes induits par une application $n$-valorée pour qu'elle soit homotope à une application affine. Plus précisément, les auteurs cherchent à caractériser quand un morphisme donné $\psi : \mathbb{Z}^k \to (\mathbb{Z}^k)^n \rtimes \Sigma_n$ peut être induit par une application affine, et à construire des exemples d'applications qui ne satisfont pas ces conditions (donc non affines).

2. Méthodologie

Les auteurs utilisent la théorie des points fixes pour les applications multivaluées, développée par Brown, Gonçalves et al., en se basant sur les relevés (lifts) vers l'espace de configuration orbitale.

• Cadre Algébrique : Une application $n$-valorée $f$ est représentée par un morphisme $\psi = (\phi_1, \dots, \phi_n; \sigma) : \pi_1(T^k) \to \pi_1(D_n(T^k)) \cong (\mathbb{Z}^k)^n \rtimes \Sigma_n$.
  • $\sigma : \mathbb{Z}^k \to \Sigma_n$ décrit la permutation des points.
  • $\phi_i : \mathbb{Z}^k \to \mathbb{Z}^k$ sont des applications (non nécessairement des morphismes de groupes) décrivant le déplacement des points.
• Réduction aux cas irréductibles : Grâce au Théorème 1.1, l'étude se réduit aux morphismes irréductibles (ceux qui ne peuvent pas être décomposés en une union d'applications de rang inférieur). Dans ce cas, il n'y a qu'une seule classe $\sigma$, et les sous-groupes de stabilisation $S_i$ et les restrictions des $\phi_i$ sont indépendants de l'indice $i$.
• Analyse des relevés : Les auteurs analysent comment le choix d'un relevé spécifique $\tilde{f}$ influence le morphisme induit $\psi_{\tilde{f}}$. Ils démontrent que certaines obstructions à l'affinité sont invariantes, tandis que d'autres peuvent être "éliminées" ou "créées" par un changement intelligent de relevé.

3. Résultats Clés et Contributions

A. Condition de Divisibilité (Théorème 2.6 et 2.7)

C'est le résultat principal de caractérisation.

• Condition Nécessaire (Théorème 2.6) : Si un morphisme $\psi$ est induit par une application affine, alors pour tout $i$ et tout $\bar{z} \notin S_i$ (où $S_i$ est le stabilisateur de $i$), on doit avoir $\phi_i(n_{i,\bar{z}}\bar{z}) \notin n_{i,\bar{z}}\mathbb{Z}^k$. Ici, $n_{i,\bar{z}}$ est la longueur du cycle contenant $i$ dans la décomposition de $\sigma_{\bar{z}}$.
• Condition Suffisante (Théorème 2.7) : Pour un morphisme irréductible, la condition ci-dessus est également suffisante. Si elle est satisfaite, on peut construire explicitement une application affine induisant $\psi$.
• Algorithme : Cette condition se réduit à un test fini sur un ensemble de vecteurs représentants, permettant de décider algorithmiquement si un morphisme provient d'une application affine.

B. La Condition de Cycle (Corollaire 3.1)

Pour faciliter la construction de contre-exemples, les auteurs déduisent une condition plus concrète :

• Si $\psi$ est induit par une application affine, alors pour tout cycle non trivial $(i_1 \dots i_m)$ de $\sigma_{\bar{z}}$, les images $\phi_{i_1}(\bar{z}), \dots, \phi_{i_m}(\bar{z})$ ne peuvent pas être toutes égales.
• Si elles sont égales, alors $\phi_i(n_{i,\bar{z}}\bar{z}) = n_{i,\bar{z}}\phi_i(\bar{z}) \in n_{i,\bar{z}}\mathbb{Z}^k$, ce qui viole la condition de divisibilité.

C. Influence du Choix du Relevé (Section 4)

Les auteurs montrent que l'obstruction à l'affinité dépend du relevé choisi, mais de manière contrôlée :

• Lemme 4.2 : Pour tout morphisme $\psi$, il existe un relevé tel que les valeurs $\phi_i(\bar{z})$ sur un cycle soient égales à n'importe quelle décomposition donnée de la somme totale.
• Conséquence (Corollaire 4.4) : Si l'image de $\psi$ contient de la torsion (c'est-à-dire $\psi(m\bar{z}) = 1$ pour $m>1$), alors il existe un relevé pour lequel les $\phi_i$ sont nuls sur un cycle non trivial. Par le Corollaire 3.1, une application affine ne peut jamais induire un morphisme dont l'image contient de la torsion.
• Nuance importante : L'absence de torsion n'est pas suffisante pour garantir l'affinité (voir Exemple 4.5), car la condition de divisibilité peut échouer même sans torsion.

D. Construction d'Applications Non Affines (Sections 3 et 5)

L'article fournit une méthode systématique pour construire des applications $n$-valorées non affines :

1. Exemple de base (Exemple 3.2) : Une application sur $T^2$ utilisant des fonctions trigonométriques pour créer une permutation cyclique des points lors du déplacement sur le tore, avec des décalages nuls ($\phi_i = 0$). Cela viole la condition de cycle.
2. Généralisation (Lemme 5.1) : On peut perturber une application "triviale" (où $\phi_i=0$) par une petite quantité $\epsilon$ pour obtenir une application induisant un morphisme $\psi$ arbitraire (avec des $\phi_i$ non nuls), tout en conservant la propriété d'être $n$-valorée. Cela permet de générer une infinité d'exemples complexes non affines.

4. Signification et Impact

• Rupture avec le cas univalué : L'article démontre rigoureusement que la propriété d'homotopie vers une application affine, caractéristique des variétés nilpotentes pour les applications univaluées, échoue totalement pour les applications multivaluées dès que $n, k \ge 2$.
• Outils de calcul : En fournissant des conditions algébriques précises (Théorème 2.7), les auteurs permettent de calculer les nombres de Nielsen et de Reidemeister pour une classe plus large d'applications, en identifiant celles qui se comportent "comme" des affines et celles qui ne le font pas.
• Construction explicite : La capacité à construire systématiquement des contre-exemples (via le Lemme 5.1) enrichit la topologie des espaces de configuration et offre de nouveaux objets d'étude pour la théorie des points fixes.
• Applications futures : Ces résultats ouvrent la voie à l'étude des points fixes sur d'autres variétés et à la compréhension plus fine de la structure des espaces de configuration $D_n(X)$.

En résumé, ce papier établit une théorie complète pour distinguer les applications $n$-valorées affines des non-affines sur les tores, en reliant la géométrie de l'application à des propriétés algébriques fines de son morphisme induit sur le groupe fondamental.