1-cohomology of simplicial amalgams of groups. (Q1935376): Difference between revisions

If we have an amalgam of two groups then by the famous Goldschmidt Lemma the isomorphism classes of amalgams are described in terms of coset enumeration. The paper under review is a generalization of this lemma. Given is a simplicial complex \(X=(V,\sigma)\) and an amalgam belonging to \(X\), i.e. \(G_0=\{G,\psi^\sigma_\tau\mid\sigma\subseteq\tau,\;\sigma,\tau\in\Sigma\}\), where the connecting maps \(\psi^\sigma_\tau\colon G_\tau\to G_\sigma\) are injective group homomorphisms with image \(\overline G_{\sigma,\tau}\). For \(\sigma\in\Sigma\) set \[ A_\sigma=\{g\in\Aut(G_\sigma)\mid g(\overline G_{\sigma,\tau})=\overline G_{\sigma,\tau}\text{ for all }\tau\text{ with }\sigma\subseteq\tau,\;\tau\in\Sigma\}. \] For each pair \(\sigma,\tau\) with \(\sigma\subseteq\tau\) there is a connecting map \(\alpha^\sigma_\tau\colon A_\sigma\to A_\tau\). Set \(A_0=\{A_\sigma,\alpha^\sigma_\tau\mid\sigma\subseteq\tau\in\Sigma\}\). The authors then define a noncommutative first cohomology set \(H^1(X,A_0)\) with coefficients in \(A_0\). The main theorem of this paper is: If \(X\) is a non-empty connected simplicial complex, then the isomorphism classes of amalgams of type \(G_0\) are parameterized by \(H^1(X,A_0)\). -- This can be generalized to simplicial complexes in any concrete category. For some small simplicial complexes the 1-cohomology is computed in the paper.