Forester's lattices and small non-Leighton complexes

Cet article présente la construction de deux complexes CW, $K$ et $L$, qui admettent un revêtement commun infini mais non fini, où $K$ est homéomorphe à un complexe possédant une unique 2-cellule.

L'essentiel

🧱 Le Grand Puzzle : Deux Châteaux, Un Même Plan, Mais Pas de Fin

Imaginez que vous êtes un architecte travaillant sur des structures infinies. En mathématiques, ces structures s'appellent des complexes CW. Pour faire simple, pensez-y comme à des Lego géants ou à des châteaux en papier que l'on peut construire en assemblant des points (sommets), des lignes (arêtes) et des surfaces (faces).

Les auteurs de cet article, Natalia Dergacheva et Anton Klyachko, ont construit deux châteaux particuliers, appelons-les Château K et Château L.

1. La Règle du Jeu (Le Théorème de Leighton)

Il existe une règle célèbre en mathématiques, découverte par Frank Leighton en 1982. Elle dit ceci :

« Si vous avez deux châteaux finis (de taille limitée) et qu'ils peuvent tous deux être construits à partir du même plan de base infini (un "revêtement commun"), alors il doit exister un plan de base fini qui leur convient aussi. »

C'est comme si deux maisons différentes pouvaient être construites à partir du même plan d'architecte infini. La règle dit qu'alors, il doit exister un plan plus petit, fini, qui permet de reconstruire les deux maisons.

2. Le Problème : Quand la Règle S'effondre

Pour les graphes (des dessins de points et de lignes), cette règle fonctionne toujours. Mais pour les structures en 3D ou avec des surfaces (comme nos châteaux Lego), les mathématiciens savent depuis un moment que la règle peut échouer. On appelle cela une paire "non-Leighton".

Jusqu'à présent, pour créer un tel échec, il fallait utiliser des structures très lourdes avec beaucoup de pièces (par exemple, 6 faces, puis 4, puis 2).
La question ouverte était : Peut-on créer un tel échec avec une structure ultra-minimaliste, n'ayant qu'une seule grande face (un seul morceau de papier) ?

3. La Réponse des Auteurs : Presque, mais pas tout à fait

Les auteurs disent : « Nous ne pouvons pas le faire avec une seule face, mais nous pouvons le faire avec une structure qui ressemble à une seule face. »

Voici leur découverte :

• Le Château K : Il est construit avec deux faces, mais si vous regardez bien, il est topologiquement identique (homéomorphe) à un château qui n'aurait qu'une seule face. C'est une structure très simple, presque parfaite.
• Le Château L : Il est plus grand et plus complexe (il a 4 faces).
• Le Twist : Ces deux châteaux partagent le même plan infini pour être construits. Cependant, il est impossible de trouver un plan fini qui les relie tous les deux.

C'est comme si vous aviez deux maisons différentes qui peuvent toutes deux être construites à partir d'un plan infini de l'univers, mais pour lesquelles aucun plan de maison "standard" (fini) ne fonctionne pour les deux en même temps.

4. L'Analogie du Tapis et du Ruban

Pour comprendre pourquoi c'est impossible, imaginez que le "plan infini" est un tapis infini avec un motif très spécial (appelé BS(2,4)).

• Le Château K est comme un tapis que vous avez enroulé d'une manière très précise.
• Le Château L est comme un tapis enroulé d'une autre manière.

Les auteurs montrent que si vous essayez de plier le tapis infini pour obtenir un motif fini qui correspond aux deux, vous vous heurtez à un mur. C'est un peu comme essayer de faire coïncider deux horloges qui tournent à des vitesses incompatibles : l'une tourne sur un rythme de 2, l'autre sur un rythme de 4, et leurs sous-multiples ne se rencontrent jamais parfaitement dans un cycle fini.

En termes mathématiques, les "groupes fondamentaux" (qui décrivent la façon dont on peut faire le tour des trous dans ces châteaux) sont incommensurables. C'est-à-dire qu'ils ne partagent aucun sous-ensemble fini commun.

5. Pourquoi c'est important ?

C'est une découverte fascinante pour deux raisons :

