Semisimplicial spaces. (English) Zbl 1461.55014
This paper is intended as a technical reference for statements about semisimplicial spaces and selected applications of the techniques (to topological categories and the group completion theorem). Practically every statements comes with a proof, in a few instances references to existing literature are provided.
A semisimplicial space is a contravariant functor from the category of finite totally ordered non-empty sets and their order-preserving injections to the category of (compactly generated) topological spaces. (Thus a semisimplicial space is a “simplicial space without degeneracies”.) There is a notion of geometric realisation, obtained from a semisimplicial space by gluing (topological) simplices. These are the topic of Sections 1 and 2.
In Section 3, the authors discuss “nonunital topological categories” (which may not have identity morphisms); such a structure gives rise to a semisimplicial space, its nerve, and hence via geometric realisation to a topological space, the classifying space.
Section 4 contains generalisations of Quillen’s theorems A and B to nonunital topological categories.
Next, Section 5 contains a generalisation of the result that making the topology of a (suitable) topological category discrete does not change the classifying space up to homotopy equivalence.
In Section 6 the authors discuss, as an application of the semi-simplicial techniques developed so far, the group completion theorem for topological monoids.
The exposition closes with a discussion of the product of simplicial spaces in Section 7: the (semisimplicial!) geometric realisation functor, restricted to simplicial spaces, is shown to preserve products up to homotopy equivalence
A semisimplicial space is a contravariant functor from the category of finite totally ordered non-empty sets and their order-preserving injections to the category of (compactly generated) topological spaces. (Thus a semisimplicial space is a “simplicial space without degeneracies”.) There is a notion of geometric realisation, obtained from a semisimplicial space by gluing (topological) simplices. These are the topic of Sections 1 and 2.
In Section 3, the authors discuss “nonunital topological categories” (which may not have identity morphisms); such a structure gives rise to a semisimplicial space, its nerve, and hence via geometric realisation to a topological space, the classifying space.
Section 4 contains generalisations of Quillen’s theorems A and B to nonunital topological categories.
Next, Section 5 contains a generalisation of the result that making the topology of a (suitable) topological category discrete does not change the classifying space up to homotopy equivalence.
In Section 6 the authors discuss, as an application of the semi-simplicial techniques developed so far, the group completion theorem for topological monoids.
The exposition closes with a discussion of the product of simplicial spaces in Section 7: the (semisimplicial!) geometric realisation functor, restricted to simplicial spaces, is shown to preserve products up to homotopy equivalence
Reviewer: Thomas Huettemann (Belfast)
MSC:
55U10 | Simplicial sets and complexes in algebraic topology |
57R90 | Other types of cobordism |
55R40 | Homology of classifying spaces and characteristic classes in algebraic topology |
55P47 | Infinite loop spaces |
Keywords:
semisimplicial space; geometric realisation; Quillen theorem A; Quillen theorem B; group-completion; topological categoryReferences:
[1] | 10.1016/j.aim.2010.11.002 · Zbl 1217.19003 · doi:10.1016/j.aim.2010.11.002 |
[2] | 10.1112/topo.12003 · Zbl 1421.57044 · doi:10.1112/topo.12003 |
[3] | 10.4171/048 · Zbl 1156.55001 · doi:10.4171/048 |
[4] | 10.2307/1970005 · Zbl 0091.37102 · doi:10.2307/1970005 |
[5] | 10.1017/CBO9780511983948 · doi:10.1017/CBO9780511983948 |
[6] | 10.2140/gt.2010.14.1243 · Zbl 1205.55007 · doi:10.2140/gt.2010.14.1243 |
[7] | 10.1007/s11511-014-0112-7 · Zbl 1377.55012 · doi:10.1007/s11511-014-0112-7 |
[8] | 10.4007/annals.2017.186.1.4 · Zbl 1412.57026 · doi:10.4007/annals.2017.186.1.4 |
[9] | 10.1090/jams/884 · Zbl 1395.57044 · doi:10.1090/jams/884 |
[10] | 10.1007/s11511-009-0036-9 · Zbl 1221.57039 · doi:10.1007/s11511-009-0036-9 |
[11] | 10.1007/978-3-662-12492-5 · doi:10.1007/978-3-662-12492-5 |
[12] | 10.1007/978-3-0348-8707-6 · doi:10.1007/978-3-0348-8707-6 |
[13] | ; Hausmann, Enseign. Math., 25, 53 (1979) · Zbl 0412.55008 |
[14] | 10.1090/conm/083/991976 · doi:10.1090/conm/083/991976 |
[15] | 10.4153/CJM-1976-029-0 · Zbl 0351.55005 · doi:10.4153/CJM-1976-029-0 |
[16] | ; May, Simplicial objects in algebraic topology. Van Nostrand Mathematical Studies, 11 (1967) · Zbl 0165.26004 |
[17] | 10.1007/BF01403148 · Zbl 0306.55020 · doi:10.1007/BF01403148 |
[18] | 10.1093/qmath/hau030 · Zbl 1326.55005 · doi:10.1093/qmath/hau030 |
[19] | 10.1007/978-94-009-2399-7_10 · doi:10.1007/978-94-009-2399-7_10 |
[20] | 10.4310/HHA.2004.v6.n1.a10 · Zbl 1064.18012 · doi:10.4310/HHA.2004.v6.n1.a10 |
[21] | 10.1007/BFb0067053 · Zbl 0292.18004 · doi:10.1007/BFb0067053 |
[22] | 10.1093/qmath/hat024 · Zbl 1280.55002 · doi:10.1093/qmath/hat024 |
[23] | 10.4171/JEMS/583 · Zbl 1366.55011 · doi:10.4171/JEMS/583 |
[24] | 10.1093/qmath/22.3.321 · Zbl 0226.55019 · doi:10.1093/qmath/22.3.321 |
[25] | 10.1007/BF02684591 · Zbl 0199.26404 · doi:10.1007/BF02684591 |
[26] | 10.1016/0040-9383(74)90022-6 · Zbl 0284.55016 · doi:10.1016/0040-9383(74)90022-6 |
[27] | 10.1307/mmj/1028999711 · Zbl 0145.43002 · doi:10.1307/mmj/1028999711 |
[28] | ; Waldhausen, Current trends in algebraic topology, I. CMS Conf. Proc., 2, 141 (1982) |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.