Decompositions into a direct sum of projective and stable submodules

Resumen Técnico: Descomposiciones en Suma Directa de Submódulos Proyectivos y Estables

1. Planteamiento del Problema

El artículo aborda un problema fundamental en la teoría de módulos sobre anillos asociativos con unidad: bajo qué condiciones un módulo $M$ puede descomponerse como una suma directa $M = P \oplus N$, donde:

• $P$ es un submódulo proyectivo.
• $N$ es un submódulo estable (definido como un módulo que no posee sumandos directos proyectivos no nulos).

El problema dual (descomposición en inyectivos y costables) ha sido estudiado previamente, pero el enfoque de este trabajo es analizar la existencia de tales descomposiciones para diversas clases de módulos y anillos, identificando específicamente los casos donde falla la descomposición. El objetivo es determinar si la descomposición es universal o si existen contraejemplos en anillos y módulos finitamente generados o presentados.

2. Metodología

Los autores emplean una combinación de técnicas de teoría de módulos, homología y teoría de categorías:

• Dimensiones Uniforme y Hueca (Hollow): Utilizan la teoría de dimensiones de Goldie (dimensión uniforme y hueca) para establecer condiciones suficientes para la descomposición.
• Traspuesto de Auslander-Bridger: En la sección 3, utilizan el funtor traspuesto ($Tr$) de módulos finitamente presentados. Este funtor establece una dualidad entre las categorías estables de módulos finitamente presentados a derecha e izquierda.
• Análisis de Propiedades del Anillo: Examinan anillos hereditarios, semihereditarios, perfectos, coherentes, semilocales y de Baer/Rickart para caracterizar la validez de la descomposición.
• Construcción de Contraejemplos: La parte central de la metodología consiste en la construcción explícita de anillos y módulos (finitamente generados y finitamente presentados) que violan la propiedad de descomposición, utilizando estructuras como anillos de matrices triangulares, idealizaciones y anillos de productos infinitos.

3. Contribuciones y Resultados Clave

A. Condiciones Suficientes para la Descomposición (Secciones 2 y 3)
Los autores demuestran que la descomposición $M = P \oplus N$ se cumple en los siguientes casos:

1. Dimensiones Finitas: Si un módulo tiene dimensión uniforme finita ($u.dim(M) < \infty$) o dimensión hueca finita ($h.dim(M) < \infty$), entonces admite dicha descomposición.
   • Corolario: Esto implica que todos los módulos Noetherianos, Artinianos y los módulos finitamente generados sobre anillos semilocales (incluyendo anillos semiperfectos) poseen esta descomposición.
2. Anillos Semihereditarios Izquierdos: Utilizando el traspuesto de Auslander-Bridger, prueban que si $R$ es un anillo semihereditario izquierdo, entonces todo módulo finitamente presentado a derecha $M$ admite una descomposición $M = P \oplus N$, donde $P \cong M^{**}$ (el doble dual) y $N \cong Ext^1_R(Tr(M), R)$. Además, $N$ es estable y $P$ es proyectivo.

B. Fallos de la Descomposición (Sección 4)
El núcleo de la investigación reside en demostrar que la descomposición no es universal. Los autores presentan ejemplos donde la descomposición falla:

1. Módulos Torsiónless no Proyectivos:

   • Si un anillo $R$ no es perfecto a la derecha o no es coherente a la izquierda, existe un módulo torsiónless que no es proyectivo.
   • Si $R$ es hereditario a la derecha (o semihereditario a la derecha con módulo finitamente generado), tal módulo no admite descomposición $P \oplus N$.
   • Ejemplo: El módulo $\prod_{i=1}^\infty \mathbb{Z}$ sobre $\mathbb{Z}$ (anillo hereditario pero no perfecto).

2. Módulos Cíclicos sobre Anillos Semihereditarios no Baer:

   • Si $R$ es semihereditario a la derecha pero no es un anillo de Baer a la derecha, existe un módulo cíclico torsiónless que no es proyectivo y no se descompone.

3. Módulos sobre Anillos V-Semiartinianos (Teorema 4.6):

   • Construyen un módulo cíclico sobre un anillo $R$ que es semiartiniano a la derecha y un anillo V (donde todo módulo simple es inyectivo), pero que no es semisimple.
   • Demuestran que existe un módulo cíclico $M$ que no tiene descomposición $P \oplus N$. La prueba se basa en que cualquier submódulo "estable" hipotético llevaría a una contradicción con la estructura de los submódulos simples inyectivos del anillo.

4. El Ejemplo Principal: Módulo Finitamente Presentado no Equivalentemente Proyectivo a un Estable (Ejemplo 4.8):

   • Este es el resultado más fuerte. Los autores construyen un anillo conmutativo $A$ (una idealización de un anillo de productos infinitos de $\mathbb{Z}_2$) y un módulo cíclicamente presentado $M = A/J$.
   • Propiedades de $M$:
     • $M$ no es proyectivo.
     • $M$ no tiene ningún submódulo estable no nulo.
     • Por lo tanto, $M$ no admite descomposición $P \oplus N$ (ya que $N$ tendría que ser 0, implicando que $M$ es proyectivo, lo cual es falso).
     • Conclusión crucial: $M$ no es equivalentemente proyectivo a ningún módulo estable. Es decir, no existen módulos proyectivos $P, Q$ tales que $M \oplus P \cong N' \oplus Q$ con $N'$ estable. Esto significa que en la categoría estable de $A$-módulos, el objeto $M$ no es isomorfo a ningún objeto estable.

4. Significado e Impacto

• Refinamiento de la Teoría de Representación: El trabajo clarifica los límites de la descomposición de Warfield (válida para anillos semiperfectos) y la generalización de Zangurashvili. Muestra que la propiedad de descomposición no se extiende automáticamente a anillos semihereditarios para todos los módulos, sino solo para los finitamente presentados (bajo ciertas condiciones).
• Categoría Estable: El ejemplo 4.8 es fundamental para la teoría de categorías estables. Demuestra que la clase de módulos que son "equivalentes proyectivamente" a módulos estables es estrictamente menor que la clase de todos los módulos finitamente presentados. Esto implica que no siempre es posible "reducir" un módulo a su parte estable en la categoría estable mediante sumandos proyectivos.
• Contraejemplos Constructivos: Proporciona una colección rica de contraejemplos (anillos de matrices, idealizaciones, productos infinitos) que sirven como herramientas para testear conjeturas futuras en teoría de anillos y módulos.
• Conexión con Anillos Coherentes y Perfectos: Reafirma la importancia de las condiciones de coherencia y perfección en la estructura de los módulos proyectivos y sus sumandos.

En resumen, el artículo establece que, aunque la descomposición en parte proyectiva y parte estable es común en anillos "buenos" (semiperfectos, semihereditarios con módulos finitamente presentados), falla dramáticamente en anillos más generales, incluso para módulos finitamente presentados, y que la equivalencia proyectiva a un módulo estable no es una propiedad garantizada.