Involutions of (twisted) diagram monoids

Technische Samenvatting: Involuties van (Getwiste) Diagrammonoïden

Probleemstelling
Het artikel behandelt de classificatie van involuties (zelf-inversieve anti-automorfismen) voor een brede klasse van diagrammonoïden en hun bijbehorende getwiste producten. Hoewel de canonieke involutie (verticale reflectie) goed begrepen is in diagramalgebra's en -monoïden, blijft het landschap van alle mogelijke involuties, en hun specifieke algebraïsche eigenschappen met betrekking tot regulariteit, grotendeels onverkend voor zowel ongetwiste als getwiste structuren. Specifiek beogen de auteurs:

1. Alle involuties van de partitie- ($P_n$), planaire partitie- ($PP_n$), partiële Brauer- ($PB_n$), Motzkin- ($M_n$), Brauer- ($B_n$) en Temperley–Lieb-monoïden ($TL_n$) te classificeren.
2. Te karakteriseren welke van deze involuties de monoïden ster-regulier ($\ast$-regulier) of reguliere ster-monoïden maken.
3. Deze classificatie en karakterisering uit te breiden naar "getwiste diagrammonoïden", wat semigroupalgebra's zijn van onderliggende diagrammonoïden die zijn uitgebreid met informatie over zwevende componenten (via de canonieke float-counting twisting $\Phi$) of rang-gebaseerde twisting ($\Psi$).

Een centrale motivatie is de observatie dat diagrammonoïden doorgaans reguliere $\ast$-monoïden zijn (waarbij de involutie elementen naar hun von Neumann-inversen brengt), terwijl hun getwiste tegenhangers vaak niet regulier zijn. De auteurs onderzoeken of deze getwiste structuren zwakkere regulariteitseigenschappen behouden, specifiek ster-regulariteit.

Methodologie
De auteurs hanteren een tweeledige aanpak door een algemene theorie voor getwiste producten te ontwikkelen voordat ze deze toepassen op specifieke diagrammonoïden.

• Algemene Theorie van Getwiste Producten: Het artikel vestigt een kader voor het getwiste product $T = M \times_q^\Phi S$, waarbij $S$ een monoïde is, $M$ een commutatieve monoïde, en $\Phi: S \times S \to \mathbb{N}$ een twisting-afbeelding is. De auteurs introduceren en maken gebruik van eigenschappen zoals tightness, unitality en Green-invariance voor de twisting $\Phi$. Ze ontwikkelen een algemene classificatie van involuties voor dergelijke producten, waarbij onderscheid wordt gemaakt tussen "pure" involuties (waarbij de tweede coördinaat alleen afhangt van de tweede coördinaat van de input) en "algemene" involuties.
• Classificatie van Automorfismen: Om involuties te classificeren, bepalen de auteurs eerst de automorphismengroepen van de onderliggende diagrammonoïden. Terwijl de automorfismen voor $P_n$, $PB_n$ en $B_n$ bekend waren (Mazorchuk), bieden de auteurs nieuwe classificaties voor de planaire monoïden $PP_n$, $M_n$ en $TL_n$.
• Centrum-analyse: De auteurs bewijzen dat de centra van deze diagrammonoïden triviaal zijn voor voldoende grote $n$. Dit resultaat is cruciaal voor de algemene theorie, aangezien een triviaal centrum in $S$ impliceert dat alle involuties van het getwiste product puur zijn.
• Regulariteit Karakterisering: Met behulp van de algemene classificatie van involuties leiden de auteurs noodzakelijke en voldoende voorwaarden af voor wanneer $T$ ster-regulier of een reguliere ster-monoïde is. Dit omvat de analyse van de interactie tussen de involutie, de twisting-afbeelding $\Phi$ (of $\Psi$) en de Moore-Penrose inversen.

Belangrijkste Bijdragen en Resultaten

1. Classificatie van Involuties in Diagrammonoïden:

   • Voor $P_n$, $PB_n$ en $B_n$ staan involuties in een één-op-één correspondentie met zelf-inversieve permutaties van de onderliggende verzameling (conjugaten van de canonieke involutie).
   • Voor de planaire monoïden $PP_n$, $M_n$ en $TL_n$ zijn er over het algemeen slechts twee involuties: de canonieke en een 180-graden rotatie (aangeduid als $\rho$).
   • De auteurs karakteriseren welke involuties resulteren in ster-reguliere of reguliere ster-monoïde structuren. Opmerkelijk is dat $B_n$ ster-regulier is voor veel involuties, maar een reguliere ster-monoïde slechts voor de canonieke één.

