La longitud mínima n de una resolución proyectiva ... → P_n → ... → P_0 → M → 0 de un módulo M en una categoría abeliana con suficientes proyectivos; mide cuánto se aleja M de ser proyectivo (dimensión proyectiva 0) contando los pasos proyectivos necesarios.

Principio

Principio de longitud de resolución: la complejidad homológica de un objeto se cuantifica por la cadena más corta de proyectivos que lo resuelve; la dimensión proyectiva finita suele relacionarse con la profundidad y propiedades de regularidad del anillo ambiente (por ejemplo, la relación de Auslander–Buchsbaum en álgebra local).

Demostración

Un módulo proyectivo tiene dimensión proyectiva 0. Sobre un anillo local regular de dimensión d todo módulo finitamente generado tiene dimensión proyectiva a lo sumo d, y los módulos con dimensión proyectiva finita satisfacen la anulación de Ext más allá de ese límite, permitiendo clasificaciones homológicas.

Aplicación incorrecta

Confundir dimensión proyectiva con regularidad de Castelnuovo–Mumford o con dimensiones inyectiva o plana; asumir dimensión proyectiva finita sin verificar hipótesis del entorno como noetherianidad o existencia de suficientes proyectivos en la categoría.

Consecuencia

Conocer la dimensión proyectiva conduce a resultados concretos de anulación de Ext, restringe el comportamiento de las syzigías e informa cálculos en la categoría derivada; la finitud de la dimensión proyectiva puede implicar propiedades de regularidad del anillo o cotas sobre otros invariantes homológicos.

Inversión

Cambiar a dimensión inyectiva o plana invierte la perspectiva de resolución (corresoluciones o resoluciones planas) y enfatiza propiedades homológicas duales o tensoriales en lugar de los pasos proyectivos de construcción.

Límite

Definida cuando existen suficientes objetos proyectivos (p. ej. categorías de módulos sobre anillos); en categorías sin suficientes proyectivos o para complejos se reemplaza la dimensión proyectiva por amplitud proyectiva o invariantes derivados análogos. La dimensión proyectiva es distinta de la dimensión global, que es el supremo sobre todos los módulos.

Tensión semántica

Tensión con la dimensión global y con nociones de regularidad: la dimensión proyectiva es una longitud a nivel de objeto, mientras la dimensión global es una cota del anillo; también interactúa con métricas de regularidad que miden crecimiento en grados en vez de longitud de resolución, generando compensaciones interpretativas.

Síntesis

La dimensión proyectiva es el recuento mínimo de bloques proyectivos necesarios para construir un módulo: como longitud homológica traduce la complejidad algebraica en umbrales de anulación de Ext y proporciona una medida fundamental para la clasificación en álgebra homológica.