Graded Lawson-Stone Duality

Resumo Técnico: Dualidade de Lawson-Stone Graduada

Enunciado do Problema
A dualidade de Stone clássica estabelece uma equivalência dual entre álgebras booleanas e espaços topológicos de ultrafiltros. Este arcabouço foi significativamente generalizado por Lawson, que construiu uma equivalência dual entre categorias de semigrupos inversos booleanos $\wedge$-semigrupos e grupoides topológicos amplessos de Hausdorff. Embora tenha sido reconhecido há muito tempo que as álgebras derivadas de objetos combinatórios (como grafos) via semigrupos inversos e grupoides são naturalmente graduadas, e que essa graduação é crucial para sua análise estrutural (por exemplo, no estudo de álgebras de caminhos de Leavitt e seus ideais), faltava uma teoria de dualidade unificada que incorporasse essas graduações ao nível de semigrupos e grupoides. Especificamente, os resultados de dualidade existentes não abordavam sistematicamente versões graduadas de semigrupos inversos booleanos $\wedge$-semigrupos e grupoides amplessos, nem acomodavam classes mais amplas de morfismos necessários para capturar construções naturais no contexto graduado.

Metodologia
Os autores, Hazrat e Mesyan, estendem a dualidade de Lawson para o contexto graduado definindo e analisando duas novas categorias:

1. $\Gamma$GrIS: A categoria de $\Gamma$-graduados-booleanos $\wedge$-semigrupos inversos. Os morfismos nesta categoria são homomorfismos graduados que preservam encontros (meets) e restringem-se a homomorfismos de reticulados nos idempotentes que preservam complementos em ideais principais ordenados. Notavelmente, os autores relaxam o requisito de que os morfismos sejam "próprios" (uma condição presente em dualidades não graduadas anteriores), permitindo uma classe mais ampla de mapas.
2. $\Gamma$GrGp: A categoria de $\Gamma$-graduados grupoides topológicos amplessos de Hausdorff. Os morfismos aqui são funtores parciais de cobertura graduados e próprios. A inclusão de "funtores parciais" (funtores definidos em subgrupoides abertos) é uma consequência direta do relaxamento da condição de propriedade no lado do semigrupo.

A metodologia envolve:

• Definições e Propriedades Básicas: Estabelecer as propriedades de semigrupos inversos booleanos graduados, incluindo o comportamento de filtros, ultrafiltros e a ordem parcial natural no contexto graduado. Lemas fundamentais demonstram que, em um semigrupo booleano graduado, elementos compatíveis devem compartilhar o mesmo grau, e que os filtros estão contidos em componentes homogêneas únicas.
• Construções: Os autores fornecem construções para tais semigrupos, incluindo monoides inversos simétricos graduados ($I_{gr}(X)$) e complementações distributivas de semigrupos inversos de grafos ($D_{gr}(S)$).
• Construção Functorial: Eles definem funtores contravariantes entre as duas categorias:
  • $S_{gr}: \Gamma\text{GrGp} \to \Gamma\text{GrIS}$, mapeando um grupoide graduado $G$ para o semigrupo de suas fatias compactas homogêneas, $S_{gr}(G)$.
  • $G: \Gamma\text{GrIS} \to \Gamma\text{GrGp}$, mapeando um semigrupo graduado $S$ para o grupoide de seus ultrafiltros, $G(S)$, equipado com uma topologia gerada por conjuntos abertos básicos $Y_s = \{X \in G(S) \mid s \in X\}$.
• Isomorfismos Naturais: A prova da dualidade baseia-se na construção de isomorfismos naturais entre os funtores identidade e as composições dos funtores de dualidade ($G \circ S_{gr} \cong \text{id}$ e $S_{gr} \circ G \cong \text{id}$).

Principais Contribuições e Resultados

1. Teorema Principal de Dualidade (Teorema 5.13): O resultado primário é que as categorias $\Gamma$GrIS e $\Gamma$GrGp são dualmente equivalentes. Isso generaliza a dualidade original de Lawson para o contexto graduado.
2. Morfismos Generalizados: Uma contribuição técnica significativa é a expansão das classes de morfismos. Ao permitir homomorfismos não próprios no semigrupo e funtores parciais no grupoide, a dualidade torna-se mais flexível e aplicável a uma gama mais ampla de estruturas algébricas e topológicas. O artigo ilustra isso com exemplos envolvendo imersões de monoides inversos simétricos graduados que não são próprios.
3. Isomorfismo de Anel Envolvente (Teorema 6.1): Os autores provam que, para um grupoide Hausdorff amplo graduado $G$ e um anel $R$, o anel envolvente do semigrupo graduado $S_{gr}(G)$ é isomorfo ao anel envolvente do semigrupo não graduado $S(G)$ (ou seja, $R\langle S(G) \rangle \cong R\langle S_{gr}(G) \rangle$). Este resultado conecta a dualidade graduada de volta às estruturas algébricas (álgebras de Steinberg e álgebras C* de grupoides) que motivaram o estudo, mostrando que a informação de graduação no nível do semigrupo não altera a estrutura do anel envolvente resultante, apesar de os semigrupos serem diferentes.
4. Exemplos e Construções: O artigo detalha exemplos específicos, como monoides inversos simétricos graduados e as complementações distributivas de semigrupos inversos de grafos, demonstrando como esses objetos se encaixam no novo arcabouço.

Significância
O artigo afirma reforçar a conexão entre semigrupos inversos graduados e grupoides topológicos graduados ao fornecer um arcabouço de dualidade rigoroso. Isso permite o estudo de graduações ao nível dos objetos combinatórios e topológicos subjacentes (semigrupos e grupoides), em vez de apenas ao nível das álgebras resultantes. Ao generalizar a dualidade de Lawson, os autores fornecem uma ferramenta para elevar propriedades de componentes homogêneas para o todo da álgebra e oferecem uma perspectiva estrutural sobre a classificação de álgebras graduadas. O trabalho também recupera a dualidade clássica não graduada como um caso especial (onde o grupo de graduação é trivial) e esclarece o papel das restrições de morfismo em teorias de dualidade.