arXiv++ Combinatorics

We show that any action of a finite group on a finitely presentable group arises as the action of the group of self-homotopy equivalences of a space on its fundamental group. In doing so, we prove that any finite connected (abstract) simplicial complex $\mathbf{K}$ can be rigidified -- meaning it can be perturbed in a way that reduces the full automorphism group to any subgroup -- while preserving the homotopy type of the geometric realization $| \mathbf{K} |$. We also obtain that every action of a finite group on a finitely generated abelian group is the action of the group of self-homotopy equivalences of a space on one of its higher homotopy groups.

We raise the question of the realizability of permutation modules in the context of Kahn's realizability problem for abstract groups and the $G$-Moore space problem. Specifically, given a finite group $G$, we consider a collection $\{M_i\}_{i=1}^n$ of finitely generated $\Z G$-modules that admit a submodule decomposition on which $G$ acts by permuting the summands. Then we prove the existence of connected finite spaces $X$ that realize each $M_i$ as its $i$-th homology, $G$ as its group of self-homotopy equivalences $\E(X)$, and the action of $G$ on each $M_i$ as the action of $\E(X)$ on $H_i(X; \Z)$.