A stably free nonfree module and its relevance for homotopy classification, case Q₂₈

From MaRDI portal
Publication:2571370



Abstract: The paper constructs an `exotic' algebraic 2-complex over the generalized quaternion group of order 28, with the boundary maps given by explicit matrices over the group ring. This result depends on showing that a certain ideal of the group ring is stably free but not free. As it is not known whether the complex constructed here is geometrically realizable, this example is proposed as a suitable test object in the investigation of an open problem of C.T.C. Wall, now referred to as the D(2)-problem.


The result of the present paper grew out of joint work of the authors with \textit{P. Latiolais} on homotopy types of 2-complexes with a finite 3-manifold group as a fundamental group [Proc. Edinb. Math. Soc., II. Ser. 40, No. 1, 69--84 (1997; Zbl 0927.57003)]. Certain stably free but nonfree projective modules detected by Swan give rise to the question whether these can be realized by the second homotopy of two-dimensional CW-complexes thus yielding exotic homotopy types. Moreover, the outcome is crucial for the still open D(2)-problem raised by C. T. C. Wall. The authors present a very important intermediate step. For \(G\) being the generalized quaternion group of order 28, they give a concrete realization of Swan's module in a \(Z(G)\)-complex that algebraically looks like the universal covering complex of a presentation of \(G\). The explicitly given low-size matrices give the best hope to decide, whether the chain homotopy type of this realization actually is geometric or not.











This page was built for publication: A stably free nonfree module and its relevance for homotopy classification, case \(Q_28\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2571370)