An introduction to separated graphs and their type semigroups

1. Problema e Contesto

Il lavoro si inserisce nel campo dell'algebra operatoriale e della teoria delle $C^*$-algebre, focalizzandosi sulla classificazione e sulla struttura di classi specifiche di algebre generate da strutture combinatorie.
Il problema centrale affrontato è la comprensione della relazione tra le proprietà dinamiche di sistemi associati a grafi (azioni di gruppi, azioni autosimili, grafi separati) e gli invarianti algebrici delle $C^*$-algebras risultanti. In particolare, l'autore indaga come il semigruppo di tipo (type semigroup), un invariante dinamico originato dal lavoro di Tarski sulle decomposizioni paradossali, possa essere calcolato direttamente dalla struttura combinatoria e come questo si relazioni al monoido di Murray-von Neumann delle proiezioni ($V(C^*)$) e alla $K$-teoria delle algebre associate.

L'obiettivo è fornire un quadro unificato che includa:

1. Le $C^*$-algebre di grafi classici.
2. Le algebre di Exel-Pardo associate ad azioni autosimili di gruppi su grafi.
3. Le algebre di grafi separati (separated graphs), una generalizzazione introdotta per modellare algebre come quelle di Leavitt e McClanahan.

2. Metodologia

L'approccio metodologico è basato su una combinazione di teoria dei grafi, teoria dei gruppioidi etali (étale groupoids) e teoria dei semigruppi commutativi.

• Modelli di Gruppoide: L'autore utilizza la costruzione di gruppioidi etali (spesso non commutativi) associati alle strutture combinatorie. Per i grafi classici, si usa il gruppoide del grafo $G_E$; per le azioni autosimili, il gruppoide $G_{G,E}$; e per i grafi separati, un gruppoide di trasformazione parziale derivato da un'azione parziale di un gruppo libero su uno spazio di configurazioni $\Omega(E, C)$.
• Risoluzione Canonica: Per i grafi separati finiti, viene introdotta una costruzione induttiva chiamata "risoluzione canonica" (o diagramma di Bratteli separato). Questa trasforma un grafo separato finito in un grafo infinito stratificato, permettendo di calcolare il semigruppo di tipo come limite diretto di monoidi di grafi.
• Teoria dei Monoidi: Viene analizzata la struttura algebrica dei semigruppi di tipo, studiando proprietà come la cancellatività, la separatività forte, la rifinibilità (refinement property) e l'assenza di perforazione (unperforation).
• Connessione con l'Algebra: Si stabiliscono isomorfismi tra il semigruppo di tipo del gruppoide e il monoido di proiezioni dell'algebra di Steinberg associata (o della $C^*$-algebra in casi specifici), verificando quando la mappa naturale $t_G: \text{Typ}(G) \to V(C^*(G))$ è un isomorfismo.

3. Contributi Chiave e Risultati

A. Algebre di Grafi e Gruppioidi

• Viene rivista la costruzione delle $C^*$-algebre di grafi $C^*(E)$ e il loro modello tramite il gruppoide $G_E$.
• Si dimostra che per grafi senza sorgenti, il semigruppo di tipo $\text{Typ}(G_E)$ è isomorfo al monoido di grafo $M(E)$, e la mappa verso $V(C^*(E))$ è un isomorfismo.

B. Algebre di Exel-Pardo (Azioni Autosimili)

