Abstract

Two CW-complexes are said to be simple homotopy equivalent if they are related by a sequence of collapses and expansions of cells. This notion interpolates between homeomorphism and homotopy in the sense that simple homotopy equivalent implies homotopy equivalent, and homeomorphic implies simple homotopy equivalent. The aim of this talk will be to present the first examples of two 4-manifolds which are homotopy equivalent but not simple homotopy equivalent, as well as in all higher even dimensions. The examples are constructed using surgery theory and the s-cobordism theorem, and are distinguished using methods from algebraic number theory and algebraic K-theory. This is joint work with Csaba Nagy and Mark Powell (arXiv:2312.00322). I will also discuss progress on the question of whether smooth 4-manifolds exist with these properties, through joint work with Daniel Kasprowski and Simona Veselá (arXiv:2405.06637).