Waldhausen's Approximation Theorem

The approximation theorem provides conditions under which a functor between Waldhausen categories induces an equivalence on K-theory. It is the Waldhausen analogue of Quillen's Theorem A and is used ubiquitously to compare different models of K-theory.

Statement

Theorem7.4Waldhausen's Approximation Theorem

Let $F: \mathcal{A} \to \mathcal{B}$ be an exact functor between Waldhausen categories (preserving zero objects, cofibrations, and weak equivalences). Suppose:

App 1 (Approximation): For every morphism $FA \to B$ in $\mathcal{B}$ , there exists a cofibration $A \rightarrowtail A'$ in $\mathcal{A}$ and a weak equivalence $FA' \xrightarrow{\sim} B$ making the obvious triangle commute up to homotopy.
App 2 (Weak equivalence detection): A morphism $f: A \to A'$ in $\mathcal{A}$ is a weak equivalence if and only if $Ff: FA \to FA'$ is a weak equivalence in $\mathcal{B}$ .

Then $F$ induces a homotopy equivalence:

$K(F): K(\mathcal{A}) \xrightarrow{\;\simeq\;} K(\mathcal{B}).$

Applications

ExampleChain complexes vs derived category

The inclusion $\operatorname{Ch}^b(\mathcal{P}(R)) \hookrightarrow \operatorname{Ch}^b(\operatorname{mod}\text{-}R)^{\text{perf}}$ (bounded chain complexes of projectives into perfect complexes of f.g. modules) satisfies the approximation conditions:

App 1: Every perfect complex is quasi-isomorphic to a bounded complex of projectives (take a projective resolution).
App 2: A chain map between complexes of projectives is a quasi-isomorphism iff it is a quasi-isomorphism of the underlying complexes.

Conclusion: $K(\operatorname{Ch}^b(\mathcal{P}(R))) \simeq K(\operatorname{Perf}(R))$ . This shows that Quillen's K-theory (via projective modules) agrees with Thomason--Trobaugh's (via perfect complexes) for rings.

ExampleFinitely dominated vs finite complexes

Let $\mathcal{A}$ = finite CW complexes and $\mathcal{B}$ = finitely dominated CW complexes (spaces homotopy equivalent to a retract of a finite complex). Both are Waldhausen categories with homotopy equivalences as weak equivalences.

The inclusion $\mathcal{A} \hookrightarrow \mathcal{B}$ does not satisfy App 1 (not every finitely dominated space has the homotopy type of a finite complex -- the Wall finiteness obstruction in $\widetilde{K}_0(\mathbb{Z}[\pi_1])$ is the obstruction).

However, for the S-construction with a different model: $S_\bullet(\text{homotopy finite}) \hookrightarrow S_\bullet(\text{finitely dominated})$ can be analyzed using the cofinality theorem, giving:

$K(\mathcal{B}) / K(\mathcal{A}) \simeq \widetilde{K}_0(\mathbb{Z}[\pi_1]) \times (\text{higher terms}).$

Proof sketch

Proof

The proof proceeds by analyzing the effect of $F$ on the $S_\bullet$ -construction level by level.

Step 1: Level-wise analysis. We must show $wS_n F: wS_n \mathcal{A} \to wS_n \mathcal{B}$ is a homotopy equivalence for each $n$ , where $wS_n \mathcal{C}$ is the nerve of the category of weak equivalences in $S_n \mathcal{C}$ .

Step 2: Apply Quillen's Theorem A. For each $n$ , show that for any object $\vec{B} = (B_0 \rightarrowtail \cdots \rightarrowtail B_n) \in S_n \mathcal{B}$ , the over-category $(\vec{B} \downarrow wS_n F)$ has contractible nerve.

The over-category consists of pairs $(\vec{A}, \alpha)$ where $\vec{A} \in S_n \mathcal{A}$ and $\alpha: \vec{B} \xrightarrow{\sim} F(\vec{A})$ is a level-wise weak equivalence.

Step 3: Contractibility via App 1. Given any two objects $(\vec{A}, \alpha)$ and $(\vec{A}', \alpha')$ in the over-category, use App 1 to "approximate" them: construct a cofibration $\vec{A} \rightarrowtail \vec{A}''$ in $S_n \mathcal{A}$ with $F(\vec{A}'') \xrightarrow{\sim} \vec{B}$ compatible with both $\alpha$ and $\alpha'$ .

The key is that App 1 applies inductively to the filtration levels $A_0 \rightarrowtail A_1 \rightarrowtail \cdots \rightarrowtail A_n$ : at each step, we extend the cofibration one level, using the approximation property and the fact that cofibrations are stable under pushout.

Step 4: App 2 ensures uniqueness. The condition App 2 ensures that the maps constructed in Step 3 are unique up to weak equivalence in $\mathcal{A}$ . This makes the over-category filtered (any two objects have a common "approximation"), and filtered categories have contractible nerves.

Step 5: Geometric realization. Since $|wS_n F|$ is a homotopy equivalence for each $n$ , and realization of a map of simplicial spaces that is a level-wise equivalence is an equivalence, we conclude $|wS_\bullet F|$ is a homotopy equivalence, giving $K(F): K(\mathcal{A}) \simeq K(\mathcal{B})$ . $\square$

■

Generalizations

RemarkDG-category and stable infinity-category versions

The approximation theorem has been generalized to more modern settings:

DG-categories: For a DG-functor $F: \mathcal{A} \to \mathcal{B}$ between pretriangulated DG-categories, if $F$ induces an equivalence on homotopy categories $[\mathcal{A}] \xrightarrow{\sim} [\mathcal{B}]$ , then $K(F)$ is an equivalence. This is Waldhausen's approximation theorem in the DG setting.
Stable $\infty$ -categories: In Blumberg--Gepner--Tabuada's framework, K-theory is a functor from stable $\infty$ -categories to spectra, and it sends equivalences to equivalences. The approximation theorem is automatic: if $F: \mathcal{C} \to \mathcal{D}$ is an equivalence of stable $\infty$ -categories, then $K(\mathcal{C}) \simeq K(\mathcal{D})$ .
Invariance under derived equivalence: For rings, if $D^b(\operatorname{mod}\text{-}R) \simeq D^b(\operatorname{mod}\text{-}S)$ as triangulated categories, then $K_n(R) \cong K_n(S)$ for all $n$ . This is because the derived equivalence lifts to a Waldhausen equivalence (or DG equivalence) and the approximation theorem applies.