An Integrally Closed Reduced Ring with McCoy Localizations That Is Neither McCoy nor Locally a Domain

Este artigo resolve afirmativamente o Problema 9 de "Open Problems in Commutative Ring Theory" ao construir um anel comutativo reduzido e integralmente fechado que não é McCoy nem localmente um domínio, mas cujas localizações em ideais maximais são anéis de McCoy integralmente fechados.

O essencial

Imagine que você é um arquiteto de mundos matemáticos. Neste universo, existem "regras de convivência" para os números e polinômios. O artigo que você pediu para explicar é a história de como o autor, Haotian Ma, construiu um monstro matemático muito específico: um objeto que obedece a todas as regras locais, mas que, quando olhamos para ele de longe, quebra uma regra fundamental.

Vamos traduzir isso para uma linguagem do dia a dia, usando analogias.

O Cenário: A Regra do "Vizinho Amigável" (Anel de McCoy)

Primeiro, precisamos entender o que é um Anel de McCoy.
Imagine uma festa (o anel matemático) onde os convidados são números.

• A regra de McCoy diz: "Se um grupo de convidados (um ideal) está causando problemas (sendo divisores de zero, ou seja, multiplicando alguém por zero e dando zero), deve haver pelo menos uma pessoa na festa que, se eles se sentarem perto, vai anular o problema deles."
• Em termos simples: Se há um grupo de "problemáticos", deve haver um "herói" que os neutraliza.

O problema que este artigo resolve é: "Existe uma festa onde, em cada sala pequena (localização), todos os grupos de problemáticos têm um herói, mas na festa inteira, existe um grupo de problemáticos que ninguém consegue neutralizar?"

A resposta da matemática antiga era: "Não sabemos, talvez não exista".
A resposta deste artigo é: "Sim, existe! E aqui está o mapa para construí-lo."

---

A Construção: O Casamento de Dois Mundos

Para criar esse monstro, o autor não inventou tudo do zero. Ele pegou duas peças de um quebra-cabeça e as juntou. Pense nisso como construir uma casa com dois andares muito diferentes.

1. O Primeiro Andar: O "Edifício Perfeito" (O Fator Akiba)

O autor pegou um exemplo famoso de um matemático chamado Akiba.

• O que é: Imagine um prédio gigante onde, se você entrar em qualquer apartamento individual (uma localização), tudo é perfeito. É um "domínio" (não há divisores de zero, tudo funciona bem).
• O defeito: No entanto, se você olhar para o prédio inteiro de cima, descobre que existe um grupo de moradores (um ideal gerado por $u$ e $v$) que são "fantasmas". Eles multiplicam qualquer coisa por zero, mas não existe ninguém no prédio inteiro que consiga anular a existência deles. É como se houvesse um problema global que ninguém consegue resolver.
• Resultado: Este prédio é perfeito localmente, mas falha na regra de McCoy globalmente.

2. O Segundo Andar: A "Festa Local" (O Fator Local)

O autor precisava de uma segunda peça para garantir que o resultado final não fosse um "domínio" (um lugar sem problemas).

• O que é: Ele criou uma pequena sala (um anel local) onde todos os problemas são resolvidos (é um anel de McCoy), mas onde não é um domínio perfeito. Ou seja, existem "fantasmas" (divisores de zero), mas eles são tão bem comportados que sempre há um herói para anular qualquer grupo pequeno deles.
• Analogia: É uma sala onde, se você tiver um problema, alguém resolve. Mas a sala em si não é "limpa" (tem divisores de zero).

3. O Casamento: O Produto Direto ($R = A \times B$)

Aqui vem a mágica. O autor junta esses dois mundos em um só: $R = A \times B$.
Pense nisso como uma cidade dividida em dois distritos que não se misturam, mas compartilham o mesmo nome.

