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. AMS Classification 57M20; 55P15, 19A13Keywords Algebraic 2-complex, Wall's D(2)-problem, geometric realization of algebraic 2-complexes, homotopy classification of 2-complexes, generalized quaternion groups, partial projective resolution, stably free nonfree moduleThe main topic of this paper is the construction of an "exotic" algebraic 2-complex over Q 28 , the generalized quaternion group of order 28. The result provides significantly more detail than mere existence proofs, as the boundary maps are given by explicit matrices over the group ring (Section 4). This example should serve as a suitable test object in the investigation of an open problem of C.T.C. Wall [15, p.57], now [9] referred to as the D(2)-problem. D(2)-problem Suppose X is a finite three-dimensional connected CW-complex (with universal cover X ) such that H 3 ( X, Z) = 0 and H 3 (X, B) = 0 for all local coefficient systems B on X . Is X homotopy equivalent to a finite 2-complex?F.E.A. Johnson [7], [9] has shown that for finite base groups this question has an affirmative answer if, and only if, every algebraic 2-complex is geometrically realizable.The work of K.W. Gruenberg and P.A. Linnell [5, (2.6)] on minimal resolutions of lattices shows that stably equivalent lattices over ZQ 32 , despite stringent
We consider spines of spherical space forms; i.e., spines of closed oriented 3-manifolds whose universal cover is the 3-sphere. We give sufficient conditions for such spines to be homotopy or simple homotopy equivalent to 2-complexes with the same fundamental group G and minimal Euler characteristic 1. If the group ring ZG satisfies stably-free cancellation, then any such 2-complex is homotopy equivalent to a spine of a 3-manifold. If K,(ZG) is represented by units and K is homotopy equivalent to a spine X, then K and X are simple homotopy equivalent. We exhibit several infinite families of non-abelian groups G for which these conditions apply.
This is a continuation of our study [3] of a family of projective modules over Q 4n , the generalized quaternion (binary dihedral) group of order 4n. Our approach is constructive. Whenever n 7 is odd, this work provides examples of stably free nonfree modules of rank 1, which are then used to construct exotic algebraic 2-complexes relevant to Wall's D(2)-problem. While there are examples of stably free nonfree modules for many infinite groups G , there are few actual examples for finite groups. This paper offers an infinite collection of finite groups with stably free nonfree modules P , given as ideals in the group ring. We present a method for constructing explicit stabilizing isomorphisms ÂW ZG˚ZG Š P˚ZG described by 2 2 matrices. This makes the subject accessible to both theoretical and computational investigations, in particular, of Wall's D(2)-problem. 16D40, 19A13, 57M20; 55P15
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.