Finite Presentability of Brin-Higman-Thompson Monoids via Free Jónsson-Tarski Algebras

Sintesi Tecnica: Presentabilità Finita dei Monoidi di Brin-Higman-Thompson tramite Algebra di Jónsson-Tarski Multidimensionale Libera

Enunciato del Problema
Il saggio affronta le proprietà strutturali dei monoidi $tot \, {}_n M_{k,r}$, che sono generalizzazioni non parziali dei gruppi di Brin-Higman-Thompson ${}_n G_{k,r}$. Introdotti da Birget, questi monoidi estendono il classico gruppo di Thompson $V$ (e la sua versione monoidale $tot \, M_{2,1}$) a dimensioni superiori e coinvolgono mappe parziali su codici prefisso che non sono necessariamente iniettive. Sebbene la presentabilità finita del gruppo di Thompson $V$ e dei suoi analoghi ad alta dimensione ${}_n G_{k,r}$ sia ben stabilita, la presentabilità finita dei relativi monoidi $tot \, {}_n M_{k,r}$ non era stata ancora dimostrata. Gli autori mirano a stabilire che questi monoidi siano finitamente presentabili per tutti $n, r \ge 1$ e $k \ge 2$.

Metodologia
Gli autori impiegano un approccio duale combinando l'algebra geometrica (tramite le varietà di Jónsson-Tarski) e sistemi di riscrittura combinatoria.

1. Realizzazione Algebrica tramite Algebra di Jónsson-Tarski:
   Gli autori stabiliscono innanzitutto un isomorfismo tra il monoide $tot \, {}_n M_{k,r}$ e il monoide degli endomorfismi di un'algebra libera nella varietà di Jónsson-Tarski $n$-dimensionale $k$-aria, denotata $End(F_{n,k,r})$.

   • Definiscono la varietà ${}_n J_k$ usando $n$ operazioni $k$-arie ($\lambda_i$) e $nk$ operazioni unarie ($\alpha_{i,j}$) che soddisfano specifiche relazioni di inversione e commutazione.
   • Costruiscono una mappatura tra gli "shrubberies" (elementi dello spazio ${}_n T_{k,r}$ che rappresentano codici prefisso) e i generatori liberi di $F_{n,k,r}$.
   • Utilizzando il concetto di "espansioni" (analoghe alle espansioni di alberi nei gruppi di Thompson), dimostrano che i codici prefisso completi nello spazio topologico corrispondono biunivocamente a insiemi di generatori liberi dell'algebra. Ciò consente di rappresentare gli elementi del monoide come endomorfismi che agiscono su tali insiemi di generatori.

2. La Prospettiva della Riscrittura (Rewrite):
   Per dimostrare la presentabilità finita, gli autori si spostano su un monoide anti-isomorfo, ${}_n Rel_{k,r}$, i cui elementi sono visti come "regole di riscrittura" che agiscono su insiemi liberi etichettati.

   • Introducono gli "insiemi liberi etichettati" dove i generatori sono assegnati a etichette da un insieme infinito.
   • Gli elementi del monoide sono definiti dal modo in cui mappano un insieme etichettato in un altro, preservando le etichette. Questo framework permette agli autori di trattare gli elementi del monoide come trasformazioni di espressioni (analogamente alle espressioni tra parentesi nel gruppo di Thompson $V$).
   • Definiscono i "deferimenti" (deferments), che permettono all'azione di una mappa di essere spostata su specifici sistemi radice, facilitando la manipolazione dei generatori.

3. Costruzione della Presentazione:
   La prova della presentabilità finita procede tramite:

   • Dimostrare che il monoide è finitamente generato dal suo gruppo di unità (automorfismi) e da due specifici elementi non invertibili ($U$ e $\pi$).
   • Definire un submonoide ${}_n P_{k,1}$ isomorfo a un prodotto di monoidi liberi, che funge da strumento per rilevare l'uguaglianza tra elementi.
   • Costruire una presentazione finita esplicita $\langle \Sigma | R \rangle$. Le relazioni includono quelle che definiscono il gruppo di unità, le relazioni che governano l'interazione tra le unità e i generatori non invertibili, e specifiche relazioni derivate dal meccanismo di "deferimento" e dalla struttura dell'algebra libera.

Contributi Chiave e Risultati

• Teorema 1.1 (Isomorfismo): Per $r, n \ge 1$ e $k \ge 2$, il monoide $tot \, {}_n M_{k,r}$ è isomorfo al monoide degli endomorfismi dell'algebra libera $r$-generata nella varietà di Jónsson-Tarski $n$-dimensionale $k$-aria. Ciò fornisce un modello algebrico concreto per questi monoidi.
• Teorema 1.2 (Presentabilità Finita): Il monoide $tot \, {}_n M_{k,r}$ è finitamente presentato.
• Presentazione Esplicita: Gli autori forniscono una presentazione finita esplicita, seppur complessa, per il caso specifico di $tot \, M_{2,1}$ (il monoide originale di Thompson). Questa presentazione coinvolge i generatori $u, v, \pi_L, U$ e 82 relazioni, derivate dalla costruzione generale.
• Generalizzazione della Prova di Thompson: La metodologia adatta la prova originale di Thompson sulla presentabilità finita del suo monoide al contesto multidimensionale, utilizzando la struttura delle algebre di Jónsson-Tarski per gestire i codici prefisso ad alta dimensione.

Significato
Il saggio risolve la questione aperta se i monoidi di Brin-Higman-Thompson non parziali siano finitamente presentati. Realizzando questi monoidi come monoidi degli endomorfismi di algebre libere in una specifica varietà, gli autori colmano il divario tra le definizioni topologiche/combinatorie di questi monoidi e le strutture algebriche astratte. Questa realizzazione permette l'applicazione di tecniche algebriche (specificamente quelle relative agli oggetti liberi e alle varietà) per risolvere problemi riguardanti le presentazioni dei monoidi.

Gli autori osservano che, mentre i loro metodi affrontano con successo i monoidi non parziali $tot \, {}_n M_{k,r}$, la questione della presentabilità finita per i monoidi parziali ${}_n M_{k,r}$ (che includono mappe non iniettive con insiemi immagine incomparabili) rimane aperta. Suggeriscono che le loro tecniche potrebbero essere modificate per affrontare queste strutture parziali, ma non pretendono di aver risolto questo caso specifico. Il lavoro evidenzia inoltre l'utilità delle algebre di Jónsson-Tarski per comprendere la struttura dei gruppi e dei monoidi di tipo Higman-Thompson.