A discrete model of S^1-homotopy theory

DOI10.1016/J.JPAA.2006.08.011MaRDI QIDQ878658zbMATH OpenOpenAlexFDO

Authors Andrew J. Blumberg

Publication date 26 April 2007

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0411183

zbMATH Keywords

\(S^1\)-spaces equivariant homotopy theory model categories simplicial sets

Mathematics Subject Classification ID

Equivariant homotopy theory in algebraic topology (55P91)

Abstract: We construct a discrete model of the homotopy theory of

S^{1}

-spaces. We define a category

s P

with objects composed of a simplicial set and a cyclic set along with suitable compatibility data.

s P

inherits a model structure from the model structures on the categories of simplicial sets and cyclic sets. We then show that there is a Quillen equivalence between

s P

and the model category of

S^{1}

-spaces in which weak equivalences and fibrations are maps inducing weak equivalences and fibrations on passage to all fixed point sets.

Review text

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.

Recommendations

Cites work

Cited in

(5)

This page was built for publication: A discrete model of \(S^{1}\)-homotopy theory

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q878658)