Radical-Ideal Functors, a Support Bifibration, and Quantale Completion for Commutative Semirings

Resumo Técnico: Funtores de Ideais Radicais, uma Bifibração de Suporte e Completude de Quantale para Semianéis Comutativos

Enunciado do Problema
Semianéis comutativos suportam múltiplas doutrinas de ideais, frequentemente inequivalentes: ideais ordinários, ideais subtrativos (ou $k$-ideais) e ideais fortes. Cada doutrina possui reflexos radiciais e espectros primos distintos. Embora esses objetos possam ser construídos individualmente, as relações categóricas entre eles — especificamente como eles variam sob homomorfismos, como suas doutrinas de fechamento se comparam naturalmente e quais construções universais os representam — não foram totalmente organizadas em um arcabouço unificado. O artigo aborda a necessidade de sistematizar essas doutrinas, comparar suas representações espectrais e compreender a natureza monádica da completude de ideais no contexto de ideais subtrativos ($k$-ideais).

Metodologia
Os autores empregam uma abordagem categórica fundamentada na dualidade de Stone coerente, teoria de frames e teoria de quantales. A metodologia procede através de três estágios primários:

1. Construção Functorial de Ideais Radicais: Os autores definem a extensão radical como o adjunto à esquerda para a contração tanto para ideais ordinários quanto para $k$-ideais. Essa adjunção estabelece funtores covariantes que mapeiam a categoria de semianéis comutativos ($CRig$) para a categoria de frames coerentes ($CohFrm$). Tais funtores são mostrados como naturalmente isomórficos aos frames de conjuntos abertos dos espectros primos correspondentes ($Spec$e$Speck$).
2. Comparação Natural via Núcleos: A transição de ideais radicais ordinários para $k$-ideais radicais é formalizada como um núcleo natural (um operador de fechamento que preserva encontros finitos). Os autores analisam os componentes deste núcleo, provando que são sobrejetivos e correspondem a imersões de sublocais densos sob a dualidade de Stone coerente. Isso permite uma comparação precisa dos espectros primos ordinários, $k$- e fortes como funtores espectrais naturais aninhados.
3. Teoria de Suporte e Completude de Quantale: O artigo utiliza a teoria de suporte para reconstruir espectros e frames radicais a partir de invariantes universais com valores em reticulados. Constrói-se uma bifibração de Grothendieck onde os fibrados são categorias de suportes finitos. Finalmente, para semianéis ideais completos, os autores investigam a completude de $k$-ideais como uma construção de quantale livre. Eles computam o monad induzido, restringem-no a objetos de frame para comparar com o clássico monad de reticulado de ideais e caracterizam seus álgebras de Eilenberg–Moore.

Contribuições Principais e Resultados

• Funtores de Ideais Radicais e Adjunções: O artigo estabelece que a extensão radical é o adjunto à esquerda para a contração tanto para ideais radicais ordinários quanto para $k$-radicais. Isso produz funtores de valor em frames coerentes $RId$e$RId_k$ tais que $RId(S) \cong \Omega(Spec(S))$ e $RId_k(S) \cong \Omega(Speck(S))$.
• Núcleo Natural e Imersões Espectrais: O mapa de comparação $j: RId \Rightarrow RId_k$ é identificado como um núcleo natural. Sob as hipóteses vigentes (semianéis reduzidos e cônicos), os componentes deste núcleo são sobrejetivos, e o mapa induzido no espectro corresponde a uma imersão de sublocal denso. Os espectros primos ordinários, $k$- e fortes são montados em funtores espectrais naturais aninhados com imersões fechadas de seus refinamentos construtíveis.
• Bifibração de Suporte: Os autores globalizam a teoria de suporte finito, demonstrando que as categorias de suportes finitos formam os fibrados de uma bifibração de Grothendieck $\pi: Supp_{tot} \to CRig$. O suporte compacto-aberto canônico define uma seção bicartesiana e um quase-inverso para esta projeção, mostrando efetivamente que a categoria de suporte total é equivalente à categoria base de semianéis.
• Completude de Quantale e Identificação de Monad: Para semianéis ideais completos, a construção de $k$-ideal realiza uma completude de quantale de ideais de forma subtrativa. O monad induzido $T = U \circ Id_k$ é computado.
  • Sua restrição à subcategoria de objetos de frame é canonicamente isomórfica ao clássico monad de reticulado de ideais sobre reticulados distributivos limitados.
  • A categoria de Eilenberg–Moore deste monad é provada ser equivalente à categoria de quantales comutativos integrais. Isso caracteriza quantales comutativos integrais como semianéis ideais completos onde a multiplicação distribui sobre uniões arbitrárias.
• Aplicações e Critérios: Os resultados estruturais rendem critérios específicos:
  • Um critério de espectro de Stone para os cones positivos de $f$-anéis (equacionando espaços de Stone, reticulados de suporte booleanos, regularidade de von Neumann e zero-dimensionalidade do frame radical).
  • Critérios de densidade para a inclusão natural do espectro $k$-primo de um $r$-semianel.

Significância e Alegações
O artigo alega que sua principal contribuição não reside na construção individual desses objetos (muitos dos quais são clássicos ou adaptados de literatura existente), mas nas estruturas categóricas que os conectam. Especificamente, os autores afirmam que a comparação natural combinada das doutrinas radicais, a construção da bifibração de suporte e a identificação da completude de quantale do monad com a categoria de Eilenberg–Moore de quantales comutativos integrais não aparecem na literatura publicada nesta forma unificada.

O trabalho fornece um arcabouço rigoroso para entender como diferentes teorias de ideais em semianéis se relacionam via adjunções e dualidades. Ao identificar as álgebras de Eilenberg–Moore da completude de monad de $k$-ideal, o artigo esclarece as condições algébricas exatas (distributividade sobre uniões arbitrárias) necessárias para mover-se de um semianel ideal completo para um quantale. Os resultados servem como consequências categóricas formais para afirmações locais e de sheaf, enquanto os critérios de espaço de Stone e de densidade oferecem aplicações concretas para classes específicas de anéis.