Una resolución de Cartan–Eilenberg es un complejo doble (una biresolución) construido a partir de objetos proyectivos (o inyectivos) que resuelve simultáneamente un módulo en dirección horizontal y vertical; se utiliza para calcular funtores derivados de composiciones de funtores y para producir las sucesiones espectrales que relacionan esos funtores derivados.

Principio

Al resolver objetos en dos direcciones se obtiene un complejo total cuya homología calcula los funtores derivados del compuesto; la idea organizadora es reemplazar una composición de funtores no exactos por un bicomplejo de piezas exactas para que la maquinaria de sucesiones espectrales extraiga los objetos derivados objetivo por etapas.

Demostración

Dadas categorías abelianas con suficientes proyectivos, para calcular los funtores derivados izquierdos L_*(F∘G) se toma una resolución proyectiva P→X, se aplica G para obtener el complejo G(P) y luego se toman resoluciones proyectivas de cada G(P_i), ensamblándolas en un bicomplejo del primer cuadrante. Las sucesiones espectrales asociadas calculan la homología del complejo total y convergen a L_*(F∘G)(X), dando en cálculos concretos las sucesiones espectrales de Grothendieck o de Cartan–Eilenberg.

Aplicación incorrecta

Construir un bicomplejo de Cartan–Eilenberg con filas/columnas no proyectivas (o no inyectivas) socava las propiedades de exactitud necesarias para identificar páginas de la sucesión espectral; igualmente equivocado es asumir convergencia automática sin comprobar acotamiento o líneas de anulación, lo que puede llevar a conclusiones erróneas sobre los funtores derivados.

Consecuencia

Proporciona una maquinaria sistemática para calcular y relacionar funtores derivados de composiciones, produciendo sucesiones espectrales convergentes que descomponen cálculos difíciles en etapas manejables; aclara el origen de problemas de extensiones y estructuras de filtración en los objetivos derivados.

Inversión

La imagen dual utiliza resoluciones de Cartan–Eilenberg inyectivas para calcular funtores derivados derech os: se reemplazan objetos por coresoluciones inyectivas en ambas direcciones y se obtienen sucesiones espectrales análogas para composiciones de funtores derivados derechos. Este reverso subraya la generalidad del enfoque bicomplejo para contextos izquierdos frente a derechos.

Límite

Requiere trabajar en categorías abelianas con suficientes proyectivos o suficientes inyectivos, y el uso práctico típicamente supone condiciones de acotamiento o de tipo finito para asegurar la convergencia de la sucesión espectral y un cálculo efectivo; fuera de estos marcos problemas sutiles de convergencia o tamaño pueden obstruir el método.

Tensión semántica

Se relaciona con otras construcciones de sucesiones espectrales (complejos filtrados, sucesiones espectrales de hipercohomología): las resoluciones de Cartan–Eilenberg ofrecen una visión de bicomplejo filtrado, mientras que los complejos filtrados dan una filtración escalonada intrínseca; hay que elegir la construcción que mejor exponga la filtración o la functorialidad necesaria en un problema dado.

Síntesis

Una resolución de Cartan–Eilenberg es el dispositivo bicomplejo que sustituye una composición de funtores no exactos por un doble complejo de proyectivos o inyectivos de modo que el complejo total y sus sucesiones espectrales calculen los funtores derivados por etapas; empaqueta datos homológicos en filtraciones y páginas que aíslan fenómenos de extensión y convergencia.