Involutions of (twisted) diagram monoids

Résumé Technique : Involutions des monoïdes de diagrammes (torsus)

Énoncé du Problème
L'article traite de la classification des involutions (anti-automorphismes auto-inverses) pour une large classe de monoïdes de diagrammes et leurs produits torsus associés. Bien que l'involution canonique (réflexion verticale) soit bien comprise dans les algèbres et monoïdes de diagrammes, le paysage de toutes les involutions possibles, ainsi que leurs propriétés algébriques spécifiques concernant la régularité, reste largement inexploré pour les structures tant non-torsues que torsues. Plus précisément, les auteurs visent à :

1. Classer toutes les involutions des monoïdes de partitions ($P_n$), de partitions planaires ($PP_n$), de Brauer partielles ($PB_n$), de Motzkin ($M_n$), de Brauer ($B_n$) et de Temperley–Lieb ($TL_n$).
2. Caractériser lesquelles de ces involutions font des monoïdes des $\ast$-monoïdes réguliers (ou $\ast$-réguliers).
3. Étendre cette classification et caractérisation aux « monoïdes de diagrammes torsus », qui sont des algèbres de monoïdes de diagrammes augmentées d'informations sur les composantes flottantes (via la torsion de comptage de flottaison canonique $\Phi$) ou la torsion basée sur le rang ($\Psi$).

Une motivation centrale est l'observation selon laquelle, alors que les monoïdes de diagrammes sont typiquement des $\ast$-monoïdes réguliers (où l'involution envoie les éléments vers leurs inverses de von Neumann), leurs homologues torsus échouent souvent à être réguliers. Les auteurs étudient si ces structures torsues conservent des propriétés de régularité plus faibles, spécifiquement la $\ast$-régularité.

Méthodologie
Les auteurs emploient une approche à deux volets, développant une théorie générale pour les produits torsus avant de l'appliquer à des monoïdes de diagrammes spécifiques.

• Théorie Générale des Produits Torsus : L'article établit un cadre pour le produit torsu $T = M \times_q^\Phi S$, où $S$ est un monoïde, $M$ est un monoïde commutatif, et $\Phi : S \times S \to \mathbb{N}$ est une application de torsion. Les auteurs introduisent et utilisent des propriétés telles que la compacité (tightness), l'unitalité et l'invariance de Green pour la torsion $\Phi$. Ils développent une classification générale des involutions pour de tels produits, distinguant les involutions « pures » (où la seconde coordonnée dépend uniquement de la seconde coordonnée de l'entrée) et les involutions « générales ».
• Classification des Automorphismes : Pour classer les involutions, les auteurs déterminent d'abord les groupes d'automorphismes des monoïdes de diagrammes sous-jacents. Alors que les automorphismes pour $P_n$, $PB_n$ et $B_n$ étaient connus (Mazorchuk), les auteurs fournissent de nouvelles classifications pour les monoïdes planaires $PP_n$, $M_n$ et $TL_n$.
• Analyse du Centre : Les auteurs prouvent que les centres de ces monoïdes de diagrammes sont triviaux pour $n$ suffisamment grand. Ce résultat est crucial pour la théorie générale, car un centre trivial dans $S$ implique que toutes les involutions du produit torsu sont pures.
• Caractérisation de la Régularité : En utilisant la classification générale des involutions, les auteurs dérivent les conditions nécessaires et suffisantes pour que $T$ soit un monoïde $\ast$-régulier ou un monoïde $\ast$-régulier. Cela implique l'analyse de l'interaction entre l'involution, l'application de torsion $\Phi$ (ou $\Psi$) et les inverses de Moore-Penrose.

Contributions Clés et Résultats

1. Classification des Involutions dans les Monoïdes de Diagrammes :

   • Pour $P_n$, $PB_n$ et $B_n$, les involutions sont en correspondance biunivoque avec les permutations auto-inverses de l'ensemble sous-jacent (conjuguées de l'involution canonique).
   • Pour les monoïdes planaires $PP_n$, $M_n$ et $TL_n$, il n'y a généralement que deux involutions : l'involution canonique et une rotation de 180 degrés (notée $\rho$).
   • Les auteurs caractérisent quelles involutions produisent des structures $\ast$-régulières ou des monoïdes $\ast$-réguliers. Notamment, $B_n$ est $\ast$-régulier pour de nombreuses involutions mais un monoïde $\ast$-régulier seulement pour l'involution canonique.

