Graded Lawson-Stone Duality

Sintesi Tecnica: Dualità di Lawson-Stone Graduata

Enunciato del Problema
La classica dualità di Stone stabilisce una doppia equivalenza tra algebre booleane e spazi topologici di ultrafiltri. Questo framework è stato significativamente generalizzato da Lawson, il quale ha costruito una doppia equivalenza tra categorie di semigruppi inversi booleani $\wedge$-semigruppi e groupoid topologici ampi Hausdorff. Sebbene sia stato a lungo riconosciuto che le algebre derivate da oggetti combinatori (come i grafi) tramite semigruppi inversi e groupoid siano naturalmente graduate, e che tale graduazione sia cruciale per la loro analisi strutturale (ad esempio, nello studio delle albre di cammino di Leavitt e dei loro ideali), mancava una teoria di dualità unificata che incorporasse queste graduazioni a livello di semigruppi e groupoid. Nello specifico, i risultati di dualità esistenti non affrontavano sistematicamente le versioni graduate di $\wedge$-semigruppi inversi booleani e groupoid ampi, né riuscivano ad accomodare classi più ampie di morfismi necessari per catturare le costruzioni naturali nel contesto graduato.

Metodologia
Gli autori, Hazrat e Mesyan, estendono la dualità di Lawson al contesto graduato definendo e analizzando due nuove categorie:

1. $\Gamma$GrIS: La categoria dei $\Gamma$-graduati-booleani $\wedge$-semigruppi inversi. I morfismi in questa categoria sono omomorfismi graduati che preservano gli incontri ($\wedge$) e si restringono a omomorfismi di reticolo sugli idempotenti che preservano i complementi nei ideali d'ordine principali. Notevolmente, gli autori rilassano il requisito che i morfismi siano "propri" (una condizione presente nelle precedenti dualità non graduate), permettendo una classe più ampia di mappe.
2. $\Gamma$GrGp: La categoria dei $\Gamma$-graduati Hausdorff ampi groupoid topologici. I morfismi qui sono functori parziali, coprenti e graduati. L'inclusione di "functori parziali" (functori definiti su sottogroupoid composti aperti) è una diretta conseguenza del rilassamento della condizione di proprietà sul lato del semigruppo.

La metodologia prevede:

• Definizioni e Proprietà di Base: Stabilire le proprietà dei semigruppi inversi booleani graduati, inclusi il comportamento di filtri, ultrafiltri e l'ordine parziale naturale nel contesto graduato. Lemmi chiave dimostrano che in un semigruppo booleano graduato, gli elementi compatibili devono condividere lo stesso grado, e che i filtri sono contenuti entro una singola componente omogenea.
• Costruzioni: Gli autori forniscono costruzioni per tali semigruppi, inclusi i monoidi inversi simmetrici graduati ($I_{gr}(X)$) e le completazioni distributive di semigruppi inversi di grafi ($D_{gr}(S)$).
• Costruzione Funzionale: Definiscono functori contravarianti tra le due categorie:
  • $S_{gr}: \Gamma\text{GrGp} \to \Gamma\text{GrIS}$, mappando un groupoid graduato $G$ al semigruppo delle sue fette compatte omogenee, $S_{gr}(G)$.
  • $G: \Gamma\text{GrIS} \to \Gamma\text{GrGp}$, mappando un semigruppo graduato $S$ al groupoid dei suoi ultrafiltri, $G(S)$, equipaggiato con una topologia generata da insiemi aperti di base $Y_s = \{X \in G(S) \mid s \in X\}$.
• Isomorfismi Naturali: La prova della dualità si basa sulla costruzione di isomorfismi naturali tra i functori identità e le composizioni dei functori di dualità ($G \circ S_{gr} \cong \text{id}$ e $S_{gr} \circ G \cong \text{id}$).

Contributi Chiave e Risultati

1. Teorema Principale di Dualità (Teorema 5.13): Il risultato primario è che le categorie $\Gamma$GrIS e $\Gamma$GrGp sono dualmente equivalenti. Questo generalizza l'originale dualità di Lawson al contesto graduato.
2. Morfismi Generalizzati: Un contributo tecnico significativo è l'espansione delle classi di morfismi. Permettendo omomorfismi non propri nel semigruppo e functori parziali nel groupoid, la dualità diventa più flessibile e applicabile a una gamma più ampia di strutture algebriche e topologiche. Il documento illustra questo con esempi riguardanti l'embedding di monoidi inversi simmetrici graduati che non sono propri.
3. Isomorfismo dell'Anello Avvolgente (Teorema 6.1): Gli autori dimostrano che per un groupoid ampio graduato Hausdorff $G$ e un anello $R$, l'anello avvolgente del semigruppo graduato $S_{gr}(G)$ è isomorfo all'anello avvolgente del semigruppo non graduato $S(G)$ (ovvero, $R\langle S(G) \rangle \cong R\langle S_{gr}(G) \rangle$). Questo risultato collega la dualità graduata all'indietro alle strutture algebriche (alge di Steinberg e alge C* di groupoid) che hanno motivato lo studio, mostrando che l'informazione di graduazione a livello di semigruppo non altera la struttura dell'anello avvolgente risultante, nonostante i semigruppi stessi siano differenti.
4. Esempi e Costruzioni: Il documento dettaglia esempi specifici, come i monoidi inversi simmetrici graduati e le completazioni distributive di semigruppi inversi di grafi, dimostrando come questi oggetti si inseriscano nel nuovo framework.

Significatività
Il lavoro sostiene di rafforzare la connessione tra semigruppi inversi graduati e groupoid topologici graduati fornendo un rigoroso framework di dualità. Ciò permette lo studio delle graduazioni a livello degli oggetti combinatori e topologici sottostanti (semigruppi e groupoid), piuttosto che esclusivamente a livello delle alge risultanti. Generalizzando la dualità di Lawson, gli autori forniscono uno strumento per elevare le proprietà dalle componenti omogenee all'intera algebra e offrono una prospettiva strutturale sulla classificazione delle alge graduate. Il lavoro recupera inoltre la classica dualità non graduata come un caso speciale (dove il gruppo di graduazione è banale) e chiarisce il ruolo delle restrizioni dei morfismi nelle teorie di dualità.