BZPEERSource author record
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
Catalog footprint
Published work
A simplicial set is non-singular if the representing map of each non-degenerate simplex is degreewise injective. The simplicial mapping set XK has n-simplices given by the simplicial maps Δ[n]×K→X. We prove that XK is non-singular whenever X is non-singular. It follows that non-singular simplicial sets form a cartesian closed category with all limits and colimits, but it is not a topos.
A simplicial set is said to be non-singular if its non-degenerate simplices are embedded. Let sSet denote the category of simplicial sets. We prove that the full subcategory nsSet whose objects are the non-singular simplicial sets admits a model structure such that nsSet becomes is Quillen equivalent to sSet equipped with the standard model structure due to Quillen. The model structure on nsSet is right-induced from sSet and it makes nsSet a proper cofibrantly generated model category. Together with Thomason's model structure on small categories (1980) and Raptis' model structure on posets (2010) these form a square-shaped diagram of Quillen equivalent model categories in which the subsquare of right adjoints commutes.
A simplicial set is said to be non-singular if the representing map of each non-degenerate simplex is degreewise injective. The inclusion into the category of simplicial sets, of the full subcategory whose objects are the non-singular simplicial sets, admits a left adjoint functor called desingularization. In this paper, we provide an iterative description of desingularization that is useful for theoretical purposes as well as for doing calculations.
The Barratt nerve, denoted B, is the endofunctor that takes a simplicial set to the nerve of the poset of its non-degenerate simplices. The ordered simplicial complex BSdX, namely the Barratt nerve of the Kan subdivision SdX, is a triangulation of the original simplicial set X in the sense that there is a natural map BSdX→X whose geometric realization is homotopic to some homeomorphism. This is a refinement to the result that any simplicial set can be triangulated. A simplicial set is said to be regular if each of its non-degenerate simplices is embedded along its n-th face. That BSdX→X is a triangulation of X is a consequence of the fact that the Kan subdivision makes simplicial sets regular and that BX is a triangulation of X whenever X is regular. In this paper, we argue that B, interpreted as a functor from regular to non-singular simplicial sets, is not just any triangulation, but in fact the best. We mean this in the sense that B is the left Kan extension of barycentric subdivision along the Yoneda embedding.
The canonical map from the Kan subdivision of a product of finite simplicial sets to the product of the Kan subdivisions is a simple map, in the sense that its geometric realization has contractible point inverses.
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.