Involutions of (twisted) diagram monoids

Sintesi Tecnica: Involuzioni di Monoidi di Diagrammi (Twisted)

Enunciato del Problema
Il documento affronta la classificazione delle involuzioni (anti-automorfismi auto-inversi) per una vasta classe di monoidi di diagrammi e i loro associati prodotti "twisted" (ritorti). Mentre l'involuzione canonica (riflessione verticale) è ben compresa negli algebra e nei monoidi di diagrammi, il panorama di tutte le possibili involuzioni, e delle loro specifiche proprietà algebriche riguardanti la regolarità, rimane ampiamente inesplorato sia per le strutture non-twisted che per quelle twisted. Nello specifico, gli autori mirano a:

1. Classificare tutte le involuzioni dei monoidi di partizione ($P_n$), partizione planare ($PP_n$), Brauer parziale ($PB_n$), Motzkin ($M_n$), Brauer ($B_n$) e Temperley–Lieb ($TL_n$).
2. Caratterizzare quali di queste involuzioni rendono i monoidi star-regolari ($\ast$-regolari) o monoidi star-regolari.
3. Estendere questa classificazione e caratterizzazione ai "monoidi di diagrammi twisted", ovvero algebre di semigruppi di monoidi di diagrammi sottostanti aumentati con informazioni sulle componenti fluttuanti (tramite il canonical float-counting twisting $\Phi$) o il rank-based twisting $\Psi$.

Una motivazione centrale è l'osservazione che, mentre i monoidi di diagrammi sono tipicamente monoidi $\ast$-regolari (dove l'involuzione mappa gli elementi nei loro inversi di von Neumann), i loro controparti twisted spesso non sono regolari. Gli autori investigano se queste strutture twisted mantengano proprietà di regolarità più deboli, specificamente la star-regolarità.

Metodologia
Gli autori impiegano un approccio a due fronti, sviluppando una teoria generale per i prodotti twisted prima di applicarla a specifici monoidi di diagrammi.

• Teoria Generale dei Prodotti Twisted: Il documento stabilisce un framework per il prodotto twisted $T = M \times_q^\Phi S$, dove $S$ è un monoide, $M$ è un monoide commutativo, e $\Phi: S \times S \to \mathbb{N}$ è una mappa di twisting. Gli autori introducono e utilizzano proprietà quali tightness (strettezza), unitality (unitalità) e Green-invariance per il twisting $\Phi$. Sviluppano una classificazione generale delle involuzioni per tali prodotti, distinguendo tra involuzioni "pure" (dove la seconda coordinata dipende solo dalla seconda coordinata dell'input) e involuzioni "generali".
• Classificazione degli Automorfismi: Per classificare le involuzioni, gli autori determinano prima i gruppi di automorfismo dei monoidi di diagrammi sottostanti. Sebbene gli automorfismi per $P_n$, $PB_n$ e $B_n$ fossero noti (Mazorchuk), gli autori forniscono nuove classificazioni per i monoidi planari $PP_n$, $M_n$ e $TL_n$.
• Analisi del Centro: Gli autori dimostrano che i centri di questi monoidi di diagrammi sono triviali per $n$ sufficientemente grande. Questo risultato è cruciale per la teoria generale, poiché un centro banale in $S$ implica che tutte le involuzioni del prodotto twisted $T$ sono pure.
• Caratterizzazione della Regolarità: Utilizzando la classificazione generale delle involuzioni, gli autori derivano condizioni necessarie e sufficienti affinché $T$ sia star-regolare o un monoide star-regolare. Ciò comporta l'analisi dell'interazione tra l'involuzione, la mappa di twisting $\Phi$ (o $\Psi$) e gli inversi di Moore-Penrose.

Contributi Chiave e Risultati

1. Classificazione delle Involuzioni nei Monoidi di Diagrammi:

   • Per $P_n$, $PB_n$ e $B_n$, le involuzioni sono in corrispondenza biunivoca con le permutazioni auto-inverse dell'insieme sottostante (coniugati dell'involuzione canonica).
   • Per i monoidi planari $PP_n$, $M_n$ e $TL_n$, ci sono generalmente solo due involuzioni: quella canonica e una rotazione di 180 gradi (denotata $\rho$).
   • Gli autori caratterizzano quali involuzioni producono strutture star-regolari o star-regolari di tipo regolare. Notevolmente, $B_n$ è star-regolare per molte involuzioni ma un monoide star-regolare solo per quella canonica.

