Chain duality for categories over complexes (Q6190461)

Summary: We show that the additive category of chain complexes parametrized by a finite simplicial complex \(K\) forms a category with chain duality. This fact, never fully proven in the original reference (Ranicki, 1992), is fundamental for Ranicki's algebraic formulation of the surgery exact sequence of Sullivan and Wall, and his interpretation of the surgery obstruction map as the passage from local Poincaré duality to global Poincaré duality. Our paper also gives a new, conceptual, and geometric treatment of chain duality on \(K\)-based chain complexes.