J. Amer. Math. Soc. 17 (2004), no. 3, 499--555.

Erratum

Theorem 9.6. In the commutative diagram before the theorem, the right hand arrow should point up, and (b) of the theorem should read: The alternating sum $\sum(-1)^{i}r_{i}\ldots.$