Stably free modules and the unstable classification of 2-complexes

Abstract For all $$k \ge 2$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>k</mml:mi> <mml:mo>≥</mml:mo> <mml:mn>2</mml:mn> </mml:mrow> </mml:math> , we show that there exists a group G and a non-free stably free $$\mathbb {Z}G$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>Z</mml:mi> <mml:mi>G</mml:mi> </mml:mrow> </mml:math> -module of rank k . We use this to show that, for all $$k \ge 2$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:mrow> <mml:mi>k</mml:mi> <mml:mo>≥</mml:mo> <mml:mn>2</mml:mn> </mml:mrow> </mml:math> , there exist homotopically distinct finite 2-complexes with fundamental group G and with Euler characteristic exceeding the minimal value over G by k . This resolves Problem D5 in the 1979 Problem List of C. T. C. Wall. We also explore a number of generalisations and present a potential application to the topology of closed smooth 4-manifolds.