2. Trivialità del Centro:

   • Il documento prova che $P_n, PP_n, PB_n, M_n$ (per $n \ge 2$) e $B_n, TL_n$ (per $n \ge 3$) hanno centri triviali. Questo è un risultato originale presentato come di interesse indipendente.

3. Teoria Generale dei Prodotti Twisted:

   • Gli autori classificano le involuzioni di $M \times_q^\Phi S$ sotto l'assunzione di unitalità. Dimostrano che se $S$ ha un centro banale, tutte le involuzioni del prodotto twisted sono pure.
     Tor forniscono formule esplicite per gli inversi di Moore-Penrose in prodotti twisted star-regolari.

4. Monoidi di Diagrammi Twisted (Float-Counting $\Phi$):

   • Per i monoidi di diagrammi twisted sugli interi ($M = \mathbb{Z}$), gli autori classificano tutte le involuzioni.
   • Risultato Inaspettato: Sebbene la maggior parte dei monoidi di diagrammi twisted non siano monoidi $\ast$-regolari, sono spesso star-regolari. Nello specifico, i monoidi di diagrammi twisted sugli interi sono sempre star-regolari rispetto alle involuzioni che estendono le involuzioni star-regolari del monoide base.
   • Eccezione: Il monoide di Brauer twisted $Z \times_1^\Phi B_2$ è unico in quanto ammette involuzioni non-pure, e curiosamente, è star-regolare rispetto alle sue involuzioni sia pure che non-pure.
   • La regular-starity (la condizione più forte dove l'involuzione mappa nell'inverso) si dimostra essere molto rara, verificandosi solo in specifici casi di basso grado.

5. Monoidi di Diagrammi Twisted (Rank-Based $\Psi$):

   • Gli autori applicano lo stesso programma al rank-based twisting $\Psi$.
   • A differenza del caso float-counting, il rank-based twisting produce una struttura più ricca: ci sono generalmente più involuzioni, e la star-regolarità e la regular-starity sono più comuni.
   • Risultato Significativo: Sopra gli interi, ogni monoide di diagrammi twisted basato sul rank $Z \times_1^\Psi S$ è un monoide star-regolare rispetto a una specifica involuzione "negativa". Ciò fornisce nuove, naturali famiglie infinite di monoidi star-regolari.

Significatività e Rivendicazioni
Il documento rivendica di fornire una classificazione completa delle involuzioni per i più studiati monoidi di diagrammi e le loro varianti twisted. Gli autori evidenziano diversi risultati inaspettati:

• La distinzione tra star-regolarità e regular-starity è netta; molti monoidi twisted sono star-regolari ma non monoidi star-regolari.
• I monoidi di diagrammi twisted sugli interi fungono da nuovi, naturali esempi di monoidi star-regolari, una classe di strutture introdotta da Drazin.
• Il rank-based twisting $\Psi$ offre un framework più robusto per la regolarità rispetto al canonical float-counting twisting $\Phi$, producendo infinite famiglie di monoidi star-regolari.
• Lo sviluppo di una teoria generale per le involuzioni dei prodotti twisted, in particolare l'identificazione della "unitality" come una proprietà chiave più debole della tightness, permette di ottenere forti risultati generali anche quando il twisting non è tight (come nel caso dei monoidi Motzkin e partial Brauer).

Il lavoro è presentato come un passo fondamentale per comprendere le proprietà di simmetria e regolarità delle algebre di diagrammi e dei loro controparti twisted, con implicazioni per lo studio delle algebre cellulari e la struttura delle algebre di semigruppi.