2. Trivialité du Centre :

   • L'article prouve que $P_n, PP_n, PB_n, M_n$ (pour $n \ge 2$) et $B_n, TL_n$ (pour $n \ge 3$) ont des centres triviaux. Il s'agit d'un résultat nouveau présenté comme étant d'intérêt indépendant.

3. Théorie Générale des Produits Torsus :

   • Les auteurs classent les involutions de $M \times_q^\Phi S$ sous l'hypothèse de l'unitalité. Ils montrent que si $S$ possède un centre trivial, toutes les involutions du produit torsu sont pures.
     • Ils fournissent des formules explicites pour les inverses de Moore-Penrose dans les produits torsus $\ast$-réguliers.

4. Monoïdes de Diagrammes Torsus (Comptage de Flottaison $\Phi$) :

   • Pour les monoïdes de diagrammes torsus sur les entiers ($M = \mathbb{Z}$), les auteurs classent toutes les involutions.
   • Résultat Inattendu : Bien que la plupart des monoïdes de diagrammes torsus ne soient pas des $\ast$-monoïdes réguliers, ils sont souvent $\ast$-réguliers. Spécifiquement, les monoïdes de diagrammes torsus sur les entiers sont toujours $\ast$-réguliers par rapport aux involutions étendant les involutions $\ast$-régulières du monoïde de base.
   • Exception : Le monoïde de Brauer torsu $Z \times_1^\Phi B_2$ est unique en ce qu'il admet des involutions non-pures, et, de manière intéressante, il est $\ast$-régulier par rapport à ses involutions pures et non-pures.
   • La $\ast$-régularité (la condition plus forte où l'involution envoie vers l'inverse) est montrée comme étant très rare, ne tenant que dans des cas de bas degré spécifiques.

5. Monoïdes de Diagrammes Torsus (Basés sur le Rang $\Psi$) :

   • Les auteurs appliquent le même programme à la torsion basée sur le rang $\Psi$.
   • Contrairement au cas du comptage de flottaison, la torsion basée sur le rang produit une structure plus riche : il y a généralement plus d'involutions, et la $\ast$-régularité ainsi que la $\ast$-régularité (regular-starity) sont plus communes.
   • Résultat Significatif : Sur les entiers, chaque monoïde de diagramme torsu basé sur le rang $Z \times_1^\Psi S$ est un monoïde $\ast$-régulier par rapport à une certaine involution « négative ». Cela fournit de nouvelles familles infinies et naturelles de monoïdes $\ast$-réguliers.

Signification et Revendications
L'article prétend fournir une classification complète des involutions pour les monoïdes de diagrammes les plus étudiés et leurs variantes torsues. Les auteurs soulignent plusieurs découvertes inattendues :

• La distinction entre la $\ast$-régularité et la $\ast$-régularité (regular-starity) est nette ; beaucoup de monoïdes torsus sont $\ast$-réguliers mais pas des monoïdes $\ast$-réguliers.
• Les monoïdes de diagrammes torsus sur les entiers servent de nouveaux exemples naturels de monoïdes $\ast$-réguliers, une classe de structures introduite par Drazin.
• La torsion basée sur le rang $\Psi$ offre un cadre plus robuste pour la régularité que la torsion canonique de comptage de flottaison $\Phi$, produisant des familles infinies de monoïdes $\ast$-réguliers.
• Le développement d'une théorie générale des involutions des produits torsus, particulièrement l'identification de l'« unitalité » comme une propriété clé plus faible que la compacité, permet d'obtenir des résultats généraux forts même lorsque la torsion n'est pas compacte (comme c'est le cas pour les monoïdes de Motzkin et de Brauer partiel).

Le travail est présenté comme une étape fondamentale pour comprendre les propriétés de symétrie et de régularité des algèbres de diagrammes et de leurs homologues torsus, avec des implications pour l'étude des algèbres cellulaires et de la structure des algèbres de monoïdes.