• Por que funciona?
  • Localmente (dentro de cada sala): Se você olhar para um apartamento no Distrito A, ele é perfeito (domínio). Se olhar para o Distrito B, ele é um anel de McCoy. Como as regras locais só veem um distrito de cada vez, tudo parece perfeito. Cada sala local obedece à regra de McCoy.
  • Globalmente (na cidade inteira): O problema do Distrito A (o grupo de fantasmas que ninguém anula) ainda está lá. Ao juntar com o Distrito B, esse problema não desaparece; ele se espalha. Agora, na cidade inteira, existe um grupo de fantasmas que não tem herói.
  • O Resultado: A cidade inteira não é um anel de McCoy (porque tem o problema do Distrito A), e também não é um domínio local (porque o Distrito B tem fantasmas).

A Conclusão: O Que Isso Significa?

O artigo prova que a intuição matemática de que "se tudo está bem nos detalhes, o todo deve estar bem" falha neste caso específico.

1. Resposta ao Problema 9: O autor respondeu "SIM" a uma pergunta que estava aberta na teoria dos anéis. É possível ter um anel que é "bom" em cada pedaço pequeno, mas "ruim" no todo.
2. A Surpresa: Mesmo sendo "ruim" globalmente, o anel construído tem uma propriedade especial: se você escrever polinômios com ele (adicionar uma variável $X$), o resultado continua sendo "bem comportado" (integrally closed).

Resumo em uma Frase

O autor construiu um "Frankstein" matemático unindo um prédio perfeito mas com um defeito global invisível, com uma sala imperfeita mas bem comportada, criando um objeto que obedece a todas as regras quando você olha de perto, mas que quebra a regra principal quando você dá um passo para trás.

Isso mostra que, na matemática, às vezes a soma das partes perfeitas não resulta em um todo perfeito, e que a "localidade" não garante a "globalidade".

Resumo técnico

Resumo Técnico: Um Anel Reduzido Integralmente Fechado com Localizações de McCoy que Não é McCoy nem Localmente um Domínio

Autor: Haotian Ma (Universidade de Zhejiang)
Contexto: Teoria dos Anéis Comutativos.

---

1. O Problema

O artigo aborda a Problema 9 da obra Open Problems in Commutative Ring Theory. A questão central é determinar a existência de um anel comutativo reduzido e integralmente fechado $R$ que satisfaça simultaneamente as seguintes condições contraditórias à intuição comum:

1. Para todo ideal maximal $\mathfrak{p}$ de $R$, a localização $R_{\mathfrak{p}}$ é um anel de McCoy integralmente fechado.
2. O anel global $R$ não é um anel de McCoy.
3. O anel $R$ não é localmente um domínio (ou seja, existe pelo menos uma localização maximal que não é um domínio).

Anteriormente, sabia-se que se $R$ fosse reduzido e todas as localizações maximais fossem domínios integralmente fechados, então $R[X]$ seria integralmente fechado. O problema buscava um contraexemplo onde a propriedade de McCoy se mantivesse localmente, mas falhasse globalmente, sem que o anel fosse localmente um domínio.

---

2. Metodologia e Construção

A construção do anel $R$ é feita através do produto direto de dois anéis distintos, $A$ e $B$, cada um projetado para fornecer propriedades específicas que, combinadas, resolvem o problema.

Fator A: O Exemplo de Tipo Nagata de Akiba

O autor utiliza uma construção baseada no exemplo de Nagata de Akiba (1980).

• Definição: Seja $k$ um corpo. Constrói-se um anel $A$ como uma subálgebra de um produto infinito de anéis de polinômios quocientes, especificamente $A = R_{A,0}[u, v]$, onde $R_{A,0}$ é uma extensão de um corpo por uma soma direta de anéis derivados normais.
• Propriedades de $A$:
  • É reduzido e integralmente fechado.
  • Localmente: Para todo ideal maximal $M$, $A_M$ é um domínio integralmente fechado.
  • Globalmente: Contém um ideal finitamente gerado $I_A = (u, v)$ contido no conjunto de divisores de zero $Z(A)$ tal que o anulador $\text{Ann}_A(I_A) = 0$.
  • Consequência: $A$ não é um anel de McCoy.

Fator B: Um Anel Local de McCoy que Não é Domínio

O autor constrói um anel local $B$ para garantir que a propriedade de McCoy seja mantida localmente, mas que o anel não seja um domínio.

