Remote Access Transactions of the American Mathematical Society
Green Open Access

Transactions of the American Mathematical Society

ISSN 1088-6850(online) ISSN 0002-9947(print)

 
 

 

Generalized group presentation and formal deformations of CW complexes


Author: Richard A. Brown
Journal: Trans. Amer. Math. Soc. 334 (1992), 519-549
MSC: Primary 57M05; Secondary 20F05, 57Q05, 57Q10
DOI: https://doi.org/10.1090/S0002-9947-1992-1153010-3
MathSciNet review: 1153010
Full-text PDF Free Access

Abstract | References | Similar Articles | Additional Information

Abstract: A Peiffer-Whitehead word system $\mathcal {W}$, or generalized group presentation, consists of generators, relators (words of order $2$), and words of higher order $n$ that represent elements of a free crossed module $(n = 3)$ or a free module $(n > 3)$. The ${P_n}$-equivalence relation on word systems generalizes the extended Nielsen equivalence relation on ordinary group presentations. Word systems, called homotopy readings, can be associated with any connected ${\text {CW}}$ complex $K$ by removing a maximal tree and selecting one generator or word per cell, via relative homotopy. Given homotopy readings ${\mathcal {W}_1}$ and ${\mathcal {W}_2}$ of finite ${\text {CW}}$ complexes ${K_1}$ and ${K_2}$ respectively, we show that ${\mathcal {W}_1}$ is ${P_n}$-equivalent to ${\mathcal {W}_2}$ if and only if ${K_1}$ formally $(n + 1)$-deforms to ${K_2}$. This extends results of P. Wright (1975) and W. Metzler (1982) for the case $n = 2$. For $n \geq 3$, it follows that ${\mathcal {W}_1}$ is ${P_n}$-equivalent to ${\mathcal {W}_2}$ if and only if ${K_1}$ and ${K_2}$ have the same simple homotopy type.


References [Enhancements On Off] (What's this?)


Similar Articles

Retrieve articles in Transactions of the American Mathematical Society with MSC: 57M05, 20F05, 57Q05, 57Q10

Retrieve articles in all journals with MSC: 57M05, 20F05, 57Q05, 57Q10


Additional Information

Keywords: Extended Nielsen transformations, simple homotopy equivalence, relative homotopy groups, homotopy systems, <IMG WIDTH="20" HEIGHT="18" ALIGN="BOTTOM" BORDER="0" SRC="images/img1.gif" ALT="$\Sigma$">-systems, characteristic maps, upper semicontinuous decomposition, transiency
Article copyright: © Copyright 1992 American Mathematical Society