On Hom-Analogues of Heaps and Trusses

Résumé Technique : Hom-analogues de Heaps et de Trusses

Énoncé du Problème
L'article traite de la nécessité d'étendre les théories algébriques des heaps (tas), des trusses (structures de type truss) et des braces (structures de type brace) au cadre de l'algèbre Hom. Alors que les heaps classiques (structures ternaires généralisant les groupes), les trusses (heaps dotés d'une multiplication distributive) et les braces (structures reliant la théorie des groupes et des anneaux via des lois de distributivité) sont bien établis, leurs homologues sous des identités « tordues » — où les axiomes ne sont satisfaits qu'à l'approche d'une application auto-morphique distinguée $\alpha$ — restent sous-développés. Plus précisément, les auteurs visent à définir les Hom-heaps, les Hom-trusses et les Hom-braces, à établir leurs propriétés structurelles et à clarifier les correspondances entre ces structures tordues et leurs homologues classiques et Hom-groupes.

Méthodologie
Les auteurs emploient une approche constructive et axiomatique ancrée dans la théorie de l'algèbre Hom. La méthodologie implique :

1. Définition et Axiomatisation : Introduction de définitions formelles pour les Hom-heaps, les Hom-trusses (en trois types distincts) et les Hom-braces (en trois types distincts). Ces définations adaptent les axiomes classiques (associativité, identités de Mal'cev, distributivité) en incorporant une application bijective de torsion $\alpha$ (et potentiellement une seconde application $\beta$).
2. Rétraction et Construction : Investigation de la relation entre les Hom-heaps et les Hom-groupes en définissant des « rétracts » (construction d'une opération binaire à partir d'une opération ternaire en un point spécifique). Les auteurs analysent les conditions sous lesquelles un rétract produit un Hom-groupe, nécessitant spécifiquement que le point de base soit un point fixe de l'application de torsion.
3. Preuves d'Équivalence : Établissement d'équivalences entre les trois types proposés de Hom-trusses et de Hom-braces. Cela implique de prouver que, sous des conditions spécifiques (par exemple, $\alpha = \beta$ ou $\alpha = \text{id}$), les définitions s'effondrent les unes dans les autres ou se réduisent à des structures connues.
4. Analyse de Correspondance : Démontrer comment les Hom-trusses induisent naturellement des Hom-braces (et vice versa) lorsque des conditions structurelles spécifiques (telles que la partie multiplicative formant un Hom-groupe ou l'existence d'un absorbeur) sont remplies.
5. Applications de Translation : Utilisation d'applications de translation dans les Hom-heaps pour prouver des isomorphismes entre des rétracts de Hom-groupes formés à différents points de base fixes.

Contributions Clés et Résultats

• Hom-Heaps et Hom-Groupes :

  • L'article définit un Hom-heap comme un ensemble muni d'une opération ternaire et d'une application bijective $\alpha$ satisfaisant les propriétés de Hom-Mal'cev et de Hom-associativité.
  • Théorème : Le rétract d'un Hom-heap en un point $e$ forme un Hom-groupe si et seulement si $e$ est un point fixe de $\alpha$ (c'est-à-dire $\alpha(e) = e$).
  • Les auteurs prouvent que les applications de translation entre différents points de base fixes induisent des isomorphismes entre les Hom-groupes résultants, étendant ainsi le résultat classique pour les heaps.
  • Une correspondance bijective est établie : tout Hom-groupe induit un Hom-heap, et tout Hom-heap avec un point fixe induit un Hom-groupe.

• Hom-Trusses :

  • Trois types de Hom-trusses sont introduits :
    • Type (0) : Basé sur une seule application de torsion $\alpha$ agissant à la fois sur les structures de heap et de multiplication.
    • Type (1) : Implique deux applications commutatives $\alpha$ et $\beta$, où $\alpha$ tord le heap et $\beta$ tord la multiplication, avec des lois de distributivité spécifiques.
    • Type (2) : Une variante plus complexe impliquant des compositions d'ordre supérieur de $\alpha$ et $\beta$ dans les lois d'associativité et de distributivité.
  • Équivalence : Il est démontré qu'un $\alpha$-Hom-truss de Type (1) est équivalent à un $\alpha$-Hom-truss de Type (2) lorsque $\alpha = \beta$. De plus, le Type (0) est récupéré lorsque $\alpha = \text{id}$ dans le Type (1).
  • Construction : L'article démontre comment construire des Hom-trusses à partir de trusses classiques en tordant les opérations avec des automorphismes commutatifs, et inversement, comment récupérer des trusses classiques à partir de Hom-trusses via une torsion inverse.

• Hom-Braces :

  • De manière analogue aux trusses, trois types de Hom-braces sont définis, reliant deux structures de groupe (l'une abélienne, l'autre Hom-groupe) via des lois de distributivité.
  • Correspondance avec les Trusses : Les auteurs prouvent que tout Hom-truss de Type (0) où la partie multiplicative est un Hom-groupe donne naissance à un Hom-brace de Type (0). Inversement, un Hom-brace unitaire produit un Hom-truss unitaire.
  • Des correspondances similaires sont établies pour les structures de Type (1) et de Type (2), impliquant particulièrement des conditions d'idempotence et l'existence d'absorbeurs (éléments qui annihilent la multiplication).

• Sous-structures : L'article définit des Hom-sous-heaps et des Hom-sous-heaps normaux, fournissant des critères de normalité et établissant des propriétés liées aux structures quotients.

Signification
L'article affirme fournir un cadre unifié qui étend la théorie des heaps et des trusses au cadre de l'algèbre Hom. En définissant systématiquement ces structures et en prouvant leurs interrelations, ce travail généralise les résultats de classification et d'extension classiques. Les auteurs positionnent cette recherche comme une étape fondamentale vers l'étude des « Hom-affgebras » (algèbres Hom-affines), qui servent de contreparties affines aux algèbres Hom.

La signification réside dans :

1. Généralisation : Adapter avec succès le riche mécanisme des heaps, des trusses et des braces au contexte tordu des algèbres Hom.
2. Unification : Montrer que les trois types de Hom-trusses et de Hom-braces sont interconnectés, se réduisant à des structures classiques ou à des structures Hom plus simples sous des contraintes spécifiques.
3. Applications Potentielles : Les auteurs notent que ces structures ont des applications potentielles dans l'étude des solutions de type « set-theoretic » de l'équation de Yang–Baxter et de la géométrie non associative, poursuivant la trajectoire établie par Brzeziński et Rump dans le cadre classique. L'article ne prétend pas résoudre des problèmes spécifiques de Yang–Baxter, mais vise plutôt à poser le fondement algébrique nécessaire à de telles investigations.