2026-07-072026-07-07http://salesiana.dossiersoluciones.com/handle/123456789/131158It is well-known that an n-dimensional Poincaré complex $X^n$, $n \ge 5$, has the homotopy type of a compact topological $n$-manifold if the total surgery obstruction $s(X^n)$ vanishes. The present paper discusses recent attempts to prove analogous result in dimension 4. We begin by reviewing the necessary algebraic and controlled surgery theory. Next, we discuss the key idea of Quinn's approach. Finally, we present some cases of special fundamental groups, due to the authors and to Yamasaki.Geometric TopologyAlgebraic Topology57R67; 57P99; 55N45text