Decompositions into a direct sum of projective and stable submodules

Título: Decomposições em uma Soma Direta de Submódulos Projetivos e Estáveis

Autores: Güli̇zar Günȧy e Engi̇n Mermut

1. Problema e Contexto

O artigo investiga uma questão fundamental na teoria de módulos sobre anéis associativos com unidade: sob quais condições um módulo $M$ pode ser decomposto como uma soma direta $M = P \oplus N$, onde $P$ é um submódulo projetivo e $N$ é um submódulo estável.

• Definição de Módulo Estável: Um módulo $M$ é chamado de estável se não possui nenhum sumando direto projetivo não nulo.
• Motivação: Este problema é o dual de questões clássicas sobre decomposições em módulos injetivos e "costáveis" (sem sumandos injetivos não nulos). Resultados anteriores, como os de Warfield (para anéis semiperfeitos) e Zangurashvili (para anéis hereditários), estabeleceram a existência dessa decomposição em classes específicas de anéis e módulos.
• Objetivo Central: O foco principal deste trabalho é identificar e construir exemplos onde essa decomposição falha. Os autores buscam determinar limites para a validade dessa propriedade, especialmente em módulos finitamente gerados ou finitamente apresentados sobre anéis que não satisfazem as condições de perfeição ou coerência necessárias.

2. Metodologia

Os autores utilizam uma combinação de técnicas de teoria de módulos, dimensões de Goldie (uniforme e oca) e a teoria de categorias estáveis, especificamente o Transposto de Auslander-Bridger.

• Análise de Dimensões: A seção 2 utiliza o conceito de dimensão uniforme ($u.dim$) e dimensão oca ($h.dim$) para provar a existência de decomposições em casos onde essas dimensões são finitas.
• Transposto de Auslander-Bridger: A seção 3 emprega o funtor de transposto ($Tr$) para módulos finitamente apresentados. Este funtor estabelece uma dualidade entre as categorias estáveis de módulos finitamente apresentados à direita e à esquerda. A análise da dimensão projetiva do transposto ($pd(Tr(M))$) e do módulo dual ($M^* = Hom_R(M, R)$) é crucial para estabelecer a decomposição.
• Construção de Contraexemplos: A seção 4 é dedicada à construção explícita de anéis e módulos onde a decomposição falha. Os autores exploram anéis hereditários que não são perfeitos, anéis semihereditários que não são Baer, e anéis de V semi-artinianos.

3. Contribuições e Resultados Principais

A. Resultados Positivos (Existência de Decomposição)

Os autores reafirmam e generalizam condições sob as quais a decomposição $M = P \oplus N$ é garantida:

1. Dimensões Finitas: Se um módulo $M$ tem dimensão uniforme finita ou dimensão oca finita, ele admite tal decomposição.
   • Corolário: Isso implica que módulos Noetherianos, Artinianos e finitamente gerados sobre anéis semilocais (incluindo anéis semiperfeitos) possuem essa decomposição.
2. Anéis Semihereditários Esquerda: O Teorema 3.10 prova que, se $R$ é um anel semihereditário à esquerda, então todo módulo finitamente apresentado à direita sobre $R$ admite uma decomposição $M = P \oplus N$, onde $P \cong M^{**}$ (o bidual) e $N \cong Ext^1_R(Tr(M), R)$.
   • Mecanismo: A prova baseia-se no fato de que, sobre anéis semihereditários à esquerda, o transposto de Auslander-Bridger de um módulo finitamente apresentado tem dimensão projetiva $\leq 1$.

B. Resultados Negativos (Falha da Decomposição)

A principal contribuição do artigo é a demonstração de que a decomposição não é universal, mesmo para módulos bem comportados (finitamente gerados ou apresentados).

1. Anéis Hereditários não Perfeitos (Teorema 4.1):

   • Se um anel $R$ é hereditário à direita mas não é perfeito à direita ou coerente à esquerda, existem módulos que não admitem a decomposição.
   • Exemplo 4.2: O anel dos inteiros $\mathbb{Z}$ (hereditário, mas não perfeito) e o produto infinito $\prod_{i=1}^\infty \mathbb{Z}$ fornecem um módulo torsionless que não é projetivo e não admite a decomposição.

2. Módulos Cíclicos sobre Anéis Semihereditários não Baer (Teorema 4.3):

   • Se $R$ é semihereditário à direita mas não é um anel de Baer à direita, existe um módulo cíclico torsionless que não é projetivo e não admite a decomposição.

3. Módulos Finitamente Gerados sobre Anéis V Semi-Artinianos (Teorema 4.6):

   • Os autores constroem um exemplo sobre um anel $R$ que é um anel V à direita e semi-artiniano à direita, mas não semisimples.
   • Existe um módulo cíclico $M$ sobre este anel que não pode ser decomposto em $P \oplus N$. A prova envolve a análise da estrutura do socle do módulo e a demonstração de que qualquer submódulo estável não nulo levaria a uma contradição com a estrutura de injetividade/projetividade dos anéis V.

4. O Exemplo Principal: Módulo Finitamente Apresentado sobre Anel Comutativo (Exemplo 4.8):

   • Este é o resultado mais forte do artigo. Os autores constroem um anel comutativo $A$ (idealização de um anel de produtos infinitos de $\mathbb{Z}_2$) e um módulo cíclico finitamente apresentado $M = A/J$.
   • Propriedades de $M$:
     • $M$ não é projetivo.
     • $M$ não possui nenhum submódulo estável não nulo.
     • Consequentemente, $M$ não admite a decomposição $M = P \oplus N$.
     • Equivalência Projetiva: O Lema 4.7 prova que, se um módulo não é projetivo e não possui submódulos estáveis não nulos, ele não é projetivamente equivalente a nenhum módulo estável. Isso significa que, na categoria estável de $R$-módulos, não existe um objeto estável que represente a classe de isomorfismo de $M$.

4. Significado e Impacto

• Refinamento da Teoria de Representação: O trabalho esclarece os limites da teoria de decomposição de Warfield e Zangurashvili. Mostra que a propriedade de decomposição em partes projetiva e estável não é uma característica intrínseca de todos os anéis semihereditários ou de todos os módulos finitamente apresentados, dependendo criticamente de propriedades como perfeição e coerência.
• Categorias Estáveis: O Exemplo 4.8 é particularmente significativo porque fornece um caso onde a "parte estável" de um módulo não pode ser isolada nem mesmo até a equivalência projetiva. Isso tem implicações diretas para a teoria de representação de álgebras, onde a decomposição em partes projetivas e estáveis é frequentemente usada para simplificar o estudo de módulos.
• Construção de Contraexemplos: O artigo fornece uma "caixa de ferramentas" de exemplos (anéis de produtos infinitos, idealizações, anéis de matrizes triangulares) para testar conjecturas sobre decomposições de módulos.

Em resumo, o artigo estabelece condições suficientes robustas para a existência da decomposição (via dimensões finitas e anéis semihereditários) e, simultaneamente, demonstra através de exemplos sofisticados que a falha dessa decomposição é comum em contextos onde as condições de finitude ou perfeição do anel não são satisfeitas, mesmo para módulos cíclicos e finitamente apresentados.