A Cartan–Eilenberg resolution is a double complex (a bi-resolution) built from projective (or injective) objects that simultaneously resolves a module both horizontally and vertically; it is used to compute derived functors of composed functors and to produce the spectral sequences that relate these derived functors.

Principle

By resolving objects in two directions one produces a total complex whose homology computes derived functors of composed functors; the organizing idea is to replace a composite of nonexact functors by a bicomplex of exact pieces so that spectral sequence machinery can extract the target derived objects in stages.

Demonstration

Given abelian categories with enough projectives, to compute the left derived functors L_*(F∘G) one can take a projective resolution P→X, apply G to get the complex G(P) and then take projective resolutions of each G(P_i), assembling these into a first quadrant double complex. The associated spectral sequences compute the homology of the total complex and converge to L_*(F∘G)(X), yielding the Grothendieck or Cartan–Eilenberg spectral sequences in concrete calculations.

Misapplication

Building a Cartan–Eilenberg double complex with nonprojective (or noninjective) rows/columns defeats the exactness properties needed to identify pages of the spectral sequence; similarly assuming automatic convergence without checking boundedness or vanishing lines can lead to incorrect conclusions about the derived functors.

Consequence

Provides a systematic machinery to compute and relate derived functors of compositions, producing convergent spectral sequences that break difficult computations into manageable stages; it clarifies the source of extension problems and filtration structures in derived targets.

Reversal

The dual picture uses injective Cartan–Eilenberg resolutions when computing right derived functors: one replaces objects by injective coresolutions in both directions and obtains analogous spectral sequences for compositions of right derived functors. This reversal highlights the generality of the bicomplex approach for left versus right derived contexts.

Boundary

Requires working in abelian categories with enough projectives or enough injectives, and practical use typically assumes boundedness or finite-type conditions to ensure spectral sequence convergence and effective computation; outside these settings delicate convergence or size issues can obstruct the method.

Semantic Tension

Relates to other spectral sequence constructions (filtered complexes, hypercohomology spectral sequences): Cartan–Eilenberg resolutions produce a bicomplex filtration viewpoint, while filtered complexes give an intrinsic staircase filtration; one must choose the construction that best exposes the filtration or functoriality needed in a given problem.

Synthesis

A Cartan–Eilenberg resolution is the bi-resolution device that replaces a composition of nonexact functors by a double complex of projectives or injectives so that the total complex and its spectral sequences compute the derived functors in stages; it packages homological data into filtrations and pages that isolate extension and convergence phenomena.