Semisimplicial spaces

  title={Semisimplicial spaces},
  author={Johannes Ebert and Oscar Randal-Williams},
  journal={Algebraic \& Geometric Topology},
This is an exposition of homotopical results on the geometric realization of semisimplicial spaces. We then use these to derive basic foundational results about classifying spaces of topological categories, possibly without units. The topics considered include: fibrancy conditions on topological categories; the effect on classifying spaces of freely adjoining units; approximate notions of units; Quillen’s Theorems A and B for non-unital topological categories; the effect on classifying spaces… 
Some finiteness results for groups of automorphisms of manifolds
We prove that in dimensions not equal to 4, 5, or 7, the homology and homotopy groups of the classifying space of the topological group of diffeomorphisms of a disk fixing the boundary are finitely
The homotopy type of the topological cobordism category
We define a cobordism category of topological manifolds and prove that if $d \neq 4$ its classifying space is weakly equivalent to $\Omega^{\infty -1} MTTop(d)$, where $MTTop(d)$ is the Thom spectrum
Homological stability for moduli spaces of disconnected submanifolds, I
A well-known property of unordered configuration spaces of points (in an open, connected manifold) is that their homology stabilises as the number of points increases. We generalise this result to
Homological stability of topological moduli spaces
Given a graded $E_1$-module over an $E_2$-algebra in spaces, we construct an augmented semi-simplicial space up to higher coherent homotopy over it, called its canonical resolution, whose graded
Dynamical and cohomological obstructions to extending group actions
Motivated by a question of Ghys, we study obstructions to extending group actions on the boundary ∂M of a 3-manifold to a C-action on M . Among other results, we show that for a 3-manifold M , the
A new approach to twisted homological stability, with applications to congruence subgroups
We introduce a new method for proving twisted homological stability, and use it to prove such results for symmetric groups and general linear groups. In addition to sometimes slightly improving the
On flat manifold bundles and the connectivity of Haefliger's classifying spaces
We investigate low homological consequences of a conjecture due to Haefliger and Thurston in the context of foliated manifold bundles. In particular, Haefliger-Thurston’s conjecture predicts that
On the h-Cobordism Category I
We consider the topological category of $h$-cobordisms between smooth manifolds with boundary and compare its homotopy type with the standard $h$-cobordism space of a compact smooth manifold.
On the edge of the stable range
We prove a general homological stability theorem for certain families of groups equipped with product maps, followed by two theorems of a new kind that give information about the last two homology
Homological stability for Artin monoids
  • Rachael Boyd
  • Mathematics
    Proceedings of the London Mathematical Society
  • 2020
We prove that certain sequences of Artin monoids containing the braid monoid as a submonoid satisfy homological stability. When the K(π,1) conjecture holds for the associated family of Artin groups,


The homotopy type of the cobordism category
The embedded cobordism category under study in this paper generalizes the category of conformal surfaces, introduced by G. Segal in [S2] in order to formalize the concept of field theories. Our main
Bisimplicial Sets and the Group-Completion Theorem
We will present a Quillen model structure on the category of bisimplicial sets, and use it to study actions by homology equivalences of simplicial categories on simplicial spaces. The group
The purpose of this note is to clarify some details in McDuff and Segal's proof of the group-completion theorem and to generalize both this and the homology fibration criterion of McDuff to homology
Homology fibrations and "group-completion" revisited
We give a proof of the Jardine-Tillmann generalized group completion theorem. It is much in the spirit of the original homology fibration approach by McDu and Segal, but follows a modern treatment of
Pull-Backs in Homotopy Theory
The (based) homotopy category consists of (based) topological spaces and (based) homotopy classes of maps. In these categories, pull-backs and push-outs do not generally exist. For example, no
Monoids of moduli spaces of manifolds
We study categories of d-dimensional cobordisms from the perspective of Tillmann and Galatius-Madsen-Tillmann-Weiss. There is a category $C_\theta$ of closed smooth (d-1)-manifolds and smooth
Simplicial Homotopy Theory
Simplicial sets, model categories, and cosimplicial spaces: applications for homotopy coherence, results and constructions, and more.
The algebraic K–theory of spaces is a variant, invented by F. Waldhausen in the late 1970’s, of the standard algebraic K–theory of rings. Until that time, applications of algebraic K–theory to
Stable moduli spaces of high-dimensional manifolds
We prove an analogue of the Madsen–Weiss theorem for high-dimensional manifolds. In particular, we explicitly describe the ring of characteristic classes of smooth fibre bundles whose fibres are