• Definição: Seja $B = k + \mathfrak{m}_B$, onde $\mathfrak{m}_B$ é a soma direta de ideais maximais de anéis de séries de potências formais $k[[t]]$ (um subanel do produto infinito $\prod k[[t]]$).
• Propriedades de $B$:
  • É um anel local reduzido e integralmente fechado.
  • Todo elemento de $\mathfrak{m}_B$ é um divisor de zero; logo, $Z(B) = \mathfrak{m}_B$.
  • Todo elemento não-divisor de zero é uma unidade.
  • McCoy: Qualquer ideal finitamente gerado contido em $Z(B)$ possui um anulador não nulo (construído escolhendo um índice fora do suporte finito dos geradores).
  • Não-Domínio: Como $\mathfrak{m}_B \neq 0$ e contém apenas divisores de zero, $B$ não é um domínio.

O Anel Final R

Define-se $R = A \times B$.
O autor utiliza propriedades padrão de produtos diretos para verificar que:

1. $R$ é reduzido e integralmente fechado (herdado de $A$ e $B$).
2. As localizações maximais de $R$ são isomorfas ou a $A_M$ (que é um domínio, logo McCoy) ou a $B$ (que é McCoy por construção).
3. O ideal $J = I_A \times B$ em $R$ é finitamente gerado, está contido em $Z(R)$, mas tem anulador zero, provando que $R$ não é McCoy.

---

3. Resultados Principais

• Teorema 4: Existe um anel reduzido e integralmente fechado $R$ tal que:
  1. Para todo ideal maximal $\mathfrak{p}$, $R_{\mathfrak{p}}$ é um anel de McCoy integralmente fechado.
  2. $R$ não é um anel de McCoy.
  3. $R$ não é localmente um domínio (especificamente, na localização correspondente ao ideal maximal de $B$, o anel é isomorfo a $B$, que não é um domínio).
• Corolário 5: Como consequência direta da observação de Huckaba, o anel de polinômios $R[X]$ é integralmente fechado, mesmo que $R$ não seja um anel de McCoy nem localmente um domínio.

---

4. Contribuições Chave

1. Resolução Positiva do Problema 9: O artigo fornece uma construção explícita que responde afirmativamente a uma questão aberta na teoria dos anéis comutativos.
2. Separação de Propriedades Locais e Globais: Demonstra que a propriedade de ser um anel de McCoy não é uma propriedade local (ou seja, o fato de todas as localizações serem McCoy não implica que o anel global seja McCoy), mesmo sob a forte hipótese de ser integralmente fechado e reduzido.
3. Contraexemplo à Intuição de Domínios: Mostra que a condição de $R[X]$ ser integralmente fechado não requer que $R$ seja localmente um domínio, desafiando generalizações anteriores que dependiam dessa hipótese.
4. Síntese de Exemplos: Combina elegantemente um exemplo clássico de Akiba (focado em falhas de anuladores em anéis reduzidos) com uma construção local simples de anéis de séries de potências para criar um objeto com propriedades híbridas precisas.

---

5. Significado

Este trabalho é significativo porque esclarece a estrutura fina dos anéis integralmente fechados e a relação entre propriedades locais e globais na teoria de anéis comutativos.

• Teoria de McCoy: Estabelece limites claros sobre a "localidade" da condição de McCoy.
• Anéis de Polinômios: Refina o entendimento de quando $R[X]$ é integralmente fechado, mostrando que a condição de McCoy local é suficiente, mesmo na ausência de estrutura de domínio local.
• Metodologia: A técnica de usar produtos diretos para "misturar" comportamentos locais distintos (um fator que é localmente domínio, outro que é localmente não-domínio, mas ambos McCoy) oferece uma ferramenta poderosa para a construção de contraexemplos em álgebra comutativa.

Em suma, o artigo resolve uma questão aberta há muito tempo, provando que a estrutura de um anel pode ser "globalmente defeituosa" (não McCoy) apesar de ser "localmente perfeita" (McCoy e integralmente fechado) em todas as suas localizações maximais.