Change-of-Rings Theorems for the Small Finitistic Dimension

Resumen Técnico Detallado: Teoremas de Cambio de Anillo para la Dimensión Finitista Pequeña

1. Planteamiento del Problema
El artículo aborda un problema fundamental en el álgebra homológica conmutativa: la falta de teoremas de "cambio de anillo" (change-of-rings) para la dimensión finitista pequeña ($fPD(R)$).

• Contexto: La dimensión finitista pequeña, introducida por Bass y refinada por Glaz, se define como el supremo de las dimensiones proyectivas de todos los módulos que admiten resoluciones proyectivas finitas (clase $\mathcal{FPR}(R)$).
• La Brecha: Mientras que dimensiones homológicas clásicas como la dimensión global ($gl.dim$) y la dimensión global débil ($w.gl.dim$) satisfacen teoremas bien establecidos para extensiones polinómicas, cocientes y localizaciones, no existían resultados análogos generales para $fPD(R)$.
• Objetivo: El objetivo principal es establecer teoremas de cambio de anillo para $fPD(R)$ utilizando herramientas de álgebra homológica de módulos planos finitistas.

2. Metodología
Los autores emplean un enfoque basado en la dimensión plana finitista (FT-flat dimension) y la clase de módulos $\mathcal{FPR}(R)$.

• Definiciones Clave:
  • $\mathcal{FPR}(R)$: Clase de $R$-módulos que admiten una resolución proyectiva finita por módulos proyectivos finitamente generados.
  • Módulo FT-plano: Un módulo $M$ es FT-plano si $Tor_1^R(N, M) = 0$ para todo $N \in \mathcal{FPR}(R)$.
  • Dimensión FT-plana ($FT-fd_R M$): La longitud mínima de una resolución por módulos FT-planos.
• Estrategia:
  1. Estudio Estructural: Analizan las propiedades de cierre de la clase $\mathcal{FPR}(R)$ bajo sucesiones exactas y localización (demostrando que la localización inversa no preserva necesariamente la pertenencia a $\mathcal{FPR}$).
  2. Relación con FT-dimensión: Establecen que $fPD(R) \leq n$ si y solo si la dimensión FT-plana de la clase de módulos es $\leq n$. Esto permite traducir problemas sobre $fPD$ a problemas sobre $FT-fd$.
  3. Desigualdades de Cambio de Anillo: Derivan desigualdades para la dimensión FT-plana bajo homomorfismos de anillos, localizaciones y extensiones, para luego aplicarlas a $fPD$.
  4. Anillos de Matrices Triangulares: Utilizan la estructura de anillos de matrices triangulares superiores para probar resultados sobre extensiones polinómicas y cocientes.

3. Contribuciones y Resultados Principales

• Propiedades de la Clase $\mathcal{FPR}(R)$:

  • Se demuestra que $\mathcal{FPR}(R)$ es cerrada bajo extensiones, sumandos directos y núcleos de epimorfismos en ciertas condiciones (Lema 2.2).
  • Se muestra que un módulo en $\mathcal{FPR}(R_S)$ no necesariamente pertenece a $\mathcal{FPR}(R)$ al restringir escalares, lo que complica la localización directa (Ejemplo 2.1).

• Teoremas de Cambio de Anillo para la Dimensión FT-plana:

  • Se establecen desigualdades para extensiones de anillos: $FT-fd_R L \leq FT-fd_T L + FT-fd_R T$ (Teorema 2.6).
  • Se prueban propiedades de localización: $FT-fd_R M \leq \sup \{ FT-fd_{R_\mathfrak{m}} M_\mathfrak{m} \mid \mathfrak{m} \in Max(R) \}$ (Proposición 2.8).

• Caracterizaciones de $fPD(R)$:

  • Se proveen condiciones equivalentes para que $fPD(R) \leq n$, incluyendo la anulación de grupos de Ext y la dimensión FT-plana de los cocientes por ideales primos (Teorema 3.1).

• Teoremas Específicos de Cambio de Anillo para $fPD(R)$:

  1. Cocientes: Si $a \in R$ no es un divisor de cero ni una unidad, y $fPD(R) < \infty$, entonces:
     $$fPD(R/aR) \geq fPD(R) + 1$$
     (Teorema 3.3).
  2. Extensiones Polinómicas: Para un anillo $R$ con $fPD(R) < \infty$ y variables indeterminadas $x_1, \dots, x_m$:
     $$fPD(R[x_1, \dots, x_m]) = fPD(R) + m$$
     (Teorema 3.4). Este resultado generaliza hallazgos previos restringidos a anillos de Hilbert o Noetherianos.
  3. Localización: Se establecen cotas superiores locales:
     $$fPD(R) \leq \sup \{ fPD(R_\mathfrak{m}) \mid \mathfrak{m} \in Max(R) \}$$
     (Proposición 3.6).

• Anillos de Matrices Triangulares:

  • Para un anillo triangular superior $T = \begin{pmatrix} R & M \\ 0 & S \end{pmatrix}$, bajo la hipótesis de que $M$ es proyectivo como $R$-módulo y como $S$-módulo, se demuestra:
    $$\max\{fPD(R), fPD(S)\} \leq fPD(T) \leq \max\{fPD(R) + 1, fPD(S) + 1\}$$
    (Teorema 4.6).
  • Como corolario, para el anillo de matrices triangulares superiores $UT_n(R)$, se obtiene:
    $$fPD(UT_n(R)) \leq fPD(R) + (n-1)$$
    (Corolario 4.12).

4. Significado e Impacto

• Unificación Teórica: El trabajo conecta la dimensión finitista pequeña con la teoría de módulos planos finitistas, proporcionando un marco unificado para estudiar invariantes homológicos en anillos conmutativos.
• Generalización: Los resultados sobre extensiones polinómicas eliminan la necesidad de asumir que el anillo base es Noetheriano o de Hilbert, extendiendo la validez de la fórmula $fPD(R[x]) = fPD(R) + 1$ a una clase más amplia de anillos conmutativos.
• Herramientas Nuevas: La introducción y uso sistemático de la dimensión FT-plana como herramienta para calcular cotas de $fPD$ abre nuevas vías de investigación en álgebra homológica, especialmente para anillos que no son Noetherianos.
• Aplicaciones Estructurales: Los teoremas sobre anillos triangulares y matrices proporcionan herramientas prácticas para estimar la dimensión finitista en construcciones algebraicas complejas a partir de sus componentes.

En resumen, este artículo llena un vacío significativo en la literatura al proporcionar los primeros teoremas de cambio de anillo generales para la dimensión finitista pequeña, utilizando una metodología robusta basada en la homología de módulos planos finitistas.