On Hom-Analogues of Heaps and Trusses

Technische Samenvatting: Hom-analogen van Heaps en Trusses

Probleemstelling
Het artikel behandelt de noodzaak om de algebraïsche theorieën van heaps, trusses en braces uit te breiden naar de Hom-algebraïsche setting. Terwijl klassieke heaps (ternaire structuren die groepen generaliseren), trusses (heaps uitgerust met een distributieve multiplicatie) en braces (structuren die groep- en ringtheorie verbinden via distributieve wetten) goed gevestigd zijn, blijven hun tegenhangers onder "getordeerde" identiteiten — waarbij axioma's slechts gelden tot een onderscheiden zelf-afbeelding $\alpha$ — onderontwikkeld. Specifiek beogen de auteurs het definiëren van Hom-heaps, Hom-trusses en Hom-braces, het vaststellen van hun structurele eigenschappen, en het verhelderen van de correspondenties tussen deze getordeerde structuren en hun klassieke en Hom-groep tegenhangers.

Methodologie
De auteurs hanteren een constructieve en axiomatische benadering geworteld in de Hom-algebra theorie. De methodologie omvat:

1. Definitie en Axiomatisering: Het introduceren van formele definities voor Hom-heaps, Hom-trusses (in drie verschillende typen) en Hom-braces (in drie verschillende typen). Deze definities passen klassieke axioma's (associativiteit, Mal'cev-identiteiten, distributiviteit) aan door een bijjectieve getordeerde afbeelding $\alpha$ (en potentieel een tweede afbeelding $\beta$) te incorporeren.
2. Retractie en Constructie: Het onderzoeken van de relatie tussen Hom-heaps en Hom-groepen door "retracts" te definiëren (het construeren van een binaire operatie vanuit een ternaire operatie op een specifiek punt). De auteurs analyseren de voorwaarden waaronder een retract een Hom-groep oplevert, wat specifiek vereist dat het basispunt een vast punt is van de getordeerde afbeelding.
3. Equivalentiebewijzen: Het vaststellen van equivalenties tussen de drie voorgestelde typen Hom-trusses en Hom-braces. Dit houdt in het bewijzen dat, onder specifieke voorwaarden (bijv. $\alpha = \beta$ of $\alpha = \text{id}$), de definities in elkaar overgaan of reduceren tot bekende structuren.
4. Correspondentieanalyse: Aantonen hoe Hom-trusses natuurlijk Hom-braces induceren (en vice versa) wanneer specifieke structurele voorwaarden (zo worden de multiplicatieve component een Hom-groep of de existentie van een absorber) worden vervuld.
5. Translatiekaarten: Het gebruik van translatiekaarten in Hom-heaps om isomorfismen tussen Hom-groep retracts te bewijzen die gevormd zijn bij verschillende vaste basispunten.

Kernbijdragen en Resultaten

• Hom-Heaps en Hom-Groepen:

  • Het artikel definieert een Hom-heap als een verzameling met een ternaire operatie en een bijjectieve afbeelding $\alpha$ die voldoet aan de Hom-Mal'cev en Hom-associativiteit eigenschappen.
  • Stelling: De retract van een Hom-heap in een punt $e$ vormt een Hom-groep dan en slechts dan als $e$ een vast punt is van $\alpha$ (d.w.z. $\alpha(e) = e$).
  • De auteurs bewijzen dat translatiekaarten tussen verschillende vaste basispunten isomorfismen induceren tussen de resulterende Hom-groepen, waarmee het klassieke resultaat voor heaps wordt uitgebreid.
  • Een bijjectieve correspondentie wordt vastgesteld: elke Hom-groep induceert een Hom-heap, en elke Hom-heap met een vast punt induceert een Hom-groep.

• Hom-Trusses:

  • Drie typen Hom-trusses worden geïntroduceerd:
    • Type (0): Gebaseerd op een enkele getordeerde afbeelding $\alpha$ die werkt op zowel de heap als de multiplicatieve structuren.
    • Type (1): Bet involves twee commuterende afbeeldingen $\alpha$ en $\beta$, waarbij $\alpha$ de heap tordeert en $\beta$ de multiplicatie tordeert, met specifieke distributieve wetten.
    • Type (2): Een complexere variant die hogere-orde composities van $\alpha$ en $\beta$ omvat in de associativiteits- en distributiviteitswetten.
  • Equivalentie: Er wordt aangetoond dat een $\alpha$-Hom-truss van Type (1) equivalent is aan een $\alpha$-Hom-truss van Type (2) wanneer $\alpha = \beta$. Voorts wordt Type (0) teruggevonden wanneer $\alpha = \text{id}$ in Type (1).
  • Constructie: Het artikel demonstreert hoe Hom-trusses geconstrueerd kunnen worden uit klassieke trusses door operaties te torteren met commuterende automorfismen, en hoe omgekeerd klassieke trusses teruggewonnen kunnen worden uit Hom-trusses via inverse torsie.

• Hom-Braces:

  • Analoog aan trusses worden drie typen Hom-braces gedefinieerd, die twee groepsstructuren (één abels, één Hom-groep) verbinden via distributieve wetten.
  • Correspondentie met Trusses: De auteurs bewijzen dat elke Hom-truss van Type (0) waar het multiplicatieve deel een Hom-groep is, een Hom-brace van Type (0) voortbrengt. Omgekeerd levert een unitaire Hom-brace een unitaire Hom-truss op.
  • Vergelijkbare correspondenties worden vastgesteld voor Type (1) en Type (2) structuren, met name met betrekking tot idempotente condities en de existentie van absorbers (elementen die multiplicatie annihileren).

• Substructuren: Het artikel definieert Hom-subheaps en normale Hom-subheaps, biedt criteria voor normaliteit en stelt eigenschappen vast met betrekking tot quotientstructuren.

Betekenis
Het artikel beweert een verenigd kader te bieden dat de heap- en truss-theorie uitbreidt naar de Hom-algebraïsche setting. Door systematisch deze structuren te definiëren en hun onderlinge relaties te bewijzen, generaliseert het werk de klassieke classificatie en extensieresultaten. De auteurs positioneren dit onderzoek als een fundamentele stap naar de studie van "Hom-affgebras" (Hom-affiene algebra's), die de affiene tegenhangers zijn van Hom-algebra's.

De betekenis ligt in:

1. Generalisatie: Het succesvol aanpassen van de rijke machinerie van heaps, trusses en braces naar de getordeerde context van Hom-algebra's.
2. Unificatie: Het aantonen dat de drie typen Hom-trusses en Hom-braces met elkaar verbonden zijn en reduceren tot klassieke of eenvoudigere Hom-structuren onder specifieke beperkingen.
3. Potentiële Toepassingen: De auteurs merken op dat deze structuren potentiële toepassingen hebben in de studie van verzamelingstheoretische oplossingen voor de Yang–Baxter vergelijking en niet-associatieve geometrie, waarmee zij het traject voortzetten dat door Brzeziński en Rump in de klassieke setting is ingezet. Het artikel claimt geen specifieke Yang–Baxter problemen op te lossen, maar legt eerder de algebraïsche grondslag voor dergelijke onderzoeken.