2. Triviaalheid van het Centrum:

   • Het artikel bewijst dat $P_n, PP_n, PB_n, M_n$ (voor $n \ge 2$) en $B_n, TL_n$ (voor $n \ge 3$) triviale centra hebben. Dit is een nieuw resultaat dat als zijnde van onafhankelijk belang wordt vermeld.

3. Algemene Theorie van Getwiste Producten:

   • De auteurs classificeren de involuties van $M \times_q^\Phi S$ onder de aanname van unitality. Ze tonen aan dat als $S$ een triviaal centrum heeft, alle involuties van het getwiste product puur zijn.
   • Ze leveren expliciete formules voor Moore-Penrose inversen in ster-reguliere getwiste producten.

4. Getwiste Diagrammonoïden (Float-Counting $\Phi$):

   • Voor getwiste monoïden over de gehele getallen ($M = \mathbb{Z}$), classificeren de auteurs alle involuties.
   • Onverwacht Resultaat: Hoewel de meeste getwiste diagrammonoïden geen reguliere $\ast$-monoïden zijn, zijn ze vaak ster-regulier. Specifiek zijn getwiste diagrammonoïden over de gehele getallen altijd ster-regulier met betrekking tot involuties die ster-reguliere involuties van de basis-monoïde uitbreiden.
   • Uitzondering: De getwiste Brauer-monoïde $Z \times_1^\Phi B_2$ is uniek in dat deze niet-pure involuties toelaat, en opvallend genoeg is deze ook ster-regulier met betrekking tot zowel zijn pure als zijn niet-pure involuties.
   • Regular-starity (de sterkere conditie waarbij de involutie naar de inverse brengt) blijkt zeer zeldzaam te zijn, en houdt alleen stand in specifieke gevallen van lage graad.

5. Getwiste Diagrammonoïden (Rang-gebaseerde $\Psi$):

   • De auteurs passen hetzelfde programma toe op de rang-gebaseerde twisting $\Psi$.
   • In tegenstelling tot de float-counting case, levert de rang-gebaseerde twisting een rijkere structuur op: er zijn over het algemeen meer involuties, en ster-regulariteit en regular-starity komen vaker voor.
   • Belangrijke Bevinding: Over de gehele getallen is elke rang-gebaseerde getwiste diagrammonoïde $Z \times_1^\Psi S$ een reguliere ster-monoïde met betrekking tot een specifieke "negatieve" involutie. Dit levert nieuwe, natuurlijke oneindige families van reguliere ster-monoïden op.

Betekenis en Claims
Het artikel claimt een volledige classificatie te bieden van de involuties voor de meest bestudeerde diagrammonoïden en hun getwiste varianten. De auteurs benadrukken verschillende onverwachte bevindingen:

• Het onderscheid tussen ster-regulariteit en regular-starity is scherp; veel getwiste monoïden zijn ster-regulier maar geen reguliere ster-monoïden.
• Getwiste diagrammonoïden over de gehele getallen dienen als nieuwe, natuurlijke voorbeelden van ster-reguliere monoïden, een klasse van structuren geïntroduceerd door Drazin.
• De rang-gebaseerde twisting $\Psi$ biedt een robuuster kader voor regulariteit dan de canonieke float-counting twisting $\Phi$, wat resulteert in oneindige families van reguliere ster-monoïden.
• De ontwikkeling van een algemene theorie voor involuties van getwiste producten, in het bijzonder de identificatie van "unitality" als een sleutelkenmerk dat zwakker is dan tightness, maakt sterke algemene resultaten mogelijk zelfs wanneer de twisting niet tight is (zoals in het geval van de Motzkin- en partial Brauer-monoïden).

Het werk wordt gepresenteerd als een fundamentele stap in het begrijpen van de symmetrie- en regulariteitseigenschappen van diagramalgebra's en hun getwiste tegenhangers, met implicaties voor de studie van cellulaire algebra's en de structuur van semigroupalgebra's.