Equivalência de Morita

O estudo dos anéis frequentemente se beneficia da análise de seus módulos, pois estes podem ser vistos como representações dos anéis. Cada anel R possui uma estrutura natural de R-módulo sobre si mesmo, onde a multiplicação no anel define a ação do módulo. Essa perspectiva via módulos é mais abrangente e oferece insights valiosos. A Equivalência de Morita eleva essa ideia a um novo patamar, definindo que anéis são equivalentes se suas categorias de módulos são equivalentes. Essa noção é particularmente relevante para anéis não comutativos, pois, para anéis comutativos, a equivalência de Morita se resume a um simples isomorfismo.

Dois anéis associativos com unidade, R e S, são declarados (Morita) equivalentes se existir uma equivalência entre a categoria de módulos à esquerda sobre R (denotada R-Mod) e a categoria de módulos à esquerda sobre S (denotada S-Mod). É possível demonstrar que a equivalência entre R-Mod e S-Mod implica a equivalência entre as categorias de módulos à direita (Mod-R e Mod-S). Adicionalmente, qualquer funtor que estabeleça essa equivalência entre R-Mod e S-Mod é automaticamente um funtor aditivo.

Qualquer par de anéis que sejam isomorfos (estruturalmente idênticos) são, por definição, Morita equivalentes. Um exemplo notável é que o anel de matrizes n x n com elementos em R, representado como Mn(R), é Morita equivalente a R para qualquer inteiro n > 0. Este fato generaliza a classificação de anéis simples artinianos dada pela teoria de Artin–Wedderburn. Para entender essa equivalência, considere um R-módulo à esquerda X; o módulo X^n (uma coleção de n cópias de X) torna-se um Mn(R)-módulo através da multiplicação de matrizes. Isso permite a construção de um funtor de R-Mod para Mn(R)-Mod. O funtor inverso é construído ao observar que qualquer Mn(R)-módulo pode ser obtido a partir de um R-módulo X de maneira análoga.

As equivalências de Morita podem ser caracterizadas por meio de functores aditivos covariantes, F: R-Mod → S-Mod e G: S-Mod → R-Mod. Estes functores formam uma equivalência se e somente se existir um (S,R)-bimódulo balanceado P, tal que SP e PR sejam geradores projetivos finitamente gerados. Além disso, devem existir isomorfismos naturais F(-) ≅ P ⊗_R - e G(-) ≅ Hom(_{S}P, -). Geradores projetivos finitamente gerados são também chamados de progeradores. Um teorema de álgebra homológica afirma que todo funtor exato à direita F: R-Mod → S-Mod que comuta com somas diretas é naturalmente isomorfo a um funtor do tipo E ⊗_R -, onde E é um (S,R)-bimódulo. Consequentemente, R e S são Morita equivalentes se e somente se existirem bimódulos M (RMS) e N (SNR) tais que M ⊗_S N ≅ R como (R,R)-bimódulos e N ⊗_R M ≅ S como (S,S)-bimódulos. Adicionalmente, N e M estão relacionados por um isomorfismo de (S,R)-bimódulos: N ≅ Hom(M_S, S_S).

Um funtor de equivalência preserva muitas propriedades dos objetos em categorias de módulos. Em geral, qualquer propriedade de um módulo definida puramente em termos de sua estrutura e homomorfismos (e não de seus elementos individuais ou do anel em si) é uma propriedade categórica que será mantida pela equivalência. Por exemplo, se F é um funtor de equivalência de R-Mod para S-Mod, um módulo M sobre R possui uma determinada propriedade se e somente se o módulo F(M) sobre S também a possui. Exemplos de propriedades preservadas incluem ser injetivo, projetivo, plano, fiel, simples, semissimples, finitamente gerado, finitamente apresentado, artiniano e noetheriano. Propriedades como ser livre ou cíclico podem não ser necessariamente preservadas. Muitas propriedades da teoria de anéis são formuladas em termos de seus módulos; portanto, essas propriedades são compartilhadas entre anéis Morita equivalentes. Tais propriedades são chamadas de invariantes de Morita. Por exemplo, um anel é semissimples se e somente se todos os seus módulos são semissimples; como módulos semissimples são preservados pela equivalência de Morita, um anel Morita equivalente também deve ter todos os seus módulos semissimples e, portanto, ser ele próprio um anel semissimples.

Em contraste com as equivalências, a teoria das dualidades entre categorias de módulos utiliza functores contravariantes. Embora conceitualmente similar, a teoria das dualidades apresenta diferenças significativas, pois nem sempre existe uma dualidade entre as categorias de módulos de quaisquer dois anéis, embora possa existir para subcategorias. A teoria das dualidades se aplica mais diretamente a álgebras finitamente geradas sobre anéis noetherianos, pois módulos de dimensão infinita geralmente não são reflexivos. O critério para equivalência de Morita possui um análogo para dualidades, onde o isomorfismo natural é expresso através do funtor Hom. A Equivalência de Morita também pode ser estendida para contextos mais complexos, como grupoides simpléticos e C*-álgebras. No caso das C*-álgebras, uma versão mais forte, a equivalência de Morita forte, é necessária para resultados aplicados, devido à estrutura adicional (como a involução *) e à ausência de um elemento identidade.

Quando dois anéis são Morita equivalentes, as categorias de seus módulos projetivos também se tornam equivalentes. Isso ocorre porque as equivalências de Morita preservam sequências exatas e, consequentemente, módulos projetivos. A K-teoria algébrica de um anel, conforme definida pela abordagem de Quillen, baseia-se nos grupos de homotopia de um espaço classificante construído a partir da categoria de módulos projetivos finitamente gerados sobre o anel. Portanto, anéis Morita equivalentes devem possuir K-grupos isomorfos, destacando a profunda conexão entre essas estruturas.