<p>For all <InlineEquation ID="IEq1"> <EquationSource Format="TEX">\(k \ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, we show that there exists a group <i>G</i> and a non-free stably free <InlineEquation ID="IEq2"> <EquationSource Format="TEX">\(\mathbb {Z}G\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi mathvariant="double-struck">Z</mi> <mi>G</mi> </mrow> </math></EquationSource> </InlineEquation>-module of rank <i>k</i>. We use this to show that, for all <InlineEquation ID="IEq3"> <EquationSource Format="TEX">\(k \ge 2\)</EquationSource> <EquationSource Format="MATHML"><math> <mrow> <mi>k</mi> <mo>≥</mo> <mn>2</mn> </mrow> </math></EquationSource> </InlineEquation>, there exist homotopically distinct finite 2-complexes with fundamental group <i>G</i> and with Euler characteristic exceeding the minimal value over <i>G</i> by <i>k</i>. 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.</p>

错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Stably free modules and the unstable classification of 2-complexes

  • John Nicholson

摘要

For all \(k \ge 2\) k 2 , we show that there exists a group G and a non-free stably free \(\mathbb {Z}G\) Z G -module of rank k. We use this to show that, for all \(k \ge 2\) k 2 , 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.