TheD(2)–problem for dihedral groups of order 4n

Abstract

We give a full solution in terms of k -invariants of the D.2/-problem for D 4n , assuming that Z OED 4n satisfies torsion-free cancellation.57M05; 55P15

Minimal algebraic complexes overD4n

“…As Johnson has verified the D(2) property for D 4nC2 [5; 6], in the light of Theorem 1.2 taken from [14] we may conclude:…”

Two remarks on Wall's D2 problem

“…This result is an application of [11, theorem 2•1]. The result was known for cyclic and dihedral groups (see [23,26,28]), but the argument given here is more uniform and the tetrahedral, octahedral and isosahedral groups do not seem to have been covered before. [33, theorem 4] shows that there exist finite D2-complexes X , with π 1 (X ) = G and χ(X ) = μ 2 (G) realizing this minimum value, for every finitely presented group G. Since μ 2 (G) 1 − def(G) by Swan [31, proposition 1], a necessary condition for any group G to have the D2-property is that μ 2 (G) = 1 − def(G).…”

“…This result is an application of [11, Theorem 2.1]. The result was known for cyclic and dihedral groups (see [23], [28], [26]), but the argument given here is more uniform and the tetrahedral, octahedral and isosahedral groups do not seem to have been covered before. Remark 1.2.…”

An exotic presentation of Q_28

“…To verify that every Y of minimal Euler characteristic is homotopy equivalent to E n,r for some r ∈ R n , it is sufficient to show that every minimal algebraic 2-complex over Z[Q 4n ] is homotopy equivalent to such a E n,r [13,15,19,20]. This task breaks down into two steps, paralleling the solution of the D(2)-problem for dihedral groups [12,15,18,27,23].…”

“…Note that without loss of generality such a 2-complex is (the Cayley complex of) a finite presentation of π 1 (Y ). It has been show that such a space Y cannot have certain fundamental groups such as cyclic groups, products of the form C ∞ × C n [7] or dihedral groups [12,15,18,27,23].…”