## [Resolución de Cartan–Eilenberg](/es/node/63942) Definición 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 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 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 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 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 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 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 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 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.