Equivariant diagrams of spaces (Q276601)

In this paper the author considers \(G\)-diagrams, particularly of spaces for a discrete group \(G\) and proves the Blakers-Massey Theorem and Quillen's Theorem B for cubical \(G\)-diagrams of spaces. Here by a \(G\)-diagram of spaces is meant a functor \(X : I \to \mathrm{Top}\) from a small category \(I\) with a \(G\)-action to a category of topological spaces together with a collection of natural transformations \(X \to X\circ g\) for \(g \in G\). Let \(J\) be a finite \(G\)-set, then \(I={\mathcal P}(J)\) denotes the partially ordered set category of subsets of \(J\) endowed with a canonical \(G\)-action inherited from \(J\). Suppose that we are given a \(G\)-diagram \(X : I \to \mathrm{Top}\). Roughly speaking, then using the concept of a fixed-point functor the Blakers-Massey Theorem can be stated as follows: Consider the canonical \(G\)-map \[ X_\phi \to \mathrm{holim}_{I\backslash\phi}X \] of the initial vector \(X_\phi\) of \(X\) into the \(G\)-homotopy limit of \(X\). Then its restriction to the \(H\)-fixed points is \(\nu(H)\)-connected for every \(H \leq G\) where \(\nu\) denotes a certain function \(\nu : \{H\leq G \} \to \mathbb{N}\). The usual Quillen's Theorem B says roughly that the homotopy fiber of the geometric realization of a functor \(F : C \to D\) over \(d \in \mathrm{Ob} \,D\) becomes weakly equivalent to the geometric realization of the over category \(F/d\) under a certain condition. This equivariant version is formulated as follows: Given a \(G\)-diagram \(X : I \to Cat\), let \(X_{\phi <}\) denote its restriction to the full subcategory \(\phi <I\) of the under category \(\phi/I\) of non-identity maps and \(m_\phi\) the \(\phi\)-matching functor which can be written here as a composite as \[ X_\phi \to \mathrm{Hom}(\ast, X_{\phi <j}) \to \mathrm{Hom}((\phi <I)/(-), X_{\phi <}). \] Then the assertion is that for a natural transformation \(\Phi : {\mathcal P}_0(-) \to X_{\phi <}\), the nerve of \(m_\phi/\Phi\) becomes \(G_\Phi\)-equivalent to the total fiber of \(NX\) over \(N\Phi\) when \(X\) satisfies a specific condition, herein \({\mathcal P}_0(-)={\mathcal P}(-)\backslash\phi\). This paper is perhaps a continuation of a previous joint work of the author with \textit{K. Moi} [Algebr. Geom. Topol. 16, No. 1, 325--395 (2016; Zbl 1341.55001)]. We can find therein an extensive study of equivariant diagrams of general \(G\)-model categories.