Minimal algebraic complexes over D₄n
The \(D(2)\) problem of Wall asks whether every cohomologically 2-dimensional cell complex is homotopy equivalent to a 2-complex. When the complex is aspherical this reduces to the Eilenberg-Ganea conjecture (whether a group \(G\) with \(c.d.G=2\) has a 2-dimensional \(K(G,1)\) complex). Bestvina and Brady have shown that the Eilenberg-Ganea conjecture and the Whitehead conjecture (on the asphericity of subcomplexes of aspherical 2-complexes) cannot both hold [\textit{M. Bestvina} and \textit{N. Brady}, Invent. Math. 129, No. 3, 445--470 (1997; Zbl 0888.20021)]. On the other hand, Hambleton has shown that the \(D(2)\) problem has a positive answer, after stabilization with a wedge of 2-spheres (unpublished).NEWLINENEWLINEOne may ask whether the \(D(2)\) conjecture holds for all complexes with given fundamental group \(G\). This is so if \(G\) is dihedral of order \(4n+2\), by work of \textit{F. E. A. Johnson} [Stable modules and the \(D(2)\)-problem. London Mathematical Society Lecture Note Series 301. Cambridge: Cambridge University Press (2003; Zbl 1055.57002)]. The present paper provides the final step in showing that it holds for all dihedral groups. The argument is algebraic, and involves showing that any third syzygy module in a partial resolution of the \(\mathbb{Z}[G]\)-augmentation module \(\mathbb{Z}\) is a sum \(J\oplus\mathbb{Z}[G]^r\), where \(J\) is the unique minimal such module (corresponding to an optimal presentation of \(G=D_{4n}\)) and \(r\geq0\).NEWLINENEWLINECandidates for counterexamples to the general conjecture have been suggested by various parties, but it seems that there are not yet the tools to confirm any of these as counterexamples. (The authors mention \textit{M. R. Bridson} and \textit{M. Tweedale} [Math. Proc. Camb. Philos. Soc. 143, No. 2, 257--264 (2007; Zbl 1131.20020)], and Johnson. In addition, \textit{F. R. Beyl} and \textit{N. Waller} have given examples with \(G=Q_{4n}\) a finite quaternionic group, for \(n\geq7\) [Algebr. Geom. Topol. 8, No. 1, 1-17 (2008; Zbl 1173.57002)]).
- Deficiency and abelianized deficiency of some virtually free groups
- Explicit homotopy equivalences in dimension two
- Finiteness conditions for CW-complexes. I, II.
- Generalised Swan modules and the D(2) problem
- Groups of cohomological dimension one
- Homotopy types of truncated projective resolutions.
- scientific article; zbMATH DE number 438436 (Why is no real title available?)
- scientific article; zbMATH DE number 1538907 (Why is no real title available?)
- Minimal 2-complexes and the D(2)-problem
- On torsion-free groups with infinitely many ends
- Periodic cohomology.
- Quillen's plus construction and the D(2) problem
- Realizing algebraic 2-complexes by cell complexes
- The \(D(2)\) property for \(D_{8}\)
- The \(D(2)\)-problem for dihedral groups of order \(4n\)
- Torsion free cancellation over orders
- When homology equivalence implies homotopy equivalence for 2-complexes
- The \(D(2)\)-problem for dihedral groups of order \(4n\)
- An exotic presentation of \(Q_{28}\)
- Homotopy classification of 4-manifolds whose fundamental group is dihedral
- The \(D(2)\) property for \(D_{8}\)
- Syzygies and Diagonal Resolutions for Dihedral Groups
- scientific article; zbMATH DE number 16280 (Why is no real title available?)
- scientific article; zbMATH DE number 1124080 (Why is no real title available?)
- Homology roses and the D(2)-problem
- Two remarks on Wall's D2 problem
- Minimal algebraic complexes over $D_{4n}$
- Partial Euler characteristic, normal generations and the stable \(D(2)\) problem
- Infinite splitting in the syzygies of quaternionic groups
This page was built for publication: Minimal algebraic complexes over \(D_{4n}\)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q373638)