1. La subtilité : Ils ont trouvé un exemple où l'on a ajouté une simple ligne (une arête) pour diviser une face en deux, et cela a suffi à briser la règle de Leighton. C'est la première fois qu'une telle "division de cellule" a un effet aussi dramatique.
2. La simplicité : Ils ont réduit la complexité au minimum possible. Le château K est si simple qu'il est presque un exemple "parfait" d'une structure à une seule face.

En Résumé

Imaginez deux puzzles infinis qui semblent identiques au premier coup d'œil. Les mathématiciens ont prouvé que même si ces deux puzzles peuvent être assemblés à partir du même modèle infini, il n'existe aucun modèle fini qui puisse expliquer les deux à la fois. C'est une faille dans la logique habituelle des formes géométriques, découverte en utilisant des structures aussi simples que possible.

C'est comme si l'univers disait : « Parfois, même avec les mêmes briques infinies, vous ne pouvez pas construire deux maisons différentes avec les mêmes plans finis. »

Résumé technique

1. Contexte et Problématique

Le théorème de Leighton et son échec en dimension 2
Le théorème de Leighton (1982) établit que si deux graphes finis admettent un revêtement commun, alors ils admettent un revêtement commun fini. Ce résultat a été généralisé et prouvé par diverses méthodes pour les graphes.

Cependant, l'assertion analogue est fausse pour les complexes CW de dimension 2. Un "paire non-Leighton" est définie comme une paire de complexes CW finis $(K, L)$ qui admettent un revêtement commun (infini), mais aucun revêtement commun fini.

• Des exemples antérieurs ([Wis96], [JaW09], [DK23]) ont montré de telles paires, en réduisant progressivement le nombre de 2-cellules (de 6, à 4, puis à 2).
• La question ouverte : Existe-t-il une paire non-Leighton où l'un des complexes (ou les deux) ne possède qu'une seule 2-cellule ?

L'objectif de l'article
Les auteurs répondent partiellement à cette question en construisant une paire non-Leighton $(K, L)$ où le complexe $K$ est homéomorphe à un complexe possédant une unique 2-cellule. De plus, ils établissent des propriétés extrémales et structurelles fortes pour cette paire.

2. Méthodologie et Construction

Les auteurs s'appuient sur les travaux de Max Forester ([Fo24]) concernant les treillis de Forester et les groupes de Baumslag-Solitar, en fournissant une preuve concise et quasi-autonome.

A. Définition des Complexes

1. Le complexe $K$ :

   • Il est défini comme le complexe standard (à un sommet) pour la présentation du groupe de Baumslag-Solitar $BS(2, 4) = \langle c, d \mid c^2d = c^4 \rangle$.
   • La présentation explicite utilisée dans la construction est $\langle c, d, z \mid c^{-1}dc^2 = z = cdc^{-2} \rangle$.
   • Bien que la présentation initiale contienne deux 2-cellules, $K$ est homéomorphe à un complexe à une seule 2-cellule (celle de $BS(2, 4)$ standard).
   • Note importante : Le complexe $K$ lui-même est "Leighton" (il ne peut pas faire partie d'une paire non-Leighton s'il est pris seul), mais sa subdivision (l'ajout d'une arête divisant la 2-cellule) crée le complexe $K$ de la paire, ce qui est un effet dramatique inattendu.

2. Le complexe $L$ :

   • Il possède deux sommets (noir et blanc).
   • Il contient 6 arêtes : deux boucles ($c_\bullet, c_\circ$) et quatre arêtes reliant les sommets ($y, z, t, t_1$).
   • Il contient 4 cellules de dimension 2 ($A, B, C, D$) avec des bords spécifiques reliant les arêtes selon des règles de conjugaison.
   • $L$ est homéomorphe à un complexe à 3 cellules de dimension 2.

B. Outils Mathématiques

