On the group of homotopy classes of relative homotopy automorphisms
arXiv:2002.12083
Abstract
We prove that the group of homotopy classes of relative homotopy automorphisms of a simply connected finite CW-complex is finitely presented and that the rationalization map from this group to its rational analogue has a finite kernel.
v4: Gaps in earlier version filled