Graded Lawson-Stone Duality

Resumen Técnico: Dualidad de Lawson-Stone Graduada

Planteamiento del Problema
La dualidad de Stone clásica establece una equivalencia dual entre las álgebras booleanas y los espacios topológicos de ultrafiltros. Este marco fue significativamente generalizado por Lawson, quien construyó una equivalencia dual entre las categorías de semigrupos inversos booleanos $\wedge$ y los grupoides topológicos amples de Hausdorff. Si bien se ha reconocido durante mucho tiempo que las álgebras derivadas de objetos combinatorios (como los grafos) mediante semigrupos inversos y grupoides son naturalmente graduadas, y que esta graduación es crucial para su análisis estructural (por ejemplo, en el estudio de las álgebras de caminos de Leavitt y sus ideales), faltaba una teoría de dualidad unificada que incorporara estas graduaciones al nivel de los semigrupos y grupoides. Específicamente, los resultados de dualidad existentes no abordaban sistemáticamente las versiones graduadas de los semigrupos inversos booleanos $\wedge$ y los grupoides amples, ni acomodaban las clases más amplias de morfismos necesarias para capturar construcciones naturales en el contexto graduado.

Metodología
Los autores, Hazrat y Mesyan, extienden la dualidad de Lawson al contexto graduado mediante la definición y el análisis de dos nuevas categorías:

1. $\Gamma$GrIS: La categoría de semigrupos inversos $\wedge$ booleanos $\Gamma$-graduados. Los morfismos en esta categoría son homomorfismos graduados que preservan los encuentros (meets) y se restringen a homomorfismos de retículo en los ideales ordenados principales que preservan los complementos. Notablemente, los autores relajan el requisito de que los morfismos sean "propios" (una condición presente en dualidades no graduadas anteriores), permitiendo una clase más amplia de aplicaciones.
2. $\Gamma$GrGp: La categoría de grupoides topológicos amples de Hausdorff $\Gamma$-graduados. Los morfismos aquí son funciones parciales de cobertura, graduadas y propias. La inclusión de "funciones parciales" (funciones definidas en subgrupoides abiertos) es una consecuencia directa de relajar la condición de propiedad en el lado del semigrupo.

La metodología involucra:

• Definiciones y Propiedades Básicas: Establecer las propiedades de los semigrupos inversos booleanos graduados, incluyendo el comportamiento de los filtros, ultrafiltros y la orden parcial natural dentro del contexto graduado. Los lemas clave demuestran que, en un semigrupo booleano graduado, los elementos compatibles deben compartir el mismo grado, y que los filtros están contenidos dentro de un único componente homogéneo.
• Construcciones: Los autores proporcionan construcciones para tales semigrupos, incluyendo monoides inversos simétricos graduados ($I_{gr}(X)$) y completaciones distributivas de semigrupos inversos de grafos ($D_{gr}(S)$).
• Construcción Functorial: Definen functores contravariantes entre las dos categorías:
  • $S_{gr}: \Gamma\text{GrGp} \to \Gamma\text{GrIS}$, mapeando un grupoide graduado $G$ al semigrupo de sus rebanadas compactas homogéneas, $S_{gr}(G)$.
  • $G: \Gamma\text{GrIS} \to \Gamma\text{GrGp}$, mapeando un semigrupo graduado $S$ al grupoide de sus ultrafiltros, $G(S)$, equipado con una topología generada por conjuntos abiertos básicos $Y_s = \{X \in G(S) \mid s \in X\}$.
• Isomorfismos Naturales: La prueba de la dualidad se basa en la construcción de isomorfismos naturales entre los functores identidad y las composiciones de los functores de dualidad ($G \circ S_{gr} \cong \text{id}$ y $S_{gr} \circ G \cong \text{id}$).

Contribuciones Clave y Resultados

1. Teorema de Dualidad Principal (Teorema 5.13): El resultado primario es que las categorías $\Gamma$GrIS y $\Gamma$GrGp son dualmente equivalentes. Esto generaliza la dualidad original de Lawson al entorno graduado.
2. Morfismos Generalizados: Una contribución técnica significativa es la expansión de las clases de morfismos. Al permitir homomorfismos no propios en la categoría de semigrupos y funciones parciales en la categoría de grupoides, la dualidad se vuelve más flexible y aplicable a una gama más amplia de estructuras algebraicas y topológicas. El artículo ilustra esto con ejemplos que involucran incrustaciones de monoides inversos simétricos graduados que no son propios.
3. Isomorfismo de Álgebra Envolvente (Teorema 6.1): Los autores demuestran que para un grupoide ample Hausdorff graduado $G$ y un anillo $R$, el álgebra envolvente del semigrupo graduado $S_{gr}(G)$ es isomorfa al álgebra envolvente del semigrupo no graduado $S(G)$ (es decir, $R\langle S(G) \rangle \cong R\langle S_{gr}(G) \rangle$). Este resultado conecta la dualidad graduada de vuelta con las estructuras algebraicas (álgebras de Steinberg y álgebras de C* de grupoides) que motivaron el estudio, mostrando que la información de graduación en el nivel del semigrupo no altera la estructura del álgebra envolvente resultante, a pesar de que los semigrupos mismos sean diferentes.
4. Ejemplos y Construcciones: El artículo detalla ejemplos específicos, tales como los monoides inversos simétricos graduados y las completaciones distributivas de semigrupos inversos de grafos, demostrando cómo estos objetos encajan en el nuevo marco.

Significancia
El artículo afirma reforzar la conexión entre semigrupos inversos graduados y grupoides topológicos amples graduados al proporcionar un marco de dualidad riguroso. Esto permite el estudio de las graduaciones al nivel de los objetos combinatorios y topológicos subyacentes (semigrupos y grupoides), en lugar de únicamente al nivel de las álgebras resultantes. Al generalizar la dualidad de Lawson, los autores proporcionan una herramienta para elevar las propiedades desde los componentes homogéneos hacia el álgebra completa y ofrecen una perspectiva estructural sobre la clasificación de álgebras graduadas. El trabajo también recupera la dualidad clásica no graduada como un caso especial (donde el grupo de graduación es trivial) y clarifica el papel de las restricciones de los morfismos en las teorías de dualidad.