Related papers: On loop spaces with marking
In this note we show that in the simplicial setting, the classifying space construction converts short exact sequences of groups not just to homotopy fibrations, but in fact to fibre bundles.
A configuration space of intervals in $\mathbb R^1$ with partially summable labels is constructed. It is a kind of an extension of the configuration space with partially summable labels constructed by the second author and at the same time…
The question of whether a given H-space X is, up to homotopy, a loop space has been studied from a variety of viewpoints. Here we address this question from the aspect of homotopy operations, in the classical sense of operations on homotopy…
Any finite simplicial complex K and a partition of the vertex set of K determines a canonical quotient space of the moment-angle complex of K. We prove that the cohomology groups of such a space can be computed via some Hochster's type…
In this paper, we discuss the construction of classifying spaces of fibre sequences in model categories of simplicial sheaves. One construction proceeds via Brown representability and provides a classification in the pointed model category.…
Described the algebraic structure on the space of homotopy classes of cycles with marked topological flags of disks. This space is a non-commutative monoid, with an Abelian quotient corresponding to the group of singular homologies…
The purpose of this note is to point out that simplicial methods and the well-known Dold-Kan construction in simplicial homotopy theory can be fruitfully applied to convert link homology theories into homotopy theories. Dold and Kan prove…
We connect the homotopy type of simplicial moduli spaces of algebraic structures to the cohomology of their deformation complexes. Then we prove that under several assumptions, mapping spaces of algebras over a monad in an appropriate…
A modest Kan complex is a modest simplicial set which has a right lifting property with respect to horn inclusions $\Lambda_k[n] \to \Delta[n]$. This paper develops the categorical logical that is required to show that there is a univalent…
We develop the basic theory of Maurer-Cartan simplicial sets associated to (shifted complete) $L_\infty$ algebras equipped with the action of a finite group. Our main result asserts that the inclusion of the fixed points of this equivariant…
We prove that the simplicial complex whose simplices are the nonempty partial bases of $\mathbb{F}_n$ is homotopy equivalent to a wedge of $(n-1)$-spheres. Moreover, we show that it is Cohen-Macaulay.
This paper develops the foundations of a simplicial theory of weak omega-categories, which builds upon the insights originally expounded by Ross Street in his 1987 paper on oriented simplices. The resulting theory of weak complicial sets…
In this paper three results are established: firstly, that the homotopy function complexes of Dwyer and Kan can be defined as certain total right derived functors; secondly, that they functorially compute the homotopy type of the hom-spaces…
A simplicial complex is a set equipped with a down-closed family of distinguished finite subsets. This structure, usually viewed as codifying a triangulated space, is used here directly, to describe "spaces" whose geometric realisation can…
This paper investigates sufficient and necessary conditions for the existence of a homotopy equivalence between two finite simplicial complexes from an algorithmic point of view. As a result, the conditions are formulated in terms of the…
We apply the Dwyer-Kan theory of homotopy function complexes in model categories to the study of mapping spaces in quasi-categories. Using this, together with our work on rigidification from [DS1], we give a streamlined proof of the Quillen…
We prove that the classifying space of a simplicial group is modeled by its homotopy coherent nerve.
In this article we consider the homotopy theory of stratified spaces through a simplicial point of view. We first consider a model category of filtered simplicial sets over some fixed poset $P$, and show that it is a simplicial…
A theory of sections of simplicial height functions is developed. At the core of this theory lies the section complex, which is assembled from higher section spaces. The latter encode flow lines along the height, as well as their…
We produce a highly structured way of associating a simplicial category to a model category which improves on work of Dwyer and Kan and answers a question of Hovey. We show that model categories satisfying a certain axiom are Quillen…