Profinite modules of finite projective \(p\)-dimension. (Q2368725)

The author studies the projective \(p\)-dimension of a profinite module over the completed group algebra \(\widehat\mathbb{Z}[\![G]\!]\) of a profinite group \(G\). The main result is: Let \(A\) be a profinite \(\widehat\mathbb{Z}[\![G]\!]\)-module of finite projective \(p\)-dimension \(\text{pd}_{G,p}(A)\) and let \(N\) be a closed normal subgroup of \(G\) such that \(N\) is of finite cohomological \(p\)-dimension \(\text{cd}_p(N)\), \(H^k(N,\mathbb{F}_p)\) is finite and nonzero for \(k=\min\{\text{cd}_p(N),\text{pd}_{G,p}(A)\}\) and \(N\) acts trivially on \(A\). Then the virtual projective \(p\)-dimension \(\text{vpd}_{G/N,p}(A)\) of \(A\) considered as a profinite \(\widehat\mathbb{Z}[\![G]\!]\)-module is finite and \(\text{vpd}_{G/N,p}(A)=\text{pd}_{G,p}(A)-k\). In the case when \(A=\widehat\mathbb{Z}\) this generalizes the main result of \textit{Th. Weigel} and \textit{P. A. Zalesskij} [C. R., Math., Acad. Sci. Paris 338, No. 5, 353-358 (2004; Zbl 1060.20044)]. A key role in the proof is played by the Grothendieck spectral sequence.