Compatible actions and cohomology of crystallographic groups. (Q947528): Difference between revisions

Let \(\Gamma\) denote a crystallographic group with holonomy of prime order \(p\), expressed as an extension \(0\to L\to\Gamma\to\mathbb{Z}_p\to 1\) where \(L\) is a free Abelian group of finite rank. In the paper under review is calculated cohomology of \(\Gamma\). Let us present some formulas: 1. If \(\Gamma=L\ltimes\mathbb{Z}_p\), then for each \(k\geq 0\), \[ H^k(\Gamma,\mathbb{Z})=\bigoplus_{i+j=k} H^i(\mathbb{Z}_p,\wedge^j(L^*)), \] where \(\wedge^j(L^*)\) denotes the \(j\)-th exterior power of the dual module \(L^*=\Hom(L,\mathbb{Z})\). 2. If \(\Gamma\) is torsion free then [cf. \textit{L. S. Charlap} and \textit{A. T. Vasquez}, Am. J. Math, 87, 551-563 (1965; Zbl 0132.16601)] \(L\simeq N\oplus\mathbb{Z}\) and \(H^k(\Gamma,\mathbb{Z})\simeq H^0(\mathbb{Z}_p,\wedge^k(L^*))\oplus H^1(\mathbb{Z}_p,\wedge^{k-1}(N^*))\) for \(0\leq k\leq\text{rk}(L)\); \(H^k(\Gamma,\mathbb{Z})=0\) for \(k>\text{rk}(L)\). The author prove the collapse of the associated Lyndon-Hochschild-Serre spectral sequence. As an application they compute the group of gerbes \(\text{Gb}(\chi)\simeq H^3(EG\times_GT^6,\mathbb{Z})\), [cf. \textit{A. Adem} and \textit{J. Pan}, Trans. Am. Math. Soc. 358, No. 9, 3969-3983 (2006; Zbl 1166.20043)].