Two-sided homological properties of special and one-relator monoids

1. Problématique et Contexte

L'article s'inscrit dans le domaine de la théorie des monoïdes et des groupes, en particulier l'étude des monoïdes à un relateur (présentés par un seul générateur de relations $u = v$).

• Le problème central : La décidabilité du problème du mot pour les monoïdes à un relateur est un problème ouvert majeur. Une approche prometteuse consiste à étudier les propriétés de finitude homologique.
• Contexte théorique : Il est bien établi que les monoïdes admettant un système de réécriture complet fini satisfont des propriétés de finitude homologique fortes (notamment bi-FP$_n$ et bi-FP$_\infty$).
• Lacune actuelle : Bien que les auteurs aient démontré précédemment que tous les monoïdes à un relateur sont de type gauche-FP$_\infty$ et droite-FP$_\infty$, la question de savoir s'ils sont de type bi-FP$_\infty$ (une propriété plus forte et plus robuste impliquant la structure de bimodule) restait ouverte. De plus, la dimension de cohomologie de Hochschild de ces monoïdes n'était pas entièrement caractérisée.
• Objectif de l'article : Établir des liens entre les propriétés homologiques à deux faces d'un monoïde spécial (où les relations sont de la forme $w = 1$) et celles de son groupe d'unités, puis appliquer ces résultats aux monoïdes à un relateur.

2. Méthodologie

Les auteurs développent une théorie homologique à deux faces (two-sided) entièrement nouvelle, s'appuyant sur une généralisation de la théorie classique d'Adjan-Makanin-Zhang pour les monoïdes spéciaux.

• Analyse des graphes de Cayley : Contrairement aux approches précédentes qui se concentraient sur les graphes de Cayley gauche ou droit, l'article utilise le graphe de Cayley à deux faces ($\vec{\Gamma}$) du monoïde $M$, où les sommets sont $M \times M$ et les arêtes correspondent à l'action de $M \times M^{op}$.
• Construction de l'objet $N$ : L'innovation clé est l'introduction d'un monoïde $N$ défini comme l'ensemble des paires $(u, v)$ de l'unité à droite et de l'unité à gauche telles que $uv=1$.
  • Les auteurs prouvent que $N$ est isomorphe au produit libre d'un groupe (le groupe d'unités $G$ de $M$) et d'un monoïde libre de rang fini ($N \cong G * C^*$).
• Action libre et quotients : Ils démontrent que l'ensemble $M \times M$ est un ensemble libre à droite sous l'action de $N$. Cela permet d'étudier le quotient du graphe de Cayley $\vec{\Gamma}$ par $N$.
• Topologie et Homologie :
  • Ils montrent que le quotient $\vec{\Gamma}/N$ est une forêt (un graphe sans cycles).
  • Ils analysent l'ensemble des arêtes "effondrées" lors de ce quotient, prouvant qu'il forme un ensemble libre fini engendré par $M \times M^{op}$.
  • Ces résultats topologiques permettent de construire des résolutions projectives de bimodules pour le monoïde $M$ à partir de celles du groupe d'unités $G$.

3. Contributions Clés et Résultats Principaux

A. Théorème A : Réduction aux groupes d'unités

Pour un monoïde fini présenté sous forme spéciale $M = \langle A \mid w_1=1, \dots, w_k=1 \rangle$ avec $G$ comme groupe d'unités :

1. Propriété bi-FP$_n$ : Si $G$ est de type FP$_n$, alors $M$ est de type bi-FP$_n$.
2. Dimension de cohomologie de Hochschild : La dimension de cohomologie de Hochschild de $M$, notée $\dim(M)$, est bornée par :
   $$\text{cd}(G) \le \dim(M) \le \max\{2, \text{cd}(G)\}$$
   où $\text{cd}(G)$ est la dimension de cohomologie du groupe $G$.

B. Théorème B : Théorème de l'identité de Lyndon pour les monoïdes à un relateur spéciaux

Pour un monoïde à un relateur de la forme $M = \langle A \mid r = 1 \rangle$ :

1. Finitude homologique : $M$ est toujours de type bi-FP$_\infty$.
2. Dimension de cohomologie :
   • Si $r$ n'est pas une puissance propre (c'est-à-dire $r \neq s^k$ pour $k > 1$), alors $\dim(M) \le 2$.
   • Si $r$ est une puissance propre, alors $\dim(M) = \infty$.

Ce résultat constitue une version "à deux faces" du célèbre théorème de l'identité de Lyndon pour les groupes à un relateur.

C. Extension aux monoïdes non spéciaux (Théorème 8.1)

Les auteurs étendent leurs résultats aux monoïdes à un relateur non spéciaux $M = \langle A \mid u = v \rangle$ qui sont incompressibles (c'est-à-dire qu'il n'existe pas de mot non vide $r$ tel que $u, v \in A^*r \cap rA^*$).

• Si la présentation est strictement asphérique (ce qui est le cas pour les monoïdes incompressibles non spéciaux), alors $M$ est de type bi-FP$_\infty$ et $\dim(M) \le 2$.

4. Signification et Implications

• Résolution d'un problème ouvert : L'article prouve que la classe importante des monoïdes à un relateur de la forme $r=1$ satisfait la propriété de finitude homologique la plus forte possible (bi-FP$_\infty$). Cela dépasse les résultats antérieurs qui ne garantissaient que les propriétés unilatérales (gauche/droite).
• Robustesse de la propriété bi-FP$_n$ : L'article souligne que la propriété bi-FP$_n$ est plus informative et mieux comportée que ses contreparties unilatérales (par exemple, l'ajout d'un zéro préserve bi-FP$_n$ si et seulement si le monoïde d'origine l'est, ce qui n'est pas vrai pour les propriétés unilatérales).
• Cadre pour l'avenir : Les résultats fournissent une famille infinie de "cas de base" pour une preuve par récurrence (via la compression) visant à démontrer que tous les monoïdes à un relateur sont de type bi-FP$_\infty$.
• Outils nouveaux : Le développement de la théorie des graphes de Cayley à deux faces et de l'analyse de l'objet $N$ ouvre de nouvelles voies pour l'étude homologique des monoïdes, au-delà des méthodes unilatérales traditionnelles.

En résumé, cet article établit un pont fondamental entre la théorie des groupes et celle des monoïdes en matière de finitude homologique, en prouvant que pour une large classe de monoïdes, les propriétés homologiques complexes sont entièrement contrôlées par leur sous-groupe d'unités.