A discrete model of \(S^{1}\)-homotopy theory (Q878658): Difference between revisions

The author considers a discrete model which will capture all of \(S^1\)-homotopy theory. The simplicial approach to modeling topological spaces does not always work well in equivariant homotopy theory. For example, the case of a non-discrete group is applicable to this case. There is a particular categorical model for \(S^1\)-spaces, called a cyclic set, which is a replacement for a simplicial set. \textit{J. Spalinski} constructed a model structure on cyclic sets which is Quillen equivalent to the model structure on \(S^1\)-spaces in which weak equivalences and fibrations are maps \(f : X \to Y\) such that \(f^H : X^H \to Y^H\) are weak equivalences and fibrations, respectively, for all finite subgroups \(H \subset S^1\) [J. Pure Appl. Algebra 99, 35-52 (1995; Zbl 0830.55012)]. Unfortunately, as one sees immediately, however, this has the structural defect that it does not reflect the information at the \(S^1\)-fixed points. This fact is the motivation for the discussion here. In this paper the author constructs a new category \({\mathcal P}\) which is composed of a cyclic set and a simplicial set along with suitable compatibility data, and proves (Theorem 1.2) that \({\mathcal P}\) is Quillen equivalent to the model category of \(S^1\)-spaces, in which (for example) weak equivalences are defined to be maps \(f : X \to Y\) inducing weak equivalences \(f^H : X^H \to Y^H\) for all subgroups \(H \subseteq S^1\). For an \(S^1\)-space \(X\), consider a diagram consisting of the inclusion \(X^{S^1}\times E{\mathcal F} \to X\times E{\mathcal F}\) and the projection \(X^{S^1}\times E{\mathcal F} \to X^{S^1}\) where \(E{\mathcal F}\) denotes the classifying space for the family of finite subgroups of \(S^1\), in which its associated pushout is weakly equivalent to \(X\). The author says that this diagram led to the idea of compounding two kinds of concepts for the construction of \({\mathcal P}\). In fact if one thinks of the cyclic set, the simplicial set and the compatibility data as akin to \(X\times E{\mathcal F}\), \(X^{S^1}\) and the gluing along \(X^{S^1}\times E{\mathcal F}\), respectively, then it can be observed that this diagram symbolizes the result obtained here nicely indeed.