A counterexample to a strong version of the Andrews-Curtis conjecture
classification
🧮 math.AT
math.GRmath.GTmath.KT
keywords
langlerangleandrews-curtiscomplexesconjecturecounterexampleequivalenteven
read the original abstract
We prove that the presentations $\langle x,y | [x,y],1 \rangle$ and $\langle x,y | [x,[x,y^{-1}]]^2y[y^{-1},x]y^{-1},[x,[[y^{-1},x],x]] \rangle$ are not $Q^*$-equivalent even though their standard complexes have the same simple homotopy type.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.