Homotopy theory of \(G\)-diagrams and equivariant excision
type: Item
instance of: scholarly article
title: Homotopy theory of \(G\)-diagrams and equivariant excision
zbMATH Open document ID: 1341.55001
author: Emanuele Dotto
author: Kristian Moi
published in: Algebraic \& Geometric Topology
publication date: 2016-03-10T00:00:00Z
full work available at URL: https://arxiv.org/abs/1403.6101
reviewed by: Dae-Woong Lee
Mathematics Subject Classification ID: 55N91
Mathematics Subject Classification ID: 55P91
Mathematics Subject Classification ID: 55P65
Mathematics Subject Classification ID: 55P42
zbMATH DE Number: 6553361
zbMATH Keywords: equivariant homotopy
zbMATH Keywords: excision
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W3101798707
arXiv ID: 1403.6101
DOI: 10.2140/AGT.2016.16.325
review text: Given a finite group \(G\) acting on a category \(I\) by functors \(a(g):I\rightarrow I\), a \textit{\(G\)-diagram} in a category \(\mathcal C\) is a functor \(X : I \rightarrow \mathcal C\) together with natural transformations \(g_X : X \rightarrow X \circ a(g)\) for every \(g\) in \(G\) which are compatible with the group structure, that is, (1) \(e_X = 1_X\), and (2) \((g_X)_{a(h)} \circ h_X = (gh)_X\) for all \(g,h \in G\), where \((g_X)_{a(h)}\) is the natural transformation obtained by restricting \(g_X\) along the functor \(a(h) : I \rightarrow I\). A \textit{map of \(G\)-diagrams} \(f : X \rightarrow Y\) is a natural transformation between the underlying diagrams such that the following diagram NEWLINE\[CARRIAGE_RETURNNEWLINE \begin{tikzcd} X \ar[r, "f"] \ar[d, "g_X" '] & Y \ar[d, "g_Y"] \\ X\circ g \ar[r, "f_g" '] & Y\circ g\end{tikzcd}CARRIAGE_RETURNNEWLINE\]NEWLINE is commutative for each \(g \in G\) in the usual category \(\mathcal{C}^I\)of functors from \(I\) to \(\mathcal C\). For a fixed action \(a\) of the group \(G\) on \(I\), \(\mathcal C^I_a\) denotes the category of \(G\)-diagrams and maps of \(G\)-diagrams. A \textit{\(G\)-model category} is a cofibrantly generated simplicial model category \(\mathcal C\) together with the data of a cofibrantly generated model structure on \(\mathcal C^H\) satisfying two conditions, where \(H\) is any subgroup of \(G\). For a finite \(G\)-set \(J\), a \(J\)-cube \(X\) in \(\mathcal C\) is a \(G\)-diagram in \(\mathcal C\) shaped over the poset category \(\mathcal P(J)\) of subsets of \(J\) ordered by inclusion. The \(J\)-cube \(X\) is said to be \textit{homotopy Cartesian} if the canonical map NEWLINE\[CARRIAGE_RETURNNEWLINEX_{\emptyset}\rightarrow\mathrm{holim}_{\mathcal P(J)\setminus \emptyset} ~X CARRIAGE_RETURNNEWLINE\]NEWLINE is a weak equivalence in the model category of \(G\)-objects \(\mathcal C^G\). Dually, it is said to be \textit{homotopy co-Cartesian} if the canonical map NEWLINE\[CARRIAGE_RETURNNEW…
description: scientific article; zbMATH DE number 6553361