• Théorie des groupes : Utilisation des groupes de Baumslag-Solitar $BS(n, m) = \langle c, d \mid c^n d = c^m \rangle$.
• Incommensurabilité : Le cœur de la preuve repose sur le fait que les groupes $BS(2, 4)$ et $BS(4, 16)$ sont incommensurables (aucun sous-groupe d'indice fini de l'un n'est isomorphe à un sous-groupe d'indice fini de l'autre), un résultat établi par [CKZ21] et [Fo24].
• Théorème de Schreier : Utilisation de la méthode de Schreier pour calculer les présentations des sous-groupes d'indice fini (noyaux d'homomorphismes vers des groupes cycliques).
• Revêtements universels : Construction explicite d'un revêtement commun universel basé sur un arbre régulier et un produit cartésien avec $\mathbb{R}$.

3. Résultats Principaux

Le théorème principal de l'article établit que les complexes $K$ et $L$ forment une paire non-Leighton :

1. Absence de revêtement commun fini :

   • Le groupe fondamental $\pi_1(K)$ est isomorphe à $BS(2, 4)$.
   • Le groupe fondamental $\pi_1(L)$ est commensurable à $BS(4, 16)$.
   • Puisque $BS(2, 4)$ et $BS(4, 16)$ sont incommensurables, aucun sous-groupe d'indice fini de $\pi_1(K)$ ne peut être isomorphe à un sous-groupe d'indice fini de $\pi_1(L)$. Par conséquent, aucun revêtement commun fini n'existe.

2. Existence d'un revêtement commun (infini) :

   • Les auteurs montrent que les revêtements universels de $K$ et $L$ sont isomorphes.
   • Ce revêtement commun est le complexe de Baumslag-Solitar $X_{2,4}$ (décrit dans [Fo24]).
   • La structure de $X_{2,4}$ est le produit cartésien $T \times \mathbb{R}$, où $T$ est un arbre régulier orienté (degré sortant 2, degré entrant 4), muni d'une structure cellulaire spécifique.
   • Les applications de revêtement $X_{2,4} \to K$ et $X_{2,4} \to L$ sont définies explicitement en fonction de la parité des indices et de la coloration des sommets de l'arbre.

3. Propriétés Extremales et Structurelles :

   • Minimalité des cellules : $K$ est homéomorphe à un complexe à une seule 2-cellule (réponse "presque" affirmative à la question ouverte). $L$ possède 4 cellules (le minimum connu pour une telle paire, bien que $L$ soit plus grand que dans les exemples précédents).
   • Propriétés des groupes fondamentaux :
     • $\pi_1(K)$ est un groupe à une relation.
     • $\pi_1(L)$ est commensurable à un groupe à une relation. Plus précisément, il existe un revêtement fini $\tilde{L}$ de $L$ tel que $\pi_1(\tilde{L})$ est un sous-groupe d'indice fini d'un groupe à une relation.
   • Contraste avec le théorème de Bridson-Shepherd : Cela démontre que dans une paire non-Leighton, les groupes fondamentaux peuvent être "proches" des groupes à une relation, contrairement à l'impossibilité qu'ils soient libres ou virtuellement libres.

4. Signification et Contributions

• Réponse à une question ouverte : L'article fournit le premier exemple où une subdivision de cellule (passer d'une 2-cellule à deux) transforme un complexe "Leighton" en un membre d'une paire non-Leighton. Cela met en évidence la sensibilité de la propriété de Leighton à la structure cellulaire fine, et non seulement à l'homotopie.
• Optimisation des exemples : Bien que le complexe $L$ soit plus grand que dans les travaux antérieurs ([DK23]), le complexe $K$ atteint une taille minimale (homéomorphe à 1 cellule), ce qui est un progrès significatif vers la compréhension des limites de la conjecture de Leighton en dimension 2.
• Lien avec la théorie des groupes : L'article renforce la connexion entre la topologie des complexes CW et la théorie des groupes de Baumslag-Solitar, en utilisant l'incommensurabilité de ces groupes comme outil principal pour prouver l'absence de revêtements finis.
• Méthodologie : La démonstration offre une construction explicite et vérifiable des revêtements, rendant le résultat accessible et ouvrant la voie à de nouvelles recherches sur les paires non-Leighton minimales.

En conclusion, ce travail démontre l'existence d'une paire non-Leighton $(K, L)$ où $K$ est topologiquement équivalent à un complexe à une seule 2-cellule, tout en établissant des propriétés profondes sur la structure de leurs groupes fondamentaux et leurs revêtements universels.