• Si generalizza il concetto a coppie $(G, E)$ dove un gruppo $G$ agisce su un grafo $E$ in modo autosimile.
• Risultato Principale: Seguendo lavori recenti di Kwaśniewski, Meyer e Prasad, si dimostra che il semigruppo di tipo del gruppoide associato $G_{G,E}$ è isomorfo al monoido di coinvarianti $M(E)^G$ (il quoziente del monoido di grafo rispetto all'azione del gruppo).
• Questo permette di calcolare esplicitamente il semigruppo di tipo per algebre di Katsura e per l'azione del gruppo del lampione (lamplighter group), mostrando casi in cui la mappa verso $V(C^*(G))$ non è suriettiva.

C. Grafi Separati e Algebre di Leavitt

• Si introducono i grafi separati $(E, C)$, dove le entrate di ogni vertice sono partizionate. Questo permette di modellare algebre di Leavitt $L(m,n)$ e algebre di McClanahan.
• Si definisce l'algebra "tame" $O(E, C)$ (quoziente di $C^*(E, C)$) che ammette un modello di gruppoide.
• Risoluzione Canonica: Per un grafo separato finito bipartito $(E, C)$, si costruisce una sequenza canonica di grafi $(E_n, C_n)$ che converge a un diagramma di Bratteli separato infinito $(F, D)$.
• Teorema di Isomorfismo: Il semigruppo di tipo del gruppoide associato è isomorfo al monoido di grafo della risoluzione canonica: $\text{Typ}(G_{E,C}) \cong M(F, D) \cong \varinjlim M(E_n, C_n)$.

D. Proprietà dei Semigruppi di Tipo e Paradossi

• Paradossi Piani (Plain Paradoxes): Si analizza la condizione di "paradossi piani" (dove $x <_s x \implies 2x \le x$). Si mostra che per azioni di gruppi supramenabili su spazi zero-dimensionali, il semigruppo di tipo è fortemente separativo (Teorema di Wehrung), il che implica una forte dicotomia tra finito stabile e infinito puro.
• Controesempi e Monoidi "Wild": Si dimostra che per grafi separati (come quelli legati al gruppo del lampione), il semigruppo di tipo può essere un monoido di rifinimento "selvaggio" (wild), non cancellativo ma strettamente separativo e stabile-finito. Questo fornisce esempi di sistemi dinamici dove la dicotomia di Tarski non si estende direttamente al contesto topologico in modo banale.
• Shift Completo: Viene calcolato esplicitamente il semigruppo di tipo per lo shift completo su due simboli, mostrando che è isomorfo al monoido di Murray-von Neumann dell'algebra di gruppo del gruppo del lampione, un oggetto che non è un gruppo di dimensione.

4. Significato e Impatto

Il lavoro di Ara è significativo per diversi motivi:

1. Unificazione Teorica: Fornisce un linguaggio comune (semigruppi di tipo e modelli di gruppoide) per trattare algebre di grafi classici, algebre di Katsura/Exel-Pardo e algebre di grafi separati, evidenziando le loro differenze strutturali attraverso la teoria dei monoidi.
2. Calcolo Esplicito: Offre formule concrete per il calcolo del semigruppo di tipo in casi complessi (azioni autosimili, grafi separati), collegando la combinatoria del grafo direttamente agli invarianti algebrici.
3. Nuovi Esempi di Classificazione: La costruzione di monoidi di tipo "selvaggi" ma ben definiti (come quello dello shift completo) arricchisce la classificazione delle $C^*$-algebre, mostrando che la struttura dei proiettori può essere più complessa di quanto previsto dalle teorie classiche per le algebre semplici.
4. Connessione con la Dinamica: Il testo chiarisce il legame tra la teoria dei paradossi di Tarski, la teoria dei gruppi supramenabili e la struttura delle $C^*$-algebre, dimostrando come proprietà dinamiche (come la minimalità o la libertà topologica) influenzino la cancellatività e la struttura dei monoidi associati.
5. Conferma di Congetture: Contribuisce alla verifica (o smentita) di congetture come quella di Matui, fornendo un contesto non stabile (tramite il semigruppo di tipo) per analizzare l'iniettività delle mappe verso la $K_0$.

In sintesi, il documento funge da ponte fondamentale tra la teoria combinatoria dei grafi, la dinamica simbolica e la struttura fine delle algebre di operatori, offrendo strumenti potenti per analizzare la complessità dei proiettori in algebre non commutative.