Two-sided homological properties of special and one-relator monoids

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della teoria algebrica dei monoidi, con un focus specifico sulle proprietà di finitezza omologica e sulla decidibilità del problema delle parole.

• Contesto: Mentre il problema delle parole per i gruppi a un relatore è stato risolto da Magnus negli anni '30, rimane un problema aperto (e fondamentale) per i monoidi a un relatore (definiti da una presentazione $\langle A \mid u = v \rangle$).
• Obiettivo: L'obiettivo principale è determinare se tutti i monoidi a un relatore possiedono la proprietà di finitezza omologica bi-FP$_\infty$. Questa proprietà è più forte e informativa rispetto alle proprietà unilaterali (left-FP$_n$ o right-FP$_n$) e implica l'esistenza di una risoluzione proiettiva finita in tutte le dimensioni per il modulo bimodulare $\mathbb{Z}M$.
• Sfida specifica: La proprietà bi-FP$_n$ è strettamente legata all'ammissibilità di sistemi di riscrittura completi e finiti. Sebbene sia noto che i monoidi a un relatore sono left-FP$_\infty$ e right-FP$_\infty$ (risultato precedente degli stessi autori), la questione bi-FP$_\infty$ rimaneva aperta.

2. Metodologia

Gli autori sviluppano una nuova teoria omologica bilaterale per i monoidi speciali, estendendo le tecniche unilaterali precedenti. I pilastri metodologici includono:

• Monoidi Speciali: Si concentrano inizialmente sui monoidi definiti da relazioni della forma $w_i = 1$ (dove il lato destro è l'identità). Per questi, il gruppo delle unità $G$ gioca un ruolo centrale.
• Analisi del Grafo di Cayley Bilaterale: Introducono e studiano il grafo di Cayley bilaterale $\overleftrightarrow{\Gamma}$ del monoid $M$, su cui agisce il prodotto diretto $M \times M^{op}$.
• Costruzione del Monoido $N$: Definizione di un nuovo monoid $N = \{(u, v) \in R_1 \times L_1 \mid uv = 1\}$, dove $R_1$ e $L_1$ sono i monoidi delle unità destre e sinistre.
  • Dimostrano che $N$ è isomorfo al prodotto libero $G * C^*$, dove $G$ è il gruppo delle unità di $M$ e $C^*$ è un monoide libero di rango finito. Questo è un risultato cruciale che generalizza la teoria di Adjan-Makanin-Zhang al caso bilaterale.
• Azione Libera e Quozienti: Dimostrano che $M \times M$ è un $N$-insieme libero a destra. Utilizzano questo fatto per analizzare il quoziente del grafo di Cayley bilaterale $\overleftrightarrow{\Gamma}/N$.
• Topologia Combinatoria: Mostrano che il quoziente $\overleftrightarrow{\Gamma}/N$ è una foresta (un grafo aciclico). Questo permette di costruire una risoluzione cellulare per il modulo bimodulare $\mathbb{Z}M$ utilizzando la struttura del gruppo $G$ e la natura libera dell'azione di $N$.

3. Risultati Principali

Teorema A (Monoidi Speciali Finitamente Presentati)

Sia $M = \langle A \mid w_1 = 1, \dots, w_k = 1 \rangle$ un monoid e $G$ il suo gruppo delle unità.

1. Proprietà bi-FP$_n$: Se $G$ è di tipo FP$_n$ (per $1 \le n \le \infty$), allora $M$ è di tipo bi-FP$_n$.
2. Dimensione di Cohomologia di Hochschild: La dimensione di cohomologia di Hochschild di $M$, denotata $\dim M$, è limitata superiormente da $\max\{2, \text{cd}(G)\}$ e inferiormente da $\text{cd}(G)$, dove $\text{cd}(G)$ è la dimensione di cohomologia del gruppo $G$.

Teorema B (Monoidi a Un Relatore Speciali)

Per un monoid a un relatore della forma $M = \langle A \mid r = 1 \rangle$:

1. Tipo bi-FP$_\infty$: Tutti questi monoidi sono di tipo bi-FP$_\infty$.
2. Dimensione di Hochschild:
   • Se $r$ non è una potenza propria (non è della forma $s^k$ con $k > 1$), allora $\dim M \le 2$.
   • Se $r$ è una potenza propria, allora $\dim M = \infty$.

Questo teorema costituisce una versione "bilaterale" del Teorema dell'Identità di Lyndon per i gruppi, applicata ai monoidi.

Risultati per Monoidi Non Speciali

Gli autori estendono parzialmente i risultati ai monoidi a un relatore non speciali $M = \langle A \mid u = v \rangle$.

• Se non esiste una parola non vuota $w$ tale che $u, v \in A^*w \cap wA^*$ (condizione di "incompressibilità" o asfericità stretta), allora $M$ è di tipo bi-FP$_\infty$ e ha dimensione di cohomologia di Hochschild al più 2.

4. Contributi Chiave e Innovazioni

• Generalizzazione Bilaterale: La principale innovazione è lo sviluppo di una teoria omologica bilaterale completa per i monoidi speciali, superando le limitazioni delle teorie unilaterali precedenti.
• Struttura di $N$: La dimostrazione che il monoido delle coppie $(u,v)$ con $uv=1$ si decompone come un prodotto libero $G * C^*$ è un risultato algebrico profondo che collega la struttura del monoido a quella del suo gruppo delle unità in modo più diretto rispetto al passato.
• Geometria del Grafo di Cayley: L'uso del fatto che il quoziente del grafo di Cayley bilaterale per l'azione di $N$ sia una foresta permette di costruire risoluzioni finite in modo elegante, collegando la topologia del grafo alle proprietà omologiche algebriche.
• Risoluzione del Caso Base: Il lavoro risolve completamente la questione bi-FP$_\infty$ per l'intera famiglia infinita dei monoidi speciali a un relatore, che rappresenta un caso base fondamentale per la congettura generale.

5. Significato e Implicazioni

• Progresso verso la Congettura Generale: Il risultato fornisce un passo decisivo verso la congettura che tutti i monoidi a un relatore siano di tipo bi-FP$_\infty$. Poiché ogni monoid a un relatore può essere "compressso" in un monoido incompressibile (che è o speciale o asferico stretto), e poiché entrambi i casi sono stati ora risolti (i speciali da questo lavoro, gli asferici stretti da risultati noti combinati con osservazioni topologiche), la strada è aperta per una prova induttiva completa tramite compressione.
• Connessione tra Algebra e Topologia: Il lavoro rafforza il legame tra le proprietà algebriche (FP$_n$) e le proprietà geometriche/topologiche (contrattibilità di complessi di Cayley, asfericità) per i monoidi.
• Dimensione di Hochschild: Stabilisce limiti precisi per la dimensione di cohomologia di Hochschild, mostrando come essa dipenda dalla presenza di torsione nel gruppo delle unità (se $r$ è una potenza propria, il gruppo ha torsione e la dimensione diventa infinita).

In sintesi, questo articolo rappresenta un avanzamento teorico significativo nella teoria dei monoidi, fornendo gli strumenti omologici necessari per trattare la struttura bilaterale dei monoidi speciali e risolvendo un problema aperto di lunga data per una classe importante di monoidi a un relatore.